From 75970d49e5ef16fadc28742561dd02b7b22ebc43 Mon Sep 17 00:00:00 2001 From: jenniferjiangkells Date: Thu, 15 Jan 2026 10:43:23 +0000 Subject: [PATCH 1/3] Add RFC --- docs/rfcs/001-davinci.md | 167 ++++++++++++++++++++++++++++++++++ docs/rfcs/assets/pa-stack.png | Bin 0 -> 47509 bytes 2 files changed, 167 insertions(+) create mode 100644 docs/rfcs/001-davinci.md create mode 100644 docs/rfcs/assets/pa-stack.png diff --git a/docs/rfcs/001-davinci.md b/docs/rfcs/001-davinci.md new file mode 100644 index 00000000..79652bd7 --- /dev/null +++ b/docs/rfcs/001-davinci.md @@ -0,0 +1,167 @@ +## [RFC] Da Vinci Prior Authorization Profile Implementation (CRD/DTR/PAS) + +### Context +CMS-0057-F mandates that payers implement Prior Authorization APIs using HL7 Da Vinci Implementation Guides (effective Jan 2027). HealthChain already provides the core intelligence layer (multi-source FHIR aggregation, AI/NLP enrichment, CDS Hooks orchestration), but lacks **Da Vinci-specific FHIR profile support** needed for EHR/payer interoperability. + +This RFC proposes implementing typed FHIR profiles for Da Vinci CRD/DTR/PAS Implementation Guides, enabling HealthChain to serve as production middleware for prior authorization burden reduction use cases while leveraging existing AI/ML capabilities for clinical data extraction and medical necessity determination. + +![CDS Hooks cards → DTR pre-population → PAS submission](./assets/pa-stack.png) + +### Problem Statement + +**Problem**: Providers spend 13+ hours/week on prior authorization administrative burden. CMS-0057-F mandates payers expose Prior Authorization APIs using Da Vinci IGs, but HealthChain cannot currently produce conformant requests/responses. +​ +**Who is affected**: + - **API integrators**: EHR vendors and middleware developers needing Da Vinci conformance + - **Operators**: Healthcare organizations deploying HealthChain for PA automation + - **Providers**: Clinicians who benefit from reduced administrative burden via AI-powered PA workflows + +**Why now**: CMS-0057-F compliance deadline (Jan 2027) creates market demand. Existing HealthChain AI capabilities (NLP extraction, clinical coding) are strong fit for PA automation, but lack profile-level conformance. + + +### Goals and non-goals + +#### Goals +- Implement Da Vinci CRD/DTR/PAS FHIR profiles as typed Pydantic models with validation +- Add production security (OAuth 2.0/SMART, audit logging, error resilience) +- Create lightweight reference implementations and develop against Da Vinci IG Inferno test suites to validate conformance +- Create cookbook tutorials to demonstrate core pattern of integrating NLP/AI capabilities with production PA workflows +​ +#### Non-goals +- Rebuilding existing components +- Native CQL engine or validator implementation (adapter to external engines only) +- SMART app UI/questionnaire rendering (middleware focused) +- X12 278 translation (only relevant to non-compliant payers post-deadline, external integration if needed) +- More general production deployment features will be addressed in a separate RFC + + +### Background and context + +**Existing HealthChain capabilities:** + +- **FHIRGateway**: Multi-source EHR data aggregation +- **CDSHooksService**: Generic CDS Hooks protocol support +- **HealthChainAPI**: Manage multiple endpoints in one unified API +- **NLP Pipeline**: Document handling focused (clinical coding, documentation extraction) +- **InteropEngine**: Convert legacy data into pipeline (CDA/HL7v2 pending) +- **SandboxClient**: Local testing of CDS hooks servers +- **Event-driven architecture**: Async processing, logging + +**Da Vinci IGs for Prior Authorization:** + +- **CRD (Coverage Requirements Discovery)**: CDS Hooks-based real-time payer guidance at order/appointment time +- **DTR (Documentation Templates and Rules)**: SMART app for questionnaire-based data collection with CQL-driven pre-population +- **PAS (Prior Authorization Support)**: FHIR API for submitting/tracking authorization requests via `$submit` operation + +**Regulatory context:** +CMS-0057-F mandates payers implement Prior Authorization APIs using these IGs by Jan 2027 to reduce provider burden. + +### Proposed design + +The goal is to keep the implementation *lean*: build a lightweight layer around the existing Pydantic-based FHIR data validators, utilities, and service layers that achieves Da Vinci CRD/DTR/PAS Profile conformance. + +Innovators should be able to build minimum viable CRD/DTR/PAS workflows leveraging HealthChain's AI/ML capabilities. Further requirements should arise from feedback and iteration from pilot users and design partners. + +#### High-level architecture +``` +┌─────────────────────────────────────────────────────────────┐ +│ EHR / Provider System │ +└─────────────────────┬───────────────────────────────────────┘ + │ CDS Hooks / FHIR API +┌─────────────────────▼───────────────────────────────────────┐ +│ HealthChain Middleware │ +│ ┌──────────────────────────────────────────────────────┐ │ +│ │ Da Vinci Profile Layer (NEW) │ │ +│ │ • CRD Card Builders (coverage-assertion-id, links) │ │ +│ │ • PAS Bundle Builders (Claim + supportingInfo) │ │ +│ │ • DTR/SDC Models (Questionnaire enrichment) │ │ +│ │ • US Core Validators │ │ +│ └───────────────────┬──────────────────────────────────┘ │ +│ ┌──────────────────▼───────────────────────────────────┐ │ +│ │ Existing AI/ML Layer │ │ +│ │ • NLP Pipeline: Clinical data extraction │ │ +│ │ + document handling │ │ +│ │ • InteropEngine: Legacy format conversion │ │ +│ │ • FHIRGateway: Multi-source data aggregation │ │ +│ └──────────────────────────────────────────────────────┘ │ +└─────────────────────┬───────────────────────────────────────┘ + │ FHIR + OAuth tokens +┌─────────────────────▼───────────────────────────────────────┐ +│ Payer APIs (CRD/PAS) │ +└─────────────────────────────────────────────────────────────┘ +``` + + +### Da Vinci IG Requirements + +| IG Component | Requirement | Current Status | To Implement | +|------------------------------------|--------------------------------------------------------------|--------------------------------------------------------------|--------------------------------------------------------------| +| **US Core Profile** | US Core IG STU 3.1.1, USCDI (v1/3/4) conformance | Generic FHIR R4 support | - Add helpers for setting `meta.profile` to US Core canonical URLs

- Add commonly required US Core search parameter constants/builders

- Add a profile validation helper that wraps an external validator service

- Add basic configuration management for core version/profile sets | +| **CRD - CDS Hooks Client** | Provider should initiate request to payer CDS server | `CDSHookService` creates CDS hook server and `SandboxClient` acts as a CDS client | Refactor CDS components in`SandboxClient` to a dedicated CDS Hooks client module | +| **CRD - CDS Hooks Data Models** | [Support 6 hooks specified by Da Vinci CRD](https://build.fhir.org/ig/HL7/davinci-crd/branches/__default/en/hooks.html) | - Supports data models for`patient-view`, `encounter-discharge`

- Generic CDS response cards | - Add models for required hooks: `appointment-book`, `order-sign`, `order-dispatch`, `order-select`, `encounter-start`

- Add models for CRD-specific cards (`covereage-assertion-id`, links) | +| **CRD - OAuth2/SMART Client Flow** | Support SMART-on-FHIR OAuth client flows | Not implemented | Implement SMART-on-FHIR OAuth client support (Integrate with Keycloak, obtain FHIR access tokens for`fhirAuthorization`) | +| **DTR - dataRequirement parsing** | Fetch FHIR resources from the EHR based on `Library` `dataRequirement` sections | Generic FHIR R4 resources support | Add helpers for parsing `dataRequirement` to FHIR queries and handling `Questionnaire` related resources | +| **DTR - CQL Execution** | Execute CQL expressions for pre-population | Not implemented | Add adapter / wrapper to external CQL engines (CQF Ruler, HAPI FHIR CQL) with FHIR data pass-through. | +| **PAS - Claims Bundle Builder** | Construct PAS-conformant `Claim` bundles with `supportingInfo`, `DocumentReference` | Generic FHIR R4 resources support | Add helpers for building PAS-profiled `Claim`/`ClaimResponse`/`PASBundle` | + + +**Notes**: +- Full US Core Profile, typed SDC models etc. - develop incrementally on a use-case by use-case basis instead of all at once (advantage of open source community). Use the Inferno test suites for CRD/DTR/PAS to catch any must implement gaps. +- Implementation priority CRD > PAS > DTR, based on maturity of existing components (biggest gap is DTR requirements) +- Demonstrate the following patterns as reference implementations / cookbook examples: + - Using `CDSHooksClient` to create a CRD client - show explicit patient search pattern for legacy EHRs that don’t support CDS Hooks (FHIRGateway sits in front of CDSClient) + - Using `FHIRGateway` to create a DTR client (route EHR FHIR API and payer `/Questionnaire/$questionnaire-package` endpoints) with NLP capabilities for questionnaire pre-population + - Using `FHIRGateway` to create a PAS client (route EHR FHIR API and payer `/Claim/$submit` endpoints) to pull documents from multiple sources, focusing on demontrating the `InteropEngine` and `DocumentReference` handling + + +**Ideas for future**: +- **Event-driven orchestration (FHIR subscription)**: + - **CRD - intermediary / ePA coordinator**: for EHRs without native CDS Hooks support - [there's capability for event listening and dispatching in HealthChain](https://dotimplement.github.io/HealthChain/reference/gateway/events/) , which could be integrated with FHIR subscription / EHR-related events (EHR events -> FHIRGateway -> CRD calls -> EHR notifications) (design partner needed?) + - **PAS - response handling**: FHIR subscription or polling for status tracking (`$inquire`) + + + +### Open Questions +1. **Timeline** - what can we work around? +2. **Priority order** - what profiles/features should be prioritized? + + +### Request for Feedback +Please review attached plan and discuss in next weekly sync. Focus areas: + +- Architecture approach +- Milestone priorities and timeline +- Conformance testing strategy +- Input from industry partners? +- Any critical components missing? + +--- +### References +- [CMS-0057-F Fact Sheet](https://www.cms.gov/newsroom/fact-sheets/cms-interoperability-and-prior-authorization-final-rule-cms-0057-f) +- [Da Vinci CRD IG](https://www.hl7.org/fhir/us/davinci-crd/) +- [Da Vinci PAS IG](https://build.fhir.org/ig/HL7/davinci-pas/) +- [Da Vinci DTR IG](https://www.hl7.org/fhir/us/davinci-dtr/) + + +#### Implementation Guides +- [Da Vinci CRD IG v2.0.1 (STU)](https://build.fhir.org/ig/HL7/davinci-crd/) +- [Da Vinci DTR IG v2.0.0 (STU)](https://build.fhir.org/ig/HL7/davinci-dtr/) +- [Da Vinci PAS IG v2.0.1 (STU)](https://build.fhir.org/ig/HL7/davinci-pas/) + +#### Reference Implementations +- [HL7-DaVinci GitHub Organization](https://github.com/HL7-DaVinci) +- [CRD Reference Implementation](https://github.com/HL7-DaVinci/CRD) +- [DTR Reference Implementation](https://github.com/HL7-DaVinci/dtr) +- [PAS Reference Implementation](https://github.com/HL7-DaVinci/prior-auth) +- [Test EHR (HAPI FHIR Server)](https://github.com/HL7-DaVinci/test-ehr) +- [CDS Library (Rules & Questionnaires)](https://github.com/HL7-DaVinci/CDS-Library) + +#### Testing & Conformance +- [CRD Inferno Test Kit](https://fhir.healthit.gov/test-kits/davinci-crd/) +- [DTR Inferno Test Kit](https://github.com/inferno-framework/davinci-dtr-test-kit) +- [PAS Inferno Test Kit](https://inferno.healthit.gov/test-kits/davinci-pas/) + +#### Supporting Standards +- [US Core IG v3.1.1 (STU)](https://www.hl7.org/fhir/us/core/STU3.1.1/) +- [SMART App Launch v1.0.0](https://www.hl7.org/fhir/smart-app-launch/1.0.0/) +- [USCDI v4](https://www.healthit.gov/uscdi) diff --git a/docs/rfcs/assets/pa-stack.png b/docs/rfcs/assets/pa-stack.png new file mode 100644 index 0000000000000000000000000000000000000000..c4b85d29c05e24a1696df664208f0cfd36ad8763 GIT binary patch literal 47509 zcmeFZ^;hN2vObKvySof9ID@;x;LPCe&c@w!aCaZv8QeF6ySux)`*(lNJ@=mXKX`vR zSu3kMNp+>tsp?ce{jB^_QjkJMAV2^E14EXP7FPiSgO~yX15bv70G-j0R{jMlz@1d2 zM8T>jh>k%A?xq?tX7ci2^q@K%7!)`G81z3Ppj{B0@c-(P;9tNX|8*XuC(IHI>fbU7 zpz@!M6SV)+=6_1aJn(-@gU;na{I4{`R37C2*1?niX|`@YWCbeV0n(aIpxcAA!6|@8 zv4Wj}feC}jh>QGi2S3Y(_Qo2-9kf^6xqv4p?^!QuX^^IyG72FGX=_LH(<+}*(b6ha z2@tiM7Ikn-6^;`QM{`r0c=%jh1rVj~g|F#7JZ$(r1$VA5$6ua}b$Q&Hk@Wtlj6$Ih zh6)EmCxa08hl7(5W-{5s;`*N>G;q)*ZU`#Cl-K`9M8O{lr3YR0AMt+)goD8o-J$%u z3ThaLNfsam=u7&y%6~3Ez;;6ZpSb@Pl=K!F5i9k7bjATiF8?D=#tn|a4J9Q9{~w(o z6Zrlk4)C{?`}&>kI!odi~cI{{Qj?SuYXbA5UGg4kk*4+|&Z*;Y3S@ zGwQ=6#dfMZ=alx>5ueO2f!g$e1^A)jPVJSFBOIVF#SS^J_A5iq+K)`kJ*7-}b@}4+Q+CNl763cl;38DaB@R#nE!F z6q!>CN|uOc%*)O1!>{Oh6VDe#!TVN-_ZQU|A#4$fX5~9K99?+-@AJqFK!b3l(GnPA6ovC~%;c zmi3}H;GNR~+U9qMcajAo{MLJ)b~%!r^5_*-6r2W`(js}vgn;xeY1J*#JYVZ*(gcoC zvGxu{UR7MhcPt6Z@+@}=nPTai(Cx%Omb9xj->75*C@B@FzB!EAD2;YgQ^dnq07eH% zoT&ie4UXrG+Kr?}$3N}%$6t=UDbA|Glk_3Mi|R=}*WNgK&at0mnBZUc2{JR3erO{% z5efcM-U8|s%sZmbOISS@l*jOz7xyr3GHuN88t20j1c3!Fu25At-7;JAWEEu_SV4Zj zGbH<#(u4?zUM=`CZh1GhVgu?1LKM40M+Z`i=c4n0X>PH##viL|_*x&_bC$NGEWwzc z+FB($N?VdtN`%|kltc-f1a&dN(gc4fPq4l*i0`>X)N|S!WK&eq)#5>;#J|eqr|8d) znshIo&fW}X#=b8!4>{_ATC&p>uA*snYLfGns?JqnQ&?$WHF`i2rikv(7GQB#s<8D? ztqeqIP%(D1qARULOKhqAWw7a&&Rx++rgUyA)tsxDDqExY(C!RqcJEkdmf0%( zMlU98_3W~1s-7<~eRCdxXS%=%RZG*)39n2KdVvlnsZcR(odz+tW^>VzKSWjEWs7L2 zf1+forxlKfg|w!Fsc~<5i~Q-9-YV6eR~fA#WcETl=Vsj8uo}p}Wq@fHWmOk$mCV(x z#BoAlJd9pd>}N$`Ws1aR_po|Sv8JsN-z`jP=VSN^i+Qd)X!%@F1u>%W4T_+nUERiN zI5%uI(UE~)7i+g28pZllU7nt^BPmJsV}F54fFY6n4;gdGuk}E!kU77)0Wa&F$zrS; zkEX1vR2UE5XRp#qnTno!>+vx-d|Y@Um%`OrE=Us0g`ANMA6DiHX-xdB zn?4{7`UjKCSU_@64PSEOIe#;XW|6^4aEtso_Sv?|WHUwg55D~{C!c~&vuI53k=8sp zFUFbz(>R7bLTe05jdv|}S}a`jS`2V+N_|cAk~sFxf{s5Ca}2TO-`aoyHd%@cw%BJU zhuaN@MjzL~1*WmhHE!A@(;GF$m~Qz+$a9hkbqD?X4v)^r-i`oFhMzIU5~`Dmk;Wo_ z^ek~N6<<#+%<{s@buk~)tovcBu{hd*4%8J$@6$jvLCa_CPol}dsjHQtp_gR5pc43X zh*hq-5Kn-Y&BddaN_R)I=_`vimAVkw9TqwoWI$2aZ2ot5WAVPNg{~n*Sv}~FYW|#7 zRvOrI0s5)?V{&=f`IpvAOxi~{lKE*rdz}yFR~3C?^s>eJ%}W`XQFSgvfQOxhyQ)ws zt#7w~{7m}Z4qa!U&sx&aI2+=8m)*!94CnFc-&Y;0;lH|zYzT8L{VZdZb;`^A1haS< z&@CAd$D1>U8#z7p)g9h!Wq6y8>a_iV#ETO;3^xEZg$sO+KS6$;BK>RQGS|!dKADs^ zJFlK0NEZ9IXETvOTCe=>+D9jtnx8onIee}CMNulwC8+nv@2-Q5eOWgJj#ZI~MjM@s zsl*dY?wnFp^I|ieW)|Fk-q)+G1u{MI{YfSw+S_4_p2G4Gq2RD!zl^C!*_1tFqXikM zM68CicKev`Rl2Chf7;fyUTd1>D%iw;dF>+P6?&KmFA<*;Xj+;es5Kl?0hX$*Wa*tN z6il`yJ}&|m^r}bL8d0Jvw)LODAgRXzrHGsR}P?X72$$NoS+ zHdn7W;#|o7LICi@{|IjPBOT{=Y^)WnuqQcsSs8-kqU}%BPM9c8X(`={dl_^_0SeXQ zjY&eXzl2bH-|dbRae_u~(5tsInk;(je^nW6e7T6%Q<^M@|8!s>_IQ2iQX6jFXJ6C{ zu`;pH-uw+8A`3lByRzC~Y=wPhMnJe}E5g)+1{?i$Q4OBTKB_>CE9NYmC|P2h!b{p^ z+%ovwfDxQKB~a^=HhA+pi#BkQi#q0HOQ@xBlITuW({#$o*IDt_fSGpnCw-APl(^!S zm0G&Wgn?4eVZ*PQ+kjDMp);BDsXk(rze0oTLeI?TjJ%z~oz$GT5Q8zd9^CdjyKhJK zhpfDwE&5+1WpA5kCe!CAcxoU%^AxTel?QYfjqzgrOlXa?L3(nsQtM7oGdnnAsx@F3GE#B z!pyjdDr^nWm%sW7vM}WJ$|Ot7?)G+M|SlN2O}DLSZV9yoBdJ8`&@-CkTJ_jW%>wesbQ3ng)!uC_KSqiiz% zC2?dHumkWWe-RERc1Sk`&!KmgIx1es9d51v?dP1wV1mMHB?c@%Ia;AQ0vaaVj(p>7 zl44i%UI_r#SMw(8UUjg2eeU>R^uGG}!Ax^_X{`CAS0HiTt>Zt{0__FYweK8x6|B?! ztaI@)yNsqfHG|TR>uRwRPz?nkNPwj0!_nkY@@Fw;B=BPIW21+jCukapKyDsy>;zn9 zayctJ@<@aXZ~W!4Tw$=_cWZ`jObiSqOcZ+ry>lFAQ|{zGp@(NaFI{S)fM^VN`HS}gm7-*Reb z%+NVTGl}}h+|Sp|&oheLm~^X$J;oBtLa}*gxUIlVAf_=%zODaos!mfQpUDFc-drJNNh-L=X zh8Zs{E+3Elr;dbiEofLg1Fmr{QY`N#WQ)sc5CwtR8J-46O14M?Hd~pt%6P;$}VgOef!F z9~93QuM%4`+njxSX!4atTvwl;yT(F*kRMhRYk|j-=1KGf5Slq#o;+{al5d3C5eYC# ziZp+F9B|>alkta&(WdyL^w{ZPPNjFTG-rf_1#rBQ1)(_^ z6a&=X8i`891UvW$AVy9pDW~!+kT+L4RBV5d=PQw#k2!3uBIOqr<3*VUS)o(-<&{`@ zeonQFsnpv+WFR%H!mkJF5u=0G4Ll|7V|E!M+^MAZ4+zckjhuF}Dtn8)n~2_)AUPE% z0oCN!@jl*Jm3vp6Iw56OCa3<=I-`mreWCpO=0(rP3&a-vwXgH*imA)I-fSGhaNx^# ze(<>%-BBXE>)qd8Jh!2_EFXktMzwwkguGPVyVLW+TKWxq(9y()*rAskyf|;YO6IaP zBjaTd)vMpT>Un*)C$LJvufC!pG&7kdbvB;JmNv783V-W2@UFSI#Ju@PGka=%lZN@A zP)Fm7BeLOR84rlZaNH@_qi|DOpR>K$MHqY9N?8u*cxrXR$yOTNsYy%-D8RLv`(R`+ zg;1vr*VCc5Q_#uk*oGTbOXMYGmkj0qVr*3z^&NLs?30iX`|P-3PlP?C*il2OH#xIx6r*oBtyV@bw<0`oqfegO*RQkbDgp0&JHfWF zl4MiNJ2=5$a-K#{bKm|#{w9O&^+{mt0}h6MAO}J>WF8IXjrpq-ilv3sv}4>h#St3p zxRQ4|&tH$}rrtbX9dQ|K#H6DPeIYdZ+A7d{B}Oya`*xG3Cits$|A^dU7kgGEEk|8` z{f^0R;!&s;x~Bu_Pc-<9Q}17LgC3YBD}y$bWDqd-Gab$anjTgTynwv3nYYV}T~ULv z0nuep+n2m*ubX{2O)?;9iZh8lpzjLe1bK|0fDd@J?l>B7kf<8ma3@j|;DNx8f=O#Z zlaBKvB?!_azh3UHabtNQTQVFcA~ao)7k_g2ZpqnaVtnUchWw#9L@kXwV0u(L zX2kxknW<1hviGc&B3Mwf%IXT5K$XH)rpGSx&Wtf9NUPmV@EKEwg4_VjE*H;k2-NS>NWr7^q(`!?7 zJ}Wi#@nO|o=y@+Oo6oJulkNm-n~`U=W{kDTiHt_jK>zu+i{p#N4ZESP}-aUA=yU^=I2%-Gdpc0R_zDjz3NBlbdr1n1=O5S5lbfbSx*; z*hZYcw(o^(xKu4;=Dj_{SZ@$NLux(+xrPIyP{Q+TPs2iwU7ckSUdJ{mY5p}7E14G3 zssU%1U!3wrS3SPam@3{K>(gj19@}5+a;uYpC3?~%r|>ojPf^3D?PWqr%C61qKtZ%@ z#vfJE@iE#MWC6P=;g$Gcmq)4EiR5y^qJvmlEldGQW_i)$o4&}y1|rAey+q`p1Qr4A z$zgbvBaF>Nr3?mObvqg~NwDts)4p%(Khxwo2=5@^CEu z_N1cb#siPjCM`F2bD>K6+Uek?xH{<5(b%I?g&Ck{!QM=u7nM? zAz4ErFd55(TC0ITPb2IZ;%p(`aNiWMD=n=+qB&@i{S$Lj`Rl&FZE<^I;HHlG`)zj3 zXcn6sRBsaaII0$GwjRtqOeGQ72yhBqa!tug7+w1tjNkzidd_L?Wg*)bvsf*#O^qsI z_fcx4CjwK9*;lL3i@oNjqT3kr>>iG_q2GuQU#I?3;f2VTq(}r~5&;SidpUN2McUyg zTJA8W6lTg|XLQ29yA)#`PdlIYCa^(Uf7iz2Fze@{>qMpl*KTBw6bHD%dLlCG zAy!bB?2ELHjGqQuiKYzW!63)e`oW?B^(O0QlG2T?GC23%g|6U?A)=JbOpDv!_Jx|^ zBDnC_BQ1mm2J>?J!h7xnBrgqC91ZM-n~C@X<65Z+^n3H5sw_qx57)ByNTcm17#Wvy zAI_!#9F|b*kpYT`%wT4cPr+!Yg~)}W<$$78=22Q(tR#sNscGvUG?oV8OZ-@Jn`K+w0%kIyO z`FWR~K^d*8=(w-UK@3>+L7p52}PNNQ?o2?+^ESd=}d)hcbSFB0wnzs)CeKpPr2 zTJJMw1PGaB>hVDn+-C+&J1SlYLc(BWsXqsG%sd{`IS8m_UKCzLjWf^xs=tDRJy4Obyog-;5LR#EQ)6d3`Z*P03BzICl5+c@k1GJ=9WVAuZ~ z;{)H1un1YF$D9|qJD{b6gsYY_l-2dbZzm!ZAz}KaYQ}nnJ3UDN%MlKnLhI@=Hv^eZ0 zBqV^MbFo6brpxDbr$@C!!BBLN!!bVV_uSAg7gLmYtSa(le*~z=z5HCIQ;jd0)4_xo znalNzfjXb=4cW1VhT+SMFP2hJXJwg9l$Ft$KaUjZu)6Y+RC6;%zNigjBaIHa!oziF z;?&8GVg15`qoSdqAe^3_o;QP8G@Q9!bDAU;@+DGbWKgRF1`kojt|`4{3wYtoGQHKu z$Hyb$GWE^LIXbdok-NJd&lI6q#t+6DN9OiB)5tkn#NU%f`e(ms1Z14>e?Ct zY>ds43Zr4vNMQz*M!8rp0!YFxz*&tKey=={D*~Od3V*|_FSU%oqh zZqK`;fKxg;x}Kh%G;_;^%JjrUOgV9fBHPubS`^Fqh*d}g^($OSawSKD9hicFD17!j zksjSI{Bp)Pldbb5Kl)TTM&QxWl0bPu;7-xdFX4MAaR#R-5&;69fj{x`nVj!;vx+R} z{fc9;K!3=Ad_pd}V67d{s2c_ZFM}}4j}t0q&fm5gO<~MuTmEB;c!!UTjh)Tw@)tYJ zSr`z|1Ze~tj0y#XtWhZVuw-0I;IW^q&S|q0m!1w!9TAd7c#0!K7%h=AlMDu)p%O1l zt%81*0M_+qh|3<$A2a@l-@x&DoNE)v?L1eitiF+ZL@P4}< zOr(+jy9O)AN1lXt%zy;@nJ6^4he(x-PAMte-w$#?!_MuU9X7WM9VjvP z(w_#uc|qQ}w4|ZoPG+VNheX1^gjbKO@b!wTin43LCXSSjI$)o^A6rY6kDV?#W<vsTeQU8E zub1lrUSD$CnQ%sp?akrSwI4(!rF%5McltLUyx_<2T#!&RTL-ermg@;rELGH9RM|+T_=# zfv+8%MeVkIrW$PTNKhufPols8Nlnw4ZOzC)!Y&H7T$`Bu&}dBG(>y}A`~L#bvNz@ z18GDS;sp@8xg;}%KdN%uc^n*L4O*&0#nf%gKTg7>-4)7DoCVo{&@nK@cL;iZG+y4# zWH#JQ%uJu=!K5V9UB8Y(t9Cr_r4P^)b$^V*&nx_-Y3>MQ4DyojIPXe|eUFL0*d=E$ zm?Up;44K3lLL;qK1ey^8{sPYEn=WR%yE#b&W}Yqrv?urf%6uzCJFBU`bQE!|<2}%V zFGM(V)2YJr`2F3}Srf2{z`St9_3P?t*>%)g1xy6-LnHxstt9;Zeq5mFuQYA+Bc23aPRXavafpeB^7=DFqAgX*Qi z$KepRx#AaN?t7!Z1HuJn5a*QQM7Ne41W^y=y|YN)&%N`)5SY&D(&;?IcoMaM#7G}K zGGE)^H{2khV$MUawqfkQ#t3JQNQ0OLivF7~qjMbaCt-VQj_$wOn$6Mf@TbJKOe8;9 zmh)%;N`cu)C69>x0O;PrNlu!-meiL&5n?L0NfGLLW(l#V%$UyNaSCx-3I{*-0e_GK zj6oRG-Wo#i<>p^+rr7dg2Y6}Otu5t``v;%t{11WL*MmiM+S9uisjjyY2Xrpalb@La zYb|8z7U>oRy(=)H(Z6zQknC3|!r4!Q2BqJ8JlvrQ5gN3ig3!slyYi&`&1tv;10HeQ zqr@)#!QhuoS-qyxTm!Ks9XbOgE%Meodnu z#3qh@re1&{>Y*)QIih3>CE&4hram3FErapUF_OV~oq~Vc8rkg_4HX=ILFz}T{wmyr zso0Nj=7GB%!*vZFo@^Z?dpdxP*%%mqi_w7d@^%z;*i4OC>UH$m(#>=sI>tir(5Qi$?KlrmyI_a`l zqc3qRPX2%ufJL#)@xFJpK(sW$!ami8EDjUn-s<7uph!ULsK9!Zu@psW+lsc*VI!%t z%=IX8_YLTeD(sPm0~32s5;fs?O24`A0m-U^UQ4A9l<4=S$$hI8)+tzS05f^W-JY&hB#~N8Qmi^M%U;XJ)%4R*Hs6;#Lq}jdcbt(8+wgd5T z#!SgOSS@+UA;g8tp|-@ZCHS!PTR>0=j92U(YW8$){c`Xq)kfpUM5M0y{1VnE2?8lwyd&jyISF9BKP7JaYmAtXgKHZZV(F5+UyAGzC?Wq#kQ2?H=aGy;Gj z?+gq~Vzt8b149nDuwO;5aCtGDHA4~aq{N}9ingx+E`qo3-}%>ZFD_yeh3y}IBj#YD z+iRObUlhh;Vd3d9AwHbX~-d;7DwcrxtfZfk zZZ}~;$N!$HBGX3 z1fu`s=|MGMvlX?<>DPn@`;^+2z8<8u{gCfHI(%O|wq>1jXumikiAmoYC3z?SJivUT zzZ?~;NpkYGy?b|+^6Kuf^^Q`JI7MsD$QrsmzPX@n=epg?mRB2(!mG*iCEf)MM)|YH z>SsL0O#v8`=EW%0#mIB@zUPJeLV~66AL+^H(e9x6mB-_CMa~6Wq}`M2A$E=vZL@fN z824X9*!oLL6#a)Z0alm(yY2PqIOV8n)8~zzxex);R#s)-VwlWNyqcw+U%d_9e5HsZ zJ1!88F26QNpkhv+zkQPKKwM%GsDz}`(zthWt_NT_h8`;lQq0QWe?(Yzn?z-GH!`N& zP8d7KkLzPS>(A8;IaySl$;fUEF*13bRV4qMUYl+1j5N$CI;m>Yt9wj|6#kD%zgZnWE*6$_mJ*HNt1am%gxs=Hm~SHT&eAcIu!@e? zThbvw(4~Q+qTRQyZmD~|y^Wh|NqGMk+azb(+|oiQ6g!Ch%tH-)ZJlD0mlssT9Q?%! zdDRddJ4Q>$c`?TBhs!TGv!cV`_m=0RmUnS6vp0mq-%Rr!pnmXNXKXz*qFxS>Pj4@& z=LU_4zVk{agC0aU`}$NBL3YFe<@dBJde1_YwAFLt;V|=$3LkgYU}unhFe^!6S{O=6 zCiFLn&VuNTNQymY;b2xc_tsMQcG7Cp)Bs@UZmtjORlrZJe3+!{k{Xi(++In?8=wNR zp~=hFMsHOD3_iEg6z00NL~jQjjEB@FM1$;>Y{#QGBydUHh>T=82RltP8F-@FZI<-| z>y7eG@8`h>OY443Y^&#H?}{^4|KE+?UX_$m6ZJZ(Cj`w!mHU7M9;#b{yh)Ml0yApW z0&N^|6^O9huv1j#C@uze?=lVL72&Gj?&>n>sXwGPL7` z=f!d(>MF!!2ur_#ZaoFy7xeo%?>2qX^`mrOJ;bJ4ov40))!v84apKy?F>XcvXUg5&EPAH60eOcagQO$su=s$UFak}(6{Da%)J>}GU5Qp85r*nVD^Z4Y?SBG!-Z$cyT>egm4cA5iQ=(3WpdoV z*?Rsh@X}IS?nWQwk&AyWi07WGH*5vgxuv9-74g2%jHod0#c?j)IxX+q=k7k= zs?f(ivHi!>>;NTC2uefOva+5AJuQgF0pgr2(SjdaaKpGp{q0^Wn3;c_d~bZci;Vp6 zxgSJ!bGGI&1sw8uHTBpLJ!py~S^uxuDr6wDgKCh46q}_aANsoYD&Mf%Cxvf-e>9l6 z4udy0omFJ2YE|69%aB0#0DX(L@Svz(k?jbMZb$k8o^TW6x-Ja9;tcXihN#f}`ZozE zJl-D^K-~60vb{*`NYb0>ymMz1?^ORsSG1A&r(4IhGbb_ZE}7@l($~I8VQZA$RT=0s zM5zq0G*ybqR^&iws0~|XFFP{Z=5*7H{?u2SbU$MKAG=GT!9jjBP&K~!?h+Z>K3b6o zlOsQrcHO_(xTQ2n#+yztOiiziEhj1|0MEH&jP%>|hgN#I_;&ii9EWfsy0Y(2^4V`j zF<&exl)gi743$xTae#Ju5{Us>-Jxwu8FF|{yQhp5Jpn_1iQEHII+}g;j z-ty}-yLfFb2&~tHF9eIBLn}GQ$&BFy9b7;Z%0|o|hNo%!t28}|&`^8^u&0~)5#wq8vYtiOl45c%!h4Hkoh`5hCF1EJX~(5#-xI z!_~j{VH)_6T$g^R8xtp*%x1&+$g|f2Eyju6)*b{3Ox*xMV%z9P`%3JbN>u5qM#R(CV8z$M2PPjTKWE$`b zqj<=`3HGF0W{Az>C>zgfvwq5cY!a_)-&>Pv=1(JBXW)GC2?{Pj|>=sbrx3T$0MvgiZ&+b)7p&#l%j?Pm-bNjsz z$=ZdUvvexhe2w$zg5Gz@AR@1-)|LHL5g49?43z*QN^(m3$2D41-}|v;Qaz@h)-k$m zYV9Z0#$Q&xH^czXzH-mk7+|YuX=P+*Giux=M5hHC469Y;8=$CkCtz@IaYDP`I(;K9 zCRA5(qUYc(cIYPZ%&ue+Q%hrF7{|7>rjt(0)uf$W@T{nq@vi0`@H2(JXG-OFP28EP zx%cguK*ceqbDc1E#5{c?6HtN#uTt~6-jPr}Ca0yP<>YMY=*aRbsI2_Tz%Y7t{Cd%D z4+2rmaE}kG;5qEnT~FVX!$Z*lQ7_3!z<{dp%Zt^IX^+n*#jJ08_oSll{9etLE49se zB8u$4q_RIeM~-VsvQq@hwb*ohEzN@pDt3Esmc}ED{nTFLu2cB8<8H2M{utfXh&C#2 z7dWmS>Nr$?s$Lv4sa0%}D+(}ld)A)R%bjTUU)Y-vFnDnq%HCq9x;fpD5-*TlfnbT( zmzO5XSsHF`_m8*dva&L7dRqRZqA!PjNN#B=#eCGU58q$=eCcJE1io9h;PWoFIJ5k~(7bfrBv z;Z$I&YXY6LsX)+j_ywCJQ^l7QTB7)4j+atFInT;5_Hbm2iNfqe%Xu4V!nGOL#-x%g zLjj1TEzTQ;R}FRhCQZ`HQHfE*KRX(eXiPZ;NHnw}2gDJu%UcVTiS2JYoW)dO_tAR= z<1yxJ%p-dUJ|_0*3O>7PCiYc2bhmpCScZRU0P@qrx}?jP@q{zB)QSSVZO`@b0`5^O zB9p8q82b;*8b$SXQ}vbgB~kP2zXsEGzH+u;6D}nTw~+Ow++?s7lgX2=rw%IysECkG ziyfT&)Qqz(X$cg6Xj5jENWZZzF*L-Y*77grmt9~ZRkJD(3SCHK*D|0+BC}Ei zCZvW6iW=Hg7f-=Cysc>r$*X5{`s1lzK)Fs(ddOd4QIclW#Yg4z8Hu`2*gN>PxF$2h z^7mg%%J-XJXSFlhh0Gzf)AY*DJtX2G-p$?B@8Y-wRGgaZ5!4<@Z(4LcixMk6y4!^4 z$7u^`07LsXtevYb?k&|Deh<5*d?{Vu?wgw8qqSYWLWS4H@Z#FfXDsgh8Z=3hZE3)q zfl*D$x8~7UymXj9Q8$%He+p#dQ71z=)kd1Tx3A`IlvPV9A-+j)T=d2fg@=MT%ZjM^ z+O=P)w|eQ|OcBwE$TLmFr?+{{SsbO08l~sefkQQ=!AV3;e&YZi$2n5|L0>o z?XR z&N_^cmVc{pnh8>1v zdK+T4Q6_qczPBBb`9W8r%u#Ox+2#1|WzcVsB_5UxSE*SqSu!h9H{I%Vc(LAYY`4D* zir%XpSXzawa4bR4vYyN7!ud*Lg_YI!RHl$L40LqmdmP<56!2a$sYO?)HuUG#=!mpN zyz?Wz=wxhjCnJH1MXuwow+IJR_kF+RWH<>I;2nSQ-zJcdO2~)sAAf-WK(x8xC1S=J zyd1pqwk1`46B{G2FXg3FDvPoaQ$mYV zVlR~Z;wNlrcsYPHiDOZ!E;O!uls^$L-ih(1pbHSInC-mj4Q+&-FvU%2<1MqhTqw|t z)8PC8OpW!L9El{eJz9wk70z2?RU~Q7j6UkYG8J_KHkx+~&L3~yol73`Mh%F=5Y8y@ z?Lp7aNKFN&RWevKw2`P{52pO?IckfNx?3S<76s2+xq&}D>Fv+*lV|q;cc#sdxy82) zd3#gq4`Ebt&!gP3A2#N?vG3j)(^?Rc^_nDl4mlt3LCh!Uaq(%7Z?k(eVhgvf>j3tI zaehcRFkMc6yR5Nig{x;Af^m~Nu1sf9bg;oMW@*WxIBvP=(|^N!L2*0w+^Es|z~V~Z zIT+NRi+T>9l`9;ifApE$)1AHdmG-#89q-&McogaWeeNMd(TDAEBO|F>j%pc;m-nSS zilr^LO9mGPG8Iy2xW49!z+~3ONjEKOT2AweB6s=Pr@&_t+~>z6Ae_Z`-i(elo;~DO zOw7ThnTd(;fyK()6@2{glV#G~opZhU^&DuC0*6V*!d3T8=)A&}JBLZ{iT4CTdq`Db z7&EqZJ3HBWGl4FNty3?5(dzO;$Ja50;sfmTjGV7odC?Av%FD&wy!gxa)>CV{+B$pm zx$5vx!ad<5E+j|ivXXmU8b>i)W~7uqd*)mgutN4Un+ysy1FAQO+N@Om<$sC;f_IKo ze8k;4N9Mn(N2J}q0YV7r`YWYqfyolbW6`!qvt3WsyF}NE+zWq~kUsCUjx-xFyY>)N z^oCF!?|y|f3XpD5h$ngBupJ+2;4*vY{c#1(7B8FCGi_qECWh_wA#gTyezhxc{mcL1 zFw2@?w&Sg;(-sxkCWs0OV48|Aq6T`y<3bXCBEl-1L_89vLiW57$P+>tf)pOd+M^q7 z%yXOHspiM%u*s?j`%uE?b*jk{de0+!a(=|(6e$gRX8;zFjj=BFUV31})e&C7mGJ}s z<9LusGyHF=S#PlKaD5(vUl-W~AOI6b@-TNH_~niEbX?;p`h3IC6&ONpbsVwxC}P?Y z_J7~!0Iq&ndUO4WnNd?eyZs2*{0;C(=oG5Nw?-WEam85Ic{~C~W4ECW*Azd$RKEhT zf2Wr#1i=$<7(BOrB9XVqeEBGi;`bHW!}9?UBF#Lu zMT)7@0rk(+dW*Yo%QjxbJ@CXP{rYfAY6a_JBJ|vuqZ$(7aw~@EKaRt7lJ?YikTaRDpQOKxXeqX6 z6@HMv+1T9eDsU(N`McAi_`T;|UBNB`7UxuKb(DRVTSl~I{=S9u1a0W?4KnT$9ZX9D z>3aj^X1|17lhKlYK(N_UW?MDp_4Gb0Mhi54VE>P@?a~Z}3${>(MBF33m>vVjUUtF4 zW&I)EHw{F_PRF>Qx`nA!7swo=mNWV3n4FMmY%N9p@Gf-dp0}@NzR}kft!F-!r;kt# zd}*?r<4u}-a>~41VXH>|u4^R&gYuCygW{Zv_27#b0u99JsV(`+9^f~>i9e}pvN#2$ zX+in)Q(Jpfd)4~EZt8|+$8$5|;N{u;!9G0X8$aQ)4}YR>!0`7_v~eQ}vJ=jSrQDk* z9~)t;L;xPCvYg}=oy!^%m$C79pz3z_XdXTg1lRa0tCKcR5*D*frC zSrLcnlfvT`VgFuJq9t;( zU``vsz{;Y-iG?1hiviN#-ptmF95L>dJMry&C1A91JnRCS27TDL^mz`P0S0Ptei$tB zy>wLf<94&n1W{7l%Mvy7QLl21C#DlSV|flDEaCbY%Ix|2h7DP9Ca!sd!JHDl4t$>A z_1YBAmTogJEzu+bo)2fsih|EnU44tyx(r{x5^-2eMPM^r;d;inZFoo(sjP!CQzbKC zgmG^uvU{OaEXntjulV1rl5+Kn%)V2-S*IiGQ8cjEiRnU|(-E%3(2cT(uM4s*uz<14 zIXfapysB^-t4spW>`1}@swDL4Uu0V!j&_FIUX4X@h*2QuCn|gNeWdv===jyoYx`K@ z{HK)4mOFVIKYFa3sCxnZ3{b>~xG)hBCn&v2!QV)&4aMUp?*mv8g3|g0%xf9<8}iXQ zIz;zjN^-ot(=PF^BXt%{DG;jHZmR^%h-tie2brd)>-uCD+_2pT5nd?S!H~~qo1|Uq;rAePwwr=YOE3fkO%m7ZC_w zBedb><^cl!zMJf|ZOkUE9+azf1;4g&Ham^yplaev2GC(^zKQG~D6-@RB9(G>=r5z> zAGZ5`U)(g%4_$iUuUzAlYW&cJL*xBI5)Gd|FidU04M^n@b8_5|+--Q1*^`I8)j)Et z78)JFW8(Ns^s6TO+4@R|rL$=o_%>%19Gv(2F;+63XE_pa?8uN8LHG27v~^oKG9Y4i zl-r*kcYNK6TRyZ2!nBOzi%2SlOD4rNUJAsvL;6USRg;UYlu=5=DYH9u+|WW!x-21% zpc#%Ge#^>>Vy>W1*Yg44SJ42l?UR$2d3AlC&-X`Efx9WtaxR%6HxEy1Yil;Q!{6Rs zNTJKNQ>MMkSfLMYw~IAUs%(GSu|O>_nsqL7;7{adN!wKx_t%9n3`iiB1Hjuwj*z+wWZKNQi8{ZhJccZ?aUsYaVg2-z|`7q8z83 zRGda}mvpd$Y_m|<-8s-6#~a40*@k-Xcp^2H4!547UH6`y_5*9O@aTBnAJ74geMoYNfYy23Z})--R4zI4*8bn@B=SG&KFM(I;vVttGjOj+nFF ziz9KlEaDjM8DR`((AX)CW*bKPoBZF+nP+4ef zd8EUzrWr)sPkfmb?yADdw2}63nzoH{k6(&)TWy4S@n0x#RjRj)dUsofl2g6NzoCAN zj32kSpHO&-$ZMrLwL%aW*qLDw54u!%X$&|-YNExC%oE|}+J;Wcz32RnZY396M(>tJ zQMH8B-03!-KN!CWt6h-_?t)`bCQ46F*C0alfl1(Vzarzjr)Odc1+s!xwCPlf4c13s zNxgxGd-sd_k9T)O>}F9@_}0>IIOYDa3n(TiQ3v=T6uv^4?pQbANLbv~N?&*koLg@h z8sxk$^V!71f?S+5-t$o}3r;ywTu}WrYEaoK*IDiuxlA5UcVXc$+E9$qVy$Lvru-*_ z*#lp-HnC-PFA&9RlM;ktS&RsVz;*aF1j7FVcsmJ>g5SX(hL86gNDKCXjU0mhr1rfC@v zX)=W0pm%E`YvZ*hST6Kh0N@qMc_&+9z8}wrO78q1Iz+Q~Ejr|!V=geA-CRo@s!~4I zJVdahAeeC2;0KUYt5HsszPAt_W$2~F8f%1g8tB*bOw3HSN$GFs4uqDJP7A+AHM&kU zHbZNGzC(Dd_JIWzuIl zCKR|$hqM6*iOuz!+Sy#WLhgGiy}T(0t9?L4|+3gFO_w-SrDobwsE;UA)^C zXlq6yU1)^ngu?VYpw1DiK^yP=PNg@Xg1N(7L;|9%!hW%*g&v@ zm8Cj!z)UXWRa*U-6MuF`#gLxz(3mqr7O(e;cIgWodsVRv9^}>jKItI^$1o`UFe8^& zJ&ZK_8pHYt*DGW?B}0grpGcorL*%VyF}6V5n^p%#VP&E z<^Mp%N~91O!<%!5te%oA5R0aYJs7p7efS>z(A4{xLcV*zj*?05PYnL@Ecq=tSfU-J zRJL@7jI zTLD3t87;l2ZS)#Cxe;C*gOj$BrEaflSULwYqywuS8>)}4Em~7r} zD3nFmAm1#h*6P>}XRh~mKxb{BH;vb&Fo=tvqdKa#Zeq9nvP-+c0$nAnG=Q-c5Lm@l ztdQ+_vnOLy4=z=++H60_xwph={CKgxMAhJSxlyIv9IAA)>Gx^4i|p>b-ekMFsPA{a zzaIi!$1?42%sEH0ho=*kxRfK{1-gc#uuc}wVZY&hxzVX1xBAC)l$g)8!D4!6ES(*W z$MsAjL=-%=USm73h)Eh(=IyE%m3x~sIGe67gYU8fQ^6vZL?FUFj(U3|KBFAi5c8yk z$%OiV!44uBr}Hi}8t#9$@H*EeUEw$^W-{Jdv;?YZ)S9J$JL@b(BAq^rSI$+glS+b*e>?n5#XL&)ipt78Cg4}_ z6Jq^Du-eY;pZg}WI9#60Z2YNYr_S1$)9F;~cqyuSNb~kll3Y_G@}-BT!cjF#uNSM> zilS{46O|$MEkB1l7qxefDvc)k=bxo#$o6nig_+*$1jE?5ktL#CA=UKW0sTMo73xwF z64!*rTVjaY#)lKxZ=x7uwNzA8QG{G5Il2ySH>1o?GrNhX{g6~qAQmQ&?C$A$_bo>6 zYBRJ=)Ey2gP80?S56tlI=B5xMBeHhD{{Fs5?9SO4k_PjSsiL9+@d?lXvFwbcphBsjN*L2xdYVZIBjN8{ z=YBwU07crO376)J;y77Erwpu>&x~^1p_=V(J~T2ICfoi-Q`9D#&p1>r`ZHrVF~=@3 zwXzUb$kkOWA=fbAWhLP{pr71pOip^V2bWM`KE@?`08dbzJu`pSb>dVrwf`h3aH7Q;baLwruxGwS6b zk^LB7ZiZ1Vr^SLxj+j*2^g4xz$q2S1}y3M|~_+txuG?Y6F1L%NJIYYdzZk{vw#3g2}qA|mp$GnY&V5$CHv)D;jC)c_H>MK7ogLUBBs4>#A(Jv?MD zAo6j|36;N@{OVvl6O~jDNdzhZ_HE9%MEPt0Tz;VZXGJZ~U^qG@Suq)&od_bE%~Gv^ z*Ms-VafyS20{}X#s`p?l-B=b37nfNts%k0>g*al5Y+0B;FeD5B5oUQ}c1UHL1`(i! z(S~eW16wzbR(<-H*MMDL^)j}tI&s@fBB)cgcZH$Z8)3c-sckZ|li%o(@nYHa_ulnu ztFAZF1>tr^U+p9;zk)h|F!<41*w?f1IEafUV_*j>%BePyoYO*q*XjVhn5}mOVg6)M zK1}APk8lP~^aM0DD4fJfW@9s-we=kEamw9WxU1H1oo?E3>(tbg0;54Wy(+TQ6+k<7 zjHM_GJg=-BCyJd602Cm^!Uox{i4DcFnTsb#mA$?#hq8h`fr)?<-|lIc15N&OG`Ek< z?J1d)mn$I1a-$Xgf&g_~m(=J`)kbZ|{;i);xW+NfHoDS&2L8iw-+W=j__J5CAi3J4 zoS*s`@f&g_G^0BJPz!oVNyx*)!#=MM`&@5R#sH6ZAWtyl)9Sej3P+0*%00he57 z8Y8fr?|hDX(r#{Uay483kE(BQk1K5YZqOJ_!^UWA+qP}n*cgp%t4SI)wzIL(G|tAh z&3F4e@B3ZX_Xq6RowIZ9nfYN(FXy@^R7*mm^(RnHa-;E3CUdJw^0(%>UB^tX05QW5 z{^+(hes>#~{){q#-**?8US1(Y=x0lce?|{iHX_e|05;$jzdIEnKg?a8|Khq1@17)3 z2#{m-`;rZT%UZ4g26RO8Wf`5W-0DpDSw4KRBSF&Hk=BFtC!nVt z(kHe*u)o%tr$vxChu=khZI`K?V(X3^sk5EQ<&-RL?V+}ybfzuR<50GJYNvpV-3ucs zs+nhMPlYGg07gN5Q}OHe_#gpiC^J_aGX?Up)P_f^!^llci5`mK5{mDV!G7RZ$Qxou z;2TFJEz=1^(5JqT7Ea0r2E%UO^-eEedm)yD|5Mx0kyLsdNJv729<{(ndtTxBpeKTfi zUpIKX`BIkz)BDXkF?aj(&1TxrGaCn$y(XF+{2ivzAE+ZIS2G_!(7{7_(Av=_x{+|u zzU^o;x^(8}?!0-VZ0K+s5cDRGHt59|Cxiyzq_DN+`prWnfn&2el$thh$Hxp-_i39E zZ$Wr}Klm+js|nLvmX2PTP+zBQBi|SnuazRGj#4ifM-6QWaU}cZHpBh1f07z)UZ^DJ zdRyddJtY`m+ifI%B}u<=Pz8@rA`3zN-hLG%85`=S&$tH4t;DbQT&osCoaC{I;Vx^u zBOJ}53!;M};mGhk{@d>_7sGTgzhGO{MaPspjTWG?;7?%@LSd_o;#|P=AJ{t-a%2St zTZ~15j*xJ)gfaqSe#DCL0?uE-WP&jVbaOse7}B>N>=b`sZ;$5@RUqYvoD$<6k)lZ^>Mbi`XT>Re7fPPCbe7%Sx zPi|Kr0?g(e_@%sT0p+H#@j;{vppxcxU>JxNkn0MyEh9hK+L`K^)c{Q ze>3#=rY7z=Ae4dj?O6jr@NV)rqv8k^>7@Pe2{&9GdCM-;J`69(w`tm>MZZ$9H_!W3 z!&{5nWV<@l2Qqq?Y0p{@Ughk401ieMSN#ExDJxBK#a{9Vc z7i;I;8!kTR^T%whNht5|&?pzcrE1lEskMkHiAi2Ze`s>eWnF!sNvxOygaoo+HL5;` z=KWdMGXQJHC-{0P>bqFiez%uyIJ8Lc6~>OylK`gAXdXUoN(2DvIkflLnq_Cz2tQogMz-z&U{D3ey~ruI9U9wQZ%(0AWY4VOcO{f>w%f#S?V zv`O4`GYk6~d!Hq3$M`pl9X<#1`Q1R&{tbMPL{j6rh+iu`?1+(M)ui`>ULR)zOok2X zfFa+_#;+@I>*Hj}zF$ukxmuK*y4&yRskpd5qKmyQoxnD~`0V*mX=~|bk3-s}zSUb{ z2d3bnPN~rHG>3=dj*SYg$LQ@-@5x8T)NH{aGOZfQ>CUom?`ik~poD?04Qh|c@Ex98 z#!gfzFt6uDl(4epD9mW9PJA5L4Vi4gXiY%K^|FO#v3PPd%h8ny7I>&0*z;Xc z2lK$bxUBG<5SoD3N$84*+8wH5z+(6Jv!8OiRfQdQ$YT+sB}!;#4>@L2*suyEd?$tu z2@PGQ6PJmgG>V6mG+z^*gjb~MBu&0ya_N5|!w$sr?-AZ{mlb|x^Y$9}@_Fk?8R5aG z_(ftVwO^IZvY#Z~w5RCo?TZ?L9^ViwExN?6&QvBj42>uL0ge@k0+K~-Dc42G3>*Bc z@mCl@&X+(oiRD(xrX$x0m&aFtEg-ME{xNkl&mkuoABPUcbAC2H+}^w4q~?b<_vwwL zvGpJ*n)BPu`SvgTzvXRTAYmV(qV2>S=$bGUnGh>-A5$^O8nerkfN_A3kPt3|g7N`m zGNWTlX#K*OXau4PWq6y{qkYZHymAoQxp1%m5|$|%|J|R`^ACu$qns)#eA^wNe?L2a zc<_XXk#DNP9gQ-d=snH)tJXwcl_fJioE|%eX`_d`3w_6>jraQIV)udT+ftdqO&&hk z{#U&kR_24c1+QS=^qXlpfyWJ>DZYjt1Rr|M?AD}tn{Vn(Er*5Ba6kRYl@Mrt{DR{e zB8JVrTJlC^PV6MV!`n8c2@wOt_mmBrv z7OWMjih)KU`4dH|Fjqr$Eu2XVxd{J<_<#rA`rQyHtZ>1B_B3douIjoX3Ddy?>ZO#n zfegPgN4mdybi7B}Q9Q}>w7!wSSl~pibD*GZ_C^%7c93b48UtI{LY2D;r-I9N&$FURo#sxCn^y8OITcH$jLvk=E_^#`>)y1J4h^<|QC6vuN5 z(yHEKKRuuyg;BZ{n-CQWP6LIYV7V0o8oXClF_%A+2lI;eo2b2hPD=@c5&*R~SwUi= zze98ZOS9)KRVHjO^o7)(_P)5w#L?6W9aUI>RcWL5TNVXJrDbrnbZLdXT=@Gs8N`$w z$ja&{<|R6iuf&x96`bAU&y&_?N8{{TvHWbZiIBPLw#AA{ zc_)DNh){w1IoE=qC2enyLi)$Xh~vb@ySgSEbZB5N@@jSUTYVip>K86#^D)CO zBix*Yt!u;A^ih551k<4b6n_M!5o($$EdZ6reLg6;0l^cJh@Wpe)aSU9YvJEX$A;hY zHok8PQW)wDE0T4?`Mq_;>jUc5mD2u?5N|H@6Nbwcru3s`dN@_(9NdIX{aJR?i?K)` zzl0^f=WqxF!9#ABjw67E<0lz)5E*^xWfKu+qdo5J++sz%-^**Zpkrs1z1VP>5}wnq z@Bg>Ga4G521l9%K-@PE?HE;cmhXU=|8hTcx#m4XEY*AIMwKC=#ouxTy2pZF2u%3p} z<5je12#WtzP>Kn?LYJVNyYMmW^-ia^_?w};`?b1tjNH&s2SI7D`sX?HuRo&A>OA;& zvI+2GvxJY(2G&dd?`MA!LJMejLxCJyd3l?xaevJmL-`#aWp@)wFJ7QY%a@lmwWrCy z)*X1J?;9(~4Dzam-&*U+COp@LIrv$llTK3>=|92Q~3X@MI?s2Bm2WZYPGQ(qM%%G@z!iUwb9|nr+0!K zKbe=55++(SAM5YP9MX+t{O)5~{ZFwnSBO1mS8v;3Qxfvu`z9m>f!-Oi$Bow4FlFknW92ZI1VIzBRc9W2|BZuqpi1XjDYc`@{pXOG*Cjt2yEToOW4p1JcN!|xy#Y6!^o>+NyD?gUq> zCi^i+>k_^lns@W_=YHTcKRsb~jZ;C(8pr8iMwDLSPqjgs6ipm2!hWlP4DqpKBnKw7 z%5}|B`|A0|*^{h!ywRyy%|a312frt_U$HNO`gxjq`?Swb7#JF0RdII1F<9=Hn32gD zFe#97)^FYakSp6GSkX~h^PHw+TQerMt64dJ{bVAt!u8U7m^6?fLCyXv=elv6V0}Y~ zMUww9TAo^ck#q!;T7dx%b8MhpKx)fg@l!o<(MSp{i~1C-`-+tN6IEBWG=IHv$wH6G zj*#6Coqq0Yy`~Gh44~zW(uc-Y&|So&MLZZd3^aXi!FK#TrU3VFJET_Dgr~f;7}=yF zU}$s5fh)VR$r?D97``z5W@p&+r?o9LP(`MkXKS}T&bYM(h2UQN6H8(AOZ;(tosN7< z`@Y^36D4D*LRMEwz-4IYiPQCe%cJUIncX)7aO}Wz-6=uVt)czg!R+kN$M^f=U8(+N zTanh%1KLQP4thh4t-m%>*PL}x}Q>6TozJQpAwrG=bP?jwE2T;nJnftM7YyPuK_ZvU83bizUP_W7fTalPXA^23_#g^x)|6{VaPgJq6Y4 zE&S~!56huK)8@>?CmSy*-@C>4I|A)Y*mwIu%S80ATsEV#>!~U^4)dvai+_zTpq1ji z{hV_5HEIXVKTsx5t2dKY!l6Wl>SU>J@^L$^ioWRzc>MxoN1Xon8uU9vr$fjHk5i}7 zcg{}#CXk)l-B0Z2<@RW#(C0>tMp6}-L4tC_0;3jTR_Z%Z%H~p~_%ivrJ(-AC@Sgy8 z>jAtSw*}Ku-0#7HCg`l1T^~Q4cw<#;vA5mrZn;htuj?S2XI!T&h4{G9;1jayNob1I z zo;)%J#%4MGCFuCR3Fl73jx6b`a~_Sj=pKWz20s26$aQ}{OrfnK1^rnTZ&U+%D9a;{ z{`#z*pjZmh<$p=;TkF_7tv-GGNTJBRIdhThXjx$U&W$*&GZGnETHBEx+Tk`%2+t*w zDYM%3q{(am`fNx``qy zLhA^OgmV~X+9PHiEgH0XwEPEc?AB00{US!~;?VeM|Du`OzNnEm035!C?oNDSe1M1I zY41>4JgvQGUc>I>dKX*DRg~nvrItym+iCfgn$OX35sc0Vz_w}&S-YvXfzaW9aJ@?1 zvGn(x>e4PP+1V%?QINo#OA&d`JaeJce6Rkie+rUaR6}T2fDWMmgKNR&%dU~%!2YgB zSSNbIci)+tht>6}V*ST6%=Qv$f1mH0^VI>ur``39t(zpXtE4L+Q?ygIY32_+z${$G}gV!l7jvTpI}q^Brd;J5MlF^43?Q zM5j%aZdoDlx{KJS_kQ#_Gtak0=cjlJe)_*}_{7*U&r0+o59%%wh%TUaJ=6cMvFf_> z#D~X^dx-O8Fg;t+~qp%nU+S-w-8zNCS3~S z8z#F5l$;Jl;Mo_$Uc6k>iM6P&=dtokacVmE_tf;}Y}JTNeL_%?VpE@fOUYTgZ#yb) zSYnTH5aybT*}oX*T;MkMQ(#XX!gAqiZ6EzZ#?olY_ zKMmLr9flJ&`_q8vls-MZz>R8Yz!T*fA9%UtNWXS{6g;>H+*UYW-#Iv6VZLw{2=oz3 zPIP1hTA6U;; zOd7qd#qrMYiHD8i<_(%B|fckP125czd`m zEak@giyPNmL%(QCqn7t>4B!X6wxRsmDhoo__i%&cY=?(WNEqJ(`);i1Mi^`4`V>!L zBvff6DBS)YLK9n3t#$eM0}??qDipkLQ$~p6daNGrg#OdErR%4|Hghp!Z7-eZv3VaB zT@v{losYYMhKEhZppt-JO5CVk{%CV}pnZXfgQ~TWZ(P!X0dN8Od=6IB-U@zrnkC=;78zw|ZSc{Z;)GFub(;l078C1cqT(}hrRQiek@XCUjW2|byfibQk<##HYDydNh z{N%s~}(OXVSkzr0;JOxSwOG0vQoaPiveW&-{k3l$5WT@NsZ2d>+qHFRrs=r5&q!9Yf+I3$}?oGZ@dn>Z{KAt}U#m;u( z>cEo1PF`?h;@1Y)zY_7~7bBQaWU>Mgpf}AEV^o~{rZ@Qe>pqYD(v4FhwnG8A^d5nJ z5kiIuA1Ne_YAhG2mWV(cIB;il`QXBPb#}8+$)AvtN`!U@#(P04641R~c+Gs+P_|=G zXrCZ}ghl-q{+JBXm=5bzhL2}BC9k#y#YsdBtai5zy`qGFE5>ttMeE=*+JCyNiJA7s ztli3bDNp@L58!KZSsy$LXe9K`*U&de@c#A`1hf}4D*F{xALJ^BoQ5p@(mD|%@%`YP9f+lmDeqnL8DCfkt-s3)$vKH_6J==Z{P z9Za^j@$?!Q3S3Mdq^Z3=JVc+gmKlVkZQmRDPbHQyzx9cBjUL}tMBGI;3T$@#DV0$dbHGF1=;(6pG_JLyXeK#87 zXJLqIF|!(8zkXdn_d#fE1Ev1bv(I`{^w9w-sV1d{FE}`IPHL0VHrgI1@bz27%B> z0Aor0U#YrXNRNBtJA6HawzeV0k;aJ{P%f%(z|-62tN-KIn+x_5Q2OvxCofX>DsD94 z1PjHaV2@+-7WRzCF@UmQsK-IGWgfd!uMhQRf=JvK-);BM^by~8Ra?{+y9{TGp+n+45CVQT0h6`To^`^>YT0fZxPmCT&Vf$H~w#D_AR2nneLgN)otM zGHUaWw-Ced)E8ch=y{NY%X z>Vm(v+mn{{wU;RhJ!3RGOc6RBdf-suNsg#iR8I2~tXztgg1&B2_?l_mK2_}n^tkS@ zPF(o;R|xC>9G&1MeDamPrnOS9>dwhor;Txc7rZ^ zUY@?E0-Q>_LMg=F49atp_QqH z#VK-Y&M_0pzp9pB5tH*S?f1beB+T1cuT0*%bW4ZhqJWUL=6d9p2=;B&=S;KXO-#|= zJXs#W@`!uVP%gJ6P4Kbfzh{3qakkvP)`n9J(id~Bp2x@l8kCwhrWF--G*KqBz6Os_ zUzn=iRCWcFyQ5pdYDpPuXEOJ6k+74-m<16&@IG5; zmgbKi0ZqQ&t)D(Xyr_><(WUXp>$D_6pQI1FLe@KeM%>awbdiyY4`O#{DPizNL1KNu zRQ`oX+V${Nq^uw`BxxP=(na?%JS^)1AEd`H%D3x!dNwsR^`3W-mz$fr=G8?S*Q24~ zTmV8>xB$T0XpBUOP{5_oLXV~N312o>5%CYc>E7J;dvI_lptwLPws~jBN?PjMw%A;c z$=o85pTCdV%M+>Rd7evcwalcUz>VdkARB0%Zk{Q!@ru-*`Y>d?iJ4bN|0NOLJ!O!G! z_%IbUDd^*vY}1{~3u=LM4c{Mkq`-Cth}e5Yhklq94#Rv4_=#I%hbQJlU*Vq~vu%#-LOcK-@9QBBC7yQbYf(HrP~p8tWo#Z@xiA@o~ScG8Wk~`c^#CXwH@C z5)60dqlye)N37)kg-R7+xY*ViapA)7<(zC4n0P_Aitf=nwP3OKo*WMJj)U?Vo0d<_ z(_w*JyszvTzFe6q_8{!GUS!PV(8TB+olAN#h%!?(=)%<9@H0LN4QxX2TN(#P{aRV5ldKFO)QxzWJh4y^BWwRp=lPiKR+z=Yy`TW}a z2I#AH;{1i@VdRk7ACSp$vWev$ov0{PU*+hlu=m9BYNrXMBY9+dmgY{<<=on)k`0%* z+J!d>Ru7gYlryEBDI$uczEHKmrBH{G{aKt{>^JYR-5C7-tCed-kh66*C^@~ds%kX{ zVM)T!!4c@T`U>aCb}HA?0KTre>Q*)nWmFT+={;tB!vv#;m+j0*c(AINYSGj_tjNR` z^1^+b!uy>sZ~W%|z9hxd4xX%r7v ztk9wy!2_(hx21kOyCFG11t^V+AOaJwy-DPq(z0XT9^38W(svYv`(kLKlY6%uVtm5=~8vk>ch1zAW0bIdq5#KMHe zWE)~bhIQ?3;vFXBu6eGo40V>p3f5zi3Yv@pW8rdi&9rV@s&zh&7YvIy7?>v8dQ-%0 zq(9eJHh!NSP@#cK(S;t1>tps9n(pu5Fn1k84Y&aLY!}8hxySD}{eJS)+OL`%tCx{= zb#kL4rkbNi$WPhD_ixsS&7ySpT`;Ex3k$32!+w+U+p6i>OudE=t6w8;!1|t_tvSKKUPS_)7wLH-q$D$vS3g0MGC`HX~|x! zlCL3(yD_h|W(IbF=8KAazK|nMR~3`+R!{G@dMqE5;e&kO7yo7seis)Re5T9NX8RVa zmd8K68o&>Mc8^?BOvDE$?fZiW`E2jS3czk8rQn~8L-Yzw$wr2j|{i-XJQLzd$X_ zIHCYge095(@#zzDrT`xD?YT^%QtPuUlywh}UfTOSe_ZCsxgXo!hmqv^X3%;zY_mkK zm;oj&@EU}%?JHdEwIFW#dxQ=hIi)l^Wr=our9Y9z{lFLNEixcIA*g;Y?vH7#pC4mB zzix;0Y!^!0XkH!+u&}|>R$N@8{16?ywNOhUtV&|`_nk%w^B1F^Yd~OZuqcaa)}tpU zXUk(WHl)fdzRdz(uO1?D|Mtd>3P&e6cP;wZK;Vu1zf7ctZQ`07Kn*w~u#0%J1z}A03Wy)GYgXKK{-g(tkMB z20woM-rN2PblFR&-HGM?^;>xd3b1y^D>GlIJ&Vi6HNeO%uwEqjpl%Pc*RZQGxRF-` zz#;L>U*rwGCXU*gKh+nINlxB9055k?STZizgh8mPIOOvJR4g8(YR3b@g`#xSxK(M^xG?p~x`(e;hZ8(Psq*gWH zcPrZ?0>(ScTDZ#8%O2KIR2nwgm~$1Ra$;UUufs3`SJV2SafVpDxd`IwXi#jKazc_ z`HZ8WbUOdxw#ioD3jX|{&(xl^a5%nN*48X(T+sjJV$NNb*DxMxSCK0o3QzvTr|5*9e?Ef#<^8%i^2<{eT;I@`T6FI+ZBn02duAOzD2ge zlg5rK7EjM$uoV%hq9QFkZrKoMumlWK$lw2-NULfF-khW3LR^%c^J~0qG-4~^;$+;h z$$*H%H|T{M%!-fxBXms6{-{s`Yj{K4i16 zrBylwyY5{1?~7XQ*#HKDtKo|W9bHQlg6CkDnZId#s00p?-zVBkO=wVXT5EM%fUmw} z`;$H}4Y0wa;=$psOWki2U5&3JP*94@e@%yZJ!|jgD^l5Z!X+ehdnW<8Jj;RX*lB7g z_*UX*6hWJtYh`2;FxPfyxOmwySJU00MUlTn6oSLT_1CtW?anb*O(cyrzr|!~u_)VS zU>P9_+mEe%X^O+QM#J%R`SUaXk{XeF<#k{bM$2%-al!844b`{KWN_2n_Jx)8a!NTY z!>%qSs<5Zh>bzw-4)-qBT>!KJc9{~sx4#zZxEtH{hB26s93Yy=6zC}N{-2oJD4sJ-ZL+;6L4MO zd`kJZ8<$+fa{WZFYis@t$gNSGo9jP|vM8|{bw_JUirG~YhtHkPoHPn$KVJb*oBhrt z#T09d8SH!eGBJS%6_OXWft&Ybd0B&1&@*=9I<;(Uu}0I(Bqi6}=2@rfd3o2Y|JcJj zOg~6o2M72Jt|jp z&uCj5(ChKikE*yCoK(6bmu6?r>Kr`V9*?knY@>xIBklgH%KHu#%9Px&UsuXqW(z(2 zfu_YqTLAgrq|`sU&cI6RbG)iP%&4a=xKlT3Si=>-UILAY64t-p+mWHd%2zRrylD02 zI?RJ;NN|emNTtggoR^sEz60k$W=_i2In-p^{mQ&egK|i;=2Q7SH#ODNWx88gIrUg@ z9yBl|khPU&7izYsqnBASRMu z;v{ZN4dv`v6Nb zR_Xj|)lB+fWXs6$g0_vCnesbj$L(>`L_aGJ$-3WUR*)8C4t{cteudeeulH_B>Yh+~ zab?~|Dov~S2zEbcxYk%}%2b|2~4IX1{h)v1vBQq#{*gb^rio z(h=~|vlK5boWEWCb@@uPZ`LXqb#*PddC5zbxo{$pzm0RYn&S(s_RZdeC3^0Jt)Fwh zpLVA*yr@O-c@;v06?XZo+(bbsR?&AEh2D0}AEzaUl=l|R2`g144M$YV1GT$+q)Lb6 zZPh$HYHigiMm-VosU>{tA7Q}MG0?$7kEm{uC=IO83SHjiY{yhbJzaqF~!W<3#wY6E6oHuq?R#G>s17#oS3^2`Bb#J%j?cB61?!RGk z&gNa8z$>b$w)yb-(tnWSPzZt3WA-n;?HpHPc0*b)?|3g%RW`?(>y^r<%q0`0fhcl@u|6@o0sWlT@^VQZy4g0 zBZu(c_2uB^@LvoDJ%TSM$~gV2W0PM7_wqBWsCa2lj^hM#pztg$e=WCr>sI#lQjK4i zEufv`VCu4r)-|*EUL%;m;(IKE9q{SwXd2A7Y`?c>$a*o><^ho|#A{6*WU8NE+wafq zA0~6)*=-3d*9QiEI`6#cHs3x!9l$Ot6ms?Jv6~gblfy*+&hRJ6V?Rk{(0?~^4_3#) zAog!|8Va4=_*i`gUT`=yOcl!H@)Xd0sxn}YDAsKrTJ>7IpzK4cmTfF!AJeRk7*}uc zU5JJzeB<}2GU8v6vWsF0_kFt)66!8>gR2-&^wC;iqAEz86%(vcW`U9wcp&kAG>ux zyRVIIK>L;LnZ-0DBp~_;o#J#xP%u_~3D_IUxNXd2bqU$|)A=GWL#4};PVrLI#9Yjr z!_IAUGl+xB*X^P^>u!V`7+bDN`JJtix+bvQU9|T7%2q73x3H|PeoNmpHPM%L3bNMH@f%j&u>9<#hs+_bA z={4=06Qbj;WE{z&w2%Q->n5fIVkdc92UuEu0yVf9uA*=#HP(gS)%$tf4Z^2!GvOnv zqy4?1QxUHovpTFZl523udvU)|B7^;I$;qXidOr|gx5ksF!b3WFLtMu|{yv06aUrjm zag{M_6?91A-?YCSX_tS+i~(7dj1Mip-M&)KylA|*1LM0W>m)xKx~;!MdxtruE1OZ| z@u#>HQ+4#m;9$)z!cTV<986$cp;`#UQ2&_Vuy3gy5os3ZzFBim5kT2CEhOe=z@+Kw2eA!DG8fn zj*-ocaymg;&P+DSj7V%cn17$6iD;1PxPD{?L5q8FhzV5JcM{A&Mv=IwTJ}D9)T95ezDU?t4aAlRGdD_-(TVxRl!5m~S$ zKvFS&syms6eZ?Pa>W%h|#`K*D*mYCcoz1wEVpFO0t`Ezs-I4H!k~a?ku9wAmSB6Xc zI21&O%8esi=@q!3>~?br_nSu>bNhoKRwGQ$3$Q{1nCpEfLdf=H$&Sa&{L$Abi*SQ5 z)={#XC1y0_<5*vOp7+jqiVkkx-|iOcsMJHftTW8?%KG{`JrD*D_ahrymM1m4B5}>f z`kc3H=)kXOlziquxD^H4Y_B^r2Z3c{>e5SWBeC`9v>9W`75n6oU5-wPrXF#N^<{ zC?U;dwrau6I{2+kGlB=z1JG*MzV(K@GaO?*ruL1SBJoTDkq2Cnc=x&NT$6BCsXHU8MS2{}n=TgO(@#zil{45gX1+9zEG;hzI& zo1ezIcCx`(drmCPRbYGXj1VVKQ<(e=WnQ$x84E#iEdY(z8U41CXvM|KOWFbRY=aHVGRzI>f{3^G#5Q; zq~c>!$Wy;|+Wu`MC;JEgpCZ6;${8wR3k2x3T&*YdkC{Aa8W!g69eUN#g#+Nz*`PnrEB`V$=N+I{0_dlJzeYC}X zf9&a{B(}QE#;--gZl@RY(u2f3%U`9qTNwm1RQoxpkm;k>J7i$0V_D)K)sbT>P-xo_ z8?G3Cx)39Hu4m@f`52paM%g-dcYb_NKCot_aDo4aYX9;%Wn}irJqXR=f;E;4dX2oS zysARe!bW9mPnB7c!;B)$Y$B`#YRLX&KNKA=psn`9(XwW&NjTMA>eDB#JZUjuHD1)W zgJjAo`**)&qxr+v$8hIFOVs!Gt0VgWD}->%ruNti|JU6T!|5}9*Q3jlxcKh$JdFI* z)HbhsSHe_V3rjrk#t{KClffPdj{CSLW0Pjz;W2hm%UJpDk+w|CoZk!NI$iLgWLvlI z60>RM#l=P-spxJy4w7OL;h%0Kmlw8$Zlk%Sjn2~LjFY-mm~A}E07o5JFcx1i5rSFA=Hp(-MjRfqUYCPP}(yP8pMED?Y5IV?M6Dbk1563oCuG1E8NdS5JD8 zk=N%*-TIG#AAPT4B?g3Osf4}W$d(;ljoxzONC?yLI#DEJZEBU@L{O7ft(=lfBC%2) z8kp6C#Z#%K_g7z=k`JGb@qeHsLhYAn0O#x;aYAZlULuaq;a*#9i>}%Y93GQLf@R^y0r9rSk=d9m&;`9c&VtyG$P@3 zPNGp|lHJ?>)5$@+JKjTPg`#>D8~OQ)Ad#TM$>HkVk>dPUx!o)M#eUH&6i*l;m67M} zYrK3*4?58OS+p|cJxo)#Y=!N+*lJzX3k6$)ha0&9LO{vq2=30_m36cWWIgW&R-_hn z24SHuBe6o6DqPi+-{XCK3Km9b)*a4pp=}JwN#MZgLXB2B^~xom{GIYqSWoGzq<NQT+Hek25WE-O8@YHqNMQg z_32?+L|9oGM}|ibr0DEuvgQ<;R2*0DJ*-d77(#d@TQFsKWVGik$Grl*Ab(PB9)fld z78-h`Ll>Mlgdb_GykU*aT^6#p$GmR8$f7@y-`3-vDag3{BK;dUBz-|_k*rj-cYHnm zaDOu{URpA8=4W53NdD;ctp@M$b^0)cA@@d$Vd1#2TFcX4v4gcih7nD%`bFLGPjf6> ze(58rSm@vUoa}pQt?7!)1`Hogo{WM(dVU?Tbl&EVv6akD&Z^H~{9iXs;b+Ed_IT&c?HtWPShJ@yKs45!Ey^iai0H2I9t z5@Sr{s2XnX3Co6aH|RfsgP*NzRFqS}{Cq+tVMYdAt?*4W&nh-EJtuTWQ<4Q!cjJC0?N>&}&Qz*C(O3rQKO zscam-5>wvJd9@Ik6WqYgw(8URLRIxIn|J;{1T>P`dK?huVXe|2o*TfqpSsZT-6fp_ zddXeI?{JPb8#_1WP0hGH6$=mZ{;6ngTj;6+gk?E^U0YGi#D^#yEGaIts*as+(;UkC zoJ>#!ugS=9^dLs^q|1^iS{!If6eHJ;vv6JH$90_bhXbjrww~uzVq-Vj__t*7Z3w1p zHvy^cve3Uus&Mb|7^9Hear_ucdt%AQ@pOWDP%{+Kr_7Nz$1)q8z2?4+J6Cz$%AILF zI`i^T?|xs~>^dQ%NbSIuWK!5XvA(2Z)%WK;`+lEak5bR z5d2w#S=i}rqM(6S6B;!$<;92@y~#mSS#M$TnAo$Y$KO4M)8_Le$4bf`rT@C*vbY?2p$nt&S$2E#1W_!t>k5aQv9MfYHj}0AIZ} zVcz?JuY7yQM^Ngx02h}B;lPx~lXOvlMG3{rg8l!r_f=7GbltXrG|+hC?(VK3xVviz zjXS|1NJ0Y*!4urwCAft^aCg_>8X#x_gupGn|9t1%G4Asn_vP}!ps8K8yK2{7Yc82{ zch8?r(?Z*mp3DNTTEX{jp=`R8PB4CO(lqn8T)OKxjzV*b!DqMKS%i*$xlHdW-K=`i z00%*j-{_;N8ZqD{^;DyYaxY=8tI=Q9=8x=^x@@V%ORve^1_*W8ER9NETb#66d>+5h zK1>`b;RAHW_?7XKir;(&8qh)CTr6v%@S#{dU5b$)81FwDdW+7wn2_hM8>uEi!9s&? ze_hi$e5PBc!-EW5->gbhJ3ScTwRdtb$+}eBZlJg{nphW=yk2ic%hB12w4aNjlbXGW zLJ^v^Tac*Hqq;%C&UQWDkjNbHy3c`^oiEh$PK&TM7++H2S7nPMHsj(WspFhH&Z9A? z_D)qD;DIbxL~Vz&9)I)km$CqBEtjo<9b;^IeLb!)c>_J2c!t?4kq}1Yb1PZMbE_IKN5V`C z*}j26Yk!d68$Y6pg@+(SlU$ayCRCr^jEVVEO;Vl_x&7*J<4-G4U?@~mi{1o00{ICg zkCRN7Q060nAy-}IqrT*7#&VDL+_E`)SJ^>9^=EB=8rLJv!^EY){`{$yj{7>p1hY+M z6*ydBKaF}|#uPdCsXZbK6MpRb(U)#rGK_VE_1^u4`CW~qw_Bg7)`@Svi_U&}Fa9=P zJ;hw=+P?8D26E1v2!mWb>zzkL7NeP+5cdLa(B z&|Mu!jVfq3x7$2TGDg$0pr%fwul%M4UUn>~R(Ads4 zM#OIM#b>(4qS6AVufci@G)Ls9DVYUYfer!#hYpQ9EHn!m=w%=;Vv!|k&uz!mY+u6br>|EvgEU)drM-J!32$l@ zCAXPBjl-&?%$RDd_8?_!?1N*oRAJb*Xjbty`u{H z*X=wJg$ zn{=J?H}cw_yVH`Rk^%Wcd%!4x5z&B&?HSeoXkG7s78XvN`VK??+*ly{7dZ{m`q#}g!&)!b38^{y8?&5*&7I^R%W<8 zZlq;!QY?MFJNaaVTUE8fXZA6OeSfBNSaXDx$=sP@@o0R~YduGzhLT7N3;%c3%Jle< z^TlWCwCF9?{%ieVwZ}?pqaFCQ;Jc0J3W-DT%_N?Mkhdm zje$ahtw&+29inV*UF5cX0wXI6sUSj!9FQ*=8D(BNW))~a`m((sjh^xH+;gKC1cjJB zTFh^_@6C)ydUZlC$Euv1Dly7G2vn6YF_p`a3m5h)thBXQx=ewX1GWYf9`JO^I!)&9 zM!3mreL`HUtlR&b8O6t=B2M|pYFe2hd{^jV z&4KUjT(g(!mIj-7o~%j*XgIvUUv7H%qN}7hdQs%ND|=DmptG@@+6uLTiX$otkw#2B zDC&iv%P-dO`7ANa(~7-TZwaH6F!F%sCIKxIthR1U6W+DXuh!e*B^>>kJh6Tz``DY` zUKFONO67{tLGO`SCJYtV0bfw2bGZwyCC0m->6Gv9+TUaxRKqVak}cN7=d&W*3dCtV zMvc8~z8qrdw_Zk+|7FVcakFbD=W`%sW8s(p0~R{_XUEmrG>+Zf{QCGqSXt968~KgV z-&{s3OZBXYzT$x*?emk{1S!E>zCTY9~+{njAi z_}s<;I_{*d^SoM@%UyeQ z{ZK8`UocFQiJWU~8fXA~RnAFa6lEE>R1`RM*WOt&emddd<%)0qQ{kyu63q;Y`k6p6 zps$bAQb%a^qq|iYvXM=QViL8*f~KJ55`MoN6>NN1rW5x5Hq+*O!QWDQ>$Ar=Qc1+` zKq9G{;G%{Nd)euH!JkL5{2{znC_Od=^LA=_{Knka`FC}o+(aQ zw&1$bxOpM*wxR?(oB+j_dbCQyk-ZEkqU{<0!f$gZ>gvM&2gletmzHF;eu8rIv7fzN zUL$3PWK$(%3{Q+-)YW~uRDFZSr^2+CZT#g!GkXqu89q|?#hDd8Qc9inzRl0-F1<-! zPJ*ePQ1;&UOsdA)@8b9}OM1<=H_pNWDaF41t`1R=s9Nyw9EI1UMwwGkrSa^9#00?O z+7niS4l794u9+K!-3uPC^s=ZPYrIqP+)^}3_GO)ZUsb=npUE<$pw&2zz*vhAowhxa zR`AKWYd;+j&!cUgJLDy=KsNs&(1p<`zI3=p6ne*Pwa4g0W1xP@7a!9jf@u7UvHx#P zTysUFY4%;=A3n3(^;g&u-d4K{-w`m8J1z}Y{=8<&Mu#1vzFyxQGLntfvCVgMCg6Zg z(cWzspKxtjbvg1Iv7iD$7yE1u)-;mF$a$_Z>soMPxIZglY`)k#F_L-Sc4jp9qJr_U zhYO0Ye>v!BTibmIW*~S`AVggRGLvxS#^5OoVaEH(oSgd7O@n4H?Pw{cPT4MKbu6}z z>t#Q9GqWd|+F_9x+;3y~Mzf~Qy~)y7x2k64)(cbwrI-$e@58ulehE&V< zV+#r{J-m5C@*F1q3P9*HxX?AeETQC0z-;Sko&6PSUer}`Wa&eUsGDMhv5Zor;MGXI z@ymtC2f<%q!VYpBt7P8g;y3Ug{ss)$FEi8PJIfqTuU`OV(E(n6-pK8}U175+6l(Bj z$qQfe-s`TB1>S;W#kM`Ct964Q5fhFR=b`HMhIOf#i}ho!oFG!dd{^p-!_Td^`r*0y z16{oz2C_Hx+P@cbF#%qC7t3Dw!+qr~w1;G+r1@df;G5dC*LDv*C)G+eImOb?>!OmT z`_Fyp3qnL*0YaP&kM`l& zdUM)l^)Zzy8N$&@n%HULU-{M1+&g`$EEnz@_q z=rG3cD7c{(lM8FFd*&YOD%4uC_hw;~BeGiyzjJrtHU6x!QWov~#osS6vCC&63|H7n zs!>wJi|G_7C$Db^-#5i_n&v#<3*?U^P?a$DpWZ(Z9Frqd-H{vd{23gs{;)jk7w!(D z?WuB)4zU_~`#EIGkze+mGu^v=LEcZaEn?hN@^0fre}yzso!5}q zMsB)iXk@*oKz&<;1Uq&jJGHU@^ht<>h>POqNrs#&mt3qEC zpEt-huh{1vaPB$I-a$7E#z~GJCQ&SP&gX7aRn)1|mt(3Q(f5m)Q`ApFJdmY!em~rE zK4kaUILlxJ?g%m@5rR0`*mRKW`E)17wH-Oro#dr9bfa7+aSL^}fId@SX5|jtKV#pQ zp6f?eIj9GcBE4A=sx5*O7m@#UnEfHB$mOs()8ze!JX7VSjO}ZKbQ%?6nNkSvw8@Tv zLw3L==uN$BiI!uE_D1DMYGU&0x>#IrgM}cdr35}Lm^%IVo2BaS!2l;rZIsdWG|Y~I z#C?B1&GIbgtg`SJZP`T+mlc=2JS_4el17SbL@z)_E%*@$Ik3cTs(f+t7fo+{U z^1a<3ly!Zz`c1jMh&g(xTFpib#2sQqjJe1C&Ag%F160J4P%V!5G6uySqlAyuPOI?x zetoyW%lgj75-~>tg<>h(6P^i>${>TDc)ckb-CP`)b&|h?ki4B%Hbj$67Wq`YiX-j!&x20yCo?*K+L(xaR zObdd!{9x2H@laKq^P656Or=wS#b(3 zh7cbom7{Bw+qbC1dhE*vUm=SWJ@=`#Ggayt`8+JmjglA~Rk95-FZTw6=*xx{A}d`x zV{q6Q&T$+w>YKc21e;1KD+_j2xnB+vChbL2d9T%DV@-IDoZ||lixW^;5SF>#%s04S z3b5-{jZ^fMhFinWv&7!Gz@At#{5It&8i)1rZF(h7T*V$J< zo2?`J4wCe-nnV(3$5>ZR_OitZbl!7lZ9;M8Kfm5@cs>$UHqqCm|L&v@R^E59bIa~Z z721c!70d!+wq4&hM6Da;^{>X>q0hakRAZ-Q1iRyh@8W zFD@mP(>y3!Zi0yDK*0Wa!cvQjD0zd`&_2_`sQUzu#04F3FH_uTtH}__!rNH;qPTTQ ziKiJ!$D9_tN(idVe3|t{%*y&_fJqA~9uPwO2(&}h1;SKociwXIA*$w(uf*xM0h){r z3@%Z6YkOIzi!S&-efV;z)xd~wsi2anGu6l@E#jKcJsZeI%+E!Kny;rW$b5P2dLRrg z{%ldUp4xYNt?Uckd3SMHbk-BNTK8j@{EBRh5N=hZ8@I?Nb3{6pF9M)C+|NbFH%g;l zn#1yEIq?x4?yOFXYc*$^BL=4lu)ajp@@(ICU2SKmjC3Tecshp06j2B15R7ErIH!8B zLRqqiL`I{6RBK10d_%22VxI^CdDwWCFDAsfO0eD24x6f; z+eXyA%)+z`Qv-?6NDQm)7t$q111Dg=Jx%mpQue;nb-<6EewQKl4v1kxKxlEm|Ip%+ zGzo)(`c!jdH<>rom1?P}0jLRN?Wn=4qKL_DD!cQ47|EX^vA_u6SEn=t0`HM_3H?Cx z?{SINAYkl>kHH<|zaIfvhp->`AhgH9!2u-EckBO5 zI|Anh0t>R6HKTuMwNVk}6rj7qNe>SXD^1R9qEQ*uZvmohKoRQKVy&f+nVthMJ;_$d z&b`Kk*K9--N$O~byU4KZfjBPXhJ!8?s_2*)Kv>k>*Z1b``bS7`@Fep5XH%0_ck34~ z+JIhwx4ypj0GT8}O$&p;QaDYQ8yy#t*bJ~JM0HElvl5sz@*6cj8KYoRiUr2e?xgS5^{)T{nVqa;VG*K7afBYXxBIJlNgUYxnaiFDxnHGVA!N4D_*Zy{31& zI?xgp78Rw9h=~~kICF=}OqxG8HeQEel07{9d1GQ?qM@NdSGMsL(6##ZaQCAdj^5}n zm(S%#BO@&h;iaKL7*~GR!eP=hy0p}4A=d*N1GLa!)O2)oyu25HxV>irCv~*RxSk6o z%3&!rln3lup7oSy)l7yMe(_}CN>$4cj3MDeu0p&Hu8tn2CypoCn_?O?U(`G5{`&Uv zNnqmYnf%|4jSU8sWJ%QakPw*){i#KG@Jt>2F z8#U#u%*Xify@iL+dfLj~R*U0SmqpF!%+UCQp?53oEQHv{0*7dJnVb5mJZx^AR zq25!{!_z0p9bm*FBm^Vv&A)Uh)S5Op(8-rxN3(QsV!@xF0DbpNi3T=0x=y=X0u)2u z%diHDAmaNDpy5VY=~;R6Ehf?x;2f_0_TV>>{SwdxR8mqhYWKU&dH)b`CoP%Q?*BVq z@9X9G3q!0ygH_@_rOu-

=w#>enxi8G!OMree6+yW8C<1**P|U;%i(dB0$N6XiJhdQTC0T|;r|8ASUt8x>K`)^=g@9hjFrl>gwvcL#9{0}g zpX)h&=)6;M-2R@&i#T-Q{hB#Xa)@zp6HE2B02k_LK5{a)veMa7i<{*UEx~d>prS}c zN-7G_)n3K@{Pviw-L4C8q*I9p2q!Yj`xY@jC@c0Vs;LD6O!9+HYhM~!yD9PT@MO|y z{iZ4mxJH>u#drAar$N>S_qUfJ$e7x{2=wIs`7Tc25AYr*O%<8oAZwZ+^Pp>-Xax4U z1BRaPZQvnvAq3-)Ha>rW5W?U8JQ@=yQ|n1V+zO}k`|yQW#PFx4mr*@+t;fE)DjjJv z@Q#=pb;((tZFCtIi^Gtglpig*re3|e*4~T=7D9eU29)$HEYQXfmr6mX7ei6;qLpul zak0PC42ETAGBqw~RP9;G2N@$0jfQ*{7hc^dP zz1C9-QSM4ds-Ry))$PcC3y|q^%RzBFdA35Z#Y?pc`UgMJ4Vm*G+D5soeaUlvA~rX` zD7W<2Ty;I{43=K2?zls9iKOW*MJi<QtdZ#(2Rj7O$nf)m=n8}P(tP7kIEv?92_4EjZO z8v*zAl8(A-Wi+m}ffxk>gn}4BEV%ou0q+yMkiq zhcuMuD}|wiU9{+mBuW?ed$|*jko?qQY#`^g$D-0Ej;GEs&sJr%fKuz6E4XRNr8||f z@8s%jIL4cl_x8%t4}8-bdP7ft1g_vaJv}X_v9_MFvqMA-m36m*Y9Tiw|9x)J`eYOC z!5^^0Z+TJ(kzf`Il9=tv3AsG|?~0s17K53Pk$qPMh@%CxbO}xzib#1i@lO(@ksTk@C`eEZ^j1@QxAmaqF51VFE8AhZ8jb zL&432XtBx7v^<^suc6XZ$AM7Ay8CSxt^8xQo~)M$5cuiIv{Nzp_Y+AGIUu6+fB&FP zOptI{0-j*2FyRb8b8jqDSet!%cM9%IQpiw5hVmdkVuweu@8%Cy<(Qr^eg6FYnoEES zpV<2Q*22Moov0VE%Dc~KK%8zSAI|lOE$qOV6W9X=fzUj{6Gp4i(9`n-Luzz<{n1~-uDtjV)bVW1gFe`J#le>0hjaK1%yXliPzrNazQB|l~c82~yB=u=0VZx1GEwlW}f1h=TJ z)xOdiuEx?uK>I*e!SFSIXn8ocX#vev^OVjF2LR9=LZs8_CwkN~JkOykh!5z%vV z0k#1S_Lz`(6hp(bdetenAlc}#KVH6FDD>t#Moqa+r0Uatxgh~Q6HWNf&M)ce%Dv5& z9Oi%88m{#bVvUi>`isSqjAl|knz##FuaC`srHRAuxmiS2WM-%oO$VDLYpt|yfIz=f z!BP1Oz@K1aMW556Fnp}DOAv`*ZMB1iL8D}cT0H+4S~R#H^dykfNlEHj|m zRs@a-=OOzWB0z!9UgW9@u<@IMkkIu)ILW4%#SOV=>FCZ!JCQ?*Eec&b-|q~50vt2A zAqzP(2pp#mQ=|3yX-8y%!52vk4~g{H8>WQTC8tFlRs_EpqK7*|ix? zWZB7$&5bH`$zO$%Xs2q@rvNu&M_w{O*jElH`bm6-n7U5HVcdJr7ms4|mcFxl!frT} zj1J|SUccPl*l=m50oX8Z64bZyi2wyztaz=pf{phAa2{erK<%M$?5fY=2vmf!kmv2N zfN0Ku?`{JWtb1+Q+By0i$;>i_M21vajnvRA>8PLO2RL=WqA%3SzOnjhd-7Z*h!u{V z#Q&QBl#6PR;V)nXtVX1H%45`&NZ)-0yKi+fHE8|-${yKpDt-HSuuH`#4K41-SQO5JG(l1^y8fB)W{I6Emlp9_w?wV8xVK+vZd6AQ11%nsr&PN9(r8%^a2 z(e7YnE|qJG#1+vZJ!_u~o^k|eQcCcVs&pB$-|msHa~8$PyM;Q)Puf3)Eph*`2-6PmbcrGjIi;>Q*#vR>G$&w4NDSPkbUXE_hzyQY zk?|Uh^SL0XuZ`w_@>Gqvj9ico(+g|EWvEnmq-Syxj`8davvRT)wWOHgrl|^nz-Ya? ztT;N!6*vW*v;E9BNPDW(hgNqy=?Cm9&_1p9R6K+LM&c?GYkT~9u^GFLx)Ve*#eRu? z^$WK!=ve{SLZ5T6O9Y=wOZ84SG#eC#a6mv+aAfS0Yu=!*LLYs=UHIV|(O8T0xfw}c z(j$v~Oc=i!luoK%ON}^bn$`xDkZVwgb&KsZGfwORoS}Sxl%2QJ8AB9%l=b?VA7+fP z?bHl$>fS3SZ1W;y2)^Bz0(}pHJcXg~byBiy01p;0yXEOIk}Evj1tDv))tUtlT99 z%=RykPE-e3r6?bMeM8&$-~LWHfWQlM*En(X{{zW^fmu%jMSo@}KIMu3@p%$ipFp`@ zvr6dGX88|#S7rkIhs5zejN0h`IR-#jPdR1fxf5J-V9ou5@L|&tz!ZxvJAjt_ry#)7 zRLi8FvTAo64Y;)D2O$rzPj!!M^Gz5G>^C2Gvt2R9lu|HVvi}Om8iM8(ibp%`3Z=Q1X+52EL0D4PBuCkSakG!`~p}t#&QyvH28oN7dIFuIA1+W)E?TMY*z&OOFJ)u zU~0bD{KiZ=1xGP!@ybrxFB=rC$Fr{IW%K#Rd{vLw41nSC`^r_f;wxXbr$eto{T7U2 zxVs_34ujQjyn@6Jm;S$w^S-2{q|h>c5aSv8z^T#(ggWFYD=Gf|`CU@q5c~1YxVL_8 zq*|ba!4AjVuHEe0yBfJBz_)?C=m4a#CaH0$@ouvBM7@tc?EM~M%7MIcK3=T#oB`XO z(Fapl?wk6oA(@2I+_T5`D8p0e?$RmQ=obuVBFS*}G*ho?s6*zfSFaMgKk9=;R8)oe zX->h$I6{L5`tJ424APWxnl6hqo3mv)tLMP&-ir`RyCWO$XnghoMStT3TU<$@p^K5Re`K_3U26--5-^Lno9e0zZJGsK&mA;^FaN3%pN zLmr3A?)4A(BFp}0H&@qOQLS-Qw21=(2&A)(G7wI}S|I#sp2fP8u~v^<(&QgZa5yHmz+7La5lKCjfTTHcP67_Y%x0y=E309hr-->*sui~)ad z_jB}0eTZqFZ9{r+w`g!lpHFR)%zhf1n22*TXzXy^l=dq@>~s(#z)K`vmS!ag51cMk zB87D%f4V1)*_r@l;iNE5Hg{sKpnjx%{vof7*`g{!;_*Jg?x!bc2tiC}TvMB34YB0| zkBZPHMz^7-u7|wglusZ5HT)S?xdPYMv*7ZgAtzalLp%*JnAm~s6{2B_8$T&IxsxZG zk^L6Tex?``#O@V%e?GtuBkgS;$9`Kt_PdYBY!XuIY{W%Z>oCW9N{y<^KPzw(gxdW4 z0SJVV#ZRIW5E0E`f`ABGj(C-VB=)Cyg<0w^A;_v6oGv-QlSmybq1Frr>oRvW71>MW zw%|;%kw?GAu#Dz6X>!_(QQf%$kSkw|O>I!u9uQCwV6{%%ntOk9W{yGj^*pWo0niS^ zAULy1ltwq7-Dl&2BGb!bE%KW7yXT7b1@)@roIhJb^4!UmVQWed2TGgw?4vi&62I9?i87iBP?wBWX6G_%25N9FX}D8OtL!PZM_A0ue|BwO#}0KtWvdEP_?0T1!gu8PA{; z*H9qQ0l4|Oz>@`@4EhCx3Zx7loruk?b&=p!+UFJ!(S^zZ5m8}iB+XN$r&0sY{OFy~@} z>etG+7jqUQf;8+_5Imm+Fajp+NeAG2rlDZK-X0xLL~>~)K5+gxPi&ypqy-PgqehP+{{yT@ijY!~)Sv8+jsSJ#ot1GutaU>AenCokvvLaww^m zgU+cj;FAMeQMHQk+f-gLJ|u;KEk{5LcXDwyADOava#A4~gIn(4FM<0yl5771Hsh<= zX}k(~k8O>P4rN_ke38{LK$N>up*(r2B%6{VxS69{rY9j6`T9wB@9*@1zBYfrjjN_b zV=zMvpoB=7WwX%Iu%nuGkD=?qEB4+D!5~$0RB1Gs^6;Uitm{fN1Q4@ zZUK{~){(?!|JuMtZ(pE6GxbDUWi^BSQ@{=|O6m!gKB6*CZQduT!WZ6* zV;j9&g8(*%G2{rfX|X)d!%bnKWBct($Gd|8U?0_25W^R?Nv1K{EiT-~+?dv$=G;1s zlctj*sgm_PvaOO>WP;Hw;`)9KnX6(kxl$PZ+CU{Yii^zqbF~%k8w}uLu_ISyx@siOi`iLN&{Ltmf|otsUhcb%KqJtqaWFVa zDcETaBa{kK&LYGPRBtyc^#E5a|M`t)j@() z(5~hx_ZV}O#Rw~R;Q$lD{W(F96(Gg7)4>H1`fb8EGNBlzc*ci$SI! zxcr!Gp81q4Y)JY!{|@xo1|FVh1*$Me6F$Wtq+zq~6kzQNPi-Vi)>7ma>`D7e5nWt) z$99dF72$=VCe|fETT)@v2Cf;I5n8ltpF{cF~g-K)iL@*%_hnoXC-!KZT5~ z>ZdWmF=R&*rtBx#4el#}NOa~=H? zjesEmL@-&ay^=YIAAmdt1}2}1FYi%;K2c_xt4>rX>Gx7BlcccL{si*$VvaDX7-9;! zTkQBDIaBc=T|W1AUtddZ^@4R~d%YhJYTUGFNm7lZ$>r%(JCJ*3w zCE2ISZmHaxr_!+-o@B!RPGGsmbz=5dwhl-=`zI0hA8*-07I2L%Kn8~Y?NS4Ev6A>$ zZ*l(}2b^p1>0FC6$;kin+0!Ba+n@jckpD_A{y)1f&p>r`b<;C5e0+T9xg*~U@ni36 zKjHq1cYwYnDQW=$0%tlF9-fL)(eNs2mVc4f6X3E3kyB9A*Vps7TV)iFeAE3uM?bqn zmdEmprQJ67VoQozE!V~W7nXrw+M&;ugOif<+}-OM8ykUa91cAZx&n@50_%T6uv_V8 zKQTo!ld?{Zk6$%pN5Kp1T9i2conCGLO>Q)~+-W^Cxm=h!>l1SRFX(2D^U=8$E~k9( zKT9un@Chth9TevOizunV_=ErsM2kwCd Date: Thu, 15 Jan 2026 10:56:19 +0000 Subject: [PATCH 2/3] Formatting --- docs/rfcs/001-davinci.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/rfcs/001-davinci.md b/docs/rfcs/001-davinci.md index 79652bd7..fe46ccb8 100644 --- a/docs/rfcs/001-davinci.md +++ b/docs/rfcs/001-davinci.md @@ -9,14 +9,14 @@ This RFC proposes implementing typed FHIR profiles for Da Vinci CRD/DTR/PAS Impl ### Problem Statement -**Problem**: Providers spend 13+ hours/week on prior authorization administrative burden. CMS-0057-F mandates payers expose Prior Authorization APIs using Da Vinci IGs, but HealthChain cannot currently produce conformant requests/responses. +- **Problem**: Providers spend 13+ hours/week on prior authorization administrative burden. CMS-0057-F mandates payers expose Prior Authorization APIs using Da Vinci IGs, but HealthChain cannot currently produce conformant requests/responses. ​ -**Who is affected**: +- **Who is affected**: - **API integrators**: EHR vendors and middleware developers needing Da Vinci conformance - **Operators**: Healthcare organizations deploying HealthChain for PA automation - **Providers**: Clinicians who benefit from reduced administrative burden via AI-powered PA workflows -**Why now**: CMS-0057-F compliance deadline (Jan 2027) creates market demand. Existing HealthChain AI capabilities (NLP extraction, clinical coding) are strong fit for PA automation, but lack profile-level conformance. +- **Why now**: CMS-0057-F compliance deadline (Jan 2027) creates market demand. Existing HealthChain AI capabilities (NLP extraction, clinical coding) are strong fit for PA automation, but lack profile-level conformance. ### Goals and non-goals From 25e57450ae320424e1bcf8b4f5ed00da6d0340d9 Mon Sep 17 00:00:00 2001 From: jenniferjiangkells Date: Thu, 15 Jan 2026 17:03:18 +0000 Subject: [PATCH 3/3] Edit context --- docs/rfcs/001-davinci.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/rfcs/001-davinci.md b/docs/rfcs/001-davinci.md index fe46ccb8..5750aa49 100644 --- a/docs/rfcs/001-davinci.md +++ b/docs/rfcs/001-davinci.md @@ -1,9 +1,11 @@ ## [RFC] Da Vinci Prior Authorization Profile Implementation (CRD/DTR/PAS) ### Context -CMS-0057-F mandates that payers implement Prior Authorization APIs using HL7 Da Vinci Implementation Guides (effective Jan 2027). HealthChain already provides the core intelligence layer (multi-source FHIR aggregation, AI/NLP enrichment, CDS Hooks orchestration), but lacks **Da Vinci-specific FHIR profile support** needed for EHR/payer interoperability. +[CMS-0057-F](https://www.cms.gov/cms-interoperability-and-prior-authorization-final-rule-cms-0057-f) mandates that payers implement Prior Authorization APIs (effective Jan 2027). It also sets out functionality requirements for prior authorization and recommends implementation of the Da Vinci Implementation Guide by covered systems to provide such functionality, with the expectation that future versions of these IGs would become mandatory in future regulations. -This RFC proposes implementing typed FHIR profiles for Da Vinci CRD/DTR/PAS Implementation Guides, enabling HealthChain to serve as production middleware for prior authorization burden reduction use cases while leveraging existing AI/ML capabilities for clinical data extraction and medical necessity determination. +HealthChain already provides the core intelligence layer (multi-source FHIR aggregation, AI/NLP enrichment, CDS Hooks orchestration), but lacks **Da Vinci-specific FHIR profile support** needed for EHR/payer interoperability. + +This RFC proposes implementing typed FHIR profiles for Da Vinci CRD/DTR/PAS, enabling HealthChain to serve as production middleware for prior authorization burden reduction use cases while leveraging existing AI/ML capabilities for clinical data extraction and medical necessity determination. ![CDS Hooks cards → DTR pre-population → PAS submission](./assets/pa-stack.png)