From 984d2cab98cb53a32fb7db7921f0537bc85d1051 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rau=CC=81l=20Garci=CC=81a=20Castro?=
Date: Fri, 11 Sep 2020 10:35:20 +0200
Subject: [PATCH] Added documentation and examples.
---
documentation/description.html | 123 ++++++++++++++++++
...4WEAR Closed environment event example.png | Bin 0 -> 75247 bytes
.../SAREF4WEAR Feature of interest.png | Bin 0 -> 22404 bytes
.../diagrams/SAREF4WEAR Function.png | Bin 0 -> 28925 bytes
.../SAREF4WEAR Healthcare example.png | Bin 0 -> 117904 bytes
.../diagrams/SAREF4WEAR Measurement.png | Bin 0 -> 70118 bytes
.../diagrams/SAREF4WEAR Occurrence.png | Bin 0 -> 21020 bytes
.../SAREF4WEAR Open air event example.png | Bin 0 -> 78497 bytes
.../diagrams/SAREF4WEAR Overview.png | Bin 0 -> 51645 bytes
.../diagrams/SAREF4WEAR Property.png | Bin 0 -> 68788 bytes
.../SAREF4WEAR Wearable component.png | Bin 0 -> 17355 bytes
.../diagrams/SAREF4WEAR Wearable.png | Bin 0 -> 85332 bytes
documentation/examples.html | 27 ++++
13 files changed, 150 insertions(+)
create mode 100644 documentation/description.html
create mode 100644 documentation/diagrams/SAREF4WEAR Closed environment event example.png
create mode 100644 documentation/diagrams/SAREF4WEAR Feature of interest.png
create mode 100644 documentation/diagrams/SAREF4WEAR Function.png
create mode 100644 documentation/diagrams/SAREF4WEAR Healthcare example.png
create mode 100644 documentation/diagrams/SAREF4WEAR Measurement.png
create mode 100644 documentation/diagrams/SAREF4WEAR Occurrence.png
create mode 100644 documentation/diagrams/SAREF4WEAR Open air event example.png
create mode 100644 documentation/diagrams/SAREF4WEAR Overview.png
create mode 100644 documentation/diagrams/SAREF4WEAR Property.png
create mode 100644 documentation/diagrams/SAREF4WEAR Wearable component.png
create mode 100644 documentation/diagrams/SAREF4WEAR Wearable.png
create mode 100644 documentation/examples.html
diff --git a/documentation/description.html b/documentation/description.html
new file mode 100644
index 0000000..e2e88b8
--- /dev/null
+++ b/documentation/description.html
@@ -0,0 +1,123 @@
+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.
+
+
+General overview
+
+Figure 1 presents an overview of the classes and the properties included in the SAREF4WEAR extension.
+
+
+
+ Figure 1: SAREF4WEA overview
+
+
+
+Measurement
+
+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 .
+
+
+
+ Figure 2: Measurement model
+
+
+
+Feature of interest
+
+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.
+
+
+
+ Figure 3: Feature of interest model
+
+
+
+Wearable
+
+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 :
+
+
+
+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.
+
+
+
+ Figure 4: Wearable model
+
+
+
+Function
+
+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 :
+
+
+
+
+
+ Figure 5: Function model
+
+
+
+Occurrence
+
+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).
+
+
+
+ Figure 6: Occurrence model
+
+
+
+Property
+
+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.
+
+
+
+ Figure 7: Property model
+
+
+
+Wearable component
+
+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 :
+
+
+
+
+
+ Figure 8: Wearable component model
+
diff --git a/documentation/diagrams/SAREF4WEAR Closed environment event example.png b/documentation/diagrams/SAREF4WEAR Closed environment event example.png
new file mode 100644
index 0000000000000000000000000000000000000000..78783d4e2a4571956c49d8fb78c99210e51f9ff4
GIT binary patch
literal 75247
zcmeAS@N?(olHy`uVBq!ia0y~yU~y((V4T3g#=yYfdT!kj1_lKNPZ!6Kinup(SxZEs
zH@ALg)qD5Oub`ZprM$eHU+m7^yLV%oc7s6dori0+?mh8WIG18{dGq-worGn-=d4;^
zWp&v)wDcb%JLd!jD5_BTz~3O>;>2X;GjSWnJ}NyPz#${Zbz
zPViUnzumgIK-sV-*Rc91ZXmn6MATQV0HjjHU#NdXjLJK64wk}+l
z_>MDx=iyhdAu12znM9obc=tV@2vt?c8Ng$hm&5y1@~D7w>*RAFXEnHT2Jmdu$kTHJ
zS*+r~WaikA)ZyFG=@!KE&~&&Nbl}~Q3Huwj)jC9_Q|Em8ogG(g)0xy^>o(U86xoawAQr7!F)0fimJs~-%1-kIemRShnUFNjmZK>N*c8`+e)r|Gv%Kes)&x*XnOc@9*5Kx1M@+j=$lNEGI{2j|LWx1J5`D
zcsA~wa4`XtDis)oI0~5Bgq+iM?Miw#t8_=nXEv43Nj}fd&6=wC_~PbtkMM;`t3-6!
zEYGR5{rU4#IC#4L@f)n%AOBp{4$+B`*gMQ}fHj%LU$U<<{ax;Jc$;(k1Rcj3
zo`SMtCw6|mu-7wL@%@T3#V
zYJVFR+%j1+*FbKfvde{?Zs%wB7hhkO81}zzN8NWltA45G#m~nz6l1cHO<5%`q=8Cwsl0cccE3NED9*hvr4i*H2oODz~%$a82oC)o6=o
zGP(}Vi^-sjbY{mTZD8&_&EQR
zyr(@Z8+u$#2Z}o)urji#tX%NSe~4kz<4<3*5ME}VbdU&
zCu@WK<5veRvdAiZ$yS+raKgb;`~0rwRs4N7cirC4Cjxoqn8~h7c7J^BFS}M7PtIkj
zjf-8s3aATaFY!^|7VPNr{<8Ge(^HOpm$#p=!NYLN`e12Zttsx89;t?0$&B19buMOS
z*SW=R$;Z#UJTcdB@hveupA4Tj7n$GN*ElQ>Tzp|;UF{X!Xtuv<{zng9UT&D}V4vbM
z@lpOd{?(S#lRB=pG_`@tg|mVSB$A317axQaNh$&lSa_7%a%?LEQlqvWyK--Dz_teA
zeKkM3+Rx8Zbnbd0vAsZW+4_h^XKwKaPmX%a9huO?E3F)NMq-9>LBpYGm!|Pne_K#}
zSuHQABc)-7{^ZCliON!6-n2gd{r#0?;Ae}Zdk-8}1a0YPZ_S__s&J?t1k0_jj!&Z>$T2TBXeouGO8rq42)l78wH${_?jDEd>ut?oB!ytyH4E%yKXY!>gNMJ1A7vaW^9oQgf{yA8oAV5Z0QqJgKAH)_I$ZMaQOdYd;#r;F@nK`ikAf{SAGBXPw@uj`
zv%5I_wEHjX?T3!2dJEWx>73m(q447|Uyo^>94c|0ibZo$l4|~Z;dE?bxp=16({|T?
zLG$}20e`>!wH6Z9?UVDBT73M+$5{)5E?o>{?R~g8{qeoNw|TxX>+kI96*&0+YTBBl
z+rK)612oe4Vy7o{sM?#wbhCh*dte%<7+IQeF$|iCHt;YW?oj-EZQaoiH;YTOV+6U?
zbfS6|Zccmr>{;&*^9Td;S?zxFFFsqmjBQoWr%RPzBy?nqBs7Ioo#y775&Ykh6Lq3*n##q~9ftGB<;I4_{N
z&{M*CT6;$um!weUWYx>pm-u(y(6e=rdv|N)w|P4%1b1d%J-EV8HgJ7Rq>Np$Sg3W$
zffaqSTlaUAC!JVP`MKoxgUP3-D~5CkOxrn$sY3J{4`;%GIrBgsS%2Cz7Fy%
zsMwqj${Blpe_%|Vd;7tGmBCtCE&S4Ahht*`76v%-XSjr%h~M8hTjJBd$L?2N-jbF6
z_V3mIKm+%(GcRttmrpiKZ4)^^+uhjF#lr9_n_+563$HAf`1Li{iXsJ|sr-?8B5cdSCN}3K91r)}yuCWxTx(N@gktokQ(=33
zwZfZ2hWS064c1ZB8{
zt1KFbYHb1oCkq$j;ZDVA3pAFRZMxl^k{5G#gWSYJ)w&BJ4#`zVG$(b~y3Dkj#K1Yh
z;efyb2_b_ROKnhvIDvulh7n_z;=hi2KH=ea*|xiGUA4=Z*ZqL-0tulHJv*5|iX^5o
z92HpXHmwfU2Kvt#!1K}GdS0d@lZdkp$82wqM8iQ)ogU%vk`JV30t4raMuwvT#tu(J
z82uZPJPsH?;{v-pgh|A?M=J7{E3^v!r|w{Q_`mt_OfeM)!y`=_
zc8Y)`BzhQ*3N*7$c?Z(Nz&W8o669277eB!dEE;VrHp%P2Z8SGk2g4&PCN7PK+WDX!
z)b=~ymmW2N;iv%jp=UuLi39^C5oaE;fL+c|52PswupB5iK66;p$!6=&s-)uruV~`^}8)GmOE_qD0OQ?d^%q
z-p66N;y%k3pJ&g{&;K{CL48t#D#xGC{dH5HevkA%@JtHom_H8_H#A(5g%%SA%#2-%
zX$>bdndUJZozReeMigY!ffXzoZ4#!NzCa3>29`hm4M`pUZ+`UQ2G!M$H)6U#PULZG
zNa{GqR?SQ)&xlyNHBIOvTVC+&9YdO0VByk`C=u}jgd
zSLd%1C{GG0F#Z?b;AQya%uM4OTeHQbOfniiJUm?eA@AOvN)Bl=9j%ZR50+kkeQoXK
z&!3*2Zugw5w$NjulE*BQmHRbne|_N$UgqQY^3u|YDxO01XA@6OzP2v5d$xK0zl}=_
zvahTVJk~GYKS|YFsqoQ}e`c?*tPI{!@Q^9%>Z+&jE&o(09TnIw^!TI71I@pLMk2&6P4Yag=ZCCXdnwW8Q
zRcJv$!G{ewJraf+%HPL5-B|axO4Q|#wVL0Yj?Bx;99^`%dAk&+DV;6l@q6(6y!mn7
zcZ)XO`Tg^=dXviuEx(VI|MZ=_E9x2hmxD?R2F?i$j+_xoC6v}&Uhd!T(kYbq_0`q9
z7t8(U_o?~LdhqVu8(w%^|0Uq4fAlB3d0b)zHaw8PhBly#QRRE#^TnRNJgzx>6`
z>HcT6etvr^J!j6GE8#Q!+X^Na&AYJBdA07Ojf#@u`f+<49v|!7n0{XFtFPO}q@z=k
z8<|)i+?{3Dsd%X1!GXpT6P4LNJvq5}sYmg%GlB8N&(HPFG)`9vTH@ItIYhmQ(w6y;{2F6F;cvvp11?9Zt!sQZ4^BMxtJ5XhYPrkmsK5MHY
z|68T7Id-*Ct%8~tPs}t{|Mcu^H^02yi{`p-Z*ERBO7+rxJ)!;Xs?gP|G%jsQ^|q<{
z!m%;=_^~Ed?tsl{zBZMgSPYYo9r^R~^VSkKBX^a*aQpyj)b)#x2e_S>68{d!?Y>qa&S*nL0U)?{$L0?U2v?eYJ|V
ze#iP`S3m0JkhxUt(jq3vzbbrvAE&UIf>R4e*7h&IcGUbdnrBmtJa!>5#E5q88mQ(MGlvy
z?$6pO`tfn{KT)wW@bxhe`VZM9{
zr=_)Zw&jGBgbo8GrPej7yuQ_6UoDL^FmlnEm?N^@$oa^>r>CbYyL1TLTlX?}=9%|1
z6{XGdTs}TJdX??u1VQVtH4zI{{o+9JK5=fU%Hd~kZf<^+e0Nu=Vb&FmKfmAaPy0J3
zfX7hV&o6C1IP%}%ihMyu$A31pzd|-!rJP{iXLH2ctz$~l39+pg7rU2N`=8RWk$!)F
z|8*n5mzyu{EKWcBYJ!fi=IV*V=8n#5o-OI&g$%ILgn&&_I@mLl-XqaA{c5Y6jcf*tZoU__xUYea8%1Uh>
zGyVVl`Dwb?scny5q}U;^O<706g7=GP&K8VQYV(Nad;jOdYKf$zS8+TOpRK-kGf&95
zPtJDLnWg``3vO-8o!zCV6yeD)Qq0$-_-x6^oo{Al<*2|Y
zWFW-2xm)pgzkGOM;+-9ZQB_J$#XdFY{a+utdKwo)klg0P!)&^%C&Yu!@0OLzI~XTzRb=YU?2diue{s3Le9hlqp|k6|ZYZc)&FfU0^i@%*XUaW~
z!~UAfC%zFnd1V6IBBLcYS5CQoVuGAh(7!|>XCL3VyX^7jL>rH9wp_Z#-N<$cd*=;}
zMU5#59{RkRhXtdTmbkXCYibJ$CVqc+SF7#Bu1n>vMmevpuU~KLr!v{?h``H>59i81
z6L3~Jea!l{Z_PK
z*WEYy>8Yt&RWsT+c)P{*uca;dRCTC@(=h1>N3M-lQn!hosG!reiEBh9l@@qR^W2hg
z@yq{ZatcZb9ea&@k~-2Ir=JlOtlu;1@|EW<=R^(NtBN}el#+Tn%#!9$;qqJ@BG|Pg
za!ty)jsprx9iB@j#wq>&_BME<$G^981d*I3GWht{x=xI&jRGKON|NjSBg=MF!CfO=V8c&i``s?%S>uYv)cJ{M*
zoF}$2A5rvI`}^agvQryR=C-FAZ8LaP)i>ocnW?tr+}I?)RBOBI+EuCs^;P@rmBKeC
z^6NzHlT__~=D20W#0^Df`CK{##Fl^4ce$SauHrTC0f8ND%+ChD9c>GS#7Sw%_y
zAT1&Lx<3r%PmlM@-?9mnn&DMHX;0HD3)9-yg}12<z5L(ysLZ}rWs?pF-!Suw++)^gsR8(rr4_ZMf+=Zx50$gkwy
z)o|;o*Mi#Bv!bLf?|GXbYSATjrt|FTW3TswufKovMxyM7th;(4D{cy^f7f+6_T}VV
z3BP$8nK*@yxP3gdbI%-Wj|mDH_e({Rj&*ber|Ty_pZC~fjsf4YzPD{9nUfwKZugfk
zs8O4??oL{fMZN=x9I>+YXuBqL~fX_+6_^t{Cr73y?yVr>PD
zpRK#L^_l+7H?kl;>xmh-=14kJ~P^s=GAKbT`tqiec_**AHLkw78R@Fo6)mgzdzyC
znyFfCHhXvaR@cPrsS#eeIrQMPtHJ>W@n)@t6;E=`#BB)kPF~`Z_9`cQj^&OU!2#dj
z*&m!VHQMCylN%?yt9m+=xYNEI-(4=hXKwV72^SVRC*8agzkABbS-Dod2WGcdUtIg%
z#b?GYk?d(bPV3&hEcpH}IX6f5P)G2|Wm)|kRz_?*vsX$QO?s-7)RA(yB6WTJB45KJ
z_E-Mdw9iz0_V7fc#{mtNI;o?A)?b>x7hCgGG3@d&RAG2nl=T@jl4&<>&dGJ0GhBHD
zo4BXvI{jX^Sn*JY^Q9jdm-p=Y_Ojy356d~$e3yARB|puZvTeqZ37*Db4-Q>S{dI4b
zZ*}0ZtZIMePoK{g<{uR}=_j~Q!Rg0_s(-i3r}!OZU#{CV9*X
z@ibVne)By2Z(TDKU;q35OE=5()ykR5MyIBi9h$LFZ^ESoY`VW5{;qddTxw=CZOxso
zS6_F(%np53=J;oa;ntKBG0jOGl^&l?Zw6QF23(Ev!{usCyY$N*yMK!K-?e_v{M)`q
zbRTIP73fZQrd03UkaXg{(377k3&62j|508=TiMx)J!WT_`|sv2(nhk^{nj74ak6{k
znNsU-dGppeb#QPkUA?7P*m>F6$fwgR3m<%te4=?N;CG$J$}S$kU^)BRg^_CaQrkKn
z6n*#*Ip@aq1I`(b1pv@bL`mE$00tR0{UWZd|Bz+PWL8tR0g1U
zRKDIA&dYV|JHtd^3vNR<&h&t!ulN@oEL|Y<$EobyPr`kIz@R(Luq%P(@(D|F@Gwoc~QzIRCwc;iy2I
z7<^7K%ARp^hvK8O-Fk}+(k>~ra7#z+Ez1k@-K?{uyq$wL$WD22eg88Fv$S>ZOq6?F
z?{+JG+Lsa+vhMQHw?FP!UP`{YNbpv$OIe#BJOp@mFT;FQFwQ}_r9?Rl)tI`@g-U~}kT542XB)`OO=8d&;
zj%``-CTerVHwE466VFU&`Iwx1_MiXcq|mruIl;`(<;(=xSQT!S+*M0{e2+gHclG1n-~4wS)jSvN__Zr1
z^!Llp;x2t6_kv&Vulc#E*WJ10hq$Nk@z0an-`m$5>7D((H2e0GlR^*vw+3&w{A0cS
zN5Qi{p+`EzBny+=zb8!oq5QA&hmdw!i2cpi*PAuleoUS5{P^egc4#(Y>{2w7@B|Si
zugz!P=RYH_ocK%j!1{MpGS5^FJi8BWSx;<;JStGll94$d)D*GU{|3??SqvK5YM!`6
zBB|MN@yTx<2d3m6ejoQuqV|^$(>33Qq>j?#&-q`2dtHATbHFXK9;b$+4qmrONgcdw
zy=u3W8M_p}NtFKbVcG_oJI+0F@~juAVIcu+SR{xri8$vNOac)ZCO73kW2MJeTuv9-
zzzdR4_7ibFBctA>n8tSMrN@C|AnAh);K06^QVkjlm0RpL-}8VOC>DAx0(lIJ=V-Le
zkknYN%qXq?Am8xGv8~=5qFN?N$9)A}aG0%$>w0j|c|k#EQQo#UcXvvb=ihfY`%CwZ
zRagAZ3cmJl?_His@d~Kr>|ogb``p^sH}=*lzcR~v`!b6AxsThtn%0R5fkE~+oeYoo
z@2D`~+!|xk0b2{eBF5OI*yuX%^&|$)A1)0^9sVtA-qcPzIYV6mkyL(o^X#nsEY-sCgZV5j3lix07m~wfSXvXCoQf2b{7tYjD
zYU+?sTKxQg;flK(rvBSqGjWZ_1Ov@uKG8W7e+2Su$tZhqo$d|vZJ4bLLmcMtB#&M;55>65wB%rkTI;-Ig;G$Pk&9a;A6Z1zIO&1Ewz
zvJ~2S=63G*D7>iMJJ_V~-J1XBrke2`^NVkKv{XCs=b@PrraRP6g{*0mzOJ8q?9kVW
z@85WhRJ(f`7ca}4*^{!J=jCO=bU!)QMN9ZH?rc(?!!9f!CgQ(ny89)9_IiGO-h<8J9Dc}$KG}JQPIl)Hut?{6d$RD+EABfxOL<+3mmixqdHaVa7o9^iXG;4&))0|JY*>Q>4|<%-e0#vI|D^s`h<8}yQe!hXB{nkc1?PYWg$zc
zmguo<&eOlz9{1s#XxuOS%B1Mn($C8cclf*OL~WLi-1OXWt5F|^w4P1WmbZP^|L=9V
zd@I#3`C^rYn8vbVZ%@B}PO1T`6TO$5pK{iF_xbsj3zIyi$y8og;mR&!yG4AnTK}OL
zE4u?0<%sepc`Tl_^uvdHv0L8W317eVT&~oDmBs2N*_Wp#bp+bwemQ&(RCa9dxEwFE
zL6*rr_jpLuFKI@*^Z$>kIzq;a8yGqND7J;@Ok-Z?-0s-Vm^?wpH7mxZ+{;-1AEyw@
z(W2#Uzw?+)HZOA9`6n-_gM%$H*d^T1an`hR^DP<0&&@mZD|UI|s~?IwGi)Vam(9EK
zPm=%L-D8ioR*OD;?k_)4(bMJZiwSOvet*w#UYL~n;o;%xIo72ytv#))%N1*WbZE8t
z%-kO3DsukVhPv1d`QO9V+$v&O`Ka~Kkx1^O@~9?Q0U#=eVuNmUJIko&98@SI)w&b-n)8FbXNB`ZueWCh91!;l52IWW1%ne<<(q>)#dEd|C
z-P>Kien=k`(EhpM0*}xKP^DPMa_lf@!sLNIr-yHGDZ?e1cj2pa**SM8I~cZ1XXc#H
zP|YNFWP*OYo%0calSvhSU#arFx!dP=?yF(VADKDU#ZH@Te4M3Lc-{0`ma{X&L7>pF
zDko-d4P)^0^#>Q$S{JU7S4WtW@WO+1dYyV54Plm
zh#HIKJG|S&`tjZ0XkGh4&IivM)uw6%}-^
znmFUg1dBr91>W-?R^5B{ReSH2+fyW!Qmr=eZtU4Ll}ougPkrv`DUw2(K_a?mC-O{s
zqIvm6q5pilL!X!Xn>auHesG@RAA!jYzM!^&L*|1YV$AgKmNSjUt^ZF=&jP1?OI!$*+mjb4g6BE8@!qJi8_xXf|Le4*dYMaxJI(>P0$;&%5#iO6^
zWxgU)>+g@dC6wMjfo0-P)=x9sQ?^}seqUXAjr_Wb%I&$LIzs2p}C+G(&`OJIV
z)pYdKi)>*xz5_cR*4lh|VQ^EGH_-gu-}ufx4$Vt4*GydAytFP+YGUKg`qZ7!g3L(v&dF-m*LI|O91hF;
zq_z7nOCJ@a0SZXf9T3&bGHaM+I*8
z$*=uB(V>FjJ3|V4fuw^ML;FnGN6O~Ats9a$?zYb1o7}LS<)47_lNbH+_a5Jx+WkvF
zU#V&5@y+V}A0GWQKH@#W!`S@}f93(Lr{zvS&ZYCAY3zrVldb|vGY
zplOv4fA)!8pH4@eRGFw~)@>kYa%26bS@+xh%e)`o*ziy}Ltc3OvFq#Ow^**8^4cRf
zbUoYA2@E@BEHpW1%x<`ObOOJ;-Ge75C!d&Wy**l9X?>5JeVvWhG@Z^Pox-zkueW~|
zy)lVZNX@51C-R@p>(A#O`OmjIy2y3X(|`LFKa1-|i7a&bEA;I8+UWKV4-YHH@2mM2
zdFc9c&_r3cxW3!AoSPH0!}avfe?F6T`Cu!zxZA5MD{J>I`^|j!c;Tfbo*F?*I1aUN
zHZS#_zNqr^GY&zemi5n;N<7l`u{lx3x#K*SVdcR$0=Ik98zTJ-RSsMzN)p=O$uzG^
z(d=cXtfa5uk-jG1@Z6aVH;)Qb{+Mf&%4Jvk>&av14I!>;;`hs`dQEYdWs+%7{LJUc
ziHV1=+xXA5YK_{O_3%iiFo&eklI_n$bs_?;7Zw(N{QBpftVVYFsVST*gO&yze0+Mk
zz82HT3Hy!H&UAQ9)lzh9Vv(>cS`vBfOBQGZZgKE(zZ0`ewfp33UzN@1c=~SVteie+
zb3Lc_e^-@HnY8iAb`?Ff$)EIg^2cQsT^m&Y$8ApIO*+=o`R3;4$5&T}cL*ppt$*Zg
zctrhD&HXmcKl4PBid;82FS!|O^Nnxg!xyt|mf-5IB!n5d$Tj)$U)d+wu&vtSdPG3bCTNMr!q@S8t3;>k$Gd%ca`Nl{NjqQ6TkXkHn7?^_Vs-HX&Ay3Y5E!*3<-k-2Cc9)E0`KmGIH+h2sAdS`u1k!Q_cHJ
zZf=__tnygVYl_CMX`04QetmtNac76&scE{a4;|f_ecdGa$%%=|S}GpXTvrAyEqN>U8`U*NprOn)AN1ql@2Y`-V?mJRi@w-9HkzsmdqG
zV^hk>3yWO2ds_<(j&ApytQKXbd?<2F#C|WEb{@$l?eKL8=jK?}ux&WLd&0-sZ(7<%
zo>*>n?y2Yfanku7$6rvNt>Gc43w2N+7#`f&hEEy{QhfOx98tqm#rVaPewa@oy+NIx?i{Msr?M(UthGoeR*-wxptOmwpdJT
zZ0HZm>ThefxZC+;F9`{pY?@Fc`*LrhkjkBI#ZR-sw{>PH>^n2xKK^gcjSUO`S=ayj
z6L(AP->C`3u16+reQG1v^X|^h#k?DymVS?Ue}Dgav+fH@Ppy{;+E$gk{rqrl@4n8(
z>8VEg@%us!o=S25`RVCIjX))zc{Y+~XPE|H)bg8S0a{Pe5daTkJ?$e;Y(Zfx`{S1L
zJ&xMmF7`h-rU;ieN;d&!YudJ5=qrZ?Hp{Aj$Yc58EjMk
zPexGL?aE76i3vIa8x7rhBnryPuH^_?#v27MF$YcCg+>(EA33+H^!1|Z@9%CIAKokR
zXlia!{|%ekUnM44U$Uz!1l?4;osHb~Y|4Ffr1RIlHOfj8I-HbRJeaTl{rx?gIePu6
zlqHF4f6Hkrg>dk{|M63;FRoMZlJSw+8rLlod&C9jJn8QUE`NW|_0NxwKY0@R%N3J<
zzX=ZOI9Z+6F7eyy!{qWkg1G)qBqa8qi3f6Lr2bkgI)nu9A-3_Qd-IxODa
z-roM^h*GMJ(gqK+wv|3^M|dKg+omj>Q8sDf|J~xwdp7yH2xw|fXdwEpqwg
z&nRMFS96v@(lDuoi)qqPg<1t4XCp(OTAL@1<#%=zMom(j$z!zS{)uO2XMa6-OWV+;
zZ}J&|lQk3G@SeOefv4|&`|mRXCrdnL8ZG@dQAhOT3;{;B7Qx99N`D<(bOb*-ZHinH
z-*H2u-o?ehw0Nr8l1;KXOFSkPyuW8FTJoeZc2n>Y7xzt4D%nSO|C4@qRN!Ufqp7)v
zoLodso)Ng{-o~NxXm`PvQ)YqzOH4dZ6}wC^>a{F>mT+>C>Z^Ve{ja&qp@M#U9;>Ii
z+8w>PJ?X^v_xHD^_e}BetQXdtxiWII+EIb(JwiNLX>7Khrl?&;a1E+3*3t_-@6`X=i_F?ln)*j;R!wzE7r^jkoE`!XMx7*WbM{
zlZ7kzyntrqL>~5&NfX+0Uur7twYc-0XX3GCN>v`rfiESM{+ms$IdNptQN>!f6pzZT
zl(`)f6l<-QRIca{p0rSDulf@HR+ALbg>I+vT^J??@qFhEalJ4>NW${{{{R0jZxR>G
zT~g!h<+_B&VSyN!Q+goa(my
z(r%YF&DZTS6~9$*Z;GB@&%lwi{odume9(>?RwpKv2lGHn7xu_$wB1O!kg>^D=)+ct
zPv73&p05!oM+7nhw0Hwj!v!TTC4_7eS1~>?MN*0X;v`Nb
z{yWR=DJ*OMydm+hQ(67Q%Eh=_?HX(=gtv7hNG`TJJ>iVd
zO~&IYRvik;W))^GO9UpmZOT~ExCT^&E6x<3#Hr+bMDS#bAmc&p+b%wndL|t2m;b+U
z?FJ5qNAssh?tHGbzFXqa)U)?)YUtDoyWhO%?$zCr`|ZumkFTz3pMCSwcAt`l=gvtT
z`iG*}KnaQU=GyZj&Tq`V*jf7-9!YnzX<~WP*|03F_=XDOz4N(7IVQLIIDSO&Oq{29
z$n}(~kE&?h!xSy&iLr5eq&_{+;lHfpbfW0ek&s{U9%3Eg&V7?V`+V;D@#)1yWfjj!
zF03Mz{$6n|79aCG=1+>=p7+vu&y*WGzTW5P5Xo0Rn
z18DKILPW2j=23yUDWkC%(tb9#pA#}&>+|Pir*)ryAH^3o)6(;&EU)ixh(d_k*MP$J<#y
zyxV?#5km%Z!ZiKo&k{ii4rNDQ19U0-;rX71M?NSnYgS2^&LULt=xZ(mr)}lmzF46}
zmsK2?rl~m?9=UX6ryOWmH-m_Cg=mFmLlTERX!BvU;s;@d_m$s-a({U;U2|_p>iBxJ
zMQmcjR>2AHwPaKhxLJ5U&b=kzcjM4iCuz?H7N)rjM<+P&Gx91h?gkmV?y&!J&jaBs
zb#b+S&W5vpQV`X3ESTtWsGp#00fVeM{r!z0&}J$`#Ou)G271gP${`K!kG
zTEW5ah}9zpZI1)9KxyyUiwkA}JP%zRKv`*4cELobz=?3^qzpq2Z_
zry0+NZ43ZKhX4m?2|iPao+ne8-vQPG3=DG_d)Plb{%`$ZJEH-MgE_m&i6ecqj9dDM6%R-L`i!
zZ`B!v475SZ>5rZ~c?L9#x3jaz4isP;co@4Br#(Cq>e0YrBQ)X7gyjrQJF0&gH)NdQ
zdbreyN#%nyqjQ(yeEa&Q*OPWy)IVc6)W+R^=O>q9cHbTjQLCOv{f4uz!m?e8$P;*lV_pJ0QYeOV{
za*4S&KYRPvcdne)XzGZUq4W8{n%g?J+60BKx)Z0J4oUh24
zcMbQPk1bBy`z)=yum0$Sy1Ta?+r<6)YO7pGc4YQA5XBiWRpQg*^Kyi+FFVaYjwz)Ggk3Rt=6e7&+GJ;w@*58W2Qw}h5R!g
z+2+K@&mUaaH#g(v0->;c>%Ndo;~jn`Qo$>R`+u7F(3f}WQDb;Gq
zDxH;dPvt&)TL|FgAM8$LO=_VtU0
zmqb{*r#kLc%Po1QSZnp@%*n+bQ?4-fMwhh&Kb(~1&w0GWV}^yM+S$U=&F`=EYDYZZ
z#o{~1`lZ#qx$$dzl(jSUc$A&UVfcDO`$$cIr7)*NPeW*@qOn@BfeKpz--P_x1_;W=%bKHHye-nn$nMs`9Be}n(6*5`|?WtN5{My`py;2X4&;kvTsJ=qlLbYvm{I_
z8M~&hYq`W~q?oZGA>;nm{c@N0RqE=d7M8tysn+&HKZeQlv}nM_#s5E?{PE$Tt&Fj%
z%Q+jr6_-y)PCqyQ*aJJ+jTvY2wx<8-sQcw^6u!hqE&16TkGXb}yA+J>?W=tI_9vfV
zv!c(90ttg8F1tPT?T&k`7eu~3mvL(sw^W#Z;|D>dl|PDJ{c!y9_LfvMUyMVCfZ{}Z
zZy^!gP{yybw;kSj`MAM`^y)LQ`$R22i#43lbZ(hE>udA@Mc1s=JFfIY7|Gw*&85=KdUu_(wAHU$eXPH~@^K%1v-5KroS)0Dl2Ees`1a;b&mvXrj54J-)_!jQ(s`hi|
zynZRR<*@o0*P}_60#+pwUnC6JP6jPGcC>i8fO(yh&J0sYWA*+covZb)xJf>W-ow&)
zHE(8cU7undY%PF`+{@@B-@_Afw-~YY;-m7j}*70uT
z-|X@^E?rk%hM1g~skV)aUCG2_<*E11r?Q_gTE+a}_;u}fdH%-i+iarhDaWUEZVp=^
zG07scsN|(_O#j53u8>TlLrZ@tbwHmrY$C#D4cz
zpTqWVy<5MWsLkw~B4xXyp50h%-E~X#^MzN9cE9GcJTuWSa^^d_8
zKAA0tq(Fhi8@OQxuZXiw+br(Cyo_Cn_0IjzqZAoe|NQs;?d$L*UE*HVO(E+)uRh*7
zWp>QY5q2qeD?M
zXnDDIZJ?n_uG)?g=>^ZPXiS%%x%sK%E}qCO|4$s;{2eq{Uz>mB!Mq(6|E6$pOp=_W
zky&&l?}pIP&&yo5*C}tke(Xx2vq9>e0GWLsI1V=b6SB#R+28cwU~~30w|P7tZ961C
z?MvDG|7nNAtQ73E+5Udh)|21;}Ui*
zH~iMDITEz`XJUq`O-7rjz=PT|TuljxPDT^e!aY>+Tr@~2hQnc2X6P2
z&RwAO`HPGNo9L=*SM6k;pPS?G+AZ{9$P$%bd~;u98!pLP9Cl)=o?ez|M&~uzYDbpY
ztCq@M+>y#2vikB7XXdM%%IpbuKG@wTd$H-;pA`WnyKe=obYq@lRp#L;I@$M9yG!fT
zliU+jBDwa|{+0?p&e!_I=Vsv(t+@Z+Pu>2!SIGI8PbACoHJ*XnHyUS|=5(H)Z?`bx
zT}a0DrSqprc5;|hoZ*?WGJ^TJ-+YIymnt_Vo{v16wNN5yX8-bG+BBy`}jV2%ddjd!{4s>m~Ir#WK;n+ojWzI^G`Zn^x_0VAa0=C(r5Xz78*X
z{aH{otK@9hgu4-4PyN>J-glzU@c#Z<=dYW7et7pbdd=NJrf9PrSuamb?C#&%-aci8
z$I7nE6E>_}Q=Ix6lLfRwGDKN}mY!WP)@k`RkJNZ#9aKdKB!5pdi?X6DGgU^|4)9l===M7hn}CGKhdJIIXa$q|EJ$S
z9@@UUx39Cl`G2>I=cLE;>;K$;_5AU1{vE}itrofTwq+P5{k$de@}gpI)MB^pcVTJC
zR*`a_T>n)5`Y|!B{Y2RQ{rvCGeLu(X@$apv-M7S_ey{vr{gsLT{e9;>ES-0Lt@?3m
zp@YSQBo74#^FxzrIt-jdbYC@J{cEsg#rK#qTAUy3(xxVIYAn`hV-blwmmLP$UfVT!
zGOHb9-GA;s5*L{AIRbbdK7FXqRMYW6+^pKJ)1K$8<*%?;*6)+Uq-Hc2b|-lpD0sRi
z4b+D@<6s$^ApGF_{sVms*S}8#tyfg|r*xp5qdsx-^T|IBUzoQzf9bx@c4!Sik_4?eG196y|KCCUC0u@>7L(DY`gNnxn-$`bee4U
ze}kHTZ#b{5k7_EB+^iUUZO%Wo$}bn<{(S$$+BHR|KUX?jIq8YUiCN0)*FUq~QQn?+
zuE61(T&t&@bAFby
zbE28En7Qz@Gqc-%a86d3o_w&u==9+|+SAWCp1LAgBLDk-`^kTsre^)ys=KHEuc=e?
ztOI&SCM&u9O(_%G)p_NVLT+3xs%d}X3@tJ~jC
zPyZOJ`o-+&$S!}kAnM~Ii`t)DdUy9UzEbt7sJI(1eEWi@o2c`-xz_DdwZj)B9&YOp
z*PrK>^84G{8yl0^^X~2GWZ@KAkaV=`#5~*GM;Cp4aZy<(c9+Q6+2-yY0*ZgO>Kzr3
z-x&Gl_xygbj|@Tupzf~t^uupwUk^|T_uBIA2K(BWs)(bm%JFx8^Uv>DwN<)$gZnnE
ztc&ZUrMADxFtq+DkZ5?tE%L-8d!AJN(woY0a<9Vk?B3+}J#PCR`Z3{8PwKAFSL53R+96#n4c32I+?fSM>UI|pI`M$@>}7i`+O1m3e;SdNZKW?i}$~}_R6#~
z^BZ4sUq57+?8GB!EetAhE6vtLwr%sxUf?qG)GpsyJ=68)DZ0Okcww7jlXWfo-Se-1
zik*HcMFy@dn{5BC)M)z2f2G#`ztXe#pMS9XcAX_!!?1YQ
z{AWh8HfjHubnb4EY!}l#FeUZ0LGe>9ndn^-@8Z9&-}}!kw4_mF?T5XqUA4$9H>q-A9Zn5BeC63i#`_uaDoqAS%=SZu6|9
zj_32m?OZ}BtFKKo1eOT^7nYm-;+ig>cynVD-)S?M51(b;
z9c@{(GgvX(&z(oY(DnJtYwHZdbmsLMBp!bF<7xV<=kMN1hqBz-@LXq-s{d0^JTM&<
z_#g1t(oVo&i$u}$ht4Ycp>Bdd+<1O|`@36CS|=lbXSS*Iq^BFp-{siHx+t}=aEpm>
zxAT3xTzOCS&)?(xd&B=p>#`Jo5MTzpdAE+}J+2xQRHQn`hho<>lqa_x4tINSo_z
z%e&jP$hAA^Pzz_q%}q;hpFeSHYj*O*MXnV;KdCCYe)@m@gpzBQf_tCLi|gmB8~yib
z*Zln@da#-OdwGav+mDWOi|+rg+0w>7;Xppin;@Q@#jmZF`O7r&uAZ(`)f2Je`V!t%
z*K=RBrD0pQxoi5CmkSpreifQ^EcX}h#y|V>CYu$MXm#z~y)EI=i^g5?CC79uFKm3C
zu$|qoQXq1BR_DIyy33WNw!i8yd1>sNlXZWOn3PF&d*@=dSNYkGkNJ1V>G@tfveVco
zt-_q;`6y(^l3%gggA%7`#rvM-n$tBUNbMePm*Sr3KPEP;ual@M
z?ajNpfh+hpzw7^p!COk4T2B4DdwW6hdBvzrmo_IC>k6-qS=>0Q^w$wV(2~b>(fx~@
zCg#YwoINdmZqaUUVV#)0+=|X^mmWX;tUbS7rgF}Q7Y}WDUOi>fJnk`BZ}L0o|9_8{
zpXHG>Tp<1Ei1&i;-Tw3KlD<5c7qPo&;=kPi8;xGv$zJj9^Su>mntLj~v8;>ktGZGC
z?_u-q8J3wMS>`#NEuE7eLb|zoe@(ukC>pixecz;~t5*45J!P>d=*8IP
zz+!rnIJwQjrx_a^hzjjnEc~so-S*kv
zqWW$DLm{<($sSv4GsUzw7FFwW?{3`wOE1Y|m5F5G<6odQzTfFNReUn5&(xjg`S`Bx
z^<~pjzi0Tj@O<6p+pV~}PwwavRqu_zZy2ih&k#5qb4xkAEj~3xDMuvl4vVI+`Z1mB
zp>jti>^<(k;PZ-$7NtLpyq=$DpT4VfqH?X(7YTDY&ZOgRXI2DWOgi9TQ~gsYb?zJi
zs}Kzp|0x2oQvY^Mx2ydqBzkMx(GEV@2_|(mChzSTWM5x*-nJ$4;be)T$MXP1D2!oq`{!s-*O%k$2z
zn$TW(a?6C@KW=PHHcURov#0Vi+fwi8$0jH`3)t0Eq#D-#D(R6hWC~v&ceSTyqO!Zv
z<^R*Yd}o{SZcaactd(0lV1WapsFur)2|C?JI)xuUIM{q+Z?(CMtgK<(p9&SPDIU*r
zZf()rlzMvEQ~jV%O7Gv^*(t0UwB*2wz{L|(JcXucg>tF;&kJcxIyc7>G+{H(rn2er
z@&4)`l9k`z#cn-+^QPpuSNvOR8HkE;7Bow)XH`>+(Hwj6EhO%=-Cu5F
z{5xHlIN=XhzuPmZG#*e&n4Z*O^8>WzSia6r*1lt3Z1nEG&wku^Si2(foag`hcb94w
zJ=I;3bYfYl_Jw7IrgQfG74w&~b$B>O^UL<->g)C$m>YdPz@$9ujb$abzntxr_6=%l
ztrj{=42sxRptdci;OM={+Y2AQ@w~D!M1tAf*ZI|!nFht5JWd>*zvRPd@qd?Cjg-8u
zy!bWyiPYCwulToK>s@_l>1&6SbMtP8Cv}AHbL|xq?wcv3lrE=!CG$y-_jCW`g86+B
zThh!orJP?}e0oB=P2_#WqwDXlsy6*0AQ&MZIXm|Harw6V`+L59k~%xXl6}?mv+e!z
z_DK&{&0P_rBtA*SyRma~_$%?1+k96kXP?`X7b#J@Ys;aTlifFDy*4~sHo>R&u6mx+
zz6*0KiX5I>)jqaw;S&yP^jdlIfuV80nh;mevf=oBHIAFF%`JR)hV#rU8?Wlx8K+Vv
zsrs*FO5dNCyCL&!QEh|&Ott1NV@0R7BTU!lYH4*$czCIH!F0yzivN6{(mfXyU(dhA
z_uNnZ@PT=64ajJvh1;+=@@5_0A;!wy*0<7S72@
zFLp#meN#?a+i~DfV#a+x4rw!)XX|dX9sXVZ^X0#5i|SlO1F@{fPCC)LdHI7&xeP)o
zer<(^e`&dItUUQAGw<7M7ya|^wm&@N{^8@{L%(PAcl4Arob6J~zqj9gQqs|jO9Pdk
zoSwv5e0|NqS95n4RKHGR;T3XWW!KcbXqC;fq=>t2{ctdnTIE=&B
z9(w6Ly|Cn@Qb@*azLi4iZm*+EFXn#=k+G?j+RXOl@HA$2!=iICHn;YAZ+1)DwQJGo
z7lu1F=W5^E`@iAUT&uK>E>o-w<#J0Sr-Hz9&T~G?$-O^
z)7k8hjLUr4$NHTQ%G{i|F(~y&ryO%_l*#dh#_1PI&qUn0wTaW)Jpbc1pR}((Hp;#E
z`{AQ9msw7a@abtvrI%E8lzdh*3R|@(Qcvl|jYl8+cz*u+`uhBpmBFh$F7B(X&bhhC
z^=Nz4)~v*Te|~E5fR3AB6|h{Fe7uiCTyKuu3D6Rq&{ZLh&(F;bTp6V5Gt-Fm^fcYW
zUteGU_~yl&MzMl@$yBeSdY8J8+T9MIqUTs&lsG-d@HdXJ5C5
zspE`t(y6W4*Z0gZ&b_r|-mh;T9y%vF7#{h}Kdb-#|D2D-UbB0h59l2gsJy``YsFK=
zBhj3q8T9zk&frGnYx=L=&boS}xqAD?innolz3l3Lb?|s9CB6Bg>M>Ofv~6aoFGsvx
zeOD@Xdg7T2aXU)>3$KgcyM$jU_}SVp!K0fW&ORfszUKC(d!hB!bzd$Cw{ZVot+xrW
zIDS2U9Pg~{?$hrbt|=}3tavDVM#Y8y96x>>4%o!MXSbW`YfqOGGd4bQ^15mE&bHfQ
z;^Kb?e>^_Ue`2Z`pH+$cibowQQ&Laf+B+-u;amx&Mc(&%I5#9+R@~lpWGQ!w)1f1t
zwjGLVt-re6Vo9|9a?yZu<)qX=gWb(`C(Lv29zC7yz``x);u;`2(ar5G7ptJYW71iM
ziRWkhwv(MZ=XGXU+ZWElc(r7qAm8tO=jYp3X5YRyclO;QESGC@U;Q!NQTteHn*OY{
zF|HqOY_IO-GJf>@!^h%)ZAH4Gy|2vjc%Sp_y>d_3oqs{tPo^97zw}ym$G^+J2CVfHep|1SwdU-rk*s`uRg{nZopEtJztM89)~&nCl)YbtbV%6Qq}lf}`*@er^J#`j=VG3moFUkLe%{xO=^ej~B!4aq+%#$Fg$*^8CE1rG
zn$yo5*|Rmfu<&daza;y%62)ruwl}x7zFyA3`~CfW_c<1YSJpl`IXOG6twV7Vp4vl4sf9;ZvbS#XNowQVGQH#uM)9kRb2PPOv2LJ5-
zBjmivVprMU&%2DysxRsc|JHS0DQS*nv0LtB#q85_CM|rl&*$0K*Vm(_1#ioV+*AKw
z?s%WO3%jhZkv3eh`(NAd?~0kn0Wii%l0X3S~g|-j`KV#V>UOMMZ|4=
zD-pE(?20sxO5c4xom=)S@t;1eLqd})P58{YW(?d|Kc
z)}{+NYhBHFaBaiatEZozn5VU@>ta#8Y3jC$^8Kb?vp&9?eB$?v*t^Sf!gwZX=-%AI
zDeK;Mtw=00;?}CFQj@holA5Qdxb8~f%ZOR2w6Es(s+;0}=SDAFvRK*e?Cf^+^YICH
zk9@3WiIQ4TrPg+$aZ={QbBdByrYrhgT)UI6ubCNj>eKHJD}B-~w)MWSOk|R?sqC^a
zT=e+t?(&TI?dztUF?n}c{C%J7#W%v=51aFb)W4ThT6F%A@9cuSsoIyOt#7!s)O+>Y
zZB~1Pozu?G`x|Ve<04_st0_8hl7wdeL>-Rv$6j7u9;)!-+S=J&s>>8rbv8}*YUh*P
z^2O~`REo#X-jo>~ACwNce|>fJtAymTv=u>I%I|l}bBpU;;o%W#WjD-TeFeLO;5^`RK*-G0Sg#P4dj1{`p(xzgr(J-~WtJB_WZisP^A~ebu+l
zJU>4@-TaMd!anBp@q3Rn?!Eo>p?lqDP0f#!o+e5K9oJ9Q{&YJ
zy*<*`*JsRKdFA1138QjRE-~G=tGy@i3+_8~r1_uw0e3?exet4HyQNk~o!l|u{F0ut
z?0OZqT0*>z?yLRVWj6Q!bqn8Lc^>@=JOAm=v0S-S{`h(u_a7XBcgws54PEj&g7~(-
zzao32kS|
z){)hRPW-E~zghHPk+kZ`H)c>c*6)!7r&>l175s~a9Ec`xwrxb^K6b*afS
z6h8M!-3cz=wX^Q4(zCU9`eb%~c9uGt<|*iFoOEwb-CA4MmdsTZ3om3}hyYF9y!(H+
z{rirhmvhoC^8B>_c8=xFu~)wzzZMttoOvpwZG}%KkLuDB5lc7(l~k0B_*>6R2~iSJ
zQq2s=m~u&BqM}xC>!h7VE(`z6Kc95}f8nm@cdF0XKA)Gl_W8?;w$E$7$GtC~U;cLM
z{_3?`*}wa3t^NJ@``@6IM_ezhJ-;|=G0SYujgBVm%Fe5}&r@0^;Ty
zD|^=0f4lbA@6X?xk;@PCvOU_jby=-S1C+&wnCX*gnp$|9AD4f-9HUgl*gJ>&-l87yUY~=Kr;tz0WR8R5tqf)bi4|Z*7+nPb{`O
zDWIfX)l=&uw{!pEYnmTLQy=#8{Cs{#RzD_p*cbrEvcI@;a2!wXHyZMoeY3a^=5^ibe00n^P_y+WvG>
z&CjH7$KUqz%(Son=cy#)@lhd&aiJXhQ8!QTgUgk3mn9$X`z1S3K<7`VjN;NK&t~U`
zU1Di;X!Q8;>9oFS7xTj@;+NuA+}>FAHS6Y%!o`#LN?%=>`0%j*(psmcD=Pw>FMD-~
zYENtVys!567Kc}%;jv4<@BQ=X^sKzYrAw|>xV1SPn6T`zr_F^4-o1?ljT1gD)t{*P
zf_3La-P)2-r|c<50lQ|FSC6_XUN1T2V9FlDviJiOI+hE1#g_c!-6oqyRW
zyxt$F8ej9dJLS}ro6k2-)d}`{w<0!DPR=gwMq%vUq?sjowPi||!;zVy#1lDkgO
zVvaz!V2U6Y*V?fefBJ0GvBPIt{QFSX|i!q{vlP5Zv5>}pWdj~(w9Y@D>+!Ljza$LoxH
zyB1%QDO|oKVD%Em#m_e7oxOf(&A+dn%eVbdc3yG!<0tOml!xlsTO~GcfBRwi>~hAS
z=}k;wueZsD9TI(caplr^HO1w(&v`W{2yEJ2{&vFgc{5kKh`4a6T$m&py`=oQ*~)GC
z_BsFJUd6?`d8YKqEn6q#{%hCe-52VwueW}3)LhJanoi`^Hl-y@m9O5Pzqjn!7X@W!
zp;K9)OqTk)O!MvsKHu1tQTyhsxw#{7)s_s+?6~UCbr!KlCQVccGRbcB^2{`{e|tkw
z_0@f~^LC#$+^H+(^_^JxzdLo)pQkr3t@!QinZhBcGC^>4++6KQqx5O_`Q@h6n1@}L
zKR)5y+$HB)8_Z7nB49uGW97Z+UD0yS}k=~vs=ygO37?QjaA!Eti8JGe@Ds{?gai
zG#@&iozN+)uBGYZ7`n)Dnoi`RQb&bgt&kN8_iMk;op)=Elw~QNF1~x-8$w
zMg2}u>(Y{&pQLWREAzj3a;b*ap?8|C;rC})8^646T=GUG^VX)l^CTQkSXyuA*u5xt
zzU1nofz`YcE4gQhN`E`?Q~b%5_pvwjddDYju;6WLoh|%|`-5$uqNc5MH%He|tHwW)
zM!zIg3s=K_K;^Haj
z>u`jF)&6tLlyKz@7C&2Dw=8$4iVOVYwRidZ=I^gGbvay)pVGIVd~mV4$J^+49$M4R
zlncz&xfbgp_Wpfp_>^l*i)NeGEq}rwsLkeqEY*
zi|=Cj^ywOlFPaqJ`xny2_hOZcaLUHl?2n#&nv{A@!THb4+gJY7o$Xu7wsgl%wX~B0
zZVRqIe*EO+P5qOV&*yE*o;%Alc+sKYJtqbBN!wL+@yx9`Wv>~$XNS$b)ypRdFF847
z*Ows4Yg@b5#Qa|yl6y5u*(*lGb9LR{uPM{dc8i@jTKW0a-~Dgy=^lM`Z;|@;0wZ6q
zOrtBRGe16CxkBVpj+eOhvL&aFUtX^Hu!+xO-W4%4hnHoR5Ts}YRV5pLtNBF`ETAI2XU+o2cwd5=m<8WHVdr@o2je@Gv
zKR!O*%FA-8twZR&iR8ZKKMGIVC+E(w`EY>Q>y$kIUazuiqCW#JqQ>n4-~
zpD}idb~)j&X2QA0U)m)W-aGkxe*HSDkd;BMoQhvQTwk_6eY43-k$7`u=b)AodL1fE
zoStnA7TgSCJg(ib^GbA5G}xP5Pyef}e)`DCwZ!r1llk@kE?!R8(=1t;V)Hvk*Q(;p
z`~8zRCR}-Ofa$?;U1`LL3tPMNT*V#S~L^(U9za+vb&N9yinodShVy%k)x=iXJ4G)f6cIwa~;dObNo
zQGid@Mq|2&-Y@w>Q(t>X{`@+9{?)K0&sapRo4vQ}miPbtXl1(BuB9#g>)*fpJpHYG
zX5-#P)8nRvM7O?X-kSgW+nY;Qme`2T<;pys_w3A6^_9MTI`_W5*6-3?vR40NYJPB)
z+va3VMUn9P$4w*;dAzx|Kfdnn?r_i6&BpV*%6)rf?226YWUSVdTGyPM@7{lEzq22WOz4k^=E-Z9bk33MkMEf%@t3xMS;>Pny
zvIpISIi3FUaxg72pJO1lq}sv6AuHuv&9gslTiCx(*C_0|;;!KQZs&73T^}!(_Vg^D
zB8N$b4wue3Q1tC)`tPGswF(6n*n?V6@cMgt#@F{c7hI5&P_+N^p?Q+CfT@jgm5{Aa
zhsyUHx3(o63nnURI;Dua2sO5-IxBHj*?h_E?x>JBT2k8)~!1@-tI@zOdE@=l1rUNFE8eAsQpv>X2zMg4FU6Jn0mik6&>zBrL)xY?8RM6
z=1-7v-gV+IzrBu#hbphC%%c+mi)?)UbvH~@)cmK_!{aHav|C{khlHe%=a=Li`Oz*%
zK0I)BD^+$@YTo_z6+7eRWX`Xj4UAMo5ARL-TP11u)pFkulS~a&emXFc~
zMk*W^-c0-AeBi`{FNdwxRejptVX#^}+$xlTtkX{MSi($H}bdd}f{N{SRyz
z?L9o5`xH%jCpjLFmrQDqWHRh%@SSgHk)J=?3
z*p6G?3pF!R+2(HHV4afUk;7kpC?h|`;}B2jBAXQx6+4YC8UC8%)^_B@0oSOv0TUJH
zdEYq(uvdbR@X?*p`j=sG;e|pZ%O`hlGEcXlOT>_2k_W=_W=ainG`AJ6D
zUG<9x_w#efPc%H9`G>8Kn;Wv@OsFRR_IE4aPR@EGvG3*O<*U6yGSfdgfBj`@cXLyNSUC!mw8
z4X@m<|G!tx_3w@3e$Re62LY*tVgjE{xxYBHo{hO?xcyF1x7^ONY8?A)vpeoA_y5AR
z4q5xxLwN#6$_exPHH(+1nK7!r
z`}_U=^jllAPq%OiFDZV0&WdHvZ{6r^A?mNT->;i2V_C#vYqB-#YLL;_i|+DYZ?m0i
z-)wuZEG@-j!-<=<7ke5eDqgg)S{7}@AtO3*vr9|y4tEvjt|P3HP4#>0{#M0q{`0=R
z;Ps-T-SKrlQ*EVg)lRz>@3A4JiR9J)W(U?^E?aPzVNLmD&54RF@%DeeT+TA_XqGh3n)4#bh$YUQAH+on;cZZENP`WuGql+rQlZ`T6TZDr>Fb#9)5Rs_t*Qr
zv&~LU_P5h?S@pp-^j4;R{=Ge?mVJu6xX88i`jidEVnTO<_tjKJZpoOqY5kr5cZ$!S
zJlM>>wC?XOqpT|$d(C#*ar)Q4TDknm<9_>VuFki&u;?huyu7T}t!c;63vIm8C4w!DEczen-|zii
zvV6w2i-K-5Sx@hNzi;*Ky#g8rj~VrxDom>NFF)M7MUTl@A;5^miE;Lk-$#C*+|4x6
zV+rf~N&40eVK=PGCTx)1bJ=B4qO(8_-^G|WHicR&F04mbw+Y<-d{jJs#a@M1-Q|}B
zPg*2R)e61zW%`pGJwJgZYAzbv+CJQTcX#*dx5_=&E>|k2i2g13(Iu|`E;zpAh+g9I
z4!uU3gXelA44v9|Bp0c0WLAE;ygfhO_qgY|dmC3j%i%9OA3pm=Y5Zr;hO!e%&P>&|
zZ(eaICZu?@G;Ggnc75O|C|Np7KyeOZP|6Z^O`$@gl+Vx3T9xa^?~Az{HDmKkX?7k7
z1?{jk7dW_-R?J*}Q)Gs9`MM;~ywu#|GweH467o_GU*uf*HRimj0RNAhXO0W2`%USQ
zG=BB`$Lq_>d@q0HDpq?fQ*YO3E@_l=!ys~3$;xy0*Lc_bl+54rvF%Rbaam94`F_Ve
zC#!irJk+{0@9wT$ZXdVSecJl&;CK6?CmjpeUw&@qm!J0R?CjTb=Bs*(^*X%2wRQEm
zuYY`R)&BqY_p13KeI@&u?{~g$6_2}M%FlGnt&QdPsh|7LpP2CB!LRvYe|44kWGo7V
z-0L13X!LSRV2M~VIr;dZIa|1U*w-jnPw3-0xHGM>@9}Bx{=i0ohff#tzWe>KUEaio
z_j%=u3kz3WxBY%+FXJ%&U7}!V{x%)ZP2<$rBeOBqP;5dMwy&&L=;Xb_Lgsse4{e=$p`G!4$nMXX4-A-?a^SHhSHXO<`J@dt>A3_4}e^rSBzn
zh`*8X<4ob{6Js%C;cO`=G7}e?SywSVbAI+lSqo)l_eZPM^#6TnU7@y>Pl=ThDIu-7B@o$-42|X
zz`=jufBF1KmmlvFu4IVp?Rq0F82;y>gmi+^r9ra&rt}BcY6VK4S(#(9AtQcs
zTJNtf0z5f72LHF^-Hp1=o^!8H-abyQ=7ZzciSPG(_KRiTFw?r?L&DeQn`aVai{5U%
z{z`_IvB9E#mg%ttj?E^zqD@VuO#5s!U!1v{v+Bp};5{n
z*BpOXSmrmF%?Q8yjC20)X#1a0-#0X#O4GOF+s7xZzQ+B7Vuww-Z^P7n+wMQL~
zEnFY5G3gSY>cZO_HjBJ1N#Wqmk8_(-JHu5Xyi9Rr>A`cLs}ins9>18T7_``pH?&(^
zsEO$k0~6z6moH3DxY>A}J#NfURy)y~9{67OUJ8e%L7(ih+FMPbU;QEtSwV5;1-jy{FB2@;61CCAuZyaK-Tgfj>7HmG2K5^()Bib{aGaC1HrvN?>B#hbHpYBntxqoS
zF3i7`;(o^1_t^Zs%|AY>IZw(K4!VAQbLy!nnxV<%zbrW)|5Nv>Z(cS{@jpt~t#x6+Ee@RAcVr!nSm6cgvpNJ398LD)lOPwmGN?xbDoqzi-K}
zkTbzQZm!{$F=Tvs?pISUvy#wWR{6QvonGn2Q!1zT`kOgMFk95mIw4q7bIoi`utMyI
z$FU)1`|OuAthW^V)bzS@PRip+Uxj8fb=ccCXB2dZExL1Y@>kYJuUa>jeb`=?^!I7@
z-NR|df~#{l!a;pQ!E4-qy5pZ%mJ2%`auZAuO5vC-Tk~Gmt*zy}nues%$?1AE{bI4Y
z^ZC~Mm2FC6NIO4oEq8hktB-11llbfnxiX*oWUaY&CR^;9Ao=Gs)7(>sB>3VKZY>Zp
z;%>;gx+*h6%58~bGuz3ggFA$o*g2a84|r^RkZ|$A2>~8%?#?GiX7e-#Bpw%Tyy>F;
z>w}7O#FY)dXU;ib=iF2A&GQxC?%fj4o!j|dCNVj)OFnXX6rMwJI=o)
z62-y)prm
z@#?bm>D(9iGE+KkDpr49EX!E`FLcXmx#nMi9*oSpgIx@|)+m^Fp5PN)DAwlrO5ldN
z(mBa*JvbtX&hYApha}
z$IUaP@0RAAGn&6y^S~i_`}?_GV%lM6p38W*n6a>BOI+ieV4O3PZ=&g^R(Hv}D>Q#58@dGMG+rQCvTzM!D@#j@x3
zD;{N~c)W^Rld#UnNJZjG(~jf!Q}&j>zc+cqh&R
zM8d1&lbW-Qf6zzQHi1sZFDyD5Ec{G~%@b3O&&c39Z}s`X;vQ
zcqkYCzIj^(pVMQ5O?pNxCnV#4BqhlH=DFzfSK!c9K@S0^%LmWB&0Fr$R*{sD;vt~l
zbyw&r2g{}xGeENjWz`!@U9=Q#Xb1iEc>Fn?-9z(XZM%u1LcoUNCF^!_y|>_Lxe&Cy
zIm-2hpNw|dgqR;IZ)YBw_Gz8WW2em9w`+MDGk%
zkBr{HmwdK0puP3=!7kqvFCG5kV{B@b{Y(F7hCdPw$O8Tta
zRT1GGT2%V4hn^O`OqvXors_fo7{oGYP#WUTqp`Y%7&Sgl9*f7bZ-oYlJM?uvi
za$)?95Sh}rxI+*3oD_)g>yb(E$vP<@X7Ge-7b~ZaHVfNDF`XU*76G9ruY*gjZuakD
z4P2k{{@z}%x(UJV`x6+Fdjgl*o>2bKY_Txc>0-=$gZ=+Lq&hZEbeyIey^M{!u(nvg
zP4uIRvqlliX75I2iG(i(Mk;gTG+wJIffB-vjmgJ7-*8V%cZp97?zmN8>ip*>ql{Eg
z>1@Zc8Sk4}1~Z$InYhzt5$VHf}FQN~YY=M86DUMHQ-JUo5x;fAwQR9q{tQxY^0P<&@1`Cdv}
zP}TW{OX@~{#rz=4neQVGeBSOoJuy$URmT3dtf9XP`)f8c(MWfLex;mqo2EUi_7JQYR(r2dQUWEJAclKX%Vw+?b`V(
zF2CsKS!l+wk41X_8c~nGtv*SA4=og#!klpTsA(6t;GEIqdTbhT;VU^1-w{FNw;%RgcldUM8Fztp=
z`70qa_9VvL%$W~Q^F1&Te0ZSNZ-ZvbET<1n3N^o8F3-~Mlz8~}NT7rEjw5TVCOA|lSOy{bJ-3o;>HgKMmVv1+8ZxiCk*;Bzid)p7IHQGwL
z3AI*d)hF;y^H}|MbG@?jrOb>VCFg+Vf}%1-MLrL8&ZQHani-pCe&G>c&VMO{<7U#r
zhItmZW7-utrha&|<4^4^l~b%r?IChvZ1+s<_xx^kZ8J&yczAEZ(L60CO{WSOwj-N6
zCYR5Dcxd|bLmq)LC#SRQ;8-}b!@q5zRCTs`od8G5#ljaC7EacAz-jz+uS(36SP8M;
zI@f|XG4I*G=ehvz1gRS;{))GlqaR4xvP(97Zr$9V`*mCCJ!QcTUk7;(nJ)*!c6I$&
zcXrB`uiv!~w1LJ&|GkOLs`ou<8{JTL;!;Ww_qJH^Ko+Kr-h!bf->jb>Xx$O<$K_{$
zOY47j&BpnDvsQb*85@~3nd;Vc?Abk!H~L!2n(PjdPE$i8m1}M~USE89C52R1&5}xVP&nXvB6D{>
zyKQTt#+s8R3IZn<9hP0|y+kT7%Vn+YpAUzn8lN6Yzr4U}({?MP77feE|CIz5$Ql_P
zsdF)GbWkYMRFl)FnrdRCQhQ7-DW#*^%zyszEpeBc8q#gIZP_AxX0KZtOY^L|kH3qw
zbwt`qPcLy+IN;hbQSqgj(X~JYP)T@T-9~MvRkF)nCdxVc<$Qg0mHDO7f^5$6rPC&O
z&*gscjAaL8B$Mfn+M|bp%p1Kwe%K>e!=~(fiM=LTYzhClYu*z;1Gy>%oprN)uXX<8
z=J@e5*N8{LXt&}Wjv2Dt=7$2W?whC>XezU;N1x@4-qPFok6SuYe74^c+OGWhzfk#`
z@4cdG3xom=;iYDOrPqN71ENE0uIaW=FcwEj6L@5(dFeQ
zVkYVBRV`D0_Fwhe5BI;9r6q-)2n1?OUff}^t%J$RH2d0>?~68m+6y&!UBB403Nu+$P38KxP-K&vtob5)l7pMJwxF4{jo#bd(btBYK@ZL?=Ro?;Ov_^BzmC2W11
z?#|-p*A|N@idhJ0sz&Z8Soo}Ev%ooaU0B_zGD})Y}8Xn)}k!|Ek{#j^6{t-jNxFG7pc6$FG?v`R0q#n^Ofgis_N%udaA1+uT?ixh*HM%hqR(
zMd10iwhsl|qJ0TE5gQiF3rk4x=n}ZaI??^XijFy|N{?MqT#S}@IQh1@#1|ZqIKrO3
zvG|CjQRSzUmp3*puK93~z3B57EaVxIK^f$xKw7
zpzzm~rRlxA;7Oq`4mW!*wm8I0R&{kX2oU0
zTOvkADsPmHB3!h(J??J!o+8`e;PkWJ?8(MViP>4?x!5lA
zl8R=`jtvEE#qE5uDd*?e7X5y^{q*bg`}II0B@Yj`pI+qJeMM72DCNWiMUZ*f_7gM(
zv|qUFz8+KDyX>KW>?A3pCwI&5Pfa}Bmg#kN>-9M8#qRyrJ}(u#l;2^YDB50jdt0vd
z*;%HS-z&uKDu2IDP*>*h2^F7PeXeas?wyuN>^*s1D)68ELfBe>(pdrvovfFf@Zb+p
zNmDxNPw7y0+||v&
zo!&8_PU%xh%YEI~b|xGys*;ah&y_YvXjl`m(P^>YdF%IkmS_aJS8U0@ANT9q+ttNZ
z|2piAj?ACCGH~%R$!(9Dxb-evp7dd&z`eK2d}ni2y}PqB_|}%p#hQC^9$iqkS`)uN
zZkg}wWr1sxkN4Rs|5_Zkw@S*i`z>f{LB^uMAy=X)R?;}F$87~@*tk~kL=ua1*IdP*
zsV8=E3ahPn-{OBv?c(kH{kk`TImG_VjoDfBvi62YNwZ4c%}q;hY211g=aKS@A^g&>
zjN?C@7XIvPT_&pR?9`lWwDyVU#Dz*hZZ1+CC+2PVn!;PHBw+k+K5ulA5@;cju<1D)
z77x&gp$D55Gah_+DYU@sM02`Q?7o_vA*(_>#kKqGey#93;B!n*W@@%a=E|6zn?y8&
zT!SkQ(usEb=50|4FbR3Zogl0@Q@N46I1Mom92jitXR^U->+~yR6fD{
z@2`iG|L}0h(2C;QM>`KTHoZtlY;QiK)V86jY{|}Zx|b@<=1u*!vi?xh
z%D}~LZfz>dY&~8FzZai4XSuZHvAhE>MVcQ@P+I8s(rfjmeed{NdmDNVbpC&}dVS5R
zPG!)|Zm|IlQ}KD-=IP$_i5GSjr*HMXG5^d=
z5e$F+c#^l?Pybmw=Uk6=iIzTU|B$e~#isg%V42~Kvk|+?axbmZZQ;DWso3!d`{cdL
zFR=M>F`sy{zw~ujtr*KDwx;%@{6BZP%)e81JJ-p>cGsrWKDNR#!e!nv4-fCP@IBfs
z?yoC(DCznUfe$VXtnJGmOaP6BCAIQ!w)SS+*sySd_W9k7RS?71!Bnlq1o+l&u=zO0*>M>iL
zDSL7QWhN-D@8)3pma~4N(QmQ(ZEx!@rnLXrTRcH_o~D|B&;;i6xvpl9WwWv-;o-WsJ=@C!ElRHlc
zr;Gobz38)m^iuEX*H%QBP5ltuF{e4^;msQx8haFl#4oW#ANyL<=Bsk6WlQQCx%rQS
z6)j727`E*J$8
z5Sy)Jz>=fK%cH;Bs)(aveWKEGPpPVBiZwX8$a1*W(JpH!Mqc
z{+oAwv&6xLNzWM*+1uyxpWrP^n$fT~yUk&P!@3Q@OpFJgoXzvdIx%6&rIZV^FO=se
zmb1)NDB%!x^%skc;g)1-Jhble$H&JfYwg*be2CL*rO)J_>%*tD9o!t9EZ10Tr{ugs
zvB+SSnBu+(d{cWL%vCOtc49exH(0@xOGIM6@$OJ-3@hrRV7r}pU+rT^UhgJ?y!pWK({NKC5Bj-O}r-OZPnp-%%3pw@EW>%?!7+2cH#w*mtb%bmLM`e|nMK
zPW<1A9fgmlSTx>w`d{#u!XoicO=oB8#qQEbJY;(#+(Y4nz?*x@{WgncM{!ssXDd2)
z>^ofkIC5?Rf9HzElrA+(-?o$vwYf;%ayIPwwQ&d?F~B#Qo)q^p(jj)iWiSF7_PA
zw72cI^o%GnmnFbD_eOIiAz*igYjsxhb&kY0WNR;$Z(Oq83)>!O{O+
z#rcM4BICgnzX&xyCO-jd`-KY55qB;uOaEx%6jSJOp}p>2<#SoptO`9R@4~1XwQ5u3
z*jd{d6Q{R#ObMB!Som>q=daNDJKLjr7Hvohz0C<|7M4h4wFJY=jrs1
z6TsQ3V%fC{;ZubUZ5GzgE~Uz7Hhp)q_!?~ZMQ+xreS#gkOeE{y%V=i4bJ6-Y|BJ}I
zk53k{{h6q^WaE#`##^3eT7QUras8+H1okU-pH-YcD1We&k!-4MoKbKw@6Xx7M-wD+
zSOjYu1s1mTJGQWC8s4y4WV@kt$p@!4fxTf%y+rrU(}@1^plY4!-~K6%L3tajZ}^%`
zRd7>q-jF@P@Z7tPmiuH=IIbs$uPlAi^8Q0()weg2q3?T_o@~jr_%wH&WYDXUvlI3v
zzCJ1S%|$`&kG=G!Bd!V$FQr82Y*6-Ir`=sACf|}1q|$RI(8;*-Q-XS%=e5=i!3sSB
zg(rAkbzk6f^}KmCq0n(JuLrxBfk@EOcMOyDzY8`VJjXiOR@ks;g|`?^AkiUYSOk
zu5A!r
zv0Q%Ap=HPAls)GoduN_B5HVxAG_`zgta}z?pgD)MbDi~}-E0RPE;@*@E_v&CWJAS)
zcLEom_VW~OWz(3!^YZ211&T(j)(o1?8^grd_x#@f|KILOTTf0@{P%_<@zuL|7HZCS
z&flM?Wbm+TmXB1A)0DeXr70cz%lV2LtrX|@x!;m4J?ODK)lPlWl*zAWte$!N??gq-
zo09prA9lq2;q+j?b?hFCS6jmI55_hp+3WbX98dodw&aMw-ZtJAjfasQs~7eO2^RiH
zTJkn&e@Dc@>5Ja6+i{x-H?hp`{r#cz#pJU(W^EbLMXXJ1@f}s3H$u4fZp*mnRBQG|
z*G}q5p-JaN#YA~tYhSfD0`o6Ap7~M#lDqq>m@bEkjO3wnI+Hi9{(P{Hd$*F$G7GsU
zyEhp-7CJi}zWGq0m5r(SPn@_K-@*qwXFFIwx#T=y!gK!=wj(UoN>{#TTwfO(6sIL@
zuv>b9YRm4&A^~5fuukIk{JKVRl8mHNpLVWMgU+Iel!q)9g?_@ngrmGVbeoiqCUw;9
z?2lD0a}$`OFIFHT<^8h5ZuXkRPeuErY%SVKv>Z9?OuA;CGzc+kDl539+4QOcFVx2j)*
zg3(dV@0$<5&fyWv{^H6dYj$G3?8iOrCye|LUJI}>Y~x<>tE-?{B(r?hgYH@4XGJ)r
z8doSg|JhqCBHsE&%T+yDRnssRD_9Z2t7LRkUivMlKM6ZyUpCvsuHaaLY
z@kTetJIe}X)mj8yb8XvUB6+FzW9JIVrrZxA;p|7RdNjXLyu@;_ebF}d%%+?(HNRdi
ze>FXU-|}p~iDQkbyVhm)@6J6J#8r#}RVMgs@mv^Ywr|7a3CeuV%lTU$D@HEzJ+t3y
zx?rT1lCX=)uXBt2rXTme?w54zzjt`Zn$0V~?TrcQ<-M^{+l3G6xfnQg@w%}0ai(;Y
z|IoUBS$wkPAwJ%Q&C)#&VhWU;H~g)B?Ne=`C}6P8znr(~k;Ml~tA*UG$%1p($~N3=
zELKV3TL^Xr4tHWYkR
zQ@^vf#y`*Q2*>jHrQhy;OLq@i9Ig|aT&6S4P5bOFH(AL?^E7Pl?R0p{lcM*}GwZF}
zhQ-bEkFfF14t#ea_PUs$%8ewY5S!NO13gwAdk)`l{PLtKYk@%L>E}5qp(_F$&A0!!
zb2HgP_K!;Vcio7)hfC+*Tw0)5?Y4WZ-||x?e$(#>?Vdd2(|@7r6+)k13U~1+zPa?f
zx*Z3%6Vm&P&SuQli
z!%1kmXw=OViKESvSFD;T>%C&4xsl4kHtRC^Yj1*f^~$Q>zqzvGVf*br
z`#&V-*e+pYRCd0^5T|rMYjUYle_g=&yvd0H8*chObUE-Q!s24@u5GLBYq?9@D5HzqB%WGM@
zs#e)~QI>^|WIV@=Sg-B(+a@Z$WG=n)qkc})QO@}?rgdjcufI4MEwez-YvBXC<^M}x
zUQ&IKW+{5>**%j(R92l<5SWa9{Q}6H^v!jyv4iaC2jUqV&|aQj$Vb4<~t5Dkqd_-mMcp?3!}%
zWpL`HwU;g4yg(jFiTP3Qk_GDS+WmU5c**6J?{>epvt9e@KqGUV{~E58GtH{b7JPpn
zb?Z-4^`3U3*Zkg!*ndAB_gAs}G(K;mJlCp}%cXZi%P?3Cpi7IX8pks$M8szFxEW
zOZ+YME|x>fGcGOyjb`oqbV~c_iHXWhax(GfJY&z!HV+qSp1eyTaaY+}E%~}13;)&r
z|NGth|G&Sg!OMJZU1t@KSrBM)hrJFo)+JUH*QW_4_@+;(tR|hfO`$
z%zk=;qVtp;3ck;7Wv`#Qdi_4DmoMI}-}lQ)D}3FWCkGceHa|Hk9v{-wG-Z0+-l~(I
z&)e(A*Z=D6qAtJRm5cnT}JE-8F`%!|$8K+ergt|tZGDK2gKz07Ckq9-n`T%uEa
zB&|wT2q{c3uHo<8T=6mK=GN@#F=aPXxujLta~JTRf5EbMd+zOJxeDL!6!#06O%R{p
z4BFZGTsL@GPg2N=0L9Axf4@(yS@=G3bK1#oZ*MOxetyoV=!r+>)m2lc=thTi&VP7V
zGAnRVOZCBq^yUnuT=tras?KdZL2Dum_lhyK?oxYwZS7@|B_5tJlN2X188iOgs(ezY
z;6iiFlLM3Go8O$sGiG4|m4*!sM_)YkYCE#x-LkSriV0C8Z7*{T7J`EHYNG^N=q*!m`ytK|)M7YRN>QdrX!G
zx4MLG=(xW*y^ACF>DONanRkCbVa#!Dtc#+3oP%W`|$Rs=8ab4%R8A;L9Z
zDAcg{nU5;Zj(J>Nd@(?ZZWGrDP9l9Nocuc^%aF=t^H|^p$h*Jt|uqo+}y1EYjMB3k;8YiG0vsx=DNIk8FRIo5
z|GV8SX~*k*KOS+f?RHGzQaPqRzh==9)+bC81qFB}@cONI>)6GqX(=Efpxe$T8&uRL
zGW~wtZ{OekelO&OSm$WY=qh;M#L7K|eq8b2r`qA8HHaDOIAf)k|>yx
z*T}>=se|)7>qH5iZ;GKm=KWSwT+#gSgun^@j^2Lze-Vo{Kx+@Y|MIt-S1??$yztMD
zLRIIC>IVlJKb^CF~3hLT5rw<$
zvy}8Mf!3sZd4;Tr2s|ke6c@9rTV2vgR!}MZoaJ+w-0oT0Hq74xmba93lsK+9eCX>0
ziwT-bZdn+0{nB)q<}fWlpEYKYV-HVfTcCj~4=6M|Y?<8JmdI)Ez9eA4a;UvwqT<8D
z*P_f=l2{r2CLa{raXCeX^U;@n4arSKPrYK_*nhne9Cb(JPy?$?{q7RUpdcx;oE4=G
z8dA3wIy;C_xJWzN%1^ktP;HG=*5$%Z&~yt;8Ek3+4Jjud3p-(d%kl8
ztJ5vs^L!VXGaKh^alJdiF!@-96nCKP6`zF`tL=?iZYfMK5indLWtx4>=cI~9U(L@?
znYIE!V$#t6&~6|le3NDo+;Goc%>aQ^*n)Re*M47AZr(QfxV8_>(V&3T6R2AIK^Ca6x_E^a`#Zo
zytQTJwf6;1C7dsnxA?QPd+RRB&`e=5_2@`xJW=@7K|!D+#gU(-sEI>Rz2R@GWLR_I1k6O09doW^+g|wK)`kW+!Fx%BF+L1~EouXQ%GvThlm>
zC^HGFJ2OmmwG|W*k1Yud@^W90usP$IM&zZm4!(tA9vhsZmmCsEJfvyh61BullqSJppey3X6<{^4QX5V+epO$5BW(YZadG1&0>APRRVuI2Gca`?#1z+@Xo%RW6
z3S}pyc&zE2@e<^e&c23;ik<(sH#|3IS;Wk!?7S#h#)sQkVU}Qrgd|gDz?O`Q8OM&5
zSobn)^;U>dQgmx`VJdxnS-^mWr||)(sax^pjUOm)%QCsOweWdopA_f_XHjx%JEFbd
zTg*b&11Bb2c$B$Tk_i;Od7$VuKXh%MVgkn!Hb!OVpyo-j$s8(XOm1x|uu0Re&M90{
zAms&YOm1yA_zwvfuq*;K$rmMx_^>-G>;l=k>$v*Et;R+w59^uOK;`QZ2`0C;BR3jm
z?rL+G1KKDuhi{GTG(`a?kd2Bnu7$h+>H0DwsvA-q3o|M^AL?AUHJ3wzX(h;!SCmq(
zOEPtWHUo89e>42}#I5bf5rdhNz{*t=6H+?BU|2k@zjQ0Qj(Jzn)CW)Dp_*UI{rwwtY%wT;M2>~dF`O_UY^DyP6tj*
zu#k8ka>lao!<26vf-VPQ?r}8b$1d*yZCy%E3723}bXVAFeE9qQdi}`FX;YnAxmsh|
zD>4cm9q9~O9i|H!Sv-F{a&OgE(2~}Zb@k_Mzn=i@?+Fc9a>&rsNM)7VnJI=WLSl_A
zO3v5TMys#i`)$^p>i2t#J{}c+y`cUFVv|nkyu2$bCWfqwvAkO+U|s%hN_bqQ>%0B`
z>rT$GEDrd)Ea@EQs@UBp1uS|Q?7BM@1-Lo>=!;G9@jSkxqGO8OrG5RiEJ4m~IrsKN
z>g|4GBx#h=Ve{#P^2YxcPTDZ$-U1f2~zdt`gTX^Sx_nTqh
zxU1ylqKGQ)zBR>J%x`Vh?)v>oU$k%KM8!tFX|een5=;*r6cSHNxL^N2w&>Xz&Fk^?
zd-wc!)LnE^b-KsTdshwR-)O8pr(!oqt2lSY}pZ(mi
zN4s{YIsg0nJ^thb#b)@FZcj$m$qE1d{yu%MnVmWB{(auet9MUKn84R=n#Li)^s?XK
z&;-T%HJ^Jy?XkLlKhrfMHZ0il|KIPR-DSCrIq&c6+^lqd&V@~>-jy$xPJaU5@1o>l
zv&r$pi^cuFa+!nv{rLEJl4kI-1;34qR5D(?adSQZ$}N1Lgqi2zv+#+)jXjm0PZ}m4
zJ2A(ySS5a6&85B7~-~P`Aov1AyolVjCdqb6--TLKpL7Vb?W*WJ!Umd)>
zFQ)Wrs8QCH6-)N-E`7ah{{G+Zc7t{$DDHZ4D|`LbYW@9xiuU$pbS$4&-}C3w>7e~}wV>`IY-00zk$=COZOYYEp+&cIx4%3WF;y${$%~7N
zjS>zp%(SiE_Rs$Q#^h<{`Eh^Wd_He~J$5x{6VbOfH&Y)RXuQS0Yv1>K)w@=I`*PX;
zbR#qSlg0gZK|b>;pGn@_TfO}rx1E5qs`oUJ4TZm|CMiBJs{K{+^V{wGrBz>Fy;|~U
z%cu4BMl9^#PO8tJ0_y#63eS`FxhU+&|AFCj*40%njl)+2Jhb2S|JUpFpKhkl&$K?_
zZ~s@tcedHpjS4-te(!v-I(~oMr)$yqFZ-1JzBu#S9+|N`<+zT~kuzP22^=oWOpX&3
z1-Q;AgIfBaE@jsL$TP{&!JCc;FZY{zT&~&&bW5F}WWW8t9aHq<<2HUUWfw>d+>#Oa
z^HH~c3E%FAZPF$CG=r9O+$+Cd``vS?*Hn|gtkGx7Z@kuCx5MdJueAE~xT=-s4xgz$
z(`=k}=7MGC&&;Q%rap@NT=o0g+g0)xJC1gXi^u;m^52?$-LF&Rnb!&7XSW5F-CnS9
zsGMjOk6ZEA;Qy~#+dY@Qy|QvLXb%%;26BGxywYotC+(zX>$$bL9A2GbB>^gY1*BMl
zqFh>*iDw@b@K9#jntk2wjc7tiuLIF!^BoMDR)WGstZ
z%HG^q*mte+`CRq-KOfumt`y!WIP!y!X^H=QyImX73;pI9^J(;{ap#NOEx%v8-7Tfy
z?z-6BPZo9Sc@@1B&ju@_Uubtuk1-L;~7{4z->y_*B4meNCit?C!FuJBy#M
z5@vTieE<2J;y$Z+p#4~1-rNk%=HGG$wiaNPdH%Zd&BdLMzkR=7&;8Y=K<_6{Z3eRr
z2mi6gql~&SJ2pH^Tx{IJ@%OQW(;W*V799mIg$Xaj-6wsSKGQf|OR_1MOYpJgmxJ{d
zi$F8_OiMym23=Ymu7C8Zpu`vEHj6tJI}>~}K7D$6`uqi18;;4(te@C=|{qv9LIfW!&
zRy?dIzv2IljQVdk&NiNj?3Fg32I>Ys@6nCkcH-aP-?ir$!{ckWo(r9zDxiNO@>$@C
z89kE5TA93#Op3j66TX_?Et%{y+srrD{D|4#Et!|yo=dDt)k{%Md~#xIQ
zEU`3VNoQZqv8jbaP{!k(a!vWoO{r1`HfLeR;-QsJ9ajnY%f?eol>|GPri7(
z(mG;^OWTg;MJ}A&j3>lcmd`pdO}_q*p{jLSiU-F%$81omGM|}2vx+bMao)%V?p7GETw-T5e(|z-^VdmkEMaS-
zN+)?RbntX^fsSt~Vc{;BBj>>=cDv<-P^RM&w$|GP>lF0O^6soqIn~6YHQZgmD(?!w5{qDO01}siZppgIa^0L2BqT^a_b(d3#&u_{!eE6Q)ugKw1*`ibE#Km3Abg_Nk
zGlmX+GtM1sg+~KCTNC>}h+MMjjA)cNc<-{f%KpvI`*;@mmZa|cCc+`LNHKr^-?H8h
zUzX|@TdJ_R{QvoU{(4`B2@jYX+SMhC9v$JF|GBIvrDMHWt?lfkCtIGxZg2yKcn24#
zsB~$aw9Ms@@`TEpn^Nlqw>BiZuHs7J*d6^uUij(5mJ_^UPjudKURSl35=!{{>+7s6
zrwrZellz>kEy67VZ*EHUzGb^uH^|(gZdwO#P|Ur`=d!(J4FZa}$0qZ9EVbfxVOHV2
zD97<#XzryAiO#&wTMZPnmEroWqxWjTgw(nnu~l|fNSG0A)5(6TY^9-q-kIC`zNEf$
z(tj5CEc=MK