From 677f0c08a26d01cbc7be30024315d0ae63e3163f Mon Sep 17 00:00:00 2001
From: Birgit Boss <59824205+BirgitBoss@users.noreply.github.com>
Date: Sat, 9 Dec 2023 22:40:07 +0100
Subject: [PATCH] Add documentation (#670) (#671)
Documentation is added including background information on SAMM and ESMF + Step by Step documentation how to guide Submodel creation via an aspect model.
---
src/AasxCore.Samm2_2_0/docs/Readme.md | 310 ++++++++++++++++++
.../docs/examples/Movement_2.0.0.ttl | 93 ++++++
.../docs/src/ESMF_AspectModelEditor.png | Bin 0 -> 193281 bytes
.../docs/src/ESMF_aspect-meta-model.png | Bin 0 -> 119026 bytes
.../aasx-package-explorer_AddSMTGuided.png | Bin 0 -> 235817 bytes
.../aasx-package-explorer_DynamicOrder.png | Bin 0 -> 327454 bytes
...ckage-explorer_DynamicOrder_Structured.png | Bin 0 -> 185005 bytes
...age-explorer_ReferenceExistingSubmodel.png | Bin 0 -> 148330 bytes
.../aasx-package-explorer_guidedSM-bySAMM.png | Bin 0 -> 45444 bytes
...x-package-explorer_import-SAMM-into-CD.png | Bin 0 -> 197199 bytes
...asx_package_explorer_AddSMEguidedBySMT.png | Bin 0 -> 192809 bytes
...ge_explorer_AddSMEguidedBySMT_position.png | Bin 0 -> 51121 bytes
...ge_explorer_AfterReferencingExistingSM.png | Bin 0 -> 83671 bytes
.../aasx_package_explorer_CreateSMT-SAMM.png | Bin 0 -> 161767 bytes
.../src/aasx_package_explorer_SAMM_CDs.png | Bin 0 -> 254043 bytes
.../src/aasx_package_explorer_SAMM_export.png | Bin 0 -> 226149 bytes
...kage_explorer_Select-SMT-SAMM-concepts.png | Bin 0 -> 137041 bytes
...x_package_explorer_semanticId-submodel.png | Bin 0 -> 28762 bytes
18 files changed, 403 insertions(+)
create mode 100644 src/AasxCore.Samm2_2_0/docs/Readme.md
create mode 100644 src/AasxCore.Samm2_2_0/docs/examples/Movement_2.0.0.ttl
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/ESMF_AspectModelEditor.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/ESMF_aspect-meta-model.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx-package-explorer_AddSMTGuided.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx-package-explorer_DynamicOrder.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx-package-explorer_DynamicOrder_Structured.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx-package-explorer_ReferenceExistingSubmodel.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx-package-explorer_guidedSM-bySAMM.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx-package-explorer_import-SAMM-into-CD.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx_package_explorer_AddSMEguidedBySMT.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx_package_explorer_AddSMEguidedBySMT_position.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx_package_explorer_AfterReferencingExistingSM.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx_package_explorer_CreateSMT-SAMM.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx_package_explorer_SAMM_CDs.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx_package_explorer_SAMM_export.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx_package_explorer_Select-SMT-SAMM-concepts.png
create mode 100644 src/AasxCore.Samm2_2_0/docs/src/aasx_package_explorer_semanticId-submodel.png
diff --git a/src/AasxCore.Samm2_2_0/docs/Readme.md b/src/AasxCore.Samm2_2_0/docs/Readme.md
new file mode 100644
index 000000000..75257a3cd
--- /dev/null
+++ b/src/AasxCore.Samm2_2_0/docs/Readme.md
@@ -0,0 +1,310 @@
+# Guided creation of submodels via aspect models
+
+> **NOTE: The SAMM functionality and the corresponding extensions are in an experimental stage.**
+
+## Table of Contents
+
+- [Introduction](#introduction)
+ - [Audience and Scope](#audience--scope)
+ - [Terminology](#terminology)
+ - [SAMM and ESMF](#samm--esmf)
+ - [Semantic Aspect Meta Model](#semantic-aspect-meta-model)
+ - [Eclipse Semantic Modeling Framework](#eclipse-semantic-modeling-framework)
+ - [References for usage of SAMM and ESMF](#references)
+ - [Examples](#examples)
+- [AASX Package Explorer - Step by Step](#aasx-package-explorer-step-by-step)
+ - [Import Aspect Model](#import-aspect-model)
+ - [Creating a Submodel Instance](#creating-a-submodel-instance)
+ - [Export Aspect Model](#export-aspect-model)
+
+## Introduction
+
+### Audience and Scope
+
+The scope of the document is to explain how to create submodels based on an aspect model defined conformant to the Semantic Aspect Meta Model (SAMM).
+
+### Terminology
+
+
+**Aspect**
+
+> a domain-specific view on information and functionality associated with
+a specific [*Digital Twin*](#digital-twin) with a reference to a concrete [*Aspect Model*](#aspect-model).
+
+Note 1 to entry: An Aspect is a software service to retrieve the actual
+runtime data of a Digital Twin (current or aggregated) from a data
+source or to trigger operations. Thus, an aspect is built with an
+implementation that ensures that the exchanged data is compliant to the
+specification of the referenced Aspect Model via a defined
+interface.
+
+Note 2 to entry: Aspects are registered (incl. their "API endpoint"
+information) with the Digital Twin to which they belong in the
+Digital Twin Registry.
+
+Note 3 to entry: an aspect corresponds to a [*Submodel*](#submodel) in the [*Asset Administration Shell*](#asset-administration-shell)
+
+*\[SOURCE: [Eclipse Semantic Modeling Framework (ESMF)]([https://projects.eclipse.org/projects/dt.esmf](https://eclipse-esmf.github.io/samm-specification/snapshot/index.html)), editorial changes and notes added \]*
+
+**Aspect Model**
+
+> a formal, machine-readable semantic description (expressed with
+RDF/turtle) of data accessible from an [*Aspect*](#aspect).
+
+Note 1 to entry: An Aspect Model must adhere to the Semantic Aspect Meta
+Model (SAMM), i.e., it utilizes elements and relations defined in the
+Semantic Aspect Meta Model and is compliant with the validity rules
+defined by the Semantic Aspect Meta Model.
+
+Note 2 to entry: Aspect models are logical data models which can be used
+to detail a conceptual model in order to describe the semantics of
+runtime data related to a concept. Further, elements of an Aspect model
+can/should refer to terms of a standardized Business Glossary (if
+existing).
+
+Note 3 to entry: An Aspect Model describes the semantics of a [*Submodel*](#submodel).
+
+*\[SOURCE: [Eclipse Semantic Modeling Framework (ESMF)]([https://projects.eclipse.org/projects/dt.esmf](https://eclipse-esmf.github.io/samm-specification/snapshot/index.html)), editorial changes and notes added \]*
+
+**Asset Administration Shell**
+
+> standardized [*digital representation*](#digital-representation) of an asset
+
+Note 1 to entry: Asset Administration Shell and Administration Shell are
+used synonymously.
+
+*\[SOURCE: IEC 63278-1, note added\]*
+
+
+**Submodel Template**
+
+> guides the creation of a [*Submodel*](#submodel) conformant
+to the [*Aspect Model*](#aspect-model) and the [*Asset Administration Shell*](#asset-administration-shell).
+
+*\[SOURCE: IEC 63278-1, extracted from text plus correlation with aspect model added \]*
+
+**Digital Twin**
+
+> [*digital representation*](#digital-representation), sufficient to meet the requirements of a set of
+use cases
+
+Note 1 to entry: in this context, the entity in the definition of
+digital representation is typically an asset.
+
+*\[SOURCE: IIC Vocabulary IIC:IIVOC:V2.3:20201025, adapted (an asset,
+process, or system was changed to an asset)\]*
+
+
+**Digital representation**
+
+> information and services representing an entity from a given viewpoint
+
+EXAMPLE 1: examples of information are properties (e.g., maximum
+temperature), actual parameters (e.g., actual velocity), events (e.g.,
+notification of status change), schematics (electrical), and
+visualization information (2D and 3D drawings).
+
+EXAMPLE 2: examples of services are providing the history of the
+configuration data, providing the actual velocity, and providing a
+simulation.
+
+EXAMPLE 3: examples of viewpoints are mechanical, electrical, or
+commercial characteristics.
+
+*\[SOURCE: IEC 63278-1, editorial changes\]*
+
+
+**Submodel**
+
+> container of [*SubmodelElement*](#submodel-element)s defining a hierarchical structure
+consisting of SubmodelElements
+
+*\[SOURCE: IEC 63278-1\]*
+
+
+**SubmodelElement**
+
+> elements in a [*Submodel*](#submodel)
+
+*\[SOURCE: IEC 63278-1\]*
+
+
+**Submodel template**
+
+> container of Submodel template elements defining a hierarchical
+structure consisting of Submodel template elements
+
+*\[SOURCE: IEC 63278-1, note removed\]*
+
+
+### SAMM and ESMF
+
+#### Eclipse Semantic Modeling Framework
+
+The [Semantic Aspect Meta Model (SAMM)](https://github.com/eclipse-esmf/esmf-semantic-aspect-meta-model) is specified as an open standard
+as integral part of the [Eclipse Semantic Modeling Framework (ESMF)](https://projects.eclipse.org/projects/dt.esmf).
+This part again is part of the Top-Level Project [Eclipse Digital
+Twin](ttps://projects.eclipse.org/projects/dt). The Eclipse Digital Twin Top-Level Project is a
+collaborative, open-source initiative at the Eclipse Foundation
+fostering the development of reference implementations for the
+activities driven by the [Industrial Digital Twin
+Association](https://industrialdigitaltwin.org) (IDTA).
+
+The core of the Eclipse Semantic Modeling Framework is the development
+of the Semantic Aspect Meta Model (SAMM). Besides the SAMM specifying
+the language to define the semantics of a submodel in an ["Aspect
+Model"](#aspect-model), the ESMF also includes an editor, SDKs in different programming
+languages, a command line tool for validation, generating documentation
+and different serializations and other functionality easing its usage
+and implementation in digital twin projects. Also, aasx generators for
+support of [Asset Administration Shell](#asset-administration-shell) are in scope.
+
+Aspect Models express a schema with a defined Resource Description
+Framework ([RDF](http://www.w3.org/TR/rdf11-concepts/)) vocabulary and are validated by a comprehensive
+set of rules in the Shapes Constraint Language ([SHACL](https://www.w3.org/TR/shacl/)). Domain
+semantics are captured by a combination of structural elements,
+relations, namespaces and reified named concepts.
+
+The Eclipse Semantic Modeling Framework (ESMF) in combination with the
+specifications of and open-source solutions for the Asset Administration
+Shell accelerates the development of digital twin technologies and
+drives its adoption in ecosystems.
+
+#### Semantic Aspect Meta Model (SAMM)
+
+The [Semantic Aspect Meta Model (SAMM)](https://eclipse-esmf.github.io/samm-specification/2.1.0/index.html) provides a set of predefined
+objects that allow a domain expert to define aspect models and
+
+
+
+The complete specification and further information about its
+implementation and requirements can be accessed via the [Eclipse Semantic Modeling Framework (ESMF)]([https://projects.eclipse.org/projects/dt.esmf](https://eclipse-esmf.github.io/samm-specification/snapshot/index.html)).
+
+Every aspect model in
+ that has
+status "released" or "standardized" MUST be conformant to the
+Semantic Aspect Meta Model.
+
+Every new aspect model MUST be conformant to the version of the Semantic
+Aspect Meta Model as noted in the [normative reference](#normative-references) [SAMM](#SAMM).
+
+#### References for usage of SAMM and ESMF
+
+Semantic Models conformant to the Semantic Aspect Model Metamodel are defined and standardized in [Catena-X]{https://catena-x.net/en/}. These semantic models are available via the CC-BY-4.0 license in github:
+.
+
+#### Examples
+
+
+An extract from a corresponding machine-readable specification of the
+aspect model conformant to the Semantic Aspect Meta Model could look
+like this:
+
+```
+:Movement a samm:Aspect ;
+ samm:preferredName "movement"@en ;
+ samm:description "Aspect for movement information"@en ;
+ samm:properties ( :isMoving :position :speed :speedLimitWarning ) ;
+ samm:operations ( ) ;
+ samm:events ( ) .
+
+:isMoving a samm:Property ;
+ samm:preferredName "is moving"@en ;
+ samm:description "Flag indicating whether the asset is currently moving"@en ;
+ samm:characteristic samm-c:Boolean .
+```
+
+
+The [Movement.ttl](https://github.com/eclipse-esmf/esmf-aspect-model-editor/blob/main/core/apps/ame/src/assets/aspect-models/org.eclipse.examples/1.0.0/Movement.ttl) example in the "src/examples" folder is taken from the [Aspect Model Editor 5.0.0](https://github.com/eclipse-esmf/esmf-aspect-model-editor).
+
+For more examples of aspect models conformant to the Semantic Aspect
+Meta Model see
+.
+
+## AASX Package Explorer - Step by Step
+
+### Import Aspect Model
+
+For importing an existing aspect model use "File/Import .../Import SAMM aspect into ConceptDescriptions ...".
+
+Note: you should start with a new environment via "File/New ..." and switch to edit mode with"Workspace/Edit".
+
+
+
+After Import all elements of the aspect models are represented as concept description with their unqiue ID.
+
+
+
+The coloring and nmaing of the different types of concept descriptions is aligend with the ESMF Aspect Model Editor.
+
+
+
+There are different views on the concept description supported by the AASX Package Explorer. For seeing the structure choose "Dynmaic Order" "structured":
+
+
+
+Please note that in the structured view elements that are used in several SAMM property elements etc. are contained several times. However, in the model they only exist once.
+
+
+
+
+
+### Creating a Submodel Instance
+
+
+It is possible to create a submodel based on an aspect model. Use "Workspace/Create .../New Submodel from SMT/SAMM Concept Description"
+
+
+
+A list of all available concept description that can guide the creation of a submodel are shown. In this example there is only one concept description of kind "SAMM" that can be selected.
+
+The newly created submodel will have the ID of the selected semantic model as value of its semanticId
+
+
+
+After selecting a submodel either all elements can be created at once including all optional elements ("Create root and all childs") or only the root ("Create root"). In the latter case the additional elements will be added one by one in a guided way. Only mandatory elements will be added at once.
+
+
+
+
+In the following we show the way when selecting the root only.
+
+
+
+In the next step an Administration Shell should be created that references the newly created Submodel. Otherwise it is not visible in the AASX Package Explorer which elements will be added to the created Submodel in the next steps.
+
+
+
+After referencing the submodel that was created in the previous step the submodel is visible with its mandatory elements of the first level. There still might be mandatory elements on deeper levels.
+
+
+
+In a next step new elements can be added in a guided way by choosing SubmodelElement -> "Add SMT guided ...". In our example this is only relevant for the SubmodelElementCollection "position". Properies are atomic and no sub-elements can be added.
+
+
+
+The list of all allowed elements conformant to the aspect model/SMT selected in the previous step is shown. The "Card." shows whether the element is optional ("[0..1]") or mandatory ("[1]"). The "Type" column shows which kind of SubmodelElement will be created. In the example "latitude" will be mapped to a SubmodelElement "Property.
+
+Multi-Select is supported. It is strongley recommended to add all mandatory fields. The columns "Present" shows whether an element is already present ("1") (in this case do not add it twice) or not ("-").
+
+Note: The aasx package explorer does not hinder to add fields several time or add additional properties not available in the aspect model. Validation will show whether the created submodel is valid and conformant to the semantic model selected.
+
+
+
+After selecting the elements (in our example only the mandatory fields were selected) they are created. As value the example value from the aspect model is inserted.
+
+
+
+
+
+
+ ### Export Aspect Model
+
+For exporting an aspect model from a choosen concept description use the "File/Export .../Export SAMM aspect model by selected CD". Before calling the export function you must select an concept description of type "samm-aspect".
+
+
+
+
+
+
+
diff --git a/src/AasxCore.Samm2_2_0/docs/examples/Movement_2.0.0.ttl b/src/AasxCore.Samm2_2_0/docs/examples/Movement_2.0.0.ttl
new file mode 100644
index 000000000..7ca8aa01f
--- /dev/null
+++ b/src/AasxCore.Samm2_2_0/docs/examples/Movement_2.0.0.ttl
@@ -0,0 +1,93 @@
+@prefix samm: .
+@prefix samm-c: .
+@prefix samm-e: .
+@prefix unit: .
+@prefix rdf: .
+@prefix rdfs: .
+@prefix xsd: .
+@prefix : .
+
+:Movement a samm:Aspect ;
+ samm:preferredName "movement"@en ;
+ samm:description "Aspect for movement information"@en ;
+ samm:properties ( :isMoving :position :speed :speedLimitWarning ) ;
+ samm:operations ( ) ;
+ samm:events ( ) .
+
+:isMoving a samm:Property ;
+ samm:preferredName "is moving"@en ;
+ samm:description "Flag indicating whether the asset is currently moving"@en ;
+ samm:characteristic samm-c:Boolean .
+
+:position a samm:Property ;
+ samm:preferredName "position"@en ;
+ samm:description "Indicates a position"@en ;
+ samm:characteristic :SpatialPositionCharacteristic .
+
+:speed a samm:Property ;
+ samm:preferredName "speed"@en ;
+ samm:description "speed of vehicle"@en ;
+ samm:characteristic :Speed .
+
+:speedLimitWarning a samm:Property ;
+ samm:preferredName "speed limit warning"@en ;
+ samm:description "Indicates if the speed limit is adhered to."@en ;
+ samm:characteristic :TrafficLight .
+
+:SpatialPositionCharacteristic a samm-c:SingleEntity ;
+ samm:preferredName "spatial position characteristic"@en ;
+ samm:description "Represents a single position in space with optional z coordinate."@en ;
+ samm:dataType :SpatialPosition .
+
+:Speed a samm-c:Measurement ;
+ samm:preferredName "speed"@en ;
+ samm:description "Scalar representation of speed of an object in kilometers per hour."@en ;
+ samm:dataType xsd:float ;
+ samm-c:unit unit:kilometrePerHour .
+
+:TrafficLight a samm-c:Enumeration ;
+ samm:preferredName "warning level"@en ;
+ samm:description "Represents if speed of position change is within specification (green), within tolerance (yellow), or outside specification (red)."@en ;
+ samm:dataType xsd:string ;
+ samm-c:values ( "green" "yellow" "red" ) .
+
+:SpatialPosition a samm:Entity ;
+ samm:preferredName "spatial position"@en ;
+ samm:description "Represents latitude, longitude and altitude information in the WGS84 geodetic reference datum"@en ;
+ samm:see ;
+ samm:properties ( :latitude :longitude [ samm:property :altitude; samm:optional true ] ) .
+
+:latitude a samm:Property ;
+ samm:preferredName "latitude"@en ;
+ samm:description "latitude coordinate in space (WGS84)"@en ;
+ samm:see ;
+ samm:characteristic :Coordinate ;
+ samm:exampleValue "9.1781"^^xsd:decimal .
+
+:longitude a samm:Property ;
+ samm:preferredName "longitude"@en ;
+ samm:description "longitude coordinate in space (WGS84)"@en ;
+ samm:see ;
+ samm:characteristic :Coordinate ;
+ samm:exampleValue "48.80835"^^xsd:decimal .
+
+:altitude a samm:Property ;
+ samm:preferredName "altitude"@en ;
+ samm:description "Elevation above sea level zero"@en ;
+ samm:see ;
+ samm:characteristic :MetresAboveMeanSeaLevel ;
+ samm:exampleValue "153"^^xsd:float .
+
+:Coordinate a samm-c:Measurement ;
+ samm:preferredName "coordinate"@en ;
+ samm:description "Representing the geographical coordinate"@en ;
+ samm:dataType xsd:decimal ;
+ samm-c:unit unit:degreeUnitOfAngle .
+
+:MetresAboveMeanSeaLevel a samm-c:Measurement ;
+ samm:preferredName "metres above mean sea level"@en ;
+ samm:description "Signifies the vertical distance in reference to a historic mean sea level as a vertical datum"@en ;
+ samm:see ;
+ samm:dataType xsd:float ;
+ samm-c:unit unit:metre .
+
diff --git a/src/AasxCore.Samm2_2_0/docs/src/ESMF_AspectModelEditor.png b/src/AasxCore.Samm2_2_0/docs/src/ESMF_AspectModelEditor.png
new file mode 100644
index 0000000000000000000000000000000000000000..17084a3f0833e3a2a98d0265987fc6b23a404249
GIT binary patch
literal 193281
zcmeFZcUTko+CLm*g|kYrBS^7<8UzGH=|K@uklsW}lqw(~gd!ybFJkVr{30FbFxv@nO6Pf7sZ-~MkpB><^;1JIhi>|S?W);&YJwlVry2PxECB0O*lh^U1e?3qY29o)n@U_kx&90*Pf4zIOz@X|PU#Vk?x0K_#
zh#ezdcx{e
zu%i2}fBHsUMMLF>mGh(I@HEkAx^(cNi^vz3em?fagPkMi>b+NMlHk|0t*3XI1Yf{J
z%FztRYY#Xf-Hxjyn||woPg1iwU|ETd<4r#$hlt|&hn7tbtZPNC|{q$`RDVX_B57%
z^Fl2#c>j$BMn!Q4^Zha6D%dxI>(aNA6|S{~m))p(w=nqFa>4M{9}BUX6qyzdncH$yf@CPJthT;fEui(ZSb7Li#}a|81`J`ltM*
zgnLwnK^QmSx9LsW#yc;0z%Vb`6DEz?XY-V
zI3=BWH*#oX3?V$KB;e`H;kXHKA
zf~M&8ukoU}xw$e7XAX&1&~yyidjo2x4%N;=bh$)i&T^E-n0v+(|@f|U?zIqM|OsjAe7>HWpMa4s&CR0b-pEM
zC(Cu^QQxTXq+XoobLZj^2+k{E)u$SPUed&WGoWwJ+z9cjN|VEuLe@xwjbN&vThmIIIKb!5!WHu-l2YE9`pC0(b1l
z&t{{bySk7EMe0cp<13yRf^kSu0;Wvtt6uiep+GBPn;DUUOwxnX&WM^>+baxpFEy&`
zj0j;#!Eh0fLYn~Oj#ffTUr?R`A^uJsGn{h)G$rVd*+(x7bEIYA|DQ*6TCYFLiCFFu0G*q3;WdGXl#M%i$A}bGu6SflvyEeZ%YUROJRrhOC-eIvbw064M2b{G}NFzYVZD{w0@EYik
zNvW30t=TcSE_sUA4xgkap#-=PpQbU#dzsTKqUy$BDDR-d9FJ2~XP9C7)Vz=+*DYal
zMsg_{$NJoJSl2nu#avbZAD3|6-#3bdoP-4DA>X!AX2+KfLwefjefGz3WFN9E5_=eb
z^BGl=<9xsc5uc;~vjezf*#wYiV~OGTJn)pC|ps2-kD)v97<=m!~1KqI(ZjUQf6pxF;^5`_Fc$RSkr6XQqOkG2cax?
zt&m2oUQlXig5MoBG*W~Gd+zLhIuj<8iF{t?%|jUMQqzx<#O6?)Q531K?uT(y0#Ytm
zZ%f{`p~=0QnqIQ&+JnoY`@@WC*z^iw>8I6kZ&QVx^x*6LEYa;OHDOcCsHaq8Vm1O|
zaAU+cH!M2BF&F8Pd${xTDj;E+_?td2ZXne~Y7q=RrkYCL$>zzoBPm9R@Y)cr&+>kk
zLy!FlZHV3n3%+?siJ!IbC~EVlcz!MB_7MD(XGG0xxZkX(c2_ZGp*Nf<>LNNRk{#k$
zqCliKO9{U=$!o1%@u|yY#p9ju_6s50^mm*9oR_35Jv!)v=KTA{#hIxrg{qy4t+`v+vxWJW;RsSQWtCbG>sLt!=4AtY}!uLR|U-{k_oPf-31bI)JOCK#}Z
zR?F}$%f!xb19yh_Jmb0(f_vlGaI-b`&ccyJjRV$8M-FK8`PG44ZDj*nsmQ%doG8V8
zzMmzwh)W5B#!J*W;k>l>A_%xqZT>lQwKAh~tUsJGtDP2-wzA+`<9)sxv1A+4&;w2O
zKGPkNln*(-#12ff%QO0mX_9N^L0yDqW#L@0|2&KR7Jzu-5mA%F+Op|u&^uYx)Nnta
z(>A`3kN3LUgVGy7=)S4x0><=-Sp7kBHqa~hewgOj6ypC22Is_mnR(cE#wXv~yT)nKr=
zu3UN9XHcr|WL__M!P(+-hHYmXytjl&fg8=y^5AEoQ}A9$Y2l;{vF2?0sr9-XcP$LO
zCu}oehmfi0_Q{wDHbYW*F({Ni%4*v4v+FdYJzLL}#mWf<4{GV8QlpDc%o|?ezWgUM
zx`bWiz9drIp7x&GUQ8>xZ9UUt%IcxyC-DyVWNsOvQS}D25=<)h@U1ysBvZnK=gbIAp0e;%uGfR9{!g`ZcmuA+U?oL`o(Np;U%k~ryVYc#jcY9zk5PomUy
zxly8SAnrT6Ngzcx!=Nekf=jeAEV7mNQWKOsPS5MUUq!)C7mO!?-n_?T(0IQy2F1b
zWWZ`6-s$Mktg)dFy#X9_FOl_cM)12^3D+TCtJH()cdv{w|
z3z+`Q^WD4KTUvQ7jXjgWr+?nW_iG?v`1Ti=y7jJ^z4Kq@-dc#8_g_Z_9{pI6zytmt
z<7U+>>gfIZmVw{u0Py_KY2Z;h)|a~%c(>1GQ>eIfO1uy_b3(;+|20g(ZD9J7GAoeR
zz*BmAu~DbyRQb2gl04Qy$L4^mGAB-u(y^P;Aj={IdlZq1U^OC?x!S)o36*v*|7hIR
zaE}X@F6}e=d5V6;OqtR
zTMYRLnFFV>R-nLe>WzRlevs+n>pj22dMn-k^7LX=K-AXLLqy--$&f0^Yk5iWk%AmR
z$%043xBCKfqP9*86A9hP4?LjX-eNiP*l`5@$69t<`TVEh`AR{*N&I-qtf&*T-|X5~
z!<|Qu7To?Cd`3@#d>A-C4>?Ef(3$wxP@(@j6d=_9KcN-sn}QtS;L{UytuM3%kEWZD
z%H}iU$hvFX(y(6vxpo#IsCsV-Y3%Mz>c>~3Dh`V0|Dl2craTWderRDFOk}!ZDJ(Y~
z7wWbRj0VEw=CdIeeJ5|^iE!H=;p5RPyWSGLH@SOABT7OI!4MfVyN^AzHF^1K*m4x~J&O{{
zbXYmWY=mCxzOx|*n`OtZ5|~QA2KM$?>?40>2Ft=q&)xZXg?zjR2%U2dFL)H*&upg-?B6tR2}VqD;yyWkqUFz5SC1>
zF61X2X|rj@%EA@cmV~U$1hi>hM4(wmB3FmLU{f7t77DGGN(#h2X^e^Oo3b=^XrqkJ
zBgfn}!~-~Cccq1fV*r~8^7|baD;l2{zKOTcgUVjk&q=VN!t)&7!L
z+w+$KuM#v@RmSciXRg1t`si1d#)JBbxRCc$i(Xsj5sCWz(!f-pejiSSZEu9Fc=3=2
zoW-d{5JgHjQae)oJ&7H?&Z%offU6pwENYB#!L`X%QTqy5j9rs&f_vJ+T)tJ_uFl*y
zsdn!w;n1O!`QBVb((ci6y$99OP
zNVcuwcH3uoT*kdMEGc5ek0CGMC{a5*U{E^eaoX4WRePT}nCAeSy^zCg*Hfd`K{FyY
zs5@6VtPK+Qck9&NNZr1qI-q!6%jRiPP^9PDuZujVV^3UOWITjbO^wo?&Kxj|ZXF`2
zITnwdy+reD)cj23hNGrmpV6_JRMb(?Rn*z9%2#@OLpCtd09~vUTMFI?UT)D{tyl1V
zmH^$z63~O)%IaQP)E#)@p0E84lsbzMQd?_4oBpEbFT~jl9J9E28|8J=GH+vM_aZDQ
zg4!~`ytFixXbTLk4bIJiBb#3+o$Qn&aC&xiHm_ClsPiihG5L`HQ9>p#+TLGquaQzMqmvi$5Edig6U7|LSdialF?^3i_z!05Aj;w2Rv{w
z_6)Bjs{2p@>KpNGCYFJk*Pc=y+^*I-solARKdF(YeJ4Eagpx5fm!%MpPS9Soomn2#
zsI@se8KF8LJKB4%B+)A-xK>HmbdDZQluBjuI}XX0w1I{#d!O=vt;S+YCC_l!XPUW6
znz_7|*!6aW>2DujtdbNEw%XK8T*eSYN;~{IA&jE6=mi$!wIsd0d!5EyX@YhQAT~vC
zAD$T-;SE>&EGV}}%})J5N~PUlzE^@?bA;c|EeYTX8x7*g2y@q1s3PJEIMnY*V
z552VG)JnUA?<41qo$5M)(D*xNxk&1vqM}c7qkw(cU-qE}xn0*%TG%voF5aYTws-NW
zTX7s`HSGbd{3?6@)V7SAFVxB{V{%u(H1*UdP6blJc_(CA2KIUw$Aj{e3ls9$9I<89
z3}~?A$o6MB65|nfip#(8fP+&g-Q@~wz(|Z@JKk>5p@0WG%yb^GDn5ehvse$y7dILO
z4Ku0aqVn<{@vO1tz;bcbyE=IxGom5WPxN~)psFKi<*RhOuNTzrDj;^ke5I%!{9X~Q
zHVZ@z>2>(*2U}6GFdJibz(vkV(RmVgI1mi8LP0`5w+yh^ev8duo*!Cg1xuf{ROeb1
zzY9GK@4gNrJ$uPj&UzqZsugghf-AZvp|+Mh6C%i08fQ8Esgu2K!~&(>>in3A=HmhE
z2+^{?XDpzl?NmF+>hr<;tQ#{VgGr0EhO}68`l;MWBiBd+D>Yq9AYepeh
zqWS)^s=uhDj&?}%m3EKf0sSl!GJ}(nTd9XwD!Wx2crCeWCR`VxUUBt+D+C0W-8(gh
zgoe&aGZ)+;UP4w5t@l1sn+@7PRw01qYeo32z->oa&1wgW_zLHcp;rCqbQWxb!@@rE
zP2yaWXALlVU8`?PJ^6V4gnwH3FF#YQC4h#ez)c#w
z@otWNb5$)%O4WA)H`Y9GFVn~Y$xiV7%}&L9bC1onEsya7^jZW)zw}793>p1F3)06aN;6l+kq)usgS8_=6P=py>kqCN+OVSDsVfve$ySxY*xEoWG8R%J1;7?BL_X0PO$-t
zVHfj0)#)}wC^9bc-pCBe|K5VN;``}q1p`qU>>SxW
zJnODRCMcIIcCH59$g4?bkAI}no$HSAmAV}s1*JL$KqG8!2$)7+gWsPQFqv#L3(|yN
zcSQ88!&gS;{nuwD#@?b>>eCU&nzys>?p1Gd3
zDldy0E_h?dg=rkmF)8kPXC?!dSgkG;##l;iixtl1mT@*ytHayH-}z&qn5ot26qBrZ
z^PY0Hjjq+4pGsFTXQ6^Wm7M2mYlAemNmE}*p^m#w4DBx;5x>_L-iL^|cc~-7jeX7L
zUyf}+UOc6ml=-OZweO3Ckl9ws#r^5in}%UKpaD7_%q;QjvFtEX0$@Sqzpd=N&jZfY
zglcYZi2Xu*rS?tz!(YkPAys^434ogN0xtjcPIr@oi0XrmXF2U1n&&#O>#esTK@Ar<
za>ZYp59=n4lLz1u16=DRTCY5M7|Hf$d^|F>zpiNjuxZZUxvS=Ia4{W#$w$H(G#FmU
zuhI`3(&Zy=vLs=X>=$*Pt@{Bjt`v>{qgiV#h&0PF%?9$4=*(B1f#o+8FPJ-6k%NfM
z1I&aJ`n%rb1Bc!3
zwO+5yWczj(8)f&(Le+F_`$4H<4?}@qUa1G%9|{d$(ZgAl53x$$Dg+LLY3}Z(R~CEb
ztFd{u{Y`NrGkw`Rm$E~lDzA(9vT_#9ha%I&ZkyW_nCqI)DRMzprvPRf*BiU98=Bdy
zn@5>=qD{1D&&U}PkcbKU*ygNMmZHja6(uF5qNxJ<7`!*I?N+JgoHg8#y8`XKRod*^
zdX$XVy>KAg1R0KRog^X~(Z}1IDW2(%eorM?`HAd+lF;*EOobI~rq(?7Suu^|qvmh{
znkFp|U$$dO9lLTKG_NDH)?o
zhyIdv1pI@+z21WahTwrs&jC!W%^$30&pf@>Tzxb>%5I(X+p?ZdCbl}9pcEnU36hd6
zjPX#&!DsX5+Vux^9SIBs_chBLYmV#dJ>VaSD$=|0itD?buhcT71o=dWftB^`bqpK|
z+g~jdGPAbOnp((Zc=tG4NVv5E;u2E5q%OT4IxB+RlP*h*?49-KzuN$0_c7DHSfvhVeuTZp_d8G8&44#vy;KZ)Wk#~>JC#*
zxtdy(I&ov9Q8S5ECaYK`YksQVDic7%fx{;zYdv3f!FOKJ69kpXYM05%l-)l;W)CAL
zdG+GN;>>Ynt`kWuaIyyR31U4Kk!%BntB}=b8x0NTU?;D!#~?12-F|+Yiji4IW3!~$
zhPPZX@<_ZVs2kyRF_5Jls3PmGQ#myC4rCR0&;9Fzi4P$I;`tkpP=DN5I0iODHXn4G
zq*F3e#&|FWK$c|dup;=%cg?cqyyvrDBj^2u>YF*!$2S{(?HvX@*xH+BBfeJb`Z
zs!R)ga!V2)i4~aHXqnsSt`Z}RwbGNq&Rh{(4yS|>m3>7@eB{WE#^-g4VuEu{#
zrd8<%r)bp&cjX8D6i-e+HmUDjJHCY9um~ZOcRTn-0m1|zq;K8lbc$4?bTGIm9j*6Q?)jWAd$qSWjR1OS~hhp>%#6C0B>dj(WkxDS7KC(`^KuU
znbl1oZA+RFuqcxiFS{icr~;;CC_jEt^=fUkN5QMiZW}7FR8~=o+N(VC*)lk|F`UaH
zp7*sasq!rHiM0V-sLy(5_0WYQkosN`%<^`sfn_s$1Bh&so5n3LJgCE+(!D_&&?)is
zYWSkpIKzC%s(r}abdIH{VgG#9aC)Vej)rq!k2x6S0IzsGXW^TWxOE`(Rhy^Q9!X
z>++(vZ|lMQfm@N_l0n?`rl#lOxAakVBY@?1Vk^e{c9sLEJbHeBMWA;0J`G!K8sJLy
z-P?GD&RLmazhY-B(V@+x03|He**e*79X?-yzU$+TZI|1uSmU*n!?%z!J0+L3mk#A+
zosA&R2=OcGkQ9O+#(g$qnJD_qL;)dQ?{h
zO}DGb-)a~HwDR@qq+8lW7%2cXPxUC|sKh?!=*}A|t)mzR($yhAP|U3M@cK4K2};UB
zjL3;d{~iRcy0yt|Rj4r8NAG+&u5l7vj_@0{-!
zr784a75j%5>C2A!UrxCO37a~EvR>6loDgu=B3lJL?1pFtUg*#2K_(CS;;OC=?tH;s
z{S9-%1sCLQO5vG}7>-c7RvqNt|DL~rqBuGUQLlqc0@(SM)TU)9W0rw1prcP$N8ALW
zX6qVW%Pa)8YUl_G2$eThk`SkbHJ2m9+4Im*p_6KD#-5_}70sbT>6kTXSgC=a4KqDh
z!+-i=&@O#J?=o4t?Lg>2fHETHnh+Z$h^JfF1TX1!=6xj=OPq*#{`|-y)rWKBg?XZ3
z#^M^bLoKGVvT_yZqWP_^0$N7t1X5E_2?!1h$2z1cLK?b9s)PFuW~*th5n$)D5BbsB{rDeLJHUpw@q7b!L`a{
zYjiF``hghGsPbs1!lz+{wcmwU({u
zc{?agLkDmqm*`yY{Fu_9g@34O7WFRipcdo=gS(O`*gN+3n4%#a2vXTj-P$(oAdN)p
z4+xFS_Yr~DnirhUq!M3@5s41|rwhtE0p*NNNHQpKBbF?c3S3%-Qp!Cd4a$D|PHgii
zed2n@c^CEu&41yOA}+OHU!W^krSOGMQ!r;Ugqn7jUr786{~aL-^=Vs2L0T!9aBoVG
zit_}Km66QHA%`IDYBZ#$j=q+pOQeBc8e*kgM2k}5V^PvzCumj%i50!(4|C*h1uxmY
zn9LA+bV;Z}y@V%s*!f=^8A5lA@zFBE){WTIMl9P~4ZaaT7*!9TkSlB^{Xe2lgOkEe
z8VH&dNwV*^Zl+A&SIcCLyv5gRHaX-t4i4>M~u9__rU(&z9+6G%aX
zIjSoVxGi*PHSR#(*WfE&0E#S6u0FL#Rt#}mIJ|y&dwnqwhZS2tnX*|vc#TxAc-xcL
zGJQICaAg0XYbC@Q&e4nnKsaSgf_vP!&<6sh+kpuFu7~dz#tZGSJ5q=EN+
zLrD8vV`t2>w)Ck8!b&O0JGrS4)q%aF?FZ%_=PX=B?1bQUrIx>Iv*}
zanC30)K_1aI@eyVU==t9d#TB5S+^kW66xs)IL>4HHyHCkiZLsZ2TWRQB&KZz_cI@Q
zM=I_5Zb_-E4Gj;w3Y{!-{vuiImu91D1a!OjuYEI{ou5xp2>-Hk=H)N|3Vq~Ds(zb3
z&FDIolre8LZ_`M#7?S%oRQYYFHkz+==yTe5TFX*%&!$OWbSa!g&%_sxR5$3$i2(Xz
zB&bzZZd=AMV-?V^E@qGG*9&{HaxX}8L8*Jzw%p&O*O1>BI;^otVh%nWnb{ndrd~Do
zDM!`s-9(8w5!Xa3xREsO9!OGTc$wM~T9z?qHQ8A}JYIUFEQz9ds*=0r%tY$?b}h1u
zdjJ^uEX1)XkRrRf@J(al-S6!c-Pf1Za?=!ouB0<1oYDirKVk;2DDGc_9|i0sph3^G
z$3a$k2lH2jOePtTfYD&%e(*?%UZ-0-tbIXOY4vVn
z4$zc0DKCfE0BC!E?UY|q#(t?hb2la^l_mKVdNxt-xhVST)F;G8$A)j{_fx=J769u3
zcRdVrei5r>Jsx^C^8t|JU?E@1(BVX}!{)kbTVWZgtR(L#lCxH#)>Hl^*BuET5f?D;
zK{?Za@TgmZ(mG{pEO=$hrlIEytUZ%&vPZbmLCz!BHLJ{>6{Yphb
zJ7!DozW|`!@Pu(a+Vh}+;GTrXkMC81iw@%)u<8ZU}3y=QAVbR4L>2
zvatH{i`7;El#;6AqQrV?WKOt68^ofK9d@S7f9R0xSXej0KqL(-T>gw{BX2%3h(mYg$W%+`%v0Fpx60AC{t2Ox9As&6GcP
z#l20~?gMwIs3ZDw&{;g-BsMV>lO6%~HS&}{1ys3sEtQ`w5vv>NlHEd2#K5i(JpsrE
zvcxJwSkZUxEj`{OHSEpA)7a4Sk}0HFo9X3w^7L0A86<_K?rhp9S8$I(fxRF8UQtCg
z8Ty0Skz|CsEI-Y`RN5gZAE3s?n~?@)x~H3PK&59J$lq`5Z5Kin6z8MAJL_Z%~vHCNaTyb-vz$u
zo_}P<()wzjKjohDkR{wRTSq2sjt%N(pKS-sIvm5wnp7!Q4)F_c(tCoP+l$xfVRF;PlZMiUtoi5pFUR0#=p|<
zRuiD%z51@W^GUanVQbk6J#XH;q^k`QDBZykK3M%6=Sa`X-5NSYsFzzIBIuc6k&xMs
z^rab%(Z4J?8@iE^16N=nbTDg6zs_J
zWe)>9{|&U?YAdzp4&>yeW9f^@l~r~Ejp2Uf3!j3o7<>3Ep3iPs8%btxX-+_9xrhTj
zr|YX1c1;#&dDRP9%Z4OV9y|0p`ZH}rTo+g`YPoOXF|Ker=A;Arh5tMD`0HSf)$D*o
z{Ha4}2yNdj;8ezI>EEEhBHHYm!q%-dQ9jvT_`&NE1Mz|%NU>l&DB|TY7WOSOK;ZH+
zXkACgy|Z;`@^|f1-MB}2Vq!V+2V(NJlWB-Bs5)b
zCB*J^EZ%_vN@+*4LZ5_ttYimI)0FL5z*Fynza$KHP+sn}@ZU(dO#vFt_J1$BJDl#n
z0DA~-mQ_;L*?zORmD3+Kb2xRWDf0(zx#YL>AZIun0sBg->rfuv`=c449~kh@W`G(s
zeuOjE{TD@@?T43sEa)LvYpZ8s4>Si5{C{hO0NM#aUlV^kRXXsaVWMa|Q06|nqLERM
z2ulXeyK{dx)Qw&LJCw}I|I+HaT>ZaI7;vD}4XFj-laD`-n+>0LSOQw4Xu$SIX5170
z^UkhafEoce;(!YCAIC|cRQP}WAOAs7;Cxj${^Uy6gCRufh(1C9^zc4+nas^*2D7{y
zCyUuFQl>y363}sB26*QmtJAp$Ti$0^Hw~zQ;&cV)R!e;-zviw~D<-P(nHb7Nf<-5NFyr1^9?;X(B77lndVBumw
z>N7X%6*6PyVE(or&qOW*m!|&!-d_3MepukqEecd*?sZ1EYyh2azc2IMRukNjt=_lu
zKiE_gOvq~bA0*y!3+Oh)eBZ~u7yo&RgYEyu*T{=oU538jN#B0*-?{SB>Q7$&%f6G%
z`AYeqssj0O0DXW4#lOyY1ps}`Sa*=6%=a}r?fa7@TT%xscE>}7|66W7Y*E<6DG%J`
z)~ymbNsIm#4k@SE2*}~a%EhNNsMv_SFtCou_3v$}f7xdA>x~KB6Vu~Z2Wc)RiQB8$
z8R*HGvTtG{xDPa6PU(*aM)H6U_y3&{Jd(&^aH(d@HU#%X-mNksHyCkJiqmDaDy7hJ
zF@h0{z)>dU3(`F~f
zTIK||k0bNe^D8=j^-?fae0^po{n!}hyuZ5gC6!>p(ZvmS+5b#uQ}RpobZ&S*$$x2b
z;yJQS-y{RaeUHd+hJ3B`GO1>^`m-FMqnOS+fSKC`{X1#h#gF992`k$m$C>LE^z;89
zDDhe%P*VBk?7kD)uJY8;(al^s+zqI!{|8>Hu5-^WfYrsV7Is*I$zV&wx;_F7T}L{P
zGqSt^efk>z-J1TaKV$(@hZQ6j$R4P0=k2MQ94vfIVbNFEpJh#~n^D4YS%{mEr+6lH
z?~GD6)Sk)xfEm35n6kgyfjgiOQQLPO_(YU^I00u&j=KgphApbFtd3$CVb~G}w+28g
z{zhdS!KvF&1jL33_q{lsnT=&0V&Qq8q@|_h+{zE{&rx&68cdsTrcHV~J-xi@DJu9g
zI@^B(zDE2Dws31qOsvk*HQ|!5;oThi;YJFA%L2B*YQcIz3Mfh3^`t(Mah_%oym|~s
z*B`F>t89VJw4j&Y#m{^gL~@zP9^kvtn~12-a$TTd2$%Y?H?$v#1a`l$wR@Yt@(=XJ
zHQm8Y2%<$B`p!BagE(+fH+0R{;#GH1oFkQgJ!^%Tm2=AzPoFI)*Le-$<2nX
zP8L9RhhSSJ@xD<)5Z-&7hI9P;HJs#b;`B+v+-2du3#CAJf=Bfw5~TzJx8TfGbGpO(
zpd1pkdwm@bXw!cfL6yFUPjA|f6ni)~JNv{iU4D!Rc43X-B4nVOUqwhJKtEBRYxV1|
zJD6XD5v2~~g^s_aVWeGfaIo7M17-?@xtF=#36USQhgEKlA=#OmG$^-zv!AkQJi`P;
ztgE~lQ|utJCDVYj0}#SbG7VY|V=Xqi;v1^F-bL?JjxzV*E)m%pO|%iN3>?m1UmXin
z|Ne&ikry39XEPSY>kYMmrDwHSXasGVsD;r_jJtjTki_5cTxXX8b`uVZoa2Y6mcb>}
z|DL?Ryaibu{QvSTE1;}|WiR?BU|&Mh)D$U-j_t_$Z_s
z-M$O(GJP?BKm-uz0#M)P+forAm6h7OF$8?c9k{q_$PyS*d2F4aPKB!Od2~*+R_fT%
ztfl|(-f(-o2EC3kn*QnP#s4ZpK>ecd$MS{lw
z19<}9=$k$YMWE+m>SRn_^$Zk>t$j395xlYt<=uU5Lgp$g`%odS@vSaHgH>l98m@dR
zle{F6e3ez>4>*zCdb|HXB%s3p{(W~7Ft31z>aLipx*O=HBewXZY+BA+>8{&5v7^nZ
z^2fps9d{K1Nf-Jwa+{6zf4YP`n}N@M*5FKcb~`o@QC}}*Fa=vuEK{6q{YdCUlhETp
zz3kFHJwSGUXGkOvE$#SSd$RcC%l6$%~=g@EduLq6~MElWp^;+k3U?vX_L7Mw@kt(%ow6IIu(qcAd)SLNUCz@bSvoo&|k6%C722
ziJ|jAU58}9zo5TsY~day#z@etsATGjva^zpxG~U*6?CQhe6ous-c1N9U9@tOF5(l!
zaS9k?&Hrbw=fc8eK|d^emV2YOZC|RL9c|Rmki%WUdaoWTG(Tv_@I;2M{fKW
z`%dL$^3_XE{tQ$>K!A!mQ%fWt0H9TV^BEl#qap25c-c3?6~kP$vnk09w^%hf9n$df
z`fKl+Xbx^4-ouAwh6@GGj@iig^F5W}uPE1+K43`pnz@*nBdc46CuY9T2^rNm?maUV
z&4*r4V!2FSR#46<^f`Zf(_^8gy^5yVW>xj&%&1jUt?tbra;Qsv(~`@~Jy-s$P5gpH
z{+u$sPt4SyyBm$+c@f^YJ4ZbIi7v0w-P^y3cbU76Fw0&sz);T*-j8nR-!Ffp=9*Xs
zb3HwEvVI(yJ>Tu%mWjhjs>_n7#|y6fiQ)gW*+5n9Y^DUSPp
z*z*CZK8(z$Zqh>5^)<0l8_l&%j>aATJC6aB2U1Xgxw^L#yH--+>hJrdMD*DTB%MhG
zY|HEG2fVx+V=B9qbX-rvvGo<>j_#jJpN}&2+@Mbk1n(sYAKXgBP#*`g*{g#7%Z1$W7H9@}Y!a7m$9ObfT;4v{E
zzt}CtIuMcR9VBSFUjtJVo_A^A)&F2jWvqa1nC2T61UzOorecSHDarmmxUOO;&KT2u
zR!8L{{${1SQAt463bql3*Pg1G>>Kf4!hhM0-j<4%xWHdJLl~3yrhBC{vV5`Rxq-sR
zxd)T;68UUHi|WIj%(5SUip6{YrE+&zW=`D=tP^Oec1wlj7{1QD(?^ek
z3M=ksxV#X!?IU`=0WbOK>bags*b`LmE~7f%+qcd6vcemmzyxnrMi@|grk}ErC?!Et
zS08-(wHu9IXOJ^_A8XD3lDnTp<*Hr;^r$jPPw>=)Us@=MY2Mf{?xKVQWi4qhbjPJL{5l~1xH8Elx|QB?gt
zBHS$KumEC+bN9~0nUwX072k+evWe~%(i^iG
zH4y70(8ik5Q(^Fde3pIgsEk;l0`;vJ{-s9^`}JF{s9;Ottq*^jrvP>5O&c+zw;jCEB4L
zd51cOjT~9WGN2ET)I5;le&rGHMGBE=~ZmakoH7&
z+DBzAy7zi*2-w(cOIwe}__m9wR59
zK_2M3w%tOSH9tM0e!{r*wAV<*`%PP*r81ApVIY#3%9}t|l2$jP^BI?)SZ@t0y&5?(PklOoQ}gh)&PquhFwtK>DC
zsIPJ>(lZOlnEj7IbhMGoUiay0AZqMI(1lI=vKeN!jXt^VA?u1d(eDDH^y;FQ?pf{y
z+JLTB@B`V}Qm3E7g6S7k@+AA{ZY`anDs5UPVzbj8jsmiIrWrmjZ#R69Nb-CK_#PlZ
z2-N9-YT&;j1k5&?#FF82yI6BU){Py2
zGx@#<)t?Z=$r;)x;y7ZNA8{B#cSpE6!sj|6+T{*H5dx;qUwR${o9mkCV_{$*O?wnb
zi2++!{?odBfdl`aYMWaEcLVCH5_`;qj+={Rj00GhN^Ng+Kk!yXf8+58us1+qU==J*qOvm~#JYcVk4t6>k
zsdk%s`NrIyz^4&y5w;Uyl@@6-<^$n(d)Ij~UrC(?LcQXNrX#cA;a74Hw3FVE;5XWU
zd@63G<9{6gN?=Djp>CC43HA{w_(94zltex%AQhq`t>m#us^UC2FLCFb@uu4>3{pH3
zi@F`@SvtJ_#XEQWdhdFQthAqV$>TAEJW#?d9{=qv-&L7Ik6|A-lmT8A{gg}wl3{Xa
zCbo+%;Q;y!gq?9^BhQc0S}2pj2%iD1YKux%7EqHIEEMA_)g&DPXLwUKh*2p%UPD$ArNjPKL3m_4Dz(zu*i>6sv71bbhBwBCHSRB
zxXw7`S|+}l9z2Wo5JlgHoFC>vfjV#9?(w{;)_E(Ma^2*y!3Lp72~rk@c>_uf5fHh;
z`gLAZnHm%m@5+*;BejgWz7a0l-pD?iWK|nf^h&CxaqUve=_@YPhh5z&y!@Q%*FNEu
zB1#>s6>7C(e@i9c-XePa`AT<4BD|1UNb#pZEY;8kqf~0wHN@A+amS9s3xE`QkUKsOXPufr(Vomr}-Kg+@cZaF}-!-!Ex<
zv`XU?6#*$dXoPv%-|EO{WlhkyclHys!NEUCEpU1ApMX|d2m)HonD}Nw=PO7XuGB4y
zfy-?NSbE%%*Yek^gaH{|_n}I5Mn$od
zK`8y=F;|bf)`%TeJA3$r=ga8?N!!e8-QAs+UF;{-m#-nuDi~Zr1$Ifk$$0j}=+xEI
zo@v^!LmjTuHK|XpRRIARjHk}YCO=DaM5gQ#;PVqj=QEO5_U4YTmih=UtG^8=%J3JC
zjg7>oD24c3Quj46sP%Y57&!&B+^GubR(8|`Ar2VLy?*unVbhz80C~kU-?@~UU!C#t
z<2ZNi@@>49N=LMUWnA8-EtI%P#%nezi-(1K%uq9Oa-P*h^>x%ZfOD%eaR%gsUp>C{
zaeCT5Imb)a6yxrRI4cOLWFsBOkNl|hd+Fp4;a!rYr_SnFt*zU!o?Rb0?BUGLgh|(V
zU&heV{W)$ClGQjrVmDogLgxU{R3
zGIc`2C%x#srQ7E|c8Ci?JInQr=E;7=_de7&GR{&CorT}r{bjs2)uaW(Dq+ghI%*+Y
zK6gHaZz{wcDdRZ%Bu4LjubSySR_Vk~1`xQ+-$iq{{sH*fFBh;8fN$8+@~f?Ur3c(&
zO)O_>>HA}3HVWTzTWiv0E}4%fjv)ey4t0x;HS6pNrf0ONWIB$?$LGpk&7^#3QGa^P
zfavh+)n>lp9m1wYSBPSi$Yjsen^DJ~hQtKEG7^KR?xnv>Ol7Ei;V+Goj9mfv4$~{$
z?Sb_xyVID|S2*5aI0DHIAz%Tt?f1{n$dYbX)dL^MILsuLo&lZ
zCQb}lmo#1|RA7DFgAcZUlR?oITbu3jN9~XNR1reqC=Ky3nVv
zDf)>Fd>MkY9HECu)x~_M;E|r6aM;XX)E#Uls&dcUvd-3?I`yb!qqfu4-~O_Y;QI_F
z&$q-!v`m)~+iB(Zw%CvB7J{|wj`ParaFb!VN6wYkOm>j{!;+Xy`~Hi{06mCXEnurSh$`YXsD3TyU4UB37s5^5^G^csaM?>
zr?RtP4Sm?EcR*3?$ev?F4#@}VlTy8Q#ct++e?za=4q@I9n8G2B>OJ-I$MK`8jY%+7
z3I%_T(QK8%J5b6OJA~Yd85maC{#nV-6JvViHpMdoGaI>eu?s_xu&Q%sPXW0aS6>l#
zAW*YfSZC4S_rrW%|4zYWi1o7avUhwYt?8R&UE=$PuR=yhUt4GX4|VSy)l}B~59=`M
zV?k%^bP+}A3IwEMrAhBy2LjTCkRT<1qk@HALN6*H9jTE(U=*bVhyqD~5Ks{Ugn+aJ
z2!Z#+8J}@xobPXa*SpqR_$zBcF8AJZ&OT@FPuWrPf%a|`<%$m*22;kC302u=cip_Y
zD^zr~NBtkN0$%}|>zl#kU
zA+1CtEeKf3F{?hrUab4s&Cz*%HBt5W<$fM3*v9|UIi9vg!edt#2
zQwQd(SL7-;>%p!Nq+Uxn=d(_x))$*M(VzPL6=)B?&>wK^Jm3r>iX$E$-wZc9i-Dge
zJg>+vd;vtd9f_y%^YbsOq?&Q}*Oed(i$g97rac6fW9VetV_q#UMTPyjbj{(rHM)Jl
z%RvQ32Y-Hjdej%PD9yKYICP}sLbT2(3Nd9GJEdMC(p}DZFY`Bgu0>a3JDl&x52wWu
z498jHbB?jP6h==&`GaQ`dLKs&rWzq)-H}yPty!u(C@79=xMbt=Cg;%%oqz^qy41R^
zYS^Q_Mu*sY{8>H%_;oHb;-T!rNAWat@3|dyb$V-eX@ifZU0YXG7laN_4~M={Kd^W>
zq{((ke@}oeYwRLXYQ29kFwFa*mr%0Gf6vulhyff3`eD)EUPSxW;?WHTTK3GDWBU5~
zLtFE83+h&ZHECVo$+BYc(OkpIt>S4(kHO}1xTu6=W!cW7@lLG7!%`2g1amV4f3Fzi
z43!m=5aNsXg%i@{xOx$KCMIdO<8^oj^G2Rpuk{p`3`ODEN4D#nwA5XTst-?73a@c)
zh&oDp%bk8z&?C|8IH-KJ&CsvvwHzNqGF>W4P5r|=8zJ@x+qS*69VYPL+7j{`Ui>`w
zk#UuBmnJ9|{|a4RGxP$4imU9zX0X^u*
z;hCI$@XKcwsV(QEcVtA5XW5>yX*&`4Xfb5=tk_ywrVbyqV1C0edZ?{^V=%B+J*A79
zSmoarUO(zCfMm*`@>^-A9(n(B_?|S;cJTtWfGK3pp`uZk;qv-9a1<9m2Dt>E?iT~j
z03POhOp3fbeSA_<976|(8O0J{{N90?es>RCzP(q1kgI)RLfS2^$7#)xAC$RzmUPGu
zS0~8`Os)5pUbd6TjNDmSro`gf
za86c-Wl$Bh+(yeICkpC)$Lhv+ws(-uUH$#-W3Gz{)RuY+=t5>Z#KaLG8+>x(LeT7z
zz0Sj8Rdy~vhhOqX=J40WN7+J1WI5mhuW~X-7yHBmW3p>z)p-fs3_|8ky{mItP8dLX;ZovTew^79{TQZ{ISBc(@KiSR1-x2zsGc
zpkfN3o&O|7nCAyn+f_txPxq}+)p|`TP}u9$OYS*Z0P=c#bkiu_n6VNLtCcVU4>5X;3+vSpR|27ZI-?3}XKKkk^
zuj=!QvqcRC>UK`thwUs_I@a%oB-rWDSoI84Ev`HP*Cl*+pH6YPH3Bitlgm4k%#Bu}
zWr+wixn+3{p+y41i(y%-O(dVmxvhfs87`K%`%F-R0vo$@kYkYr-<4N2!S|{jj
z;K*6YDWb}!AlLeIiBftnv3Xc*%FqXONbwx&x+l5KvRzFj5{4=PjO?$ke|6EMJA_qi
zFM8tNp8kyKb`_FNnQu8kvNW-_OeJsZLw6Npt~{A{ta1p#g1*JBSF1R$j=L9XavKnE
zL$x$$vQ3>!OnqZOxO?+(_05>dQr=8ViyeaQm6L?aghIH?7ALwDN%q0rwN*FY>}9Qv
zRaI|@FV53^JW$;GyivjZLH)|^BpuRqDm!z0qWx8KNlL*Ev`*hMn)74c*5Z0=g=J-2
zAT!V$r!d%WB7>Xp!n%#^P8$~owi%}j_%B{oqV-FfY7dZ-OJ5`5bBP(=gCgQ#?H8q@aiymgHIOL~Vxy4Y%fk&n!`o01vL3M0Ckd}`NEd3RfkAC4SMSq%aAGRRwd4+`a
z1J?A&vtRrxWGR~7zZ4FgQgKyXxGfoR=-C!dv$esZbX>bk2G=bCNI|41EEVqo}FKI-yR+4!K1nE%cJUe
zhq}0~p#J3iOxx|{iQN0Z%=?`EAr{-R~ymxsq
z&o(y0<_gnBgG#OL|KHt^uXjUA~LB-mr+1k(^ykk*?X(nkp8+PI_FU#!LE?Nlr(4{!KZxUuUv;1PpfwKe-W9X{yuc}yLkayWnS?_eb-6UEP_KiWs^EDz
z?TsOx+W{PM+*6BMtt{j`lYxBnSI-wOS77>Be}0CPZSNNIW_f!j$&A88eLO}8PZ-TY
z#c1{Rs!axa-;9*BoI^WjEQjKmxE?J;M-SHqnI(|Iuq6ajBs12AV=V#K&_$8?n}GuW
zp8RPNud92ubXLYZ$$WWwY+br=50}}!6%t@bkIhOoj
zYw@6d77d(?UK|6GMQ^q9h0I>8V^iBgSxd90`uUNH{;lFn<%1Lj)FW?l7L%w}V84S?
zM!huuCuYIfin@}@8!BY+wdt|Lk`l!76mvMK1NuP8Z*Y8?7_hTw&RgZg6Sd<1*6V2R8nOA{apD
z^QK}->kOuaW>Xxf4-GaR7r6HM#VR>NxlQt?)1lAiQv+?)H_Nu{2!@)nyBDqlFB;gV
z7R9neeO6EznYB$Y*CgU3`@OQYg$K9NN%!)&dpM$AmffZkOyaPke9O(
zMzqqQtK61@oL%jLQ?t-a8Bo~Y`!YnMnA`k{^!LVgUt-WD!k^5AFAQhEXmv;QaZh=!
ztPA3EYVT-`S9K3W;E`IJc1Af!gUuH)VS~SLna%N#nF3BM@oVAJe8C2tclN2%1H0mV
zY`?c&IaRmf!ET-(#oN_x9#nj@y^z1hugU4DO2PQYu!>)5XkQr7r$N#8Te38Vl3bh<
z7PtLm>c=hSN|WlQm(iXbzhB?*A632L>1P`;%&_uRLD*z=pW0!Uz|FB97^ZDOs=~B<
zoD!R?tU2zW6}Q|Vw7aEQ(A6H(R`WkziiE5SoqfqmSq#0NLQ;EXx)aB7i!vA(2hseK
zZT9yf1c!oL9D06-SEg{rl!F5^)8M3J4o~i`(~HW%l=J9QGYjB6wjhQ7-Z_wS(ll?*
zy`#_**X=J;5p3`*JtY8@HT%E%cMzF5Nj{fVlSyL!)8I0&sz4N5`4eQ|M6uuRQR$*w
zYH|$~P^JF4{I&q1xH)_Mj{KWR;)iF!l&d$Jndl}0HPBmOF-%<vb{`jdM2N@J*-=JKe)by1>l#?(xGg7bT$9Zvw+W4~ejt^r4tcFBcA=^_ThYyIbS;fyflj29N>g
zWhN)is!{wa(sp9J(%dlg@A14r5frQ$$DX%We+JvwqgnQ@cV#VxOpNaP5p^cx%A00n
zL7HH$a^OOqq;CEapB%1mEH`Ec$V%$}nfD0mZlopZ$|ZZjn-#?6fF>{^f_KjA-3C;S
z{6Btcn%T!Gtbg1iS{62~d8}sv1D`5{!pW1Tm$7hKsvGB02s`GHZqNLG|JT#ZMDJ7`
za2}i7j`GhOhtqnEanp70jHiQX#It=zb04NE3xcUT{!fj=z0*abhM4Q3AVGY>XVvSA
zB9-ZZ>yWQ#70s2|wp|4>>0hRA0m)r5;K=(8!N;%&DKmD<02mo(^ZW+Lzng5J>
z9AdXPKzPBxDE$eJew9yfi0tOCIg|g1AIK^Hc!sZwn?vs|zW-&7jsu|ZkKcX;(7rIH
zfBvH5=me?2*NOkFlHvH5JT+PF&$rVEApL3Y=8GmNr=q-UPpLrgT&X-D0Du2JECHdD
zQkI}=cd|rq795#lX(?%9*o^VD*QcNtE0(DvL_^*-nt0J%C#5`Vd8f|sbL${vtYv;n
zgR{B*1rsUu8Wq_!W^!}1&%`IwbvX+|H3C8ZUmmMs|Bk{S#SzH|9ya;5i^EZUdyP(>
zFm7Br{-U;^!?e4~5c7M_I*5alb&%%ntdqQbW$U2B+`zt8T`66}q+PEvv
z?`(SUUkJ*YkS27`+Py#zn^t-oSe0wv47E7$v6?*7vj?cXyHf(e3DkYTAxli1%dDl!
z&H6&Qk9)E?WD!dDrpP*g3lS(y7u;nw^GcB~EZ6p_#0sTsa5a3&hLSp8LELzjur76f
zh)0fFJm4}Du{~_nVr+@V-DjsZyYb})iAcfSu@97Wny+gdHojQquCk}>B0~g`=GB#4
zYA;!0+b8SS!S!q2;};V!Ue$R!vY@4p)6Dr0
z?GNt(a+ZP?D<8YzvU)RmK0RGRwc>1K+|1nLB$_R~WXqvj(Q=>s@proYutPCxH5-+`
z(2TS7aYGs9alB(#4|TulQp$4&In7#wA(h!PsI!6^aY(P8ErdmE)rUG-DO0yAe&1+~
z145l9Ime%2Z!#Cu9E=c3c}eN6DrH=p*l@IHxRA~W^f@vxN)X4H_AJ7y5Y*??RWZ3(
z`z%k{I=CyFzsNTxOK-Dh*)K8hji^VnLg_NM5w{I1G_5lF0j?tPP+51?@QSNzxOnhv
zNUt4m2Y_FTq}?hcEeCB+#RxTCG+`t^@nf)8*?#z{l2VXV)v4dfqUF^gvSzv(x_q5B
zE0V|Qvtuff_EHijpgD83IQbm6hDrejAnsMnonEBMwS1j*MPtUs`g^ruChT8L6M92#
z0KzG#p)g>pCjj?nC%dww6)eVLV2knJkWiqinVc%32%)EpfRr(S>0<4W5tnY>F!T6`
zNA3yVz^viL&(c$qK`(EGSPju8wCTkHy;LFHEvs#(z?!6wO?gqKLG_%**dj?k=$?8VZM$z3?bD3RR`reByn~V)H
zXCrC(3cgwL@DeyC7QH+OkvglM(^WtD3>Dx|vIo~wOFWaJ^trZjG>8H+59x8s5&F$sbRWCe2s(U`&|wM4w-|a0RI{dN0N3FZXjSTFD{*pwA&vr
zz@v^ZwfM>#3@-hinZ=%1-1m2^na%
zBIzk`4Z(XQX1GtZ>+_YBIImV{LRQwF?-8seJ@qfgH4)VnN)VWAbYzoiEF9hWs;koY
zqU}!W$!7TbX9rBGU7D$9BZs!bj&`&JUzVr{b;F1X;{^T7(`y`wJ&U0c_8t??J4!vX
z@um24(mOZHHcQ#dK*f_NaMc7en=SKz+{k4};ford5w0DHR^+Sjj6JfVYPswUz
zuuU8jHn4Yc?%12~bH-`tFmE_fhrYx1{g~`_l4u>nR2^piSQ!Nr*?#l6U^iFuHGCLz394@
z_b#M4uSTHSK`Nyc`kPf4<#@14)Ur%dHKjJxl2MiBWlSC(5_#Hl#dQSN#v>?xMia{D
zL|A*O&v`l`MyDAuo!V`>X%*!Q@L)s4%FM^qB`<5KM~hyG)(ABTLXe;$4
zhRB*D@xZCzJbF)37X3o+zC)#?1Tvk9)qj1HVex_6$IYfnt*KhCP%4hwhlyEK$lqF%IB7{5l#TZGhxHUNq|
z%9`kEoUzAV9;H-AX^6Hg=+cmxeO__O+%sG^B5yD>bUe|0th&wbC{kj;%=?&3IeXijNDokxcHrw|7
zat7CB2%4UNz;7XhTH9vCnX#p(;M*U_Tjnn8A*Rmd2X_Ulrufu&U#Fg(4AQ^SG9ADoFCf<+&bA!HKgIw=s
z+X!a_vB^|Bx2ub3?m{KfoWq>?GJrdwGWN}-c1$~N=}{TnF;G}OlyS0*ebO$|Mk`;Q
zv0~zpGgGo%U$u5X_lj305GT6-$(Q^xb%F+gJPm$zGI|Nu3SmGK5EzCcd
zUWKyn7v<_nt`)7~0)hz_AIy=7!=Wx5K4z|8HXfL82|vR~smU&NzKFsqczdQ`Y!Z?D
z{aaG1*#|^=y$zFHBj4H4touE=QAMKmZM{hHZ(WFjyl(iLqDqPc9p7@!VdAz}4boyY
z=8aLwgq*+n+@(9TMbRf|-{ccMqTU~E-)|PJRmN~?|+oqEIcWW$O5QI5jZV1!#XdZ@f&bCCO
z_`nkE1@vb*AKN4E4~K#>0*e^l)K(RvM~YbX!;28<`=ziG2>VfYRm8Q(Qu_vLjGZNx
zH{{mkSy!kjsLz!h>Gqnp^L3A@HCV(?qaqlqo}=l{o8(55%lunRFm1)VIRV*xbqnFS
zr;W=#g!9T=HSgW!Beel)CyUEcVt%rGYEn@abtRAO?%^nFnW;4>
zGq^45%UzuJiRdpWSm7{{!BL{4N8@jEqyv&Fg{C3lowwGb*jDkwXr3CE=qk&r?jh2P
zF)oRC$Qp`UQ4_-9Dal!qd-t5C%-NDS(jr=?TC3j^ir^Jk%w>ccya6fVl~xi7CCM=c
zexa$&b?=R{j&_c@*b|--#+q3WeAK1j5}ALcPP%=u>5}|`Z;!Qs;o`o@l0Fm}toz%E
z-}YLY(*!@i8`cukKdd_HaQ;E^FgBZC{Qf=6pjSj`j{&Hud{l~^bRoBsw
z_k@N9f?X&o`r92!%Q{bgo=ou#38c4VzH7+j_Pv&2q;Shpsj@0?o$GA=Mbc
zl-Zu{s_C&-8D$b}e{E~?)k&0$Cbs-|uLFdGq}DLJULIynCVHO}Be#nNhfgvDY4w1q
zeQn>&34lJgplX(~jwW{KO?({r6;-WY|?SddA?YgiKOWd}{Jb$er
zeY_yHa4v>$)=q{lCDE8O_%3wNpA7d)!$wQkpgV>{QyWi^_Nxb
zsC~XV=n-MDMPwQN*~WEJ*^fCO!Gc;^&lUB&!B|YmMiS)v39Yg%=Iq|4k2Yg!(a6;X
z3mxFk`tY8mHvN@H^x|NcYr*xw!50@yCRWSUNr!s-$M;lx9r>W}&deFe<}1Ze;dT0{
zXh##G#;Jv?KTs_}DK%n#_j!E+#(`#6eD?Hm`ea7ZZPD(sfhbw@JkCzPqZp9Z81?g8
z$BxiLg0*p|Oc@FEp1={Aeqf9J7Sn4(9X`q3+n8@Z#NCZ1TVCkpHkyif9&(Q-SC=S_
zA}|r1;ndt8d2-z)&S{Pd`FDa2j2bEI>Y;)+iqjBAP>K{XT-Vw85$&OA8u^GqP|uO$
z>42*IZR(WI1N=TlpVyF(+TQL`^oH3%K<7KwRD27drKRS~Zb&3#LL2!EzEg*apUB@?
zThX@@xRSjXC7r3LDKRP{U2>SPK;EmbIBoWMmsyY0aHfP&eZx6Xk;outR(ifH$-&3H
zPumUsd68QKI)WcK%#5b{)xE>c%G%%V1iq0-z=_!92tJlzKZ5-R>zYkofO3ovClo?E
zT&6<0)F+0UVoz6nbJGCBE`&W;3di_#*6
z+aU*oZxn5w559HLx~}Z5o}2;5)|pLdxU1WrIvjwfm0Udpb2XfBH%|MI$ETupQE&Eo
z<~Cb`*QTiRq%ZBEQC7={qv&9XZLQA4_S>K*#<!UGgv-!zGt@pXM)SUe$An7g-JW=5BQwaLSOxXubth}a&=)d8dSnV(xXQi~G
zFiM1kZmngfd+EA(mrUB=p8%dXV!Agqj}BF9F-dz|d^azB&3Qe6z4GbB5+wfw+%gC2
z_-04pg5d6k%C^I{c!?&m+WvQ4-xS>xlR=4Xo}&wQBmiylt(4N65fD|&5EG^gT+mRv
z_~fLT&9ifwga+&K0Blq7_Ci@prCz(O9d3S_>2wK2DdezVz3=wI1fAd)od9ie^7qvq
z%Di6iDTJnL_-JAXSCHp5pyrh*Fj+OgWx5R*h^ptw;#^Ngd&zAMs+r~0jUQl)Mby_W
zR+B3titV@@249}dkh3!*ZWR|{&Y!)7E;_#^%gV5it@i1VpknIYg-J#~tq;hjt>$%A
zz+)Qbhsb@hE_=-n3FUSMOJ+LIlHP!_#`gL9H(dT%5C%uYWG=I8+lhReeDd-zNaGpf
zKXNn5*uxcsjE`Fgx2J(~;o$xm(6MhE3?-A%u~KOOL^FbG^xtT$C3gi#BtIDj%9w2=799guDAp6htP!s~5B`>)CY9_{8_}
z_>;810-T(}{L5$UIGB@5dNBW$Xvp~ve@g5=SbC!VBnnqvL_
z^Jn$gGMU?m4zTwsEYAv&*kMufkTB!SWBdA#aTjmV%DAX@!duh
zBD*Zcxs9Sd(>%QK!zZH?LZQ8(N%x<8uQY9G4oZCLCUcmfK7nl&k_3u>88-7nM0anA
zwI~iK_BzMmRa4>KlzT-a(EH$f_4}V3&4El(k`5odoe#=w&PENHWew&gjH(B(;l2H3
z)}l`0TxKxm4-dN&LLJZ}AN!R7-KF!dq3(A}pNeUo+#p1TB#c{%5a5oQzja<=I8MMn
z9fUU*9*j&ddG%HGI|2dDj$il+)2J^1
z!N)(11-=5qyY5$X3gs#{>RAx3UVqWSTr<;ac2NS&z7U{jZm=Kd;f6Qletz>;Lc$gf
z_w^^oLmHZd(Wc{a14)~^Oz!cg#F)P+zxHNJG66^zbhNA7G)3uJvemWz(!t|@VjLXvuAG;kSj=G(><)$@CJIaL*>cvS
zI;4Q<>=H8~CHqUhGWvW;2(S$m53qPBmCnH0q2i$+Kw~fpa{Wo#!@>f$H!cttOG^qy
z(9(d)8IdPduQ_D+iKo0WGO$kQs@@ofF^aeEJw0VPtjNlUi;p2BU`zzs^17Pe1ddpt
zX)EGhEv+p*$~i;QaBx0*+qd!}By!FqEys+OE}=K4kDI(a
z<_kj(GL6t7{oF#Jiw%>>L&nH9#1OYS(W(y(M|2?qbnnotma=~4p?M|c*XoR&t=$9;
z6g{EQV7pza9hyta%%ONcgI(-x`laba^zum$OI_A11EeSJ15!YOQr+zoD}{QUrABl*
zFze*(iF=6P@$-7bl&e!0T9otc-Q%Or52MdLA@qixSZU_}>0Q@1`mH1At;HLWmfHH=
zyWGMYHbcsXUncdE&ax52Qzwjbde%X4YO2a{+GBs!ld%^QN_w-E6|c7zFL-?^WtxB9
zlFTeNhLj*WauN06A(quPj9iwx1<^6J2UhJH?!I7DeWJoU<>%!{m|B%`rJ1s$TuxP0
zWMYE*>B+9Uz6()0j;6Z%J6w34pL*0P=qUc+a(Az*x`wn!Y*|tsZ8h_yq-$2r4b;-(
ztvt7&uZChi=}xJhl}=1dl=XdLY9X4~8`93>$eXxC*U_OQqvCzXkgZyIeJij9Ms`=w
zBXB|uQ9o;Gp`m^pByTU~50Inj+PW?0X({&ayl&R97zTKS6H(B^EHq8pwcYK)8u2KZ
z(tpaSHQ3;4lrG+0Ovfc6x3xW71fB@x+RO;_r<=80PJ|Xq?Wfl|!b|lN+;6rc#|spL
z@;oM_g#5EIRXCwU``;T{Z@a@DPbNXJJmYn=x7q6QyFfq@4IO{AC2ED-1JN_=^xe25^efx}7
zNlL%Vf^uA8BQ17q&wA4&#HM!1YmNtxu&h3Kz4b=Rf&Sa6kQ(`oPr7(aRVgWz1$ScX
zGIrUvqwqE6V+wMc#4^4^lw>qeFFe@PT7NG`WM&KDzS3zb#oPAw*wst#zMY<%-EmANJZcXyIr%4$fneExou
z2KPvRz6zjslF`?jcrn}G2e3U2(gT_R4{#d+yg2f$c&`j*L
zdDZlX&@pyoJ}VxcP^_a}oIg6WgOVH+LOVKRbE>u+zBKEdoZ%kD_O2ye-#5}PS(?J&
za@Szxv+Gt93cXM@)dsP{=lLInT|1>0yiMF`)YJoE-8KsfY-jOU$Ch3PSAG@hfcmIJ
zhBrk05k_F}ws6Wzt?B%N2^Y5^_OE*c)uq`C_41(CJXfmJOS)X$LJspqEh}-^1G%!D
zvUi5l42*Hqzx1rShf}jEm)QoMHYiZlC>rd^VtUE-JXWe|r0{O{^GR7|6t5bLn5!`)XS8~}|Xo}kYs
zSSo6--CcatrjiE%d&ZkOVNe+vnvF%{;^udovrXWpky;Iom$w&|QbD5Jo-ojXo{
z6ctwKBM|3HeJloocu>;^9U22EI4g1cXXDG?&K=N=s2l=2QR$iCdaO;(ZUF#q*)NEY
z{>OPx^Iu~61B${%WR@X2tv7BW!kvCc@6g1-S_Aj}5_uFPA#cR1YCT;gk8RDumb)c;
zQdw~8&Y=RWVs&3N(wG
zdI3>KPu&eZ=VBK$tLt3h{%KGD3m;oWrDNS`wktqQMnvf3+!RGbNi%frREG6jGXTBE
zhCdXX)d}l_G&+w=_XJ2ZJ`kQ7?iIVpm@6&7sBX!atAWx}5>Izt<6Cx8rrK+?uJ@?25s(w2sI@@A!Dft@)j>8JL&dMu|
zgCBXM&qjLhpIBpOzKofThWlAxpagmS0pAU7-3PM|YZz2HHlCo;{>xi#qx$W!ekt$v
zq~FMPtnFKF{3s~sw^=~Gh*uN*fr(mk<XG|WBxjiYwh=V_>v1CH<{~uM)Pnu*t%@I)W<^WL0@&x^
zNbIYe${bh^sOEDV8-F%!6X^xDhWrQly{qYLS4&U?IytpxB9#mBRec>!Naa*ueBl{;
z(o7+VvQ-@`i~FgoJ9$(FB*jP=LUPvrjw@4qIdL6&tz7Bng%<1lJCb_?FWA#>T-~l9
zm7F)qykp;e53dKXTXu=o!49L
z(}%z|k5&m@FCDACrPF}CC+!g@6&U<1>S$ZrU_~Z;&97V#DQV
z(w^Uwl6vQugtKV{>|TE9dFD@DAFk^JcqbN+y;1u}UGZjPp|Jn7+F45OC@h5+kIg1i
zyqgmMlX=myEG4UH%v&&+pOP4B?=
z8c7v5soTc${cDv;x%XmhP0T9vqz;pOGpjaeDdm6V~$$El4nXPu;X>Z5C
z#f#*e=_G*3bknmN@{EIqE%Op~@(fkkm{{6un#cv{-0>HLv42S8kEf%HNuv4m)OlCR
zv4r}VWZBVMqnG@eN{3}ns4@9ALn@FbB?)hgbw(THtGhUkannu7!+glzl?QqA>Js^F
zX~lj3^DUlKxXYU>D_hs_jNnk=yJw=}Mxr`%KI2Rb9_Z_yTYPaRkdJ})%+Es}moJQC
z2u~=S`jS7=VCoJz+RGu6#|2ldwA?WRZBQ=U9B;Hi^;XTiJ$s
zeM1(5tBu}qZ*uu^)8lPdl4Ui`3v5@w+Emko3N)PNxPQ^~>QzI7#zLvs!?e29h^a_-RHQL03)4lac
zsGDPcdFj|5#pN%69E0eUV1Z}SQ@GI%Cn0)uX|#Q+n&z;qevRIoz|9Qz;fo?HC|%Ww
zZ=-EvW=o=vz#V&9o`P?3Y0!XmaCyi*+k
z5pp~wu%mQq86Xisue)O>rmr%Lth>8=okI=Sy_FNni;PE$vxx0&Yx!cyXJU{g{>xB}
zM>A4eWA)m+U{QFC!%#O9SKjjF9J@n-FQ<(k=(n=Ca+)kmT3P9=`gs>tvCiP4mQ?ff
z&&$>VDdiAGa;hE6D&vJgI>vtP!z9I}iKyhr+BcK17RyIXaeZF20vsn3OrK2bbyJMF
z13y^{IP$GZ&Y7mu{5B)*&1m2Cbd>!U2G90!iy13ke1#u4#7pi6#~*9Q*+BbsIfh>-
zf>U((E`QTUm&+_-qugb&&h5c#{?*U=w0tb|o{zSR6+)pru77;zB2rqfEUrMB^tQd)
z&ANe;W89LCUx~|`w#lajQfnh#It<<0qqx-Gu2YZ9V2^33GNj2o`Ih9Si4gaHo?^w6+u@%cuhcLsa0XjVs}-MO#7DP
zm*)@}(*&=dquaXiu30rg?b3755Cac7lyKH21Ers%u(4WaKgbRNc@M1b(8OE)ZY^(A
z?LNM?*VtGsR`-}^C@Q7IsYajZUa`TONygmzf(q!d;=ob$MX{Ic;>Cd&op-%~x*aav6~89EYz0^v`C+cG34W6{
z*T6?i)uq#Zl36*AW)@YVymZ@N70gt2C{^4EX_fB5@BNd&^tUS9h}n)p@hqhuKh}Hk
zgdfYy0iFH+otPWWxz75(k$O3e0gr8f)a59Lac|c1%|7r^9keHL|JQNnc;I{~7jyQ_
z|0QpiQ`7pr_O{39@)y$}ao2BR*nex2-@PwzM;t@<|9eDb$QYN|BNH*VM)YM?O1J0J
zm^=SQ+urt?6t&MNOBFOmk%Puh}&;b+!Ui$Zb`TwXZK6sH|y8--7D9o9SU;7CBy_E*1)cs`T
z3xE9Y=I`J7{{Q2-|A$Ar&zt+hPeASSPf-=r_>8Re|&O&ma3IV(@!M5|-Q!m$1QepnT-Y0y6El6
zNvk2TcI}fJTm~0^j{FJy0HlwaYn}_m2ZmS9hdW
zTI2}*h#3+rAx;C2U4Q&NM@+JX(+L1<5MNSc%*+<^j6H*~pk3U`OBd_Rnhja&=g`-o
zjYFJW=UWhFq|Z=;tBY49K;0$Ob*;7nsn1gVNek1=+6wfAKp*ond=+FXR{|vKvJLAV
zKrTRli|xWrHx*e?BvU%MzE$ItB6LToD1J$YmGubPq!t1Rcn3Tc-TMP1G+otnJk-i0
z=;Mj9o2V-~&9ZJXRN#k}*$
zk!z{DAF#U~x6n9Lk-@Xyc>T{R?Uozg2>?f%|aJspEfqEAEbf_BHaw&z0sB_*}3<0{^9%?>Yg%U$*D;4iE-75L`(@D
zl9^<0DC@RQrv4;{of>RheHIX)1v5LX5&3!efk%f1n&yE=T8IO@z?$#92hgMyO$>)D#OYa+Rn)v&GEqB
zY%gpTtgg^Z4pdjkP12S|wYIUGKXtu`%1-;K{@k%>#!ZuA_-WXiq6bd&s{Rmt6W*XK
zEg(}y2Xq!Ley-o@X6szB*^}L+EK9C$AJ|KMsppi?MB#1HRp7o4?=A+^E7aWK&{o=v
z7vB5n{EZT|;o1Uxz&5GlPddR&`Qz@s*otn61BEj|Kt0oG_NG7!MkJ;efKgWG>jwtb
zQ+8!Ka=B*c;I5F@z!v?b4GAe?YY?y&53RoSNou#HQ6V;vo<>IdJ!;=QO2|O|7?Ek@9(D6`i$l>fXz#+TfLq;BI<~G
z#jSzS`HWfi+Bi-dYuFFnQMk*<5{bFd{F_?tCq7NU7D;J#gh`crPzXkLE8Q{hYMI~~
zYz=nKUmgCzP2>7{;1fgM8R#O+8w+@drQl&Y9w4l*HPsn!?{7@n#9z8}h@+AE`RRTC%_LV>2Lvr$2K
zk!UbyUf3Ue2~ZSfDv&hJ?s}|qV4m4(MfFwH6NW7_E;_s0nv2R(>*s^D9F>n~Sp`(M8*>vlHTOskww?1-aE`ZeB)lk|xi!Wzb22Jlybw4s`4QiXwdI&()VejS&
z1~J5`H}ENY!#z#ZdsORNUB?%9{4c{64K!#N2mBUu?|VCvL?g*|=<}Hpiyny#jZ+-b
z4{}*7*&|%sO-hd0S)T?y(2<;=?j++5Ea=JAG+odGU|oV9W^e*JKAX#BHhW!??FZ1x
zx*R>-Md8+G_X~r*hMo7D_>s*WTJX`prZ7Xq{!@uX0?4^1zH_Y|Hawn9HlKg=r&nI`
zY@6gIw^z>p6qV(2?VTl8ottW@#TBvPf$CSge!P56M3PUsMBDMb1ot^N%0XIP^L5Ea
zC-?CWRq<5=+i#j=
z1|+_0WGsRZbKVF97yeyl>Y*FdgM|;D`JWeqDT!g}WxY3|uMpl23uDJps-Ehkbt1w)s9h2it@hAEXM4MTY^hqT(<
z@CeJuJo5^tHT4Vas=K#+6E?u-_Q#sZR7<}}!x_AISdC@qY=b>~(n)go+%7XA+eZ`H
zy<-BcftQ)vOOk%R&~CT$pWhybuZ4%4Vh!G3f9myggKYjlz4cW$zmySDT^QTF)@Y%<
zSyLPJ(}fA0)8B+s@L6;3Ht}cs3~{rNNBlW#)XcfrYWqV|W0J#NwLh58hSW?Jc&Xlf?hLw(;&H$MfK`-(mmT(?aZ*>;;XDc*gyZxy|@EjWAlx
z`oiey%$#U1_56Q?@0v+`?=A%6H8kke-TdcoKLl5XT>Sf$Pa6@AZWF)oA7R3te-41T
z)4@W{mF50^<;Wk*qm6TqgJ-R4<25HoV!kvqK?p;DLaY@S!5<*N}`CieBmSv-l
z?)`8`*f~4mhp&QI5aqzucAq-M>#og)Q&k}
zqZ`ybS{U<``3%39@TvQu_J4#GmA*HyQ?OF6nI8yw?NqS`T2J=}w@Ggc1TOMBbtad!
zo;fpuuE^#XcDyYpycA%VdRh3X=Arn>0^ziDeZ3%}ose;k8`7=6R&vcmcLvkj&nH!n
z&vS(?L@PW{Aa5&-vYv4_(4J0r&=5Jm>JNfvUf3qSs5;!Y!qdmZrm7SeS5-06I-H#+
zuyu*3PVA>ccAHEk
zy%s48G~FS3+;|F`8=9%F+hrP2g)g~wTemmCGvMl&>!IfTt^%&1YEo{&pCm=Hktplj
z^dP5umk`#MWhLa=2-v|S`8jUkyTebuw+EGer0=dUyRCadZ6rRcRR*RY{O-o9>V0r{
z*z1%({1Bhk3AoWkiZ7MU-9z1f(;lROtbvkJ3S4=mrSLC<4;END0zA(g{f7
zsPvMdh8~p?DG~`JF^!x%I5RrW%>2*qec$u#J$&Lra_8P_uf58(uC?~ylXBmfHz_9i
zWTmx>=+l*hVy4`heL|$%!a}4}Ny_b76PJXWZU$VH!)bMU{g&LhGrU=qHB=Yl^Ji@)
zB+fu*>#EOlM-NhAt4RYdy!9#^>ZG)f!q%VtInU$JFGaxrfNFW&HRh}Yxh1#hyO3CH
zo{h@b72z@;2PJxL_?Bw98jYbS{?Wx|ZAV>czJglO2E*?sA9r`B$AxKPB{gTqCJtwd
zns(b(0`s0*Wd=Pg9;Pav{-+hLc|{wz7?AU(0)iuFi^rw}JQJ=9g#;P6O?c)i&rA52
zwI(T8I^JLwALw6M;*7u2=Nc4d)t%{?Tfmo|?8=)?U9i_|l&A&>L%~KVAFcq3IhW{3
zf6P@`TSb`+ncW@gm9%yxDys^W$W#TI&i9&Bj2NjgSMRNNTrZa8mK*iAD(`(i{{Dp$
zN=Jw@$zUFSELT>i@M+p)P2D)5H&f*tpc0+`s1l*9po_Vz-P`G@24s80o9r7?VBNAE
z3Qdk=tW8@GI@2ixGK)44k;;gDKi)PYc~_w}e&{#mn*P$=JZ}AMuZ+X3(oG#koxSPf
zh|Zws!LwE3=h8U*IyNnI>YdWfP#P9;mD|@g$G8I_OUk2qgG(B7qCQ>ba^z~tl8dxR
z8Ih9Y=4t42WS+q?Q2u!)xcw28HZ1OITF<^QCA_*uMTpM#&h6;{1KPmk?refQ%;Zz#D%~V|N64KGoS7f$cKt}0DZoR
zJ_UHnQrmCD#4>iHlvg$6tY$bXNan?-UmBNSkUH9@Sjq~k(`W6r3;5QCMS-2qCzZqY
zDqm214I*(Fh*V5rxH028MWrsIE9bIKX;Rzal<)6r126jo&i~&L0K1$bAqQBYQ#Np~
z9k+G#ARlDIU6YcF#dy7QqSX}M72C)|Q_E#zoSspg=%}cyr6otwpf&u?UAih_R~4re
zwW|cDFdx$V=LI}&)O{AfS-JPYg18jkfF-nk+J%ZF1x{EsI7*=!oZ9z=O7HChH`);c
zfGgI{L%WufRacsk`$}lq_xHJ&tItgkAN&AVW2
zjdpwMQOjKpQfjmoo8&n-qzm7`PZF~%BKy%lA_j_YBqaLm#o0yneRoKN1*A}pJ@U7J
zkNS>(|5*gS#wjZt+l>r`)KT}bbodVT0~SGt|NgXbFk#jmC{u>53!#?}-Jg(>F;!@9
z(L>d%!(EGGbkIj2nm|03>IK9q+jtw8015`5%K86HdD
zq?47V5s`60)OAiUuBxpz>hq~6)J*xiJo;oS_3f`3n`bW0w`=;{-HoCEvc&p7|Czen
zAXTgtlg^0fjtU5T^LF_TMdW37zH~!6__)@I1zHrnb4Q)pgCH4hI%(o22#eUW^E}i9
zK5zZVLNt7ArhK_a1d{R~<^dB2;J*M(d-(8cSYH&tUU`4c8%=m<6GFn6*wM*pP;=&L
z`aYW8Ma^iKIzOM7fAcfn5!NHj;y}a>Shu6c%>FzPTC2dntx5#M-dXhPd0$E~)sId=
z+tHcc8`o>KqHN!f($)6PIMXz3_rh@lt@Iqm%1nW~g%6_d)E~at?PMm7%SsUy!7)1y
z5gRFVkxeJ91u*G|Og~M6Zfd-Lcg8k-h`vK7p;w81bpAvny@sDwh23v_{y#j9id!&Q
zsX$i~E|Mi0ekPJW+i_
z$8nI3AZVu&u`3xS?SoPKTTk%~0{f)ZBZ$-n`b1?TtpH8!!zn?j-e}sLch7)3xc|Ok
zJj~)h`6^TC3t3WTiy`w|tGSrMR73=(0!P=_MY!O30ZdIrvpb0}qWM__H`cI3Smfsv
zW&tjY1_JVjKd^lbyY3H~6)~+9hVGAS;%3eehq&OM>}Jz5p;4d1ow76`JNmiQQ@Rl1
zgP4SW-D}t;+VP&@{taSt)BC6wcAQhF0WQSnc^ux43aAm)b#fLzwKak
zOuw|LRL+dVdDooRyLs6|N}Kr3E*FeUGAW{M&{sd&OUu!ztU=$V(<~i6&kkgxyQlvB
zg+ije9wd_Lpov4F!SU7mp4_mFX82Rz8_^pjJ^=_@MA%}xt68aW$o?z$yyE})wJNVi
z8|cGBDr}uZRMElG{OO@7zNuJ+sq@&IrTgBv-+=WJyfKQ&KIjN-E3SoUaUn3w!1P*r
z#02C8Md|J^)baWCXmQeGc((3pKk1>G6Mx!`orgCmcilUv&g!(y*F^{@dPIfz#
zI%fO*);Gfc-4@lUr;K(iTs1f{MNK?B{Tg`Qfo!QA;&aQ(LHGK$N7&5O_Fqs*zy13L
zR02>zi4s;Zrd|b(Tuv;+d1q5P@D?d
zKi)T!JeMA7BJ8sAX`=UoY1#}Y_ZT9|BPaTBsb7J#@YK)-SKGjSTczLV4{H?%bqN}h
zJuD#Wk#W!pbMqC2X@EiU{P^c=IANeLE36xw)Z6k%W|$8(@Ut98%VbCTi+18qnBY}lryKub8$WM79^ju&x3<`s;ioE<6(b#@l*
z;|G^~#|C3pN&CjZnuXa|8w_RfwV!+YQ1XQk3}k%iOir{?yB_6?+c6)~DS}zCEnr*z
z*;IK6h+7t^2y&e@&te^S*?-<@8m;yT=yfF27?bMf6vvl7&V{Iu
zTCP;DCVBDCBDushyAe0|!hWubz{(t67}8w0!(Pwy@mek)MB72PKrL!q{9-p^>}u?k
zp9+g^wmfYp3H!`+YEj5c8Eo~{4rOvO?HW71WIkyHGwPBz99PoMn
zXhN%FD)pi_Hs37X+Gxtrz^
zQhKpQtEGNIA;w`^M)53k!01wiu3=NftN9C%KEeRE?yr4ix1zn)e7M5{A4K@AqK36|
zEK-@W6bwMi63JuLnJeCfuW|$sf|hq3eoaqDcV0w!_}bm{)#T?@Oz;UCd|BWZVi+)v
zIIcjeSGY4>FeEfRA?C~vmzt0#%?m92yP7nyf`)_$gF3TWtvATYLW0WcVyYYx%AQuy
zgX&UCsV~BV9z=x3OPlAq7O7gPGmdGpPv$QazEll|SJh79=*{)aG$-mU4LRT0ye5;=Om03
zbTS8>9ctp6LC9LG1U25)jjz^%_24V2VP1Lb6u;;lhXGVPu>PB_Kyo+Lc@zv5?Cer4~}p5
zAiw>04#0?bq^_?5zw*%`rX+twVq0uyG-~qFC6Vxz#L$+Kp+&X{y6=|c9S%`0p{SxE
zD~+Dwnq!_sUu<*AdWOmQp5oqM6IGp=L2%@2hu&~{cS%TY&5XhtSEWYSt_Gf@0^WDo
zpM1E=UO8;ml#elcS@FGGh@61)(%7&2yRypT^(jOj?$23d$eNG-Mq16jcvKX2-;}?`
zI0U}wnEW&2^!S3K4RRhie)J(iJh{$6`1fcRfZ(Q@<4=geRG9_DY6fE#546v`EG$uu3D|~4JF>_%E-!?i{wS}y4B?O^B;FOB(ftQCNFLYPqcEH{%QmqJCljsq<
zplcmwK*-qsLaWTl0KpaVZ2Vs~g{yMUJ-KBQXI`+tA8re{1t~~_nj~=(2cor?`HjOq
z-ruW}uh{I;Y%>FN-=&Ct%mz}SvF6aU>wpn8uzFV!Sry@j(V11ao0Su}C?(sC)$3Mk
z(NDREe+V3kIZOe54HPsgm(gCdVv#(Ev2F?|Y*!ALVnhSH_>CuI`}{u8=nIlhAo)es
zsiEC4mzsicl4#V>(UJ^gv-Uw}z_I4j%O4&j-zOlDod_
z%1`eaSwV*mo^q_=)x%TUM{g^0;Q?fc&6Y9194VG^ny{iyHXg
zKHcOcEH6Z>DQ2@-5Ew8Z(ES_ml0f;!)@4P9Xn6FP&p|eu*+*5ie)p$bI2kJ7$X;oB
z`~V1YHeRtcSK*}41&S3~L|l94GMT2NZa!nAXY5D6EP5siE5-S{uzqEa1Qh7zyI3HS
zVE|tWCT<2{c_Z{6cpy#I!u76O9CG1p)^o*co!Ls|wScYnwP9q9g9nAG`?x1j7;#!?
zpnLpA0)ln}4Ph`Up3wig^C`9>>Pxrtbp_AmOk$?Bb=@A#*WyFs`vB-ZEteQ3)F$ag
z<#U)8c5u#lQ~#6easl7vInlb0G`V*hPRhh^{qmDNrDi$pib7N8qtBrIxhu|pN
zR1RG4K&6jfVu+e?+TJjUoAPF)M4rx3mjTRn1NEt7)BXc@L30tbJsA2X#5dy-|4CBB
z_S!hcbiPywUmPqGVzj~q4XRHz=-aUJbXXK9LGArwPx81Cm~g$BIL--_1(MZW%S)rO
zEZHAl(My=KPEdFFDX8GMLu;Ev3))>L2`FUUi?w8tOSoBAbFO**%2o)JGOP;oSuAEd
zKap{I)S!9-mQs18ejGI;B-Z5}1Thb5#(W%GkjMy$7q=_&O5^kvl&K>+w~n?00DDPZ
zKu?twisq5^t7rE}=JAbiU#`(w%5-O#X`PvvX^}W&@nPz7AU_5y19%Ie#5}S(l+z4-
zcAYUWoMBA9*ta`BvR7)Tz|5@B>yjDlZ62#<#)bQ
z72y)=x{Yx^Hhc{hf9~&5Ym
z7O#lQBN{m?M4Bgf+h#FoQl?ct*1-e6g5ZL=h|zUf@z&-m2Lb6C-?I)zu6K;ltdBMlOS?JDU+n2SZ61WK86-9EoES-NR=
zCa%^cpKcmr$IHU6TU0Oa{aIj_etf}PsU`mLzpD+^%gRz$PzXv7BJZ7(uP
zGy9VIsUaFZ+2>N|z^Ky#HLY^5(JSw~q$wDX=*~S>&2_`{t%RY@t<0d4k<8WI`^?p|
z&DX}Kmc)~$JwV1G${qm?t&)1jYD}ZOI-RVp5wGY+%mHOzinjC2BD2N2rA}UtT0QN8u5Cy
zmczX>XQTu9X%K&J7ELIVWi(s1L<|dP_PzOomRjE|E2jr*N6mqNILJ+;luk*So($uJ
zI6yLB>y#jIF;ixkueP4YL2hiv*6r3+_ty}h5^mvcUhbBi;$7rvOBzv<#KeU49gA(IzmsEwH4j&PKD>grB)DgZ
zyvL!B0z4gCKHt
zlJb&Pl!2uZ&UJNn-iBeOEN{fd!d|~=-N=b)jmb#O5O$c{ne?C4xi;bCkJds5-tXL>
z-p{hm^dRdBkeP^RSX<7wKF-t65ZaY
z&)Vk#CGX)?v-Pm1F&-mN|Ae4DqyDX!NSoVty>sqA=BNxBmzzZiNa=`)iYJ+b415rg
zPmdU*-kjXc-4oGY_wj3Fxv@sL#|i7?#0
zZ{)|h*5aioI&CZR%VFAO(5DUp_lptC)hiRTbUp5P0JY7~m>(7(s~!8Z>;w2j`Xf{0
z0Q#c9lX-Yh9=4Hj7KhaVGj{+u$Nk2^$dch(QAJl+Kp0wkp2QxQ?a$iHecTNF#IG`8
zDscQJ$_}wAr>v-$;Oh01~CU@@)S*IzAfT
zZ;W3E-GAk`NL8ZUu6UuLc40zelPPxytED$ZMJC$;0Mr@~pDL6iGrra*GyC@aj)vr~
zR>?qi62O}UjVRh^4&r^6AMo>sc1>mgd8Md}Cv5O%U4oJukU36*;!*tVqojAbLgr2)
z3E94xrAYGIHIL|x2zx8*cjy=Bk1)fFMs_O>&|p$E?c~F*d@EiO(L;l?a!}Kq1@y#@
z5!z~)e61Rr@=*{1AE;aInnU~hWipWix9Bl45x;(>IZ+d$Zr@!Vj^&Shvbfacbnr$N
zA9RYu=Oe_sjt{(i6j!?s0EzH@<5@f$t@vY1mzHIr7n+p?RAyF$b8-R{;D_rUSU@@H
zChqiQp#z|ZRqA)=M_2lfJ9wi_W^t`6$!ROti8hGs(D)wsjh`Yr$C#!_D>|g@bd}Z=
zAXS}98Yez(H@z%4u&=xNOcjq7+HfU3N&@ilJ`IgUk#NNYq0kQq@5v}5zAyo4tYb(m
zf&qcwhD9_lQC|dh+c?f#{9c{N4OJREiZjp^&0#Dw&&#&w?xPQ=3R7>}&+
zRcbdP=bKM`q;|~QHoj_c-OI9FT^kx^R9zhUoPrD~2EjKsxz{-Cgr}OpZ(fY{7laNF2P2O>
za@op?b%pt#Tl_=He+!Tk#GZ
zC=Q+%B-IEg)7R(a2y+28lP)HjN*5X$9{1z!wdb2bHR&}FT&MJ-Hy`iB*|6Iz@hNHg
zH8`PiCG0Dg(Fl3zOCo1*_0nRWIVvxP4(#?Fp4^FD86G%+Glg8|+u*<4@T&Qn>gsv%G-`NhxfX<{q5Aui!i&!Nqm^nm!g
zAFi-oAfw|pq1kCQr1{zMsbI+lCuvm^VAR8w=ducbB7D^HR!&XPg0?2E
zI%a^4CahCzpia^aQ7-kwE_#`U1vP(CQR9*+M^tR>X2Kxs0x)wa6gJmPG{j%)H^sIMft-nFDbgyU8t}ivLYK5W#^~_
zjNwj3%v8c9LS1!L0yXTGA*3;&eno(Y;T;Hr2wj4*`rdsGjbQb
z?fBWK!Wpd9HZ0kutoA)>3yeHIO8NO_xr`mfzSU^-R$r-B3``Jk875sq<@7@>3-l80
zsD94d)KmAnQ&jMprW*60c#Xqf=?J1G+gSQ((x8tMVNs{KeMh*!*c~Oy!hmZo(--vs
z1o=Uy{jb`!2Hpa1rgQFOKhsy=X>19R1I$ZlTRoSp${YkIo$TKJaQsz@OFIijACj@U&C%zTyGVJ=Q@nSr5Ytvja}lrGKn
ziqh`YPn`YF^1R$9i9Wel&yqv$v${@^fY9;CC0ut2Ax?|pf*Ox&N#P_XO2=Mb+2`M%
zX;mZ5nS(#Xl5K}KLm*2XC;KMv=S(TXbcp_F2{grNPrhtapSCS!niUZnQGd<9I~Ksz
zu+@+)(&hGjYV0v?Fj~4X^WKpN4Zj8Yk(?nuv?qHvh4s@(FgF%?X8V_gQn(TtM#*&qFSr_C*QeniH!0@-rA1)P}Rtng`ubl
zfip@Q$sDBD|A3+LUxX60YiG%aPD$FrfnU*<5B(
zwDTMqI$%s%Dp=cl&{#0<@)i=z$T2KLZgkd`bF1*4hTTe+9}g0Puj((!buYo;(_QuRS1}86>cNgK
zQ-`?+IBzdNce?03nid=R>{y5d=_JWM_C3Ydo-cK!v14nl#eO?(L8#IBJKZ9=NO%vk
zIAovblPQZ-IFBk=9NiC%>|>8ROb<7Iq2(GW95Ry+NA@Tb&&Vp%Z>JpJ(-c5En2RLv
z&Au<}ef~03nFzMqS0<~=TStrkroIzF&|w8VdWFi58eI!|d@5LIsH&RD_z>TU=^;vic%IwlU`z@T6SOvvTXOiF8+-WwU5@cxEN6RL+(Kqwo`v+wyP_)8ab$^kmn{qWtC+6Z
zpRxpe2iPMS>#*4r7a5|dX@6B{?4N65Lb
z-*}|qFWFVEWP29iyoUS7>nx{NyEc5#Zn%EQLC&nzH=eXL&D)(BUcSzqt2QZcB8_vs
z`!biIq!Iz{pfY(eZS6;x3(e6NK&SLqa?NsEBcV{{>WwJ(q^2^n%38H%>>I(RFg>?g
zG|fC|S#s~-%yodb%qrn~Ju>9_Bfv%;xTTG8-T9SgdIb?gUCK&{N$g4qaTzEg5}ru0
z^JFyEcL|Q~Rql2BWk+d*Mdd~K#ar5Tbee?NmbB)}vi$gcfMC7u<)$H{HFnpbdDT^i
z?tN=YX#-8#1}HzzAe`R4YS*$v*oPGI^z+fX@S{wxHD+5u1+PyLtMFE4uYjUts8TXm3oBWVX~$^03rD3?|+!D$EBe|`|c@*
zxzsE15NeuS9`O$At
zQ9rD3^9g>NquZ_Z)Z$p&q^5xGBqr(fSZ%alc3)Q#C6y*Gt4b?x*D6ci;ew@4=Z;A=
zxlcxji-LZb(2=QBksQ`Iszn_wgyNrSxMkv;wv~)B}-sjo*8;
z^d~cy+w7HV*EO~+vDXzU6q{K<&a*11S&28d%(0}Jz{X1Rd14Y%R#dfl5pKy2YFgB}
zbD%{G8*qPc(KOmXnZC{GY+IvO%HZgf@T^BoTKsZ09dKemelrr4@xpnk1V`>l=Jx+m
z-xCV03{GPdH9hkLlZvBPaVcfkm{pt+4f_PyYNh(ye`GY5@C%bnQ>n-An)VH6L(~%4<_oOSgwc$w3kX@4
zLa(SxcBK=#Wh{%#Ys3B2@>KB(p+kitkCX0z$nv)D0>^=Ui3Kt$r@imP-<03Mn%-y1
zlB3