From 42226829b92333e25fc6ece7ab15683810fd88e6 Mon Sep 17 00:00:00 2001
From: Philip Langer <planger@eclipsesource.com>
Date: Fri, 21 Feb 2025 17:31:35 +0100
Subject: [PATCH 1/3] doc: add chat context documentation

---
 src/docs/theia_ai.md         | 176 ++++++++++++++++++++++++++++++++++-
 src/docs/user_ai.md          |   7 +-
 static/context-variables.png | Bin 0 -> 40239 bytes
 3 files changed, 181 insertions(+), 2 deletions(-)
 create mode 100644 static/context-variables.png

diff --git a/src/docs/theia_ai.md b/src/docs/theia_ai.md
index 35eb110..dd65ca4 100644
--- a/src/docs/theia_ai.md
+++ b/src/docs/theia_ai.md
@@ -21,6 +21,7 @@ High Level Architecture of Theia AI
   - [Variables](#variables)
     - [Agent-specific Variables](#agent-specific-variables)
     - [Global Variables](#global-variables)
+    - [Chat Context Variables](#chat-context-variables)
   - [Tool Functions](#tool-functions)
 - [Custom Response Part Rendering](#custom-response-part-rendering)
 - [Managing the State of a Chat Response](#managing-the-state-of-a-chat-response)
@@ -217,7 +218,180 @@ export class TodayVariableContribution implements AIVariableContribution, AIVari
 bind(AIVariableContribution).to(TodayVariableContribution).inSingletonScope();
 ```
 
-It can now be used in any prompt template, as well as in user requests.
+### Chat Context Variables
+
+Theia AI supports attaching rich contextual information to chat requests via **context variables**. Unlike standard variables discussed above, which simply inject a value into the prompt, context variables provide both a `value` and a `contextValue`. The `value` is inserted at the position of the variable usage, while the `contextValue` is added to the `ChatRequestModel.context`—supplying additional data that the chat agent and underlying LLM can leverage for more informed responses.
+
+Context variables enable users to scope their requests by including elements such as files, symbols, or other domain-specific data elements.
+It is up to the agent to decide how this additional data is processed. Common processing approaches include:
+
+1. **Summarization:** The agent may summarize the provided context (e.g., listing file names) before passing it to the LLM.
+2. **Context Window Management:** The agent may decide how much context to include the entire context if it fits, apply ranking/summarization if too large, or use multi-turn prompt flows to incrementally identify relevant parts and refine the provided context.
+3. **On-Demand Retrieval:** Instead of sending all context upfront, the agent may also expose tool functions so that the LLM can fetch specific elements when needed.
+
+#### Usage
+
+Users can attach context elements to chat requests in several ways:
+
+- **Drag and Drop:** Drag elements into the chat input, e.g. dropping files from the file explorer.
+- **Typing:** Enter the context variable name (e.g. `#file`), which triggers a quick pick selection dialog.
+- **Auto-completion:** Type and select a specific element (e.g. `#file:myFile.txt`).
+
+<img src="../../context-variables.png" alt="Attach Files to the Context" style="max-width: 525px">
+
+Once attached, the context elements are displayed in the chat input to the user.
+
+##### Implementation Example: File Context Variable
+
+The following code registers a file context variable provider along with its label provider:
+
+```ts
+export default new ContainerModule(bind => {
+    ...
+    // the plain variable registration
+    bind(AIVariableContribution).to(FileVariableContribution).inSingletonScope();
+    // the registration of the additional support contributions, such as the drag-and-drop handler, auto-completion, etc.
+    bind(AIVariableContribution).to(FileChatVariableContribution).inSingletonScope();
+    // the label provider controlling how the context element is displayed in the chat input
+    bind(ContextFileVariableLabelProvider).toSelf().inSingletonScope();
+    bind(LabelProviderContribution).toService(ContextFileVariableLabelProvider);
+    ...
+});
+```
+
+#### File Variable Provider
+
+This provider resolves a file variable by reading the contents of the specified file. Note the difference: it returns a `value` (e.g., a workspace-relative file path) which will be inserted in to the user request when `#file:abc.txt` is used, and a `contextValue` (the file’s actual content) for further processing of the agent.
+
+```ts
+export const FILE_VARIABLE: AIVariable = {
+    id: 'file-provider',
+    description: 'Resolves the path and the contents of a file',
+    name: 'file',
+    label: 'File',
+    // specifies the icon to be used in the user interface for selecting this variable type
+    iconClasses: codiconArray('file'),
+    // sets this variable as a context variable
+    isContextVariable: true,
+    // specifying the arguments this variable takes (the URI of the file)
+    args: [{ name: 'uri', description: 'The URI of the requested file.' }]
+};
+
+@injectable()
+export class FileVariableContribution implements AIVariableContribution, AIVariableResolver {
+    @inject(FileService)
+    protected readonly fileService: FileService;
+
+    @inject(WorkspaceService)
+    protected readonly wsService: WorkspaceService;
+
+    registerVariables(service: AIVariableService): void {
+        service.registerResolver(FILE_VARIABLE, this);
+    }
+
+    async canResolve(request: AIVariableResolutionRequest, _: AIVariableContext): Promise<number> {
+        return request.variable.name === FILE_VARIABLE.name ? 1 : 0;
+    }
+
+    async resolve(request: AIVariableResolutionRequest, _: AIVariableContext): Promise<ResolvedAIContextVariable | undefined> {
+        //...
+        try {
+            const content = await this.fileService.readFile(path);
+            return {
+                variable: request.variable,
+                value: await this.wsService.getWorkspaceRelativePath(path),
+                contextValue: content.value.toString(),
+            };
+        } catch (error) {
+            return undefined;
+        }
+    }
+    //...
+}
+```
+
+#### File Chat Variable Contributions
+
+To enhance usability, additional contributions are implemented to handle argument picking, auto-completion, and drag-and-drop support for file context variables.
+
+```ts
+export class FileChatVariableContribution implements FrontendVariableContribution {
+    @inject(FileService)
+    protected readonly fileService: FileService;
+
+    @inject(WorkspaceService)
+    protected readonly wsService: WorkspaceService;
+
+    @inject(QuickInputService)
+    protected readonly quickInputService: QuickInputService;
+
+    @inject(QuickFileSelectService)
+    protected readonly quickFileSelectService: QuickFileSelectService;
+
+    registerVariables(service: FrontendVariableService): void {
+        service.registerArgumentPicker(FILE_VARIABLE, this.triggerArgumentPicker.bind(this));
+        service.registerArgumentCompletionProvider(FILE_VARIABLE, this.provideArgumentCompletionItems.bind(this));
+        service.registerDropHandler(this.handleDrop.bind(this));
+    }
+
+    protected async triggerArgumentPicker(): Promise<string | undefined> {
+        // triggered when the user auto-completes the variable name in the chat input, e.g. #file
+        // below we use the quick input service to show a file picker
+        const quickPick = this.quickInputService.createQuickPick();
+        quickPick.items = await this.quickFileSelectService.getPicks();
+
+        const updateItems = async (value: string) => {
+            quickPick.items = await this.quickFileSelectService.getPicks(value, CancellationToken.None);
+        };
+
+        const onChangeListener = quickPick.onDidChangeValue(updateItems);
+        quickPick.show();
+
+        return new Promise(resolve => {
+            quickPick.onDispose(onChangeListener.dispose);
+            quickPick.onDidAccept(async () => {
+                const selectedItem = quickPick.selectedItems[0];
+                if (selectedItem && FileQuickPickItem.is(selectedItem)) {
+                    quickPick.dispose();
+                    resolve(await this.wsService.getWorkspaceRelativePath(selectedItem.uri));
+                }
+            });
+        });
+    }
+
+    protected async provideArgumentCompletionItems(
+        model: monaco.editor.ITextModel,
+        position: monaco.Position
+    ): Promise<monaco.languages.CompletionItem[] | undefined> {
+        // triggered when the user auto-completes after `#` or `#<variable-name>:`
+        // your implementation needs to return a list of completion items
+        //...
+    }
+
+    protected async handleDrop(event: DragEvent, _: AIVariableContext): Promise<AIVariableDropResult | undefined> {
+        // triggered when the user drags an element into the chat input
+        // your implementation needs to read the `event.dataTransfer` and return a variable to add to the request
+        // and optionally a text to add to the chat input
+        const data = event.dataTransfer?.getData('selected-tree-nodes');
+        if (!data) {
+            return undefined;
+        }
+
+        try {
+            //...
+            return { variables, text };
+        } catch {
+            return undefined;
+        }
+    }
+}
+```
+
+#### Using the Context Variables from Agents
+
+Your custom agent can now use the context variables in various ways. The context variables are available in the `context` property of the `ChatRequestModel` and apply your custom logic to decide in which way your agent passes the context data to the LLM.
+
+Your agents can use the variables `#contextSummary` or `#contextDetails`, which resolve to either a list or the full context, in your system message to transfer the attached context to the LLM. Alternatively, you can use the tool functions `~{context_ListChatContext}` and `~{context_ResolveChatContext}` to allow the LLM obtaining the context on demand.
 
 ### Tool Functions
 
diff --git a/src/docs/user_ai.md b/src/docs/user_ai.md
index fcd4275..a753bcc 100644
--- a/src/docs/user_ai.md
+++ b/src/docs/user_ai.md
@@ -279,7 +279,12 @@ The Theia IDE provides a global chat interface where users can interact with all
 
 <img src="../../general-chat.png" alt="General AI Chat in the Theia IDE" style="max-width: 525px">
 
-Some agents produce special results, such as buttons (shown in the screenshot above) or code that can be directly inserted. You can augment your requests in the chat with context by using variables. For example, to refer to the currently selected text, use `#selectedText` in your request. Pressing '#' in the chat will show a list of available variables.
+Some agents produce special results, such as buttons (shown in the screenshot above) or code that can be directly inserted. You can augment your requests in the chat with context by using variables. For example, to refer to the currently selected text, use `#selectedText` in your request. Pressing '#' in ^the chat will show a list of available variables.
+
+You can also pass context files into the chat to further specify the scope of your request. To do this, drag and drop a file into the chat view, or use the auto-completion feature by typing `#file` or directly typing `#<file-name>`.
+Note that the use of the variable `#file:src/my-code.ts` in the chat input text will resolve to the workspace-relative path, while attaching the file into the context, makes the contents available to the chat agent. This allows adding the file content and then referring to it in the chat input text conveniently.
+
+<img src="../../context-variables.png" alt="Attach Files to the Context" style="max-width: 525px">
 
 ## AI Configuration
 
diff --git a/static/context-variables.png b/static/context-variables.png
new file mode 100644
index 0000000000000000000000000000000000000000..ee021b88af86fe0f57f8a6668ef49212fe7bed1f
GIT binary patch
literal 40239
zcmeFYbx_vt*Dm@fAc_Khl}?K;=>|mw>F$>9?i5i(38fp9lJ0KlmhSHEl-TR}y?f6)
zXP@`X{O0_zXU?40amMHIsn6%W*S*%YuIpO<GEyR#7(^Hd1Oij^?Q1y%;-(e?af9Rb
zE%={&%Q$-Y2h~nURN*%Kalftq8J-i`zfrN5w=%SM(zP`}7+G3b7%<rB*%}yF+8JBf
z@1WEPz?&$LZ+c~GplfepW%)?K#KHg}Z2O3X`H`@}yGJa~S=b*jbMmlo@;v8se;?k9
zKs-W-zJ96T9Je{;;x4Z^eYz(-Kw+{L5|L{^L!ISQc<-k?!v%)IKd*I~3fowGo;E(Z
ztwzliEU!xP!r(=mtPCM7AKLk6j9+a(pL?r}r3@D0VpvpKi4LS#^v{rgd_m2?C8WOl
z*Ry8(uH|;cN`hTz@l1l<HaCY_PAS%7-}^$J-F*9u&DWl=iS_lP-50w3*!MK&TfI2^
zd;e$j+gS>D%k4giXS)xOFBwxlaK3~56x+i))yP*K$M~aaAz!)Q{rV=;zrN4#$@@s;
zE3a9<|9|Cc92qnbdlNtUjH#KJTJ>2<>}8P)BTR#Xp`od{cX(L6<sv>y5%W<v`NyTt
zWCY_UxIde(hZh&LW&Echxx#()9i5%(mAB!po0#NeWo;%7!s^A@?yhO!z#Ge$W4p`v
zrPoYx7#gQSv9-3kUhlMo5)|6`Yr8}Y`b=Cm;KK*id{DK1zWJr#SWYY!#X}VzPP9=k
zwlosdJ#hJ>DV&1Iw~_Wv?K;iwQE75^645Jh{5SApUT-Ri-fZY+8jj!-R=c-EQ!u^W
z&rWn#80w2}kHPJFbzJsMCF6xdtN7uJ+<n$es?@xX{g<URIT#9Mw%WeNOXm)@M#D+<
z#AI%B1&+VsExp`C=Vx`!g)1-D-OX`1F8-cjomSCBkM~}4gl$egtLuKfp{VzWo#I1e
zFW2`&cWRq$2F;|Z51B?HY+sW<o0Yu(9GxwH_AEU-xq=ik8iQ(?^4LH*d%&Vi;&a5&
zf(t|J0EU(G=8w0^B%9_}S?+G1Dt8AzU?%q1*~<KBpYbOz^t^nu{}*NAo2Ge_ie8#i
zd1qeFjuwSx;Ljmug3P|rOx1nC;QYmoufnUVKXueI?764Igx+_QI?SYJlNUw15+B%^
zm%L27Undb=8^PkSWzky}uO`Y{^6JBg7yfp~_q#lqW*eSI>|`c8Ez|P*sDHa5!qpP{
zpHSB9GlVkkWL}IHob_r2raSHF+qzR@yJhUk(9|cbtopOqUnTHut{}pBj<<Nb`*&!6
z-Lkf(T;8*u=dGOIFs9rQx<PKq-B~Nd`ufxU$;)Zf3f|c{L}fq5aY9B*UJd%xB+lxW
z&e3xAP-&JdrpWGCioG9AWy(KTh(^7hf6bsl(;q}!ZM{vvc^j9AQBo5fU?o*JS%q?!
zTYQz*CG3W;ubpjB%;JdWB4)S4k*yM|ojDiN%t`>$5DCqVa0B~D(nd;ww)F(8Ut5ov
zsy;Viv#7?~anITw8y?iHCu+2fdiqMyoTm+FcTU9Oh6?#(EC0yNSZd3)CljM-^hRM0
z7AahmWhb3_VOQ(jge`R-`tqRzdpxE6o0lG%{3xS!^@*2W*Y6h@r^aR~zDeCJY-jnf
z<MAWgeLS)pf&OPh^|J4uv@4ab9W!uW4Sb|&LKe^Sx3VNCE%Sc$_I~jZXmpd~B>6?7
z+n?z5&P;(iE73$GAefZk-ZQVmr=gzZmvw)dta^9JwC+{*qNK+Agme(G92_2EIJ_~*
zd$c5T<JzhGbBWhxeVnAK20in9x}(nC=jR;m+Aku#IjSqRo?sB4&ImfZ>u61<86J9m
zrK^39-Ef~abB%EQckBe?{Leyz@#}+h`6`YurQ!KS9W$Cnl!l%FuO|Fpj$?(97*(ev
z?|3S4ljPzhY38lf!5;riBG#R)o~6@fF$CFG((-#9e5n=X0%J1{L|w4l!ICt^=xBYI
z$i!ZiwQ`q(L-u5}__zxL>n&7k?Ic!54C3jl^9NM6v@Tb&g07z`byym;1^Ii=o}j=>
zt{*G*=W6*#%yGH6M+@KCKijt0<cd~r-zViZ#-zOEWY+lyolkb0=5+n_o$Kku-Zm|*
zdz<U;F?Waj<=~F%>1^JU)G4$dFHpQb<6+i&fd~~8K&vm5oy$IB#1<?;>AlLmTAAde
z5*HPa`D1*^`?qYa_wv%FSoxc};WJ%%r2|jn+{f=D%l~G?t>Ucu=8e_27Y%WtSM_H_
zK3qK_>CU8hG8i3o<GTje<<mst%~kenx;rPlNu5k{G6`QSzi+)IQ0%-*SJ)=cJJ2nS
zrbg;#i(`+W$oh+O^$Q(WOy1AfMDzteR6F}I6RGj?ki&O4()iks1Tt<1j)$h)ku~Qa
za@LVY`!(^WwJs+7YjD9&jrY8_#CVl=hpnC7g}I~<JuXhB`|-wLv!kw7&XJF|^r`3#
zgX#;ZTNAV-pNUDDzwFYrnvK;x{oq$hKwaXrytKkwr0+}<JJX(p-EEK7M5Q01hB7#a
zt{j+JhV>4osre(T?01o_PW<-z_cDr?I-WDD)Euqc`L5mn%rj<2@nk%uTc8^|QergV
z%rxU9wc?-ad3B6to^`{)$f<Ip<1LTXC&m$tekSk5_ATp4r<kY{T53DFAGDchZptBA
zpPw-9&^JE#`rQ7u(ZOiYv-s=x8H6L~0fs>rGylA+?bk!xWAAwuc<<5SiaifSxa`uh
z?_W~mH}~r#w<bwP!<5=!8=Fq{(!P2TQ)ag}4U8o?wF>XUPGcqHB#HdGi!UBvk7?XE
zcb5lC`_G=A*3o;Rl;DSAylAACaidO^aZ*=O?z<LbTa$UEVu2eQ;uX_PqbFW1Lwym7
zdJ`zKeJw$%A8xvA4IIREWX)IjdF<KbSRIp2wZ>)(p?J-Bey7%^(sJSZb|;JV#^`|^
zA)S*}eB1aN193NP5j^)F6!n^-dC&2YSEixtmm}#BX^1XJwVXPP{*8lUx7AoM%n_r-
zOD1t8+_4Z{D2`iM<;|P$JJLpI>}fp9m)dx^ij-QLBS8fo9x4^AkuprUkp9OUt5H8n
zdVHPOnaDa5-zP-i-NRmb=l{JC-+q#OwF}k*Zumpu_zg}G-hdKA_bHN7)#R0-)(_4O
z3*3z1L=2kwfkQJBLkZcxY4NnNT-8GY_8y!B?LW9GIKFLHH*`bBcAmaSfUBjhC+6kc
zYkgj{a%a|*A`}9#Q)OF9aZbZ;ahO;F35N$&G2z>jXv<pM_^cvMWO~DH>0_zrlX3pm
zHx%6j=W873MSBd@OB0^97Db<j2mP5A7`f-2N3jv|zWND2;TyyKAiP5HxrTw0u^Wy}
z_SV7&cFZC|jocMHF_qZK8GlDEt5-K(UU*=Xdf3E-6S@}KcD(KRqt4$Q6{-1BSeD%-
z=7ADf|Bro>SFL8XeYcV;JXtxvYppe)cQR_9G}fAL=OhiP+_jYAo6V?~$z1uIhG+e#
zwv4E8j{bqyV5qW;P`@(8{Uxb@!h%Y?BJET|6*n{;5e;SKj{du2ih7r&4%hM6*x@V8
z2VQr%l9<2Qlm<LqN?KR(@=~^JTY4eOE^@4`;}C?x9B;)J(W%2C?^w~Jlh%RQp6>DG
zd6^(A^6Aj~Gw-a5BgJtkhQu<@K3ygx)<45zLDzA)vp;StBew5aFYlr;xGW73n02F;
z)2-nRe%fK_tPuQ#X%SX>T0z4do>$gUrT&d|A_!lPWkgm@RXi}`s?!}3WVDMS#N*AR
z+-+0NIg|!Q$Zrj93*!g<-Ux^&g=5Yu#TlyK;l=a}LnRJ43WG^`90w~`SH7;9zu2|A
z55$fg9R56Q`Y4T!FKd>YJgnijW?LyTUbUyWJjA3L*e+pWz(8q7s!hU>rvB|<=z{Uu
zEH{hXt&}wxC#S)8SZ6-=kj2%P%WlypDEEd%enCbZwwv_OOcp%hicU@+)@a36#jPIA
zBdz(Z@r!wAs`zR|tBgYQYh?LKm~mFdEfNyk7Yxmn=k*N@Qa84PPH7S0=&Xi^x}TQl
zc_%gVuIKE#E3hzr<xu85kfE`5L`;&(5M%0xYw^F5*RP-b`9$HyUn_<3{U=J-I34SL
ze0!3d5Al_{bMxq)YxF;?OWNHJ{am6yCtCe8qA@Vgq{!*rJNIX-RooBPQ|e_<GWRKO
zwQ@w%rulGA3;Z^9L$JD>mFQoFH7NYGHk8_td?$N{PEP7T_!EX;$<3KxxeEODlC^0p
z7evGZS_&`LD`X4>R=?18zE4l?GWV$4tju_hbLztNLKGL1s6c~MW}>Q4-{x?r!1Kj0
z8oI)t!!RO4esN`^c>$KFZqfI~EViN=iEm6_%2VCh>l}(&&sS90nV>O0U6Z3Av)H_I
zC}Zm-Lwr?{UYkm@RUMI_%gA?s^LKw9<Nmq)4?Y69_C9k`hY>W?<w~ASb7GEOYV-Br
zsn1*Nnm!{d4mHRvJnMUhfMb6Z;{Ityq~iPT>-&jhjD{Np^TZkxX)kBzb&MK6JZ8Kw
z>pfba$mL$a$Kqw^ACl4il?oYjoEkUfLPn@AXd6QE;#(@(Y&<FVB>w0p*_s-c><=-`
z6O0^c*Tc}K*z8nn-_`Qil8XNRfE9H}X}3KcpWAjRsUo8KuHourQ^iQuuQZ9Z*S~nJ
z&+sb~(=o!8M3j;R^-af0lM&tYf@#9a2j5D4b<?|K<h#EYjc9bYd#AO$m$Bk)GgiTv
z@oQAwONwqPt20^}QyVOpYIi*p)9gAz*|ehZU{D>yRS9<dQ{cMAtYl?7KPDTmdf95t
zqSY>x%o=)hAZ@Sa=CO;K=?LYBJ@zE>J6n^VE<Wk!KK#8y%*xyB<7&5^Qj%|CX}GB<
zOGXz2q$md!>{I3_DjLdYa$1fi(abJ6VZ1#&ezx|JI%FZs+MO<MEx@;25)QF|pjwwW
z%FVX6p=9>Kyy?BI-lb}`N8T(R3~0FQ8nn#&5>{3M<0HF8(T-Z31K6$whgn~hKFqMP
zxh8lOlWq-SEk-CVEbEJWFRi6HGcFC%<>%v;m-$#Q9FWx!w4bRaMrY>2)sIO`EHh36
ze{Y{SF7BS4lihSvC&uC6*zBNg>>2(vt((hvuR2KIjIh6k;rf))PtA_>xRm4Yw#}S^
zR(NXAh;4q6uCp|gXLVA|oX7cIb%c@EN+ajmkypd<PWG}_9aHgS7XG_&n^_68HEvg}
zfW6j+o=;vodE~KkKMRq74Wop+`oR2k=#iBqbggv^xM=3R_tMmjls^gnBgQGoK6LEp
zjI**U)WX!+@$JXsidj#sAnYekQ@yiGr|Ai2C5CH@HuFs8tBbg^`4&1u(&O3zJfm=m
zWija<&6#pw`@gev!AsQ0Y#vz{&&%>Tzde8z-XE~Q-k0`x#=B)Yww2s=xt`{>qLN*q
z|KZ5pz{5uh=?m5_41^U!1g_(AmS&HRWYGMjKNc-csw!QX*UzRr8BEbrmRb-T+{ZE-
z<>330+K8jS#nYb@`_F7!gFDN+o2oowon4x^VPjb`BMR1!o+frLX-0EXdS^3zY5M~$
zVZl?TWFPuCXPbA=nDKk|4@Yhle(AQ~+<Z0p5>wR_oy+J2>5}i<&mj7mga9GdUrVj=
z##-9()N|3((<vmCJp8W>6Ugi|N&hkmUY<;4uuuxjw+2U|B$-{hc?tB2{M~CfrG_0e
z#w<}78J11U)9u#6wBjQbBR$gehOfCXo9y8t;n@{@(puJfi@5Y!L1O>?P0zOe2NTWl
zi|wTC3^|6%!Zdz8CJdTiuC~RljErwPc-M|MRgDCoRSk>$-H+anA}5#H^sdMaa&lZ`
zbB-w(*B3T>Ua)-@6t%H_x>r5?fL_z;IvT@gJoB`5^)13NB{F}<-b1U3MU3#^8}^Jr
z1e6$?ix4dQa8k7ocZi8q_*m}Yha>Ap#07Ddm)R3R|0XL5_9~7`-$ItKIZcf<obA^o
z4KEy-x#*JSf@>)U6~2|TJXCb2ZqNIu<(bJGnqH=$<4sBVoIU?M_Q`{%ac>1iM{&)@
zN*Uubylxw9H*G)TrhC4c)!sp!GKlK(x9IIAL3?MBYtidFw>;Qm<eQIBmWu4&UMO{U
z$YR?{$%?m>5%T3{_#Z0a*l*(Ytc%3$D*F6T5Lr)?2szR@rTmZ{|3sA~n~tdxz7=!x
z`boSdx8x+d#~r%byydY~(~x715JukE^qDfFX8F0zFE-vWrj8aoEekVYd;1*&yAsda
z?S9Kn#Iz6K?9TgO6q=H(63j`Q5TPrqzP+5kDJ@9ewT$*sMonm*7vI|J=Tp{3QW;%J
zX?bC}!eU4N3B9u*lFn<^gTw0Lt89boX0OE3i<#s={*U9P;v=KDUTSXa-A>U<N_xqT
zMqvfK$yc$eiWbZ9X1NYIQ1#EwU(;YYa#V9X^S%2<7-28`P`s{s@KH^{aM#5(uhp0~
z7hjm9$(xAFgEzNYJa+9q93)(?h7EZxIh<u};&u_?w0$wVS@MN8RFO2V<l@%R*sjM7
z;#w;Ll5mA#7X7n3omVB;w+4r78qL_0uFZDL#Ebe&OBndNBrfn$($f#BPI4V(GA`Uj
z6Xu(9Ply-^?Q7@;L^oY`s3Hu@w$CzR(q3$3Bf?o9F7WRE+-AehW~_X<`_#8Q)}?B^
z$l948T=?P6X4{<k%OQ*Ind#wAUI9U`4YUP+d0j`_4sUjwJr~YqhVq7tyq22lqM=9U
z*DX8Alg`B-Vn)g|P8H9JmC)0Feg6EpJjX>0c%tT`_aiy<Ar`5>yie<l_S>hb4U=nP
zD6R*>qZ15Sg0ytzMIyP9>ds7%w9hA0t@+%cNB`p2)GB!Yac<}PzY%KE>|YF%FIzt_
zXrcneHXo6io<4KTm)iWlvvet0vc;c6LLLlftG;q{bWAq+-Pq_K9NaoEP(&zB37pm>
z_XB5tJY6;-8%IaV$B%Ca3JPZF5e0ra+89Ze%Xlj)s=L_s{ek<X7*9M_(O5uMmf62}
zCeH!nH;aj-hFo3#eTakeT1*TB4K2qkC#Oo%-kxou)WU4-9neu$3BX|u6_%Azad1S`
z*T0aHm#1N1uwb*0khqtdoBM0X^ykl?1gwSuLj%<EX%Y?1&CRA&JGFm_79Zl{i<DVT
zJ&(;XYP-HT=-oRyf)~-4n3!CTH`_1H4v51tdiz7myCfE-cCzt(`6H5B4Gf7A@<>YQ
zH}-nA`7{jE*hkaMxvuZ-40aDqt*bqO#oeX`(k&-QE+eI|FoZ%pLPbkHYsk1nZE|YL
z%2~?OQ{XEe!@H)>|KQ-^?eDdcADk`(hekvguBDN1m=jplo~133@bYd1U(YrAaoexn
zKR!M-pQ;RR_<*h+q^O{fq?9EpEiIBY6!QIh!+i7Cv1%7qUZ?G*kr90F&5-ktrZdx_
zy(xax*7;f26U*JCL`j}M#&2q33NRi=RKMa2vp=>g-kjO-I=V()Dg*3{Qfp)5hp{3f
z^<#D-%#4f-PX6BRZcJE&>gsBhe4QIRb=LyuSS0zVGC@H>r>CcEu2-;pouSeKqOlwn
zDkY}jinC}sW@h5BBPJ82438f_<~ttMJKUa%O-XsCl&$i<c3k3PgM#+*zUlC_%J1^&
zgg6?u-DdwR20a(t;rGfK`0QW(P&rh~u(9#>dp*!JsF~#~d}?)j><^rtEWN$c9A0v0
zw$sre==-Ns@>1D#XS${<iuuFAO7FmrSLkb*xI&+mger-e`CE<I3N5F2OifL#9UW^^
z?Y?~ddUiM<O(^Kex6l%(2cOe7G~{pz5=(t|xY}nvQ%mX%D}x~QAhl7VRdK1PvRQIE
z8@y5DGl7t?=bpmVPN3I2Y&Bw-NG)8yHNxX6DqWfOg_>NX@|?TyuL7FYR?pK(dH>+A
zr0N5mDu)h?h>D7ed&C?8-=B(vL`1YyyBy>f6jY@CeFVp+C!}6{lGU&$PV~hKgn)p6
zL_AOU4U}8=Nl7iZ6GB3K>gwtY)XOa6msD(RS+umY_%3!E;UYim?ph1L!&t3>nVH0&
zKc67J(3#!1EyH_%W*{`6npWU%MwoQ}mo@w);k^4sS@z0tbS#BS&KU+({icpj<-K+q
zdrU~JoieS)#-Bg-SzKAix8}G1@xZ$~mh&MVUQ4!W(QPa&N)8S@CZ@dDVI;d7PX#=U
z(KAX)+tojh)1(un;Dn5p+dRc+9tw8W&>%sEg83^ytP&FSDn|xs!OP-Q17iqh^U?hG
z>+7F#q(>_4*Fp^LskSe9i)|Tq-VHw0(L)IxG5V3m!Mdc&G^tRE2vbx=SMoZq!5&ZL
zr&p(%No#c;qcx}342Lr6#p&01Hmohk$r+iHl$2%_0i-w{k~=aguc{iz)#P37i5Iu9
zV8~L+DdgGS+?0@!`3853=>nI_!peF!`vDtyOI%!0xO7S~8X8^0IqJkUT8fIeW+S-<
zf0AAz!nCn|X(*KXy3wwYFMaAUrks=)HAiP>j6})X&umdIwj2siXsqPfxJE&}b<1|S
zi_j%R7INleLJg*EZa9wg>ZJicUim$M?D6*PZ5eXvr4@DQgFmGf>LH<_YvUz!#GIDJ
zJRFXjD)8K8JtH0QJX&ILWhHsY^z3XUQMKBc*{~?Osp&PMxaHitqy5L#PIN|}033?v
zm&}6Z=JkEGS4aD_8@VkxRASuf#`&97+~Wm20%4I_uKv?CZU<egy%#^vvB?GE(C*@W
z`}VDVu|2e)q@>xH?dm5VGT{=!v38S76!369>=O}{kSGpV5|fm)*tK6w;CFi~DY+EL
zIbA<9GqXNAm?0niT=(YL*;#pIrJRzI@axy8ka3fe9?j3sM=|T&A|oS1tTLi&Dc{VF
zI?g3Y92g3j2_GpD-r)Yt7^YzNW6?A+t#xTn9UYsjsk?g%e`IQ6A~r|8jK!#j<otN+
z>zFy^qetHL^=XN5NLgZK3^L(b@O>u@S67~RUZ>JcGd7}9^ReIG9={@@|Bo7akBm>H
zg%K1VV~(}8wb!p-PYxr?PVwzjIe)2iy}92X%fhC6d$C1CqE!?iVy7f;GW9*-<KuHa
zTZ&Y#B!I;Bx+o-_=;OaF6}8C+{(KV_7M5?=O;lJ^L@fD`j7-Yiz1o1`HL~<s!jUlk
zM>zQ(BO{{+4;~OnBxUv)tJHb&(}sTu3&Rl(BB5!(mr+*s1F1%{%F*dUjhmYr({TTq
zy(gYm1Y&h-qO8usMJtbcr}xO7ht#l$P+56|a)2-pKFa-j$MdAhkT&}M&yw$;>d?}J
zi=ChBNXy9Fr=g+2!NDoE|E{KCYD$ZOj#Zsntf;7XedGWi6Y|3%z1ldi(m&oDGaoNr
zD_wS}(YE!nEL&YQF146&9I*GpCSUfaN;u8S-7}k(fBbp_PLXlR=GK;fU?9cw=ideg
z6~x5F)hpjJWae%UE1jGlPgt!DW(<(lNtq3VEY%K-T$Su(-2Zv>4K8b)I$VsFj!v~u
z-+zg{L@iJ$t9fdw22I@2=~r%Ui#f*(-;Z*$HaFU)npbMoud^2B<{CD~id1XexjQ47
zsG#bTlP3xfm<3WMT&&QH*Ljizj|o258_~PyEhR~C-oX*LBeJ?%wva-?SelZT%N}}Y
zfE6F&`NViyR@loOPtt`QA*k`|nW4+AhJ&DafejJY+UTBnQX<!De$rlLtO2Jn(V(SO
z1{Yi$oadI4Ts}TNtNp2WJ0lp1E_|w;_nyGwJ$v>HRa#mak3p>o&Pz0x&CjI^R->NT
z^>x?A+`-IDT1a+5iHYPte*B=<uAN*zrOT^^v@BR#TYHa?#WyaFq_Y5Ej)sPYwT;bO
zH|I>X$vH70m-Qpa=JxA@{@0f?*Co}pCIgg0uU>(Emm-}gaIqqIT|h!dOFIuLXk%-u
zpX1i}-mtnAdz;frPyFfMzjmj)x`^RiO>xMwyC)|`gTG{PaB**Z3lDF88q6nTZT%b$
zAm461%H~AbP6UL{CoEDief?(%2?>*4*O%2t!|F{fE%RGjl7El4#tIF-Qdr3E(A7hh
zSQ{&%Le`P}wx>!vGXQ1?`CW?*yjp`uQPI&k)pA?by=pdQ1}ZCgv^<U!eLj4EOV&T#
zos%5azTL+I3e~pjxhZRvw4#ibVrRXS<!V+p{aD6h*19iHnHM9JSq&Op_Dk3i)ujx6
z&Ae>RJQIC%<(TS0kt~n7?|R>*5cVvW@h|F#@RYUG$5Z%zXyD=9-`x9sf!mcbueVTx
zS3n@4qeIMbd$PSFoX%yZ=Hzsw?h5UNuI}UOvtF;!5;J@%skm8KHoeh&-Ob60hoSAL
zgHDefcBV<Ktaff4#c*1Y!96b&^$IL(<kh9wt@J3hQc1?VR#PLI@w(>6#l^kYvhpe-
zIoRDz%FqAy`?nBOUzdSHP8O5?XIP{>O>x|I&T}8}Pp|&&+*q9`W2$o6q2%X}M`l<6
zgX&Y*@lvhZQ&nSiUV_Ma*KyGH{VCtcq#YE^Pv~UM-g$LbF@T$j%*R;z`}_Z_*+YaO
zWYp9;`jSP)s+^cag2@bK>)!{E^5P};Ig6jHxI*pJ>HGNx+6PwCLF(n+#NH<Vhoa)*
zdKagA7i-d9zjdBZ9(r_lcN@Sx2as@w6c@8CcgOk#21<sGSW3tr)lDDmtZ~k`H&P|K
z|5n!aXolZ+SqS93%3=XkJQ7fS!rabsJyq|U=SD9s<t?68mQfr9f4{e$lGdWo+9&Qx
zo7H_`r+p)rR-HpKKxh4<3s?~T!wcZxPJr!KmA{i6G1-};g}6-C7-OUHc^N;5xH#HF
zI7)4JSA~+U#n2uO8TJnha69ilqEpU&#=;T;`Nps-s$qR7E2je&5ARc69upjyrluwx
zmgvzUBWwh6T>+X8q)R6&WiiBR<xz2SN4p#>_Z1mQKY99eZ6q&IvG)7-@26*H|B#S$
zjTY!}+syk8*@TOI6ifX*JY3p-C@U))0TSwva>M~-H7Ph2$s)mqu(;XkWmpJkD1?NB
zcK7yl*9SB7jf|ksa=Yw5`+KspGUYUrDxWUp>+5@;h{&{k2kKn_0kco4cqEHXJpwW9
zw!<$ROeP7ff~TjaM4~`V!=oc8evm(+SdFkge*6eQax1C*FRRV`Yw>v43nLdOaKz-~
z<Y|(zw_d<$x`To74t`caLBSd_acpf~ET<JEJ$-;`ks;iTgt<9AoI=j?x6^|;gV$;!
zwdt0YmI{iB-^0T{W@XXAja@4ef{{VI1xj{M-S`b}j8{2Bo}eUOd?7NGa2Sk|@V!2Y
z8ghy3FeU2E%EVLuh{W<?>t-}rnH0Rd#8gyNS(blxcXugQD2vL<j39EJQBe()S!pBB
zRsbO@pdrKStIG&`c6Rnvdmgwo%cx)|%QQ6pn8X}_kOD$O<wNT(V#ThT@wH{-<+V>>
z1*GD6hGsAR{E-1nbpwh2#3LD(Ad7JE@}eB+ed|dSlm_%~IqHgj^wQA6B1h3Xsn2+{
z#*LHQ<M8_uduY3_R-To0ZBY>`bPZt<5kH4aW2*(>$W*4L=2=XXVg~VYbI;Ar>Qn@M
z{dyPU<INl;aT61h&>b^apX3oVBywJAIF=lmX>ZSHw{tsMZ=SHK>xS)!;&%gPzSjsa
zXPLd`<JX<w_?WcIJv`Sqn{rBh_zTN;#V|PM_bpI#gIj(3gk4Jd%98WGY(7YK&>D$z
z^O%1B{{8Ba>;C@!?$Ht2EL17UE4f>zo!VDIfS8bF{p#upnQ{@B32M-~#ql_Nfi%F`
zrnfPildV+~L(1#;r`E$w;C%Jzw8x2NQmx{mnA2oVN^n4cd0{moIyxFMth}7uZ#dkl
zWtODUe0!*n?Tf;CM@Awc=j|UHSaDHW?Ju?y+`IMZ9^vm?&8pjX?>+^b<av4iJuJ+A
zfTeyYsinC&wf*nH&W_iBOIt4Xx7^K{O%Kd__ZB;u>QZuZw?AnHY;SKbE-g*Td03WQ
zak@(Xs1-jPGfG^7)=alQMbv(0Iv)4|^~%!wKMme0C!b2nj?sPI>BI9V@fWn>>lHj+
z+*`)NB*u=M{aJkZ#>HWKGFq#~bq{J*G#u80t+JUy$ZeDoQGXU)bai#_5wU$%)^hpC
ztk=R8WBJ?nPW9FK#^!j**Xn9MHlo0#sCNC|EiJb~+Xr<#(;;#WUHKC|jtR%c#$X9E
z+YbY|owiBvnY8rJ_Lq<!+goVW<A}}3%1X}7#rn{ogIjLDF&t<)Rk`>3F4OLSw4lx2
z{2QqRK9lejNbo)0H&C39$BZ&EGv7h`hujEgKEj|ZOC<_)SJ<ssX1GgEC2B7i?riMN
zHPX=2KYRT6eReiI0J<EXpS2!;kv$ol+P3cQ5{%#Av0)|(giMUWrg{x&_G;HpP)1SF
zq4DGpx@!3U<dKavfDjxU9AS}>GZAi&e9P@pn#C`c=}GZ?^RoD_uYN@3dF9qmwMQIJ
zXKKd<2L@s$y6@j9GVFdrNqI|IS(#Egp$m|PmFspGjr{3mQ7-|zsY0^JgNF}gGZZ9Z
zIWPl-Kg7ny8juV;l;&%IARu_IgMhMCUQzK6DJkY)+0U+c-bj;yG+BB1MkHimHIhnR
z%Uc0xb$K$=i^K<#l9&*U`U7c__G|rU-jLSz*R%3i00EJZlCF&wJjKGoqQ=3HlaoW9
z8fk&EXRb8~r>D*l4C;pA*XmX^Z;(v_6p*)KVn3^^<38TSx80uPo}8SF;&oz#J?E_P
z`=5)NRaV9c4XQy;9QWbY1b)$&1T?a6ln{rTW1%D3Uh!uKE1`*r!LhN#HLgcD*VWk}
zQ};l1?kv!2b>45MBF?#P{)*3SJ&WLp-~O~?5=_P)#bH78=FJ;t7Z+x`WeGC(-3Dz<
zFK9sxAcODpj6G=9q~PbDTF+n&6mEn|CScKj`+?#^ZhD_FG%*IdvkjbEEoNI_g96$@
zw<Un^^!!{c%@tsO-#P5y%<;CH$=(A7p$vte18XYf)^iN0CkF?OeSLdak?TEQ0R{8&
z#y)=aY0{nt9dP~$8N9oD{u~c!Df?Mc^^ie}rCjUZ_oPWsJyv@yDtgCkINQWlvk^M?
z`Go~QRpu=rNc);o5YlT!5GWiMA20g$t?~2snZn7sm*+>n6lh_C2)J!iP_<uZYLWsq
z1~BnI{9qT6{}l;_#-N#k7a0@NQU4yrie@V(x7C?5Gb^iV&ZiH0EKYFJ6{|s`3dryQ
z0l{179a2+Mksoo`@)?vo`(H4hQL>Ye&G<efY*}&qSGONu(e)2etC6P4i5eIHZ$)2F
zou-rpoG0|%WjgKKSVKcYQQgZCj4h;3b2NoMS49{9CwWxler6lNq%9>RbQ9okVA=?g
zB;Q%De6iOh7g>?lv-!N%(?knyzP)K0_Xk0L=B!#pxi!p1wKdHs*E&gfC@x?BsZI{K
zI;D@<H$?z&6z$r-=d(iE>@ggC=*}7s`10_|jR%Ogw4K6GlFmN$eOhX2oyl?=R5Y}{
zRB?P{Jl}C;)T(ZS6}fZgPQ$=J=$o&2%r5)-lu~iV+}B;vtkB?2=hKyBW`0>4NMBf4
z5ivHVhTf!%=c<D)Z+2%V7=X*GPxl^EQMKA;r=+0b<KqL?r@w2%8GfY(yx=`@0TQVD
z7Z(@Vc>7wweN0t4Gy*9jn=CA=pfG5x3E;Dd{Q6WRi>0En()Rq&<lZe5yXCIOPoDTd
zEWoj6j+O{qcBqNe_9TQaA2el0w70k0Z%-0pV`K9;ZC}J%k>Uy!YeDl~l~6n0wJnbu
zraZ)wA4&{BT-?#Ltt;=RRTOK*(vZZMb%MJECL+(GQ+E#wGoi=v5W})DVj)%HZO_eF
zA^-2>j0*GFg{j(M#L;Mq&pcGglkE5G7M+6<+Bb^mM}mTb(}A0W_Pfw_NeqdBu8#7&
zZpf&pw0T_}kVEh_`#+>|2InRLP?Eqd7NZi*c>ZOWs&Z<bn5cSL130J^5-KvMot|&x
z5obGa1EvNLjKtCzzkcPb*-rqe2#_1&?%il^yJg7%?TvV+>6dvUcAKNjL8QDbti60F
z^^i8YkzHb`IU&@304K=qI%fl!4uPnk*Gxe|M}U}ZZEvTY7cgtjmWiRYZGqiJA`)0U
z<Z{A3%c`in1!6TkJiPjJ{wuvozW3&)Ifwb^BZg$)2E{>p?cH^<n+;ug62+Qyl~MQ4
z)I`X6>)Trna`Jka3#%0T;X{U36?q8daE4e);d~x}0KZ1fQ70ww?Ik59?<?6{^BA0l
zB&j0?S}zYi@Av_p*=>E1$}|j*lIX)jdn_`(Ht1pe0|K7$@Wc?Z8s@tmnP%Anc%0kV
z_zF?Q%*-4mK?&#(Wf1*oK|w*BfCo{Dn#C9tNVtctSk7R$+XsY%qII5^+53S30ZqNV
z!2pd~f=D}IBeH|C6lfJ_aZ5`}CDVexd@0m8$;zw!-Q68HIjI30=ic!#B{lVJ?~`e_
zU}!xaK79BA+E}RIM!?7h4zmOHE-YjL%HU=_tR4ZM^K;5j|C1T7L@1j50Azr#`~6Ec
zIi_pF75IC|Mqy$U@PLbl2RP>UIXMi#Y1Fh+0Xe7^g!H|Tc$J_aa6hSKU4n{xhRZ$}
zwf>7a`u6n(bJhW4_z+uyvLZt%2C=)wCe6@@oRXrrqa%lul$6p`(%jsfWRIkwl~r%P
zZsS`isWhvZT4?P;Va@IX@&}%uVGY<@Xr&^OR$PH30|FVg@r8{IGkgJ*33k`1w0^I>
zX8ggy!4ZCH>dzwN9ysw*BEU-mlCC~mjs*w-b+r)yTh6W0SP9BQ*ULag|IpBf!TiSr
ziJs>)5cP)8H@aV)tpF7Tlm?Rjf-3*w@&gJiidXWI)fc%8eV`7ikH^ijRSJCCL#co#
zAQ7*p@x7k|&g1z6yE7+lWwM*q)#9Xodb-H~l7l;nJorv>;J#_Hm54U(7{xG3Sswq%
zc{K_OO5es2pfpuAgPsKb3FCbGX6>te{PV-L#`B|%y_1ub_vmB@<K1UJ)pC}hJpt5K
z^O6i%X^+;2Hb)CS9B)k=^ofw~ZCCBwJYvus!G2*y>!Gi&|KUR0ZHwKoJEnQE!tSh*
z{OX0FA?1x5Hx4&Of>TmbC^wvPpwcgQMZY@Pp4vM&SZF{eN39<liw+hz{|wagq^*|n
z<S$Ps*6(0FE<lEW3>OE`za^0P<m&;R&}UvrVAZX@bZEVF4=!EJlDu$PaJed=3g&b&
z9(689#b07Fd%QMT!3tk7-|Kb7nl7EV3?SVAcnFE8=RevHe*gYW02L;$dLKitCBTGj
z%J<Gg=gXs!G3f4HTwILVh&q{}Qvl>d8Jf`$rwP;xAajAgo2&rZxE<CNLf7(~E>3MA
zvA>1F2wRs{T}@In2KY};rN)&Vxt~C_!Fh^-_Mbgk8R9@V`8zbmL#Elot9{AQf?fj9
z28ty2Sp%6ajNTL(8Oi#t>9+WYv9mLmw&xiIpwpDp)E^@oV`Wz4YB_k&OY-sa8(7!e
z|2Y(b$Fvt)WUq3+Huw1Auiv}ctBRXWRO;hyS)Mim5Hjw7YPw?BzeYt70Gy2Gb72Xk
zlCE8=0F`MDfR7%KIe}?FzrIeDW40J)V<W<Z-X_9E3)v7<Ic~kH_r3vb<LvUXFz8tb
z*t-A3dwOfGX7rawNM<xsG3z<OJ?LQbO^0Z4Fwl@FZfR+WUZeaQ-1OY?atrMLox69<
zim{;POT=+~FPrh4pl!RDn7I;`lY7uBc+Cfk4c+w~$W1fWGVU%e+`vRUqN4I+)U13C
z$g3roTpHlm?!kc`1RYYExQov?ySVronUE4lKwuee63!Z$9?uRCy1)QZR!Mrv<p09k
z@&^jP0-W&y9lO?qQ_D<QOG^r{DXU>u{m96OY341!KRMz+`Tq0IKV|IF{}w7^<B9)(
zoD_%zm|<w+@fGRs?;D@;$72E_9ytc^?+pl~h2CfQnUdnmZZ^zTk*f>azPGpM?CQ#)
z*N*ht^NJwJ;{f5OJv}|Z->^l!P)zR2_q=q4gbVyDkT7ySdD^1s1G*fsHVzIJYd?W;
zwu-T5|Dq(Cq0nFF<pm8jXqZ1htVsQ8ulzMA$Pm&lgXTS$Y3L69-;tPU=v{JcRXW)m
zrH8n<%@D?KrKQVA5?Kr|7#SIrCOl52Mjj=WmvdD*Y<wCsFLk{<=oM@QZ4dr{9JdOb
z9<;tzGHC+h((^2=flhUuWv-VhL1dB9CeF3CQI(zYcy&d**zgpyl!mzH`ZuqGor435
zbm4uW;#>bUyyMh(P54MqFcFED;AlX_K7(A~a<SJ6%v6!RJQguWm#M|;|F@dtgQp0q
zopz)CS6W=7L)R7u&~YMK)L79fiJ(9*xcE6!uWdRxaHsse+__5qj#MwAkb3Uk?ye40
z%!o_6ulh3q&{P160tKKzr{U(b*R=;0375{DBxrJAGffUJoMt>Cff5Vhuoy?4lC1i>
z^~1vvQ0@9bl>u(Zd9$E(6?%A4QBla~H=%B0e8{NnS{ll}F7UOf;pdh&p8fhzS-oYS
zHX9|coY52y`;K{`B{>=WV&Y$na+!B2<ES2uacj#vuRFd!010kwWI8<D>-G<e*z>$Y
zU<{){Dp~1GOb4Q{Uy%-i-4`OnEvU~}A5bC`tJ%#>ckvY*eEfs8^h6fV3uj2Ot?;?_
zt}gR^l5nwRNLFLD9=r%x7X;5a&wRE*{=Ti#LdVX228t_M*^Q)C+e*4xKGl}h;9j*-
zaf2buT!+Ju1bazbS%Dz?BRl<*42<dVc#-n-2juv?rD>4`s~Z{!TRS^KfN)Pmf}Sxj
z1On%#tEXote)1AxIGzHjsddG1hkAP>+}+)ycpPX^Zryvt!!vHnM?rz+<>l2`3TkR+
z!Q!Gm#Gdo%oZnhsGCI_7cX-HIlLp*4G;atT<>8z6lN=w_rc)8RD7qiZ(<G+g4ls2D
zYCY~zTFd29*4OXclk0R$9oiI5yPEd<7kpBfDJ;<yLT&FIVw!bb6{0}=m#kUNSL6wm
zM&h@(5)zAle!K#TE*=<y0-FV4oG)4AdvH{cp)dxtxG8t3<Ca>2=edb^=bz92JOv^Q
zWoQUfJu%l|t)HTkpfIHKM)-JN1U}hbL(457p@p<93_BXN$}`MwP-hilWnUe-kr#`*
zsgz39N(S#0DvqjD(w5wMcx8zdd5}}*X=%y$^5sj(8G6WN3_{3jvUYMx2W*7Q+T-JD
zN;zr<4wFz{p@hQS67R$1g5JCjWf#DW1aOvgO4&)}<x!xHak$oi-~haTXVS|L2<kc#
znTlWLcTN=g1v@a~`y|TKLq@SoH9&S-QVc9Jp30=-_j7O<zDB<d^bfQ$`_Gc$JPSd0
zI%x-b4iY~@;88F#27UW>KS@BQqqi(!`3JCUNG7nvOqs)S(%8Wqzyv%$7?hX30n}_;
zZ!fqA_94F%Iq$veGGz7l_eU599^D8JeRVm*Dxd7ZC2y>AuID*A>YeOyxv``;tQn{-
z9cEklM`z5*u2|2(otmlU@Ij5+$#S$&!r7Z6ashX)yLj}EfOY}Mq-SRKwa@tCjSDo;
z<*Z<eJ4q4nINx1O4i1TmGA8T{kBJ$dU2EfaJN^cZEU{Jfdyv3~3Nqx=S#*D+0!Ief
zHZ?mt;PdC(fJb5Fo0^+}dAbKWAL5TDR&_3_3iFmGw?KLpMIBw9S>UjpuO@ZIvQYaF
zqhxUBLK&d)&#|!+Ou1G6HE|&+$PIXIz6a^*=_h}@T@FYdnlSUR5o0#<vBHnQ3$UrM
zthy?vg#u*G572~Jv_5m7zWx8ha`P1=L9x^apb`B3c-M-i1|WA(5KF-?h}f!FWT)@!
z?7X|*$y8>~jI1+;6w>S%5IO(m5L-IYo3GR~G`ig}>_BL9#!&L{#Q~b@RQn9-X490^
z|Iwm_qz?kq0{#6PhK6uU)Fc%YZ~)Fd25QFEy(5gKyu4h+;$+H6`-3}(#;e0Q#D+yj
zu3r+puDC%6fLCXimfrLx@B<k0{J?Ug>iPi6Q}y5Yqj!_7wuj)ZX*>vT9MsfG*@&NV
zfv0Bql4I6a_|qA&Sy`ds4Zy{)|34~_m!DQZSuZl~dm<b_@Dju$a<2>KV8JUc=qDpA
zJ9HaA?JdVzsr3{T6<wV|fJVVN(S`m4OaX+jt4lCEfM!|}1AAYr#z06&NUv2L1>T4v
zyA>&S504vdjLbK8j}zP}`4>Na(7c@Cu-g8E(8*?(Ps(a&ZJrKs`s^3d<Eb3^s&Ym<
zLihoomGJ*AUjP3oUT+ZA|6RNOyLSC|?SlIDp99$c$7|Q}b&=DGjqH%y?6tNz3qf0e
zPY?CPEKdmKGup6d;|PM7r0AsZcMh2AT9FqXm~3^Qlq{#J$7zow-*o$Q+@!N|u5oO@
zXrQRqAZRwY^^(w6M`iKiih$sy60Xd~fji&w4?nx*qWE6!1A)XM3JQv;?RU3*9$hT?
z*Nd0yjg5{X4JXk51E&u@gZy>_l$$q^<`dhBI3ToGp}htPwfo@uxU3HJPMIB6=iS*`
zYhW#7(Qmt-nYB?Ty%%d$`!Yjees<Oy^irsq^qQ5$FQYGp4d?P71v*`;UmHyN^+wL;
zKf+AEW+Kg4rqJBk99qbKl+&<c#Va+VBVHmA(iGc(`ttrZ>byd-bt|~RmY@pi0DM@k
zYhSVjmQa=&C(x6Mi76QD1EGMjLJ|{u(-S>AfRcGDF3y_xJAQube|Z7Y?tx}Jl&QG9
zqoO{ta|I3m1t6Kx(a~>FQE$O-=Q15mr~IvR3E-`qhK2<2dsa0^c+iR=StKwDA#9l<
zQFeQ;7nxgUqNRq@^kNm=>=9wgigpDlA!Jw_%f<Ya<MXMN$2=*2UHz4x-ht&*MK0%p
z{nmImG@{YzX4)ZB4@5*nKr8{<u;EfixI1{+Qqt05P^fu%d0m0dSv;8m`4#y6HvW^z
zMz@_BWv1Pm`Gti)fjmRffWWGQw%-k6AV6C{0+?Y+3U<xTLki13F-pm+yI33JxuUHW
zCuVX31J?2ev8!+HgdYq)8!_BCZh!ACaJu%yh%r*$2A6EN*ywFu&t_M7SE^tp!9d<!
z;&hikTVw;2HD1@ANEZhP3WU#fytx$VZu?mK-3RNLVEq2REwoQ!Af*5+lXKn!+T1B<
zb5ZPOc)ffF_mJiUpc}1@d0C=Cq&LiWJF!GCMkw4&k{#EzGHY*%83-i4j`c&mXIF>r
z?Gv+P>Je$6(~_Rvm1y_r%PkjD9%Zq#+<+_oO@fp{y`4R}>KbKfD=KwYE|t(Ili6-^
zMuhd;Z#3}rxByFq^q91VP^hS=6lan`nD`!3++>=Q)@$%V1AO);Sp;TLp1QyS6SA9z
zxm<y5ZEYwk@~p^VL+PLzdMwxlm)!<*LLPf+B;E&s*@U?lv|?Eq8ALrS3c~uk)03_d
ze{&DQDwt7Z*m|IM&dbu(SUYW7VvEsncK-IqnLMxQa8#S0>+V7)ii|x+p!rtRlwY~g
zU&L-_v>@X1zZ~PCpf962IXOXh>{nD|_toJaxY+T;+tt2;f#5UoJX^xQ+6(r24kt(8
z`ofN$A<tp&KP=zfiBt*Bzxk{Vmb-x}ixT;iCKcZSLc_0L#$4wLBS3X`jeOJ0z4L3)
zQK^e`4CU@!XWgoZ{x7Ci$4RU~EOdx_21h7a_~h#^_r`xL_r5SV7;#orRg02V#3Rn@
z?<|m)tW3LL(kS<ija5Ggq<{o4iT7mp!4(@Ya?ry(qow@<9UW*XHLeF+TU$1EcC22e
z(yy-I++2Vt0uH@9a9`j7AA`0ul2P*sGjl=vMMp=+C>XdGT7%J(eo-dbepBt6Xpbnk
zB&DIrODhXySh&?@^XpFamyQ^+KGU3WR=*I1>uUtK+T-|K<R;sxA>7a(;E&w(;sH7m
zyf8tq2tKeN$R<fXDJ)X?ni(4ih^NpQzWi`&58S6Cu_s`O2IqS#D9Sg=U5{vi8w6eg
zsmn~eZZLq1=pPhxE2(@EN5)}WpC`eeWavZaneY{}+Q*M*qhnE5S_(?n3VQQaALBYW
zW70{tvi&jTS*@n|K7rgTFU{}p>Ig|^fjLNjZ@#&D_xD{DRaIFnEzegbuxPipUZHCJ
zPK4w`jxBicysxis*{lMo`b?6ZC0<|n`TC-QWBg^FR?T|%*MI<|xe>T?q{Ihen#cKJ
z!|*U3Cnx7k6ci-23(YrLQVQj6CT9N4bBDRMtPfplLsvEB)mN;)do*%qyOzw-*{X&$
z>Ktb4Zva_jRSvp<6BRQvk|GXAdbrltO_7E^2aBs7(U<p8e_X1<T6{hDN2sc^tE;KA
zvy(4pU=68pMYEa6eNeuonRjgS0GiSHaSG(y8zBSs1MSTrDIef`r|ct$B~T!$_gaW^
z)U;CNbd9LU=xLF$GWB|vViFIo*8pi>ts;Px@cHwjNiz`n;L&Z;*Qi?m-lNGO>Pfsv
zChg^gU_nYw&a!p`*OP5Y6_uzn&Ckehur7P}KGIqpJPUfz=75!fnD2#R`aprlUq^iw
zLeTOS+o=+98X~P5#l*zGx|s&P9@3b+XQH6K!PLXpe4$ZK+{=(>2WB~_FHa91LN4PC
zf!oq+4Qd9(2`G45*wzWn6k>1-4{y6%93)=rgV|&&<QUc#N<c$<yZ`L$tYdpJD6N^9
znGyKaqRGO6PiSZ|ruwbKKp+MsMkOl(WG?evqO9R>&qS-e<nM3G!D-r7fiMmr=EMT`
z1Ox>&J$?1m8`E%)zsJnhv-OU>tsu8T=_+-pG%zp#9>fohwJqoaz;BE$yTCmUKqd<!
z7o1);83{?5IN&G_Y6JaX@1pMd<a(T+9CAql7c8KSxrN0UETBq}Vc?k+6zci;cQ_c$
z7WAqcK*-BzYEJF@lo<no1aAK9?g4&}b2jB%4PBUUQBg1JWfTg5<4&ulC1V^$u=T*V
zDw1ID!8R9ibHUt~tzDM@lPyS6<zGc=zj;YH`n193oIy}%<PG{-(dP4O&NaT^I<Gjg
zudD>S=l?jSY2VZVZxIMLdDAC<;lqn-3B9b0tmY1s9nEV2s)^lsMpp<VUr)yGnh!Mx
zfkiG5AeK50N7#F9`35>VItd90Ok&_7fP<uBV+(`S%<R0Y<G4Ah+hYWF8(>cRYTTTF
z(`Kr>U;!tyH*7nzK?e?8;(M`Fmh_Vz-ks+_OWF}Zu}6AFK?c0IygUQZsp|kK2!rE9
z8hZFO=<bp2HTap#ihD}ZMR76Ez+-Z8x#P70N-lEn19%UR4w?Ydj8VG4g_6MKAx&o)
zfr#Us8KlY%R6FqMg<}H)2lKtpotI?euIlU+^3opejhQ6O<TkVOphT|T`&q}`Ikax}
zRC%Jz%4qe^52Vio)X-t#3_3cx1rXZNX~Qu})Ve`M>pp<U{ZLg^<uY!}1~BS{l9E#L
z(mA9%Fuk&YpWTn#Gb$h;fN~?>dQJ$|3a|@;gwOdKOlr(8F8ZqFP;zruwC`Z}SpWSD
zFk~ZKNulWE6!%L<rn7m{(^TA{>@(Tc9Tx+>S(Dz6KQXRK7uZ~y!@+!D1Jq&=89zon
zn3>vpdyPPu!t9sqV0-RnhNT>!eCII4?of!Zft)lwzZe7D$66rSJ$dqknwIw6_GHED
zH*cb6-pv3*2YeUu<4}*^hBQHB1AwCd#ui2xcIUq`#h{b`g^S!Dq+cBT1MNU~i-5II
z2O}RW+}!S`&yi;DjPwLknPDHFo3PyAHNrvKP2pF3KYp}XZ2JcR3<p3FP`kdz#C&-s
z%1}#JRC)nJ5fniFU&96>$w83s_CVDy6-@wuLIp2CF;zEB1~~{R&?0Akz+Ma9kcQvC
zf3{a{@yZ4q%W-3$YzdXQWshBm-_Ryy)Gzl#2|?YtpbBo1KtVbjkilUDN#kP2>pEGx
z&Ql_W&A-224iQ1G`Wq}<P2hY2LYaJbf8VrJGd3hLQUtithK2?be%CNRGS|=Gd*W~*
zorHiA1(6@hl{d|OVz|9@srYvwmO8t+%_wlAzBJbUS3P#+c6>Kc<l%fIJ20g$UsLsc
zS3|o6J51h1asE$*925a$NI;%KY)(~0!i?3z>grptM}F^IYFo0cy}oi&x>iT8|10gX
z>-d@Xd$OwzbyWxU*c$|r<pr63ALdKmL1z8RRI8H5#}a)nTH;f9I4+DoAQ|?dEM*vJ
zyN!YI8>S#&aB8~ReI!>?mNpz|I;D|M`xX*%(>po&DL$jdY=5daXuYJ6!*4lU!zP0Q
zfDZK#+&0Lbfy`~Qz;)yX(vt_j+MlN_2nelvO<Q|sqf`6DJ~=&|3fRX~ITvx4VX&V*
zgexH?j)koPmJkF?m!)uJpr?(%B7<~nTF*D#vAbNft>D(VIm*=?Uv4DXV0%sG=+2yu
z{k1jvyqAeRIToA=NO~P8WU!{dAQ~lj(Uxt&`BI?Y{s7ppH8_aLFWt?|!MzE3l$Prn
z1ris6E0^2t*gP~@Z+LjPO`ipF>kWB9qyZOHN=OEixamu1b9rx(bzh3fg$j{NkhLyJ
zEG9W1&3}Z$>$sUzSs4S<Fb8XuR&|#VFi-(*DCgPt=;bmBcV7JY+iK(A^Bn!%%DuEY
zbrqH8AfzG<f8{m{`Nih0cKvJiaALq4Xl-lz8%j?=z`X<G=A%ld9n0G2N8lX+D*7P-
zK^wfE%YIen!;+ny9eA>`Ps%`j;XI2gu0*csaAi0ju^pX-Jyd656gdPyHM>i=jBoAw
zN6RO+=CySi+R|obW?+m1`(P@N_#q)7ln15x`Nl`h$2{>tP#&W<w&&-4Qd22hYibo|
zynqlb06Q)W9QpeBfiZ3-bLWoFpMs|5BUpwl!nE<3s_}<XC4yd{85@FPjvVrXi41|$
zSrh~e&ZskyD!-v(#8J$*{dxD5#y0cyRC3mupK9I+(rSfFBT9K%k}xE4`S(PGGL*gi
zbPPrpAv3}$hlHH-tFeUKTwPrq`A#jDC0v++M7r(jAiysRD=UYqYB6TPZP0xSwInys
z$!tn20ZOlmn%b~gy1Gg7c;VZS!C4$VIASq1oy9M`DlEr`hQh&Yd9V)?D2vO>^UKSI
zwJk6vy%3l%E>DdEQwuQRNsQ_~VrOHc+xG1-3@qf0EqM$7Re`cGR&4SR8S@~18A2ui
zG@Q{~jQVm_<z18bX=g!U;k)T-mu0hexnAC8Iowxi@`}tenmU?=2~Nk${~UF5Yv88I
z^CGnc80!L$B67G0vM53(YY42xg=Qm+AarqiUU0#plY>x*bOGrb7}!7q1nSVA%zZL$
zTi+t1-Y23D;8nO(_Hr{@V6FjL{`2r*BP5v7LW8@|O_D-u*451+|J9O08rBkEH1s7a
zpsyqCgmT1^(JUV?F5K~$v;vf}DB$FFgJ}zlm2fa%#N|C$Zjfc)+}s>Fch!9WFii@k
z`CMzr;-!qPa$!0MsxBDgzkx2H!<G+EkPWn!RuA|?xg0kMvXt|{uE7ecYl|EU`SRrp
zQk1K^JSNs5QoVpu46%o-3g97z*ethSdw_IAIPFY3buTER&gBWi5!3F6ZZf~P*qr07
z^ZJ#gJ5FYcVxPYURqk$G9Np-cij0zKx7YPwZTJEekc|*vn}Ode)N9289Q^sqm-(eg
z?G~^ffvr@>#H4*C(F>~{kWvtcD6sy<Lr-yQug=W?>j!~*9j0g*VRA$3!$1twbfl*j
z3Dw+Bt&yHG=zcpu&vrTp9Q0A|wgWoB9a04hkml>Rhd`nNxELB0)dr3w7dY%lrx}=z
zkS0Aj(i=$U6YoxSBiO2t&J}2sjUbOAt#aP~bKC$-&;gN=_>eI;8vU@*B}U3U&ezfb
zf}n#(@8->$;1&IRW^(TJcVdPMET_mcW7M1Ae$dSc)0Ehdj&Fj%d0=cVEBg<aN8<#&
z$eyEJg3fV|lqU?_df*O6+G3H8TsUAWa8h6<=ptf+@wU)J5j7)YEx$A&&XpW6I~!A5
zssGs`gg%vWh?IQ$_7OGpul50z97V9#LrMUv{5yb5n=^HFV`fFj2D~n}t4rcwYTe?E
z#sYK(;O&C>v)%u}*jGnY9em#+rF2P`N`rK_gmiazcXx;gNJ~j~NjFG$N`rJrcXz+J
z-&bqB^?Pr<zr1>7_{7YaefHV=Odp|rt(7M*KBT8F)9*9`^)-k6N(6vRKvIAul=$D1
zhVO~v@5@QgFd@V6>Uu|bgm(LaWCZ*T^#e5H|KBGPs`vjZjj%g!^)v9|ao5nm11c+G
z4Hn1{7J^_mwF?I<2Bg5);^7$h`q#b-PrdzWlnkXYxEH>=%{X_}Q&mmP&`tv&E4p*T
z-71GDwn0J+LJ4uoNn~jWcr_cx$5A>ACtqR_zMh&>$gv~3lY_7XUT`=l>O=AokfSs-
zOPB$%#pMaa;+iA2(|$fgx2=w_TwGmUjg#nkP}TtP=YS~&RNqaq=dH<3OQqqsjFUhf
zxL6%!Z=xGXz#fK0CAZ{20-_UeR{$>+$X=W=K`PW=T~%cWwm~qnVt@Q_=x@241>#WP
z&H!ZG_^ywnRjN7W$znrv0L*KS=3yX~83x)5NKy_$B`=5>c5y8ST2)4H;2WRRLhX{W
zg#)?aW}uY@Slj{R7H%Wr=--+{{-0?@a;Q?#=F4N|%hd7R|41+nSpZ@)0}^JS%c;}m
z1{!92YX=w3IPxM@#ycFam_<NB>7E9#Q8g%T%~a@*0h|l5j`Dk5S~%UUpO?ry{^NT3
zNt%6-6L_iVmh_V9lF`2^C>Py}kL>aEhIfkbRVAQrz)z{4JOGt38Svl%VH}|Rte(Ar
zbo=FgwtaXC2)H43rpwDquUuWQKukd@$HmR<2v&795a)UAnVXrh04FO%j{+7vNaWVR
zT7XhfQN_Ag_Jr>v>a`twZ|38Ls5?<dx)0>E8-T<N41@vhTq}heAUlLq=k>M$S~39J
z05H4(c%(p^0I(PC7vPFy1zR%2YY&_f2a#Q1i4g(cIoP{_Mf*R2$bv0p#~%pBw)udo
z|J9VmA^=GMO+n1jKmnJO=)WFH1(_Ov<H!YZu;u0X;cDm!@GTJk3&?hWZqLT0wJWkr
zn+dL@qV<{pC>%bOsa*iL<pd~2wXzb369`n5FD?Pf0)WZB+6E{Q%)tJ2x&JpD@OsJ$
z3gesAU>^5(b_RgTJ`^Z%0;HM)a5G4%mYH)KzrL##!~pNA6_82SB<;eAn%L1OE_t;%
zDeQv#xBL|mulbG|6;wJ`-O?y4enYIaKy}pv!rm(`uwwz|EeP1bKt!Az7zR)=#Fz%A
z8gi1~I2zEEcB2XEFrEOG0vH#9TU+_TD)9kv?uwzU&F78<@J0~757?aI($a<jm~90A
z2vtFmzEj4}lXh5!zwL*nPfBCrmNxVF1f~+8UE~3Th6M6jU~+lhHU<3P;LuRl&`=nV
zZb8HV8=#>Z*t5VEu?m@O;E$Kx*$UD)O4*#++P7c+%QU2vI~v@TGYOek#5+JR1LZ0h
zmfP!+8jb%F9lQcI{Xg-b#vg`F#|8cof-FG`gmvJi`$F?w8*D<5eGlliL8?(Z*aWB1
z=tQCKdxZ^AgaD5caBnfYA1{GdMR*3DMkQo5lxd5DGz2g$pj`WVaO>t|6>?iZ_YFi#
zq`)v-31rOx5zGVU0Wotd-5cS4^nk?E!ihgsSc@4)-6hf2um;8MoR}F0e{KVuXe*?M
zc+|rHEC;4CN&x|qFM#7@0lOF^S>Sd12=OCA-2&(`Zo&2l$TNU9K^Fa0hO!%oq4hGv
zqlngk;?5YXF^Kf?;iNtD;kbE>&mROyprNfc>O};!9{|r4o-3r-e|=7;J~s`N-hOC7
zt1`^sn_CRXl*4w;9{rUlLn%TT7ZVp3sKdbNZxu)>EiHY)^7Chb?83@Q2AH1fAd-S9
z@L$1npO>ebZJ#E$BZzbr7^7qWPys;tqNT|baK4qciyUBg_t?u%1dS24|ElY6fsGOX
zq~vz693i4I@Q}CK9*$WH0j}={^U(vWE3g`NfPI+BpNfxfNv9n+0+z;`;BEoK4@|%a
zfKC?yLOCE10_?zNz=(w(?2AFxAEY${P!xg1_j21W2z(`0PItge_C9V9Sh_kF76<@)
z57eCy%m=VBrz$)sTF5~%Hy5u#-d7I28mjgS3RWq8z&8(^fUkk+0Q4e&D5jtwk}2RI
z0rPcz_2rp!OyJ=o*b+b-I0fXy1rU}PnVPCHR)Ab}ywTYlM64MLP2g4$0oh#@0P0MP
zCsGs%>J;U86_eichB`T{w|gqgP&>#8C_e$-r=p<feT*42DYJ_MvTBe*jZA@j26%DU
z?}+LER^jx%moA)g1T<+{S{fwT0B{?;p-V5{@IBq%4zB<j6id`@^J#4K171dyZO#Te
zX(=f{VU?<nfm8#g;A(ubsTz_n)Y*W9VQx;t`KeGgRm{?|h#Su?3Q%nN{!i>ciJJ@J
zF2q@-)9O{HdIu<p8?65@ymicSNA?!B1IiC^JiylgMDTrJAxHu@e;}FwR2D#!5hVPO
zM9S@CMHX0u0WE0;l)vN@6lZ|H<Q(_|0KDMyZ6M_NfPD@ALX|eb^X-urKe26Pb#2GY
zLae;Gms9jn-Nw5}rM_$(e2~6vx4VMmvbUKib$x$dN=`1yvk9<zAPb^|$!Ze%E~C~?
z1O<ePz#pC0d1WJ8l$rs$x5T;M0TpRD;GjSmNB+H@bpNG2@XoEQkTmK5fPo4OB2e4b
zdtj7Zu$R;vNM$Rq;dAMY_4Y!nW$0K~Q-@CfJsIJ!Xa{whDo`4MXzT$>c5rsy0AeFc
z)fEV*+Vef}G||}9v=?;R0QR2uV0S9Mftm%5sVc*6cz{EI+?MaG2MeNC(`oUDff&~$
z4gfYa1wLm!(D4N@3_v}uZlAXc;>HfhWgtx~0I)a*OvR#4Va{-0Y-RQ`b=mJB>CDV+
z{g;UvtLUh)DaH*0>maSNg4)`6K>Ed`rg}?9lS2$v|79Ma{b&bR3Q&O|V`Ys4&Sc_N
zy|Moa@UN*QPym$=*cEF`|KI?FC8Vrm-=sGS$uNL%lBfOg90|ykhcg8;LAV8}x3-Qt
z8s8}tkh=H)NxaT)hioDA89<eTJw(*il^sN0a-jXMXuA&sqETlE1z?a0JaDy^Q`B^H
z-9tl&ph5;LN)THfVEq6vftc<T0b&KV+rdFe9UaCu{_p9dJWSt8l=9egM(-5UV2we&
zwVMpUXlRDL8UZW)*RNmjxyS%|nE>i)8>!9L*Voa-WfSPtdx3FRhzAD;2lQD<|MiPH
z!($zxT&GbOOi7@if|40~TmU&2n6+D1v-&`wZD4391nMGC8ia?z)!``Geyu%d{pDG^
zHlN#%3zWZuSq9j$Gf+-Z*3=wCVr=OE{E2;W8%VsjfV0F9?B);<udlBUiANyxYCj(5
zNygm*vlAqSgG33uzk6JOcOW?c7^(_{uF}%dBreAfAdRsr89E0ST?L#Qpr98GATD4W
z%V?#g0UrH99ttu<&|$mNIGVo?&`=1qE#-g@fiyP&*H6L72wG8y2cr<0$$0|;7@(Lm
z5CB14QUW9w_AO`dK%x#d0!(b|Ai&xHkVV1Ho&Y)t93CD*I9sqA{{tHv=-`uxCUE-&
zcwHbt3)}&y3L*owWrL182$85bfQXURoBpBr?#v>mCnbi(47IW|Te<r{1vZ=A@A=Lg
zXf%hXKxBc~(k0_4**#3hA<ZVht_XNac2BF)I#30!s;z~%1tF#jkk_O#O4y^tlE<W{
zM*_eF9Naz+M-7k!6{H_)75$Lno1F}B6@bEv<rG^g@tKzE+*fuoTTe%aLXHs?bU^h0
zK(Yq9iCFwS2W%`aZ?pEOJA}+wX~74t0tj$t%7t)02?@P|L~9U{`uh5UK`WyRU{ejv
zl17JJV=SJ>s5s74i@Qk+#M{HPo4+FaPbI{m&^j8U!VK-^Pciy`5}$W(gb6X+*%AL!
zCUHRrh>IA&mZ3);d`P<TdkO&mx<9TRU?<`E2J9ZdX9}tukb+2mNpbN9M#izn-OPIO
z3>`+7H(=UBC?voP^&TkxCyPn}Iht;h3#eTbjZEPLB#s+`)E{`Ne=qk!1~2*Ri|;EA
zazd-C2O0aIUS4%-)b=_or`h&`1Gx_%r}^I(^?!c)A*lXOHK$);@@$>}=@KucMRV-C
zkbTEo4BWm!u=D+*vS1)dcV?rZHQQ?YF}kYQrI$$mwk2B@<1La4)SCQ=2Tx$cR1WD&
z!lNg2MKQ8k#5DS|>}&Ub&V<S1oDsjBBgZ)WNTTjz*iBZu&<f9*Xz_1ES;pDF+1{th
z*OUzjYq32C;{0%7y((ep8mX67#dKzS7A@pxl?bfnAlq;yRe5DS*fzLcn~HNki^7~&
z%`yEtArQ{>K;?gG0f^ng0zNJ+!duRaKhr^tOgYwSC)$jwBikUUV%=ucw>rIj7G7|E
z;C#mUlNOUfefY7`IbEcy2)1iFL-d#f8h%|5`Q5s+F7M{YrJ{xRrz|<ktv?4spFN5X
zD{GXqCU3D={K*C*pFDQs=5N<weRQzrfQ0s^FMs2c+duc@h*@8S5xHNSIpkBYnAbjU
zR?Zjof2OL%eo7k3#O`1CP!()fTe|<c8zJ*Jy4W|&S$yDG9hR92`a5s2i2H|Ri}pp`
z95t(*why&b^w#1Fz|m^>>@h0e#-W`#9QH5Z7tx^t3Zh|e29NhMEj_|TKhyX;Dz7?e
z*NR+zYoCg}?ZcSak%at*8z?+UzZI+(PAd^E{;CVy*c?rfp?P7K_VV}Ry4~OA*I+G7
zY*l^M7^eCH5;OAdo^QwGh1h-R1xe`hN;Sl<6PaO$Vv{yFgRx)l+wk1Oc8STo+s+IA
z9vvqsm?AfMFY(C#*2O`_afjBL+{FQb+)9#~xNVt3?Psc4&s;{~m|bP*`2<D}-_8xy
zvAY;cl$ByM8d--()RJWAWBL3^gR?%yf_y?i7bZ4_V7ww|<D;1@I$HcCCE3eJAK4fN
zgPdsO!<y%JU!JdXDKM9Z4c%{6%gDXtaWqLovh?x$y6hLIE}Qa?R(}W$F{7-kd`kE^
zjeLrq%{)>v^nq7ftYg}MP0ndkikrn6C0jb@&9z1IIg)!K2TIFjrYL$_f9BlN*|$Gf
znz!ExcwfWqi+_*={?}-_t)9^^%0}1@iSzRy@&Vi*wbm$W(H^;bxt$L&3OK`;V(<<O
zp}SPpa*@C9(a*gw?|FC)o{lYqTT}~TSXSSxkN$nCV*hcrLez(>WVn-M^smPv)(Wja
z&YsL^>5~fL)c3R(Li{T_rG(BfDEYUjZgVtzXPLy(^=Dd5MfM?U6>3S7=_Jx>%cMcE
z$VQo@frT~1Zlf>=8VL)xzoctCr_JX`zNQDk;c#Spd_<54H_Q4E@r_oQ$2!pWRE4Ip
zrb=YO9XY0=!a(lJ9<@^THI<We`V@1YP5np(zM;#t$?zj=E&CSdVU*cdd)s9AY6tml
zXm)C(FU-k7fmSo!SqP#hZEn+6w?3#as$td_`@|Dw===jNZ*6e#7Edke3rb;B*=;W`
zwUm(d85AVWOP)PwWo-Gg<#Y+?tyyi$eHTf4e@7O?%p5FCkNyp*{97l!C{`_)VyyK7
zTzYKI62H_7aQ2sN7RHTUSQ>OWs^lN^{}``})j}1<eMi0SoSLsa-tmc7oO+2+FeL{|
zeQF?Z8IL1_HMWTd_NA@B)w~dutn*WiFRU--1lH>ur^*hwwZSBw#VBTD`d8(MheU6Y
zi5h-<i*sEtK0)jfOIgs{BJ5kpw6b1my0&Slz?<+RGFq6inlTqkKdK!(YA=tg8a`t^
zLi%`ksBky({ytKI(xXISE_tZwOd<U!EBRVhj|V=pjrQ>Hqt*QeVvfku$ir9W@Ywx`
zO~S!j>R4u9*`qCdbjecgOtG0i6?CWWzj*h}$@eU=GZ<&^`K_`e?xQIU3N<B)8wE{k
zy2hfIPxeynE8rjgWJ-Ez1?}(gkPY>#{X1a_jzk%?dTT@-ldCic82kYf9dEDAJ&*b$
zMT|y1XhAe~KWF1N>XcPS()22(=neERnTfNQJfe~JF>s=?A-D9Bcu-G?NcgM+)0rQM
zRBrk3N5byj-%i_ccG5|d9~q5Y&TC!Ozcl%F6|4yyY4O^dM0BC@s^TF8n|#ncs&vMa
za7p<&7dk7}5uxhE5mkbJcA+N}%pA&1EB_&t>+kAjy^|A}u}a49T_05Z#YMXrtLY;(
z=r(og$@IO^-nZjkz02cLh}4G!+30%V#mQEgmeRXl$xM(Lk#toN_H*e@dmXFuh9&_)
z&o2xCkGoqYS{IrF!7xL+0cx?^Tc-WN&o+W?I|5h-<to6x%zm|&`B|w%wLn@?Bwp#X
zURaW+N(j+mQX)IGCa<enn8vS3XR;;sgQU{Wx2(c6LB}8C@`m183XvvnHZT;1URLKN
zz21uTx`(IvToUJWZT~~~VSu7tRkPrZibLX+Q{CH^V{sbs!nkU`?=jE`EHob4$>fr;
zDoN;|k<}|DnQA%O>3j+6uko=?UTG@SlChW8@p)Bf@f;=xd0mf0G~()Ry4$8oqZ34u
z>KfF0e#`IRng{Yb&|G7|D0a@3c`EP{ip|yJ%kxAuTgwWPwxsWD$5Yx8xzy<gL&PK;
z@p&W*WfRx8y`-zXbMr2T4(R4wNL=$7XC$hN9F+_;lU3AG`zjP;#Ykv-)um!plBt8}
z5|no3(p8cw;*`|jq@0q)!sdQ5Z0$Pb#j6IyPSU7^F|uvlZSX~slU99_;!~vFW8sj@
z_T5zK@S5To(A=RK6cd%CF-OYps^N|;|D9l3h4#b9ZzRU0iD<8X>s71{J_E%J(1cT%
zrqjnGB01;vc&@~jjzQDpE5+umbJ5JLXoua`$pGhRT%Onhm1%}pEE+=MI%I@-K`G{q
zgjlC@N=d4}GujMrALZgF<#+Sare&3Op^`US$y@iTIi|L`4<5<y$O!lI%Ho9^wj_Ac
z<)l{e-+L}v=fM@ll5g3^LT?e!7$wR<euv9EcY%OwYr+1q&I0{)1&`I#d>R?{_CX$z
zZ8kZW70hItv1V#%@d^6WrWB$QD^B(_v?8(OMG9f5HddJ|&Z$Yy1)emDLxYU*E>tc`
zhDg5TTiD>)w2KW5F~$ucI_IU;n9kmhj>AnxQ@O;-rGBtYDvjS1Vn2{-mPB+>lI}by
zkZyVe&xXP;wnhHirLiX6V$DRGlJfP=dVXmQk7ObSRS?>b<QudRyBF8Lhe#ZjkY~F$
zS+Hj%xs5?<D*>KN-PE?<gwuo7_7nBqIZ}QaX%4xdck<?qR8G9Bnt964lKk(R3s1_w
z^W4tkaL7$0n`$(b9_jpIm&kOaKH3<ys(>36G1<N{SnwapAOCi6tviyS*er%vc@t+;
zZT*wKSqSmRgQT_G((QA#gZVG=n_rqCvE+LK$nl#Z#(AX&iwz(35EDxBza-}5v6J>m
z)41N$34W87^8EGI{#iNst)MakO{R3I=8lzR=d*P<t{<MoO5%3uMVtv*pTu61uw)`J
z<L4#1xXle?nWqY~1#eHU8sGYIuSI`bU-?}yyFb!64!S<n9_+55{Mc09$YYU=&6|dc
zHIqnx@-@wQTdpFFAvnF)T<0&%QFb7^u@$>ooN~3WRG%XqpHmPlW$i~F$HIyxQPQ^{
zl_Br{@#tai%jJ_eql5_0qLhePJC$!-%NX0yzYnr6<hnz{!||vstU^vs1PrZ@g93XU
zZCrZ^A?f6W9jcQ7!!k6^J4mtSJ0W>nf<!-1$w3Z?<`QG$E&C&<!I$x<B>g)2=e4Ps
z)TfQe@xEJg#W+VvYe6_TIQPTCBe535$w96ok$+@Pm)@8XdsuRpGAK^TOD^#+U*PRg
zEaa_T5%ci>ikD4Ol@F&l{voJ%@Zt1AA;*vDYhC!`;0lqr7`BN&zWC6WH%8lVS!%Qs
z5vV=-nyE1XxAL)-sU#xP78FkTq)6LA1`Sln@e3ks*4)JcQk!yC(?bVijROj+C1Ny*
zxkLnVw-y7VGtlsug7U)5tieg|P^56#{e+%>Sx5hi80_)Y6C0Rh|AwlVb9qYXQ5)Ph
zw#$|vPA082OGM9cm+^}CtsEFs>M;X}tb<_Fw^fnu?=3%Wa65D0Wn96z?V_H<zZ^X1
zhXF-Y1oO2iE2V4lRB;^>RN83<r%eW{`0KKd;dPiJ=<HJYDPI!15SR*nD0!QdPiHyC
zkR_HN_z1w-`*LX3C2Izz569~Tx>MuDg)W0JCsDqks^$`*f0}NRnD(y6aBp&Z50@ei
zeRiBH%Kss)?gD1unQzobbhWay%-*?DBwHm{h4w6?=?jxSJx!5TrP{kh?3^chBp8->
znCZyO42$v=+5Bat7pu|;1}kts(<Dw3;bh00{y3$`pEt<GS-DdjR&8Q$re_r4IZzfw
zw@by2$i?TyLtBCbKDhrd<V%$eUimIlE_UQp=Kklc75p{ifsq*<!<w`g#OlE<j2TNF
zW62Hc*vHFRLF3SqSH4Tm6RB<ECp@BKF)1ftV~~m$5e`i%r6gmA5wWg+@v{7*_<JCx
z*#k>}70NRKdPISJXkjlGzd*5Ht+qlYTX>IL{7HiAeVc*0vcMJD+P9?=vIkCLgLjtF
ze8W0_QU(d)83?|rms2e9WN2Iz)gH`**Ku~rd&NDQ##)+OXs`?hLs3Sw*qu!3;PZb)
zAc_@Qw^R1K@{W}tWeVsJ;B0G;7sM3KVh;WGB-SA@wDMLZ8aBsr{P)VYis%n>*wyV3
zlnNVTU9IdJ2^6Myhu8xLrSgrf$ReQ=Y-rroJP+@ZTal%Z-_FP_4l2@YQNM=8BFTgI
zW`FjLhkWMHlXVm0=)<|Ui7Vau#TQSl%LY5zZkOpse1t$;EKu;&vi1!py`*W4!+N>L
z@A$qpWl=3Ypyx2cxO05r+`VgN0-q`fhT*xB&xvu4mjCQ<%_QYGRem(oCo74x?UAv%
zBhk|^2@6$D#N#?y{73$?jM&kqp9wHgQm=`;EZ!t@5rq^pc&r?JRX(~rvyltsY^_VK
zM`}U#LM+>&-egalotu#8Fzhg3GNMw4qE(R^-y>{K?fx~D9ao|_>nR&MDH17D@%c5L
zi<g6Hw%z3-&m|Ap!VR>H$d#Mh99&-xJ5K%a8O*(j+P4(B4eGSN-%dE7P1*Op4%MCM
zFz+(qsZ#4|R~d39_tRG==KjF1Se`Iv6fx6fwH?o9-JQoNW@-q38M2{nsb{q=c|_@j
z602?yW$9eR3K9<3k3lg}nP}q0N8xdypq<|5vE9oS3c}IFa=)eFR~fi!DmZYOvMv8a
zk!bjl`72*iWTtrT3h(R4614Zyar@~jY>hEqvy#pE&wrtF<wEMoLnT~gGaHm^90c*s
z?f<DI;M{-TPT*Rn#I4@OV9$8vJeM@n!_J9F5f;lbMZ=IzVyuNMP`8-ljEB%Cj2u*3
z&95zf{83y@DfmpS-am*asOof~NdGmrTOSMZlEnk<k3|tpN!wtz0b;8{SBo(M#gc<k
zb8B|1I*jGUf)l$b8MJOHvMAgBPt8;qM+4~472c6L7p5v$M2GTj!q5w}{Gs{<SqP|N
z&a6iiXyiUlBSr18Cb8EgZ!&h59k`QIz9g@SwqSM_<hiUD63*QQ?;Wcrw-TSncJV|@
zF&j}ce`rWd-Zt#e*g5;uhnZ{nGAZF`g2>&M@(lk@eW1f4#m+U;R;tx^;R@M8{y^b|
zy-fNDfj&$C#{OPw!mJ^|jC*|?e@L3ns=$<MNtriYUdRt_M<6vaIy!pqq5*a^0asCH
zLPANGXjjP*&e`?E@spZe-o!o<XZ{g1V<S;BEld!+!oywmGka8|H%ii|;~yr1KTH`B
zWDKgZ9TF58-dIdZa($z=kpfmi1xnd0785g#D<b|{;X*}XaMY?&<5reFEy6*Q_-qw<
z(>mjp_Y%El-|CIRCG@yM*n`p6qi~dxDkwO9T}#u((~f5hSUon;HzFpq;v9wk<UB06
z_#IV;yb;NVo6YTn?c_~?(TsRdCq4fRCktEIpz+hWO0+F0!fP*j7ZGXVNb|e<5k@Av
zf~n0tfd^y|)Ux{HEB5(ag&Zf#N4onsEo6p*=Lro>?d5IyAA)$D!K6;($EYFnhQoKe
zO{6Q^`^%*`_v%O{qqHjL21c%?S2OlA#e~0otMUatOrf{%Ww_Y#5C)rI@Uy3E7C`5x
z@cc<n7!WIeUt;HF%EJ*^k-VzpT|ce9&+JsP=&$@5o^z$Gn)10qxF|OJ@65cns^x^0
z=`Wp>#)?t0i0|*{9Z&kIj|k}lreFvkI~r8PuBH_pqkC&?{rM1z1is1sb#OkSAp6(r
zFx_k%x}5Q;nkC{#wk&SzH7`snd)8ET3G}@eYb9;!;ez$6l3Ei|b{2;p@FoOozAh$2
ztuwfj(Pm^*$Tlvp8hux<?_CS*^2S!aPZ8qhDqvja2jt<(&Tibb#~30S5L;E8H8IoM
z(v2Lb?7Y;wKA%J=tDmM}i+g!B-NoG<@X9z?e4ue;m2S3b?)WoEDwyaJdyQw%BW#pd
zESd7FYZN$kD-dr@pb^{anEc6*j^Tb_+*+}{Dl|?)Z~1B~XqwAkM)B|ovuaV985M=<
zaOJJq@T$bVCI3PuN40?};);C8nk~wH(Hd;p;-}3L1d}vY1Fk|5^XKdYRztIQL8SEL
z_o>LWUNHBBo)WsMBh(TJXHBH`-0y3;4E_k?*cHjDi)-3aCBUHz=zi{+e8cga_gOzn
zd~v#4IdwQ!piV33BU#LE5wA-s)`7N!9h(8@H<?!AOOru1(j_#j_V^aso=_g$rbRVp
z1d(FOyh$*O>{ht+g9w8bS6<a<mIn=SAHSULA;$g`uRi)g@-%1yF8_<03zs2D9a4g#
z$EZs5;WFJD{bau~e>SxlwR+E*2rU-Bp*{s8(e3rXzCnrktB~B0zs;KTmlZ!F-jGd`
zB`4ig<z-A8Q;)}`|MWF(_}4Hlj@+If>p1!a18!f4*5pd;BSB#@LGa5&-A5nZ<U?n8
zWG{OB_P;I}GqvW@zWD*#OV6p3I7iybZ9g;vDotM@wGWH=Go<FJ<DzS03wzYOhH?6;
zk1AeI5sP;O+ttTeZ6j^!g7E$kgPzc=g2LD2sNN;+$kiS;CU+_{gEX3lt#%?1Nkj`%
z(ozfbDw-GU#eA}3DV}&`QTi$xU6^zNquGV5sIV@t4Og~Q;LG@+RpmA1$LZ9|s|g$4
zJn?3CIJ$a~f#KjzGikemvHCD^SV6Oj_n+{keEjfDdk004$I<KBBdXVlIQS-0L`~-A
z2`5NLKH1wCYEMvMJelATPTAFx@-kViOO*RmrChxXZtDm!!|l`z3NSJxwd*c0oK{~`
zK7J;RRTqm>dDnlE;86`0d^){oV*2MOIq__UkRJ8Na^mpI(06|RMA_G&Ju=sZS!VB^
zr*b84RYOL#M5cEfzp3|P@=1(z>{a1qMv)onji|zsto8WfN8Wb`L*LUXSaf}FxbE-&
z%cjlE|MOeEl@cx-)3|ED0%JrHf0?(0ZbwceWQe(0RNkPl%2q_S@`6`(cbh2W<u~HZ
zwBzx13Lk^tulzcCWpZ04MQ&FeGq(q$STcQEI^4JDZjgR}r!|_(a5s&Y<IAeCTPV!W
zk`~#%GITV}0zE@fJs~eGqab@nIotkF%FU^R6YXI1(>qRJ)y2HH%O2%k!0Iha$3k=v
zUALk48<@WYlr1R^%QTeuesox&#ARe=Ed+HZM40I~v8Rq)Qcx-uKB{@6q~E3T`(AoQ
zHyQimPQwZYtLy7WQuF0aN0y+bi1mB}C6&anE|y%?>)F&#Z~!T-WpE@roLB`*$bq?C
zBDPj+*d<++w>rK^lyX2OR_)I4E^m93^F<Y2c;++KoKow(D0%}c(fla)?F~EsETfNa
z*dA&%n4aOj`Ptg@&#BXtN7f%QiKHK;NLg_1a*q$>O;XUT+m=2VNGtY^OMH0z#Lk`e
zrSD!e+%z8RRtL|`>rFDD4XTk{dF$r4HlpC6h0O6HS)I!m4Dn$X(&=)m$3lBiPM)7V
z39s1OUrBYXMv}Eykp%?8W8P-RoQ_m|n~kur-tNWV)sw!o02p*bv5lZVg^(n_ZBSrw
zVcLJ>o%BXv1HS`9I&z@k^UaC`A`5h;_7^XIuC+y!5qmlcEv1{n*zD#rm^XzTcq_>V
zUD@n4Nq9_O9katd1leDLr!W?RKRY^BO;5{&%vt5NyEg`GUXt^XO5FNkV^lD_JH+s3
zlfoAZ#L-oKI;ewG8`M|`n4y9mjFT>W;IqB45N>`)_R=taWlsHlXISdG@aewki&*&{
z_JTApSlABE{`rF>X~kk<!HRRDlg;%w(-$=K=VS?^mBa5#aqK@dWeH8}FKZVm<~H*h
zS-ZT!L95@@y&;wp<ZjM2i?@hA+vez}hKIH&O}~Z=jx691UEfqy!}V0W1yz-$?;Irm
z(UHMs^M_(o{Co-$YXMgXxyS;bgNJ;8%?_;Hrvw!!@c9@S(u17-&aKC?uN|6s9pZul
zHWne^ZTbKDv~XG82P7__j`G`S3lUWIZIf%?z3GyzsjbZeg*3=<2f%s8*<3mojo=<m
zxHsFCo;w0v0e(a-jSJ!l0_9&&wk$4-#Q{Yb3iS%Te9+h#6d%VM>{luM^LqSbey7&f
z>m#}U<lz0A1cc;}pK)@+<fQ`_PYp}~K-x4>qRt4eAVo*+u>V`Lr1e9cgSll*#{rNU
zQojwWmy!dwJOU2k1+~h_O`j@KtYb0yE9<q<NwWZTSJyf&;kU4BQD&y5e-B-?jRYx|
zBDMCxb$$lEod5L<T*ZIo)&7bfTGT}bzt@L?r&=ES`%}=nrTm2#ig^li&zpl>lltF@
zm7+%v@BDA7`wNzlT+NFfJ;^TGR50qC2<+&Cx)Kr$oOkLKfP%9m>J9_@imRAI>O!qV
zr~HZZA^ZW0X|9MkifxGd;=&KnD{|d0@ji$xjYm|d;r(SygR0)&T~tbEHSRFOR=YMK
ztHo|`2D8pF&o=@0c?#Ktt%SKb4#k%tDcUld$~!DlC7i>DFa9K+-&Mn591eGfrBN##
z2hHdBYQlCxTsHlF+1~rb6`yn6X2!W(`9rz362gRYJB#-7-&}VWr9Y@RKQ+w@FfO?+
z2%cgtj84cW-7xdDyWynpUWW8Kc8El{98Q@DzG*yDEFFiddhgUD3%|Lwdokp2ez+jl
z-CR%ofYy1IaUiWOJ4nI*`DRHpR=t*JIDz?APxXmMeamsp3D*m?ErHm<)_Z`4{|V`H
z`fF!(6dzpTwVH;8oD1K8?`N%hI)%FlxM<Z^%VX4D4kQ@Hs<z%x>M?(+?rH{xt;~|2
zYw&9rkQ;Ti&3r<tTz8&diyKYV1O|TL*n1eMJeF#IXxVjnYKj}8nbwC#;Uw}%$mA7v
zbF~ltUDtv|&7aV*NNO@=Zbm)@|990JhxjQ1MO!Y%(~zXIwRhvgGqUJESI$N)$t_|5
zlHJ`a>Zz6mhSs4WZN6-!Y;pDVZ%xE#>b6^QbM>ZQw|d{=bYCS7sp0BmRZ7d-?KKq2
zd8=f!1-aPa_IJXD@b~oHa8_2`dw!s_*tJ1OXoB&nHl#DZA2C?@#ev#1%p;`Er~`99
zUUYnQqb~is+MY9Ukz$NDA~Fo)eJ62-ZR+Kd+5EqMOJ*WdP%1!3KW#u~r?aynG)z=s
z+}&^A&3f^MWc@oz!dqgge@F6Y>wL_y?=W1REL|-AnL0=F56Kn0sH>^xFw(xJ({381
zZM+oUSf#nY!di(E6c#eX$XDmhCE$yFz~(_MFwdo{>nzfTs?mERW{jpVR76@|O?LOD
zG3ei%JvpnHym2M;@86kdt53mXo^bJM3*+-!eqt-;B6bTxa@(p#xdbu_w-<c-iZ!OV
zL~AwlnN=@IQBvC2DT-4`?4C?fKR<Q861aO85V(U#U3M6;`0WmMZ}tqK#>4ygsUZFN
z&R(<rk;#uP$76c0Nh)C{wgu?7iTFNa$o=M4Rk9RdRv(O^|8vWf|7B9jK_%K?!MO%+
zqP1S=y2fkN4@yOdPJ?;A=x*zPmaog4)ZWzJ?NvTU)bGe}llje+kp^vL*SfUcMaJpr
zI_l)V;eL7U(}*NIO%cC%3WcQPea2>vRvnod-td&X@i4@nYO%@s_b$^`@?Xapw3I3B
zaVAr$rtvbtQ)j8n%MV;L|2JHimAkfI%i6ZOM^<CX=z>OR#RM86@B>rua>k|<CsiYB
zD8Sik8w$syDk>sWo@i+w!^d$6ijJpYD%Nf`@)qT-l7p)P(?2y0$B?pCDG06nO=-tx
zkrXfqJ?SPODt0A$ywUWEAVI`mjoG=!yD2Gmy1Nycl-Dij5*DK>R{Z@pKKGOyKSWMR
zK@H_6ix(=v;14|xm2J|UfA)=d5vnfx<(;#O#ILi8-=($+K1S6U`#%PkG=^B6y9UkO
z;6=#paicz+6W$|M)}M4cya)_jic4^NMF|#v+7|c<6-mDnRp5N+!;FoCdU-}F+0Jma
zxB;y`I3`0$lM8*AHhzoz`N%@jRM}FOx?pGlL%kx~<BG{)ca_SK=nBeeQEK$*kqlR-
zkGV9FqPPF%;^41P#GzLPjQHqzh)HC6I9e{eTM!FzGX8v8s}XE-#?lTiY(jcKoM542
zb>&wpBr0f9!kOFAEU}%oXsk0Oa{<p6k(KhKUZl3q<SnTkLGQ<Es7;unjy!CP@<~F?
zM#+hI{@!h<@)tVYI5+-^VN}^Uf8r%QT`qzSi%6K`YGS@!vmAainIsleA|HcZ6R>&l
zIbMrrorC=Qd<~34&8uJJ?yG9`<RqKZTT(o{%VVXzV;g#$PhVkde2nSxqs7jm9ciVM
z1x$LQ0^i09n->a1AbUSAypfu~z^wP_dzK;ooWSAYrsU{9z-M;HGkGYGrRN)Ux+W;l
zxgFGyyrn96ydr<=F)QR0p6xvQkc@G~M@D4n_u~1~Hdlm3mg$vYDUw1!RWWr#0n@KM
zH9%9GrB&UN9fG;I4vi>9w>w=&DiYGDe11^ZCNb!E{iGwQfAiAb`Vbwy--5;eY<SA$
zaqIYns7Hw9`@0bxmz?B2nFtG*6$z}p<?+S+<@}1~h3OWpd0CI;ndP>_>uSz{9ZM1@
zC?W$%Q6Uw^hE}r^c1xx*8^UJw1;P{*-{n|}IqJ~&mP`m%OePTl8sAx7^#zbIg^340
z^k<!Gv%&jsK0HTrn`d04h3xR{cxUWzkKNwAV;XdQOt`z%v;J`G$4RrsPb7GWN?M;u
z!R1Ve!y5KG+voD}4*hj>-IP1YM>XOQZyK5yp(a7U#G90-OO#=9zh|SLW<4+t_Zyr=
zcIiSULy3d;lO_S_U!R^M-)jD$zMDNt+Rojqj81RA`f(ol0r97=9varVS5jYx^m{V0
z^t46es*&BDxNA97ckRK5*UDAnx5tWo+Ce>s7M&$#Ra+sA7Of<-8S|YPZR~t)p8S$R
zXxL-%O7%N`Y@V9ZI|6iVUPL(OSLq9=2eY;tkK&Kz3>R0M6ulQL&MAMq^x!Oo2`$^#
zD_?sd!mZMo<&tDQb1u@nw6p*A`%S<<HzZBL`zw5`a2J6yMNxd7(XG<gjJem7gGuYO
zmh#8V2EEDWWY}?qXr6y}@O%YGh0wwMf$sG%{kvJ=P$<m}$}8(8PpkZ4BJ8Ivmqhvf
z3<=8j`{FduDNzJA+4u8>)ZP=J7tIVRQ1s#b{#swUp@+tM3MFqy3+}d9tl-ruw~GGG
zF`Xu72ir|L5uWHo=NUh*h$xQ-bwdZ_l4!BLz8ma_F?@abw|Zkw>bF0cc3a}t1^Z8F
z(4A_uQc^_?*b0}*xI<M=QhtqbVV7m4>6~&Snk|mhS*i+e85yzFCtEF87yV4c5pLhe
zaNTs~EiXzh9U*AEajI{K{>|&`I4={`UKfqkP)0t>AAXFcx3Rq8r*z0O)G62W+SO?6
zmbq(vFwHvqf?tq-cbIRhuu#0yUf3m*l#DhY2+>84OXr3ewSm^eOz^wxUhdwA7V?)Y
zQu(LM<i=A!k~HI9e-p+?^FZ{=HP3der(>I?7;_75h44c9(0sL|Y~Fz;&MPH(t?}ra
z>5n!qLfM7+_^Y<ko(771KRd^_p9Nr?qf%ev1`#|yZ`hyvWkx=znPU*+kmGSQ@j-Qk
zX81GSj6~<1#5H&xIAGlmA)Cp?&%kJkW(WXT80orb3le{Qh@1b9X>Rzoaz8n7x9%m2
zh;qNnX^DjtK_T5+C`}F|<lrd(oC%TDqnjA-X5q0aPVUo~Xi=)mjEo>Mb8K)%e2V0+
zi|YAXPQ+#~|F#pcCrK7WC;Xkh*&R;x@STHG-UaE0J@X7=TbnGo?S4E*8X=}3icJZ)
zo%n?v{WJ<Atq$nz3$wR>PbC)=rRDZ?;xu&AeA`JI+0m(M<KKodt8c$Ofs8WsCd*1E
zMP+sI)BKdF%Suh?2--KhVJ$O~AVG#t(Qn2tAC3-hT`5MXkR1MP<rlgu5GMEElbXlm
z+|Jz`au5ihKrL+Ac8C_5O)EY(Q!2I9B+!SmK@-D=!2^U!WEFl9*6=Ut&G`9{^Pxw1
z+9eg|Izh#OhsJWq1*})DL#b07%WnQNI~s<&c@5h&vaJ2|<dQ&U5W)n}(Jna`XUwbi
zOjgIDVaZB|%hS!-D*Igr-+r`<wL6t+C*{yX`)s>*&e}B>tk;4B1}naed7{^jHZQ!e
zqcD9TEjN;E;m7(?KI76)2a!H$X`er!v%UzZtzhu?6670bt9?=w<)#?3&4%ZlCk)f@
zPGk_8r8nbAr6E8g-rliqID3A5a(0+X51aE=z^^?<f0k%1eF`Qmb+<(7V@g5Jh-;Nm
z6>5xR-XdFVqn#R;t4|p{>>Gs_F_<C#yG`@`UyhcggRa>`)*a4O`AUi#Y|~u4ntzCY
z!O(i8MB$iIStrBvE(&X-b3OA^cux&J%vepDS??mL)%eNstZ?cVa(mFw+tvpc@9n01
zZ5oI)&I-8Cr8HRQUikXclj=GS`>kMg064aza&4mU7dziH35O%U&KK{DC=Ol}b+fMT
zNYd%H;<GB#T(7zROfoNO;XN~zQ4jTIS$91Jk_<gBjysal<XxVQZ_4-+()(diNcH0s
zcD(&#yV=+zfyOrOz<23?MRc9T;1ub}+~ICOD(g7^)@M0XcXoVdVL~<Q&UL?KZ?pVQ
zS9#Ig@u+z(A87{J%Gt}yPoy2>tSqh0+ggNGO*r;Z94Y4|+MV2y@9$|0UDz8iaS54g
zk0XPUxFRo}o?wk_hEWeX7Gbt&1fRS<RB1t<6_EP3OPVJJ^~^uHq$5tw?omC~$B0Bc
z6+Wg(OLUsSeXRNZyRxc~SpQaMn?i445qf+ov|=`^s64p!VP!qnZdcIRZAlp+!>SuM
zxrc~ObiYPXfWIr-SkG%TTH>s0#l?-FXH_860twv=!Irp??}J$oWu53~Yx?g`RL{<F
zg{Gmhy(Aljt#oOy`~=;zvZpRo{Ei%E>DN>4E728HQQtg*Zs%iMh<$O#LXQ<HnJoTY
zT&?kH{aI;cC$iYvc${y`{`7&Ui}F@bPE^srV!(boB6-Tsnc%d+VShmU@=|Wj2?gPb
z!P1fEx_S0|H_)x64tD_)+qXQbpxEM~deDiw)^qU-)YZd*;k*{&aaC@=<=pl>!$|s}
zea`xx5?|2)&3(a!l0)8n<pHf#d=%@0o=vM>3;(x;+Bi3-mji+{4iwqh(8%AX`9-y_
zHqw87B_PQv%g2I&vn?kX>Q`Bm*A)q`S<|V37Wc=JrRozLK5Y{08uqBw6oQARN5_%$
zIYb`KV6R%hOm;0M_GkM3qQZDqvr*L}bH#%?xpnZ~&kivL=iP_c@7aH{S7!&4=Px8f
ziSFMWcI^nr-PAdp*0mn`w#JNJP(E$w_bF#(X)ydX>CKTCcSUN7a&D0kcqH#|Ki2F?
zhKYPEvbI`PB2(oee0P}!zyFcqk`fC(eVH<NN0Q@^^g77lb-;7g9(4?Dv84ejdQ(*i
z?a=sY!D>h4{%*Hd8@sMJvyTg!OguA{W_b2xB>apSH5-w#qc1y(*&_90zjufo10n&+
zbTaMrEdoPfR`mVqQO<fgj!$crhO7*|?YeqD)xv75+{#TuEbH`mQPbC-ngjR11M<@N
zJxmnW^8j%`uDRL?2|F0cU5q>7gsq07G4);yduNraj}1ND4+b+9Z+Xw$jS$a_n&~6q
zbz=r*((cEQlh4=g92g$iUt`-VL|wO)P7|#iB3Pv`4lOone|{5?qenwSBHa&qC5?wp
z^rccG*4E)PFLREywTGhD7$LCdx1PYBh52@}2g@W3(Vk6V?wII{5}UEPQKT``8$+Bf
z@z*$kUsAdz4`tRv><>1LRv31lYXdby^%0lftrMHj%je}6#c=9dn-8kvfL7|p4wtXv
z5?^;fsaHDezSA(LLf2cBGyg_fLLWExGuNf|^{M!Q$tV;BeR%1j+_=l7?sd9O$CET!
z2c~pi^~cGOF;0?8S&yX9B;u=heq}lBZLxYgChAqqE>!8YB!nBz5596;`Sp2)0b$G7
z)5J(9FEp?UOHlCXe&fUl8wG~-oC@}|d5qEoGi2;+Y<K<eEzeNYh}&OKz8c*7;?0oT
zoNeU0C36_$@V4(4{9_Ib^QSZYBLLSQR`>SN9Csn1J`;nW*a$P}od&+*jW|N)D;){e
zVaz5X^JO_D6M8D1C+cNIax+?V9RFmnqZo5`!gSnqzGJ1FD;U-kzSa#TBhmEgYm8!~
zVvA`D$aC$r$x2CYmVW1R_|4nVxw$;<V62vS!@SjbKtFA;x?7z4Dp^T6G*WFG*Vb^6
z^T?P}zjI83riwtT9XIopNZ<qBk$}vI+~KzyO1PckkF~b!(=%2cY@DBqzI^_i$y+Mj
zH$5H?)piXvOt`3u^@}d|^2^Y|i9MNjxzxYER5Zo-3wY(ovXz-b&xk1_9Q#MYgva&*
zQ4fZsS7Y{twRuE~^^YagoY=EYueTUmJ_jymy<h0vuC4O!?Xz+yMInvQ&=L-vQ7Dr;
zf0^Ad(KT!PWz>kSfoA>UN@d-4U?Q6s5@zmRY1|+une9Ez8CdJT@Ht|{^Rs-!gc~pG
z3g2+msmHMfk(C(MPS3<HcUY_kZk5*;O>sg?)Y0v7#fd0(A#*intbY0aI09B1k@zUL
z@|X?cJudS=%M7$2Yv!{aG@`ZJLC+p4@voMcDsMlk!BLEhjCodSeMO%c2}Pv~y+K{}
z8ck)Q%a{%d=Q{Al)o09wW<+xIVmt9aXXbaF49&nG=Ncg2!pLjBGk%N-HHpICulbQ>
zon0F{8OrCIHZyfLw?S`EXGqA`5i>(Q`LiDrcXvluo>6g6U-;G6f>3sj<Y8Xf$BMh%
zzEG0I?y6|typNNL@Up|N;I<HP!#I5*lT=Ju?A7O0hitmaGsU>cbc*<3+-hb{+x4|7
z!Y>o124aifQ9^=o-4&<eL?#5w-qR1|`I%3QcYl|%VY}twWya^7&YQcS*81Bwx>H{x
zz1-F3&35{?@}YqwmSnzbyV*59+p_@Ot5W5`7w^?OE0-vSDK|M`?aGuZL7kC>ZT|S5
z@ztzublOT4IZtWS8YGv|r4PzR6!Rn^7q25VraeuDk%<kgW~+j}!A9Ohb55iu2^~gA
z#~7LT@cAr#y@`k#u`)vaR&CoVYrZYsZ@DM?j(tdYoUMu)5tums4HxOj<RGBIS7}iC
ze_$e@qxLM%_|{Hs^yEZ{ctArm*L%Gqr9eVME~xyqLc7=1m!pNAIcjm#?Q9J{Xwl4f
z22~YhmgRK-r<?M#9GyUS$F4<w-3IMSn6!4l;*99lF+ZC--mSob$owDKxnpgi1rrLh
zvG<I*L1DQ26H9b``f<{Zv98fl-Qmr1&eI`=c(+Y`gBxE$Eu)aD$FasAQh)jPhfi$f
z|0PWFc~Oi|Ln~{8GE<<S;eOSNjQ)GbNg3CCgW#9(EE3Ax&#egW@_NSA@MZOGXU3VS
zeO9KHvRb!SmN)BBHwul-@X@m!Ovo)GE7@x*q^>XbZ}UYiXlr{kEXoSY*)M%7FghL-
zS=;omrcyph<%Hqm6&8M+lS~y1>*=8@Rj*M>B6W{qt>R#a7|_Iw3+46C_|09V5ic71
zVJu)opgIxp-L~{nLiV_px~!=xJIZp*FEs<P4@kIscqd1>#a@EqJYTc*IHW%$OCKhY
z9v4FT7d@fWrhbY@_jD9kSyBFcMMyfiywzJcSBdf&%eU-mT18!1S2u){2jzk5$kAlq
z2uIAr^CDVRrS*~Eq@f|277Yo*3N}5Yxaj`IYQH7sqf0*PO8Cjlbni!%R-!pDVDphh
z_|G3kaNo`BV!M(xL&-JY&u|d_X{5H1RLjb&4}MZnS68lU$EToA_{J2p`I!OJ8}&j;
z6<gKYikqW1<2c-lUxlwZykNTSZ5a}rE|k@R6^9?y>x+c+!-bQlB^+F0F1_%b#P)xu
zqx$2wPGsAS@_V=b?HikCE1~Ugk;i8=<gG&jDjI{U6H~|AeNGg#je>)vWu2!9TL{Xx
zP=^H*l%EUDe01U4X4HIedClHlHqX|0>SCfaOV2qwZN49QR<sogCQJm=$ll8Gn1xA;
zpH0^X#rd40gYO=b*H10L{L<9y-r{*6e8N7bXR+#Yz`VJh?*n(nag3{f@mp=4`T&9H
zyu5Is1C<KngO=VU{Ke7c3KgX*C;m)YS`5QaI`HB4g3=q$w8hsXn{i0|E>$A4PlSJg
z$y?F+6xR0(yQP3+Ysjzi;`O?|!BtQ8mzI!8{TYl0h4%-HZ3!g?+Km}qAx1?HrZnEq
zAEmcfXbW2V{~VrdO=XPV>P2J>tK$Y=SZX7A^Nu+!Ch*%tX49`qC}u_M=+E_$_(M?$
z_n+Z@=4;zWOgyih8)RI9ZT>U=jJ73Wzh#rNoBbz0cg?Fqwz2<Dn5nVZUo=IB(#2u1
z{D?5~289*toL>a@A2^HQrkiJ#PCMmj{ggyC1+#74k!9l>Oye>yNSggxgBG&F_|37j
zNis}cFk}|?hiH83uyaXO_)%t?P`I!a$_tj>0xZvN^^)}I`5a;NZ+%Laa9lO+(A<6X
zD-51d*VOr1zR1UZjxKvzYI=rlJcaSt8jY83=(I4QKUI_|@pdvc7RNs4sK<Hh{%;jY
zvN!Zz-bg<9$@MbBV8PMPOFrwHM{>JVPD!iRMh4+}JA5Q(^!>4!-JWxzF*t;jy8U|~
z-FYqC_cA?v)2+YKFc3fVx07?fthr3ng-&T2r<@}N&tNt8`#JHcfQDUSts7~{fsXVz
zW~&nkC7pTPRlS4fEO^sVe%!#Efjc|35z?!K+6N8xM|)|uLFsA<Jr)<OqmUweMUpJW
zVM_P4xfU()LTnt#^K?z}Rc^P{frx}n-GR34cMqN6ML!O;*h|xbho#7!H9wH46HRD7
zc8JdYp;p}6eEe(Xbac&Z&sdB!Q@Qtm>a)MYj(<mVi*`2HPE2rSIY#)f`wGt;kFn=A
z>+8`&3tpJq!tw!)57+eP!^Z`$r5B~qYf=^TPePG1pq_RwZ~ccuX<EDQg3->r2IJEN
z(Wc-vj86CDU-feHrwJn||0~Q<Qq!8_HOh>KBOFA3yRWLBQ;!f6;?@mp*R-IU>E@qr
znwfGBcMC#!*wkIB>skNVXBQ3jU_gZ!3I9-F%wNmCSKnfDfn~zR*50;4e9lGrsAKxT
zt=7=sE4oZ&<Dpv>>vfW!LeS2X`oQowL7F8m`Qa}|DW!}XakK;{=3>rAn{crm%Cy^v
z2MyQP<NjY8tmV<mf+xe$PmH#9ttYLz@309+Y0?T=W=9tKb>_As%bO9eRSD<Qjz8b=
z;Y4B2e%6qeAN!U&KGBZIa;q^cnko+Z<Di4qPWa7hNYzfQ_)MLbO3lsRtZezU+u7Yl
z<B|m0Zm!P_WpHlt<y^miknrxdCc1xXq>NkR(pjhDP#3-7YJX;U!~J!boQEc^8E5``
z+K|b4ryXBKtN3qg3Vh|}xBVDBH+m!3Kl{t9yXyB@7R!geZ{e2fR;!Qp?4Aawil}yQ
zX-d!6JdC$DM1F-+mdO_UvPNURIJP+8X@peLuU)-O04&WfL;KHJq+<v6Q$}KO>pEe^
z*X%Yy5Aq874+80CKmJ8XVB#+I#(GY04xe|=wjAq;8_H)E>?~%MnLIpDrR4cM`9AaO
zDK=cRwl_UF3l6(t+vJ~9X?qrl^!mAz1Rap?HmzLpsz)YI3vwfcj@mdCo_l!pevovn
z_;6*_Mt~E(@tlyjYOnOOgc{A!8e!z1^i)TK_fOP;bx>)#(Kwvm_2ZZkEe~6oH3@|^
z!B>WVLkE5ud{GIFTmsR<8gY(g1XCe&J=k#x2NiJP>5o)yEKdjANbl_|aHt6V>z}-K
zpetjZ8WsnhkyrIEHquKQgSj!+!}n9JVzoZvz{68&S%c#n%G-gHQF4_b&P`@1f<e8a
zH*zcGsnE#CXm`J9Qa%0~y3xIht1AW;>)E&Wmi;{=yG~bHOB&^x{}MpU6<~ZjyYo5k
zq5k$e8yOk--^Cpl=+*?9q+%UY9VPuvmZ{SVC;Y>nx{+T@3*3oWt*z;xNfGK3Q8>D=
zjz3O#5IFD#=cC4#V!0OT_*&z2GnT(z^mZR-U7WzF26+W~f19<zF?1q7++^OIdB)Cr
zfR^>&(5FP9A?NA|f4BS}oq~JVz`>o6Z;VpFX~W=~H_Wo&m;lIsPNKy0fE<}8EQ5v6
z0{P~B0XTQ*|29lxLHl11P2xJfD;fUseiAC_7aPfBF*=kGLJKRq?7!wYlnavb(*0Ef
z0lLcNvVM?b!CyTI?CTfzV1X8|L0GAelsBrWD;)<~OulT7hPe5R-U^3uY00S7IF?DR
z@ag^5b9YAg2y}=V?R}v=`rtBp>d>?DtD>~JMRc+A82^yj*QM5SHBRUirP7@u60o&s
z2=A?FIEB~O@F<HQ+*({ETgVZnxUzee?9ZuIhsPSc|Ew=B^3@64;W}&eKG&q{zSsHu
z<CO-Vf2qNaf5oSf;rAyc^S=+B8q$kXX-`=Q=x7A-r2W>!mZqypet&JkqAW%X(1Tml
zfrH^BoZV7reDEwz|GdfgW9S`tT0R`Kl1NJb&`@eWm;Se@zt*pJxORQdmHk1EPwn%U
z+1&Jf=e#o|^_7SGjVF2YPJVTipZAw{Lxri{*3M7qr#~Kf9{gwX+$n$7wB)wteUO?k
z!^z7{Y-c9h*HT}Wb>;hjVb>AeFzb=R%KfbU<uA@jr5^tJL9J`P&a#A!C!>LbYA@u=
z0zNKJ<N5sS*;lu+&n$7axfQoWWx9n7_(Fo@O9DTv&2id0o2zQp<dWE<(`L0~UG+HW
zbI9gm*ZTie=`o<IB7SN{alI^L^F3bE)3JJu)j9TSo1ZSftr4~M@~`$>;J(tSu~&I3
zmVQs}IiJ4bV)*gkqf1SE0v_<rHs6r_r9F(D_5TkG;DH7&mhiA~u!IIFF`3AIUYPb|
z(mLMTd2QR&&+?WQuL_j%s+WIuAl+UT6a(DnS52O_DCp;<vaZ)AQ$8f#UL^Y@Kcc(%
zXOvw0wD#@$W^KCbzwxQ4`Ruwqg44|sSH)Y*_kXZ-cjcZVw%<OV-!!Mi)phHPlJ7G$
zmT`796>Z#qZpqgK-FcfipQvj#bUyr?7$v*n;p8R2yC$4ER&vggXzP4-Lh*my?~a`@
zUM@_Yfer=^udT0!><ejD&p7;5)LavonObJ27uA*s^{Gs*J^s7khDpz{DjPd?y;#K$
z7v;+S-*a|2eJqXjafa^H_1hNeMtA4!y(cLSOqO|!wz?I54!^E%D$td>+L|g=aZh9M
zm#0y)Jk(#Wo_%B68O84p3h&r7PIo=N@s8uy_tFpcKbd%SPq*ys*B8>V6S6GAcXIyO
z*rwi{<*;$$)^!sOJuR!;4a#*p*qCJHqRyxk1+|wZvhFe26XkjIUR95UxaI4vn_F(Q
zRee6AFu%;){{d^p%*rQwH}`h!^%Tj|Q`~>O`+EMOo0l(yK3H8@(Ptv)QTA|_cI|9%
z7D`MqF;6^l*K^mh1gW)G-mhHnsaMV8ywdgp>31f+R@TcNEaTd<A!CPJocHPdZ<1d7
zOBLLGdSvH?Mn8tfOT^FLz8bRUmeViu%Z2AcmokBhk?T#F7fQ}J^tS(cKL5$rUw$Ux
zeA)F|IG?-dAMGr>8`CK6FlX|g_xVpxe>Dx+A9Jwpl=phStjwEh{_ak?bLlpy0E)5x
zJ9o>LpC6?1FMe{6YxUppq<rG~AW%K|z(sm-y=cmZjWb@J0j_)l2DL-l`o_$w0rt-;
zwBNkE{H5miW?!M#@Ansqf86u43S4FxzMY~m^Khx|iE4IG7!p?is`2hgJKHd?Sa_Wo
zPz$gWJ^N*jbjmf|efJJ6X$<$<)Oy$b?8{TYa+pJL-+?lD)03Y2wz5A~>(w^DZ+YTX
zy*>AV?e79Q=1H3A&IFaDN5tLF?{oyJ`&suk@|%qa+nrq>k1f%@&MfnZchlRw2H)m#
z6g~S>k_s+|<3%>7wYc3h1DYiCcQbpe`KMD~r}IL}-#j(*q6ekf{7b-hnA~w7tDweH
a-v5_(@^8)-w_exI00f?{elF{r5}E+?M$^Oq

literal 0
HcmV?d00001


From 4fac4cde5eb3a69b8e538715a7472a4d71864771 Mon Sep 17 00:00:00 2001
From: Philip Langer <planger@eclipsesource.com>
Date: Thu, 27 Feb 2025 12:47:26 +0100
Subject: [PATCH 2/3] Address review feedback

---
 src/docs/theia_ai.md | 15 +++++++++++++--
 src/docs/user_ai.md  |  6 ++++--
 2 files changed, 17 insertions(+), 4 deletions(-)

diff --git a/src/docs/theia_ai.md b/src/docs/theia_ai.md
index dd65ca4..24ebd17 100644
--- a/src/docs/theia_ai.md
+++ b/src/docs/theia_ai.md
@@ -218,6 +218,8 @@ export class TodayVariableContribution implements AIVariableContribution, AIVari
 bind(AIVariableContribution).to(TodayVariableContribution).inSingletonScope();
 ```
 
+It can now be used in any prompt template, as well as in user requests.
+
 ### Chat Context Variables
 
 Theia AI supports attaching rich contextual information to chat requests via **context variables**. Unlike standard variables discussed above, which simply inject a value into the prompt, context variables provide both a `value` and a `contextValue`. The `value` is inserted at the position of the variable usage, while the `contextValue` is added to the `ChatRequestModel.context`—supplying additional data that the chat agent and underlying LLM can leverage for more informed responses.
@@ -229,6 +231,15 @@ It is up to the agent to decide how this additional data is processed. Common pr
 2. **Context Window Management:** The agent may decide how much context to include the entire context if it fits, apply ranking/summarization if too large, or use multi-turn prompt flows to incrementally identify relevant parts and refine the provided context.
 3. **On-Demand Retrieval:** Instead of sending all context upfront, the agent may also expose tool functions so that the LLM can fetch specific elements when needed.
 
+Note that the context feature is enabled by default, but can be disabled by rebinding the `AIChatInputConfiguration` in your custom dependency injection module:
+
+```ts
+rebind(AIChatInputConfiguration).toConstantValue({
+    showContext: false,
+    showPinnedAgent: true
+});
+```
+
 #### Usage
 
 Users can attach context elements to chat requests in several ways:
@@ -312,7 +323,7 @@ export class FileVariableContribution implements AIVariableContribution, AIVaria
 
 #### File Chat Variable Contributions
 
-To enhance usability, additional contributions are implemented to handle argument picking, auto-completion, and drag-and-drop support for file context variables.
+To enhance usability, an additional `FrontendVariableContribution` can be provided  to handle argument picking, auto-completion, and drag-and-drop support for file context variables.
 
 ```ts
 export class FileChatVariableContribution implements FrontendVariableContribution {
@@ -391,7 +402,7 @@ export class FileChatVariableContribution implements FrontendVariableContributio
 
 Your custom agent can now use the context variables in various ways. The context variables are available in the `context` property of the `ChatRequestModel` and apply your custom logic to decide in which way your agent passes the context data to the LLM.
 
-Your agents can use the variables `#contextSummary` or `#contextDetails`, which resolve to either a list or the full context, in your system message to transfer the attached context to the LLM. Alternatively, you can use the tool functions `~{context_ListChatContext}` and `~{context_ResolveChatContext}` to allow the LLM obtaining the context on demand.
+Your agents can use the predefined variables `#contextSummary` or `#contextDetails` in their prompt, which resolve to either a list or the full context, in your system message to transfer the attached context to the LLM. Alternatively, you can use the tool functions `~{context_ListChatContext}` and `~{context_ResolveChatContext}` to allow the LLM obtaining the context on demand. Please note that ignoring the context completly in you agent while displaying the context user interface in the chat will likely lead to unexpected user results.
 
 ### Tool Functions
 
diff --git a/src/docs/user_ai.md b/src/docs/user_ai.md
index a753bcc..9fba50f 100644
--- a/src/docs/user_ai.md
+++ b/src/docs/user_ai.md
@@ -281,11 +281,13 @@ The Theia IDE provides a global chat interface where users can interact with all
 
 Some agents produce special results, such as buttons (shown in the screenshot above) or code that can be directly inserted. You can augment your requests in the chat with context by using variables. For example, to refer to the currently selected text, use `#selectedText` in your request. Pressing '#' in ^the chat will show a list of available variables.
 
-You can also pass context files into the chat to further specify the scope of your request. To do this, drag and drop a file into the chat view, or use the auto-completion feature by typing `#file` or directly typing `#<file-name>`.
-Note that the use of the variable `#file:src/my-code.ts` in the chat input text will resolve to the workspace-relative path, while attaching the file into the context, makes the contents available to the chat agent. This allows adding the file content and then referring to it in the chat input text conveniently.
+You can also pass context files into the chat to further specify the scope of your request. To do this, drag and drop a file into the chat view, or use the auto-completion feature by typing `#file` or directly typing `#<file-name>`. 
+Note that `#file:src/my-code.ts` in the user message is replaced to the workspace-relative path, alongside attaching the file to the context. This allows adding the file content to the context and then referring to the file in the chat input text efficiently in one go.
 
 <img src="../../context-variables.png" alt="Attach Files to the Context" style="max-width: 525px">
 
+**Hint:** The context file support in Theia IDE shown above is built on the generic context variable capabilities of the underlying Theia AI framework. It therefore can be customized and extended with tool-specific context variable types. See the [Theia AI documentation](/docs/theia_ai) for more details.
+
 ## AI Configuration
 
 The AI Configuration View allows you to review and adapt agent-specific settings. Select an agent on the left side and review its properties on the right:

From bb44159e74f3171d7e8ebad095869177a3de4acb Mon Sep 17 00:00:00 2001
From: Philip Langer <planger@eclipsesource.com>
Date: Fri, 28 Feb 2025 21:45:29 +0100
Subject: [PATCH 3/3] Update src/docs/user_ai.md

Co-authored-by: Jonas Helming <jhelming@eclipsesource.com>
---
 src/docs/user_ai.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/docs/user_ai.md b/src/docs/user_ai.md
index 9fba50f..33495af 100644
--- a/src/docs/user_ai.md
+++ b/src/docs/user_ai.md
@@ -279,7 +279,7 @@ The Theia IDE provides a global chat interface where users can interact with all
 
 <img src="../../general-chat.png" alt="General AI Chat in the Theia IDE" style="max-width: 525px">
 
-Some agents produce special results, such as buttons (shown in the screenshot above) or code that can be directly inserted. You can augment your requests in the chat with context by using variables. For example, to refer to the currently selected text, use `#selectedText` in your request. Pressing '#' in ^the chat will show a list of available variables.
+Some agents produce special results, such as buttons (shown in the screenshot above) or code that can be directly inserted. You can augment your requests in the chat with context by using variables. For example, to refer to the currently selected text, use `#selectedText` in your request. Pressing '#' in the chat will show a list of available variables.
 
 You can also pass context files into the chat to further specify the scope of your request. To do this, drag and drop a file into the chat view, or use the auto-completion feature by typing `#file` or directly typing `#<file-name>`. 
 Note that `#file:src/my-code.ts` in the user message is replaced to the workspace-relative path, alongside attaching the file to the context. This allows adding the file content to the context and then referring to the file in the chat input text efficiently in one go.