From 3adbaaabb3d24a6533cfd55419c642fe6b7f41d2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rau=CC=81l=20Garci=CC=81a=20Castro?= This document presents the implementation of the SAREF extension for the wearables domain (SAREF4WEAR) which based on a limited set of use cases and from available existing data models. This work has been developed in the context of the STF 566 which was established with the goal to create SAREF extensions for the domains of automotive, eHealth and ageing well, wearables, and water. Figure 1 presents an overview of the classes and the properties included in the SAREF4WEAR extension. As it can be observed in Figure 2, the modelling of measurements in the SAREF4WEAR ontology mostly relies on the measurement model proposed in SAREF. The SAREF4WEAR extension requires to be able to represent those devices that measure a certain feature of interest (and those features of interest that are measured by a device) independently of having measures from which this relationship could be inferred. Because of this, in this extension we have created four new properties to relate saref:Device and saref:FeatureOfInterest: s4wear:featureIsMeasuredByDevice, s4wear:featureIsControlledByDevice, s4wear:measuresFeature, and s4wear:controlsFeature. The Feature of Interest module describes the different actors that can be equipped with a Wearable device, as presented in Figure 3. We foresee different types of actors: living organisms (s4wear:LivingOrganism) and software (s4wear:Software). There is also a wearer class (s4wear:Wearer) to describe those living organisms that wear some wearable. The s4wear:LivingOrganism concept represents any living being that can be equipped with a Wearable device. The s4wear:Software concept represents a program that can be linked with a s4wear:Wearable especially for acquiring information. The s4wear:Wearer concept defines any saref:LivingOrganism for which the s4wear:featureIsMeasuredByDevice property subsists, i.e., the s4wear:Wearable device transmits information related to the connected saref:LivingOrganism. The s4wear:User concept refers to a saref:FeatureOfInterest for which the s4wear:interactsWith relationship with a s4wear:Wearable individual exists. SAREF4WEAR defines the s4wear:Wearable abstract concept representing a saref:Device having the capability of being wore by a s4wear:Wearer. As depicted in Figure 4, the s4wear:Wearable class subsumes three further concepts with information related to the position of the s4wear:Wearable with respect to its s4wear:Wearer:
+General overview
+
+
+
Measurement
+
+
+
Feature of interest
+
+
+
Wearable
+
+
+
+
The latter is furtherly specified with the s4wear:TextileBasedWearable concept describing s4wear:Wearable devices integrated into textile products directly.
+ +The extension also allows to define for a wearable which are the policies (s4wear:Policy) followed by it by means of the s4wear:followsPolicy property.
+ +Besides, the capabilities of a wearable under specific conditions (ssn-system:SystemCapability), such as its precision or accuracy, can be represented using the ssn-system:hasSystemCapability property.
+ +This model specifies the functions that are considered relevant for the wearables domain. We defined three new concepts that are subsumed by the saref:Function concept and we reuse other functions defined in SAREF, as presented in Figure 5: +
In some cases, wearables will be able to detect occurrences (s4wear:Occurrence) taking place (s4wear:takesPlaceAt) in a location that is relevant to the wearer (geosp:Feature). These occurrences can be related to the device detecting them through the s4wear:isDetectedBy property, as shown in Figure 6.
+ +In the context of a smart city, more specific classes can be used from SAREF4CITY, to represent events (s4city:Event, a subclass of s4wear:Occurrence) that take place at (s4city:takesPlaceAtFacility) facilities (s4city:Facility, a subclass of geosp:Feature).
+ +SAREF4WEAR includes a classification of the different properties that are relevant to the wearables domain, as shown in Figure 7. These properties are classified into wearable (s4wear:WearableProperty), wearer (s4wear:WearerProperty), crowd (s4wear:CrowdProperty), and environment (s4wear:EnvironmentProperty) ones.
+ +Furthermore, wearable properties are further classified into electrical one (s4wear:ElectricalProperty) that refer to the electric information of a wearable, electrical safety ones (s4wear:ElectricalSafetyProperty) that refer to safety information concerning electrical aspects of wearables, and emission one (s4wear:EmissionProperty) that refer to information about kind of emissions (e.g. noise, temperature, etc.) associated with a wearable.
+ +The extension defines different individuals for each type of water property; however, this list of individuals does not aim to be exhaustive but to reflect the potential use of the ontology.
+ +This model describes some of the components that could be integrated into a s4wear:Wearable device. We foresee different types of components, as depicted in Figure 8: +
7T=lbcnw76-3c_P`(3j3*w52H=ogov0>23C6f3qc{r*EE} z@@5;ENh>2?qKTLMB?bLfc&3Ein{$4Pu*lk6;qlGYGeptye*}yHA@^T*nIAXPZ(AH! zwOxtuK(s~j=z%eK51GKs0PNvUU0egwre)vc4jzv#97<@f*(29Y{Th*N$E3ok|-Qf6{0NzC%fhb^X zy*0H{n+pfyxT`sI^2lBJB{e+SOG_S!1}k6v^617FPd>f6N#`+p|C;pJ3cD#I$PP;K zdF}V0$`mbm$lOMlhyVf5LzC$*71rg=pl_k?t&~MX5G7q$CuHCE`~lgVswMv_&b)iT zy!|O6ugL)BpshwqFRZe h>0s5&lf|Dqk|E&aZ##fCpyw zb(f{&Awu=^ZmWw34nZST$`e)6)4!K3tW12*bxAYCn38|hcyBu@m?7a9d=gq3V504f z`OdRkT=r758DBB+r4tJGTy9*wpLA3u*hQ++AO^GLVh`8Gmgn32vB0)&crh1~rxI%g z4B6+?wS}`oeKYSJtbv{BbGpw7SJ}TF>VvDqK-ChM|4a_~hw8N70|Rb%I>QN%y$wNF z7(1A^a2-&OA;f)j#@_^!o9-LZMLNu(WaVjazc`bU$pW&nNvCy;&HpR6*_>9t2EbBB zRBt{zosrdCbi7Crck#Fz)7H}Pbo5VXvxUcJKB?iF)u)Yw!oHA4jrP&)Y5c|PjE(F6 zawG^x`-N6oMp1{T=zM~8XNTp_I#^Z#t&yIl`y%K;@&z=;XEg)e^8ZU=zENK?{7`Ua z)~Iipde=hh>+Q^#RDG^_F! U>DE~zsD<3E3DJMCyA_qXro!6pC&G)2@1ctzjF8?~XmlMV8 zo4NaEQI2%|7angfDn%e=o9X(p*L#4JLHI4xQjg}_<5&=>usZyiZPMbFbk(9;Bl72m zL&^5Re2EQjtIuEj%Et+QQ{GpL;VtP>b~N@9j?od(DU1Kp=C+-sjKl7jHtZxM|0*lf z`u;^S4@6j9%%tfWD=kz&s7vVip$D@ qL+qwQI$~S`t`46>w_SoKFdJ=%hmc#faS)WAO|Pccgjo1D}_g z`!nC95eTuh_3FGmC>fFTJQdMc9U@F?_Do_Als=@FU?sNdRsB|?H)8csQP%&I>RDDM zMB0#tLnjqt#(347CLg#*b!VpG6PBC>CmJLxx})$P%f=+4q26vWh2Cv>UXJv&6iLQ0 zo8pf@BOr7t=qG-DWVW%LulD>tnn!$VHt`>?N2$rJ#H>h^qeUekb3DHVyiSLHd$PW= zQyCKOT$@rs%wN^wJz7jY2^4QW8hNL2C!;kakP3m+b#Zm=1cR738SfVZWw M^$rGNardh>6 irEUV-RoGzI|Gc>x+c%81aL92}2VX*bZBl^JR`mWb0YSs1|!UJBo2k~>< zFO=JdGbP;=SEU1&6+qJRVW>vw^iSdYy6+5C{>6qtvP!9LBFlCA8}YX{vKsz@>0i)b zkEp=2?Reo-ZMWqX7^3r fs+|m1g pVRX8|M)+5Ce0b?@&v&`ZQ9g$G-A4`Ih_SyUz8j78m~w z8+ ^8_OJJY6FrwZtFd0+nsf2ec1H{W(0vYsWK-{G!# z#|r5I(aZO&U}UXK!JDpQ2UH>#`(empcZAZUYW(j0fP>-lF>;5`iHJ_->7*L{XFbuZ zHv>&YdvovG4tstx`7u*V3@A%`4G(ONPHI>;FL(FYZ;Ly|QGa~}_Z;N_Fgz}ihh=$> z1mIIsOS{^nry!{`1UM??sFC(Sf5+)sl}}M1%4P{_pu431a1*y6Qk5Y6Km>9m@_qjz zI!0xNN~?oedZqfD4_=Gh0%@IYz`y{Y0FnZYm$&~x1Nv| UjM-iC!LZgo 5wl2> z`jOIyqj~k0mzoUTMDFR}pggZ+#Advi-ga14>IrmY(8Dbz>WZ+HOPzDG5< Pm~Y0t&dn?}~?%pXwGfzCo%2W^3n-g8hRIN2w!7uFC~#|G#j26@@w3 zn?|*?`R)Ku&jVPOak|g&HPOjQw{9&(Yl|x9hB~q@y=F;SV;bm_v8bf{tIiY9*!F>$ z5@`>%k|k^@`dR->+Z(gREP8mJ=6oD+wbdA`5z|vhf>!S8QJ2HQDrAmSXYeiM4o8HD zOOv1J3AKdF_enU-efsL4h)+U^RMEYYq^b%;PD()~tAYQLhSJaFS%4yGXM;H;cD3NL zrqb6sP5|P7ufyzoR>oWp{#c;X`i0nsz~#HI1m9FVQQ4hp^pCxLe`ys+N4gDe{CDEP z02A3NdE59rwHn3Sho^W`!Dj*yEf(9(qX?C=ries(;^P+!$b7~^-3o2$tzZr-)VrxY zA-ja~O7{5Y8%Dfkh0 qqb~z4F81Vqv%}e0p4NepRHvSMhWPwtM&G|B z@Fc;@N|K~J?`F0KF!*kackeyZ{E36!=&~IGsyFEyah8-c{@$#Lj3d^AvpE^k3@Oc9 zIGf9}a(aJeTx^n=DH!4US1YG58!ztB~~gcgE*yCx#ec%)mOq+gHKla( TsT}E;OpTqN*`|ft*7<9gRAR+Jp}_{g9pr?8v}A$8^uIqAo8M?Dd{?10dlnt zHW(}{`3ArkF@b_xZGqZVQACkd*5~bO2q*#!EtNk5UJ%fBc<#u83LFC>d)DAp{6Aqb zQs3dBbm4rU=mjHcRnY*6P^IpL0USTrrMy)SHun)rav?k~f;j^aH3mN7L>LTCV=t%> zwUW(Vmj}%v1KfGh#(!gm;8q|3s_K*ibNHH>oV(Qi;5YaXn7%Rq1c%n(Yu4TbmNBX< zIsd;Uy9X`wOVgRjmdh`lL3LkDzjR3$H>)%|O4irzB-Ug5D06o&S95ehrqM3s9^KHo zv-wx!((o67YHx!R8_s@mP(YQgi1SMKdB+MS9f|w1A+8+GSMZr|MI?>7U|JSEIolLj zRI1(L<|y_4PYy6>QQ)nZMD=T=%AW}<1Y_5uBFy^wKVud;Y`ZHbnRZtBu3yRTnx fpq=Mb>L1K>T!!R$YmSKUwx z+Vkf5A`4)|3xvDrJ$4i{*uKay6>+`YpC+dh2)oU#udknPe*cg`q|-ncS-I+Z|JBl1 zFU6mgCl(4RMeWeqqSVF@L!_lo>O#d$%-?U(>lY7{*r0s1+8;#Mw-)H6y~5J--nJ2( z+w4SA-USX?{x5!m&*UTe)MGb0n5SCYHD&*gG(A+nYoI*8vCzh!E$>_6<->(Z-)1TL zJ!C%Zb@k0vLRjhdokf_=RUU3~tl;arX}+SkSUZvl`wrY(uk)WaeSFKI&oeCCKs^*y zm|K|Ovv~VUGLdc0ICNuccJfVyEfwPK_vb$+s*k>ZUG2-hTNE?m7A*Fx!N U&Q3r)5Iz(fXVv64ijO04zdyVs^)_Rn`qAJ~jw z;{Qll;<3v5#z+e1Ef2JKKeuSCeDzIqdyH-;fn{Wq`nX$y%rJO|0iHLsq?O_F;^n>3 zS5+Z1g_`AC4bmXM2UtLt1|ob&dI>V#J4wm(yopJCL_?oJYi|VoGf|Nd!&wC5 cJPD%=rjj_myWDy#W4g={o z_m~Q}K1lBj$Fa&W0*H ROO<3qcBkrFDPtaP2p% zEZTZP+h&gz)q)OqdH0fkSu*PP3O>8HKZ~X$MLxit{Vh)uR18Y-d%i#pwkCQt^6k#d zXOHXK+k?Jaz423cF+ d}bmHH9oZmUdD)LT~A7CoxMOM zLYuAxGo?xk*?OyF)lP^g=e#s2g^@3?`s9r}<19Vcqm9NFqdID}bRe$_Hb4Vcx2|u$ zntxT28W4OrZP|JML#3hh)jNvgU%&>HdF0>Kcjc!r?e;T|iL-w*IqL~ygUiU!$~(>s z9Cxr~-~zXBkH-#Vu~%jm&CQsS4n0U<{9)kT+!S;K|6TDTfw}1b!T8BWol@(*)qHDE zg`7%+U71hru*0y)KkH`ux;yIlgWFoB%?RnK!rwvsAD`FHmpAAr)n9)x#FRXUCgm*b zGbsSW1{`n^ipX!NhHx4 >?5;s%a+3%$_abM=YT??odG&|?pxkP %6vH6a7j`!C44*!bxgvZ+N1J9R_FZD}%R7NX?@=f#cGl*-HM5EXdWs_ys*OWZP z1{o7q9=hf^_u18hga1xkYG1TP*z{6;L4M+6sJ%{9SXnh|Dct;()?ef_i{5V8>EGow z_%(a#jM})mnM|;k6MXf32C8zK7T3_YAn >_)=q(=Y##f)0^ z<;(X&;P?FE0w1t8b>vU*?%jE|m`HlM_3=i3umKsv_*&4~=!HQ4E3tAzN58ZmdIvV8 zzFY70-#@#j72BW2owzRUIq#s~jwU`m+%USKf^iW{f8y)U?t3)?bK7ALM~`(i{z?uw zwfft;l}P#;L~zvM%&0x6{*7E#!cVH|nw`b$PDP;nJYz|M@LfbR!wOe^XE;9`#Sc{s zMV;(_6%>oPxtK~fYEd#<<9B2~{lPUqnH+?llNP&m3ImnH{xQ_XG-B@Ddlhle9(Z1_ zxNc-@R(RZYvH$hWi*C?>?#+#gDk6Wp&wMoMwEeODJxyP%w$}k5;{@GFwV+(X2 zXsA~PWp+}%=Y7>?msv+`0+L|;@73?(s%-Cp@cR?Kw_PV)^bAz0E){F_>^K)Rk@l6= zomlmazh*1j{xV+|f-gBUONQHa@<&&;y= nz!!b(@nY8G`nQP|J7V-o A2&!94lm3P*8*Q9B=(jUF_ zVUf|POYYabC-;o1nvwaPCAXBb*hVFi%NdlB{{Vu&Mrx=Fe{!lE1`fJBB#=vfb=>Op zUElQN!_M29 _DKxT zi`)+H>FXM|c8fE-Z|J9m;XT}FV0qYeXKkdkFgw8Adv;JG1PZBb@!rDqX1^{)(jaeh z3@6`tT;M$^UfSTS;CN-eZf>Efj!s}Ls-#joYaVME4xX%%S@|SEtNDuW(RU2I0MB=Q zXK23Y_aT%WLG{J{-%IxF+>3W^mt4!N)U-YG-Sh{&vij$|0J?5eDQVV|oW!9o>JX`+ zZYQF!H3j2bU*H;&->?1= 9DkRawEb?D>}`PO+)X!RS6rPEc|=;~Z}+m)5vPh6JtPt5<>NU)fo9 zQi8T-)oc73`zpSd^}jur`Ox=(Z+Pai$}R*7* mAQ+FU)@kL?PYM)lqm)Iege3IdwGm8S<+eA8wI_9@G1bGuvJ|)BS}! zce}QEBaIi*W$v#{-uKw#u$!rE%cfWAlags9YRNOmVJQEk=TAmoO7i9o)8D>Rx|Q)A zv#B;s3(IOrGE8I!^*YI}oF0r L1E*`rt&d%!#%)wP#+|g3d(O ?a|NK*>sh)1j9@!wy; zkQNX f`Pm>8aWOqR zei1Z~P)Jbtp^3|;AENqpa(Q`WZCbG3cQw1#Aqx!7 9no&m$x_d H;p7G=Pxj-h!?uMR-9wsX#`gV=L`(r1?zUC06B|r%%vq#E+ZScTQKF~_w{6N z`8^r_C (dW+hujT|-N*k8ys}REucPERgZ0kf{(^yEbBlIKs1h5=<#Oj#;BuW0G zB~^(v%l6 -qyXp9$nMH#wKoAVtOL31s} z>XCK#vo*Z6;+f^$kmStL?>uD!`g7D0zjScxeDQsxlf-YPmN06{RuzBkTv0QAxK^oT zJMWsXtKzja%iZL@GHeR#)ydQiE7WZdxUR|KJzA{TDc|W3%)*eT p;}LP zoW|oCGp+_jY&Wg4@;}f(M%mgwa8pd~>h{e1==OKo_WToLAk<};P(QMdOh;YaA~+u5 zGR#U3Q@Gd-Pewq*WZ413gbK@X?5K( -X31iruLy^nYOH~U{E5|TSxI}3(P)vi5$Ec_i@?ov01ng5P8ZYM zE_-aOlN#-*J}}Z;kb`4HH1~B=DDcssILSDfm---ivJb9eL%=n!?#7X-Q^H%I$wZ(K zQa`l*;QScbv-?v;)sr0o4{teIC%jQ-O?-49B*Jm0yUps-k3slIs;S((EgdBRQ!Y?X z%r;GZN$oj!6vK!5#I82S$y?a(a(ItB-^Ed2P55}uJIAmpsO+<*WP|})GCNJVf=d;H zzsCfA9MSORt3$-cKHOoqbfw>ZBUY%K&KQxk*^OUAZG}c%T=Q9N6W@d(zE!F$>=HbW ziX)9~hl$1~D}7{RunJ+o6UK&U q(I`g>@2=<0XjB)eXP#^c_(vk6!e^PPn4Ui$RZO>ZlVF+7I_ayo z=$=5<)RKYazpm%XZ(5K2AkfM4am3S5w`03`Be|?~Y!Jve@1N7(S
*UMI@o2xupqQ@?$4r@aLfmYs0$KI1@n4Ezj+4SjFGZy|7jY2Lq4k8j2f8byR zC2fbJnx@cn>NhXiPi^@1nKc%lJ8JvhE>fjXNwNKwp1biH3>9mFLB^wW2k#|)o}&j2 zk3s921~g*z!OUW9-S~q4v(`JhI9R6V(Cd9>YBkP76v^tK^$HK_x6Z>V^DM&;-;8)E z8n;WgQtUVB+d 0ryN5VBRJb}}FSQB=^RN-ueYb3GAisMijNUVAu9v;OIIv&o zrznCl^)C5phQvZ%H1^?Ku2JtULnu-BA`#w9w##Q5Rg=p?f=w$_{}9PwPV`~4wsxw| z!GOfGp=>#gOt($6X~cO|>%NBE#AwckeBlv66A{_}y?~|!6Wdx6_~4P1D5=OFh7Kc; zk{#!`#NSI{q>GX^0W1GV*23d}a@oeJayez4sGi8G2w}{ng&c^H94bZ*Jed$~{NWbM z+BCpL)Gp_M{ZXuQc)NbU
NI(9e!6O zhGyh 3Yiaz}bN
_B97>ufu z>-4fgqpJI+14rV(n>`{cUG!Lli1|)Z9WuiGgBk}SrsozzSTKm!_?gv#kG{)B-ltfL zpwnk^j5C3+CM;0ZXzc98lUlU8K2jnn$1#~oY#w05>&ssKK2Kzk;nI=ai)g+4JKNQ4 z14ekkH;du>wfM)XF|W7X|Go20;Z1@?SSVZ`j@gT%!Wkr9WKt0k#X)5N8T!>YU1t&u zK%Hrs?P&ktIJMr0>NUIvqh &R2vH!7iTVbqU=1CN*A1a^qAGEjk z+g{!X1toXBTH>oGO>X^Qb1e%5LX8etH-M=hEdVdHKSf8L7g@F|XEb9c=se&0rD*>V z$SHVErdHplrTSse9^m_^{&`Yu)sO2R?nC`R#4H5Y5&`VvHt{BTVx8di(&ClnM1=_z z#B768Ay~PX0pLY=gx0z&Dr io9>wVmBb2JIZ+&gqX)kYSgYXC~-w;st5%m`wTWqTrz(YWF zMevnxWb~Z(ocFijC7}v#?Ia7zggl&*_QF-Ow2mS3ED;b#@{uQ-vaWaWk+*toH9%$$ zKG9i}v_aQny~il~C9PiGH5xrkTX7W7h7@oic^WXg)8LMjZ?VTsjQO&o?_9c^#Lx+D z8(4Vs2v` p();?)O7 z;Q7mKt`ot)XD1@0@kO}GPbEqQ&o>ZQ<_U eExmk7ZebD~+NK%Li6eTr{VkYe52 zm03>`NB9mZgG(UoY_bVWSpKS+s22)Z{FP6(eZCmQCMrv|>I(+N%O>THf8-NHrBT=h z0I}YlPe_(tL`_>U0Ma}VI{@#NI{4Qx2_R+1&_c-&s@BbCUsCnhHO%GEq?2xfg7UeJ zhmishsK6#k{ug(j fD?|3TqZ-;0NZh-5Q}bRG2z2$B@6 z>^`&XQpRufeQ{=$t1|H4dfi)UddreWkS1NvZR;dVXVeE}iCw~*l^yG4<%bqnHjn?= zk)+$wCbXUs;VWa90cy9vU%@vRMh@fhF$NB8|K2k~s7lSV)(u<&E=Cd$fZ3D4)b~AM z(i)8!7BpU|(^L(33r$&=<}I;wo6Oq8Xwn2)d|`az2p2bTI;z(}K52G24mB*2?Cfew z *@5$kWc?=n0Tiv1Tq;yP#+KICJ*cnlazvN8XGE=O~Mix$1!GQzZ4EJqh z-^-;*3yW}gN=_S5s)Fi(h~ne5cg`c^$ TKfA4k4tDd_vdYvu!#_=s2IireMw*u&Z>Gw9|T^ZAMuATE=Jh z=~4Lfx2G&_Tkj{=naOU1NCv+V`wW5&qWpKl!aVWXWqJR6n{zBX$*|u0)D%TVyKQ}C zn`M}*e5)gfV1wuaA3rBVJl%NiH*wDSV}(=G i-SXo=GFoh-k z^}QP(=}33Ip>I&LH!Rj^q%FJCk1&P(5$kDJ*IPUcRA)97Dr`g?8`$mnwsVe1iD}D- zz)wn_bF09)7Ng{xxwF-EG+Q2MA`)kF)y%+j6?$VYSgB{{pfxxuVLZBb#0I9HuS#YV zOGg!kH~Jsmjc(*2-U
zV%4|+vjp#+wqz?m?kBkf0vk-ud~IlJ=y zvsU*Yz(8*PJVVlvesyY`E3y+88bt;M?DuoqpFk6z>I(M}#ge7T{Ly!RY8<$z8AE}I z78hRHWVD9DUJnyrGKo8u@Cjq4Q%GUAdt|f-Z0M|Rb%K%5g7~L>5dT=xP#zVi5y?8( z12R`G(RBEaBc68q^twPUrf Sc!?++DP_c46F1i{z_w@Kg0kx#>8f!P z3#rZzz?k)fx`zesJ)^GXp2APNQWhl|WRVeX#~ ;UoPI(% zU5v6{03IOm07+0-5gXBZ{sG&{36F=XV-&d{DosG`FE}&&W^gk7j)YnG#@gUnSo}>m zRogALEQe?f+xw}$Y4JMZN+vhK6Vyi;5HKPB&H!q*yKH7C-mXv(QYA&ZAGQ&liC#`V zqRPO-Dky|Mcfr!;{TN9(y0x?(S>v_a7-V(%%VDnD=00V)Ba!jH-jH&F zA;XgLCQ38(*%6I1-eEi0?H_+yEI(8yEA^n}R8!Iy#%W zIzvw0_K8kHE9Z6GJYNM&;~U@aNrKf!S4!Gshw-zgr5O}gH?|)}@`Uz;6krrppr|R= zn-n@CJvnWf38Z`9L8nbJOm2t9PQ&~U@>y;KUm4YJu!f)Mp>Eu4F+d8%yn{+a_mNZP z(qh!tAyeG&L59C^q`8>BPSlLqZ=DN&XUj_Wj6fVdGP-5PZ+=qW03s6EG T>p zlx_ET5A1_;o{obeId!}ryVw*KoHS_fJ^Z%HtQjGWPvAg5L5#cam@X7`esCYE_i=jQ z>yMVFop_vKB{#9xOU{@03`^h<`0;>-FJppeic$%I=E)fUxlF|2ElH3=NvS#FwYuQ5 zWRFIzo4 cLCi7NE<2DDFqK9b4so- e0v z3)KpUMD#IOoLD_&IVT-azJzprr$j-N$2teMUKArSK31TlfC$FSQGF-Eul 01=wHqq7w1_2ZmuG3@55riBnf(2;IMY$=v>&vpmMjL8luhER*4 zhpj$)hLn$rUBS&OTTnF^gh8-oBIBbG|EY!4zZH$Zo+zjaY0dRq4pd*PnAu3OWGP&E zz>Lz&X-2f{iAb)j-6tp+kebx5waFk7I!RW8KU5FHy@d_)#G;8jdm@ Vg!-c6KOFnIe^=WitV9 zpU^>W`?J0I*|gos4RgczW;B>QZZhD0^thVbdLU9aDsrPUMhmS$%Auypz(6J60`BBV zwOszQ;FKdkoYAHt!@JQb02jPP;%8!vz0JLSNHt`po#|oz1g=7)!mbvdHu#+!_AQph zXn+16m%-AcIvE+PDEl-H%87cEYcXZW>}hV^wFu-p6YV%=^aJ~T2(8e{?dDs=5ANX; zjL`DM3E@MiRyGVgzSrr*+|sK;1I~&@5Y9lY F8IF(0puTh)i+6!Y>^h0 z2G|)FF(5YHU}n@en-Yet;}K%L*_J{L8Q{ZHot?tVGWyz3K40(C$--+&Gqp>$d5cWx zyg{hS6eV~bT;9p{LpE6!JL}2zlm*0qBt2!Wf8Zl;akljQlpRq$5V2wP)vi0Ot-Izx zJ4HQ#6mU8wfx+@ R$Y(V=FlT+K*E=R34;nSoEMIU&GAqoo2 -%ggXw_zFPE0(N6Fd ztkv-*nTkY^kz2U)1+{1<+E#pg6Lreac5%vp;|dsZ*V9ZABN!T##>=}Y7g&)~GWI8t zG*_Ic9iOS=-5u0r $vbOcrnmfme*NuN-0#9R z2!++r*t>__zsY-3eNo3k?QNdKBwR8^;LhlGo3K=j$= uYJA_+b=yuMvJpu~66a zYT^M#JPQH^3^)_4)rTab;Y9k~Jvjf aZ!^Ig4Fst6eBP=6-PU22t*7tPUoZ(cghP2ttG&aRq%( z3g1uS`@h;ao}`-5)1LE97}VZu?P#5Zkl`4oICNk$Hy{6GkRxOWJBX|c;Xi8doM)%R zYALc2F&}n5Y>qjp97sJpI==T2^G_GO+BCBd*6Npg3|i1pv_46L8J!+JUX3QDk?3EU z)sK-MOfHb8y2!|DLU2f&_M39eH6j`b31<PoUp9U}>VoK$9_{%BOLtMaDqIS@wp}QW5%5 zrO&R#nNTj$lILB&C=}9{*UeI)S-_}gkF1cp*zINv{nceV_Ew{|QCcK|M=IqS4tdKW zBGMCt6b2L%FJ3NI9>14Bcnti^WrfDZitFU`)|-!ph1kk9)YnsgYXe `E7n#t5{`(SstgN}GT*gw2Okzc7JAw?$%{7s?4#eJtuW*`KB!7P6 zfA}9I6Yqj+X_4|~jpp8ND`fxycmfCm9@7?33{Gg`{t3ApF3~|5S`*P%Bt$2tP9miA zA}z2VKtCpt=+gV%o&?hqV=jsl#Q!ExIP1I|fki)PoTqAJKe(py-n3rok0*_ewv3VI zbgE5g7mjv|cNB@+zoCIV`j)^sUc$tXtlQ1fLgC=WYxa42X{@;KNwPp2rx*9{YtFwX zYL{b73{)!+J)V?&tYiZgPa5RK$F0$3o|lSm3VFy@b%KHN>Gy!zD86)1b3|7AUM>%r z%Asr|HJ+s3%iCAEG-WJ+*Je>pa88}^4iW9AT>lc60_#;bh|ctuwjIoTv#;psv=jDl z?UdwaNyBuVtwT&N5MT~P*}e4*g#7+>5T@^9mn*Ebz9oE`!4|47eBeY#V&;ubkC8l} zn;oq*YY`2ljmeNQi~kX*&8JcN!H4H8_DCGui?2itG)c3_0@volS5sLW1=nd)2-e3s zKrzNGe+M`|IfpmPsgmZD`(f4*KqBRDa$lXur-ji Q6ckh#oSRsQMw;TwEXVjXQ_JYjX3N-nf`j2izzw)&mdKj%`r*l(OHiX+_}3(b zhL$ChWKd&&Txy)FCPDE>GR)E3rB$}!vq8z(kX}p@jW)y26@rA6mFH_9AFQIEmHr1D zGv&chq=Q7~VO#%a@rYN!>bdmJ|69GDbXVp@AUC~BV%R){Z+>x+h1ovxULRLymz}D3 z1Tum#at|^k^@cE*T^Eu&2~YV ;RNDG%9 z`W`~t8uuOs5#N3E+Eh(`z-}j@8&G@+I!CEn~lG&2u8G6LtoMW5YgM#zEl0ZYb&XJ|la zx5+MIg1j4xnyWrWvxF!rp9YJs)I=$E0eOGuVkJe#euZGrA4HX(frv@h_T9ye$lG_4 zi*tfZ)%HQ^D-CFk>sFY#m)zMt%G~?lq)7+HesKI>0ni`S^X2VEIe4FZsCL1)gUlHk z=+$oLTa8~gsyYPzDJ1{|`W1vW$9bVtXpp7;_wyVSaJ-Ove~>McPu$~+79lLjj3O&Q z+Ib1a3GFlnfFW=XTyf%{kaE-+D+#+3IM!*6QXPcyo2KUvA2A?}n6 zj`=Lt3iW8(sBDSgA#(%=NzRFuZPxU%j%`%)Ln@!_B$DnuQ>(T(4AlnRpiu@m0Z{c( z_0!Oz83-O5AsWlB)ErAhVvEHE!S~S-3;Y}MqC`kehNX=xCZVSx?@Vfx^Rmf(UC=WfXNhYEmE;^Cn*=MuZm>E_GMQep~?K=ko#9TWRI=j|AIu+VuP~ysDH%J z&anI&or|MJF5-RRws5odfF{E-Lv^})iSlP9+8-Z$7GQqqfU+xn(o{>stB(v;;R``Y zbml^}2)N&ZPJR8qYRK7E ^qp#P?s{+cR+5esFW~Qr{3Wt!(`5o$> z->{6)Vgx9{R9*vBg{XJG+H8}C0rB*`=2Xr pKwmE?hz2hGR z>~4=$dB2HMkf{Z1+P0|YbTd))FgZxB6Rni+15C9DJ5^5-w7AO$c_Oz;KDqO4M#~#N z4|MLwgGmp&!rDL}#nd4@KNH~Lsyw^AcEDMeK2rn%Bz=&1J=(Ku 1yp5hLup-zHDO*vpx?H^5AY &+&ZJeZF5~!cap5P06833vO)f-vgabGvzM_MaNz3qLEu_o0udygC%BF*Qol!O9 zm6p5UgrYqqXoB9OradW@pdj)>M4TDj86KTX&B-? `zXDHrv?B|)M>PmKZ1C&)?KNG zFr}?{m_YmX&Aycm&y9zHwD`3IVNstbPMeT9KfGq0lu>fcwdD`wsF|s~G?^E>+a$HX z7f*+uq04Hr2eOL{xfNCX6ZcOIvx+1oj*Nc}V5_)$LoKVC*l{c4l;iAAx4K%i(TuSy zeGo5+Ic*_)q6U)DP9O!YGSo((Ao%c?B~;#mw{oIoEh#%?vY8o{h7uspKFjf?wmRuC z<6u>>L (8ZI+7o((5IAj1QeKSNs-8X#{P> zHExAGRgWfJ^bfcVpMX+fGe2E-&M#VgIF!qiuePIkrf|Ml=V=|?M{P@Ynvr(^VFH<` zi4qg>m%9eo% nQT)fBj{-1S95WI1&o)_emJMLYU&=v>m{#EB+Ou7s zEGKf1)^s3$jOd7}bC5WyQIo@lZ*?sTQcnAxt e)alrhsPsaqr=&cauCgcV=sR<*R&Q7mMrBd-k$G9A zhqO6h6sr|0s|`RCzcTOwW#5NO9Yqgk40}6UdgEt7J&34PbZE_ + z);jAhV)4=kDW_G&uP~i;kF8ll1Lfg}5}2FN8(LU9j{If(&n$KiCT0BIIRmKJZ5p1p z_ IldfORRM~=#}f~^jLqUgQcP6c@j(3J@1n(e(O{nNr-RfhQ=z$ zbSX#elty-G*A@5NU (z!7 z^lB7cEpfH^0QgO*7a>0sfv%ADaFu}}%sE2vmayxb=Okxg`%mK!9v0fQybs@{tJ?fL zfSxE|%cE6qL%DyA5X#eC^??l~RWkI)uWQOPXdc~u*g%GWSu>Aim)w*w3fc$RoM%sz z&C4()lD2k$A+YV;-ph}&o>D}YgrZ}(q_i+-ELWD*13Ip`j+AIpyA?_XE0V)QrtuV{ z|7&`@k+_d`3bI!~<+#K#ZMHVI8hQz(W2bYW f(`0ZA80hGiW(eNVNx9%MSY#4& `D(8@9es3j@ z;35fDP;*juzkbzDX4mY` )_#8f5y7u7OTTH-IEs!&9=15S8w zdrzvJ1x++*ZCvWP60x%z3fS8WMmzDq1#yzxGk5U-uZmwOMZTGyX+Fxh@o#YI{_m zi=${0fC 40W=Qc+DEz`J4~*kKK=cvt5O>o zijY=_M!#_TzZAh^%FxciTPbqXVzG=dUP ?{_w+CB_I*S*hZF#fT4M=+>b}@vr-ZXvFbG zUwUVmsoCGqlOSS31j%%@5OgYzDAL|4*i!1L_W8IC8Tpk+>iV95C!KU{t?eyL )Y9qT! cE q5h*xrUX`c$fd{P6DHxB*x>e5|O-U3|JsT@h~r! z8Q!q<2m?wVZ`VJRbX$w *w%xRa#nDEngRQM)r6u&bnuYu4m%< l zDTUNPqNq{;r`p{y!ed0-Fdc`89tZA0y?X9L@%HKz96LFpm?Cl+_9##5TZcv(<)gcB zY9z b-$xRThS&Y#zD!rvJs>TSiscb$_FZC=DA#8etP6(jeWv z=@gU{Bqb%KyF_Hu4T3b%-I4+-NH+-5Dc$g{%lm$w_dm`V=fgYBr!&U+vd7+V#aeUC z74tWLb55~sY!lXNx!2n=WuF2vI`846sO|LVj}zh3O&HT?3I%z5c`txy>X;BeTylT? z5f=7s)!O7)zN$EH?di 01?kM-9q*`GpSWNNM$I?TpQ7|4K@tBh?9_`7LQ*E!nlnmX*QF$->M#$qm!l#1q zs;?e`Iw=zH3}rk8LX0D61Rh;nh^F~Qg F$4sol?)x+ZdKPa#3ez7S z{SW-*NRluObIOD=?KeS}&ZG%RS3pdDVG>{uM)7jeWd;knP>pS=H$+e}%ug1CE`&^9 zw*Gl#Eu4M(HUN@t8PLqXj&Y`m^j00PjWJR!n^anm`m*($Z!n^v1|UNXaE_p8$uHpk zD^@_nqRRhqqd=8foInj7XA!>$u6R;D-@hV;{W+L6Az?Rhk*vdK7bLO`{8Z>gE1C70 zPm$CRRFapkoeu`U*B$4XQ=e4-E{qHcZtox5<7>UT6d&>BGk=NX-8h330>8}oNlbvh z!rh7QZh_U bQ!%4`Ay$Ms4C^LR zqZCxNV7ZG$H1eqxEYu#t*McL`zrl%;tJt*@MOf8xFe@mU8={b<-|H^lNKLK=u`9hG z!NJELL6`0u0?u0#YM`Ed@`wwlOA*+CMZ+i)EJbidvNQc?ljLDjPyR#V7$cL9l?EL_ zzLVwlaPqiqGE#!L4r6&Y+Ls_I!TWxPw8`MQhUrl8FyGeN|3p&sPJN_aL*}l?`P!%K z;Q|mEBqChA@x||sx5{TslkWil=EA*N3}=f6?)IJt-no4JYjA{hM?K>j5TZ>JaK@C1 zDAT(b)3xgbp8iJ=u}05z*4cf39Hhdb8)9$=Zl(Bz4>vMEhBq9zd-uD$Oh}9sKi8v! zmNB>ALAJ~S=&$9iuAMjyXe#0tN^3-DFcHm=vXs_c@5b3TWPWJUfyG|v`0b?B(lYKy z8vK(R9=kbaU@{_s@olA}06a#^;QetRBB2LF_B{1p1pLY2(7QBDEB$Fjk=<&uAT$4H zY@&LO{Q8?UJHT!n`eFx)b(F4>g@%Aq2R+Rvb4>rG4#6G+>QD>_Xy^m}qa3Yb9d}VL z{AU%G!;k3M9{OCqVKi)MdK&}p2*!zlq9V=}=9=7&IzNNx17+NYLXSbj>v%q 0R56Tf)blFqN%e>BYjFO}&y|OUQw;A= z+w&|2vmi999vBPDphAfMLkh!wIen1(Nt+-brh(e1!DagimG^1pwb#wni2@)Y(QD)? zPK^V0=|{DvGicrr) ;;|1n1Aq7_FZ z+W@@{KgP!_@CF Br?1uGV;!o1i2udxLI*roR2u`!n z@T-Wnmk($6+^3N^{E_)mT}0w8ni{#3qGqXqKJhk~P-@1g{+Wm<8g;@P~?#2UzMuYeYBu|P1 dbDDQJ0E}i}6cengKu`hs)D&32} z1J4P($W=_rT9N`VT&yCgfKxsJHImB{FRT*KV<)Sv67*aqO)<&o&}=^94XmLygUU9! zHq<9Gj*$dBNMfWU6xq4TqLKUFSTkQ0?goS%=b5<+cznGe^*|2bPI5XdAuLA=<6>EK zwZbwMI!IpwYu}^I*F3<2#s M~2-Jk3zbE5<{dgUP<92~6F!3XT^EL85$Qae36Jll%JmUZr zjp(uK(yNGQ6kE<#$mtniG-7L5#`oawP#uD^ia^~D?JQG}=B1DUpAFqc{5veE?EuUs zk3wRUOeoI`iy0 0FB(?bWQ`*O39?d%f?*l1+-&;z(vY(g4h_H)nH%vOY}g}+eN-qX1>L4l3!qm z2PmXcOM#&i?ZVIOC#8eMW@yS(q#V+`1qOOxuR|%`(~%BUnyV;@@5KX1PG7}FoEoF$ zVyE#YJF(8=`fQboUc+IzFGmfAPIuP?W$Dh~BcGeAS{dWI&6d+etm1HS6HK~ph78ZF z&bvz}QTQ-yB#v_aw)i^?Mt&Fxj0GUJ>JGt#3G?0;N*5~1Yg7bxQyCNA+3y0@a4h=b z2)X)OvZofvt*aR{QVFMECNp^{G?RPtSAe4J0Ep~XOXw&rQa@o)Lp3(Kx2a^Q{l4nE z&gNv`U$uvE{O$%h3gi(Ci{3OZNQkE*s(=$_9lz`v=Qij!IyTr?Q98br@StM*{h@OVw~KKB4Iv;KRZpofWz|x0Fu;$7a9>Mdj0& p`FyTA;~nXLl7rjUS9L_bG2TWx`AFpI0LB!B|eRLKmRJ=fh02t-8oUs3v>x} z63_2wKSJ^$8MCMOINzN!O2v!CtFqnI%Mu6N{a`hAN^D3P2w@a}jXh*)9D=c Pza@G!qM ZUb^j$KPfJcZOO*(u%x=^cbJmleJ&?=zh$)^L_JR74B!sl zvGhx?lAc9^> aKOc79>3c zH0l8IcvltOF3Iv>$U0SwPFzM>9*BW(f2 nTi2}}oY+A&zt$CBZ& zaCG}81DYrlo{y>2I05#<{k%+YA(lk>MP?ZTH_PK+a?RN9!T>p12P=snNPHv&ay=ul z!8YQiE+{1nYZezQF+;EB4_&1011tGo+k!?G0k@p0Dj3_fmvF*Zr>#;!4N+jpvS2hp z `1QOw5~GHNnuz0}I{2gGGk6Y!alz<>sMIKtv{Jp)Fk;w!xBVqG&Oi+dy*JMe z7u*IjlBo_A-eIBCqyFot_KF_rc+(-(AQo&NjRSm{cg@2T_lUHsc+^F`!O<(I>BtK7 zIatgd@=j9Nx+Fkr0}+@O65)B(X6T)?DEJJLx8kIQ@d=6boz&FjWk0^Gv{-rkV#q8M zH pT4@Jv~@)^I&Rw9Ae;i|H; zoKh={4@vV&mM$dE{*cv1q6NlCU P{fj? zPR0) *yg3Y17TfO^bku#jwWSQrZAzfcfw&4* zy|7SiR2mRW!u0W2FH;&YSAQ;A7L%et!)pr-FK_!;3+Q$BJ@7L1fN1?!=yW{bUb_D{ zO^+l^Fv+0H?eBp 1lMKnq32I#E~Ul|svfd_HH2jw2LzIKv;Yda@= zlNy4>QlUVRRNT+P@o<;~^hS8%nC2RE*I}YgICwA+`F-%b_OOy_8z6!LsF5QyrsJe2 zVNftonBXzT-V%6RCwo%#-^=NMj)q>5fN4uj1_RF_lWB7TjUtB{ UdUSudr-Jay-14%LKX+UzG!x@ zhA6GQ-aZ4uCp}Pn&okBRb`EYp1C#k4%YjNj %(Wq*LSvsiW@FA*dBZ+h=Tj!#_QXG zfm{%yHtIows26>QmG6w>hCa 6Maq*7r{5+23=xh%Xi5tRg2HLtF zDb|jJ&wCz3K<6><>oapk;684;xxP>b#~MHD-I@AInt{}x6{ZSq>p2Na|BZK{krJv9 z|FiZf^4#W*`Zb8djAqox{dfT!z7}g+GGHbG#l(da(-xtaxdfX4!T-Hr$?gHeLkDuD z4K;hX0?+fSp&UHX%Q9x2Dnyt+2sn90D=8ECkOd0L139szON+p%O3!)p83+)`&u(pW z-ptKt1t$ 252elg%Erb66rUNnrI6 zmc2Q5kB0x^1P8ja<7vAb_oI!C?8U16Qc+G+wBufej9AF}!MLAJt~hvK9PiJqZ(tnP zxwP|D7epIwKw#GXq `)eD_}sxeSPSm2vw=WCk026x>z !BF6{A~rndQ~_DTl*0&D &h|(_3>3ozc_1@v(w)a%^oo$Du!6O{qsT-6>`!2=CPP)% zkqXQuw(5c*Xi>luMS4r{`>AlrGRpwnUA5g9%+-dq6}wP$nn%=<{~;j&m!Xu)) 6D6V4D=)M-%UuUrlxVAdn8l zV;ycyYFOb_&HRT8kPLVu0|Aa oyA@F02@R;tE8+ z`b{D+!^errOf651TqBl^K1@jBGJitq{|XcTH{)TO4__AK(MQP!amqtQ+H75;_#}sS zg863n>R&2Z>;q!Jz)wmc^q3XFB@pB^d`vB8;B$4vm5yb-Ia-w0&*Vir!q&D<$^KGI z-sO7_@@b2YOCz-Vp!)gtB0+}9j80Yw%~!+l4mefW&4h)|@x%|m?=L`zSUh9~uf7MN zZarWH@#?>=ZRl0q{|reFW1D!fqSliLf`*=0;)tWbBMgv7yt7U*iYYuwHoToYS5=n7 zGOHvdrmQBkMxbP;h~Ht}E?CmJn}ghfeqgSUuTY~O&45I-o*2sCuj(C^_xbI(LVn_! zU^>Q>@_dVBjM=K>5H$s5FLU@A=tPOEI{#h#F3}Uk@kG1FB++5{&&wBk9S4N9X$kU^ z{62NFK4|1ck|FW7)EAuiIZ@5g^3W?l_8khu4y~svFzU(L%3QW}BI>>jwiif*j=X#m z$tAnSvd}DLdkGeMc~;nlf}h&CzuwEQAEaAr#n^wM-JSj!^BDKgL>sf+fA`d<6JKEM ztef2Kv7CRUJBTSR>Ijy^oV*jZkn~8B90_02m+bt>&>(jDlfggc9j$yCzHD$=(eqkc z{j04Hf;*~NcNt0{+KLIfNm!oPL>VmtwFk25L21IV(zXanSp+?W8Rl<}duym5_!!fu zckOq9;PY&$;JQ@@DGaRJJw&K^$vyE@K9?Nyf*`mMeNNm8I+YB)7yDw;148?hjXQkK zmWk;n@Of^Bez%VbXxZYx_md*$On?J@NHFP*mX@ Oy1rG_^^Y}v4>3b&aoWvcrw;R4BJyT6b#cz7ybFkXJO|qj;-d&*p9`e zZshy(DcEu)N<1>2!ny!7P)~Lox|A%x_t&fd%|g4)wYDBmc@!;!3g95;XvD2h?9g{m z`X(n-ET`0mh}%TdfjtD4;@S6trtM3p*?4Sc^6C13`RAl<1u~ts_YVLBW5no_z8ze` zze}{ycne7>;DktHFF6815I-g3-(sB;h)Ya` &M}OteHaTg)x5_DCT3ZS%JlhH`mt0MHbSLaiFnZ>=l-@6=3x$|Bs2UC( za-CR4eSF ^J-?tel+(^`Y 2;C8K7E)jnYbJ!gD>F!D00NpHA5<~vF;~T<2>Hs)I z83!)F6I{yUC7c3Wc1!wYGJho=iU}>1QbEzVQth-zH=yu7_|?9zqzf@k&>MA^sO~Q> z1oq$%Eivz4jMIyf5xfMXtK`=b7A)g2A0!0%wE5J)Eecb@pIFp+`Ml#pan$u7_i2QS zFAQ$e9fQ5+EPy3-hYn}(A^HhH+EAI1B+hCOJN1)0Z@QN4vEj6Q=L0#BKwHH|#A2zD z;zDdok@sC-a>VWB&L-$rv@mugt5giqzr!m~{i2X`5p!UVqQndfpNp^MP?Bm(!k_%Z z9sv5dj~?@bsD%$8oj84z2#k-f6L3yESvNi+i++^Q(h*5?;!FU>4&&c(XitIN`2qtS zM|mU(vPk$4RLtg>?Gt88M)Sz)V5)fo{WlRjAj-x-@k5EawXRGUQp)e^7Im%(vXhTn zQHzK61oWH;#d`rRU$S!FJyb`u>a0-ZC4nqdVOmM*mx;PUVQ5n>1spKe@6#=ZraKaB zD{3oNoy4T=O^a4@${+q}zY@@XkhN1I*)ePJtC{@YZ41~H?|n%RV>v3AXd=bBfl5C# z{~8txL%)+sjhU{l(V;=j^ZaS!Cug|$%wp1A{w0hf@le*bGnzhQP^DF#MlAN1H9nc5 z(;Z7j=8b}`a@So09JWW%sQz8sNVklBiMOn%=-h&cH%7!CH1YSVF;?m2QHT84jfa%% zapg|n^Q8LJ;uiCuot3cL2klsF7X7E$axqU|cL5q79$z0{FJZ!Ow>Ru C*ewUQJIA+ zO?aW6fQXgH9Dy-_NaAq%$EYj10ZurS1EV@y4YY0r_z2@92e3A8a8vGqt(=;GowNeb z!eX+&vNPc4^rQyPIzgcYuU@;cXQ;hR&BxjjawKu2O2GiLWka2VST!TuE%LvqZ(v!+ z)Y6HK)Xia4bPfUa5yq3*+??~^d^O<=>R*%Zr;$CY8mJVDRYeP2J;-6p23aHm>*1gf zu|VEXaH(60lkV=*q@^C1Ck6;T0R^37S12xu$)Pg_Fx${k%znNy`ADGu103_xI^i9b z;-Ngg>|fLlWP|@uDigySq#nXV6im>f2zChXr}7{kpx 87$j43SgI z+%cGvC47zcFx+$ykFub;_*?)kOP+Pd&sW?q9b 4Ht}OG5kiXazOl>jkQHLv%D*F;CunyuW5Tpo9pK}66 zj4;1Bz3?)|#UTg1D`py^q#Ms4(`#SCY+({>3#Cei17?<-gL|AwM1O@Jh~gJZgrB+A zF$Ha9w{YR>BuI2Vza5hCr@UK(x5Dj-reOE`%N-44Hrlf?2KbGFk)|%0>a=`zf%i0= z=QXI!@;3&Q$-Nr<^9n5Q%i>~(K9W 7mj z9}vB }HTyvQ;|@()mq@sCXNGX@7&@J>)Sc|$+B79wTwm Tr{F**1va;xAlSICU7`{XPq3g-@X!dG6)ddY41cmXCG z3|ltZH$+wESS7LkD_s&44u4>tb8xDLmE`_~SpHmH{x$2%Ga~=77jDPEzk6jPqIr7c zUP;L~^t}K?_l{#B!uCgLF|o4uX(hLKArS ;)-v9yHx;R~qD;H}ZrcWfdp(dpPB)aTEy=}+V+YJuP$wWlPx zkR|ocLJj~I=s-g~2fcJob|QTM7K#JCG~x{>%U?K|9hCqTyp_P@<2DD5A1V|ijr!2j z14I+NgADa|_c}B=pizZP;`i9)^M4l{K?o U#2Jp;3V)lnx>yKR} zoC`;Ofg1WHz%J4jT?!xEBQ^Lk@yWjf8w`yA`CoC%LgJ<}@(_^(p+w-NJl(xjPycx- zVEqBVFw(E)>r+$$5~!hX|7;K9_&tW;oX2F?8eRV=9cUhioVWv?4L~BGe!H~R1Lo+R z5ct*E&6gDa?@KWtZNlLEd7Kz5h63pW3SNtF0~{s|-6I`fRQT`y2LWLdc2J)eDZxt@ zy#lw-u>B^)z)L4c7=|IR84{~F)LQX-QxAt>h?h`9f3?-h0tgTt+>>R&uK3`e@dwiD zfnDH0O4vk;1WTnC;EXMZeOcMG|Croj1Ar^Y6Z&7d7@~f!ub>JA^6V5uS(gt^6{_Q$ z+pAhtFh{*kXhsp9@=WWm3(0JhqLzFQ!|lLhNK1Z79-}O#%L{d17(H VJ!~W1(3I}5Q#en2T%V+&O?c64zI+D=+3eYVIpG+G7 zd?>~a{lI?hqA~)F>Ik;9&I1tXQj9)z1&0O=Dft=)x(pkFpRsY`3tj`g6Ni34p8i2d z*n^w|mSY{jY?HLW2_yq@k%-8zHV2oLL)u#YR42CxbQCoJ{Al}Vb|QrXsmTx3>}U9Z zKJf12ER_S0D+Yh|*hfenFlan~zDz2FT1p6hpx#ZHC1inG$wC`tCJcsvD{xFKA5!;` zP#ur|uXPARHh62MTE)Qa%8OC=oU?vC7}MPMcq}Vt|M!^T^&OKM$4dFeF`NJtK4IIb zo9Wwbj%{D}N5|*;K KpwO6ZhYZ)Yre$ zd-G!9P?f{l3kZzIVz|)=2$}rNCYv;*ydZPaUyX;R+2ULK?LnYHV)zI?&ZUjb-FQ)4 zifBd^5RApECGgwaUN+odzk6C?slqrRb?;1?cqKY#R~hG=q0)U@roQp2WB+J~csbRP z^X{y&1F!Aub (61%HycHq zhYJ@uUYpa)GfmHym)B{tUwqQ>KElY`X%X<=3F2Lj8PMweTo9QX8V7J&2|^}f64FKU zZ10K7W?&*d+b3ow+}qPTU10){o>{?*-5ZR>9I9rf>Dp^*mMN#`o2%W}i>AFs=ZdY$ z$ff=jo8=kn)gb*{8&R96NKrky;%Qf J`^ Zjq)=U=;h2mW?~sIKZ;xW; z 0S^~?R}^RpgtVbh(hRnz5euW0z44sruO^!2&& zpwDyr9u<`O@w}fD-4}2Q)Ed1Dp{YKqIvE5_q7Z0`g#^5gGyzk05QJfhQSltRxh+?p zEdR-n%{fbRHtGD>53G2z$^G90oSs`xUmRYqs |y9GFE!xr$y&1V^|T@Z9{V)YC0^|K7W*NY9`N`LsDN E z$uIN*Cuhd`+EJTm0#b)RKQpH0b;CuXQu+H6;(u&_*pn(`Wxs&Jhlf|X4 NZK}*%_E5U?U7vlCutQo;}J;*r7q5M>_}`Mt%?lSlEbYj&dJru z%MO?IL7ygO!+L{^Pp-9E4pwQK%ax{9OXpMDCfBKNhCa^Wm}4`)js5&KPv* {x#WGHjfezNj}x4!vWY5#ny+}rR4n2+6A z;Pm@l6%;j4Odf3&A1i)A%5BmkXg3gpHq9FoseS!1>Isq>3GeCX_^R;DgX-r^YqOR# zBPieaK4agZ;Sv#nEk~SKd>`yc2x@4ye{8Ff vf#Zb<)m;&|~3X;4v&rS!)Q!pcO*-ta!XOiA&e z%(;^t%hBc>b=AexW!L^eu(W(3OpfC AEfNiZlG_bPWP|L(bC z`Qo~Z!C`bXE@w~QW+^^c>2BJ?h8tVU>GDP)F59~I?)z?xZ{>_gCw_~p|ICTJ_KD-X zyVP6Ym~DI2y}tn#i x+51WMAl5*E2eAYjT zBV=?*s@k1Vuq|{8-w^kS>5hz5A!?;{J0SkKx;15m^gcQLbK7C=Z1o#n3J>5pg)FbH zuAGmMb7ptU;$&-_+}`i|TmbSNCS^Ncunrwxhdg!u%EgI#^^l4~jHvaZCN+aL@2T~S z#FW!kNoP&oa}&hO1hEGU=rlSC*tGm_{jddxRlh_DY7q2rEtwvL5o0*`IOIuOY3z3E z*3i$_S%i;qb;>>Edf$k oRa{f*!4lz0Dr&K?fVyb%dbv)(xTTKR!!uF D 0U5cQ|QI%dtL_7dbKjsjulJpXg~kn{wV@G-T0z zGW;kaW-rDt+P#*WKLFcud{OJ{XmuN8WQSdCAG?(m&y45PI(e35M8PxPrWE4 5=`?4{Q00 zU&m0R?j{{)pjCH-Ct{aLcbPRJ@lQNP n6h1tXR)l+iDqu%iYhF+5OHrOPSXlPb;$AI>=){ zBwD~bZM}RG6ln!>VNvmxE3<0m=M^$qrFxIplr!k;e5&L(&9_e7ikdFR)UU*^uEy2s zH-@mDW(7!OWq9rT&FJO%QSk5Qeb#MO4|_jp#~QUY$)?J=G?`@gBrH1hy<1hO=lR~n zez(WBoTaW8OG%ao*&9mL+1628oUe8~DqKb#+|Gg+E1ZtBB8J}9jbH7Lo-{5uZ4p~I z+N6v{Wp$Mz#c4C*@#d4*OiK!>C)s-7qIOqmQ{1i3lB+kU(;7~+IZZYrbr0Q;l4y9R zBNqc5A+gwQ2LW;F72lt^3!A83qa;`qehA0T1eH{#8Kv7PsU@(4h_pUbTdqP{I$PYy~dNMl0JI cC5|LaHOL0$XM=Utog&CJpB+E-YU6o;}JkJcH)i0vRVBCo@96QW) z_#k6d0l~S{=xp`$iP3M@c?+kn+e$iM0z~%y^qXC(j1)zRe@c(9ympO$|28`$_OZT} zhDB(uFGc-zx6b}BUP`Rgi~Tl<`sJEO`^&3T-%RQI5D5?Q6s|UwtM% +VVJ&(5Cdcz; zo2*y+7lG0;DR*|QjKy25yg{+7?> -_D#<#*0H zUri2@c@H~@X?Px|%j1uBWqd}i*q~W7-zO$rlzaSH?JijDYNh1x^juSo0<=X>_sk5nd*y_e6GCDvo-2Z+M?m<4U+q(?Jv7418yXP zPsstRyfjYjw;6i2>Yf5y6azyuGws6^)>iB1bTcPg2c^B|%Z@R{L5pYabbcV~IGzKe zm_qQlRxB9SW&i7Be(4~GN`9Bs#$;=l%Vc({l)JA3 UYk` z98L!$lf6MIdKfq%e9-H?{u27L?z}=zeWTAIntro>e<+1&)0s`#Lnc?nTRpt6;V`yW zB_i59gN(({yHSJFtS5i`s?78g$OSFO+7qSmB(4t8aO9@Bv;OnhQBY?lQ5dZxCLuGO z7h1-X?8_bhanFry5brU(Kw_Nj{5x6wtRba}g_ty&R+d%i2i$*YpCIR`LD<8kuSK|# zTcS&YnUl_TD;$*R0+0y=yovjo)k3h6A{+*+fhp&d*!R@Uci=-W&$HXq3#HU7Prj(S zd9Qe0r8;5Ka6M=Cxo&$(%DW(49JDv_$M*bc?>9r$+jT5976cjkYcnSc$B=6r(*6BI zd^t5ziPyYR|KS3_?$^$$D-Bx%5I;CHPEhw~G)6g<)voC )JLb+^Uv=^ zCT4ZYtsX07f9F;@nym4uRTa5>Tc2B7xB5MH-I~#7^uhi}qJjKlaOfEq;xa8El6M}u zPM yQ;{Qadqy4G#_ssH)9h#;e`-HdLM7~ zm^;VFt33vQAjLNC m~+Rm;sX8@&nw1K!X{X)5@tFNREw({T<>{sZ#fzQqk%^}XJArWt)-(kX-1 zA|3mCX;eN?W}$xjJ}yGogEC|SQc3khP7X83Z|m+No_xW~EZZnzt9r~7MbU$o(wfjP zo*_WLc~C8?kRHB|Q7r_O=uk CP5DxW@>b