From f5a370e310e46eede16668844e6a4a081a6038bd Mon Sep 17 00:00:00 2001 From: rschoene <rene.schoene@tu-dresden.de> Date: Mon, 30 Jul 2018 16:31:50 +0200 Subject: [PATCH] Use new JastAdd option to generate flush methods without body. --- solve/build.gradle | 4 ++-- solve/libs/jastadd2.jar | Bin 755356 -> 755379 bytes .../ttc18live/AbstractLiveContestDriver.java | 9 ++++++--- .../de/tudresden/inf/st/ttc18live/Main.java | 8 ++++---- .../tudresden/inf/st/ttc18live/Solution.java | 5 +++++ .../inf/st/ttc18live/SolutionQ1.java | 2 +- .../inf/st/ttc18live/SolutionQ2.java | 2 +- 7 files changed, 19 insertions(+), 11 deletions(-) diff --git a/solve/build.gradle b/solve/build.gradle index 453bc94..ee359bd 100644 --- a/solve/build.gradle +++ b/solve/build.gradle @@ -47,7 +47,7 @@ task jastadd(type: JavaExec) { "libs/jastadd2.jar", "--debug", "--cache=all", - "--flush=full", + "--flush=api", "--rewrite=cnta", "--incremental=param,debug", "--package=de.tudresden.inf.st.ttc18live.jastadd.model", @@ -85,4 +85,4 @@ jastadd.outputs.upToDateWhen {false} jar.enabled = false distTar.enabled = false distZip.enabled=false // always disabled -packageSources.enabled = false +packageSources.enabled=false // always disabled diff --git a/solve/libs/jastadd2.jar b/solve/libs/jastadd2.jar index 6d774ba8ebfc5e9189e1feae9d9e8ac04cf723f9..09255c49ed78adddd355733ddb944c9b3586725a 100644 GIT binary patch delta 27917 zcmbQ!tGBsVk2k=ZnT3mifrEoVvhLqR-fhev>X;^&`eXp2Hmfq)Fo78<%qQ5v41Mln zoM6Tek!Ef%qfSAN6~vf4UsVr8Z@!><6QXI2Mw<{=#MGKiidmxW-)6he7_i#SbEB*z zK~j@%6&r!*&HN=F7&#^D{`p8Gv-_`^-XP4ZJl#N;TWYgw*)~S7iht#wAdJtI7yZB@ z$4`8Qi0nP}8p2q8hK&hq3itjsdv{OwozJAX`SH0&5Xlo4gdy&_cj*(vE>0UG=cUsR zeq>Uf?qJN#y_x;$R*2I5*OZw!K(5JJ&0IcRe?ODT^bMs<EYoAexw$vX-rNMy&UZBF z((cLUE@)1VmE#ti9)FsNf3xE4ql{p$zPvL5Vph#PMu@cy4-P}Z(Cq~m6Ie~~D=~;v z&YL$7#nJCRLKyxZ1R*||cI@o#t<wdzGbwNG`E(y5nfK*4gpu>@AK13Zxj&wO{r&%y zfcA#z?^BqSH`o5W263iGsfgLS=^y==RW>*LJ`WM&FW;oOVR~UXlk)U}`Alq^8~>h$ znCSl>YHw@Dg7-_O8|-IN-rmE=xDPD5-Itk>8RD!NGdW(YpFZIMlk)Vr?95!-+gKS- zfSs~EkeyLk2;{x(<&uo?d|+qURG58OHGSe6Cgtf@<+;VCTZJ?8ZdcV{Tn;hzye8ux zu;%u2+Kk)JX)~R$2SxDqnb}N`IN#ov%LI+tpoKOnYrsZrKakIK24X;eArmx8->eV1 zxe*)yV2@3YQ{onzy#5>Cbn8H7zU@zondU=uw3jkHgs`&9nZ7fEBby~^kHhqN*-R?a zCkS)1OwU&4=AUlf%FMfcT_w{>u=}=0RWm&SN8)zJW+q7L+iu><^c`Z9VLQ`1Mm~wU ze?E7M{+bE1GBAj9P2X6?EInOXm0MzaLMM|fIQegH=wtc>QK(nn;H%5X!0?n2qVPOO z;pPcU<`5I#PGk~-1URQjUnV%QO@4PxYWn@ZOl;F@E;FfYFP*})5E7>a!j?fBrWYDA zt4!~&WMZ4nrOqud-QS&=e|yF>rqvKN*2gFEt(?B$Gn4Z41a)qq>EhkYyxZeuFfD^f zt8C55SUG)uHk0ypgIP?+AcE~(8(Nn`Qi9SPrUQ_GcsiFU9^ypz`Ah<k%)*(z`0eC` zcPi6WHMvE$PhZHi1){=lG1CJG%Wx^vH9>IHa&2eggm|o-P1<eW^a5^XqwRh>nVv$T z;$`gffay7k%v#%1cQZj!{dV`gFk`g#GrfYSySvP563EK!4hNY|K<wZ?%p?fTRomr{ zGKoO!u&!CJwPJGOJLT>1$6?;$Oj^Od0_@l6({#Cox2K$Bg63=Gb!+^=F4CMP%FVXj z?=;g3NJu2!ey_Y`^2RgD+mp^R-G*4_aGvQi#4RD5Pdukjc*CSN{lZ@+p6$68nf5}I z=w60J;vSE!A6HF2djeeE@NciW%Crk&^2U?i8`n<1AIGe`J>fdjRY(|H++^~HB(|;x zOn)I}bv<JG4bk%U>C;y$K-n5xPzp`IV93q3{p1s-O%R23&zJ-t!7%X!EOX?~46xiX z{bLZb^7i$wm~KK8cE4fz0x_{TqV?4B>ANQ}t4uC<!MT0wJErXrhva`?@`Nbf{gDY$ zQf*)Lndt*WZ0=VkHb??EuG?ciJyDxkW&8Q>Ot&DiYko5Qhp^WDX8HmNso=wB<);^v zGpS6EzsSTlz21zQb9%lbGvD^le?b{dvhLsV`Tv<9X1-<7O__Y=gvxXSb8gY?4;Y!Z zLL95|_w6}oO71r27MebNArs&Bhs?}NA<`1^Ir+<{Pf%qBCv=wW+gO=*Lu9-s)~|sS zk=y68GegVByM-J6t_CFrmF){SnU6ypoW;#72MNM%US?KEO7f1-ySxGvM#|gw@G~ER zC~OpD{sv)H2{S_@s!Ehu6r#l`F5h?^q^#}NWM<udK%Ds$M0Kwu^LL1&o+SL40WH-w zNHarAwR&0RuMlai-)HVF1E=2w^2|pdn$s1T`5+c(>iV<qo}Q==@@p#-|Mm^a%-11m zx>T8;LricwdEv_{aK_(0SDhJ}v)wwD{e%?D+xs<Pj*8J{hL-Vm%M3YJLCSaoVQ!A? zlXaPoLd=cUXXb^3OtvBOPe`P0O3hcBUN6k7vVDRv^A(7#K_PLwHi0Yi?GsFyuR%0t znlnF!u>38VKR`6^o$B>#a^W|X?b+7MS0O^yofi7jH~wT&ffVHSPTZoC*MH;RKFyYS z4aD@D*JW8DRn+wJ-<deKm)kQ#>hJCPj<A58lHoRM4J7bE72Wm-XXfJ&-FNovZUe_8 zD7CXrU+>J#wLRLE8Jc|r+?k=Z!n-APe?Zw<W%_?-Zno`~p0Ge*^oB*xjo;SCAb~qw z*p*vodaXS(-*zWo=4B9XzV>7O1+jC|r&<2c+G&C!GyC)lu3%5`ZMP0&UJF*d{B;mB zBxK)(F!MlIf5VuewcEGvZl~9R^1RA)Uw3YCP@)&u?i|Sstw-NRF@J&tp2M=4eh^0+ zm~-=Qmx^WH12%s9%{XRgW>uU0H);BZAZD%U){@-(+Z7U-4?*-^uAZztx$&OLcD`ih z8xUPDQ<x!*nB{NNpw9b{!Tb^8DakcgRzT|q-fZRr5FHnCn14c8XY!b#1;Dui=0^}K zwl>dRI{m;$CY9}XikJ^W#5NuZo<IFv3bXq5b0y4IAx0~31a4mgDlfO6FJp$ZP`1yl zV1^bv6RKb#G{1(K0}@uN>X<#*z-^8vS5!(ifWvCLLM!t{h=GpJ!?GdyeEJ7nZuaSa z{kXZe8?-ZTg}6b`_VH0f3t+owCoHb-b}>VmnA=bHFn@(8?myXmbo#*w%#gO>_78o` zCm}xGGXYi{Y@NjX5-c`-;S^>aaK(3F3iDz}BcN;+b1ztOJKG%QPDVjcdy|Lpkg*#t z14D}j1B2{z#nsGW)4PJWxwape%N)Q9)-Sx8xl9Gj>N(G>!2)7Up06r9{mNx#aLqdX z#bxGGAkpnxuP~=UY?8ah%+CxKGq}sF0%3(eVBWwC4k-I1ArXh^0#BIr>w`tyMQq=$ zvp)TX<Fyi(mVrX&X}w)tD?0BtO_-oFLrZ7FpH*39w^9q1rDvy23!4AQ`O}P5Hop~? zeVQOYL4N9|GjF_nb}I1St=;{5UiG=X#nu0QeqX<z@yw${dA5RsE`s8|QCn^FR9`=} zNt^uD%jm4?^>E*q!(VOo8Gp3Rlh`q{{<tplcHTRJCyqwvnUs1y@Ui8Xy){?z=%vCe z?#8;8X15pi+;zCW<hE}3Zo|LNPqY8Hy8UV2n#v&a?Cio9uhRM_zbtKh<McqIv2oYx zt68`2hdfl?`SRnE5Pqpk(bE^sezUv%rpuy+t!uV&iQ7oJcHO@Cx76os&_>BELe-(a zGVkcumvD&4h?+W?mkPh&57p*)%qy7{H+ezOyM{XpzHtj07JB{qohq_3|D^IX%N>3- z&#rnFXmZp_>hH^25w?BF%muRCJYQ8FuH~7{bo^S<&5Er`(V3b*p3b-)b%9Sh>!k1N zulx7tt1XPU=6d%-Q^%#SkUgRnZ118h`X;qH-q~Cr|G8eoGCh%zKcYo6{Q6yuxW#qc z-4UBUFxPD{Xe(qsEmn8vJX81GRd+VjZfm^%Ew^95`sB@bQ*M5{ZF6Ii^{HuP-A^`p zPv%^?jO(rJ%dJ;i8h5pduHovbUuwk^&VO=;r`_Mq^rqMvhhUDL+Pd4E!O{L(Y~Nh! zd&4bm5pS1M{r$9C{iGAMf7N*P3?k>PllM8xpKbYSX-;*axbgMocLIT38$U(Q>$$qz zT_wOeXUSd#R@scQd1WatJ}mtjw*PtUpZzaR&*fK~kblx3=+36Y)fYd{<@uIT!?<|r z8=JlSd9r5zvt0lEciA|@#B{B)OtS@}Q^wyeo=q{!wXS{_m^zbNzF<lHrtULtOQ+mD z8mPB3Rzlk5RQ?|Ci|Us1-TD;e7c0zLpfT^!l!`XPk224XaL;*EyHr^C@E4aX)jLXC z&ppUlmB_Vti;>OK$1hj?+`IbNx{!3c1^LhXXOz3uJI8MgxzYNS{mj*@mGiGz|9ajb zam-Lj$aV6G;E67NCM!-IYzUAL(ra^e6;@8-ew<_-YSzA3<3LKRT8B*H6wf(}UC-HW zHQQP{dDYgBxvRd}ytOfM{>*mDvdVw?)D;U(nRZK_Q<hOPWX@!%VVRzAi&JX)^ykb9 zpbR&C*K=k=5M%qh=ghTSU{>BI=6?cURz5R}4<v`~<6!9q_p7J-2(erTOR5R8e2@pT zB#l|v1i;0En_ZmX3I+y-+YAg0I@1FWu!>K2cV;=o3o1I&BV7{86d4%)Pd5-|k)FOj zf}3}{n+r>WBG`<RsVqx`!K{Kxmi_E}ARWeSN245=85kParcd-@liD8M$dbVfmO0aY z)_5Kx1H&bz>Guz@NNs=K!m=4sRLyN;v4IpIcRE=*Wx*z9EN6KM@lePP7N{q$9Aa^n z0n19=XPE@iyZ!;o1ZXkmd@Ja*1p`B0C#aYUJisckJ>wC}T??=V4{25-4lt`$nbirR z!F74_6GdhQh9Wiw20e(!H^g#FZD&+v)rL4nUxW2FILNp2da`OkDg!HTR$G6tNma90 z7xRHx3M*N8zylZC^|!EwLLAn<m31d1Zk!LWo`Z;q9AfQ*n6mT;YX(G2;27&QNQ3<4 zS=Q@Z;GmK|w|&<MRt5$RuIcB$u}e*tOX3#Z{`&^&B}l|xxW`%#@j^_Y+!-eg28N;{ z1_lL?7bK=%NaE(+-u!^oM*|$YhmXXUGx0Gn+)`p-keMF%hFx;Hd@?uN_WvAgJP^n8 ziL*H|f@3>j-rE29j0_A0(*<WS32!fuV4DGPBexXW1!b^L@7c2TK*VzG*~B1zZu4SW z4G}Z(VKajGFVl}Lj2Y~JXWJ#8A7o-+NMvPTPzE_sZu`4Hw#yJ@M?%;ZCxQ*m+QtT{ zc(za7#m2=AcF+4s;l)Ob3=9s_eGjlIP5<zXoo%|kCoAjrn@8EaAvUTXXS>7$HsH@? zw)CxFR$3?fI#Do7d_H?OMBUN_><b{t$zvn?e2BYW?O|6}1gjId$F2m4am$D7>=0S! zH|%wg_&f5AU78K-m!EHUaZKT0VE7;cO=9BP+5fUHha{|xtQ=hsU)gbRJQV{QtR~OF z4>8U{i(@(?IC6KbUD5YJmw~~)c6$5{7OCkxx!io)S#>ym>4K%t-FT*cLzaP|CjlZI z1Cln4;&=qf7g7}*tW03XRPsmoX38@#Opk%az4-LMx!gS4gR3}-A$k1dOb%BzusZ}7 zaBPA^;IYFT&>#sp%3%ZvlFq9fJEFmsTc{}h<1%7ku&ABxZ^)@xAL9D`!<MstX43`U z1ufO};LPMu@(Sg-8=%6G6hFy#(}tV9yQLM%TsQ9TlGVAfae>k-g+=?m-P>?IJihw< z-j8#Qi%-8Ra{lvo-uudZ_I8zWW#{J1v@CvhCeyh1^ON}U`|cc)nsGcAw%=s_`QdW{ zV|9nE&Q0YAyI1M`tR8aJGTQb2KW<KrsN~vh+k3&7aaWt|yY%yH9*Wg|o1Sk>ojrfA z!p-hUdqot~swL~=4$cq%_}ui($6YD;9^cfO@;$$8OZo5kLH6XiX>Vdr{?oo$-BA(0 ziC^Wnz`_1MZ<0^GoAzchgQnZ8qi=%${N$0gpZ+EL<h}#Dl>RTBU#ohv>f}DY33uyn zo}N_Oyfo`q*rxX?zvDK^Z}_%2#oqJV=9K*k+4DWWWjCC=B3nQCP5H@x6W;ir{O5F} z?Bq31Kb7S-*q=Z3Dbm|H;ZFNjo0EShc`rEf`J=i*W#bdJrnxHmQ}!4)xlSsdcxQ@@ zMrF9nHQ!I~CVii<NBvrr=eEF4u>x;&E9FoA_PSTkpZ!;r-_y?FQ)9&K&`q~h<yC$r ztl^#b#_VLfS6t85#7TFRDmj~$PMYo+r&r0!(ZKJ1C2vx!=1&e5cdvcBpDb3n&m8Tp zoaKM=`=lD4resxX{?mn%`i~bir94lz4E(fr;~n=;o)Pb~D^;gWR-Lc(GlXTir=9F+ z$w}v@)Y!AEu2-3_`ZI^+xrbf&r@w-8)GN0>`7CJT@QHPjzRL%Plj5Fr0!{4RbsbOI zz3L>c@lF53aq=*S-nY+Ep7vArm^s|4U<oXpblv-&LZwKyx5{mmpFt;+BeJL1=v6v> zTE<{MNnLR2Bpcnz%}-9N#OwX!IvK5E@AYZ1s=eE%WL0~=Pmk+W?HxY}tJ-^hnmTE| z&QHxr>nHsQxpVUJgi|jk%~$+6bJBd(pEoD{_x@C@VjuqL>Ll%#bM=3+PKxh%;5sQ@ z=cg*ix`{PwpG;S(nE7P7cO7ffg18N);ffVom%R6`>wR+Ft8VU->)!j~K1r+W5BxM+ zWxwR^oDZL)Rdzdnie{dY$=OgZ)bObxDd*5F*+~bllzZLNs+|2~w(5TGPr8%t>;4Qo z`Tn5ZcdxqnPyV~T4&bWYpK_rkuEAd8r}HFxouA4P)ghmbtJKGQQdg-L67=`{x8=!s zkAG{PoL78QX@6gA!O}N{YZ`twzuK$u(>tPCGKRZe)xrI9_{LvSPV0aFln&T*d}IAv z-y?fM58P)fKm5OWQ?0tg@sH&PFZ`(g`)4o1-P!x!KbL2Dp(10@S>LhP?$G@HjlVc~ zp3WEhaQ?^hAD>(2*LOPaKg9Qd>C;d1N%hhX?tgr*`rq-Byy}0>*>%(Yi0jl({bR0E ze_XHL<DYuizezRLQ<^*+H>Ly?=(LL1>3m-DA-P_2>51b;3a*UP+C=7V(3!Hxc$#Za z$-zrglsZzwHFqW6jO~((_%>yc__W;~7o|_z1${ZXX}-wcr5uVD4qc5A@3f98=&*Ym zvYcKRB$90D(<P+iy;S4yrkE}+o%YA)^L`jJ)w?}9|1PM9tHbt4hUPbxlO1~lO743Y zx^-;~>Y1EWzbD@30H5&2@Ao$FCdq56CGOP!7vg0od0I2b=cwG}59zx^jF-&NJX*J* ze34gIWYC#uNqr*4OK;rQfA-V0wBcTxbk*t^@&fD~tQOy$TKJBf__#x)dx-_dbK8h6 z=Oq>)U5A%g#B?b;n7TxC9SyqT5vc9z(q*OjYH7v<C9R`EIrZ^eTslb><;t6crz<t4 zP8M;0WaFtB6trY%#<%X&1rkX+MYNY>OnjuF**EQxgk~Ra$KxX(>k6CV=Xi7)D$Dh& zXeU1m(VDdAh<xw$FxTKrudY?oTBf(Qn=fCy@nMIgyJubL7CSjVb9Ln@Jf||{*1z6Z zu&1t~)Jn4VdjD(==TG$waVmUI&dA<Q+!nD#O~{{dr{CmN&(Hf^aeHR6baAJJ>fY5t zCx1QkKD4rA$F{Nxr^NQxZW88u{$4Bl!J*J^_OXT`XNUF$5BDp-(%Yry{`Bph|LWN? zk4tXfR`fTlS@65(nA!uIS$;QlcmK6*`{t{XG_fG2P-IJ|Z`X0*1I#6?KkKEvr!AQ* z*xu{+^<+VE@{NZJR+t5e=k+a3Z=GEfcvUdnw{_!(K-~*R6W0d^8|~s*R`lxRiBBn4 z*0%4t5iihZ>Mk=;x?A~Ss^p>$*T)l2xvbe~Xt#T3VWG;)Gof2_W_2yomR2(L&JEdK zViY4Bxq*4#3bmNa0xNS?c3RFUS?g(1Z>IWafzeId#UI-=-P0ECT0U#`tVt6?vJx#M z+jGk#3?@&sN?4~AB)=~6<eg`~Jl@*u%?mf!+9|5LL9p+Mi2LLuL+Oi_^H#8kTqrkK zbvoz4#bYd@$F6ZsfBLIJNpfY=+Jd%grpJ?llh3YXa~IAQHs#Y_p{~p)|5TtueO1x7 zi#_$~Wm6Wdj65?j*~aj^Gtb?H>z6k)p6HQviIMORS)692!<Mc5(qogM6nk>f#<@D$ z+g`J7op|(Y-=1AdL^xHRe0eb^!_VAwxw^Y-?W-28Ns3RKcKH~VW^!HEY5jY8%LTs$ zy_yYgs_OM+=Sgv2x7L!$=r|&?`6aiSp#NbrrsR*e>I*i7neWJ2bK_X5m4@?gqjt>+ z%vDogy$F1FX{wfm?V^vfQkDoFYe|;0es?QVD`xsq1y|F~3g2R*nTFnhdv+GqIU5PB zE1i1nE$b;pmDh_lddRpi|65$$7R~m#$2Dus(diXtTOR9HyGhNyq&t-}K_)~alJ`f1 z%37I_#NwJvn~n8%gsc@_I8G^;z%!%rV^3mSTwF+#a;xuprl?zyXZZE|Tn*GzvJP!z zeV8KhS}bUZ^rDq_7#P-EaeX~|a$>gWzKE1a6}HLe843^ZUDILpj9~e6thsKPdQebQ z&4<1>89pY4HG1#t6_g(yD?BWAV9&!8+cVN%B$&B-R3>k5IDc?MJ)=QMp2f^AhxxI4 zuM`Ar+9!F{p<If+@%s4(-&H(#8p{m*>~~b$xG%xEI(w5ES4*xwYs_~Yxoh{1m7f<Y z@}8{w;^Ny3m){fDq%6ABxA)e}H~Bng%X#EYZmThWn!_c<b2j#s^2?oPyARGk<8{UD z^`aeq0{j^f{~kTdSW_0K#JIBF<-bgzqoK^9uOBk4!WK;snzpiIiPXjI&Hr@fx^bU; zGo|lX^rZwg!-D9;&!ZWlTvAw<Ik8I0bxx|Yj<;O$xo+bneZOy;)i2guJbunsEkRuB z>b=U>Dr=%{P2){sIN8X(=@a7=ajE2O41XVqSOhPSJ}6ld5YWaPwIIMarar~oqrODf zV%8+Zqt>hTZFh{;(al@8c*%7>+iyqLUOLrvq)@n9#_hQ#kI>4%!#593O*j^4UwuYD z>}MpCNcE|%SsiO{2$>v;TC?77dg|L%^Ox(N4)3e8+VSt3EAO}Ki|1A_#A#ifkkNN_ z6(e`a8OHQ!jaRn(PD|KxqU7>hZo~g8%96O*>KT_W+P*M*<MIpKYdI`c`<`*X3tP2@ zt4K6}n>8sV-;cSqVcnyDw{ycDF<URZz3AkuXAu^b)&EqqzgcNanBls1<x#bzMPdO} z0R=u?7dsF9F?<l!To+KuE1I_avcY^)H`PnK_}R-jmkS$|n}?Q!r=}+yXrG*U@QUO@ zk(8N%s}I$CFuXIo!?Eb}QGc)HljUCA)KVxt?|Q!b%4;3X#S1qvmK_vx*e)xT);if+ zF(c){!40#QnJNE|E#44%@mNOG(@lI;MrmF*SNv4?uv8;f`+KwO8J~>My4Bx|s`-;w zUA_6tY4v2~>xWEE)NLxRI^lNUCZn-%O4>9b-+6Xz2kvO`7uT<NvU=6DRc#mlU3lD} zxODT2^u<?r7|pxcxwHISzlElEy_$CHXs3kQ{m7M?FOKuI^DKBcPtrl#sK|Ros!EDh zo<osB&?={g{~LH#UwX1kZBp;UEsygK)X!^p&Xv0S@|w#xpSVapatUtc^0QoSe?!%} zIrz@)$eUAAS1f5P@a2{9uV;I^?RMUSXJH5Y7g$}K!;&48mY4R_MD)b$gRdf+9q%uE z|Lf>Vw(QjMASa%}Sr)Q?g017OB~))b*=FH9hg0eN+vJYTM{cs!&aX@8s5gv=xllT1 z@}!dm++Exn9mNfY15PZEzr?RF>+K%{j%RtYeGebZ=vw0Zvdx1-*-0aCdBW;?(-y9_ zBj-(zWEIX+JSQ$L@yMxgqNDvH`NP*<RJZMmQ`z9zzkGgDJYR6|rQ@r$w?x?5AD*{+ z+u=YD%Vhz)RcbfP4@5)>uPC#b=4kIO<o4{QJkuQCi*eyxAFEF3Z>T@v9Cyw0{<H}B z=yIn(?@Fh_Xcx^XXO6b*a9LycV!B6xeEst8J~!3{+}Nw2!R@N`O8b=4)`=m$M!O`o zS%|PD_vo?hm(OC7XYO%rRQfCR^2^<qogI^G53)Gly5!t_m_gY;Rng~w^T`tv&jwn= zwVyh@c8>BCzZNm~g5wA6&&;uuca!`gJ?D7-*99p_>z=Hgws7TybJ3@B4sBidly_pq z3d`2)dJX;Ue|;U)cS%_D{L&TTzmjG#b>oSRkMuV=$^J`}Jt2N0PHS$?I?r~ggQ;z= zgiiA8)aY;Q471r})4~?e$QEE|J12`_(b2_ijZZ_K{m^f&n{K(YC|=f|Z_`hCA3hgb zHTE@*`;VWrepn;Hc4d)6=G)f{&Hol0$-Db1!01lcj9c{q$trgztnh7}=AOK9LYjoB zb19FhRb=V&ol>dKZ?gRjoal3lF(t$0XHCGqs0guT5sIsMSGqVI{jBs^&DWdP_()XY zN<}^4=}B=bl1j~2Cu@oLxjAjUIE72DZAVN@<MG`o#&T@BpUT3W*BlO;u|G~-@%OWm z4JNGN$!|N2RAo)-1Lry)O;8P6@72+{GI2(-ld@{F(t`=J0~z?XKD}7tyy95b0>w9Z z7v{e>zu@MtdEA>4MdqywdBGvdwY=;Lqk)sVVe`KxA(^*PR&zurl}@nL?DbeG{9>ZB z#HA?#*cM@tioU#$1Kf2ZffU8dP*Gj^#ix%4APl=<w7O$z1{jb7B}d#o=$cUD?8 zc)Ce*cIZjH4T4R@x)+%0q?HmLOt^Hw-)LiurC5Kba@iV|OP@D;N`EPzv+<Olw~+*o z>g>mg0lWceGj_8jZ{H+s(kmd7%q$suaS6j}tI!6AJF9h@|1}C<IpfYI`rgcVVMgqV zjh1(LmPFn0J*zOQtKqxjXAYgbdPa3|{rek(InGGsZ_ipFekOWGt#8@|`@(mQ8<Y({ zG``bwa1(ayUB%lNecA5Tg8Ib!i|+jPJmHXFwkPu7(c5cp9n~-Y^}{W!XN5#&hqj?# zp1aduT~mjRFLd;m2p<Yq#d@W>^&m%?_L+STL#8x{sWMMJed(QjN~(s!@>?t%Y(DkN z9G`NAcdh1eo65amor`YRHv@^q^3pxY(ff*}vkV#|=6?!~{63%UbnvV<arIJX*0Wh} zpU*Z~YsGc7tTmCxBy{3^*S&Mlc9Yau(6J+Yfq?U5L5r5_4J#6bPoIAKr@|@LVp@~U zVu#juXSjn-q-<*6aV(YJXpQ4kNzc@C3g-8>)U%fcJvz59p;bqrIwI{{9=}dV)x>I6 z?wxaYYx5@FnG&#M9iPd?gt@x^(o$5;S^n8+xz*NJkZ;nryShIFMLXtlEEHBO__Z-A zq{^gy%GJ&FW-oi*+*)?mHMioLsex*;(#H_vUB7%xtSnxq%*#xD+2L2Am>G0)btg;p z_Uh~A93u4<JahVz&ThTM^lI^Gh1>(H8A^^n3~1iv&tT2tny}btT4$`m?>)B?9OoPk zUwuBxS%#fAZl#TE?v^u=?0HvL%8AH)Dcw{nXA}`WHR@eR-!>lZRk152*GTg%;q*F| z&CGMWWZBa92Nf*T99=q7yk|;Z4cazw*V+wp1$rlmHhk#LuIDM#l@X38=LxTS9o8`E z(o>1HAdOC`o`7vX4o;4K$iI~D_#F$mn5JtMPrt3<=vDu`OhfglTyCo34ZHM@icf#P zO_|kxRWP7cs^s}Om48yd-4^+n>$NeL#klV0_|q<8sO%pUd)R8*kE}0uk8;@Z+}v)o zGRjBc@YY>H%a~X4DR<WkpEOywaJgKvy7s$UAM+0Ge0(GH`=<`(nao^SM(1xVa*OSJ zv#9;p)(NwtoMx2XeqX-Nsy6sSY<bYuHGJ*6n1WtT-0FMliH<DCf<=x68?G?MB$+I8 zI<P4tV!q3>a|deKR<GQ!W|`Alk4pmA4=Q$lb-4P1{l%1L4Cca1)~c>J%DJY#!>ZJG zV}6?WlXJIBcPFoq5Gc5EpoVWr$g+rQi?+A)%nXaT%gJ*u@m!Ba49~|^Ja?vgow>60 z-~`#oF9lKuvewI5sm-+rf3)EC^>A%%vk3oGlWR|PC3=&mih0S$T@c>U7PnabIPW!Y z-ng{;jI*q|H@(`RSjyS__E6Q~Pf}l|E~tOU@F<%lbL#3V>n&S1zt~s1LEl#3#s%4r zPQ2ICcBYipXRyATGO66zg3WQEJ|FiIqjv(`Ti5OOdSjNfPLMA&On-w+l6{E>^H=X_ zWt<NpvjS%uiLH6x;I_;`<CRsR<r8g=!y%Q6b#feI7g@es^nKF>H<hUS6Usi=$i}VN z8_uCnKOwPx%0s_De?0`G+a?@)=62@A<EO7Qvt~@=je91c)1u;b^|(-X;{7dOucut% zP)+cjbTKNVbKwj%9$wwvEjsND%v~v(9_KiHD=)0`bDFiVnoYXla%voB+Rl!D_jo1! zu3lfFuik#eZI+ToxyOSG);giHWcXL6^~_Ox9jL9JdAHvA-K}#Rck{~Mi}fDfaxv;k zap{_kF#-H0`5n0xzAN9c9r`MEzS^p6p^|IZo#3jl+jnlH+?;usDNcJsqXzeh+Yd}^ zZYT=z`L<0Cx4k#1_0^=#V`rN8A1rfiz0Ldnq{GQmrJwRU?_4YGpK>>$IfUs&+$zVI zQwg_^RaxbEH!@H4t2b}vbt_^mxMgLtHa=K$=7RHaCs^MxTFi?$k>#@5ajxsd8@UUr zw?_JP_BC0iS)bp`CcS8LV)`|=J)36CI;f*i<iFO!*^S>_@=8wc#A7aBG_tSn+Hrd0 zI=zHVr_L--Xy$e0+m%)~Q#f8~<<;#qM{^|dTK-O3E#tk|HFo1d9p0Js7uWC8I`r`D z(J5te&Aee<=?$GZU5e|(U-O0?JH=bbJeyB_F5i43Ub9|b^CP{F)b?Aj?yo*sal+`x z**7d_?wT>E<TWmR|ADhtF)y{aNXGNr?s<xN!qU9I>?SOdKh(b?Hpl3Q>?6PZ7B>af z=JYAvnozO6?EX8Rjgfa!H?&$*aM$~V8-%-eo}4&qM*Ny1-*z9|eRCso2$Ou)o#-V$ zU$K3O+Eb}pvcBBpn^o)F>7~B;8?q;?J)5NMGQH9|=Ckx0ttX3uL!ZU&Ke*0qiJ|G^ zMfVcS74+&?)kf!Ukd9@EyD9xf&1Ht9e$%-d+#8nO=2@>U)*Rc>8(S>>RYtsW+u1P5 z`Y%UsT(jNoyMKqon@M-B^`wh8uRWQ1qPE)bMpO>Zxf>rDk0nfh_UZASLlSR{a<pen z{4A2Z;dJrGSGLCz!dLvAZ&N9y=N{|7$+&>sns=5=W{^J1FSk7fb=QpN9`p;@ZEXLz z@mzwop!kgUdoD@7N!dPq^ZMl)Vb7lLxh|PAHK<9ae$PR_(BIbg>vkI7$b2U=O~Rl3 zZqn+H&&&SYY_Wg6;rbWN3T_iK6YIp?xpUc8ZVq$J2r|32S0*g8c^{|VaqokSb%m1@ z-w8@9Ft1{0HafERk=+TiGL`l7iWEINt~_|F9Jk|#)-;vFUsthMw@f)ERpKCX&Y|<y zj!*5cZiq)tZ2MfVw&LuK3lFY5sJOQI_?)BOAMWV<(|u<iAv!y?gT0_}sn|wK%jJ3s z5AHNG#1>3$KKMf3rMjNuIPd+FJ66bvmTk27_He(Uk9xMi#IL!+JjtbR44PeUBu;sg z+q*Vo`#&v?o7*32nM|LazR%CWCg`GBt8{bvO~$tY7sO}QPd+q*PqY38&(l8BBg#KA zQcqh8_HSL$Z9g|MvOJ*op;(Pa$Bq83UcqcDk4H%tXPIP$T1SS4%?nR7&Y0`(#2orX zCPGZABT>qmCy`n7Jag$K6M>Mo5B_I=Ug>js5r5WRk(KX-H;Rg{|8ZsEm;6Ba*OPwi zKcVo$v3tM7FWV*e?(%K@ZFc=?z3Zfk)D`xZ42+XExFreHUC|Gdd}R1>hvGZ|f2l{B zW-})he*PFFSR$cowWN4i!3p0LQ%t9~PBDDFS;?wp!dK4Y6)rb!#(2G)u#0W0UzC=# z=W6F#uFv<jlwOu}TDqEnzgec|LjTHX+8Z~Cd4xB%mELf(D@brwS-OY4p!f5x@NM;y z>A^V-eStp56y|!Fsy=%4=fRy<(*lFU*lzb8xnj*AqqgXy!Hg}BZr7DKYQ1vOU@elH zdvL*C2AhRySs_wOp7EP5x$K+Ve*2|6>k_32{t@?kdQ5L{wcSs+F*7(zM>W_<vBxf} zu&-iDv~OEi;IYFZ;)!3@W*&H8m+|v)7|-QL^-S-U`9%sI^C`*6sAGP%bK{JCU$^tE z{x)q<#H5E6TFcD1(&w=(e>yG1WNG=0Ti&nVW#$=8^4q?`KjBKr54K4k?wpkR-Tc{c z>#Ic}t&@6+o2T9S<HD`Sd1LLY`K79pYK5n-Hq$EH%K7Ma{w_wB-tD@-%7SY*ER;XC z=8Uhu5j(F!eaJqRW!ueCQdq-IonBif9MG=2tW4w>-|6-xsoRbR%6<E)ajj|P+skbg zZg<i*Ob&55UzKBYqe}F^>Z_HGPXiuB{t<9!c_6RhdEytlXZpUs8~C?bC-;4}ZC0G; zETptfNciFkyU>qEzl3Y-+w$++lF7f-R{D$N$p(e)uec|0`v`Y^!MV2&9(T^Mv3eaa z|6ts)^l*X4|KG8fZ_5u#pC$Q<%W~ows~0=wH#%}n`@42#Z^6G1#(bTt&r<5%FEeKU zdR2D)@$2{ItdCq<W-+&Y_6HZ9;}`dT-8tvC;T#`z6RvMe8Tt!SR<N`3&$_T#V83dn zmw(sx75s(@%Rl{#F?l|__O)I8MJeM`lOOV}6uG%Osot53^W6QVPXr`mY9^$&uX(TX zVfU#WzhBCz*6s~|S$9#k-z6*f+NZMI^sYBoORi3u!<y9Dl&HJmos;$9hLe$(X8rnZ z_B{Utf0WuvPvxy*Zyj=%a26ffuxrD-FZ<`8n3;V4(cBunzvWYPK7U>~P2`PL4trhw zgw^)ijSg3MGu*${zD)Vb*!9<U_pfcqlYZ6xs{e5DtK$#b)&KTf{#9kmAZ#J;^G)m9 zza^59Uv)1xy?M5@gS%+|!jhcp5o@lVz16lTL}l*d6~Es4Oz_xQY<1mq>QjwO_ISS2 zD<1FPm0o)?>$mBj-7DG(vbHJdJ=zr^vo+@2{dt`AGrzhAzxuSyIXt;~KkJDreYX5T zN3N)r^4t$R@PDb8+hyLjISe^DadWx&C&*QlSlmc{R%W;MeDHE3lYk3TJiCKCC6;6t zAGRoUG%>Y&+_*+fCVqu|?8$bME8AW#_<eN!*QXnQU6bD|ePPj~X6=v4j{7eyvn>75 z_~GDG<30bo4u;nYdoP)CD%I?E{Y6%u1M?!QrnW~W^Q4{cUzXN-`NxY%rR}E7Wh>;E zCx^5dE6>YwpJ04~;g?ygGsj95rv2P1Q~rr(_3UH6@cRpMgJ#_pcYz-rb#J!RGkx_h zel`E;75nom>n8^PH(LBp^veEoE9)l*|2IqjQ*Qb7eeo;%Cq4fSm)HLj{u{aW^>mp( z>n*?DFM75A`IY}CR{ozE{9k+dKHJ@W^TSiFX8O&2dZp4Y_Q{o6%ddOp?6P03SN!Uy z<yQy4y$Z|oo?NkhdWF0A)!gD&u9jc*EK7}-%bmHGUSo4U>;1Ig_v^k(#_NXOysT9n z`BZPscCFtLsqw4dOgHwgUtNDfi@iSLsl)0!rs?+_Ex#VL{HkdArTy8J?wba?&v`vq zZjxOi7}w5h(_WG&nq#pr$9%<I@0tYxEl0fHspN1!obqK~n@)jNc4y}X&20km%G}rU z>xEZGd)`}g_DKJN%fVOj6emsm?O7+y$*_%~%Pi@}<8=r7_P*7VPINoxb|Ale#{3C4 z>z4?BxY~V2^=OKmWs}SSw^e3GC2!B|b*g0C!Y<8Q^PY1<e}Pen|B5$9kG)vR(l*IP ziR0w%MJdKFLpDtn(bM9}Rht{#=(%~tRFNq&7ELW_WGkL1X|g*{?d~m)a^o9rRS*2n zhh6gC{x<2`wp(Qfx5b7;%iq0r{Z0DTuSd7-TeWt7eIEBr<~7?IZ){tgCB5V}+id4G z+YWNsid;C_eI`-uLzLDnk4S0Fd{t2?>pOSO9-4Ld_KA)#BcTtw^^M$TR_CZKK5KjX zMBLhx9yOb5GVCp9KX$!h>7AYNF4uP(zriIpwVA)SO*|E56lv~nxIF6Y<u%V<uBvRC zSG#QIeA{Z#Gxyx;)3#2!Ijhm~SxiboeS*Wn=b24cpVcUwxP5~0Lw)1U3pN{ib&U9p z`16$8XSC01Pb}O~$s)2=WsRn;S@wjWwNYL!k6)dsI<R#T+gbN3F-e~{hIlG2``DW% z^Fcx1c;St_OD~kqF1c%)x_Rz3-?Pt*GK{8cYiXOTJ8Gj9{K-9Atgqg%-*sDGw(@ap zCiNHR)Mu$j&W%3lb@y{haKicEGoiUpu7nlMIyP_J#`K6A#-`ua<h;2l^?QBJ8%wF` zJhQT`$L3A%wT(~KKXEK>#YXYeWc_P5yiLk_TVq#moSv4ffBDAg+&7|JyZw^aZ`l~G z`R1xrb#L$9u*CJ3Z@kWZQ`NfHu|7F}%SLm}H)o}GA3Sz%(T43=Z*rfx_3oA3kfm?- zvd#L8btrRApmru}%<V-&#hWXyr)^p~_0HPgIi~Lq+I`o0yUYLm!~JJ}=l-oYaIK$x z>p!~`yBx_Q%H<Q?52{6-Oy2dh@H1ydqa$~~ZpY2@UC!2>s*&nWKa(D~dA{-d<4LoB z)-#D+ebybZCuLvHQSDt7S8I5?ub(yFP_emp&sDE`*Npe%{ZlV)D?d}d@pS#!?*(n& z&+>0rVP^00B>0*8sTR9y%Jzo#trOQiG2Z*^{8{}eUu#ybj-MI7`jz>vUu%EPT~)XK z_`igIE5doM-S?`ybYlM5_zP42Wc_QK{4eic<K%yt|LR+hep67juw1Gdtr;C6w8X~a zXxgjnrIl4*wkdqg)@P7Y@KEimQuFwHbw$G~;U%n&SrMm?`pr#Pq@c@l>D&cvkM5=| z-IIbR%!=42yu?vwJ6mSB>$2HVJ`>9LFUf6~V|Huv)Nh*#cC%#WOJ8@-t(@?UH>lwH zQpa2JzVq93^w?PHUpnmlqrj?vSJ{Jo;qN8QYriQvT3yN04|{t!q?&Wh-ja)HQP;dq zuZ`4hDzP{twPbgs-NZhPn?CO6^fdK#vls7PuUfZp9>+Z|_o-91U$jkl@V4y5W3@_& zNxQQZ(|T27PuyF=KGWydB<7O_n>s=!G@p3)B*Can#%tMx!zX--ELiG2IC@eHIVVd6 zxo4dW5>j-ZR8^$YIcf3<p(3q>b85XQyq%M^J(^;;*KVIIvUBp1lXp`jD|^-`_)ix5 z#AG>Z5BFj_rQ?(3Pjo&p-!$pj#NZ6ZNLTKYD@{E77VkYFSz=(>J#E6~Ov|6*vYzJ_ zR!_WI!e!ZiPUZRK$R|uuzIuxi>x($os%F0sD$<Pg(_8L7S^I@&imdJ27|-*n;TOA4 zUj0&3q`P-!jC;QN>z99@sQu!(=@755{lfJVxdj0`=GJ+cU0i>1?ic<|GXsmng;Th> zC#+qgzO(<UGXI94PXenI_??A5NZg)ob8y)N^_z81GRqVyr^&j_OE28iyYyuDo0L!W zLe|ZD4qclResk)R(rpv>96WI4#^NWr-%Kjo_qyIoeLwO0jq)e8-?)EH@ctyIuQLBb z-IHLuj+%4s6ZL;Yd=j1Sx$jx=$?bnQKFO|Ew*Qd&#J!H^=gj%8bq}9Uy#M3slkz&| zpOf#q{(JO2@X-9FJ^730?Dwku<NWIR{L3}}tna!$slR-0k?~vYUl;x*G4OUemNaNA z+}(AtWP^lzd&kKw5pVpxk1%ctk#Rch!mBIpozZGBiBDYnMc$(dE2lM!l#kvlDKBJ{ zRn=Qs-J$(5qtI4X`Q3uY2Ywyv{{4dGBgb5gdCRK1#b4Sz;<fVJ<E?%4ddaFE-G1Lo z7a7;qzR-y`ocp+5dueg4@(Y{$Dp7A|`#t~t>;iKQ_e-Yx3%@wTH<|tFTgrJ~bIZwc zGuun$cD_H?Ez7*`yX9s%d+f8_?RwvBeZqgtTc*2j`isDQ<}VEQ`M=n>Z~cpp`|MwI zR`#qr!+k0EQ`N=b&uy13e?Ik6vU2xj<Il$~Z2r9LV)3W6i^ZQ;y?nK&-u26$JyBJO zamITs@>%z)ytk-|z2{X`d#|;m_TJMkY*W8YeW7#C?>B?g>0^Sc7JSTMn&Tff>0XY~ zZRs~0!3Q6<<ercAZJGb}ar)#xIq~+ZRYbCGFEo@sy}&K>l0~F?@6Xu^nJ$;q|4%mg zhlcDuqzqm6)W_bvlaM8$!0(h*aoT?6L;IBv{~urZaP0)Cd&`2HoS$ced7bzm9RK=X zky+xaX&3Hzxi?RJ8yU*=eEr^AFJ@fo-DWz`>CnMhW`dsY6<oiZ>)Gvkd69-^gKulg zq(dE<IaYs|a{p~yb~bN|jzq?N&#K&o$&!&B3G(7^-Zv%36f|+y_mvzxsb_JRHGTI3 z8*!f92}f9^V+@`(`RdImJ1DAGv4wlygC_0R4|(Ey&a=uFA7qdHkSqS@2CIGXLH*bd z(&B&aF>00`v=Qgokzg)<X2P!k@ihep9rNz@<o-N)w6Eac1a7{vgF@vuX6jXJ<DU1p zX?5&}8u2|BSoO;eZq=)p$z8v$_~7c;4_4xP4zlK#9gL1Gn9RK`YC-kdf8s2>PVbqf z-gj#Hl6R>;PxbH%+Z2(#)8F{MS2ljR|0LssqW%T^6PA8)+|*;|;<tpqIl8_j#z&s@ z`X7lM509UW{lfW4pmvgt_k5-GmzSSpf3Rr(vh$PfzbL-qK7YAuiS%3F_yx`{y6a0= zYCHRu>tD|NB5KvY&x?QQ`ipG8tb8w;zbO2YTV?f^e{aJ+=j#{0zwrIye9Oyz;rGku zUj~2SmiVapSN|{9g8Y}~zgQo8@qLZ(-^Q;?>^H@}^k38T@653a_iv>9vYzeyKY{(C zePqkOqqAO=m6=4m)N;F-b?ioJ&*raZp3kz_eX-uGuuOEuH-iFcW1aRzhQ@Q%C;wfr zw(IOBnbQ&lQV&Wzp06#rqqL>T%&N|K?t?1P(!7+pG5=kxqJsm?W}n@7f+6tgHQBej zdj0mye|OjI`^NXJW){-RR+gS#a4j}?bDVWVcxl1h)8DSQ{7mrRtNGEfbE+TH^DX)o z%gv%9nd~QjtiQqaRK#M(v~3qxZoZ(L*O;rg`SkV+FGV&r$T6H*@TAVFc+CsdQ@38! zz208W;=C$t`u2;F*&fd~Da_67GP6pzm2BDY^^x$B;@chzWd5<g{P(Mo{g*>~rNNG< z=Ff~a4$a&QF*n@!SqcOj*fT#QFz{b|u#iD+*}=n%Hcrin4C2}K8`us+@wzdrxtw6z zz$?|mw8N#@o3STzgW!Q3Y{Cp?nIAkDCQJD+&bXFf+;G}ths*&{sho}Xciegrn6=YA zUGKYugZyf1Irax1rEC}v2%A<2HE5ew7&R=<C=hK}p7p_m!T<ULNrriy3p%weyd6*6 zzsXg_u%KRZ1=oUNhM+XP`YG2A7>eANcbxirqMwe-u8oXK^rc<cHYujan@#aaJ(|Ln z;<-6e(z0RdWCLkGzogxhH#=_DV?4X7?X7EGYO=y=DgMYSET3d%bIiP`@<}lz`2Gg3 zPu3DKa<iRwZ&<m7f3{ourk5ouvmMnp%q+3G-5<7Dt4c-UiD8bO?bNsa=acI{zj(T4 z*1ZGIE?eJV{9?DQ!H)6RFD2_4`_A$$l;7<9a{C*DrB4?-)P7g2G<cM}=L2K&cAlwq z=T_aU+0fWnB5mEE%V0ducYQLqqVkizkE<q5c+QzBZ`=8!d&<w7O7_+#&h!22{qnQ< z%ZJU*P6;~gPHHQBmocp2@qJeJ;oIVC0`u!{G(5azc*=AM|FN7klWS7h*yb>u%U!(s zD4RC(3|8gSn|(7kq<X2y`)Yce&tCle@QF=vPS#Jq-j3J4%~aQ)Q6#QaWIbu-BgZsd zP3I3vtb7h1l32^wt)_QWzntZ|XF9{`=-mN15&Qq@1@wDgtkaM7u5#)>UCQqellYaf zU~b;-`b(?dYTYgS%9pFUboNWr?5TSgc9rE?Pm+G+k+(MLRq3@L&n3-$*SB9cEM|MN zBd#<gF8K9-wIH@%@&13-G(Oq9G)1C&;@t>k$&<5AM3kvmPEhsa^`0n^t;V@+&YA@6 z6Cc;K&N<Pi`1;1iCuU_bJ7>%Kze`s?;Q7$SLUT<^@FC6mC%)Ub{Fs+dlE0bxB)v@S zXZKuIvjQ{TO~o(ua!hs8pI?0V#%Y)O?vB31>=!EAriE=foyohqNiXqrMo+Bo`K0R? zKHuE>#cA8TZJVTD*uHVw(9Y}iUA;+7&STf6!;Z^YBi-F11zs$xeam@4Fk#}9o~5fJ zB$&jN^P6JBHXfA>TTp-7OF?O&=#)u%KabW=(yI$&b~E^5erVSp$4`uZ=K3_Bl2>_> zzIAW)^XKB?;)f@6<VqAYT=6U^KePYV3*JXjs_@6<FGG*9W&G2+lKs4%*j7I9!& zPs*;{p9Aj4ZeBN|N#mBN+Um{fi=Ee=)N@zg*T!<8alNYXov6D}Mtl?f>etF}$9At( z{d;#_!0ScTY#WzNeWG^Ml#QV`@6wCexm!Z-CtRPrD>`a%{>j+SJ`tvg{Eh|n5;3op zmx%E7Cf`U-k*c0^Cf$ER^UdHV0pD~YPt8;I+}69~ruUPKZ$>+AhMze3rnE?|x_M0_ z^RuOI>?Jqtx-;?WQ^`$69t$=I|C@Zb-nzV9+0%B#R;#WF?FS1VwhR4^N?e(xy|?sY zSk-N%j<?e0mv5(+3O<p$|Hf#;E#Gc8?rnWDmOkAxdq?*@#zO8n7t{rwyw_=Ec=oL0 zZ-;!?H#wI6@1FkO7+)T@Q&N4C9C3Gf3e)d1g_jJpyI1+|QjxeSWMIt2x4q@)feR7= zl1J(v=`jAbY59`qo3rKVB;P~-l>YvC<6-apEAkcpChpe777}_-qV*3|&3>CKc9Si{ zVf~4iJ+=3JqF2kjw^)7VQ{Up#IqxlY-}%;Sdn)((jg>Lg$4r+j*mCFFuKv`Pld%Wx zaQqev`z0%RW}o`hH|(3_e{&vsbUtgU;)6N^$wfUAl-29cZ7i^go;KH5%cpZ|yluyi z$un-<`KPek@xagC9|te3X(_TSiDta#_PTcA((kJsPTz7kz2HWVtMp#(1G-Yh+x51+ zdL*~~ZydwNRKZo>BUjYF_WQnjuH1zg?4=(k=*e9>s+_moow4NItP_q4Cbi_M*F{t+ zE<f_5=gXrxEjtvPclOtZe6TT^^!ucQ-bs~t{>wfvtZa&iI?KChLb+1=M<=0&b3J>+ zCyKmx>U*SS*~flTb5C~Lq4h-~byJ^S*Z6m_@oB><otq+z<^4OgYwtV_n)|Ra|G_5y zmuG&b1?UxNh+9tSFZ=Y~cFmvN4E{@Uzi@V_N^c6T*q7~gDfYpV563Ge{ir`S+oe;z zGuhU&=DlxHi+bl{8-5}CRF;7A%`Ep<FK#~aQQ%|Qle0>5icdUzY+Gr4@nNo1-Q*6l z{_jj`DS!O89S=`sQ#GEwUg_v{Pri%HI*a~_UQ8FcsMPXMVc90*_mXL8XD-+$x7i%3 zE;K#rmEL7}O=RzZ|Mpv_m4q4FvKw!$cdz-+^Jwp;PIl9elgs^TZu@oUznbtv(^@@l zuka)H5|5gz=Q{Uq5`OemR>;2e`H}croF6ONkNDrV{1{&Dv}dRDqvh}C{CI7xSm)Dz z<ot&%hvM#q?YMNA>--m$i^pdlk({S;?vu*J`?HT^`3t32Pm*}z`$))N=zo#NoWzMU zCX|NNH!Kc2CwNePiGO~}*$TJD^LZvm-O643<{iF1QK?RqW$Wq_3U$1iPp?mU_@{~^ z$2`TrSn;&-M@PoC_^sA8Yqu}D;<9HCi+)IG*1ubB^P`<Vomteo^x1nZHotl8r{<TX zN{4K_JyqPy$-jN0kPyQMGo_zyms;=p?fT@qM1OxX&x88%NkaFyCT{P2bJBcrp^fp` zc`sDd7vHp;u;E3>l7<d@kMI)?JckeXe~?|aFvQX~f6x7^i&kodPE_9iMbF9n9Meii zap4u;8;<BaUL8|sula!A!R~{=%Y*W2wm*|4W4>(Lq0z9SddFc`0pU)$SH|24toDa2 z#J87iO?F-$6}_83uHG;`XQ^G_v0E>^vlW(xPq^ClV|95^;j+kDv9j-$38m66563e+ z+&gFE>fb4ER?X+w>>hCQUL{}fVx7Z$4?eoP&bss9PZ-<IhQ%A7Z+A{y$lm(hRx{>- zs8i<lxosEDTX8KEPg^2;W}E9RT@P;CAHS|$7Sk{CaM2NR7LETOTJ!Zvz5BMjUnOBH z_>*>?dDZeZ{8HzCx3&-Q#>*sUz2#!h2(Kutj@iFQ`Fc}TQLSgSN|%j?hrdv^%^q95 zKc!m>Y>LgcZq{G4!a0BcHrs!3A0Mo5SFfMG?eKkTzWSHne!RY~SU-L1@%yXg{_uW$ z^1jG_@{6>*uL}a+WeSCFIesKtPQ|Uh(rDv3MZwK?d|B-_Se{EQn^qjTUHJK;DG@!& zjE3{Rh*YPa37e>UaNe!uIwg1Bd1R+`_9qEw7bPv2G0V~0YEJyilRv%MKTnOEbN_<k z^UV#PZyxyhPqwIT>h)t2H&pIuzrz3J&W_cxT*f;0c0c<1U+Sp>UzWeN@#jnHZr(c+ z(i2<%xbhUo`!lXxzxraHY&~Ze8nLHKq1Lv%-^kei;hN7@>o?{<>C62lQ@wZdjJ<0% zwnjD@gkPE|nX=G1b+7tV!?!_^FFl{K`5&yyvD+$qaNfm<3Hc=*W>GFznKz1BeDM38 zTw8Pb=jY?63g6DKU)}Atah6EuXOH?qJ59lvndzC^*y{PO-Fv;PY+2p^dSg==)1ylb zzNQ*{y~VeD-%aD+bKlJT+m&rodyUOs$as(EohP1;#QdKZZh36ecdkfod)W({Joe`s zIp?@%x1W0)=HJ@0W%Y#b6<SYn=Y@oA@qVi4uO)4}(qxPGQ%`@b?bWA@-kva;t9tsi z)s&}Z6P|J_oStqyrT(ef`I+)1X>|tK&wORi{SiC!$L!3XymsUJ2j6W;i{st<=6i#U z!K~dcW<RcucdMy!e$N~FkN4NDUY3{9OSo@vPrI`>U3C5grjMF0b?lU5kBF;i>{E(8 zdi|VjHe<`~us_CjP3M_%b2dNH_}r(};V&BdqAbQvM&$!LpH@!y^<$Un<KE`IIX_Rj zdi(OKkS*R%_5HP?Z7W}1mJ^+SzMJdst;y3Tz6~<8snq=XB-LeiNYlKKcORDsWli@w zFS}C2vuyq61j9Rv9%&zRPWzUy$^BS@{BHjHVn+AaBz|vyRd4^d|I_iFMf)D^H;erv zk8*H~4+8@O0}}(o^p0ds@cA#>cP4ZGgY4wlmCCsayhC++dKPCJWOL1jQqD+-tWP;7 z2Shf!n$rogr)N$brvx8(8_f0|&gl@bzzLkbVAk}7lQ|&=gFK$h`5t1()v27EkS$pc z=Wt#GE8D(x0cRORR&Nn!Fhs0nDd%Ab%WEa)1PJTy8qN|9uw@}zIT;~h5j!}&AUlJW z?&6#V5wqLJsR|KGJHVL>5xaJnb1!(`(DZ4yIKfBQY(IUAQ%eAB+>ckBUi@H|>n~1r z$j&5x7Otg`En(j|xtJjS{=>^92a%PP;Oc_Nu9D@FfH>-?DpwIi*2;hja_Y!*MGG#- zcEV5#u1gSQT8>;s5ZA>!a~+0=srqm!L$rE_aT!6vry-Ur6>RNvuOcp~=}bvn;KO;g zizjipLsTSYay<j<2dU5zmaO~dqsDSW+nbGnAykNgL7ahMI!^<)ME%k5!2a280(IZl z&o~m6s@^wwOOSj~ZwSwiJZ&Dm2fODi(s-0mdylP|_4HD|ssHcIJj#}n94{1_C3kLi z>a*E1^X<~6>%DkcHM#Tm(v~`lhWYV(|2<{>_p_Aa-=xFxj(S@)nC7#u_7mS?!InDP z`B?Eh+YcF6UOr-;?yfX_<__&8^&Y|;lQ_EOG<zucck4XKdhVy<xUJE3*4j^sHDX1a znak=fJ1L#e>OJDr!sy7Oc*0^$<u;+9PaM}Ge<>)%oJdvp$nQSG!q2|@iQFNRP8Q3j zr!tQ|m7Xf{x4LXX6yM9F>A^GHGGd<ybx&k`=C$Eq>@SD@vLz}jMHJ=p9x~**@YNeC z2?ZDz3CS*LO+0KNpgphGPp#Qedd-_j2a^^v3Fn+#ekytPb^fQ!scS{UrnDXHQa8F` z`d;;$s%tk-SmTqK9FO+AYsivuH1}TVy=7;>yp)M7+J2Q6Z)q7Uu2hn%n8v;HAXAp~ zRZ+#yTFN?0TKqQ46yG=?tL~WSsrf<WP^@45t%GyIRz3+3YFpJ~5GkUn^Wk9K=}#q! z_LFV4RW;X~b)F<`#XTv}&B@#A<kQMXA*UbVXPD2={9!&Tn`vG8y5h4umm5Cn+L<_( zr)}5Uz30=zQyY0Me|6Z*duMCy^xo(Dnx*|s`EBQ4;%@0T`7L&)-1zzzn}V2x%QKG( z@O_Lu`>lTFOWwwtyG+ez)LOE%Fx>ulFe&)i;+gMxG<A|>t(%M+SH64|{v$s3jLx(B zt2%_A-4@AhdT25ubKUtbJD2V>n7!NhxUzxPxrBLnnK@Zf%4ZlBH&y1|va1N6l`4DX z)twv5ykEW-wNlgQ&P+b7)10`Ht=RYO@>#E@_OT>&T@%<dvwo#<)QtB&Yut<T+dH~6 zI$qDLKX;KwzImbVR&SjR|2d3r$ke`@73_6;rb3Uoe6`)@=leLP_a$o_v%S1GZP&}# zhNl%>TXv@N8MdttEMRgx_Q7!7@#22L@*~^d&R%Cd|L2*F>^I&>r?9`ie&J?-iS;%u ziO!-s(M_sqA>wTX#i@_#?aFTJWq*$CUGZUp_1%1_B%dXh@<X_`Rc3DVzI@HM>XpDb z-p^+mv!p+tXqmb&-=xQS`K8d^2Ahj+PWTXDDtd#(<ngS)S4$0>7K+$xo64J4Rs1*0 z`_GEY7j5nztF(+d;=1pP@wu-GF`qP#PuFbv{@&Vl<BM|FeWu1068u&S`t$2;o9{Po z?fA*u&&YnUyXfm1Rl6ARa>IS~{3|;aT<^Otf54ur%IS8R(4C_;N(l_9J4|;4SSK~Q z-v~Mq*!KS8<n0qg3Vr@P6*<7jT|3c3;DcCP?1S_98#c=wwb?n{`%cZjJzo~g5Zljx zsP}ZH$%lhtY4&HTKPHNE*8SrA^*2_QxjthCkDJo_uWA-Aw*UN6G3WDfhVo?=m&B*) z&gm;WamV%Pm#vro{Jpi(VD-~>{#A#sYzy>#Q-AHQ9`Db<&B@PiukxIk>AB?b&7;m% zajPcX3ci1S@7>?OyBrsO;Q3v;ZCY^VJe_s7RL?h8ecyHMMb%U1#95c@)s{c}$*a4r z>Drk;2Hf?}x$`w=Z<{A$&ZwaOfyIu=E-iIax}o1<-{ot6Bqz=fI?8|b-`chLnUA&` z6zn^`<;}L6FFVR7@$R`~(e{~5?a{siuLWXTk1X1w-0J8gzP4xmhjWspf4&I&e<|7O zC%i{yn&iWkYn|TQTkIB{+4J@Hxx4W*PC87=U;jS;+8yEVCm+-&_q#GbF`4ctRJ7;q zRp*{%F|#eFB!5`6SwFF7=`K%sg`)pU?_IueGw+eEp#HYoW#5W<Bt24+KLjrPR=(WL zUnMcdWly~8)JTC(%DVDVnp3>y^hd>V?-Athi@R2~<rvHCq{T<3M<wns<u(#gzk74P zN&C6Ud3s^5ci2dMQRTOPTYt{D^a5+V+2w?}k9!xLbnRHH|Kf4>^^UdeR(t#+zkTUZ z-pUrw;;JLKwQP0#y}vKZl>Rsii2q2vz;jP%*Cs2$9|~dL=XqcG;HdGZ?nia8K<4W( z`Kzb?&NvqAqVr*KXS_+ov3D<&xVtS*@a=JFlFxPY(X}qh*;Ll|ecF}RlE$Y~SnAv# zPY;wny8KlhUw@gc)?KqN5!1un?_Gaf_ieU8p38bAtwWp+54C6UyS@B)_RXF@{+c}> z`fpfIi%9*p;@G*W{S~zrGpAnrKXK3Tr{${gt3L%O9S`~`j?%1{{-%OU3tWXtR&qIj z>#glEwOp-`O7ck)R~4j!O`OCv3oJYR-!v{$um-c~TsaVBOXqOyhE#3IOSp_6+iPd6 z;#vi+<hHwR=3?gr>+s*hRR%U>`-uZwP7uAk$GF@fI>OIz1wq8tT;w_jF|YO}S3g8A z|6{H+L9i(mU$_(@ZJas(xxPVkOl9Ss#ST7POyEbF?{srsZu$CeXU_+J&^jAvU>0Ct zvejtY1|y?@f-+vdKm#L#Ef2K3b+yi&IltNTlJPa;OQzed_?r9rdi$B0J@wK$d&cvk zx2KNhR@RkQObxD^nmy1udB#^)&-09~gAk9QNiU<6%u!Z`0B=Sn5oRt1=+S<#78<Cb z#=yxi{VFf_Opt@87xHnNgBh#&xb47<H+<aSqxGiS@^c4)MJDlcdx07E`MJSc>8BeC za0h}#41>9)r!NrTRs{2o2ynZB8N7nr!C*$RAh#Fj9JuKl1fe=ugt)`OQuUSG($g!2 zxK+Wtg+kn+;FCzeXa7x8;1-=OBFyasmWveT4g)hb33JDQ8G<6*5nx7+2zLlr+p@zF z2HU19nsSRyzbC@&3YJt8<xT@L`bD`j!HnOcP|HKbxI@4qYs9#VzzjuksBg=}xii5| zek9Hf-s?WyO@ccPtY*0cRM$TV?j*39WJzvsu+&CL?qIM(4)ye=ubR#%#w|KsNs8MB zESV_9odIT?k>XAUGmNCUqrr>`(%i9NlRiju2Z0TM9N%Z)!!0^JL5AA}tZKOocQiN! zfzIrkeo>8EY`TIhH@F=<JxLbo%hR$@A1KIiCxDHD9ME^(fLnC>JUMPhusx6DpcXpG zb4P*=p9f?7l7~t~DR2jXrPeAyL!M2MI|(e3t;ih-c1heNX^m-O++x!oDMEdzsKgx) zR@1D+?F+WwEqwa3wbLKibBj%XuLMnA2Fl!FV25-nLoK<Z%pC?+zOKxpc>VPMX56CF z15~(e!DdZR;SK>Sf3CtE0k*iwZl~z<IALzF>9MNZ)?m5Ws?g-{O_e(xtSvze8slfw zxTC;^TOS9VdKcixEjryro!bhms!<(kGvs)?i?ZCJ)4!^7n}ZG2*MO$sRt;zXzte!G z9uG}u7MZCDO%NY6xs$=xKu)qdXu&Nyy-<rg1ngq)L3a0TxW%SF)`I3F18r_!uoD`z zq0tUH#SWToK4?QjR9^?0Zf5ClXMl|dA7TedT?)ETRq?t|UqH^R1KWLB7n(1?$JIgd zg{vMkU-as6M}SQOomRJcdZ8k>=yYa%X#BY7Lql$ZJ~U9d4Y(7*A(C$Z_5Vo&?ijEE z{f^f8>!+VL;1-+iV#w_P_EEbbG-*FIgoc}+5mes_Bknk`zG$^T4XDK`#!!n>jk$xt z*6cQh1`>w}G<4%lpoPQo?Ryq&oh}GU(3ec0WsS5ccLLbrI#Xyiy>AM2xs@3-@|Pzr zXx%s+oToOKLG#p4GiWHNfKQPFr;L1aXv$b)4k@mtS#ZaLT?{!KE?$^hbb74?w>8+p z-4@*WV1}+G)Cm(Tp{2l`Bk|&EAtB3X#cc;R!l#IB(gtwJ7Hb79*%n!GXM;@;u;z{e zGjgq=`Rhr-pBd8&6uHHwKe2`yu<Ya>@wJfr;a~&J9}PCpu)Sr&oeDO=$(B0>%vfm) z@x%1Lw$R{%ob?8d?*cn$uy3@378Z8P3^`YU;!<?FzCE`i*ob0#s9Cq{p&_{`HD3+l zi694VC$PVQKnJ{m{k6#f>aXt((7f&C2(^0eRIgtf!HV`eLKQJNamRu42j~p9=@(?V z#irLeahrpMX5Ox6nr?5#EjInK6SqCs8ptVb4xrM(z!_Th6*)u0+vu&;r*)9<e(Vel zu6Il7{y-C%y$jU04KC0^?~V(1DA<c8uH4aJ^CyANWdo;?wXV=K^2HUJq(a@G1@~?@ zXn2ddLyP3?-j9xg3&K8kXofuN&K(Ihvj3*KJ~X+yctDeDuLsn~cQA&(C$!w$=m|}1 zQQqGqpk;xc7u3*PFK9s__hIeo_0z%OaMueO4)WemLmRxI0e{&Wns>B(pr-fuKnu|O zd)Wh~`#W-rO=t3jCU<*ZsP~roLd$tBKWOQf;0Mjl`~0}Wz;Po8Iv@>P02}#3b3%bX zw78ka-Q=|nQa(NMhq_!b0Gb_ZV2tYlP{TLYb4yS62;`OrM@3d3w0W^7klP0=!W{%H z3L=8IJ-{N1gP>9K3dS%DhT2mQ3{CGxf}!S!g+N0iGX!ejju2>qfgE@y63U&zSTnsc z6zYQ6q1@8UYo0StKgh}<I{jQIH~6fY>32cG51unmS6sj$HeE1`8#3yn6~-;iobZWx zdSE=a+Vs3IZXtQlc*%y<TwOe@3=F?G85mT-4K4_=r7>~({4j141(2e2sS7?HoD2+K zL>U+~Ao5^xOXCKP=@X*4C8zU*bAykNnXVJgEzM*nG~FSFTYP##IMnjWaBgX431JqH zo5ZKD3+EOGn_D<(irapE28IxI1_m9li4bB-BeyZc1bbr^@#zWq+&p0QD5pt5l!D1E zjUvt<cZg5-aApyoo*MxTikb*+X(l!okd)+f8y6O?>3d*Orz5zfnRlnMfC5i!`u_-S zDR7L*L~=_rCsl%lMW_2maw{l;0swLF6a#}1*h&borBS63tX6D#L?eqV*k-T>#CcQ< z4Dt}QU~)_2mKLxE(dn#F+~Qz6<)gTznflux9uAJ;Rs{R?vHn3<S6K!IMQa8IO|V`F zv8C}`Cq(J$C~oliQPa;waZ58tEr*&L_mG`;I$tz2emes5cR6q|FdP+UU{HdX04BFI zx=pu_<~9T;g0@RNe>r6s7<TxfyY|@h{%CISDCzVA(cIEZJoiC%YfNX2;g$w#J#M&_ z!I6=H!I_DH!31nFgxJ!!aJqdAw=-A~5Ax|*5P2}UrO{;i!WeGwIfK(L#BfV9TS>D{ zpBT+8HhsY?R@Uj9vD{+d;C${q|H3Z@28J$11_oWQRtT}BF<+T=x?>Et%yjSpPV1Ff zd8X&ZLZiPnmRp*6iwY|!jzy<$h~-uThxbj8u%ZT7SZq3P95m{+;<%-m|9c=CXYa`> zG`%JcYFsx+fsQv=f!Oo}Z&u#vXJB%-L2@~>5RMnsM(@-d&^BZ`%*DV^D$T&42XQ`_ z+|npC-9H{$L-xmWOEW8O0lQ6V`tf*Z{&@fruG|V17Ms3yE343S={Rm4aNr6acH*gH zWMKHh#K2$*HW5N>X*8W4n857<4#134r$Rwdw33B^!2lu;Cbu-Q9Rhnuefr%5Xke$* z{Fc#RWMDYTh+ZU2KLS=OHvRMwR)OhOiO_)YOyrhkW;zCyt4-vV1c&oXknruZU`LBi z=R3zLfXIHYL2_GfuufkX#w|8oK8afnti>UTTblXMJ*Y|F?y*Wv?@fZ*G6y8*@&GD# zAqkp$UL|o$GaccW9+=E6HeEKETLc^^tHn6gI2jojJ~A>e$bo$dA+|I!Ob<xr)&<+v zkjyR3<SH>eFr8a=y2Bw>uIUni+~6_h={G@Ae<dNN8c4BmPv^{o7D6wrg0&qO85nGt z7#Iv8rh>^WjTdYoMkS<hD}h}RyG6m{1{VXv9Z3cTWw0U$v86G7`oa`$BXCAP@BPCg zj*)?(o(a8dsqliBCy>gm3|1O-et+R-Mg|5MW(Ecoh*4m2OQV_(NU1m|RkBZC7{V<A zR=>&TZ4wtV1H&9Pbf-r9LA=)I#|A02!0MlEM><XoY%+w{(zqoMWWL<=_knEe(^rN- zgQBZt>Z<fa28NByj0}nprC@SP<F*ip`PpgQl3=65PF&ydoSA{)7aIeE8dwp8*wPrY z4P><V^a<P81gH1QLu31P8n-l4`!0wneCgcE-~fdm+J=$Vr%Vq>=XL>G<;NUzbuteF zgQP5aC`lfNSmk@1jeojaAk?at>D<yx?=FL+B&W+~aEpOWnZolhuSk@E!PJ}q&2JH% z(?4c%i%rkYfckBNazTeZ))c`xAEMO$K8w(FzxnLk(`QIP!|uNGzMcdD1_mxoj9j(= zqUqEEcERbdgrKgp%;c74vf2od%H7D$1(pJb%IpUo3tuZRFwBoYcj}$#3p2S5z={l( zZ<e~q#K6GA#=u|(341WPrIBs=hfHo)u%}Ir>K;7A#lR3K&A^}qmWB{p8nqunY>s=# zE;hX(9_pwGS=`c0rf(op8E@Emrk~G(O5FoVZTkk1vajIan122!8|!qrY;Ga2RVc^Z zL2Ln&TN<zYfoMw0<_4d%H@z;KTbg+>D+j0?SDAhw8*0OOkgx#<SXgX&3I~S-xKIRV zZLJ(ogF~JJR5yrCw>M@HoSvV<Eeb9RIp(k~jbLP8n8JphKD4x;8sfA#_^0nOfLe4D zWY`gHs71WF(DF?)ms^_oOC(rWbb3rKv>vGh3G-BdO_G_uIhR`m?4na3VUa4ZYO(46 za=FF9j!ASi{=m$}!0?NUfk7P{01#qJ<L;SYwW8DC&EycC9+wAoOl}^xG&A!84p37{ z1MFe2IcM8GZ*ga2U{Gd4Z!YXO3|1>O{lj4nf$3cN+>mCXWInevv)fUq9enBBeAA=y zp`~9wNUr)SRBqi>4!-Fd^0|4y79mdYLvJgX8FEf{xXUaxJ<pJnZTem*s6{*l+|o?7 z$<sfUa!c!=SBm~oc2CzZGBCVhVqh?b_#8}bY1{_UG3^K^$Mo09oMO}e1VVGpk_Y;m zl35rSesZI?8n>r{ZJGX|fLk7%$auHPTDfpDFjPvThi*z1SSi@}<^*V(WSw6dA;ieQ zu$B?s<hP|@<<sXELL1))3%RA4Jj)@XKMSE_in2xA(o7-M5YY(-IJu`M6hT`Zogk^1 zbr7jzb(})eI}@ND+9}-r$&Z<V;X4O<%V0|nSUuR4FMBw7r|TC(L)EUBTbjvl0$6%_ z^#o4A={J0!#(@Hm2}Cd;H~9n@{yNT^3{tOx5exTvd70)gGBE6CW?-;@>I6|+8XrJ( zOjj@ARsttupAv3qrb|=7=1lJ`fwubBf<*7lfr!2<fwoHpOSz?)HZ6dNzF5G?H$9;g z>im3=l=dQ!l-l&<MV!LZZA+l-nf@v3uck9IFid4<U~mMv0*bdZHctOg${hfX*srXj zk8GG37-q9GFjztrfT%5v?khots!Xq4$tgZvz5;6BsxoeArdw+uQUYr^c@V*MO}p~I zb|wY}Pc{YyeUKSYyrnU4D@46}Ikcev^n2>$UyKY4d@Sfqt<W71rQJKAUIDu@`WAPa zBQpcTJaz^KE2yy`YD?pyT@dv*c5zA|T&Y*VEzM-T4<sc$?Fc8|^s;@NLeo8ipdk}? zYO9<EGXp~!8+z%SJbhyYw<S1&-h#}yd>Cei$aKp}ZY`OtTbv9fsksF?i6yD}Xqj+2 zXmFcp@~!EHRovnjY2*E)<x5}lGcddhM=vc;Ky*z1RtfD3Bxb!965wZGXmLa@8oo|9 zsDgGQ605kSnVf!sEt{VGi<5i$f+}bvt*_#iX7*v>n*N{?H2hcvZT$WL34h@P3yV*e z<Kkk|Me~7A<hEBL&o~(vJ}5IV$bv!`inlcW<OS;!n_g87Er=&pb4xQzNkE0=UURZf zKU2*u46Y<MuUFu|!_L6aq>f&bE}#Cdnj3t_&~(EZP$N|pYCviY)Z7}7u(<(LctZ`e zeG2ZS%UN(uH?-gqo&L85>Q|mxZfWKqn6P~<wDO1n39CCoRrl9&i+~H=)9qglcXBW= z>{LY$*%)W2+MBi9;$S~Kap;zO&dI>AUJKn1O4Ir4xDCJtPXE=(_M44?!A+2XK?WLF zAZkmaM;O$=f-o+Q>9uuG_x99rOEcHTLgn_?L5l;>m<Z$3Y4y<dyJ9`JG_yz&*Yv_n zF45^WNn9M$W9p$MWP{}5GQo0^{Ae*a9c+;M^t1Kca$sMet>XZ>4UD%mmQCks;8p`G z0*Sy%I$jV5j6o&cx9R>3+~DJ!r{^_rOEW4@?`q&y2WtwrvvOA$D+7Z)F9U-JSObLE z(wH{=LIbp+d9U-Af(JhXgRl*F83{xM0|UdB#&^?&8lgqHbtAVlbM_>z>4lTHWH2%g zNDs_$5+Dv3gB-^(efmO}8K)Y#rI{SS0#eiCr*nx;mu-e-_n^H+$4l557~;jyYoqnk z9h;zoS@lia(oDHaKn6-p?^(hn2-XiSeb%!CFr;%ZFbK(^kJ>C+1yRr23=JclW^QRl z|LGph+*;r;DoYCCHD_U9n8tyg=_994Z00rwr=f1XKVLam85o4P(G%sR16<Q@9N<#G z=mY;Q-|ZyE#=syez`!5|4i5;irBQskK?}Dk*xbYC7xjv<GB7X*q9@?QGhEZt&u}SC zpV0zsjo4jOu>{ot;bII7h(HF#)3%FT)AwBDlAM081)2cgws1=`x8DRumzbVjNeNmS z^igcx&}t^gz>s0Zz#s~77?|ABC^_A~m0JZIG?(8+yS?FJV5rk$V2}b!Lx?SnP17f} za)WOpo4&7=Tbgm%^jodaG`D<8wm=L!1H*A)^p4>C=?ZP!Mqrac6Rt@N3=BC83=BdL WL&4;hMw{t{ZQQDC=Xkjp7#IMU*drPM delta 27382 zcmdnot2d`tk2k=ZnT3mifrEpAt>gDZ-fh#{o-+$fyetEu|0^>eDgCusmC=R?%t&EA z!478Vb06abGk%CPbAuUm3UaJqO_SHCDuP8WsNRI=TBFe>1Qs#1W|Lw*T>5LXU1$s| zSY&RLl_W&h^I}!72!F{3M$RLpzkDQ;+5Oi{ZxCiy-mG1Afe|eEuly5)@wxJ%A6Vr0 ziO&#`y{BG77^}~)F@X)>-oIw=?&-esnKY+YiE_(sI)4<R;KT)Ch`a7x`UJ6x)5geo z>GXpinUtq5kY{F_zEX^vdo%CV^$_*@uPHNefLxTdnz?+s{(dHv=^IL!ST+mY+zZjp zcQonJ?#bsaXil$TW)z$rf0~JZv*PWej9{<6yfXn}OwBz;h_ww54nqRb?FAPTSWWON zF^E*on>P@}(eFM&82%pwA-<V*?CkEX(*?FODNmnZ#m%{S>ZfZE6?tENLl`;V{(-HW zocrSmH~{{?642f-{e23v^5)u~*C1~7C>1eVH~pg@v&!a%-{&D>{N<Z8H%u=qXHuSC zFrSHSdZaA3;PgyqX70^%|3bsS|3B0jtsM*AFP(0%pGkRp4<q9~u+7_jnHiZOuADKG z<Hh>v6CN-rPxrIn=9+$6j+=jayDc;C_C>6WYrxLi9>~t9ECllR_Hs$acs{UGZ7R$@ zteQUY4U_WpH}c$K)2+gpdAF--FfNB!a9)$~4_I^iIc>)6=d_tl*n?t!`^;=6NP^hj zm&*i=_Mn9}Dr>+-Z9kCDbOvHTe<2ezuHUQ=y15Y?C=k#39c2=jej%TUZSwkWeABH1 znfbOqEoPbz(bitd^bo?zE@%4A2u=koQF|Pw&&y^~+1^*lbQ0{U?NQZCPrz}y-LaVo zk|4L6w=#W)=rwF-ddJ9jxb&CL-J-u{!mJDo;#|`=mN83j_vmCY1!siq4Sh_XAZqmL z8+>&c85o{2g4ImszstRS*#ssRh*@tZG6_L~n$x5&6P)U%iE~R$|DeImHofLDlgjqe zDNG9?@me5k8MI+~p&_%%^!`dFw(XwNm`*`ttdCFRTRDBhXC~$C_A{7{LIhQ|=47m# zK0ljDdAq?ZrehGn_O1=B%fazIT|<MLf4kuvri~CkKb^}I4{?+Gd?o=%4&h8+{C0A} zJC*4+n%pAWr!QpM0#V_&nCSt8Ww?~-njkptxVAHKLVVKBChfLwdI2}H(RRO`Oiv-f z{4(}=!1NqNX07Qm+T1eR8+S7uhM3^K7iN~$ex_Ft#dnu^O#<1w-Qgh935YW8!%TwU zOtoG9D3b`pBI}y<S}P_ezEj>Fe;npP&ZHIWE5N><zE+o8czeo8rcDs9E3aGQ4|bO3 zbRIo!we5MQnNC1t5^uj(-ZFXP8Rh8}dfc+p1@f8sxA&c8g5;I$4(FLZL!1@D`NVVj zgf~oT(=YsG;@O^ik!df)ak`gbvAD-$>&I1-&z^vmJh8^yoZG9eGVOv`wDF|(#<kP$ z$1y8!Pq@x>6%z0kH<|n)iLL7a(_e^zU5}W4L$tho`t;QbPzG0?tX(Fw{qPf}9S|jT z&zJ-t0W$FgEHmWK46xiX{bLZb^7i$wm~KK8cE4fz0x_#NqV?4B>ANQ}t4uC<!MT0w zJErXrC**%%@`Nbf{gDY$WNlydndt*WZ0=VkHb{CnuG?ciJyDxkW&8Q>Ot&DiYko5Q zhp^WDX8HmNsNlnA<);^vGpS6EzsSTl{jCN!=k$C>X1?v8|1zxvD_%bTKNG~vw=B9T zlh2$`*?yXl8Je6`{=Pj2NzT(3nR5$GpT3ZZZ~H@L=A{sCNXX~pFP}a^m05ZEFLQ3b z?FU$yH$r5*C)Tfll#rm}N@n{`c4lbE-!0tmcQq(ksBB-r$$T8_hV5D0%yN(*?B-== zg`_F(2))ZIKw+dj{hlSaz;u6iX8!HB`I#3(v@{Abe}k~9gqfj{RVB(S3eoHomv6id zQu6j|GP7<!AkKUWqPka-`8&joPZIvjfR<+)q?w`RS-mXtSBSLM?=yFofz$K?dFCS! z&FPBFd=LvXb^Y0QPfyfmR-Qh=mRoW9QhjFr?H84qw?PzksWLx@7~^#E!k1N$5@D`7 zGc@zNbu9Y{DV4YPYr<R>qs<I0?Cq8ra;^dw_S?I4na@IujMiu7g@jSIA@fg2^lnPc zSDRih%&f9~f-&<Ih=oBRal1BwtM}~_Oqn5d+4f9x=Eo3Y{4JS3Ks4{2>h)`K;Ww4( z9~`-*rtf5D=G{KYnt2^W(z??^fBMFsOe)g@oVcYYum8rseVQ%v8i*A)ugkJR>Z<AI zzcX=eFSlpj3Nc;Z5f-{rGTdgZfy4l~?#p!M7K9|da%bih5OePA+1&<?Vo)|<-5%)5 zya!^8fIBm^Qh2wd?hh!Zt86#+WIhd%W%P!{(T(5M#~^__UCWhQXnL(ZGv9V6U*=^H zg|GdXe?e@T^l6qqv~qgj$}Iz`lD1n1GOq=zTmCwT84|MZLYR3VtiNH*(0c9Lcem4P zLHS-~yG$hWIk1lHZ=;w$K?2HQ*-Sr(1G!^i4!jx149%x%v;QVd{}9BiHM#T!|8|8$ z=0gx&m#ZghPj0-YvYjuP`3A(umnqDUcFgj(X;9~U$YA~malho6D=Q$i#dh9o<^vEN z7jl??LRe?=n4ww!TmkbVh!tC#XD^+8;3JdD_B%z)haqAc4+YPk{w{@Cefzl*=Bp5+ z6*vO7uK^X5+s~K5JTSL{8Cv8_sDg#a{2FEsNZ72ZWA<bNw=SMsQ7PE~2^)o0=8F&m z9iN9~Lvr}!f)}jYmD^#S7PNhQ6kNei@2g~DpPu8-&9hyl6P9J}b}>U5n%htJFn@)( zxBq1K(dh>#Fhd%K+duR%pM-dL&jeWR-#Ur;B_p_{JAK_0W_fT8cwq|jVo2>@HjB9z zqJwP?b0?!9sI|$%c*xj|mw};0gMmSIy5eePvF+RDGDq=(wF<9hE>i)sdd@Rzuz(Go zyhc@E`jyMf;Oceyi_6TXzzVirVNQeCB6o|KpBXG>aF<yH!U})Dynz`UNY<9^zK+uc zo-pgz7hiT0vF+}CdP2#NPt!9~NR_4FO+%*Ctxq>6P1uq-_kfSp$0^e!&8{62oEj$Q zc}`^BFXxJswsbiutJ(+b9~MjWr3fb!ILVcLfA`Mz`<&|1@b&lq{O3Ag^NufpL)=%S z@Z^%v(~pZb)y+L#v#D;f5BJHhqQdtd?Y7xxUMPB<C#L@V<F>}xY<Zkd9?6=|+No2p zOs-|^EoI50mkP7I8}F4x&kZ=1w_yF{w{5HM&iL2;)cMb={wM3!R0eI&k}iDlDs2Ab zo4$>2f*xozF5I>HYSr=kK@anbPCxcsDQB{DyQZ`G&F_4hJ6#yFL$gKoDvi2Cwm)Wn zJ!9tbB;ySAZ@a!+-cdjQg@A^IR#scyD>Va&Rb>LlcqOyqCNBtj*K}t=S%1e23)R2P zMqPK*p9rp&iCJ#<;g#ABp_Y9;)BoqKDqFu~<^o~vo-e8o*YZR&shcI;{FCjw?Q+nE z(}wGN7YLhO?V5e<_2NDHstY5orQZG0)N$!r$R1$}wz>@kLaN+{e_TA2Tdx!Jq^VW) zPNLwonAq~g70thNb&`)B^8a!35Q`e`ny4SF`?++!uPQqG?Iv5@@$I%wZ&cEEN2lF> z{~^KsomTX%+)2mveASjjX>BQAdOa|h?UmTI4SEJYXTIWyu~d32_VbJNJk7F?ioS{l zA0OtL`{Wv5EZgpGU8WH8!0G3Tx3(Jfvptoze|>DS<3LH}wmJ(_`!!Ej<lg-FNG@$5 z|6RdFBFRs;+e)r3@Ap_xcE#hjBbU{MH#ToiTzKgHdVSsf-%ozOSbdjYaYFuSgP=Q` z4*$ORc`ncQ%o@hUbKlt1GUN%H{m*j!_upmX3=`9}$ufs6Se-KdHuG$XN!Pksuc%cl z9{;F5B9(up+tMj_4;Sj~w3XnMdn&CT^hJEmewRK)X^oEifg;}vqy98<epEl##cpx- zx0kt^+sn=?UOQZ~<{k`R*(TX@`P7Fg{mYj>i}de}U3qTrkpp+?4f1>Kk2-7(xzYSp z=2_KN6OY%de~Vpu9<c~^F3Nne@`YkiQunG^5<+}#M_l;aj+z~F;hucRcdG6K3oe7m z>6%K%B~qo*Gba|uul3D+9<<f$-102_3+I%LH)SlCv-o>XR43P}n9VaD+Z;<2GM?gg zAbNVub7m`WzMOvSIWr`$zJ1PI%LUGWxu2N-34mF7%q%{T?75eNrJEBZHr-o@<vNJ5 zT~(On1Ej2wFlJ!`YnZO+%<`TWR6wLhx+Ih-GBEs~t}o0Yz1_lvr5D`s-hLvLWr;9Y ze|{y)en?Z%u#u$~lH(7yut1CQIc+R95V6~xES<7o9qG$iUV`n}9=wAE>e$PNSe#|R zvXb{%CPB)nbq`n|{o3u0k64&3!LshstVSGQR*f>N6GYuX71k_>9eNt9w-vy$Jf5st zkRsaBo7L7IELJ&-buk~9CBKrD2Rx*(U2h9(D8!Vut*kq_z@?(#VJDtCMh1p2ObiUB z(-jY~YHqJQz&ahGO!yFMAH?7#M_4l;V*JNguR(&~#aY(tTzsIAlRme7*9lez1`e+2 z6SuNTZGV1)^(iC{&fjCLhv*A@z*?&TcF;u*HcN=pc*WVA7{OtmFmLVud`1QagXw~^ zn1rVr9AcH+-XXyT)ypNtb^$zcvi+_tTMxv%9D6n~h__n3*j6)w-4S(uf8l3F1_l}C z>4wMIq^HMwv$Ahb@L^+xcp}4(EesNN2LsvuGx39*-qkX7ReB-=!$xMt>4w5AlG|T| zu+=4k-I=+KO@jr@nzD<H3u4#8qijtO`_+!KUE%@D{=UqXz7@<$?POmk3TBDTXYYon zTe5(C0VDyqZ)BejG3DhRc6CV7628Z-1aXqZLw0s<aFp!&?0>+Si-BRgI0J*ibVU~y z@#(j+xOui0zhU=<gm*^$wZNOK3=CDg;P9SakiyNr{rxxg_mDt;_=o)rB;9Oa<>-R= z-IjynsTkO4s`4EC5NDWcaX=&bqBe)F9$1z!ibGTm%#y6&fQFl56~_`tt~oK2!<7vz zE3klL6C_HG9_E00HTWop5yYz<S2=b>gQMi2iYV8ALk5NqHPihJIW_C2gns+5Gu6oa zBzFsE=&gn+0+Sj#SOu0Oi!d=Y-Dppl#N(6p=nPB84eoDS#W#fOtXQD7U`2L$>Dyha z*X?>26%c-X+qSKB&+q)6HuE9x$M4nqp8tM6`FY~IozL%8zpFfN`*xbm=hJ`r84pDK z3=*vFwvXws?-%*({xiAD-tVcf<G=b8L6Hy3SA1HoP(MrSe86^l;V(IYyXV-8J~=Py z82)e1BmIEW-H!hzJ<`|y=Ox(kWA&HM;=g`s|J~ze8yEhE_vnAO2eZ5OFa2?w<zMW_ zVv&0HkM$b={GIl!{!!hv-~R!-<G$FBzeWCU;5gNhCi%ak&TiSUdd+V$AI%Slo&4YA z#Q*xWKhAd5hq3Jb94`8Qj@R8Ut&ifh{!M-Kf8nj`UG<B9Z11XfUsJp0$9LB?w@Uu3 ze`K%mZ}B60&40#<b%B4fj@E}Vt>8baJwqslb79MpD2Gla)g}*5jbEA}i#$4$m~>Tl zX<VFoAkS-x#>Lpq2|`Ov*0c-RPJOY|C4be|z(0Dbzv_i{bPN5R@?!lFhE=>FNfU$; zRoQ}bJ08uRawD{JVTkmyA9KBU!jo98o)Wpg;)n;+>8TP+U0Q{vYA^)4uDIA0zxap* zQ+aUG8lm0VhJ8`r6|T(ldb9M%J(j-kKTKNc8io^3)r#z&aLUumXIW9a>aqaK(9X;d zzwo3sA!E)tOONE#Ykd!16xI2c)5f9G((8=s2Di>iuQTc&98|?LHcmL;>Ls(}ND|X@ zjlvB=-kdfroz7D&d^!)WENc;R*D4fgoVXxj*^S>`SHv85uTTyN>8w(fnv$_3%ID)* zFP-ot)~k=aOf)A3C`GEwI(o6iOLJnF(qflxA?>LVOOIr!MoqPFtM4@Rl39JE&`W0h z5l*i;D~@=2%~^9q(`(MEBbi=nmQJ;qyJF75BQw3`EIo45YtG^$JH7rmc7C2>F<(kQ z;E|K6p3;XTRlUGRK}`C=kBU^U3GRsN)Sj|q(t*`ec0_e%bL<J*SUz=!U+3$oI~+Tu zr|$6VoIUl%f+M<Kcf4ZrxVvtP*6)w*>~-y#d49h$X9!csJl~MpYks(TCA3#h*%97p zrh04YjYUVoRNn<Zs(ZD`x08KJ#RMPc?9a|!_tzhh=d6k7be~cY(s_Kvw;e+M8XuPk z`D=bucd}V~#MtXkWM}%+iavq!>_@p>*UYhZohmNszPH-5bNb3}T)#v=W(nSQ{?l5& zs$TWQ)&&)^-v30l?sc58U$oo&;`NU09vkw-H*!9DpON}#?t&lgg0pr0Ns7D|+o)-h z&{fgzw%6ZYKA_Z^PgGv4yZ^}XFQ3;h_|ei<=Oz0umZkNPv8tWEP<)5})E{1*|200E zn$|8pvOT13`H}A-|EBNyv*1X7$WPDC`78gpcGkyloU%Y=@g!}{6;r&}R_Fv6c`Oau zG~twzYWK=5Q{FhGhO6!lj9ipbuI21CE$F86$$25)f;O2?t)245`>CGSx5b<GPhy@T z<MBX2^>7GZSP{q6-CCAYP9=KrEiY=Blp4|(vT4q#K(DZXNKgCFFUGU#j$JsP=hde> zY4_<uuXl};>L*rDdSMq_q_6rttZ2_9;ie*`(i`nn{)bX0OrCmY`YFvX#-S%cDYl61 z>kLo(%~R&AeNyKY_W0Jxzf)}-PFi}M3*F>)veMDgUV~pJsr*vYJw<VmldVO9XKMu< zyESucmOc?u<zH4gU8}NVQoB~=j7ja<l`N~;Y=TZMp3<YSv)<=ql<Mm#JzA0LQ<^9B zUXgQVopw6&o#+w2n3HN+!d_~b^U_rN!;F@uSZNrqkl5sUa;n$5prWml)_Tb;elkm` za*d6iMnC^4VTp*Voh~M(wsM}!7iY2^j98TCr!zM(z$m>kB{ikQTTM*fcSa`<m-sO$ zp@}};TBi~+;y&9gldJDnk#f^Nvm~jrt#fjr2jit~wFxm9$IIsE%B}8IyX3L%^p)1` ztVyL8E6>i1Fgm#4{+yImiC;c>SP8FOEj{<jjf=|!kN3XYv6b1btHZs$LXnB@4s&M8 zqF=wWm3-g*QJg)$Rrl=0Da~*03b;llet)$r?TO7aPix)eI%((2lTKEc)K9t~Gu7(I zGBqL3Cycun{aO3;wDHOnr`@Kvg)CXA`KTx$NPKPomLtZ+%4dJBXbt>6d)G1L<6Dx% zr|;D}yYhzDoKtI;FIpXBxL)pCa($u7J)u(9Jl$@$u(VDkId7Nc>W_7OJ7-N>mU?lD zb@<6s5mwV?-ji4x`*1;3TF}H>FCNK$s8`)O@z${yU#{KSaoV&0R!VTOQKQ!6+s4x} z=2VvOtqR|@bf=}L@ABy`L7XvZ(;EY{qWaIA?KE@AirzeZr()Fh12x;#XY6|NDlCR0 zylB?ql^=IBznJFX=Pq)o+;EpS@23|DUZ%$`a`r!Mb1@Q~+wA?2Z*6|(@${q7mwMN! zT~p1jkB#&2FS9P1<E=1p&gAWV3tfubHQRW)D~o(o#D8=w6#w>B)IezEJ;x)l!Y5mo z%+%{%T6)pP<f@4G0>jE1dfP;;zdqXaVv|^S+}+EwSOklzOT4$G%!)QLPFiPIswjGL zQc+>;wi&z3-Lt|U{7Q|^5WjNF#L2IA!hF8-UG7pbqV;-NJ;!1<OE#!YJn_ItDY<i( z$EtHC6<KR;E<0ZmIPGJqUa$uHCoS&e;}!GQg&uq>=zV3`B3}zNq4QCN=lw2E{3XMx zxzblHD>`W9nn*7pUEgl0;ENt}mv4#F58+dZl<#&I){y!lzjxCeqgm-TQQ7r1JM*2{ z?``tmveNRhm2GEz&tk5nVoG*$XEWHZZdKi=G%+T%TUPLm02`BPb6Q-O?WOalPrrQO zQF!sWg6?A-G1qBF7mEl_+B)&aBM&XNQfW=&-i;-73=Uzhl6iGkcKkJMtSCt}>6;wB z*rI?nJA8pk4ioF|1$Aj^#uA}rFZ$j{_~=+x*{!u#T0C)Cr?U9t`aKgvn9oJOGG?<k znC115{TJUc)&mPaE3YgO`TgeA^0we$Ufm^Z%Pza{>~ZWndAxImgwk81S#=RNPuw>U z+Q07RycHUcDm0($^1peaPi$ZKx(U&<WgXw&Y;-G;IeAJw`|XY0%_r*)UvRqqA#k&- zk;eJR6$fwJ*{e8f=KW1Pe^1^?sgGS_=XSsIkt45m%r&9z>$)ClhEpY`sB7uCCGU{4 zy?w+>DCm-z=*&yXY$ccGryHdx-kfW+(IuPhtU_O2_7^2-h3<}Z%R*LIoK`lJ*zsBa zc!`~cKi8?r&3`hD;y-Qt9PAm>s<yZ6pH*l4TA9;sh6|otV7>X1;beD@VR(aMC0G4B z%@e&Bc+@m94m;{zSdn#J-jcT~hPyY-U{8+w)$isRvzMmoe&zY~?n1JZ?$p3ACBN>7 zM@G9Gk~=)s%AMn%+m|N8{Yky~(-no|rrNW1?lOC&vCXM>gS}Zm{;4j$tLLvz7tM0t zFTd+wpKI^8>${sP8sfC>&dBM!{*tlV_l#qD{j^q-E$k_Ye@=WcdF!q5KjOtPF)pUO zqdLz0M)3>Fw<<q5!!lEUSM<`&T4zE7bWJ=a?p19T>GGL+?SAHFVfh%&%VOSFw;fSl zIm<Qp?Ty!q0+P(OJ_~D~axOC9W#B<gO*QqV&&MZbGqVLg<-KBRKKIzqH-=Ud&1zY8 zdEc44U}tsx%0=Hp{n*-ScFYv>n=9%SI4yFkr3mK*Ten#OB|m?xoau9lJ$5m3(E6G$ zO&QH6CvB2iX8uUag6YLh=fihAvRK)Ab!?={KCcmbwBKE>%x{h6w2M2}bkB2~8Kjpb z$W_DYdHvkq0@lsKQFHIV+IlAT@Q%FF={r~7JvlY|I?t)Pw%zsBCtM%gYcvv0N?Rx9 z+jz6>!5u69;*}z=R!v;hc=F$g#|sowi(Wim^o7SYPOM+-%A`KO%hg@2Ykf~oD)ib{ z929(|U)D_0<M3_c1z{;qr$wChI#F`xz!QgMrL7PDAB+r3J#p4+*(@c=>vtFYx0&}% z^p;=x?cJLtPx2h=eC8%Q=Tm)I{SGfbw&gp^H*K1!?djRAv~}waTS=?5GZH1mt3NK! zNZh2_dTq&Bn<<kohY042t$)rd_S?EzUBiF#kG+57*b+`|{Z#VBU$!E$`~A`7(VuuK z)w*o<_p6?tlpg&i_S-zw^AC62*8eK={7Q({C9g+LT%Tf|7|3k9@%xQ!Pnz|8p87>Q zZ_iG?W3g=U%z|ZxQp-97{H|r+$m5;dB>2%j;*(9~K2`k*;!&TJDmNarOSoN_dB*ZE zgT2s|lw+IwSFAs<Qu539*Il}0=lfSaUng52a;;A@#(N&;bzZ}5*F<znY^NRl=c=;i z&0c#pi}ppIV>1uU*0f*vFHyeorgg1*(qGxT^_<6Zo^q<o2rl(BnjY~fsB-2}JJqJ( zJNJG+E^1Z2$LQ#45p^{nRB&DQvh3iEsXLB5<d90vk^J?y!1$L$icXuz&2*Ra1AgT$ zJl~vzd8EDh^}7{(Y(iT!8Tpqla^HTWpjvj_nk~hB1!|IUVoOEc|8MyJue)H%QM=`p zO=bLSlj}dL=5O!uX!pGr^-y3P_xh|JwL`j@zuHcD9ltL!(`9;6`_X+0k6cS5{Zg3< z*Zk~WcWrk4AHGN2x%zWGw_Zs*<om+t@Yj<e(_*$9U*MuG7%QsAyh4e2#V!3wc`l1m zAG<Aj>T~{cyx4D}>Y}&%tmez4ezu<>)A`G%FQU8Fb#nQ_`kxv+FZ!L9mi960e3REL z`yJALFvC6Z)gj-DKFOQ(WaC7;j~{MJyu@?Y@XnL8t9PGCPnnz^{U+Pj=qbwt!N9kl z1Ao5yuvz0M*X>*vRVlq_fmnmmvZ^Jj`qN+Q?2KEtcu&CbSM$n_msm{dYI~iODQlxs z*}7-aw(^x?w|H(nnY*rj+Mcec!hdX&TYOHxPRQn}?cJ+(Yl_bWl~TUx3#Z=LyDZtq zr+<lzu(Tvk?;__sMaCUh!j2mCK8&(%YFoMc=)T1Ji_&Hn>z!%ytXLM5suW@|>E1>5 z2OPpjb-u}Z7WkjPRJeY^s^f1wvt6tvtMtn(o3N}kYW3qNi$tc`NB3R-^{hVC<(`m5 z&M~94iF1!VUnP;{_WkJ3&M8O#d4JjUbnYI*8C&<T#;*1&o7ijcE_<Tbr`r;)%*Us& z)d!sny|wX&k4$Nj>ZG_S-nWwMFZ2}8*`m^Yuwa#{pxaf4)MGodHOsPhD_-V!Y_?5f zwf0Prq|)VDA|2&hQa8$HHr;YPvf$a>#CkQE)%@mLQ=%q>tlqvN(&cjC7rPWW*V9oK zPpWE_zY%fUyzKJYs5h;j%g)-WZNA}e@;xACqQx(Vd{KkNos-<Iwq9H-DWAJ>{>psM ze?L{y6fC6YuDNjBdhM~J>x+J~91D9JW_oQ>c<`J*tsK0Yt~MM=+O%hbC&%HJVIl9Y ziv6CttG@KC?ZYcmCWtjF-b$7HF2BuKWJ++X5NosA<rSY>RzEcrV}Hx^MmccyR9l^M zH_Ez;v$RY6optp%w71SbW%++gg+unH@;{j$nQU*^{@qd$!2Wet%39mg72VplJMEa) zN~M2v@;zeBbW~zi*CVw(Vy?a25s@#S9H0D3`J>4*Nmr}-l63hANotd=j~MHv2W+&> zs0s_3X@26g`CP|oV&(4`wbK}P9^O=3mYyKKR{W>?h8edjS6`A?=*sE-`gNeN?!Bwe z)>~;8o_l=$^vb!JyDlm`opX1Q{Kdu_y#i{2PRr%jD=$?q_PA}!{&dp0Q|n}Jsa72< z?rW6n=~ug?`{dQ;i%;qwyqR0MZEETwwTDNSc&4wv+nKPR@BFW}MNIw2?*{H!dM?7j zIY)IFZ;6P*I}4$_E6+JI+8=7@g<MMy5<g|PerrX?Gma}W_g*Ww?zlL7)tMu+a*E9w zqsy}#Slw&qK77-z6Spe(^xRVyCnkP$^3M``@5mfE>7d;)2Ia!ZnKO$Gc<TE!MFNek zMm==hx+Qr@oVK32+u{&WrKV3--f{i6S?*0f6neo<G{GQCv~{70=b~v!Q<UqzJSqF3 zyz;S`xuf*-pz1kg)nzTq=2jN>I4<>%c9ocZ{_l?s-~Rd;=_*xmuW;twSzJCTVQsNe zV4~FYhiujh7sreIPwtvARsH2ULE-3nrmfH3B$*rc+}Lis(#lIgxpY}jBGXDv<<pZ^ z^3*!Z8z1uw+mpY1Gwb)B<nYU<)%jBRHP)TImwY;^R%KJS<SYZHygc6EYj5w|XMJ_n z(^3Dj=k+2hnRlEX%iX^jNlxBex}ZaZx4C&O-wUDSLRqG;V@hf2M*C-7lU%#()V5h# zd+U`nz3(;5*16XmlB}@kavO7$&y;Nw7YM3vQhNQ>@aUE|dPnB&&GI{5AgNTa+VQ81 z*Gi|&IWGC!GmX}E*a=H)J3J>ca0k!hP}W`Ab7#CvZhmOJ>BVD{30L=7my`&*-;2K8 zSS#0E_CRV@uhDNoqrCHF*=K9FAN~E}p!VG4y%Rip>fczM+F_UZabJ!2lN}f5e45Fp zF;Pv#Vd=SNQI|}*U*7KjwW)a`@8yZ-PIScHKK)AB(OPWzRt{<9!Y`lyW<~^By^h#$ zX2tsD)8mwv@=yHmrL{X(-n^maj6ktv>Kd83uCkgQ*Vtz#&)t|Q(q*R@)2hjF&?5Ap zg>-bx{2b597khK-w}|$dnxw_-IpH!*vR%ZDBh_L;$_`<1JF%l~feTkI?VR+*W$C_H zsmv7T=f-04E-J@Nk4!#YaJR?tdfH_U^+L~}jaE^A1Vw(jw}iVyhbQtl-rZ0ea&MWp z^-;OJzL`t?#P~0l++1E`8D@WCzv5|swpnK@AAi`DQ9R{IpQWVapL(vfb2>NVElZHt z_I@Q-(6@_^*2(r5y!HD&ZzGGJ^lIhs)#X~-!e9D|bwBL#llxj`e<|Vfp6Rb=ZT)<n zGd1e`tEgGCaxWJ~E||<@HzTESr9@sq`%V|7hmt#HW-Vx5Ur?)cbIRW7+kXfI?Jz9) z(&`nK`KdDcN#DBPDG$Z&hdwX4S8plVHcMxl?3(rZ+eCL{?7DsSk#lE^VcvqiGc&k@ z*e0JT>)Nrv)FEDo|8{SR>5|PVQp<Tu*XtcWzoF2=y|?;t*2hG(gQe-Yi-J2MBhM%) z)hl}$r+h7#>UjQ|NUqnhzK!8)cYnA1mdWC0X8XJB`lG|0&2l&UbA_}Ql|Flr$D&`q zxV2zi`qt#kO)Im_wk#Diex?-8u4~mZ<L1G?>yDn*Ts!|rdc-HU%E?FFKXQ5BJCpwS z+0x6mJ-g38+N`_N@t)9><rjjdt=X;Veeab2f|568El=M5cxk<-YvU8QxXI5wKCOGD zQ`x@fa?*Px&2M)9PV9c7=AAdKoc-y^X?xnQM|_H_SGu?T@M{b2Z70jR^_Lxt&e-+n zr<&K9j%&x7KdEHh@49!kQ+9<=$@fRHJi3?KXPI9}%nE;h<XA%fl^d*<>hHz&&%2Q| z`FmnX<c7m1_a0rZs<-RRNxOa9f0VXtNlTr(H@b%TAy>L3`v<Z8N1ZQd?m3#T>Z0*_ z(s|ix!L47`eA{hWzwyV>D>sz)Up!OTnIGNj*QLL7TinmwXF^9GO@F#Q?e3C@Kc8ya z_PiG9UcdO*rB|}=Lv;4p&6oe4bo5bpK(uG+y|-OQ*Pl85T3f6;e(Cl4V?8&&SpGUP zalWVajno%C8Jq3Cn77}F6@PkXPvjq$y;j|u-rdouGkVx1wo^P`%>L->`lst&ubeg2 zwKBXw%-&bqk?-E4?61G{iu4}q)a^2F*F9z&u>Hr+FPl5-%r2k5dL?`R%#sbpiZPQ* z?rigH{_<_5mW`?S>$%@wZ8<3OF6@%!{RazdE>8M>`nCb{DyQa6Pt1NYq)A&(y1sq$ z3>BB`mktxp1u%u44xY#syGS<4E1BP_UZe5$tQ2Rb-_Cm{cdtA5KuqXrno~tYRfN)W zwd8x7o^BDH#(%0^r;cHM@=5zk?0uU$&z`>Rp~(0>gZbs6*)nZz{|#>bRyN7|;&<%m znH3%FOE>oaYfDs%Jlv7PH=#hH|I=aJxa0ik8`j&F?Xo*@-SLFwhieOWZZi6Pi1G2n zzHOQHQ4+W2@x5zkvYh>=SL9f^*TF=M`ZcQZi>o!<@11nn6FUFt%rmF#!m_%yT)OLU zWv6;h*R9KmLgM{b(>zvNomf@$X^&RBWA$l4xkZbgPw4s}z;!t!h(mf&rCidaWr{1Z z+W*DR_D_#8s||TA>Qd`<B{0Tn>*e2P?z_}Bxj*`^)Lj39J@?<EC*M1&^wqEUWv^V{ zzwCv`g+04DQjaGzFH!hY5il?7r23P|(`vl_ot)(V`6Z8<-lAfsD~X$4Y&bbnDN%pn zrE4*Q*N)|EtA8SJ=-cX^T8@V)#hGiJf2CZ$m-#YBW%2iynWw6azdcNyF=ZW>El=Tw z**oR8#&*u#ny{<O<W2ow<ByKa(u*_S+D^!xb=|u4?5(^Y=CYnZqqdhJyDVp3_|5)( z!L}wxSC(9Jsq5~)cg*ZiRm!+DEC0D%>xvh~^Gr@vp4VZU%fG;RQp#Gt<}ZI99`jjN zc_>5u?}|eqET1`lOP*lqUjJzI#ZK#)!BtGnGankb%Kt4~SFt79xAnBgv3g}walub( zC68RNlK6Q!sK?}y)4Q~@F|rGNN}MVJm7nhXxWn?qcJtNeCQXV6n&@J+PP{8^Uf1rY z*GhD9!*0ZR|F+1i)0%a1%d2qRDyv=BJbtZ9S^K%ICS$JM?<)&cvhOD>*`{&RYktd{ zbCFYuPfe`eF>Sq>RbeT|rP91*g08;o^%~C(1noa)P##<MEKO~uJDb3|n7+%mxsA4U zX-%D4w%>EfVY6UsuH^Rf$CoTUmag6Z`qruN;H=+0s{eK5H~jFlTJ-#meB_@r*#qLQ z{x+Rk_+)d*cKyRY_@}Dm{6D;8^M#$O-EXg*_uMXU!;@kcC$*9!rP*IzPj<Ltqr;hU z=JG_n`g^8}Zw6MB`h+%rs`TEc5PzgLPyM~(r%x~D_|}S5N9wOMIQIXVc}ZXXrRrH( zwOVt0p5~P7nI1c%>8YK3vB0}{`3s6m;^w?j&rvJB!2i;PIrhOb+kmaN3(Ms)m&qFD zxz}Ijws>DV`;-bV*L9{${WOC^?M?i?Z*ESV*KU%&OsziZ>us(xEC0kdJhMH#y`ST) z;o};~cT>DNH*1~S9N<$>r>#2u#D-1IHP%mTY8Nb@#QEM-rkU|y{7c(QelCkkGk<?B zdz;X8XZ_1W6-)7>Le7Vya^&;N4l^1TEirw)UH4r61o>?~S0}r@&bj4UdNJ(`r}8hJ zs#pK(l*;=uQ>`l*>;Fbi)%oojkS!H1JH7edjak!`)@BHKSf`!yPJdypdd|4?Z%p#4 zI-$Sz74Eehwt=SlW^dVFx>_{;X4{lM^S^d#lIey^9GjNUSJFFIFZS}*x~*qc%-+kR z`Z7c9d?4?gnF^gn+kN(BuR0NY$xn`X^^Dj1tDf5UmHv_XyD~UgC3bOr=jj&BX-9LW zf1aJLl-9g)i`|}=SFT#z%QrOKnta~b#IV*wcKK?-FZC}~H~J*Ab2o5D2dqELyo}vW zmhbD#oz2%ju~vn<v31QdDvh*~JYJGp*Ro8nZ)tkU-O8(OLf&Vxr#SgI%kI|uD);eL zf9KcFwWsm|x=-=V^?U!XDQfn!tM!*>-*;Xf{`-HT(*m=3KG{=G=av2Q;FdgKy7}v> zhE2yT&c#W1pYKh1A*cGBXSG!Libkf%m)e5oo+wc`ktK2FUea{t10@r_T;Z4a&3?_| zx4P5&P2UC5zVPvL{AkE6ziofymwV;c{?D)epITi%Dg3|5>VNrb>ZgVOw^{$s_1+Kt z&-Jh3pI-ex+5F$@J-^J~ME{Mw|McPh^Q-@xum9&9_xJdoU;dR}=YM{+|H;+*vuiJ( zZl7aydiCc$yH2b=y{AfHecXg_{%2Q1<MtY?kDC&%e{OYj<yXDRuj?wm=2d>3w5RI( zo+^#<xi9T(mhW|s+q*n6eOJeo)coCVlBd`H)Z6tYefr<}w?z*3Y?$BvYkp&tGrjq3 zk;lC~yPsWce|EL~=|%Z@;qnJh&#{v4w0~;(*!zWr%)`nHbHhJrCDfQ)lWSqn5^z}b zC+@-b#)J#+*&^PAU32buFkufrlgzZ7A76b}<ux}gjaKkja69<gUG}cShXZc#xpwFt zTO_NKeuwwU#`%|1h0oP%{E+zbw)Hdf6$kMrtM$*c8$~d<A9SoSzq`!xaq`c1D*7$Q zKH5%rZ!5^x&>&cyn5w^T`_Czh>H-*q7CgB0N%z9i8tIbQD4}~ycW+HN8Q>``GQB-T zy5xA<g-ZdMD~^l3xXHKIY3bVwv+I6sag4vb&3ncCyW6<8zFl<t*X(VK3mfapZZl*_ zFSyM%b6Y{ihP!4hx5}>OI{V(<aG_v#?hLnnhmxC@E}RhfWaYKZ+0{B^o8#1jeSEze zH!i&Rc0;sukL#az-p-Gms&g7`ovXJVzL#roPhg(Ftd17v-x;eW^W+s}#8+?9JmF#O z!|R*f{xa9#u*rFzvzun8-#+{M<+Ci~-}V0%GS9jB{K1>I2HSbFc$hyseeP^zp2*l6 zm%yRNqwCbPNS5!=|88e*C-&`!FI`Yv=zRO(h6@iDDzC6GDiIOO6)>DKtu?DNXzsr$ zD-K?5mlC+n*4x$}k+JjeaW37~9S6-@g*x0TTPMwWo7QY+HKl0Ra@lRh%T}sx5t{9^ z+GOh0dbaCQR%+3ovU#|VxAiG+>&tH!Hfa?0eLmSq{r2434@541zA|CSyydOewjF+% zThMlJUgn1Mn>RM|ew!2XW+&V4_Lw)7Y}Ivo-<X>B8i-d<JQz2pd+(71{j*2o(l$(& zeq$xQ`(DEO6G!7RH-uZ>SZ(@Es(J6VgK^6@UYCBu%lFN#zIX4*g#5A%(k9=;n)hBk zcyHOp?b2`D*sI%*-OJoi-fAZKChf?ptvha;+!5XtZvH@MtE2RzThphtZ)@3>*ZBL^ zgSyM<(JvTZeO_>FUHciSe}-Q+ESB%L`1Ntc#rwyd`fsy+JQ7wRl)H#`o{?@nmu;`E zMTTLfdDb`MB{%E&Y`u@x7cYG7xjCL=ug6jEh0|9?NL00Ug*(?Te6)U9h3*$C(fpQw zZbxUo{SYR-CpWD^`OEh=lJ_|OHt+gl{6+8VhqxEDT4HT>7q)G_%k$IViy&WSbN|`n z|Fpk!n$7n2{d#}l`I4{2!GD#$EL~TZdhDP2m#sfTOn#gFIHs_lx7OY6$?psG^_kn` zo$Q6U?OW@XJ(_-Dy@`4Ar`#T0UHw!E+oNJ?w<8Yl)UBK%D)HL=w0^3i)R!2|;Hr>? z?}ATtc|~sgJM+rPLzP~U(}S*wR!`lOw{(rm>E%;Omw%cYB(|t1T2uRKO4W;e%~V_O zNc}&v%C7D1{kpNR*88R&-@5s6uY#`apHk0z;HX|I^T{VS6=ruAXl}MG(Nq?XJ+-Aj z&H3%O#HBeqF55Y6pZ@aO#2;^;dT-wln7iiCysew2gg#ueG-u0O?wd0{>E>*o_32cg z=-Zq(RUD^y6<non@7=R$Ztvm7*>fkT?>dw`<H+5Hjaf`3?X?Td&onR=81%F(4Pb3Q z@UB3kr@j7gqM8ij@52)%Bn%Y}8Fe`5UU8OP)1V>4%Ud9G<UvXV-*V+=F&Ryz6B<@4 za+)W-PV+dtcS7UuL{%Hs)ej>xTBj%S{$X~{Z5Mu!ZNXXB5FEic=U7*w?rW~)n}aNx zzqW3^VPMfd_3+L$LjMjNJ5-sIzoX%73-`@`1%k7=#W%Os7ie}Lc)Et~+Qz2^tkJCD z8%+yLttHnbrXSk+re;T9EZg<Xs~@<PS>HKgc9`v(!JT9CntR`*?r7f2SHAIkqVaEu zcWLtv?|q|w<B(*|Q=xZ{T{rZ8Z*2eJP|?!gblkwVa!!Bq@*gG@v(C4q|6u%}V=po9 zx%+``8%F()JbMoLw}#jMjQkM3PcH89^+VD%!hd=fcYaiVnEOv>&*A$`^&iR~#{LuC zb9{e0e@oNb9c=QQjUP5jaLw;1{IGHc!~D*_4~q@u_ldY43|}O-PfYuvbfHd-`nksU zM_WHM?~tn#*?!=BlJ*}Zxg>>o=`nkbv{dx69%0wfuuE)x<i4$2C*^O7dA*s#xAf*G z31ZWnZze>ZE1O!qDX~aNS}%QrQKf?RboPybpA5njvm=+roLlweV$PPBv&T*d-^eS{ zmDWC=y8CqZO^Zs_+s<*PzfCdU{PB~VSzun`?-T7eRDQC|)|sFB`&9T1k)Ld{)$Egu zpO)v8Eoca3ui9kUcyNuH!IZPyQ#Lc#GYj8nIuNqWV1s<L$c*EBTrx+du}DSOTsS1u z_&CC-Kq{MW&e@>GuR5|j=A|-i-#qQW-kj72jN7z6SVYTKOxwy9mzK@+KjAprw#|>3 z<2MU4+i#f6-F0&%>)o5TnjGKsG$p<{(-in-P1D^QmaM-w*^8V>c`hn*;GDk2gxH7z ziQV-(7Iel&T{xqs9dR;GC*p9Pmc{hDF$J8r7X<Gun!M9;rJU2_pDYPdvrc?JXnR8H z#c}nICo`O<{Oe`=mwj-iLUYZ1h515Hf}2+;@nr8$O4gf}-22j{aF?eDcm6S#i5~L5 zs~7!1L;no|muxB6Y`1h_$p(gcxq~GIkKez1@c!k4|I1%Kke$JIZ{=l&(@#>%q)xol zTwm)K$s9AEt!>*z+Y5)j%`xWs9$me4^IrGdA|1|MO%C3-c)ITLs=k@G#`wqt-#|yf z`JJ9BhXptP$ob=X>yfkb?E6{K`j_^J|GIblSaF0?LOs9Clg7uk1(VqOz8;X2i+Ee# zXezhk0JE~3#Mc9E{5{nPo7vNB3bwMZ`*=Xu_Jaujp8L%5pAIay`4GrobDMd4^@HPb zKUT8Wy=#o$sld$7Q<1Qc{o98Fc5<zPauH7(o%inhYxBljuB?Z>s{81sw%#vobKf>T zuX<1^SJB8G_oQ)p#e-D29ru{me>sqC^P!4=PyI>e{Er82+kWul-*cP!cFqNByZ@}r zY#Ve}e2QK;<t{t(&A$eda+?d^Fy5GM%kg`2`vZk<?iO6J@3_8ktV!uV<oU+1<YoWi z)Hj?Zr~Mak*KuvzWPdREO=iVBTju-?_J@DJiToiG`-T5arC5Ug2BB|CuaCzi9lm)w z$NU@D?e@K=>eDvw-@y82{hNYsQrRi%H=9&9%bvfNl)h>E&7*JLzmfXpUnX5Wf9pp6 zn}^@Tzd8R#_|0F<r2oD9<2Ss&F@4VF^%dgZ<nOiDo-I$k|3T}UuKf9br_(pc|FHR{ zY~S+t$l^EY_s-Nk%)YU{MmOpe>zt3;md~YkeDRrc|J4kO{d~T=dFt;TtJ~&mI3w$O zR!V)2b;J3MvZpIbq+XOPxNT;Zs2S;KJ-b8i>SwL0^(S=C+dG<9YaM(3Now{P#v4w# zdrz#peRE0s%_n8s))(__xfpBUyw+W8Yh2r`+SLcEeHNa5Wn*_=K<u!AA;*QMPt43% z=Uxse@q3#SW%<u%`C6@M#s!<L>Q~J@JI7n@qn%l|qwmw&9ab|KzqlpXv+-|!#kpzy znvC?{`9Dgn`79SK+cfuVB>P=0ubX!!<fNNQCukh}cGgdG_H{njsXz8lIcqL%d4t_r zrlVP0qCl~!o2Npcsr&X#Ar^kOf|ZQ?jvoS;<=P%RWV2y9sLWd-(j>^N=e*%sLuoyS z8*fB^LNlYZV2@;hWs^3Kg!_h*4V)~K*>c=IWH2ui@R2rXPUvO~SK4u^VfEbIYs#*z zvj0Bg&H32o7s<ZI9}C#rYfx9HSj6b>^dW_LUekk>Y&N_Hx3byD9yI2uP-{vTl!$7) za8t@lxuma6&hbSI?^(we{2ZCa)1$HrUVGMm?^$t*c>%XPi*2O@+lSah4tciV9|bdx zx;vQaw@aOw#P>*4;GoaT6g#nVu4i}2n7(G)Cw}MT_hUU-N@)SV4{+BArMU(_V73$8 zcOd7LyWL#T1s6-78%NgLb@x8ld^2L7{OlvEZ`Re+Z<`>0pzoRKn+TIrmw(ojDcVnn zJu1E-y8ee#&*ttM&VLlXnZ%!pb8N1iEq}`HN&CV=`E^@sWLCWw(KsM@`{e}o-n(WY z-#FtBh%e&hN!0)7`bWX!u~eCG{F!^s(S<$X{ZG6D_)_F+9sV(iI@T3T(C7W+T-Wf= z-toPHy-ClpA_@CDW;2tv7#YoMzj*uoK0c-*<<{)$8rSO`>$`4-v^(XpiM?Yum!1Cn zbZ;4(fw+6vlUbJxZckY-!Dr=^*bC?Mj!YD-U0Qfbx~^8%J;o)r^Ul#(cluJ&eoctv z7iEcCbnqZc+^U0d9?y+_D(tRV`9fQK+vZa5C&zgA=ed53@c&kQwCY8(?K%@%fx@YG z*$=Mvy=_{Tdwtfn*Y#x?+VWdlWB13M=3Xd$tz2QJ;JPQ*Ui<I8_%EcR?9#_&eO77b z9c1&b$!@)F@~hrFWWm4d&J)ZX6yy1ne{xA2erzyJJ&`HDt@-E0fYZSO$7LNRt#7$n zBRc0m_+if)-k8Jvt-F5|7TDX%$vsnlp!d+_j_RBq>z3e$zI9UXSgswaH~&-egRh)- z|A);N+0G>{{bRF@+kSrNC+-^=b%wXQ<D0r`EN7p(zVYQBudvhWlTQD<s&j6A^79X` zZ@T_rE92ZhbL&UmH;i@Mw+_FJ`mVlMO^(O*hv16KLhBj}&02Q7lqppzQHfG%=FHKx z=VBIbH@~RI|6rnywn474q0&Uro~HVDt*Q3T-xcE9+zcMEKe$`p<it|nax>y5=OM?q z+w0>K6C))jEw+EWq4~<hGNHTOpVpUcbG*0WXf1bFbk3Bx30#8Rf8sQr<<79${+K=I ztk<&Yo#LPN^1Pm<*|W&DVABd?N$EuYGEvKqr2#H{HMSwuTVGVo@bK6k=GnS(Z3KUF z{hoOduk)&=1)bG6xpr1I7X#Z|lNYyTw#4qgyHY-P*HYf9<bUSx`{Q~41oFJ=UzlAh z<MvTK!6r{C{qyn!!T-WCr{*^v{#m@C$(~>HpHj*X?G0`FyYjy27iiVX>OILnVD(Qe z=HUHvldguYTeI%eq^Yc~vAZwWUtJxoe`nH_#Zj;8*K*kO^>xd+_-sCWX-@8&zNNQs z%=I?hc7JPY?yTFfhnO2@ac#ME*8BUEKT;gMt3+&{hLxEg(=Bn5Pn@tnU4+d*-(7~o z@z19Eqz@J1zdn3VQ25Vq>Sx)XUHu6{|8JCDve3@I;=f%)DwOAJ&%(pH&$TaHun3Yo zHM?N4Zi2;^=brWZ+TTucK2YD-=y*@&i937cEA<<#A5A3no<-|F{+>1`S8Pv9NWl68 zySY2^6ThD;-23<r*KO-}kq;}5&+<BM{%u`JO!9QE$CB3_Kd$gP{@QM;s9L#WG4nsx zx|h=pc+7uX{#pNk;U90?(fqIBZ4-Yd8pKF1RPei#`><}0s(JdA8TAvtRefdqY24DY z^Dj%X!Gk{xj$2Hu7shnn4O_U~u<HKRYrnUyNX=c58nGq#;<;@KJFX_YGd}uv*^Osg z?Hd&Csw91Nl>R#5<rnw$mk+aj?$DGoJ(|3%;?C=DEKTn$g=LzwJhMfg>~{+P^J_xF zh42CnZbs#n7A?Vsjf)tLbu0LY)^nwGIn7Y+N>Ds@S@lqpvWs{}*E#|5y9&Bq4<s(i z_K7Q6_)baF{1X-a@cON~-iz|$H~2F8bY}}adFT1wd;X^#SE?&Ea<jPFzfk*?9;jES zIeo{J{=(1iZQuOaJ)>;N+c*9a-e%91eMs^MyA=Co*@x^J&zg7sNlWxQlWRR|p8D4( z_2_p#t}z$7pTZh&zqjSa>dn1JK1zHndvaE7&i0dn!nKvw7oX;u?KM@Iy}Y>b!lbfq zCGIu8rx%Hwdb-->bLk}SFAB3?DENM{^xe{uaHr$tn=|!ouhvMirJfC7ShW5^@SHb( zhUe!k(*N~8{hG76?PYF@VD}@>(*@tp_TF<vz`j29`H}croFAL5RqI}z>(sx)`BB+g zweHrr&i|$AM_ya2?kjtKB>pbv$7Oz<^Y;}$TK~4CVp;H`^fz;UNLwrJ12KO^CC1ll z+uXd)b^ep;#ryM*%-pAP?whLNiTOu<?o&DUQPuFu{3EIRRL+%p&Pkm-W6I|618c+X zi77^$`nQL(Ui@(+uibV{74u5vPoHE8O{a8Z8?1=sc0T&m!0Qgf;-kJ2H_TEDjWv%e zcP@0D6SsbMP40%pS5mC@xagathrIY*_U(_A2FKJKDbZh!hfkd3j`(?U<(`hI@pDdj z&)%^7bcCgdVuiX!p?Hb->;>&Nc$kmeHHf&w{Pa;=&z{^3(=+PZJC&@@&U>S#Uj4~F z;ZRc0#H0!Kj{IjFbWSf?{!Q<)`lIQAewX{tmG@>m>$x;>alw_a17`%6w#7Pm>@`<Q zi(H?7RDNNEP0!B*i!Vgmu+<)!92xUv^G=OpE2>*gyJ{u~U5vJ0>k#(h;nB)1Tb}PW zE7`SoOYn;h%WTcFeMa}r#nnf)Ywm4(V|FNh|Kw)l!>@{W>^iT!THmSuqY&5ot7}5% zPTIQ4al*oTOK*MCE0`&jE?p*=TVJx|B>%bmw29h9rr!?nY3O`h_+g!XYxf@~jn^A5 z3;ZffSN!s5&6Z~CZ6~UxY|^u<sePE;J$;ADBC}4xS?lYw_Whcn8|}Z@`gN9BQvJ^} zvs&I(zfk(eefa42$jdz^N?V(IwfAgMUKf9NVm9Z#nD}dgoq2XDP5V^zzJL7o<zfB{ z{^hpmo0>}}-nIJr?X}gT_xg5!zJ7X|U(5by@8eI?-*xP7ocpQV)&0-ktL^&}_x*`| znJr}Nbh}0)<j1Tdp|XY_XYqI5t)02!ma5?PyY;@Ju^V=tTdH<^XUt~d=ZmIB_%$e5 z3jR8AGIDe1Q?CvEA2qvUw_9JE7kP21#IdeD5*q1g7lZVkU;j~5*LC`*rsbUbmo%Rj zPx!p^#Lqu|miw>eKU5I1y5#=KyGHz-)pVz=XRG<G{>3ksJ#wjUi;=bd+ljBwI?dYn zy0%<$;@q7ck@fdycJDbDyIgB_c;u<L^YM${oC)4_zjE>Y8|I&mr_~(4_oVL3y>B<x zSvDHPU%Dxo5<dOZ*?l3$$~~T@#A`{{u<ov1-ekMk_~5-qLb;ndUvVc{7hIV6u55Fy z@z2j?Z+DcPng7*sv5maf6IKI{IF6@A)^BB|u0D9U=lia$%`5N!zF+UNmv4Doe{g(b z@cP#!uWr|DzAw4&=K4MNuBYF9=e_9G{3C1kshIt;>Nj2YIb!l-n|E)nROUE6-zYiv z_};lz{nj<2Mz<C^<$Vr4VO_g&&ASPw7Visr_i5>+8;Vnx*RIU@G&S|u)KoS1Y38L` zr^N%O=`YlYe;YDwc5QmymAOAJ&Y4;N{$0s4^TKD_3!ar*&Hb5I*Khlo^~UL){2U7| z=A_o&UVeY7fPnPx+&RK`GWzZ=n6j7i?!~wjBKIs;{}JeV>VCnuj_2-E^#HB^ytYr$ z-&tlGw(YKddH!p|I@VhiyPs+N?pZZuoz||+@h?9YDm&UoPuRG&j{Eelk{uiF|I&L? zyYE$e;8n$`^J`b$d4Jk_f8Pq0CGw)*X6oxFTQ3QEbJ}~SzJ9XR5}{8^H=Uh+Y60KM zFZU*Tbw1+XAuhH!SF5q;R?0KJHrq{X>_3`IwofQEKk(Ce*MIq&w{OW8yZwC;zgzPk zKWLYj)b#1eoSNWWDu<If|3S9l97*L|1=-9~n8n!!+5hsZlrs_{8&=NA0g+9t=5%5P z>s?mIDFNB0bg+kWIz%jb0;exCWE0ws$(%-Db#EtgzK57{e<~*@WNXyxIh+?EI`%K% zEQ82eEaD7?i1jVyJPcultmK>kVLe~NSpwO!6StL<ky#M5H|f*wsgr*(GBEJ5fc9ox zOy-oCo>0ooIem9IxA68AJ2+V&TYJ{;;+zIC#A6?)DnzW{0B0^l?7?Bqy<*I49lxh9 zxW#D%Vr;*9i&IMg%wl@Y>BSFb`Tyc%=K`}LS-6(6f?14QTudxr78@Uz97I-Kf~yN6 zyG52uf&(mjUX`l|BI{zn^@JTHHeK6-%Mira9&f>QiGz==<F}919qIYM85tN_M5iZ& zaY=2DbmZb?0;|b%<~j^9O5cY|8Ddmu7?%;)sO?>`T&ZAZO#hU~r32QWn8f7{k<8BI zdIr`yJ*0?BhZkhez7x-8+OaV(NKfxA;!>!8pMTp-;P1QrkFH6y&fS%_oALLBH3vi@ z{VYyQQa|b0yhuZ&vv23ANs56l?=1ZPTTb)lwECkF?TJ4V44>THUH;xrrPM8LTg0<R ziE1l_OJ5$po?lnhIe&h&$Qg^jVq%v%lDR4@^5;&RsInxN`&8w@&+c;HqthckROoQc z?EW3prBlDupm(K?Mdy^RHD{F9rN48PdgeVV?dP5s7sVCRr#$^NbE=TSXC1L%!B(zC z?uq9z4}RV`Vbbv}CpNnaCM%>bJi^cJGbttB<(EU?v|~<|qPH^7J&pGD`aAc1fVRf$ zbr!CXJg+xR@NjE;uqxs3?>B+EYh65zHI?qIe#l|AXaP$HSN#e}%ii(~#hfWEN#{QQ z3pC=m6_D!6cJi1ihunkB&jLUH(z6SBy6afi<`r{3hqSGJwAU%tDB_6;zv_9{86vZ} zUL4YVk)}0UL{@Lh@=YFxEyMR*xuJJ3V^Wv<JaH$zi3g6kg}a_eI?K@+av?IV;qat) zJF_&FOcC@?K2vnn`hm&$dX?o~1|_LHn=-s+B_-}oaW$J7A5wkguiMck_f>Zv=!8f= zTXpf$s;6Cxyf_68ntnc6-hOcH!^oD8H;VIb9FV&3R8~ya=<dh4$Jec6-c|Ot@#)VL z3+6LcjmP!W8@oHx+xX9?zhXT!>EWG;U+dmP?(<*go@262@<GFUNxuU+``ypf8@@f+ zU>R=9#A2D}U?#nhA+7OtaAM=u_a5&ixJ^rsdmR6G(oLNmmj&B(3PQFh9+EUM+tV;p z`1Xekn~%rVtv?V_#Qbdbwu5fh7VxumcwOs#%JL*$dfVQ~tE*o}%v-d7>WigKn`Rbf zMu!?Ku}YYi%BHpa?1`3!1sUH@$VaOMGrz9i+gii(ejR(r0*33`>*gQeIc;L#c1%?0 z&71(XqlW79OoO)ERZRGEa;f}=1fhtMr@NTf?#Qn+KeOcz_omqRZnKYT<&s$1xYju= zkeFt;Z_W>&%;jIom`;CId)%<oPyFb<R;v^D8$LUneq&{o$nmtQoGVOo;pz*EZ)bCV zUa>9ssaSnQ+oVJ7WoZ{oTzotvO^j5J@7i>8>eCt1qDn>2>3&|jPEY#tRL<2-_oX_l z16RH-YK%0^*;3#yKJ~_go`bx>SG1EG7K+w{ZRb_{+gTaQeLsIIkA1<0_;1TSBhNI= zDK_p&t2y$~=;)V+&Z~8o&0QF^`O*iwhlSzi=X5SAllh?WvVL1f+}!z>*FSVp`7=?y zW$nvUQ>*&cqpp?nAN1Coaq)S3SkOB5*XpJBvTS4hV_!%b9u+hb_MG$B_TNL<rKywF ztntj<a7A#XisSniUs>h$UpTdE{)aD)=L~*6a(%k+#O*(dJ=5gEqnY1dGq{~-*U`V) z<I5k*QY-Ciu~{=pelN<{Uf+J>MYdh;Jdr;l4^D|h|0>D#KA!yMRmsM(U)QqiuD;(M z)*EeaS9e7;%=J}%%U}N0)yua1t=rsoc9T@lGdHQ(7P~8!^i6m3YG09GZ2#tO{$$73 zA7n&pjHV|adHv+t#Hq36*7w)0GF`RrTi^oT`OS|^Z2YHH$bM-s(yqI&d9dzUz5Sch z-XT*ga=-8SCMuB^8I$&L)6DyI@8{|K@jCV1<NeA@^SnNVoa{KqcXQ@}+rARw!sQS4 zEnQflQMfWtT*`25o>kzCRj-52J>Ow@Y^}oYGr`8Q^*4!x@9E+=7uQ>};8~XOtCBmv z?Hv|qPtD>RsF$oImq>@a&_pFG5Zj^jf^D&zZf}V`agKIjhdTS+q4)|HviQ;Q4}| zs-*?WZDagj3zc%U@TgvSQFm!Y@1-SyLC5xN?$i2g@W@*K(Y~o}k=yTju9j}B&MjYW z%)fZ;B-i6T0U94ebDcxQ6SHKVWmuGcUiUowZ)nF)rIltC#m5$(UmffzAO7(AQ;isr z9pWZiI|Ax|1=TvO<qE8Rq5NV->g_X@OJqM}MyLs`klubad*@zvS<e3wYO3$PpMAjY zw0><L%e~IhZwFMXD%3^xG5w2q=d$Xq8T-1j`_n(p5D2dM^`X1%)QUdMPb+*5)g1R; z^5YAaaOfu6<IA%AU)DAJO3Rjf&J=(6$39Dyj~n-V?`t?*dpq>Sao?)hCvN}UakfrU zwfDvAj;I3G1s}JbdHwm@jlZv6ezU)p$W`yZ_pey=?743?s_%{8w=+XFXYK#yJ?Ed= zEA4-I>aN(${HgmHQBHQ7&Rof*1+Iz=D!ClMwbS<ETCP?|)%d%Ks|r%BR!riW1(uyI zI-ScDtig9WR}Mtko;h5*A+=c55-uY)u<ZI(T&uwK+4h*tT<n}+v9vv0Wne?L-#@_R z1ktN<jLRLOBkv4X5Jc?oMXqxY^QPS7>WAo6d(4$42sWkv3zs4{n6>#o*EficHLTpT z*f~Iz=9VqLe^2-0<(3!WJE;-+LF;Uwfl;u5$wni?%|;tSrZ@6(OFElf_VxGk_473J ze(0rj_KfF6Z%-Z1t*k4rm>OI+HF~Ud@{F&pp63}|2O%CqlTJn{nWL->0p5&EBFyj; z@utUDa!XGC#>?G5J*JXdVER-(ZY>DwJRi3qs692EnV%bc6y5X?e(oT!$Vz^0FEHa9 zKR0-H`*aTh?m&pPl>*%QV7c1@+-_ioiXe9|m{BFj?FBj(ZTfLR?m)1Jv=DbVL|c;( zw=pNEjTN<>Xa4Hxh34F%(=Q8gTY;4c2y@4R83n@JVPM8dVeS|(Lqmi+0<6zpRlH;Q z^bg+LqSNPzaD(^jProI?od8y4E6SY)R&^t=*lgGIM15}2=?6u*{lMp)eVo}6KfT|b zTWq?n7`F{reU2D+2$*qLjJpV|5p*=(is=nb+@jNi#ktMFlD*>GnPC6?6z2x-P@f(v z!5s&d+9v@uKva@D39P0{lG__>Qt@iX=_{xAJ9CRpe=Nyu0ah+2#T^c2R7i1WfEkaa zxRb%km-}4S-Y`ATm0NUriZr(aSnS%8C7(7<kGJ9$oqkA~+X-wwy9_jPVr01E!A9(p z;f@9~WMsLcz>G>+?liEML5JK;uXo}WoBmgp+Z=3W$d!Heo2Nez;TD}9B**Ov7MlS+ z?9R}hTXgzXIc`U=JwN5RW5J9_dG1KCVW6Y!rWe|Ai%q{E&us^`NKgT)s8E4B0IcX@ zTSNc!I8|=3>Gu`5t-*?96}gkZ)<6!lb9CVrojz9)YQjB5?r^ZiH|v9LPG9HBEjB$^ ziQ5INah4LdFPQO4i8~6c2z+E6*z_c2Zfmgf7ASKEfK3-@SueJBdb}#P=yX06sMS6y z&{X4*?e=IDB-I>J;kE?p{HMYl0X9BTl{*Y9vPl&x!mGxe4mK2gHXS4#O;UrVqXJ>e zpy`UT++x%Jsd0mk@0;$R&K(L?4>@`c?1;_kP)B@J=MDlJ@1_CGAagXJ@dG+$Zu&=U zZn5bKn$RQ}uL;eC8#JLwi(QL58SKtnE$)0U<GvPmD%d)=17^XCr!P?A7M-4?&20o0 ztNC)a3Yvm9X+u-+8*OO1bJKyQyNxi0j4pRLSRds4IIz<v>O!4<UKeVkqaHMeEzyGp z(SJSeNU&p~^|>>_jN|%HDJ28$M6ie344~FNFo0%bdqXH=o*^{R{xO7x#hi@ga**uV zU<3_|{YKDireF-Utj3r-7;N+<V`$MNZ^9h{cK@{+-ehQjGSLKDpqw+|P6SIH*X=Qf zrg~pfXsWkvvRu7!x}Y1k==2Sy+|FP>d^3gmA<zt(m)4m<vzdT7R4Ut?I~1(=usL@i zI9Y;DUz?sN!!0)5$O4*nD=nZU*d+_@e6SPt9GJOuD<tE^TXMTXG)CxMp5EuoEjIm- zCA5h6YYFvgq!qL<+-b#~4K@LC$l3=`Y&%(V+k?ec*skziHyxa(=37Ja)B|g%5jHl^ z<PSbuZTbXvZqezRY@mVr(FU4`AV;fB0OkG?TW(LV*ACcn2ZGIq9H#~@ruFThp_*gI z9SN3X>XEL7hU#NGZdb5QZF^`8ciD5NfJHvqLxa-K0qUc5Fb1C^cK}#Tq9Zg+cRF&% zg3SgUhz5-v6DMfwR5?M*zVl8{BXyjij8120-n#D$^}MwU)Rha{yJoL}1kolJZac8) zkb}&?-r{qGddu4tnj}}cLZh794VwOP+_;m$5%x*p!DL7xed`7dM;&*lwk~&QQ3gJu z%)y0QZ2Et9Xp}g3a3_KdP@DZXX}W+Lx7hUk9^B4gw_L8Cti2hM4i!A1Vw?0=UfeW& zJ*YNl^yGE{Yn``uX#%8#d<+wc^8O|PDL-7jxNX3uK~63MS77tKpk=<?hqbHMPX{NQ zFJ91uBmCikJv4j+y`kYd-5VMmue_mUkE0JXC>HxbQ~y67?ohCE0?#SsO)mubq|le! z100Kce7Tdr3`IZgV6bZ-2bO_rwMl-^S`Bhu8MvVN;0G;e^!&NQz#4puA|s&H`yzj6 z^?uJET8vl(Kpim|#&{RN9Smt$aMW}2O^*-c2A`KQy)h8lV7VN~?E`j_QV_Jj$Pa?L zc2^KIuQCR6yFd(CDZtG)Jvo>gd`8Ul_F!o9<#sUCG~Ezr05ya_jXfU%^(o}kG3`+9 z6vo==6GFM=Att`7;pSspJ6#}*TU;BtNd{^Hbu9g;4mxjUgE#|&JOcu3X?zIM06rIH zx?>o(G*jZI>4IV0V$*Bmxdo@UhH-;WA)Y=fj9Z#HiJ4`(p)-r<^s`~y;FFK0zXj>o z$T59G1h?e$ryMMT(^Esa1*Eg1qO|5RFfbftK)20)dVDxH#I_0H+|taF!YtDta<GX_ z_ZDX1nSLRhn+F_%_d#+z#w^nVAF+r{w=-rDpWYn?m9vcCmSz@p20KM}x<eK>k37hS z>9CWXq8Jzy5gugN(#Sr2eFV3GB1ln0UyWg!FayIUJq8A46h(VdS*AbK<`AF$K9z+R zY#G?pg~91BYuFhWCi5~dXrO3Fp6(wBt@1h}xuuy^8(F41HnJFlT?F>TOOWu^7MAH3 zTUZpP@08@`0lQ)GyR_5anHU(>vNAAep%^)#4eViw={Zr*wAB~IEzNws6DoWpidzos zDh@So^W_2z45u_17}QaWh@Q?E&20v@-YS|~n%R8^IGjYM=SFi&frY!GxuuzoAA&^L zfoN_Ku%j4zPtS5<WMFUw9TA0MBJX{c=@$dpWTx96V&$G5aG!;LdT$IgDy(9-rI{B! zKvqy61GQ%kNY3;T*y(c9EtI)=6hJYsA#2;l&+H5geF6*&Dkv6NOHbbz%Pls2-YizO z=?byj;FFA|TgGxrGZiR9q(EmNO@IH5oo)I$WmcZ)8gkIMcU|86M3I?+p@@xvK@Y{y zt<yKea@&GE{sCl?k_N;i<v4C>u&84kw=@%jCqxuszMUtl&~)o;sG}o{j<GWMGcc$; zXJAl5F<;jkqO&2Dn`8RjIBp@ZCnJqq4deJ27~aaGM{({fi28Z6SjDDW$3w%>E1p}L zNq8khsy3cm4QxsQ_l)i0j0_BG8POA~(iVu)oAKPzV5QzO{+}u5VqjpBLQfD?TOmqU zZ)FvpZkqtL&?kXgn#t?{M5-W#TWEUa0apI$3t;l=LGtW}kmS7%v2soS2b1Sb<d$Zd zaRegokO(ae5<sHN#~`AU6QK!V14#7FS%@g_IaYz`r}CiTia1jY-Pzl2K-53K!74mG zTM()~_C`Io86yLOB@=o)AHD}sUm(Q7GQBT}TL~O2F@<txoHQ61ii#K*6j0*L^#MeE zLn=4R^jAsTBH+Zpn9MEBe3XL?R3ynxw@HSEmN!V4QJif$xbUk><`x6z8Tff-%nS_L zD5kqfu)*^T*Yw|J&_eVB$ee$YVB^K68%VKnP1j3-+F_f*EzNw<7NL)OdQ%FwIM`Wp zKynH8Y|{fHxh1AwO5v6O3%>;kS9&39+2h5=Gu<u~YNl^0w=}c558L#_2dt9QV|>_n zrcZ#$%?HWF_(A>D>>L9aNNp4gLp`+ZqTqSY^6H8q_%dG;V3;?IBPtFGAROr}x9; z=7Hp5x3Pf=Y>DYt(zvC;K{WNrC+{O%3=C1y=t0!6iw#sRN=@Ili%n>He-6|R?{scy z=BY>7rf)pTW;T6(I#hTaNLcDP*m$w&KF8Vkr|a54<fdhCOEbT}40f!<bh8X-x#15I zj_hQI#F;@RH~aL?3}`&e1IcmCXNSiT_jKR+?A+7eWk8Ia{uiWR#sY+9NNpF8$t}%n zy%8#$vyq)^dT%CF%N&s0-91n<uVq55dJPh0zsElPq6(|nbonf9U2q8dXK_n2>pX;- z6#I}}3>*aDFhe;S4kcNcy<rEXO!4V=vbe>-6#?RqIP?s(eY#*av?B1z=9Xr@`iFh` z$3N_lk{GO4^Zzp=A0`F{9~SiDWy$o7+1y6p9F)2C?w+|~3=Ekr3=Fy`jxpqzzA%ql zY`SC)w<_3Ajyc@YOp@{tQCnjcq3JR59GqZ(f#v6c<h8XR@-bQ*0@HU0LIdvuNb0CI zMCzM12OqeI0PAwd<(6jp8VQk7i$a!~0FvUZfJlLh?o+wYjQkKJC0YfM63K&R82vnM zX{J3hA);?*atMQ601k|E^;^OVlo=Q{<e>*7%k%|#(15%N(!cXCNWb*-_lG$Irt=6v zePEE!EzRV96eJ}!edjJVK5)|s9E9JUTuxR;Gcc(9L9aY&u0qtWy$bafIQ|i*>7h5C z%ndoGJKSZKn$B0iEd*}!2}r`@M1bM1V{!8Iz#?wx>CpvHXJr*|OEaxWo~~HQtvr2I z0k;x3OwWTv*QP?$zDwm4o<6S_szI}mTbd~<3!)*j5SohXK%$RJAsV(7a?67~_IXk8 zgZ<1540`P7rLlcEM5#a#w<0)rv+qUbzGPxxC}U$_u!B39fniId*YtoQ=+Mi8B5rA> z{yLD|GShDsK`WJ?AkkGlAW`M%mc`tXU<1XQ9c?+785npu(Q8<j>4nAImf+BtzN?s< zk7>%}=?_b|Ri?j#`SEWtw=~l=sHnmePO<6d%Apkuql<?6ZZ-ynTs{T{V-$Cum<lmv zNeQ<s*aa1e;XDn@3=DGY3=C!{O0P_RP{QpB4kFEFekpB628MT_V=qw@tylmtFSC?e z3am6i`sWKqW(I~UYzz$MC`uI<L6l}M;uHlt6LOSz?)%9lc<bjrB3!J<)R+|o?8 zD<Pt@%ecYEH%>nY61}hnA}Y0(lV>_#IW)p$%RvcuD?}=;oLdrXOchAfdj~{xcR92* zdKV-*V;4kJu7X<y91s`nlzv}iWMIf<W?-;Hak%01#0qE!XiWvTG*jdOP_j^){=R}+ z2&|R)y1KEC7y|=`A$sX@a=Jn#ca&AaEl!4#)ZBuc#FA8f<US2(I2&Xa6Nq47U=W4U z3=E)r(0Pk<x*!*q*z{AC+&rM+@aZ=zxuu!+L4?Jp^Hp(6frYiJxTTq2zk;fcui_R{ z1eyG2`@U~yI2jmD*`l`_EPg@NuBqY{R{*J<6tcH5o0Wm#g8+JVbz+&mp@v&>`kyLp z5qXf(%~yZsoMvWVP-ACckbyfGlnY)>*RST*20JOX8dRV0azQ+x!^g!jeP%T`57=E* z=ayXcVP#;L%8y=T3rIjU#8+{%Pk&s^Eetm7C&;k5vQRnQ8g2=&IeDE+r&@6_Ff7$# zV30*|$PQJg+L{`uqt6$XE?CLVzz`vi9u~UO*Vl0CgY9`(!!6AyGTpuwt?LQ$^*!JG zhN&D34E(a_<(~&ggCRI*5bFlegGP3Ge=Rg<_SSMsGX*(Mcc|qSpWg4x#WnqREi`_) z>bRwuBz!<pV$*HwxFx~PiUf(;g+WAn>YzTFVXKm^z{0@rh6BCqD4xE*j@uHf^>-b& zG~?~*;`Q8e;2_g$4NMbYXJ9DQM0X%p64!LYBraK9^z`W&(q+1tgMmTYkbyx0C6q%l z!CFM8PsrqAnZC0g>IsmYcD6-ah$NquQ(ByXk?`S*AA}ef#8C{+nXcHttp@ghR|B`S z&HV}_!xD>2FpLt8uszPp!oVQHiS9<8=?fdU)xk!cZs3+?^q>B`fm<2O=WXPcX1qRK zvyod3oCO{n5@JbVVPL4>WMGg+aZkvk>58q~;?w6%;$oZL(+KtF>_%>B=8x03rte?H zCCQH#Y||ftOxK+Lw~^ZhY@1CJw>0yNIS|#;pU&YDnXcOe%@EHWg6-e2GBC{JV_?uk zu{mrBRKwXOZdtH7Z$ajCuL28ef{g&DygzTa0xoheFkDnbcf7^)_-1bK1mN_ZW^QRl zr|B!2xsAbQ-D~ESX5M{(Yx?^GTnf`=TA&`&ZsC?@WSH*W!mSEcmfylH&FpoCYkJ)o zE~V+~VaoP_l+B-htA$$~?1b`{F<)Xh85kI~&?BK>x<V^761-Zur5Tx~r?qmcfX(i0 z<(6j7{=zkV{ueIk>9K9xJYchqDV_Uzn3aLy2rs%>{nJ0f%#v>7mS*l?<(|HWm0Ja@ a7coCr*v2i!s5-r)ja!v%J1;i_0|Nl4NZ=U& diff --git a/solve/src/main/java/de/tudresden/inf/st/ttc18live/AbstractLiveContestDriver.java b/solve/src/main/java/de/tudresden/inf/st/ttc18live/AbstractLiveContestDriver.java index 5030b6a..1be491d 100644 --- a/solve/src/main/java/de/tudresden/inf/st/ttc18live/AbstractLiveContestDriver.java +++ b/solve/src/main/java/de/tudresden/inf/st/ttc18live/AbstractLiveContestDriver.java @@ -28,6 +28,12 @@ public abstract class AbstractLiveContestDriver { private boolean traceEvents; private Path pathOfEventFile; + AbstractLiveContestDriver() { + ChangeSet = System.getenv("ChangeSet"); + ChangePath = System.getenv("ChangePath"); + Query = System.getenv("Query").toUpperCase(); + } + AbstractLiveContestDriver enableTracing(Path pathOfEventFile) { this.pathOfEventFile = pathOfEventFile; this.traceEvents = true; @@ -82,12 +88,9 @@ public abstract class AbstractLiveContestDriver { private void Initialize() throws Exception { stopwatch = System.nanoTime(); - ChangePath = System.getenv("ChangePath"); RunIndex = System.getenv("RunIndex"); Sequences = Integer.parseInt(System.getenv("Sequences")); Tool = System.getenv("Tool"); - ChangeSet = System.getenv("ChangeSet"); - Query = System.getenv("Query").toUpperCase(); InitializeSpecial(); diff --git a/solve/src/main/java/de/tudresden/inf/st/ttc18live/Main.java b/solve/src/main/java/de/tudresden/inf/st/ttc18live/Main.java index 5e3a801..74c7bec 100644 --- a/solve/src/main/java/de/tudresden/inf/st/ttc18live/Main.java +++ b/solve/src/main/java/de/tudresden/inf/st/ttc18live/Main.java @@ -162,22 +162,22 @@ public class Main { modelChangeSet.getNumModelChange(), socialNetwork.isValid()); // // flush to get ids correct after parsing -// socialNetwork.flushTreeCache(); + socialNetwork.flushTreeCache(); if (splitApply) { // copy code of modelChangeSet.apply for (ModelChange change : modelChangeSet.getModelChangeList()) { change.apply(); // flush to update for changes -// modelChangeSet.flushTreeCache(); -// socialNetwork.flushTreeCache(); + modelChangeSet.flushTreeCache(); + socialNetwork.flushTreeCache(); // and validate socialNetwork.isValid(); } } else { modelChangeSet.apply(); // flush to update for changes -// socialNetwork.flushTreeCache(); + socialNetwork.flushTreeCache(); } logger.info("Validity after application of changes: {}", socialNetwork.isValid()); diff --git a/solve/src/main/java/de/tudresden/inf/st/ttc18live/Solution.java b/solve/src/main/java/de/tudresden/inf/st/ttc18live/Solution.java index 8fcbc7e..ceb14dc 100644 --- a/solve/src/main/java/de/tudresden/inf/st/ttc18live/Solution.java +++ b/solve/src/main/java/de/tudresden/inf/st/ttc18live/Solution.java @@ -16,6 +16,11 @@ public abstract class Solution { socialNetwork = network; } + void apply(ModelChangeSet changes) { + changes.apply(); + socialNetwork.flushTreeCache(); + } + public abstract String Initial(); public abstract String Update(ModelChangeSet changes); diff --git a/solve/src/main/java/de/tudresden/inf/st/ttc18live/SolutionQ1.java b/solve/src/main/java/de/tudresden/inf/st/ttc18live/SolutionQ1.java index adbf82c..5290a1c 100644 --- a/solve/src/main/java/de/tudresden/inf/st/ttc18live/SolutionQ1.java +++ b/solve/src/main/java/de/tudresden/inf/st/ttc18live/SolutionQ1.java @@ -13,7 +13,7 @@ public class SolutionQ1 extends Solution { @Override public String Update(ModelChangeSet changes) { - changes.apply(); + apply(changes); return this.getSocialNetwork().query1(); } diff --git a/solve/src/main/java/de/tudresden/inf/st/ttc18live/SolutionQ2.java b/solve/src/main/java/de/tudresden/inf/st/ttc18live/SolutionQ2.java index 10c1db5..9ad4ff3 100644 --- a/solve/src/main/java/de/tudresden/inf/st/ttc18live/SolutionQ2.java +++ b/solve/src/main/java/de/tudresden/inf/st/ttc18live/SolutionQ2.java @@ -11,7 +11,7 @@ public class SolutionQ2 extends Solution { @Override public String Update(ModelChangeSet changes) { - changes.apply(); + apply(changes); return getSocialNetwork().query2(); } -- GitLab