From 68cd21e596281ff0a61cb1993eca6f118e8b195f Mon Sep 17 00:00:00 2001
From: Chris Compton <107055718+Compton-NIST@users.noreply.github.com>
Date: Mon, 1 May 2023 10:50:15 -0500
Subject: [PATCH 1/5] Add pointer to next spiral in previous spiral.
---
.../effort-responsibility-sharing/2023-03-08.003.md | 11 +----------
1 file changed, 1 insertion(+), 10 deletions(-)
diff --git a/research-2023/effort-responsibility-sharing/2023-03-08.003.md b/research-2023/effort-responsibility-sharing/2023-03-08.003.md
index 1e93e9d..cdb9260 100644
--- a/research-2023/effort-responsibility-sharing/2023-03-08.003.md
+++ b/research-2023/effort-responsibility-sharing/2023-03-08.003.md
@@ -8,6 +8,7 @@ As an OSCAL model developer, I need examples of the an SSP that contain content
| ------------------------------- | ---------------------------------------------------- |
| Previous Spiral Sequence Number | [2022-07-05.001](2022-07-05.001.md) |
| Spiral Sequence Number | [2023-03-08.003](2023-03-08.003.md) |
+| Next Spiral Sequence Number | [2023-05-01.004](2023-05-01.004.md) |
| GitHub Project Link | https://github.com/usnistgov/OSCAL/ |
| GitHub Issue # | [722](https://github.com/usnistgov/OSCAL/issues/722) |
| Author(s) | Chris Compton, Ned Goren |
@@ -250,16 +251,6 @@ Recommendations:
- The next spiral should be an initial exploration of a potential model for the exported content that is shared with others (e.g., customers).
- The addition of the export-related assemblies to the Component Definition model needs to be evaluated.
-# Executive
-
-TBD
-
-| Element | Response |
-| --------------------------- | -------- |
-| Disposition | TBD |
-| Concurrence Recorded | TBD |
-| Next Spiral Sequence Number | TBD |
-
# References
No references.
From 11317005ec1acfd73c0ad99cd1de9a3157752db3 Mon Sep 17 00:00:00 2001
From: Chris Compton <107055718+Compton-NIST@users.noreply.github.com>
Date: Mon, 1 May 2023 11:29:53 -0500
Subject: [PATCH 2/5] Initial document to start spiral 4.
---
.../2023-05-01.004.md | 90 +++++++++++++++++++
1 file changed, 90 insertions(+)
create mode 100644 research-2023/effort-responsibility-sharing/2023-05-01.004.md
diff --git a/research-2023/effort-responsibility-sharing/2023-05-01.004.md b/research-2023/effort-responsibility-sharing/2023-05-01.004.md
new file mode 100644
index 0000000..6976d0e
--- /dev/null
+++ b/research-2023/effort-responsibility-sharing/2023-05-01.004.md
@@ -0,0 +1,90 @@
+## Define: Customer Responsibility Model
+
+## Problem
+
+This spiral is focused on development of a draft customer responsibility model that can be used to inform implementation of the model in development.
+
+| Element | Response |
+| ------------------------------- | ---------------------------------------------------- |
+| Previous Spiral Sequence Number | [2023-03-08.003](2023-03-08.003.md) |
+| Spiral Sequence Number | [2023-05-01.004](2023-05-01.004.md) |
+| GitHub Project Link | https://github.com/usnistgov/OSCAL/ |
+| GitHub Issue # | [722](https://github.com/usnistgov/OSCAL/issues/722) |
+| Author(s) | Chris Compton |
+| Impact | |
+| Criticality | Significant |
+| Scope | Project |
+| Audience | Service Providers and Security Practitioners |
+
+## Constraints
+
+- May produce portions of a rendered model.
+- Define assemblies required for the model.
+- Provide documentation and requirements necessary to develop the model in metaschema.
+
+## Requirements
+
+- Produce enough detail to compose a change request for development.
+- Include community participants where available to compose content for the model.
+- Initiate a change request in the OSCAL project.
+
+## Approach
+
+- One-on-one interviews with community participants.
+- Group conversations as required to address concerns and requirements.
+
+## Participants
+
+- Community volunteers (3 invited, 1 accepted)
+
+# Discover
+
+## Determination
+
+`Content Here`
+
+## Constraints and Assumptions
+
+`Content Here`
+
+## Existing Benchmarks, Practices and Prior Art
+
+`Content Here`
+
+## Analysis
+
+`Content Here`
+
+## Outcome
+
+`Content Here`
+
+# Interpretation
+
+## Feasibility
+
+`Content Here`
+
+## Risks
+
+`Content Here`
+
+## Workarounds
+
+`Content Here`
+
+## Resources Required
+
+`Content Here`
+
+## Action
+
+`Content Here`
+
+# Validation
+
+`Content Here`
+
+# References
+
+`Content Here`
From 88853b88264da4c02f7bda67fe36ad596ce31631 Mon Sep 17 00:00:00 2001
From: Chris Compton <107055718+Compton-NIST@users.noreply.github.com>
Date: Mon, 1 May 2023 12:19:19 -0500
Subject: [PATCH 3/5] Update summary for responsibility effort.
---
research-2023/effort-responsibility-sharing/README.md | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/research-2023/effort-responsibility-sharing/README.md b/research-2023/effort-responsibility-sharing/README.md
index a80c530..a6d1fd3 100644
--- a/research-2023/effort-responsibility-sharing/README.md
+++ b/research-2023/effort-responsibility-sharing/README.md
@@ -13,15 +13,17 @@ OSCAL SSP authors need the ability to export particular content pertaining to co
- [Spiral 1: Use Cases](2022-07-05.001.md)
- [Spiral 2: Mapping and Gap Analysis](2022-07-05.002.md)
- [Spiral 3: Export Examples](2023-03-08.003.md)
+- [Spiral 4: Draft Model](2023-05-01.004.md)
## Summary
-The current status of this effort is to develop export examples in preparation for future spirals with the community to define a model.
+The current status of this effort is to create a draft of the model for a development change request.
## Presented
-N/A
+- OSCAL DEFINE, [March 16](https://github.com/usnistgov/OSCAL-DEFINE/discussions/11), Spiral 3, Examples of Exports, Compton
+- OSCAL DEFINE, [April 27](https://github.com/usnistgov/OSCAL-DEFINE/discussions/12), Spiral 3, Additional Export Example, Compton
## Feedback
-N/A
+- OSCAL DEFINE, March 16, Provide example using existing assemblies without assuming SSP modification. Feedback also included option of an export attribute for exportable content in other assemblies, but deferred on this for now since this would require modification of the SSP model.
From eedeed75d975b8b4bad2857597856dfcc0dae70e Mon Sep 17 00:00:00 2001
From: Chris Compton <107055718+Compton-NIST@users.noreply.github.com>
Date: Wed, 3 May 2023 16:06:15 -0500
Subject: [PATCH 4/5] Checkpoint for the day.
---
.../2023-05-01.004.md | 125 +++++++++++++++--
.../diagrams/Fully-Inherited.drawio | 131 ++++++++++++++++++
.../media/overview.outline.png | Bin 0 -> 136360 bytes
.../media/overview.png | Bin 0 -> 48570 bytes
.../media/vm.1.png | Bin 0 -> 85084 bytes
.../media/vm.2.png | Bin 0 -> 114338 bytes
6 files changed, 242 insertions(+), 14 deletions(-)
create mode 100644 research-2023/effort-responsibility-sharing/diagrams/Fully-Inherited.drawio
create mode 100644 research-2023/effort-responsibility-sharing/media/overview.outline.png
create mode 100644 research-2023/effort-responsibility-sharing/media/overview.png
create mode 100644 research-2023/effort-responsibility-sharing/media/vm.1.png
create mode 100644 research-2023/effort-responsibility-sharing/media/vm.2.png
diff --git a/research-2023/effort-responsibility-sharing/2023-05-01.004.md b/research-2023/effort-responsibility-sharing/2023-05-01.004.md
index 6976d0e..93b0e0d 100644
--- a/research-2023/effort-responsibility-sharing/2023-05-01.004.md
+++ b/research-2023/effort-responsibility-sharing/2023-05-01.004.md
@@ -35,31 +35,112 @@ This spiral is focused on development of a draft customer responsibility model t
## Participants
-- Community volunteers (3 invited, 1 accepted)
-
+- Community volunteers (4 invited, 1 accepted)
+- Valinder Mangat, CIO, DRT Strategies
# Discover
-## Determination
-`Content Here`
-## Constraints and Assumptions
-`Content Here`
+
+---
+
+## Interview with Valinder Mangat (VM), May 1, 2023
+
+Date: 5/2/2023
+
+The recommendation is to use a Component Definition to serve as the mechanism to communicate shared responsibilities rather than create an entirely new model. This approach has been explored by his team and appears to be a viable path with a few modifications to assemblies.
+
+### A Crescendo of Context
+
+
+> Crescendo of Context in Layered Systems [^fig-vm1]
+
+The context of a system at the infrastructure level has minimal to no inherent context regarding the implementation and the data that will be stored in or traversing the system. More context is revealed as each component of an architecture is composed to construct a platform, and ultimately deliver an application or service.[^vm]
+
+This progression starts with a more objective, and somewhat synthetic, view of control implementation and adds subjective choices about the architecture of the system. This necessitates a combination of controls, configurations, techniques and considerations related to the use of the system and the data handled within the system. This contextual awareness impacts:
+
+- the evidence required,
+- the manner of documentation provided,
+- the responsibilities at each layer,
+- and how the controls are satisfied.
+
+### The Full Realization of Responsibilities
+
+
+> Clarity of Responsibilities in Layered Systems [^fig-vm2]
+
+Similar to context, the clarity of responsibilities are likely to be difficult to fully specify at an infrastructure level without the context of the implementation. On this basis, if responsibilities are a part of the infrastructure level documentation, they may not have enough detail to support implementation.[^vm]
+
+### Many-to-One Problem
+
+The use of Component Definitions (CDef) as a mechanism to export shared responsibilities has one issue that needs to be evaluated. If multiple CDefs, as components of a system, are contained within an SSP, the exported CDef would require that statements be collapse (or concatenated) into a single statement.
+
+[** TODO: GRAPHIC NEEDED - show multi-CDef to SSP to SR CDef **]
## Existing Benchmarks, Practices and Prior Art
-`Content Here`
+The current state of SSP model assemblies related to shared responsibilities is summarized below.
+
+
+> SSP Model Responsibility-related Assemblies
+
+The `by-components` assembly within the `System Security Plan` model supplies an `EXPORT:PROVIDED` element for a capabilty. The same assembly supplies the `EXPORT:RESPONSIBILITIES` element to assign responsibilities associated with provided capabilities.
+
+The `by-components` assembly within the `System Security Plan` model supplies also supplies `INHERITED` and `SATISFIED` assemblies for the customer to supply responses to capabilities that are provided and responsibilities that have been addressed.
+
+Provided capabilities can be related to shared responsibilities using the `PROVIDED-UUID` element of the responsibilities assembly.
+
+
+> SSP Model Outline
+
+### Provided Definition
+
+Describes a capability which may be inherited by a leveraging system.[^def-provided]
+
+For example:
+- Provider: “I have done X.” [Provided]
+- Customer: “I’m accepting that you did X.” [Inherited]
+
+### Responsibilities Definition
+
+Describes a control implementation responsibility imposed on a leveraging system.[^def-responsibility]
+
+For example:
+- Provider: “You need to do X.” [Responsibilities]
+- Customer: “I did X.” [Satisfied]
## Analysis
-`Content Here`
-
-## Outcome
+### Critical Elements
+
+The following information will be REQUIRED to communicate capabilities provided, or a responsibilities shared:
+
+1. Export: Provided
+2. Export: Responsibilities
+3. Responsibility: Responsible-Role
+4. UUIDs from SSP related to Provided Capabilities
+5. Originating SSP UUID
+6. Implementation Status
+
+### Export Assembly
+
+Currently, an "export" assembly exists on the SSP model, but there is not a similar export assembly in the Component Definition that supports the provided capabilities, or responsibilities associated with the capabilities.
+
+One argument for the absence of the export in the Component Definition is attributable to the lack of enough clarity and context to outline responsibilities if the Component Definition is providing information about an infrastructure or platform component.
+
+### Considerations
+
+The following are changes that should not be breaking to the 1.x version of OSCAL.
+
+- Add the export assembly to the Component Definition.
+
+The following changes will likely break the 1.x version of OSCAL.
+
+- Rename export to shared-responsibility.
+- Remove the export level description.
-`Content Here`
-# Interpretation
## Feasibility
@@ -83,8 +164,24 @@ This spiral is focused on development of a draft customer responsibility model t
# Validation
-`Content Here`
+## Workflow for Responsibility Modeling in OSCAL
+
+1. CSP has `PROVIDED` a capability.
+2. CSP explains what may be inherited in a description.
+3. CSP defines the `RESPONSIBLE-ROLE` for inheriting.
+4. CSP also defines the `RESPONSIBILITIY` associated with the `PROVIDED` capability.
+5. CSP links the `RESPONSIBILITY` to the `PROVIDED` capability.
+6. CUSTOMER will INHERIT as desired.
+7. The CUSTOMER `INHERITED` description may be a verbatim copy from the CSP.
+8. The `INHERITED` capability will be LINKED to the CSP by UUID from the CSP.
+9. CUSTOMER will explain `SATISFACTION` of any `RESPONSIBILITY` associated with the `INHERITED` CAPABILITY.
+
# References
-`Content Here`
+[^vm]: Interview with Valinder Mangat on May 1, 2023.
+[^fig-vm1]: Fig 2. Slide Courtesy of Valinder Mangat.
+[^fig-vm2]: Fig 2. Slide Courtesy of Valinder Mangat.
+
+[^def-provided]: https://pages.nist.gov/OSCAL/reference/latest/system-security-plan/json-reference/#/system-security-plan/control-implementation/implemented-requirements/by-components/export/provided
+[^def-responsibility]: https://pages.nist.gov/OSCAL/reference/latest/system-security-plan/json-reference/#/system-security-plan/control-implementation/implemented-requirements/by-components/export/responsibilities
diff --git a/research-2023/effort-responsibility-sharing/diagrams/Fully-Inherited.drawio b/research-2023/effort-responsibility-sharing/diagrams/Fully-Inherited.drawio
new file mode 100644
index 0000000..f7d4b93
--- /dev/null
+++ b/research-2023/effort-responsibility-sharing/diagrams/Fully-Inherited.drawio
@@ -0,0 +1,131 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/research-2023/effort-responsibility-sharing/media/overview.outline.png b/research-2023/effort-responsibility-sharing/media/overview.outline.png
new file mode 100644
index 0000000000000000000000000000000000000000..f9303a2fd83b0a79c31c0fe7efde2029256d23b0
GIT binary patch
literal 136360
zcmb^YWprJ+vIdGeiJ6(1nVDgknVIdFnK_P`z04FdGc&}@%rP@F^L6jjr+1(C#{GBK
z7;{W5sY)tUNt&h7r!WOMaX4sfXb=z(I7tbB5(voG+|Q>P68tkqgaFSN1muf>g@}lP
zq=*Qif}`Dc3u{vl5K5p;ti1GBMb!Su1SE+#7$+duEU~qrVcstJ*Sgr>f&)Km*2c_@
zvv-WY6aQ&D`UZNog8E1levfnuVSxu)k^5VA+Br+PWZp|>BIf424R^1%b{K#LG=tvTg3$wcs=>_pn2*{=*ZE)j1L+&LP{ut$H+
z!n;Q?gvHXf=S5iWXJBoMCLvx?%5P{jU>;2_2ox1`SUc^4h5W}N8IKFrTz54B3=gA%
zzX;yUE~APfxn2Mio>M52bf_}vW2fIm&B-!&Y-@HEd~0SBNLtA6$eFuBbpIhJ`!wUy
zf_H0m^Ow`Jz}>5SsK{X5hdXG@HVD1k$`^FUwHS0hF@Loql;>bWjWxfgzl@+}sv-GZ
zRu+W%GYtvyCBy;*^fUG4^TGanKtR651%p6*zL7s4K=#-FE&ZCC{q3K0^(2d|v@vxy
zBy_j2wsqom=Og|P1@~wAuWSZl!vBysTk#QV$SM$u*g2XKvePrtGZOPd6A}{gI+}dv
zRsx9q&Hnk1kJ#MV*`Aw$!OhK$-i?Lc&e4p4iHnPifsvVknVIgBg3igq*4faV&enhFWb5>Iw>~?_@K*@~
z6FnotKXrey^8S^}tzhA9YOM*du=!NaXB+(NoSeM>q5uCY`EQH=;?(#TCkN}lIsaAi
z|I4ZBWa=nlXY<*lGyi`r^EdOq3;$;1W%#S-|I)<&sQEv+pL*tp=4JTDX8h1zIpz}}
zAc7#003j9kFQ>X-2B_i~@7w42p@PCcAtdbG!bKcHz6POF1#Q~^mFj;cHV(;8Z&wCw
z;zQaB2@`@lJiK0uwje;F=?5EVWME5gOVzJB%pN@9O>&Gz{GOvFZq
z#^>eipJv&eNfPk$=a$Ddu8NAPLYJ-0(#i^YGeV2%CS}$QM#ts_0VJI)9ILGk!GKtB
ziz?E=-=b`yh-dd9Ps6N#Y4)YSq^72xL3Oh^`zr0UhRnA%T{FB?eZv0iS_vxRGmgx+
zAn#xw663jji6oDSeY|y3iI-idSLjp;1@*76v+aR@Eh&=kHCOKZf`T+h=aC_#aRh!o`aAIvn<2q
ztmMm6Q|r!?&dHy^Y01mZhgyj=*ch4Lj@VWP0Ab*vSC-WIx?dPI+${_hf2S>g~&S
zy5fB`up^5La&aamDx_aLzQG?ATCm~}ZKt}3FaH>3=%-)~ZLZtJi^0l$$JF%nM6OI{
zd~9s!d6pX>=z8K>gv&P?dpA12FSpAh=3MK`D+3V`*xjEBveCn~maBcvYVXX;)*Iwm
zvyTuM2=IeCv59`xIn|uP0y*RH78wUV<;rrb!q+)y*8+Yyb=%7_PH(O!#{0@sXdLM`
zH*hD*a}BoW@lF}9?-sH4&~4^Ec??cYO&48~s=
zX*zswbZdI2$Xzf{MOK#%h8UM(|Ih&8W@|t*n&u*3F_p}!JzK61st-XnGHj~VY@iJ9
z(wlaTqG}a7I5iCZxLMP9a4W=ov78orEsiGsimCbs~=Yh=IyLYoiUx
zDK~@EAM$d4&CUKnlJdAUQFu^oLMbaQezw};LRTa0czah=V6IA2OUdC*4Kdic>?;Hh
zNzh0c$F~wY{%Xcqp+WQsdq+m#1Xvu{{pIlB;d}}4!bNkG_#|;Yf1~*!Po~h<9C@ovE-QPQN>_QnmWugxEzo^g15?B4$~_`r;^W-0Fc9
z4gRkQw;o$*0wrp4eQY>$f$;($5It?7F?pmDHlnxD=V7WKipIL)
z*5Nviz*Ye=s5Ol`N&s&fZOky1u6%R1;K2Qo67(B?Rb*7#`Q}1^0&9g`%!HJN&gJ!B
zrg4l!5k7a5qdy;#maX4|A^|3le?f6!J#c>z(%Z-7V+;)6Hg$1z_5f+A`2}C8SgwuS
zRAF{p?AT7pk=hl{12U$R-TjFf+$%;PxFD5Y48b|175pxBgyHFcT9{-T2w0dhJ?Su%
zJ@A0_;Zgkwo@i*u_hH=?^&;P6ApQtKy
za|7Bd7A<~~B+FzvlOlYAg!Z3_``5Y^O8^Qj3edbNt_n7|T`C#sgryoZxj&tTLPy`{
zYMgA^j{<<#*Rvv_VM3vNqob-+)HD3R($DDFgb=Td#bG!+VSs|DG~A+(
zaLJmpd7P-SZQGp(cJ!B>dy#nwh)Qz?htOYg?XHF*S#@MmPM8ZcywbRuWSh%<
zmH`kTGOb7$8$IK`@FKh9?`VddV-c5W->>$r&rV)4GvlWLLUl({CC_fMo@hF%EnZ~Z
z5s|vYIBl~%G}@~1bZ{eU-ujGJTi%fG0hew-_-|Gs#mA*vlzaxKy6a)I)nc3;Ph11z
zj|dZc71=^Jt?By~Gl$QIYYSjhw+glQhsNcFA^t=8tenVUyxv<__dvbLsE*%@*Klcr
z?v2N@eNW(GM2w{H3xS5zKovM{0!gP;*CqITM5>B2BY(UipPFkwJ`9DbR@&E!+t88!uEPjlgUEC7*;c38HAzN#_$mnbElMnk
zHA;9}oh{S7R-Eg)ggG3N7zzpcXNwFqM_7g
z7{fw;4r#yKqcPc8>z16CcU2jn0CV5*Xaut)^!1ocr?K+ON_KAlOcvz&o17gBnrz+g
z*sD+*e{H;(_%#FCpd-6AeNOOt<-U&{nq$Ce@7W)(Uln_X@P?KQir0#Hg6v-aeZ0y
z5{funOslOd5{f$fpb3?wL@r};XQYh%B=Jh}#Lz*7Gk
zI>0MmwMXmVkJrqaA08E}_)A7oQau)ZFZ>9gp#ghW
zpF^~xI^)Znm>ejlPW#J(>qN%(r2?mlh@B}aw76Wt)^F0YgD|3qyO54I!i1Pja+pej
zC}Q)CVypPn1lq+l3T0Z#cpI>yBc>Z)p4hkR{&5;~U_f0Tvf4;7!ABBY^i`ntus^O}
zj{XQRmOj@Qf065{iE>I7ky_iQ+{Q~x9*QNBBsbVcy5k{;I#+@azn?|amLe9tX9N(Q^WdwBK~#lxeu#!+K9e7*M}O=v(}^asjsuucA%^5r~w+^QvOKQ-YFXYrLTwj0mACH>GuCP*NBkb
z)R3rYq0E9AK`W)ED5rmXVnbE1gMFDm3ZzDL8ZV#)u|(r6ipbG&CHtfjha|PQTO@8`
zS;H5NYfYr+*YoF0hJ!}L+6v)t4eWA68k`IP&PmC3u<(-E?lP+8R;9#bB>sI33147!
zWa{cG%O!)5B^}3*74b0>rE&w~K((TW7jz(o=fuyEIc7TxSWa!=3fNOnaSlzi{OUp^
z?K5^#;rPN7%L?>vux<&W
z8zeAf34&jWJ@MU%gJ-0WE<^lhet4Hcwxc1LPIY4O;1*5l`~cU4c`@xPK?9XxBmM#w
zW|45RPx=TTPH^-Ploa4@O`FQ|rHmlgoJoPP7#a_&uaH_1OCU5Af}(?=;7~=CFEBx2
zqb9)lXjPR~3}s&m*UpP0Td$g6135
zlf}Z4XZ^X!J~UK~3Eceb><>Q8{8g1`ZW{!!b
z?*p&q-$@^aMi1_e6qlj35jF<<7%aQhfDV)Oib4C5N0NJR;Yy(fZ7o_tL7|>?g%gM3
zP%@5^1r8;OS=$Na!`DuB&%3+Ka;Oo;qqgi^-u(m*=UqLVwTJLIjKPp;z2JNtJL*!+
zFHbAM%Tj)ix&i`z8d_;W+B{AZ0^U^sgui!a*`&k@?n!a}!IjbQg|c`d+D#YTbATkK
zObi9g@<4e@V3C9x(HvMk#CrM_1ws@ljBrQo~B
zjR~pc>zst89vTovq_g>4Ty$E2kiJI~=UjfhW~{)d5PXCF`odz(HFN=QRfrvOyq;TA
zjOny(62A>+UE<)r+v^qY$~|oLnqWgJV^*A27#6BVrR3_jD+0Te*@Nf;yliRB4Z1Y0
zErjqQR<=11ZA|s@c32WAeq%!nzYfQJjgDcQHUxe_YNWlOgw=w$Ewuw?y{2zhp~y);
z^#_1HOuCL$8zgQX{ntsw!t|Hz`KHF=OXXd`oyrJ1ZC}ojhjkl&Z99iyesGq$R?aWG
z+e%=);Zaq(zgL;XA}51VwDPk9=dZznG*30Bsp{TO$fw7g>iZXS==nIua#~UZ7XuiA
zRGqV*W^*CZRc6|P)kH&c#-8uzHX;_kk9l&I)%iZFUb~K^
zvz*zegth+H;X(0lBF|kF4)APHXpnk`BuzF;yS=%Vu4Q8gD@P3Ip6fpVV#kN#{~A$V
zs7y0j#*tm0Af#^>E5ruMNkRZK!wcZ9X!?W1LMXDq`?tm^jL2i~Rvj{vZk8RC9ak(<
zjwPhQ9XhTP*2V$#>_{#13H}1U(-s+=cc90B%0lHgOZxp#itAD#o0`$Ipo;Lg{)k2{
zIhBcS84#3t4#!`TLOMYsI1~N@+4;?OrOy{Yg5G
z>iF7qywQ|gDxePAbCtfhddhK`@%{|VlDy`hjKI6zP;O)>Q@jdFNy{0xsLK~ihSN1a
z1iaAlXA~rQNVvpJipA&j@|jkXJ6@SUr=C@m6u_`9?vPfD8swv?rExzZx{~9>wMGzVke*t6;eN8Pe374zof|NQfqD%*x?bSjE1+-qQTf@6Y$
zqi33^MVEm44|iyEn5xc;=mJxY#Aod2eX;(=-^c`_e{Pp{
zCrK#M1JIcVBg}-)%C15Ix_W<*O`Rx9BOeS^W=C<11yZSKPpCDPX^zFq>Rk{
zHL|IUBXwD1;2}!J_VaSz=`Vd(J^`iKgCpQoyDyfiC$X*#?0b8)l;%BHXN(}I`V)Wb$pj-sfJAOVV^cp
ztQbS5ME*r;quPYslxG=uxZ)m-9!IsusB4LMUMF^VttoD};zf8Z&C#Rn46GK3Hro6u
zb&lPIZID`KMn>dRH6$h$wxGCp+mt6j)c^O3u%HHjCAQP^jQo7v>$20H0eA)gh#76q
zWldEKBEsS^!EbzUHvQh=^<76$zv!T~?`Wr%`PgG^jS={<9uJ>K(D9RniHWR=n&9mz
zdlM7(eM?}~>+v`bN1Athaz6k83IEsS^xd1T+tR_bvP|xUrl6ogrYsp*!RDnO#pcVY
zN2Y0nv43{9piZYFo?4O`@|CYLL8`mQ^o5&_&TG1yAL*cqftguI_NIEX=b2j0%h*ka
z$ue~$?j2s{Ge1o|zM>-GCI6?=S-+i4-&*!GoHQZ}NqT2JCKop*eOw8IjeW3MQ766g
zV;GCUFVXb)UKB>;cYqSlkQ@?i?!V>w6^Dm~
z1#=)(JwCQedg^%NzGq()U;tZkld?CHQ@DNLf9iL(LEx!+u4DuSalIwM231tJBoP6`
z#doT@7IWl3fGO{9lcAxZV~+d+Jn!%RDZDo59bmM)0{t5nSop?#zAkpYdR)mO@=GbT
zRu5ljpU%uwC@V<9-PYZ1
zpFDHo(-crDkw4zG9iNL&OOtw&E+AlHE4DJZkBO-@V%loFF);>zSrP{;MXA`o&xfKxTvaV
zPnKVv2fUJ!iBpc$pr(?0=Hc6UdB~ju))N>1h1zzKCyzjWx%8p-p3EhjMiIR;}?~X
zk{b9KNqtwoRg9!l<6Yxgk2u5LmB@5hBL4Iy`^T>zJM1lZC0Y4`9`wt5SyGRq2gEOI
zeRo(C{F9s`4%-WRoFfOpFGHq##tBV!mc>zJnYV;D!4pm|w_VP?`%iKOcyMW6EpoOL
zMIM{?SSaTx@(d61tx0o7o?Gx{p}6Afs-v#aE{ylAGWqr!C0efD+uL#W_pdC@7W?RY6CA2V3>57B@2)W)AKq!B43}ahQc^JYn1dIYDD4A0R5qVB
zTfA{R-ibl>(Z8Dru}?bkwMWS*suNyTe$KoE#PwPq4(p1FoPvs|5QI$1P|CK>{jnD~
zx-^dNR40thlNa1Q-3&&@K8)(7(Ty@u5|X@X%W?A6W{(ix1m%3pqV53C>7qO%TMUK|
zoZ+xxd%BCrUv2Q)^JR#Ucr36sT5RznIz_EKZs+1?P2rqA*TmlV0>T^oYg1iz2*lJD
zoG#B_-`8q!9H6dH5sLjAE7J3C=3E19yr-^KoWx4&E_2-o1_n
zm`)?!?aQ>NC>p|d5Hf=e2WD<0c5!%-vgs>yri!8>04B{-fg6)koT{4_7+-9@(Iq%B
z4YGMgnMWNrrrev-_4Sb(?O#V!H?nl^jZPvF{DMrDT1esV!~0IIX{Q%1R%bUge!kga
zrqT2QAD4%0Xl?a_iLb1u;wM=Y4U#c>2B}doL>5GM@#*(~;uKO)UYNnyOxwdHmEbMB
z+VAx1-rqitGjl4dg4S(xr%PJm=i)AIAZ3acXBtcO!6_IXi5Us8_h_^YM-UM{y`60j
z1J?bj<{!V49VDcsdT%!-1m*Qn#PZFi=L+NC$wA+Z<3={Pn&XuqDNaT{I_{fP@ktetyr
zJR-+mh5yOjpSe(W@?%Sv8n~ize~EI-3=YGtH@KGGU0pjB^eZ0gs~*7Mss8)aw3>LA
zWXRM@-Sy#|aPa8-OI7vvQQ24Sf|7h=vZxEfyDWlQXUT)p8aRc*dc&l3f&ve2zj=aa
z`0t$F`%HR|!8>h8E>i^sbt>oFL9Vo9zkq=y;JOUoxK;YhqVNiwNWOas%gcY8%na4d`e1SRC?p=#UC=_GmB!S65dYC8H_^m0j1RXdQ|H*Uywoh
zOfeZ1SgGX3{vVxdiUm@lVYE@{jBpNDVG>euJ?&u9VVB1}V`Hc&6p?CuWS*J40X97M
zMB%;|^;Bv#WN*>;$K42Nq9pMY(L#5YiD43Y1AW6RF!>2k*GpH*!yrHj1XZeAo)4be
zJ7)u1+i1y+sKO0JtZ3YYYO@O>K%jWfzyP+7r)yA1h<4}7wa{l%%5rpoIec~VOJZzL2VB{)%RKBGx43d2J|=^z8v3P5b*npf%*oo
z%~h8fIzn9xnv#;FskRLe0N)2Z?(mA0`)t|teM}~AkP$9ZWB_^H%RNDNVHA%-gC$tx
zvn3{Psd{px=mP=&Kod%r_~+&>Oe0#DE(TlUan#X$qnYk*q`!eS+AFgVvs7krm1&X%
z5*C(JJz15WZ<3eoq)2q>^+JxgbB*b_jKTioo^MRMS;i5rmaI^9lpOO}RG;`d&7N92
zSi+J4_HZ#E^rvoNoKB-P?d^1vmntkVjR7lCJC6LatQahz2>k|BcivzQreNRYM1cCG
z4|4c>eTUVBZad+2Z}1;0=hw|{uS4;{kh>}&6uGhC5)@aPoY
zLVQ-pwVc_HymZR7;={tdGdxIL8`XO2X5RooAztib{0Ioa@PW>r{
z4VSx;fw{K69IpYn_7MZzXAgD7x_PLbueI#h3$zu*{27cbk^sB0>a@f80%&%-wlG<7
z@BABU!?fCMWco~>aK*WY?ZAkp1h9SDRJ&Cf`~pG6bF5yVHM*W!0mLm+pgqnENBI1|@&4K&
z&K42me9+2^a@gv6_`|(iOyedG09w^@x8oU;hbXkAT#k6ADs)9}kEp#stmc=X0=!g3
zx@=W*3aCgL+itz#mN0y
zneN@x%HVa;^Tl?(Z=C5pKG5Zv39zBmgslsPq}6-oa6RLa*f_Gq3Xa1f(Mj_H^maL0N0Dd$?PC{d$|J)!dH+&(Ho9@-vZ
zwpP#|)29BlEhBX@1e_$A1
z^AuWD)FQN8_as#wHjMc{kI;C&Ma5D$5b$^hDPSw
zJTxD9BYL7MI7nUE7}|f}YhI#9Rxq@L@=BxnW-T$L
zU_)AJK}N6WBDa%E({7bP?O~yVxrrV3NMt78^fLq~_#OPDPDLQSmOAzS&hc;zW@BJX
zRR?~guC%g(Dx+bpu
zQxw~u=HN_XottO+Rw`&*qRmDVtyF;fPKshE;CKs)%~~9gW0GUCb#WD@Y<7ji_q+1_
zMg1rR2qY5o<$|oFm$R?h3Wh+yH`?$gnGqqvU}R$wsw2NEA*gwDJCQqT5-OGOGopgE
z;L)TmlEaVqE{h`-q8w&ks|u{}mx<-&n=~W@j!*phBXvLnZ2CSmRpWj=hme$nUaVTj
z?IGk%=H^oXy;rdDrN#FhmL%DO`KUy>44hh>p5d*I$}~u+z&bI)r`o1-!fL+!i%73H
zGJ7ITTTi#1>$qbPWf-Uo#@Y!uuZ9t&vhJ3W))M_%hIv}dk
zM0RdrPH}E0>XbAgX3bMDKULyIMay51rq>b`Jw3J?Z5B!PO(LI3y^1uVW}mwX1}?*>
zU_)#v@l<0SnH*K5jMiEe&KE6;u=e==Ic?uR@PLS)9*pQJQf2*`ni!u-#dj+!`EW~Q
zK|cCoVPQcKl8=-T$#gm&LZrnUB{S@nF?M4E)T4vLr%jBQ
zr^SA0W*^RP*o{Tt>Du?(!4~7sV7L?D%Zt}A*?6l~gLU|IrCh2@#Fd(n5wl)!yKr)}
zP3>*m0nsCwcCyE2i~eADHxXk#1UNd+%Zw7H@|o7TGo4~+h*TOXbAMNXDAA(rYERmS
zO;WppF1PRfAGa>bKZx9*UoW8j$Mk32=7pISaIny1&&Lnq8XTTu1f)6KqFZ#jETqwi
zOT7aOl~NWFVy|PnatOAUQZ!yK-`vCb8i*hM_zZ&;>I6eUxA{4tkPkaP6gYC(wLXod
zbj0e2=jA`r@#)%lGo7x`>RL~?6D29Nr!3B&Xf!$SSk4twlc7M`uI#Nx{EydAp*tAQ}l(IH#hD
z$VERO1-~uB;}v@@liCB(eOxUMwzt!XHg41*`)P>P|Vvm-w
z)Q)XfczDpc*sm2pdPBlHz)JiWKzW~ZQe%%C?_bG1qQq-45r<|ax>1Wi(c(FP1tlJS
zB|X&WDURB*RR?)wDj%l9siuvNLn#nSd#4I8fOIXSY?$7BQ2P^o5076
zhEq@4oihnvD8gc^-vM*#3W=FS2?yQ+R5fhs7M~Db
zt}|~Q^flchGj!0ZP=)&sNG!s*GxHWZn@18^8rP28TnEa*rYI(7r*|j{9Q3MY*#f-DBFd46Ymr*Rt5eeS$f?gwxBLb~5+#hpzz;
z_al|$gKy!xYCGx2NjA(dC>Xo$%yLQ9WJbDkJt=i)W!XzkProstKIGo~t0$oUq>GI=)l8mJi`%{q(>qB?n+#b-5<7s}qs7L5@Y60HsS?3D?1UwMR
z)
z7lNQZ=E!!}|M-n*4=L%}ub_`}1TYsNLB7@&r5+p>liS0kQnbj*)nnxw(#x(Ua)px?
z&IqeW`r?o3CEbHigF&xb0D-D05$w#EEO1JF5aKT$lO+kIaAz@`4UMLANQS_T{KU*S
zCtfnMuvE{*QXYW9q1|}wPm^3l#maKEm!CPMkcuJX@RMCF4x?DJY_h;)DEds>n4e6#
zw(TWQ3AfDg38A4v6d#(dhnI8()0xU)*uOmG<2^l02(WQqH>OO&OqLHPcHpYd=>
zZ2*Jbt#E-9TE5Hi?p2zNR>SY@g0jQG9pZld#KiJgDLv<~ggw)a1bNs&1GQ2OA!s!O
zD7ZWvaYQ<#J&~FMEv3kkcH9$VH)FXTKrCIZU7Qq}Za$fWm=8;s&QyW@@~HNRl4%bO
z2KiSws<|KP5L2`Bqw3^s?Umq~?44QM_z}Lka!e+5lwvc1MiZ`vhf`mw$-kD<;+hSh
z@BJK!KLBdH#w6FPOnn;x_+n!QRUKx1S$jN)u_M)_*+YjZiGtk`#nuE{ChkoTjo4;5
zpyP_+NeIG|(!5BfL^8!B8#OmIp_R26W8jXf
zwAUg(-VHK4lpYpC5ueMgrAB5SIb>9^z`7$NyB!>#mm>b2x1S{>T{{u1nDlHd)jCZs
zy;~)~KDd-RIBoVSq>`QZjb3Tr{cC^pxz>WBR2=sD1em^}ntRb!+fajT*vH`>2yQ0f
zNltsvsz5;j(6Ml1ZYAtA~jCo-`vl2)EK7XeS*G4-T9awua#-6!;|lf;h5NVkx~;kHU!_
zVx(+y7&D1)twlv8;q{Kab|;nFUn)`%WodX|^L8s8Z?oglFWnl%7vY6~+QNTNoKHTn~PKLSNxJ)3K<)N}T*E7v6DzxoC)0)An>EFt{|bW8Lz)
zDb!Km_f(>t!i>u^mSb#(^RATAD2nGVXo#ecE~K^+6OFXT
z#_i!j?$xHWTRH|bvHu-T~S-Tr@+Nwg;5}5qF`P7_rv#63%wH5;)aaeQ;6;K(7x3xF*vm`l}pXH4>J6f;i|`6-KHxzW82%3wr^
zpCC4U!h#Wbtg5ON6F1}g@3pt@?$%9IMiQc1Rp&7iYN`LT#ViPe*T`JbD
zJ4l{P9E4VIt0}hqL4&O(HeV#TXPwg;!a1u
zw1ox{UcMioGcaJVhujtbo1-Hn;J8T25L+&UxJzqNZ%@xqqBewp432ykMs12lXA-Aj
zwa<%MLivM|mYO+i#dpP$+!L!bt`f%$|GZr~hn$U=F@QJ)h4|dt$nIsqsf(e%kZm>$f4`>BB6~@OI2z`+6M9-i!e?WCzRShGshtH
zc2WrC?VLOUtbx-f#ltY9K8EzV$l4UU}j=D67V;jI4=+
zaBE!Z2z%Cv8|_PHDHuZSq@FCdYdJlV3$p2x?`T~y`W-7fenR5BRo-^NQ3iZ@KtS8DH@~x!|0L2Ai_1P$z9(Ey}(GE@G=@{
z=r*-uCphpKApoT6i7RZOGa|>@M-JbBMkfrV7STdsp_w-Sl<^5y)z
zZ8=28aPJeI7Rq{Ux}7Q?FzMG-VbI7ZuxycbC63>&KtsjX3iLC0yd}-_yIqZn0tL$B
z0rIkp?SCIWw9O+L7g`B49jSy3SV
z3v2TKf#}(KuWgi`8X1VqADc+q+dDZqmGJ87X6BaWsKs9L-dRMvyvS)P8_O-U&d&8P
zD*CAC{}m&9m+-Ua!>OZRqew4RX)8CNg?C!vr{;%0Osnmu3EZDgv2gLE4ZBwf3~j$B
z8MhrB{Ro#@m|bbS=wGf&j+LYE(`Lol8%Z43%1$|(MvS$A)bw=Ud6x!-7|2$g-R6s?
z{e{l+k2WaDAt4vNnNmY@j|Wmm85Fv1Jo^U74@$4E;u*akZlD0-g9lplFT;l^=5x+f
z;cR{k9#MhJEiy7Pfkg)vueUdLRX~LWHj5r}>y27$rqBCYa&qI9of@Y_1^GEADQ_CD
zU1cqC3g@Q-YY&Wu-6clTcGFP*Sk&7Za(4suz9#Av<*X_wm45YPNko;7g9krbs!$4T
zzK1U)zn}x&)?4^%(pwEUg1K-;3NZ#!M*My(7pSocp
zCPqd(xZs8D2cpQMz8tjcZGs$K-bDzuaTibp-`thJ!G;fz*KVHio{FGL&Zq{yQW4W4
zD*~q<4gY}7Ri4QKG-Rine%h|KT?9<;6mD~Bs=*NJ1uoaH$fK#w%*;5XFhWB`#7B3)
zM)d<{<$+RzdycQ=43#Jov|H0qoc5={Ko?~*WpgqV*A?BM<`1eg<@d&5BxXs~ok5*j7*
zBgY>-*ElXVQ^mQ`0Y{r=ER6}cdPTh??2s)Z1w*rFx7wXZv#vl^xZ19n=Uw*Xw!xP{
z9JiEfh*cto+_Gdw%O7D8pPnOvr>oz7vAWaOM{e;8`jK>2f#t7ZhNvS~a6d;O!)Wv6RxCjT-#C1=i51XUG|XUvtw>
zd~f#gE_NQG@x}BVL-yP!*I1K#5OBNC=6CzrUc2qC?1ocpjw&ym+1SXQ#$f|#oY!v5iuR3q
z1dh1A#N=v>o}p(OhzR`gw_KblCbRi{*!=}nR$|JILKBSYgPMxt*C#uw`TGN
z3SP0XDI7VZ^@S2ukK?QTg<>dcbHuuTvm+k}(UwCTSe4=%vqsYswp_+Tua8u;me(WE
zj1yrU0XAM$83&WYwT$&zW0Rn6iS{^p*w&TO!V90&L|V%>^0o*Hp?<*#Fw_JaICd67
zu*tObdUISBSEjozA)~`gkMdo;{adWW3WIshv-ZQ!f_WIu_U;K8h=mFC$6(~l^BLiL
zv#R#rqMlSBbb(~*L_Wbm!N${7G>Dr78GFr3NdNs75Yl`l)}*4rCoq|u(ty~IHxEn|
z@YwDOK-g4UhQ7l|BpOY(ZXvg!W0S#G!0Ro<6*AK*93B$JXrLT@IRu7;zfWj->W!qC
zIq7q2DtGF~t2RgK=SAOjhK2mU1@f|;awZaCj`e3q>acZ&eA|BhY
zFQNC4%~c?h?$*FKKj@{NHmNpH9ANY^(P6&cPGl`Ttj49l&(QcU7bBJ^Ti8~CtS#-w
zp2+9vbft;jPb!MA98OUmVt^y?dkn0jrj6ruU6o(qbXtDtu?|reTkY}Tx)-L@vc}e;
zXkGr4|IhCugR@@8Bt3akZ6C>x#z(>`->|%DrX8kOrhIl<+Tr(uh!zi~Am}Q_
z4j2b&2xI%=`&B|9J9H9GZmyNTf%^pYhBWppXdx?}4W(Y0Fi_oZzM}yX#~&uM-42SGnR#-4
zT6m3zFtIhKmBG^ISBuLFmfP(+`f{}jRm6isESt`m=LYhT|87Vw*&hTck-c`u)l?G-
z{KRu9t~tY&q#L3!{~hO+PqKT4@cvP3Yjqdo@!YS
z@Mdz;sKxFQt}~7r*SA_d5Zns9e#ix%|Gb%Cr`?VjDr>EsCt|yU_TSh8zpcoxc0aNA
zm#DY8$Y->Yo)4T8!zAj|G_i^v4-VX(yLKsjHay_3-&#UXp;`3=G$&o6GcSY0D&|6C
zq=p-h&^`2?SIPHLurp#UTTdtx;^Qa3*}wnxc+81|Z=!R|8aMv%1Z_C8mzDb3w|b)T
z-Bv!G!~K(sjZVmHB1R$lA%n%{-7<7XWZtbNJipvJ=X<6QU4wKqy?eE9ShsG0{Qrge
ze=`SUjDRm{*tnk6pc23iM33Y$&~jyKtG&JoFMC#$H(rfOU#RTB($~XiAtXcUN^o?;
z?~aLh3)!h5xn6_;h+85Du%Mw+{OrliE4X}$?}nl5J^^7c7KImq9yXGgAPBfN-*ucp
zVYk4l^a52x5NU3DA^r!PftkwAMvlg+m?GrkzBAvuK?dHCvOFxFMmlI(sZP3rt1isI
zgq`qt;<~B&PFlJ#mI>QsZ)idlYZR&En$E$Td@JhrH)rY)M?lHN-X{AAosNqbVFx(t
z^KSV46$)_~nZZ~>6-;ZlH3VT}CqTJcO;27zm)kG=@G9$(0!q=I-RnLihgN2LuVFMdv-{Su>G%DrGsPh-grA2Nr_N7
zVpnhOIyavHqAzqnFE8!9IlV3~L`Q6f{+?I9$<}SthxvN@34%Z|3IHz+>gSmIo_z(F
zhES_!>n-5?%Gf0#*DKDtt6qLb0&H6&eNMsaY$DsYWrz3d6-)V|MPqmC0ypkK?~UD6
z3m%S_<}p=OALFB8EIiL^L(DeDVD~#9?V^@TmFDm&Gm?MSBH9c8_sj-?zz-YvDgSZ%
zg}yzsa>XWJ8bo{F9XXJrWxI90R2izRneds5fOdGd)9X}aQ4=2!{mq?rL8tF%V_9my
zmG)ZA{rfTye`;r(gL9@oI^eGMu3Ug)!iuC*>-E0X)D07h@%C{!OReQCavfbRTh9bA
zLgsp$_oQ#@C~1K=9r{C=;`j@@Ix#;96zP{wgSQ!eb}nq+#|!xHJx85SbRM|-O)aSM
z6u8hv;F^fMz8(YFgia|!2Dh&{7$%t}RS)tdVcneJl
zp=Q!nEFWdKA#(=vz%v+nqe+o#uQs$6>&s~y*jbH)Rg|Yub5i{o`dmo-qFIw2Hbdf}
ze0BY^Dp3v1v(;W5G2iG;L-AC;p%S8oK+!T7TniBa`^kh8>=wJ;2niL$2Nycmc4&T-
z{0INSKl}-q9|oG09JXaqn$9|caws^3_9u)34TcK))IAR%%GDZxRHzBv93I;%sEy1u
zN}#e@Apyd^#T;IH8%rW{y(E}`;97?9Ds$S_FEKg3!C}|3TOd2SPg3}Xr}<46o>_rH(Z4zAN!8=M<3m}9ebUt8Qs->tkIL^_yA
zqYz|&{nF>6KjyEb&KEFbL)dG~17Lv|2G(G7Iq`fk`$mdNbq0MGw>!e_i;(8U6)}JT
zDDgdQiwIAutTE8VKU}r742!gFNiNd1Upky`B+%B*lrIx*g>*JQedfUMOb;#&Xfjw{
z^e{X4l2G)zUf<<*#r7fO0HSAp{#_oU(bQE0!Ts4ny*f`TbJ8v>l)vu4)M}<^cr;Jb
z+iW>AcrxmP+dMnU=&S)P4!cS!@#tiqWizHDc-4s@g5PsH;77C21oP
zcL}N(yfg#kaM^t$()e%L(yQA;`DJv{^W1d#J^?H>wal@yX$tqE*KNNq$gUXBF$)z~
zmM@mFLt$h3E@k+rBS~h8&ZQ*e6(AH^UN10p)KDjhr_->KzShLL0cS>_uf!vKWLR`A
z=PESgBKT9k?PT(j`>?Ql#UlELGs}N~32m1|{d(U-1E3;g`h3Y!d-rWrDX}*CX11yhbCUH$aXA7O5kY-p`m;;P55RI@P|m!9)OA|
zeD#b)jXy+{tx5+k>{CJ>Tkr*pb0_akrhLpAGxs#MJMfxD)G`fl_t4^@|#KlNKM!Q$OdS
zexo;mmGt5bBBa2v)eV*k{Vz1FV?#oXbb;x(c9{TRA
z6VkM7-?efC3m7Uw9cHmS?bssa?5pXGxo+ys9I>UU0WdZ{Ld=(cgVzFk1102Gb>}rZq?{
z&^4Z`&oaXi%V2cQK&oxA;chu1lxigiekwyjaan+^OKS&BKmsQityub0puz}RV1wyd
z{J3Pjoyfl|QT^uYma8f9-H=(xByqfjMSjF^AMfN>RlQVc`wo6wDVJ8oj+)8}^0r8U
zcN45#7sV|bx-)Mg&9+G5w@bZ0LVzW-?w@;Dy?K@Ci$nDzwp
z4oQUCE9fF61VY`mVJIl@ILjq?qR8J!`eiN9nKfAJ$-6QoqzYwvr|tQzasx+PJ*#@1$b*>5UCqglACOeZXvp-m9RM+cS(#S?A}hKRWhZ;
zYa$W;_Ty-E#8#Y^zy27lc!?qz{cyIAZahK?5P9(hy$y_UeUu6}S*_29N4PRT)alrx
zIa53VgnX(2+0WNGiWgYD5cyg~6Vhj1$`Ek|egqlpZPica*0L2v`fNN^Yw2ywzWEbM
z6`53#acED5!4CEFxlXu7Y!_9E4s}VE8{&3ra*V
z$mZT_5c3L^G*>z;vDpz{k%qjXl$!o7L2GGY+@8*WW8ult1kUYiwJ^D@BZMXPH@AJ8
z0DViNutTMRna8v}d8JVV2z{C7Bz=}lZ!I1{Ur0#*Uqm>eup2*n(vu=KcXp@*l6IBO
z&c+>TzJ8WStSOX0rm;-~q=h`|GHZC+UF~Q{r}IG5zN&x4n`1GOuTMtv{4dT75kPFF
zPY~q9Y<-Jl8Ez}@$kN(}ml4)5M@^7dedrRWYE~JTA_R9=sb7q;Xr>V-Bb%Ud!|n!*
ztXv7NxSZs1GFAp=d7GQbyLidwf7(u0O6!Q;7Z+|dj2jd2sZRaIciZNI?tDClLB>W)
zXDIhi@`DTgS`&(e!ldxLEk;a2A|%;ncvVqZ`661EwnBxDj(%9Fyz`zCN?VWHo~qe{
z{7_pMlKvLBy)ZqJ7MfCc8D9GjgX(D)0>enxfQm_)|4rq<(~+Pdd)afK1-Bahiz|OU
z4gX(%;2*jN5z9sYe@}E_gMtFQS^GuP@SoK4XJ#B&*YX4FTJG=2WZ^&Xvq2h`Z6Nc#
z&;NIViJKbCPL1O4b_>}9`a_r#0XGC)-G#y;?}4ZnxZq$9a+{$yn>Da&ibz6=6OnKh
z8f&i@#3SlsIhF4F3c~3WRoajz+K9$gD15vwI04%+xZIB*tL1~L#gKx6KvU7o0^TSl
z|2*BfJEX*P`Q*OQ8!IqN4*T9O6ff-o80J|&zf}kAL|<4k#^i7XD3ve*czL%vZ!2>V
zL15$IWkLzJYD7fLV77M%DlTf8QCe@dxU^(%TtT+m1I-5sScxE&Yt>t2mAMNRvJalW
z2}Oa%msusvc!j0^jy5Cu1Yv+m?@ztxdqK6_Y_0MkT{1XaH0s#!d2ylAEhHwp$3IAF
z^Ou=e^)NzV|77Fk;MD__wULt5$Jb}jyQb6C5ZaVZgVO4l?pN&_%?*#+gUDzC%>tbe
z{`lRyMo3%tuN%%k&LfC!=TH(|o!zCZgDTcr6!^G!5=Exwn;2AMdtJ-y5Ibe4poq
z)YPC^eYA76PXcTNJYPTMxDrL8Q;q{zXwbm6GVb4$%*?h@CW?xZ(YM$9dH&56Ij->T
zN#c^y;}xM?jQ{Qwzve%F+6_24PIJ8w74C%-dGIl(DFz;Dk)9Z
zY~Q1Q;ynvU+)-9`uK#|)kYr$0NZvVqmGb5;v;l;6J?jM4__Ar!svAh3m)Ec@sN9@S
zM+tu0a78u{VxDB47u^`goSN-aj#GchFEFxy%SQG|=LT8C=tXHXI)F~rJwqQ;L{*zR
za>7zm35bucFVRclVpG2^6A~Uwb&^I#B48RVw!gtVzxUTyYs27`%j^Z4JDJUUsb(v;
z^QaPLg5&&1lIgP}G#f4SXBW*wz2H-BbRAaYUN%h;2p8eEyB}yuDEjUHWA$FsFgxCN
zZ-txGJ-?_cL{wxjJ@1GHhN>wIzcY@0-=P&i!}t{8SdwEf5f@^%wv4IjBAUv4jq^L_
zw~BI1gw#N51q2T3AbK-VaIWfmG39SI6-{kZRusd7D;EPdUEjrTHR;4~D
zt$7LT@%IZ0V~&h6DYSnGe^ZFuB`HPyQcZ=$!nk=qgD2wHwsk`3Ai6^?PwiTnN4$4uFl;_O-FZI
z_6^=YN6cVCL(fZf1L6p;oTY;7p%Y(~F(^nWUHoxp^f54~-{AW731@wSpukf#ZhWrN
zI83&aV^cKesPxc~LIdP^$0+5pvyw_^UwZN2W
zus#Uo885B@&{`;nTUfxcv9k}YWk!A%8AOwa`JN&It-qU&C@$m8S4QobaRRqdWByqb
z0YC6;jYqshYH3-2ta;|ofXrD6T8fDBbU105C}!7jCoZl<300%RAD*vDGX;37<*J3u
zmR|Cr075)vAsCD
zemY9)@vYbLIJN^OTokW$TWh{nDYL$IGN>ql8gi(J5u4tceVAwDi9M{e+@f@|Rxi=1
zO@hx;xm-U?Xa>oESVMT>tTo~z`>A~Lw|Wo>jXbG8q3AGUUu@}9c_i>@xw!k+&1xH#gUehD#JFC
zWDE(ZBe!M3s*GtV(jzG2PO^Zj;^OQw!RZuxe)=S8{9IWqVC(afr>Ax+Vdx7+K-+#K
zBi5TYF0HRQa?I6(qxI-*$Dxv*9=6roCw?bl(fFj){`0hM3?d7|MC3ZDwOQh0Lp)Tk
z)M$Jzf{+S%dctsQ#qa-kS$c}zmJieE!O5Df}2L|{0yZcguz}z0}=ZKlhI|`
zSsmh(wzxP5C#Nfyw|cGa$b$FdIxYF7zFRx)7arM-e8x8J{b7bRajB`|mPOejR#vZD
zff0419sI|b)%fuvQYjt3?w+B*Hl)pyrBTp40{V+`5p)hfi4Nl*wYY~e=noqC?o^Mj
zt0o6sAm%MJitbDqVYZp*g6oPBz@yqz>o{>i!vo7oZK>N8Ou7P5lsYLLkeiRH0*Dmw
z(t)l|(MzQBLuv|EuRVgpi^boVn-X^zv{XbmN=96W#mYdC0W_~5uZdlMk;P>$>v>yh
zhr6e#;C%kp?rGF7>dJ{J
zPlrrFP|?l|ZT(1(C}Cq5Q5!9*+;hcXP_DD)`TX;u)YL=qmq&HJYW#F|yIAAWCn>WL
zCugUKdr`Qk6H22&`8FyoZIbxHqAVE*5bNelQ&C&~RD~F4YDSs?xVI@ZGW>h$R3DR@
zd=BLH@q865ExZ&pUbmnKw=LMV5IKEihKGljNK>m&z;m#=1Pw0cGB)ZBM{$n`Qu>*@
z>)Nz+&*P3q%bLx9BWZI!g<*X33Ach$RmCbSs@AFsMnq0<
z^RjbBt>Lcb$@=Z*Pp7AIsKefWT_^Z*{QxjEq75))6J5e}J2Q-N{DUcF}zf|6#t(0&&FrOhm;2D
zHBpW{8T`GRf1Uo9fd9J^+s7E*(zg+o88AkOdlV}St1Fy|(H$^5S589+M+j=*WMx(2
zd6BF?cLYfCbCW|YX#ivrv33oA@)h4|_&`t3%)})#q$ql)DKV(aoL_331??OD{T*)h
zsQQ3MNZt%5cPzpW{Zh23Wyxb>x0|AaP8Q`biZ~eYFzBRwJWHkb32AK1Da7*loTohk
zA<-gWq&%APGXy+XgaX(t&!SqT8$;`q+|IxIlzBJDrd+mFICTq)#$!1S3HF35Fvzif
zdp3^~-K`+CTF4GqYJ*bp2*9{o_4;{UFCF2;w{&}7KyHW>lB
z7u@e8dDFw7qiBWG{mn07_?{u#1KFDw<@=$tY(W-|e#bv{5O_l+K`t(;evfrFiY9PF
zEF+x7bZO*`@Q#h`8MIk<**Td4Aww7W{j@bsOLz^o3uwg@6gb>_=$Sl@Rb`fyCL=%dEcSu=mgfyQm8FZ)(qPNEK1)!z
zSC+V7sWGEFV*b6;dT4{*W$dwEv>+lNOqFcdA>jX}c)UH7AR8-sR!s5<2FXpL;{6me
z2osl6%ax$_bh0{wG$MV0biCh)2}tOq{xKEtDg;}@!73Bs|Hyta
z9GNX(+7sXg>>t**G!ISJoi|SVX{$t_w|?Am{{c)aP&URgqQRa-sXl?6E6lDJ7wY9x
z^P(m$4bAkzFpQkJj`CjrXL%JVWo5Ryx_Sd6>!6Ur+Q=9=;O&vhFevu~z39j25614-
z=q76|K`p6vMV~lfR59iz8;f7)@S9+Hx21{Yhe
zUT)uWFmX&N{VqEINtPpk`DUr=PbIXtq@^@J2^2W!iLG6>FZyKABGt;J3g(oIsNE;s2@3*AowrXs-Z$qpQg|@GUBt+TUF9LjDCSoZ#u=QbF72^#>*}dJ^ISL*p~a5
zmyhnU`{%;tieB^O*)jVseN(_KCK($)H-T-;3RLwnQYu$ntKvX^g#nif1q|(;i%|Ps
z6^s{71Vq8>kE!3;2NHn|b>!saxPZsy$w`z;`>^|+Yut-FyVZHd3){PK4`5&R1G&BwFTVg~GemYwRiTte3IpEv4y5&E6j3oSKv-WIjH=
zu)uKsUTM9w>FZmDY1X4z6168STn*m;@}iptsy@+F$%Qd!BtLbLtAp?6J>9E;Ns&a<
z5t^fX?AN`89o6UuZxJ_74c8{W{cJNOpjKv}VVMrD|9YNJSwCHGssjZ6qHR>*C>bQ8N#Y(LDJN%h2xRw{yVeA#{U0f2`%43K^
z_EjWuT$-9NsQUFzA#*Pf|IKC>kN|m(_ihl_F91e~4_IlbI7Z_s2~*MeeL3a|3UqL<
zWl17dHxddc)YeDaVN2)Dg6AY!mve0usZYABa3jN~2^15+ebuUi&0{~dR>-Gls5pT=
z)I|mUnPwi3y|A*2lC;*a#GTiW^Zh*CPR;ntW6l?{sM3He>okYkVJjQ6+?c{b43mx2
zRCT-@L}*G+ldP6l-4Dt&RFgxT|H4dgGVdksu^>g{3%6qV9MJ%>MLY^H3VEf&hW%OC
zlV7^142+}J5u#28J{IpJBK-IMErGgHgq532Mp{~-
z#0BvamlsBD?d6VCMri#$LxIg&x&>$tKFZ>HPo@?Oz`)I{B;4G%$DCHAQKd-BO(S>C
zDmDk)dLQ`UD4HYRHkWU;CcMZ^$8~zca~4SASzw+U3=x0F9rq3^Vb|=0s9JG8-wxbJMwuPl-KdJ~x3uJ~E@-w)Ta
z@De*LovsnsH8A&A>$#HVh!c1<9gv-U91xcMppp$JDZTTaq`1CT49~WmpM*^-!yS?z
zMo$-6o}@dXWoyVURDyhNh?Jhjg7o(0v$xmhlg{vl8MtoCBZVUMX8T5R7D#Ed_=Ath
zkxdMeeCh70PG}<8hURnSeG&I=(I7i=5om&!e<=>Hy@Feq~HNXU#XPAn>k8=E$BUs4(|K1^h&*dlu#TN+irJ{J8E
z|5>;o_(9>tWJ3Fa5TDa_Fl`2VQ&{6&GW{FW?a_R2QX^C}kw5?zJzk!3#h0XPG9C)N
zZT>X>Lp|vq8Sg#RGzsDVfqZW4sFMI|t=(6{?(`PS#YQeq?bK+{tTQNFTm(Y`Pfo!B
zakrICG6gcyiXNd%7Tz8MlaW%!OgE<^%byatB{02~8Ns<XluTJwFia1
zTk%`x{>4GN#SOE~qYZd;rAwgf`Sn=?QNCR@%0KC7eX1Tk?6E|_gGLKq>)Y#tr?Z&k
z3mvu6*LzfuiimAxK6f&n)WhvyPP;@wJGHBCf6cD|FMcM-~FF8q1@ULB+3;Y9VVGue02@(JN;FSS?
z%rE1l!SR32A{Yi{>GY_0Hvf^JztDzT`X44#62>t4%#P@H_M=wbQU`pPbK-chvOLJ7ta}4xLE&95C;n?#h*~UiQ24
z46#t~v14$Z;8eZ5AT_6_zUhtMe@oR(s(8FU@4Vlh=$xD$|9R935gdIFQ@L{2bCb3KZXntWT9stUioYFY?B4#~CkC3|7sQ*4I(`#N7p4u1#5&CN
z3r|!|1OB=@U4}F@6+;xK%Yj*-VOVU~G;Oe)L94yI+{GX3#Qj6)^*@k-Z@$H^h>Mr_
zHwns9<4KLPiTc3clAh-Ck39KGzj;$GwfB>YOtzx#T(*XSV)xsSoGBI-W*GBfy>Gy8
zIDwAwuTMZ<_jSdwS?!2I9*`~G`7Lo2>UHG(LkNn~c5UE3jCHbXMev(OJL>Q-HE3_n
z!vQZr6_!#C6IcE_+%9i_=Bu($oCPwvBRoKo~`S?
z7|J{;Qz8Uh-gmdha}3iZ4RDu~(w{Kg&xJl!Jq-3tD-+2aE%s^dhRQPYGwTLBHUr|)
z(gJ?VXzRc3EKVq=L8?6iP(G21u*FSorwDJFS;Mf#D|NSZI$?F<=xMfst}QH0`ohPH
z1zhGEX9Zt*m0Qi7!zya}z+^ZBLd)lb)?ci1zdW-CEKM
z6m+165$Jh7uEu&lLBDd7M_lQp#k3VO9VJ2y<`Ccn>uEG*I9
zm+2P2ho;O+&%ni-)>M%a&i{1hZ-(4R@C#eq6Gk#Hr5y@yzDcbLOeYmQWS4d_7K`&p
zPfny&K*~oRm(waWu68~Cwx*H}fy2#O6P)(@F7Gs(tje2CR$QO$V`Rn375j0c@a9Vz
z_mO1)GQ~ML0_p7Lfs=y06tbBT
z8#~nj1A(2Pn@QEUzdCL8qM99BY+2Sg%Cq
z&$@t!M40=$uK0|r*K`IqZ`Bz_^P2(&NiMjolUh~!k_0VTDzR!kyeCADD8LT@uhFKN
zNEXmykdngQ_0YhFI_1AVhTXiIlu^As
z);KtsCrSWlbC|xkZ@BG2PFRuJVdCRMCt~0VlPV$1w_(@%5KIB?$%1)%W{Dk=VnBrj
z`181|Gq)^fkX#th)rAqeo~ghiS}u`>z-(U8bJkkCU@DUuVkf0Wn_th=?k~LBxz_f4
zpAk}Tz5VDEwpuh=&*a!j7-@zW21HPMS%j|)8yomhY&eu6c99B`pH<16pKp@-l!pA+
zwMTD#IJi*-;Fk@)*+KZkgB4nDN;KX2`{Vs@M?FA3))3iAF#~r%fY_M?SIE@;_$lAz
z3wD>JI3!WO(WlK5V-O%wxeMie
zgOk!o=~xhP?CtSh_fRI6b2N+xT5m7uEY|1qmHx%XCt?HOMpVm(*$Or64aU?;-eOj=
z8|JQO3x3UJi|BxmXjFzYCN`Et-NKP{@HAOykr1TZ0x@Tj68)@iC*SIV6Bil$n^a#r
zkWN<`h13AwKYsj3{(JZ1-;~)e1^q9ISS6PzycP2}-u-*~A}%47+Z&+CW{Z%=OkZhi
zYP`9RxWHr~|6bawI&HS`ZLu2+TSeGPw~0~f8P#;jPBYN4Z-DJ++RQX10QJX+Urae>pZh$q_X8Gu;&
zTBCD7LvTrjf0c%s5cBY2z|k-WF&vD
zh8#8U6d_A8Er91+c@~0NkF-r@E((R3)qRNNpg3cH{L9Q7UjW=hgsVp+6oW)K$vN4N
zm9At){W)qin%YQflRd9ih5BjYvcM(+RQP_N|^X4
z69#5R``|t&--=K;?^|
zZaJvUJ3iMuDNA(ngivu#mZa3cS9Cl(qk=526rs~$5g%lEg|me0=tXf-B!@1|Ko
z-KOyfW51|iY!xy2Osj=l3^__MQQY|(PfLd1>JlTGR;bzl&4?uT^eyAdKt{5<2txZV
z+3}gP4G5C^1)vWtrNw6#tzvd%Heyu}_R}#Wt{WWaG`Q3pV2ESgQ-OdXpVkK}Y
zbszXttJaB8#hi`7={Vt8ihvA_=5b|Z$>7K5fG{V${u&b7>4=a?_xHGIxc6RLVnAVh
zsk;fDwEhetmg#&YvQrAA}j!rR;XLm`eq2x&`E|M
z9+w!h<+rT8_w-vqn+k=9Gjrbs#31$W1I1zVI?Ly*Vq3{!qJm-Z7u2m>ab7(mB9q+mo-~i;!S(Vv}FQ)xnj%MFESPKEg9Ky
zgwkQFm<(wR-JLHHIFm6Xgpn4Grp
zjC64ZWoElQGks{daJxgi3ZQv%JODrm6+0_Z#&`XL!%%(P{Mnv9-20bj85jwV9XShN
z@m(({2Ik6jThnN*>hogD>Bp|3Urbuitl!e+P&I!Cd8(c0emnea?R#^$MnKfX>Ce{b
zAub~klYJKvwI)WjL
zDiLGzsmSOHK!QVB5RB&L)}h(Q%K{rzAR7P>r#Ry#zPHNSOl`OC#T0#t_fd-$Py-Bf
z&2*FRXvv=;e!y|iSKH@y4%C`W9rip#-^yg=y$EY5Vl?|g7Rb*V8*-@
zf7OnuW(!QWBJ?yb<4cFmW-;Jy$3(u+IPTm^yY7<_^upjh31TczNTHK|BZiaz8NT@y
zSEbMwL=*T?377|OT|`yJf(r?GW^|FuZxMD~egxP383O7tI504-HOEUkD4{|U)%eC8
zdlNuB)Xed~CU6Y!3J$sz#<(=3d_Da#g`ci2rOWnOuZuqMFCg!!f9rme3atTi%>-j`
zfA!@QbV1GW#KtT|9%OWGuG`H)H^lXVjtCvp4$Mq@SQakJ&@4lPI+F2OmGIPgf-g^m
z;MLE_Q0edG-RE2N50r4Z=7zcNt`w1O%r|$B2yHUP!Lwtj~$W0dNJS!?Y)Xm
z_f$R1AjcU6s8C`tBibU%YYB7;j9q;(
zCEP>;O-gl@S-_w$K%K65Y?ZKM+Z~FM0bm2Ru|=3~A_9Q(7?QAU7(*r!d)G?FRoG8%
zIProuA6iedG(CS|JcQa%cB}erW_i}SxsEHW6317{hEbyNTx@qU89i`IG-a~Y>W=SC
za!#*4X}|gKnOQ6RX^8rX8uk7uMp00nqFnV>-ZTt{tp?dJ->}wT+Xbxe#1b7~o~*wh
zFU#vsUlV&4(QC$bw{CdFRIa#|oqEWpcU(1uv1vGFk9lwHXpCj@5ycRR>Cb0^{`BFP
zZ_PdFrf`(R+Mhj}eB#l**f2LYYKi(o?EKUaA%4C&
zECO|oF0-F9dy7)iJ?)}3op&J$!4O!~(Sd<3LWAc?-}
zQ9OGUCVqzj=QEPOua*XA(X?;?zx^hB7!_!}y+?2`TgF#e``N^bYAL3T<(SUqq+nA1
zWZh8^kke?P+82zd#gwZjXSLc8C2q#i)-8I5wS`!Z20}UQd_pEYv2W4Dg{5J}L^k=u
z`F{ySe8qZUrW(O}tzUUKXXH(vM#ja(Iya?uDFLTG$T&U&LdL`M!pV0OieD45qU;&s
zRNg1Mmb{4waZR;64$1=+ZaVp*=o$EoSwKxCs1OZ|iQCFi)P)Sf@A1$xMC0x#jN>a8
zi99Z&qN0<&4@}FOYtr*}Uq~Rv$oNIIGMms-J$7N@r^x!`wlP)Za^pA_#?HrvMTw0j$DJjV1fvqyNrzR?Jk%orb`ckNey~{FDn}1}^Y;1tCN|A+tbes{1aFqLdxaqVU|5xStIyDSWcN>AyBe}NbJ!%65bOze|{W(=?@jO{H+ifz~d{}3R#Jlo-C;ssalo;{Jv_n?R+CL9D4
zN7kKBrW}cF>EOav$pnkZ@?*Up@A~-(sIv)}R&3=-$CeTX>ETP>>nWho3}m1oVUpw-
zenX1G$~*nUX+ZOOZzNayMIUud7yRoz6dYJc_2oO@ji)B41v3(dRn~!(iFtT|3p;z_
z$84!Eneq_oj*9GuI=MGjvY%fJmQ2=GmSDXa$fl{qOR2tmp|D7ptf{fI!DJd^LS#b|K^uLDBwCX9N)=wQ#uHBR+uzB
z#k8TJYjxmXK^iRWe5C*%Qx1!v@$vsEO|5^bHx42L@Bgi5{Vk2K`GG5ZGPy%6|M%mO
zC@?ts|8cb7l=Q|f*7rXr{{<2j%sg;>90O51#||ZM-~aSsVx#fxy~j3}>#sD~5D-Hl
z#DXvyQF;`uUZ66ydO*gelC{y*u?UZh*5vaq{9&xFo>t(SlkF}uv71h*q?JxF*SZvJ4mX<*%6rvtJym#Jqo~{0(#fw^`
zO9Fey^+x3fqm1QmE0%9wA?00%#zd7YEfg>^((!r+vIQu-WK`MAdVao`U!?M{ybws!2;%y|Exjh{5c
z!m+1^GZbJc4)y)|CzV{81kS_62A}Om%*2{?SssXry8Ve1Q)|O21Cezg7+GJ;Pa+=_
z(VsU~@+!74{=#~0MBHH}qiRNvvvQkTTZIr|jLo61YZV0w=%xUE8cl{r
z{0f=Dl%x3HWi9zKzKLSDr6eyvU~%qB>FMM=O_#0xc8<#0d^L}R(oZdCSkJq4chwoJ
zG%LbGeZ1jj5UqZ~SgE8iFIUvVN
zim+*SL_!!`3a>EL*uGqSsJo()_wfVSOrjR&G=xFO|Hv{Kt
zJOqc|O1@UJw5}L7LVO_l{p-O@D^IkZTcD#_-&BVm`ud@onEUcn5&q_)GZzYOxD~>Q
z0=mpGHx`N~BNasVi+e-^(1GonQ3#3maZl`6-&SgW)aMuZwNX4Z8_}(^PW1-sy>Opu
z6{Qg@f3zS~hm~$Ou%;I5e0u3}t~qjjbPheZeN!ZV-(=TUtmAr-I`k{Ht8uC>uigQ1
z$%$pA$=kKaXC5o~U~UQj=g~gewUawV(@9rUXsWW=jIS&bMd_&pb=rOsxhrsv3FdyOs8Y|WjC=DUoydT)3x{4-kRBL_3qbZkGZc)=#`eJLjB4grkG2f
zqWJ_TqSv|HjvyG;BEQPPtHmq9FE6*^m92>p{hAHZ4--c|R>Rk|Nd}RHC6r6jKyLhO
ze?dVd7is>TJx!=0A#2rvaQu4H_Ywko@w?&2B!8oUZ2>NJ;6bVSYRfI--p@2RN>j1J
z5-CceXU7A#*3g3_%VxWSN#?@B;(XJ)Dzl}03BOZ9eh;*z9iPoJT`12xg8WY2-a(>h
zl2IWAMGbx8wS%LhUjcW)+fnP)28*FFMc2RJ?-cHQzUSxEY{#sr*IU3IEmTyVF`fN|
zxxux|NEEkAWyuM%ZM>Xdu5d0-kKySYX5)J?E{7WojPQKCviQ9ya>yo+QN%>`?8
z;Is1GQ_&MEZt(bf7?%$xl5ZC5z~g&h>CAANVv$)Khtv2p>pdqO>TBTOj%~DIe{u#5
z*b6T`VF922?<@d`q=NnS&ozg?ym8X-^j`%0aF}cuQLh`Oq01ZK@;eMqO%Ps;vFB%&
z`yE5c9cU#fI^Rj_czx7+al#tL1rORkKKX3;8FikxOeagPq>5K`BgSQGF-zSTZCt7A
zb97k5RZf8Vv1MNq_$_Po^_&Ca^&|(k>#`pNWL3qy(!Aq`#;h%^5iKjUue@SmN-rqM
z`-!%;(MLWp@;pB*=t`$@Wj$jD5RWImU2G4lKW~pf8Zqj21fOFu^etY_*riFI*w-En
zV+nuybV80sQx#NgZ6b*UWy8(2T+!J)GS+YOPc>j9=A9*QG)5zgG*DFvc=qw*>R=>e
zw^03;C}v|j-v+bwmLJUSi2g7;u^$g_7b=WSdLEfrN$VT+V`pQ7}!HXWna9~-8G23%>=K`ioOa?qpQ
zNB)|H8kj}>vGj#Y?GeR@nQ__aei3YzbvB4T)ZY+UaRWMTUEO<($HI|6_%eWO8b>iPuvGa{
zgtaMkBvp8J&pV(amQp-=FV%&A&*CwF1jPX6-i_E*-jL4
zF@fOFFAuv)L%-`n*c5d0H-8U0pmkVe}
z*GSV)ulXg#W}$r73MC?gbH}jmQ^B~prd{NG$@q_AiwzG>zjB-IFb*Qm@FlW20bPFl
z4=wKBr>FDB(h#g7rzRF?Qv$=+{j(Iq$mliD(t4XuJ0toAiBPC#h0TmvcFfZfyC`5~
z8TO33Dgy+DGmoV-r(Ovuo1t&euk#Sn=ySrHHE9TtcXOL;Af%BrIeT)avXE(t7S07quD|iP1oBl
z+W*7aTZXl{_(dt!HGQqvP$BX4e4S9Aasxw}L)O0OB*vXbQHjl=E8439Hn
za-AGZR9>-<(mw!wXq{X%B75*j0d?r#2xFRc;#nK>E{2O*bF7P#xCyolBp~l^qH<>1
zAILM)m`|(KxF@y0(9mR+-=6ilsw-&m+G;7#CN!F770L1fQJO_uT{ZVqu%4;4Y5dOn
zL&O1|FMIkWa$Kj8GaoiLeqx7)JT*A`uyCgvpN}&xc4}0bynE#&fc>Ll
zvxSHXo!%7(qC)*E5mX<-C5i?7{-Y^nr1)#2@uCg6h1TD@j+iIb5m~9@S>RFcjVkQ9
z9i*P!da*tS5IWE^gk+te3o|gb4j6F4&;LMVuiLx&84Ee8Z!*nRf3QUCAyARzkOafk>A0dkfA{Ml@ljodJgIXIMGxy&TUSTgFuns20WRWFjl1geh{99lOa
z3)D3`4;V};IzkvRvwCK}>BO(}`uT@<&Zj;1rgIO9V=qDIJr5$bepElWT`1xd4r
zk(99e7X_;;p#N%fESe1gq44b^{N!+_vMh%io80!a5SSn-BUhsn$#I}6{X~h=LzjT
z%FJ8;NCAEQV2W9y{pdZ__#i`QVQWnjXeJIf8nK>k+#>6&jV%S|Q~Dz7>{@`XPoU)v
zYf`Me7;KiTRX$jQ$A>`&GjQE?=s5?-dqT%2g4ytWpk44*VU>F^zLHpXkO$7GpAlEX
z9FC=SRUpk1!U1N4?)h)E?0_CC5M5{f#1O4c}!v7juqKH+n0;WKt@)G-8Oz?t)_c0@
zJ2RRXWB>MI40uZ^Rx2{e9KzaXrKd;C$=NDatvF)U1xY6cEj78$ICAgkPmwOg*j8d{
z;O9~)`6eX|vg#ts4gF0-gopek+2p|xTtU}>L%_fIEE?^OhZOH159(i-fjMna9fSrU
z>undC6mMIFiD=o91d5L=^E-@>IBPCH=J&8`-Ht+3@VrWaaF|IbN|2xUXMiVsoFMKDeT
zGb~~JGaD7{LS7CrbRfgWAaFZk1uWjo54gzFWm8}rIt%u{-(HA-;gL<
zQJl}-WT&>1f@#cpGu~}t8c=7!;Qo?Mo!&-WXCdURUX5YJim-2Oha!3~P+{Y5P3&h%
zzh<(0-ox#IZ%&y_#O3SGO6n{2Z>pSe;?K=)2c6>NSYd+gmT1$ngE3z%^e@94#B*L7
zZB8OOqc;XGS-T%h*FSKg{&D`r+_wlHC7h-W$HiXd2STqSlT>;3ObQvX>Kz^?tkC4>
zUy>`-y9ptQ7h^+A8fN47dMdIAW&g@59KFbGc()b^j!pE<$>B?^(gqih9D$W64f9KqIM^~bZEb{!7>abOO=&;q01MlQp_lL2Z|lWG}tbiT309gg?a-(tuPj)TH{Ds-lwG}T$Y}A5@pR{em_|x
z@XW>Y4-Pak$g*U&NNI8xR-aY-F(t`}(&B?w@)Mr-$|goG$ML=y_J;8#*FCTe=pqIN
z=Y4CS_av~{^`QwPL8X_n1VK<(!e8Ok=MX83je&E)8hszEx~V;DHp%K7>n|~(#AI;S
zfiuN$k;@B)$SAJ-iPEe2sN@E1nQX$+qMx=qJb6Gt&k&WXSeAdBw1}xZl
z%JGVCywEzSd3LBK*O9f{hAVMO$)d5>pXW?R1}m82XN>j|Fm{V*Ur0qtDbb+a^_Lvc
zQdpoo1I`(FL9ug-VV=qdibii)K%orr@K$|$m(Tz>oQxG$y~{B>$(|px`1rE+?xh)aD~NRFAtN
z1pIe=o-jl_7rns+c1f2I9vrR4_ds&~w}|o1cLcfUnF=g7!w1mcs1O#cZ>~iambp_K
zW+Vym4?Vbd37K}M-B|f*fqBbF`lfWh?_6IrarB0L7Dh*vBsn^>#3Qu7GldkVPw_RL
zxskD9h2_dUT@NoSey@ZNqrjpa@&Jh<+Qm-P@;hs{mqVnc>kfSxtp5FS
zkAyo{gn%CJn`h^Cv5EQ_${
zjHCh5e+H7jp|>f7zxFWxq*DLuTltAfMG0Y*%1EiV_BZnQAIuK?egRgnaBLnSitc}8
z&EUh?>3`|T{=dKbVpuY@JGS5@80FzP&y#CQxPC(Y9obrrYuaqDbmNd}
zSm1D4LNXj{V*cUk_0#!I(Vk^~p4#*Msl=dE!~6rjF)X@R_-9DS8RlvVN3OZSUo~}9
zmN1R1|B=tO>HYQFKzR_ir58na1xl%*5@66~G*?!s-RM|NcKAQoY_V9a)SyjIGt2o1
zVx(_H`FwyRq0@GBbe#I7uXA{KxHVS-ADG7eBP%@~XxgMJ2#%~*=iZv
z)~Nj~o7D_sKS%zb+Zx;Vo$zl=YHXo$6#{sSiuYs`Dufvs3`PnGC(~eBBMHl<4M+6+meY#R7Fp4RYomZyRq(OSWJx6LE
zWi$u(M*Ql6Lp%!(YSho@1$-cCjRC9E{O_2X_I!sW3z`w!QOc9C?O0
zw81AyB~@;1@8Ko0JACO#d4`(6-w2QSi;(ds26y<-pu>@UiItI+2qcawB@ZSWo|z%L
zZZ?yWlobUNY&A9T+r?a>w@*|A?BDjn-HP{BFrJ>=hv>+3>uv2ll&zD7XHf93nuc&y
zp5vV=o+3t%p4nDLS9WHTLI3*3%#c2+lAFOuT|(RMCvD`SX2|ebsr%GfuGeVCF>b&N
z=8k`jAq0i>MM$%m9|e^N<8>{pU<>L?By+rD8|=)IXSGF}5QuW1rWQJ7FkP;j%ed&QP$jQinQWA6UU9RQ)_OJklLRor
zo!zB7r>b>xRI%%~IP(lN3EI-UiopFyZ6;?k(m$Fgj=s|g@ZH3T@C2-e(%9O_1e#6M
z_wp&>@IW9`v*k)t2bpO4^qEM&xxPFKOQ<%S&uERL_@N=4)*F1J8_;s>FKFcQcXH0J
zx}jU$_*tn@u-!(!EaM@cl8Q|g(Rz_dkvmbZq`
zO5aQ&J`;V=#D?(
zBi%V0PYR4QBk$wKPWWcMs9^C#$@QAfBI|t|PJ35y;N(u;J}x2n<<-c~ao!P$v!mr}
zRmt>q!pHM`f-_%-F`?GjTXd_?38larO@8f-}S+~Xj#yWOX`
z5_7SYG0%!kc9u||%U9S4&)SdfPB%TVQaQ=(o1CR+66H$0pS?dSm@SQt
zAaMKX5B*Z@X!BJ)_0JAiKWFd~A`N@ZUsmSqNE!uVFg5#a(hD{tz6>0|&4WcrHEH50o7*MS)!q&9i7IJ~a*u
zq@5t;qyF@s?j6AP14sQzLkl|%w`X)2|J4l9v`iu`e2hn_l>H%l8X(gEVMe@Y%}UVBVm6zDiHSh2OZ3?Jsn
zR{0`BqZksQ{K}M*Y(#gJ%!ucyb2qqwT((fayulD_JNsJT>C*)Eaz$!Bfr^-@hF6`0
zR9enZmnq1^aBXS&aIpw_p=u-d4mS{!JuTCV5EkRw&BFs6O;jzQ+z6I`FSb4=*5m(Q
zrTusJzj&7iRMRiRC<@C&ZC~-*-P=_K;8kao{hB(K^FFuKIrzWl0kto}2co6qK(=Op
z4%edCxClweqyQt3Ev1Y?c0{@pq$U{m`_{@@K88qcz+6H*jZ5L?Hm5*UZ$B(76WOs8fp39>ykR=0j?I1W#9w2HeUt4CKC0#k~q
zKY>YhZeJ%|ui0|8GKAwDy{#v(5%QVcsvygVWv>ivJVSzPp$OL8$K2Zcjd|qK@8f3!Fyqdy%ukh8mvTCB;bO1!CBbC$4{;3bOht)R5k5}+{k?c1qy6VFauH6pM?Ei
z#O4Z1SP_P8udGMNR{}x|;Y5<&ZNIBw$C-CpD`CC7B@sdNpcNEfd!RSP3;To^n?L^X
z*B+jnTUb}TBH(qqX3nKnnYo|!9Il#!ap1T1p9KP*qgDeK#@A6qOx*Y-G3rCu%4P2g
z(d9wp<_7)yKZab`!{ifxkXVFQ^?pW7H
zQa{1Z$9BCRYnB4tZX9JJsmDA+nOXjxi5sJjK;6*HUO8U65IqG?XBT5rN_pn0pq$T%9B20hrVnZjJO
z3M`{sy++c~L=Q6mX9_SQ{764zfKl&j;hmWznR{X-D6=C~|Lr%z|J5&`hyS#^Mt3p`1;eKD%=JlKV-;-V_
zlE&C`yhHXRx#vxqJCvh($#z}W{a;&S7fjm`c$V^-@BG;2^Y8limzN|H4Lm?(p?wja*3{+dDmnbUj^0zN>~@=|WPtt4T6j6LFimN@dZHk&QUV$}V;
zY+5a54_Pjth)(bn{ZBSR*Jv<=W49m1`{;`L7}+;wnRShkc<2NjqoX1EXqh3k;==#igZb8sv;=0vXtN
zcp&ba?+zE5NpGBPX-K06|A}&F%l>=Tb7jJDbZ(_1LCn5hZRXK|gzQdfJi_-(ZOQT4
zp^-CY(GOXiofTncoCIjLrMbNP0&Dx`N>w5!_!qlv@ft}=EfKz-FI|?D7XXBM^GNM3
zhV0j#?ipAxG!D0SlzU
z{^anSPtf9kd!lb)ug}PNq~>ynb+_}WqIxkgsR1`Pj>##hGxt6DU7S$pH*`i!lr_m@
zQld0EY01f5JwxRJopCnan$4Ih=@|;`saR)guv8^lDYpilzQ}%hl1B6M)6HXVYrg;7
za`VE(?^O?FjV_U=ORM!X|F|s#H?oOShDZj~Tb*xNB#PC??!kyODRrdujmE`AO}|IG
zWp_--LcdmQ(-Bdiy)C%YB?Iq}{8x59EUw2!UWIlnUug
zlK`=7nRd|T+ivu+OK!GUszzWYM@yZfSP?~~;&YYH0|~W^Z@`jr@(OluNQfC->^CfA
zOV2x#PYNen8|4+3jPn}g6r+=EII|Dm&%*N+#Sc(8_m&=g>g7@FvB
z2Gto{mp8PZhpvEbQFn0Vim0R}1ulo(!0LKisPvKE`7~H7oBm-+xcLVwKJuYv&QM{q;+c=0t!?--5OQY+
zZR>dUb9;+ZPLbk8zrZ)~y=_qRVAt;vBvS^RzV%jL8v4Cf1bFztqxsJ6r6m|}@DlBY
z-r4wnp1Bv2e@VWDqnj<6kdc9d)r$PgjhxAE
zpgJU`3l;sYmjIdloY%6IOx5^?+OoUER#&_eLfDJ9bLP)k{<8N)wnaS`J`w~AkoK^1
zV(AT;mWdU>orF5B(z{L6!v0E@1SCfdZA(cFjoz^NNfTxAup>?!l?5wQwsM!BF+W&Y
z8;#=14FTdegN2_-w;^-muWXMnW^ED2CW{NYQ&9i%`{X+s{qOSV)m@KP_jQaqz)LBb
z27&l(N=iy{+Xeaxhl>a@5hGOyKCan;1y5k%<$Z>?*~SQg7nd7pEL+=kQdaMqR1WsZ
zaRFv1?Ww-etTuIiM%^!_q?XgAcIYBG-Jcw&XYuiKGeI<~mET)KSxp)AUY1<8c29l^
zi^&?S-s#vmxCD~MiYY)gBemVjuUKaNuIdFxU~r*d_EX{kkgjAB6iLd4=|cy
ziM1_Me8MNV(siE09?@`|0ydP-v#T?^B%3
zlk-j7SeFU`-Bf8Lo*!X9=#5rtW?^_PmQ#BJ1y%{0|
zV1yf%jdfHkwkwx>f+(StCN{+qN@bzo#r1eXfdC;o
zWaBSd{!h8zBQr%d5(4q35bpisIs2IsaYw!oZpr_6MW1ua*I$
zYPQ5=oCreCduOUpr>Twd9zk^agFcG*r{kz7=|D|t!PL5`h7L4u@>wS%PdGnuv{Vsb
ziLhm3+u81Oa-
z>R(cy2}tGIf6Ci09-7H*-!)PM5P_E@kkBiGE_`o>52+bj{j|>j5HoO8;JbovOtB8q
z@o#|sfr<=K
z-jt~P`!zR0$f48mOpf-9$kBCM8~`MxFfX@8J3X|D`FS_3dFLnpjWohkOr4{soF{ER
zw*D6^esT<97UQDW$$Sfm$+4K3Z5V##ElcboAugzCDRP-y_Hm6&z@h$k35nR=E~Z5?
zD}9rnjw?!qO!s`D6_W0`C2V>1)ZuWe3F3Qb;*gyS>{GtB9*k@inR3Y@0+V;`)3GXwh%o+uVB>-vUi_49SchS&>~yokq@dgm2S
z-9nx>yTP_XWWd!6;4xj5^w3nQ*!=S%R5){efp
zk-%Hyon4+@K{7T@Mbni?a9yTKY13wRFY!<cJVpL#hym{^@7UZTGIS_H
z=G?!4m)y9GPgfp+D)Ui+U{$5y1D2A+m^>U`m}IkW^XO#P!Z7|cy29_KNN!xdX+9JA
z6;k61I2}_^ySCZd52_wrmTC9`vdd<~*0UZzMZ&;fims90=sFS(wEI}yqU|1w-I?t!
zc5hFHLlQew()&b+=J{))9QxVm!Xc!0ly<0DJ)l}2Q`_K#EIXYWT@c)B0UF|)%G81w)O@5Qs%
zc!{158{?S@3d}rF|7=IeMFqk=Uuo_akH|k4P@3Zm`
zVe;VIwG1+@3l_`IL3iV`HsiHHqCiiMm)ZtUL0i(G8Zxe~b>ZjOBjmh>X=j_n+t5_O
zL|zET;YpCqCTl~NqWxhjEdHSo;LJux0kyRoZ6U6yrq)wp$1uzDjogb54!#>4Z^djn
z5D)RNe=8SH4z~V9UHvRn2qX7c(%Nsu-MytgWu<2&h>e{Fb6~!a6&UHK_;6#OOnORs
z8=mwNkxh+d$j1EUxV@5)@W`UMaIPqbrsBZh|S-x!A#8TzGePT
zxSk}!5jyYBn64_f`J{?kWnp{&Q6FVeL*STtP#>_`jK@pB1_d#INBs}tGH41;iNr87
zHIZtU#B8WiMUKj*L#(F``|dCt=gr~gMNZj{@{jrFDGb|CDJKf9RNmSRsceZ2W;4Yf
zxf*TX{mP{sMw^`OIgnnm+RHwams<5swtynLKj&HIwQ@t6=R@TS3!$I{=n9Dd1q9^<
zV&w${W6sWSnQ<2k*VkL$pEFuLT+Um5TDLJ;-KSS|9;CNkr+@7@pM!Gkyz6eNCY_oh
z(IM4BZ-)sE)pQNEL||-;zKh*!6;}auZAXT}
zgVw>T-uf#%)6G{^5vz3^5rvBdps33Dt8KZkP4a)A_V9nr?&E%A7C~RbZDZ>g00;eN
zqWv0undhHPJh?FrEc*-%{{=n5@E{C~2{8W`G68@3W(6rY^07jAg5baF>EAy93>dh%
z^7=bb<*z`cztd7KWKr~rI)r*EkNUKS3Y)n8J^t6r=NRB`;8n%&RqnsJWPh3Tw*A4d
z$+iQ%E7|{p;Hbe|aOIxQ?@c@#1xKexELdym4b<7YRrQh2qqx32-~>gb2UyIPg2gjW
z7dLm^3*-Ey3ByObch`E-86N0^jfg>r)}WEAeH4_mTMUdXFlS
zrDm^B_(yXi^?&3j#(tJm<1D=2$W$6%YZ0@sz~QE*GUc4AZUpdny}_}X()U&Ow&o=1
zYw1>pI|>OweD`?X>g*ky&eNitt2&Q4*AMw-W^OT^SRM3OsWpcYMaUgkrS=k{wJ3|(
z^k?#bv46IR@nSHMNTDO%##2Ghu4&sN@WXRRhguT1EeHehsGnBN?D&w_=EM#g`(h!?
zO<1;lZeV;>ez*gGM6^^ghJtKdtt2m-EAgngl6s?5*GE;vx3S7&kehcv*qf}6$n;BT
z9uO>;HdH|oThu1L$UqQ+aJ*Mw)-meIm&xuXw!o$JAmfw9zLm3
ze>RZ-1{O)g(Gg)~8s0|G=&H_*O0AO4Tf4oDcs{&N*1$k9XC*u$q7UrDWIn%^O9{Y)
zlc?0j1)G#KaVrf_C-vXE4XLym5Fq>^w$8Q+=Jxx5gWF@x;fG7r^o0CgQQ$3cj!7iV
zL$=3(XC!elp*Z-T6mqnp!(AxzzdO|`oAoi0(*!sl^Jzr(v1dTtmumy&qA
zE1cAA={l&-s)O3yqx~Af)|zd7jOqAWe0iezTJ2)$k$Sur&dbBazodj(QAx@E_Q<+V
zzLS?J-9pU)F6%rZQD>!r3H_(@34+=6{WAduHO>0a?!Nv~2
zV${|*FbE(OlOy5aAe2dE6S%cVaIjEKp%gEUw&i@|#u4CF`6%qZ2ms_n$1CGZ=-vZ=
z7{IwZR~FJ`#m9$%lGfz&YRE0r8kGwV9Al)N-gqy+baXSDZR-Uh(bJY-$VrP2l#CL(
zo)HFdAdcoZU56=pi@V}8tX~8e-m-9dFQa{GQ5j@ilz*5y)Ai>shh0!sLkQ|{h2rlhrN*N8N-j;5MlWMuVRaPnkmxXs~0B}?V{-N379
zx7l>p=TohfvPcEdMaRi4ESN%O_9|Qd#K_b5$NQ`YVL3H;levRfsY(<`pRsIrVEk_1
z#l<(Q0I@z&CN|6i8&?t%ED`_OI1n&koivvt+v6n3wC+u(N$GMLN`JQ_XgMdh=080I)8t){oP;DimYdD
z9yD>f+EXdyW{em34F$*+b@m$D`#Fbt{oM;X3Zgx9uS~-9fb!zvCa6mHgMooTf&KF>$S^F^bHx&AZW*e_ep24^=s
zf_4WJUec*|-)L5ryZgohj^4w;;huW^i{S~ka_KE#$)xS(;`r*;?Fw`WH4A`hK@#Bp
ze8&s!CrukFfE5xFBKM=NMDnCokz*z>wQ(Q&*t5QrhYK{>Fpa`JnJ
z@i&|c%@*G3TN{(#{@L1!Tz0@RoUEiDVcvDzJUa75&7(luVo8AMJ70CyKa6=x=5?r1
zK8>0c)^2qcW)Y)^-QTqZ;9eS~*3sL7C;>Etv$4P<(Fs0LTongbH<8UoAHwavyBu&;
zLT?78?~=>`Jzj!;VBp%^Q^?S^AETW9VwSK2ZVL+|6V+$0f%kAD0F<+FWUg{{7?mR>{
ziT#6qE1I{?j0gZ!eL1Y&yv4=w>V#b7ZxFhMW5`V~`C5)RfD{LM`!&RQL)faD>YotG
z;9bOwL?n*|U&ID|N%Z0}55HLDHYFv9fGYJVAYgC@8Mk-5*D(JLS=TPF&8%;bY-?D_
zr|k~GA53Z=%`>E#0$Re)HdOen1i%5TB^7!ti_V+D=SkW2c~6Q&K}IskJbMl;KBE8<
z=8t&Z%V7jQRsv{0=H-V*RE~$&tOD}$$(G_mRoi}2_l>S%&6?83oL$2??_I8*b2DAf
zN?`Nb1hm17JKQw=as9I$hC5%TH^~ouao-{QVBC8jhx2v`QhPYxME&z7m4DaYPBpf>
zcRE57dKhP1X7|#k!O6K0P*z6yw$uQr_FeNAR1Nz~Ynp#Npp2Lw7A!)vv4PEb^K6`Rz%Evdr_Br3c6%82Ai;GxYGiKobP1JU&V`
zKN4NU&o90n_Zi04T%J_$FffU)4Y!QTMXZ=3isFcreS?E?3)Q0^mgnR;)(vcFqYDF7dhh0Vh!BOe)POqD!DMd-qET_-&c*cmSj&T*=YZWjF&`1kr
zdzDf;udCW?M8~;C7v65l=;-LQCFNvg6ZwSA@bd=8V;-L#qz-`P#zc1n)X!eW41dz=
z6l;)lo<Qfu73Qucl$M#GhS6A<