From 4485b41642245200c5ec1e76ae0a2a3325470fb8 Mon Sep 17 00:00:00 2001
From: panxiakai <13212017962@163.com>
Date: Fri, 4 Nov 2022 15:01:37 +0800
Subject: [PATCH 1/2] kvm-excp-impl: v2
---
articles/20221021-riscv-kvm-excp-impl.md | 514 ++++++++++++++++++
.../mermaid-riscv-kvm-excp-impl-1.png | Bin 0 -> 34099 bytes
.../mermaid-riscv-kvm-excp-impl-2.png | Bin 0 -> 29685 bytes
.../mermaid-riscv-kvm-excp-impl-3.png | Bin 0 -> 23647 bytes
.../mermaid-riscv-kvm-excp-impl-4.png | Bin 0 -> 21737 bytes
articles/images/excp-impl/scause-code.png | Bin 0 -> 152692 bytes
6 files changed, 514 insertions(+)
create mode 100644 articles/20221021-riscv-kvm-excp-impl.md
create mode 100644 articles/images/excp-impl/mermaid-riscv-kvm-excp-impl-1.png
create mode 100644 articles/images/excp-impl/mermaid-riscv-kvm-excp-impl-2.png
create mode 100644 articles/images/excp-impl/mermaid-riscv-kvm-excp-impl-3.png
create mode 100644 articles/images/excp-impl/mermaid-riscv-kvm-excp-impl-4.png
create mode 100644 articles/images/excp-impl/scause-code.png
diff --git a/articles/20221021-riscv-kvm-excp-impl.md b/articles/20221021-riscv-kvm-excp-impl.md
new file mode 100644
index 0000000..cb20206
--- /dev/null
+++ b/articles/20221021-riscv-kvm-excp-impl.md
@@ -0,0 +1,514 @@
+> Corrector: [TinyCorrect](https://gitee.com/tinylab/tinycorrect) v0.1 - [tounix spaces toc comments tables images urls epw]
+> Author: XiakaiPan <13212017962@163.com>
+> Date: 2022/10/21
+> Revisor: walimis, Falcon
+> Project: [RISC-V Linux 内核剖析](https://gitee.com/tinylab/riscv-linux)
+> Proposal: [RISC-V 虚拟化技术调研与分析](https://gitee.com/tinylab/riscv-linux/issues/I5E4VB)
+> Sponsor: PLCT Lab, ISCAS
+
+# RISC-V 异常处理在 KVM 中的实现
+
+## 前言
+
+Trap 处理是 RISC-V 虚拟化实现中的重要部分，包括异常和中断两个部分。当前 KVM 是 RISC-V 虚拟化扩展在软件层面较为可靠的实现，本文将结合 RISC-V 特权指令集手册的规定，分析 KVM 中有关异常处理的实现，中断部分由于涉及较多驱动层面的内容，故将在之后的文章中结合 MMIO，timer 等做具体探讨。
+
+## 软件版本
+
+| Software | commit ID or version No. | Link |
+| ------------ | ---------------------------------------- | ---------------------------------- |
+| Linux Kernel | v6.0 | https://www.kernel.org/ |
+| kvmtool | 6a1f699108e5c2a280d7cd1f1ae4816b8250a29f | https://github.com/kvmtool/kvmtool |
+
+## KVM 异常处理
+
+### 异常处理入口
+
+在 KVM 对 RISC-V H 扩展的实现中，与异常处理相关的函数调用关系如下图所示。目前的实现中，KVM 能够处理三类异常。即虚拟机内的 page fault、虚拟指令异常和系统调用，三种不同的异常处理分别对应了不同的实现。
+
+```mermaid
+
+flowchart LR
+
+subgraph arch/riscv/kvm/vcpu.c
+
+run
+
+end
+
+subgraph arch/riscv/kvm/vcpu_exit.c
+
+exit
+gpf
+
+end
+
+subgraph arch/riscv/kvm/vcpu_insn.c
+
+virt_insn
+
+end
+
+subgraph arch/riscv/kvm/vcpu_sbi.c
+
+ecall
+
+end
+
+run[kvm_arch_vcpu_ioctl_run]-->exit[kvm_riscv_vcpu_exit]
+
+exit-->virt_insn[kvm_riscv_vcpu_virtual_insn]
+exit-->gpf[gstage_page_fault]
+exit-->ecall[kvm_riscv_vcpu_sbi_ecall]
+```
+
+（[下载由 Mermaid 生成的 PNG 图片][004]）
+
+### 异常分类及其定义
+
+`kvm_arch_vcpu_ioctl_run` 函数用于实现 vCPU 的运行。其调用 `kvm_riscv_vcpu_enter_exit` 函数进入 vCPU 的运行，此时 Guest 进入运行状态，CPU 处于 VS 或者 VU 模式。当 Guest 发生无法处理的异常时，Guest 退出，CPU 进入 HS 模式，随后 KVM 调用 `kvm_riscv_vcpu_exit` 来实现对异常的处理。
+
+`kvm_riscv_vcpu_exit` 函数内部包含三个部分，分别对应三种异常的处理，代码如下：
+
+```cpp
+// arch/riscv/kvm/vcpu_exit.c: line 188
+/*
+ * Return > 0 to return to guest, < 0 on error, 0 (and set exit_reason) on
+ * proper exit to userspace.
+ */
+int kvm_riscv_vcpu_exit(struct kvm_vcpu *vcpu, struct kvm_run *run,
+ struct kvm_cpu_trap *trap)
+{
+ int ret;
+
+ /* 仅处理 guest 内部的 trap */
+ /* If we got host interrupt then do nothing */
+ if (trap->scause & CAUSE_IRQ_FLAG)
+ return 1;
+
+ /* 处理 guest 中断：KVM 使得 Linux 内核成为了 hypervisor，故 KVM 内部实现了对来自 guest/VM 和 hypervisor 的 trap 处理，此处仅处理 Guest 内部的 trap */
+ /* Handle guest traps */
+ ret = -EFAULT;
+ run->exit_reason = KVM_EXIT_UNKNOWN;
+ switch (trap->scause) {
+ /* 虚拟指令异常 */
+ case EXC_VIRTUAL_INST_FAULT: // 22, Virtual instruction
+ if (vcpu->arch.guest_context.hstatus & HSTATUS_SPV)
+ ret = kvm_riscv_vcpu_virtual_insn(vcpu, run, trap);
+ break;
+ /* 虚拟机内页缺陷异常 */
+ case EXC_INST_GUEST_PAGE_FAULT: // 20, Instruction guest-page fault
+ case EXC_LOAD_GUEST_PAGE_FAULT: // 21, Load guest-page fault
+ case EXC_STORE_GUEST_PAGE_FAULT:// 23, Store/AMO guest-page fault
+ if (vcpu->arch.guest_context.hstatus & HSTATUS_SPV)
+ ret = gstage_page_fault(vcpu, run, trap);
+ break;
+ /* 虚拟机内系统调用 */
+ case EXC_SUPERVISOR_SYSCALL: // 10, Environment call from VS-mode
+ if (vcpu->arch.guest_context.hstatus & HSTATUS_SPV)
+ ret = kvm_riscv_vcpu_sbi_ecall(vcpu, run);
+ break;
+ default:
+ break;
+ }
+
+ /* 若异常未能被顺利处理（ret > 0），则输出当前状态（sepc, sstatus, hstatus）和对应的异常信息（scause, stval, htval, htinst）*/
+ /* Print details in-case of error */
+ if (ret < 0) {
+ kvm_err("VCPU exit error %d\n", ret);
+ kvm_err("SEPC=0x%lx SSTATUS=0x%lx HSTATUS=0x%lx\n",
+ vcpu->arch.guest_context.sepc,
+ vcpu->arch.guest_context.sstatus,
+ vcpu->arch.guest_context.hstatus);
+ kvm_err("SCAUSE=0x%lx STVAL=0x%lx HTVAL=0x%lx HTINST=0x%lx\n",
+ trap->scause, trap->stval, trap->htval, trap->htinst);
+ }
+
+ return ret;
+}
+```
+
+如上所示，KVM 的实现中包含了三类异常：
+
+- 虚拟指令异常；
+- Guest page fault；
+- SBI 系统调用。
+
+[特权指令集手册][1] 中规定了每种异常对应的编码（即 `scause` 的可能的值），在进行异常处理时，可依据据 `scause` 的具体值确定其处理方式，如下表所示。
+
+
+
+在 KVM 中，其对应宏的定义如下：
+
+```cpp
+// arch/riscv/include/asm/csr.h: line 66
+/* Exception causes */
+#define EXC_INST_MISALIGNED 0 // Instruction address misaligned
+#define EXC_INST_ACCESS 1 // Instruction access fault
+#define EXC_INST_ILLEGAL 2 // Illegal instruction
+#define EXC_BREAKPOINT 3 // Breakpoint
+#define EXC_LOAD_ACCESS 5 // Load access fault
+#define EXC_STORE_ACCESS 7 // Store/AMO access fault
+#define EXC_SYSCALL 8 // Environment call from U-mode or VU-mode
+#define EXC_HYPERVISOR_SYSCALL 9 // Environment call from HS-mode
+#define EXC_SUPERVISOR_SYSCALL 10 // Environment call from VS-mode
+#define EXC_INST_PAGE_FAULT 12 // Instruction page fault
+#define EXC_LOAD_PAGE_FAULT 13 // Load page fault
+#define EXC_STORE_PAGE_FAULT 15 // Store/AMO page fault
+#define EXC_INST_GUEST_PAGE_FAULT 20 // Instruction guest-page fault
+#define EXC_LOAD_GUEST_PAGE_FAULT 21 // Load guest-page fault
+#define EXC_VIRTUAL_INST_FAULT 22 // Virtual instruction
+#define EXC_STORE_GUEST_PAGE_FAULT 23 // Store/AMO guest-page fault
+```
+
+### 虚拟指令异常
+
+其中，`EXC_VIRTUAL_INST_FAULT` 即 virtual instruction exception 对应如下情况：
+
+- 在 VS-Mode 或 VU-Mode 下访问特定 CSR 的特定位；
+- 在 VS-Mode 或 VU-Mode 下执行无权限的指令如 `HFENCE`, `HLV`, `HSV` 等。
+
+KVM 中 virtual instruction 异常的处理如下：
+
+```cpp
+// arch/riscv/kvm/vcpu_insn.c: line 397
+/**
+ * kvm_riscv_vcpu_virtual_insn -- Handle virtual instruction trap
+ *
+ * @vcpu: The VCPU pointer
+ * @run: The VCPU run struct containing the mmio data
+ * @trap: Trap details
+ *
+ * Returns > 0 to continue run-loop
+ * Returns 0 to exit run-loop and handle in user-space.
+ * Returns < 0 to report failure and exit run-loop
+ */
+int kvm_riscv_vcpu_virtual_insn(struct kvm_vcpu *vcpu, struct kvm_run *run,
+ struct kvm_cpu_trap *trap)
+{
+ unsigned long insn = trap->stval; // 获取导致 trap 的指令
+ struct kvm_cpu_trap utrap = { 0 };
+ struct kvm_cpu_context *ct;
+
+ /* 判断是否为 16-bit 的压缩指令（[1:0]=2，非压缩指令 [1:0]=3），如果是压缩指令，则作如下处理 */
+ if (unlikely(INSN_IS_16BIT(insn))) {
+ if (insn == 0) { // Illegal instruction 非法指令（参见特权指令集手册的表 16.5）
+ ct = &vcpu->arch.guest_context;
+ insn = kvm_riscv_vcpu_unpriv_read(vcpu, true,
+ ct->sepc,
+ &utrap); // 从 Guest 内存中读取指定地址的内存
+ if (utrap.scause) {
+ utrap.sepc = ct->sepc;
+ kvm_riscv_vcpu_trap_redirect(vcpu, &utrap); // 重定向 trap 到 Guest 中
+ return 1;
+ }
+ }
+ if (INSN_IS_16BIT(insn))
+ return truly_illegal_insn(vcpu, run, insn); // 将当前指令直接重定向到 Guest 中
+ }
+
+ /* 对于非压缩指令，根据当前指令的类型（[6:2] opcode）进行处理：*/
+ switch ((insn & INSN_OPCODE_MASK) >> INSN_OPCODE_SHIFT) {
+ case INSN_OPCODE_SYSTEM: // SYSTEM 类型的指令（ecall, ebreak, CSR 读写指令）
+ return system_opcode_insn(vcpu, run, insn);
+ default: // 正常长度且非 SYSTEM 类型的指令，将当前指令直接重定向到 Guest 中进行处理
+ return truly_illegal_insn(vcpu, run, insn);
+ }
+}
+
+// arch/riscv/kvm/vcpu_insn.c: line 70-72
+#define INSN_16BIT_MASK 0x3
+#define INSN_IS_16BIT(insn) (((insn) & INSN_16BIT_MASK) != INSN_16BIT_MASK)
+```
+
+其中用于处理具体指令的函数其原型或定义如下：
+
+处理非法压缩指令时，用于从 Guest 获取合法指令的 `kvm_riscv_vcpu_unpriv_read` 函数：
+
+```cpp
+// arch/riscv/kvm/vcpu_exit.c: line 50
+/**
+ * kvm_riscv_vcpu_unpriv_read -- Read machine word from Guest memory
+ *
+ * @vcpu: The VCPU pointer
+ * @read_insn: Flag representing whether we are reading instruction
+ * @guest_addr: Guest address to read
+ * @trap: Output pointer to trap details
+ */
+unsigned long kvm_riscv_vcpu_unpriv_read(struct kvm_vcpu *vcpu,
+ bool read_insn,
+ unsigned long guest_addr,
+ struct kvm_cpu_trap *trap);
+```
+
+从 Hypervisor 重定向到 Guest 的函数 `kvm_riscv_vcpu_trap_redirect`：
+
+```cpp
+// arch/riscv/kvm/vcpu_exit.c: line 152
+/**
+ * kvm_riscv_vcpu_trap_redirect -- Redirect trap to Guest
+ *
+ * @vcpu: The VCPU pointer
+ * @trap: Trap details
+ */
+void kvm_riscv_vcpu_trap_redirect(struct kvm_vcpu *vcpu,
+ struct kvm_cpu_trap *trap);
+```
+
+对合法的压缩指令以及非 SYSTEM 类型的非压缩指令，不进行额外处理，直接调用 `truly_illegal_insn` 函数处理，保存当前 trap 的具体信息，将 Guest PC 设置为 Guest 中对应的异常向量， 然后返回到到 Guest 中对异常进行处理：
+
+```cpp
+// arch/riscv/kvm/vcpu_insn.c: line 151
+static int truly_illegal_insn(struct kvm_vcpu *vcpu, struct kvm_run *run,
+ ulong insn)
+{
+ struct kvm_cpu_trap utrap = { 0 };
+
+ /* Redirect trap to Guest VCPU */
+ utrap.sepc = vcpu->arch.guest_context.sepc;
+ utrap.scause = EXC_INST_ILLEGAL;
+ utrap.stval = insn;
+ utrap.htval = 0;
+ utrap.htinst = 0;
+ kvm_riscv_vcpu_trap_redirect(vcpu, &utrap);
+
+ return 1;
+}
+```
+
+对 SYSTEM 类型进行特别操作的函数 `system_opcode_insn`：
+
+```cpp
+// arch/riscv/kvm/vcpu_insn.c: line 368
+static int system_opcode_insn(struct kvm_vcpu *vcpu, struct kvm_run *run,
+ ulong insn)
+{
+ int i, rc = KVM_INSN_ILLEGAL_TRAP;
+ const struct insn_func *ifn;
+
+ for (i = 0; i < ARRAY_SIZE(system_opcode_funcs); i++) {
+ ifn = &system_opcode_funcs[i];
+ if ((insn & ifn->mask) == ifn->match) {
+ rc = ifn->func(vcpu, run, insn);
+ break;
+ }
+ }
+
+ switch (rc) {
+ case KVM_INSN_ILLEGAL_TRAP: // 非法指令异常，设置 scause 为对应编码后重定向到 Guest
+
+ return truly_illegal_insn(vcpu, run, insn);
+ case KVM_INSN_VIRTUAL_TRAP: // 虚拟指令异常，设置 scause 为对应编码后重定向到 Guest
+ return truly_virtual_insn(vcpu, run, insn);
+ case KVM_INSN_CONTINUE_NEXT_SEPC: // 执行下一条指令
+ vcpu->arch.guest_context.sepc += INSN_LEN(insn);
+ break;
+ default:
+ break;
+ }
+
+ return (rc <= 0) ? rc : 1;
+}
+```
+
+虚拟指令的处理函数 `truly_virtual_insn`：
+
+```cpp
+// arch/riscv/kvm/vcpu_insn.c: line 167
+static int truly_virtual_insn(struct kvm_vcpu *vcpu, struct kvm_run *run,
+ ulong insn)
+{
+ struct kvm_cpu_trap utrap = { 0 };
+
+ /* Redirect trap to Guest VCPU */
+ utrap.sepc = vcpu->arch.guest_context.sepc;
+ utrap.scause = EXC_VIRTUAL_INST_FAULT;
+ utrap.stval = insn;
+ utrap.htval = 0;
+ utrap.htinst = 0;
+ kvm_riscv_vcpu_trap_redirect(vcpu, &utrap);
+
+ return 1;
+}
+```
+
+其调用关系如下图所示：
+
+```mermaid
+flowchart LR
+
+subgraph arch/riscv/kvm/vcpu_insn.c
+vvi[kvm_riscv_vcpu_virtual_insn]
+tii[truly_illegal_insn]
+tvi[truly_virtual_insn]
+soi[system_opcode_insn]
+end
+
+subgraph arch/riscv/kvm/vcpu_exit.c
+rd[kvm_riscv_vcpu_unpriv_read]
+rdrct[kvm_riscv_vcpu_trap_redirect]
+end
+
+vvi--Illegal Compressed-->rd
+vvi--Illegal Compressed-->rdrct
+vvi--Legal Compressed-->tii
+vvi--SYSTEM-->soi
+vvi-->tii
+
+tii-->rdrct
+
+soi-->tii
+soi-->tvi
+
+```
+
+（[下载由 Mermaid 生成的 PNG 图片][005]）
+
+### Guest page fault
+
+参见 [上篇][2] 关于 gstage page fault 处理函数的分析，调用关系如下图所示：
+
+```mermaid
+flowchart LR
+
+subgraph arch/riscv/kvm/vcpu.c
+run[kvm_arch_vcpu_ioctl_run]
+end
+
+subgraph arch/riscv/kvm/vcpu_exit.c
+gpgft[gstage_page_fault]
+exit[kvm_riscv_vcpu_exit]
+end
+
+subgraph arch/riscv/kvm/vcpu_insn.c
+ld[kvm_riscv_vcpu_mmio_load]
+st[kvm_riscv_vcpu_mmio_store]
+end
+
+subgraph arch/riscv/kvm/mmu.c
+mp[kvm_riscv_gstage_map]
+end
+
+run-->exit-->gpgft
+
+gpgft--error hva or store fault-->ld
+gpgft--error hva or store fault-->st
+
+gpgft-->mp
+```
+
+（[下载由 Mermaid 生成的 PNG 图片][006]）
+
+### SBI 系统调用
+
+系统调用的处理通过调用 `kvm_riscv_vcpu_sbi_ecall` 函数实现，如下方代码块所示：
+
+[SBI（Supervisor Binary Interface）][3] 是直接运行在 Machine Mode 下的，为上层 OS 提供统一接口的程序，具有最高权限。而 Guest 访问 SBI 系统调用，是在 KVM 中模拟实现，不是实际访问 Machine Mode 中的 SBI firmware。KVM 通过直接访问和设置寄存器（`cp->a7`, `cp->a0`, `cp->a0` 等）的值来实现对 SBI 系统调用的处理。
+
+```cpp
+int kvm_riscv_vcpu_sbi_ecall(struct kvm_vcpu *vcpu, struct kvm_run *run)
+{
+ int ret = 1;
+ bool next_sepc = true;
+ bool userspace_exit = false;
+ struct kvm_cpu_context *cp = &vcpu->arch.guest_context;
+ const struct kvm_vcpu_sbi_extension *sbi_ext;
+ struct kvm_cpu_trap utrap = { 0 };
+ unsigned long out_val = 0;
+ bool ext_is_v01 = false;
+
+ /* 根据当前参数（a7）确定对应 SBI 中被调用的扩展（ext）及其 handler，获得返回值 ret；否则设置 ret 的值为不支持 SBI */
+ sbi_ext = kvm_vcpu_sbi_find_ext(cp->a7);
+ if (sbi_ext && sbi_ext->handler) {
+#ifdef CONFIG_RISCV_SBI_V01
+ if (cp->a7 >= SBI_EXT_0_1_SET_TIMER &&
+ cp->a7 <= SBI_EXT_0_1_SHUTDOWN)
+ ext_is_v01 = true;
+#endif
+ ret = sbi_ext->handler(vcpu, run, &out_val, &utrap, &userspace_exit);
+ } else {
+ /* Return error for unsupported SBI calls */
+ cp->a0 = SBI_ERR_NOT_SUPPORTED;
+ goto ecall_done;
+ }
+
+ /* 依据经由 SBI ext handler 处理之后返回的 utrap 判断是否为需要进一步处理的 trap 等 */
+ /* Handle special error cases i.e trap, exit or userspace forward */
+ if (utrap.scause) {
+ /* No need to increment sepc or exit ioctl loop */
+ ret = 1;
+ utrap.sepc = cp->sepc;
+ kvm_riscv_vcpu_trap_redirect(vcpu, &utrap);
+ next_sepc = false;
+ goto ecall_done;
+ }
+
+ /* 依据 SBI 返回结果判断是否需要停止运行，或直接向 Guest 返回特定错误代码 */
+ /* Exit ioctl loop or Propagate the error code the guest */
+ if (userspace_exit) {
+ next_sepc = false;
+ ret = 0;
+ } else {
+ /**
+ * SBI extension handler always returns an Linux error code. Convert
+ * it to the SBI specific error code that can be propagated the SBI
+ * caller.
+ */
+ ret = kvm_linux_err_map_sbi(ret);
+ cp->a0 = ret;
+ ret = 1;
+ }
+/* 设置全局 pc 以及返回值 */
+ecall_done:
+ if (next_sepc)
+ cp->sepc += 4;
+ if (!ext_is_v01)
+ cp->a1 = out_val;
+
+ return ret;
+}
+```
+
+对应的函数调用关系如下图：
+
+```mermaid
+flowchart LR
+
+subgraph arch/riscv/kvm/vcpu.c
+run[kvm_arch_vcpu_ioctl_run]
+end
+
+subgraph arch/riscv/kvm/vcpu_sbi.c
+ecall[kvm_riscv_vcpu_sbi_ecall]
+fe[kvm_vcpu_sbi_find_ext]
+err[kvm_linux_err_map_sbi]
+end
+
+subgraph arch/riscv/kvm/vcpu_exit.c
+exit[kvm_riscv_vcpu_exit]
+rdrct[kvm_riscv_vcpu_trap_redirect]
+end
+
+run-->exit-->ecall-->fe
+ecall-->rdrct
+ecall-->err
+```
+
+（[下载由 Mermaid 生成的 PNG 图片][007]）
+
+## 总结
+
+本文结合 KVM 中有关异常处理的实现，讨论了在添加 H 扩展之后的虚拟指令异常、guest page fault 以及来自 guest 的系统调用的处理。
+
+## 参考资料
+
+- [RISC-V 特权指令集手册][1]
+- [RISC-V Linux][8]
+
+[1]: https://riscv.org/technical/specifications/privileged-isa/
+[2]: 20221011-riscv-kvm-mem-virt-impl.md#g-stage-page-fault
+[3]: https://github.com/riscv-non-isa/riscv-sbi-doc
+[004]: images/riscv-kvm/excp-impl/mermaid-riscv-kvm-excp-impl-1.png
+[005]: images/riscv-kvm/excp-impl/mermaid-riscv-kvm-excp-impl-2.png
+[006]: images/riscv-kvm/excp-impl/mermaid-riscv-kvm-excp-impl-3.png
+[007]: images/riscv-kvm/excp-impl/mermaid-riscv-kvm-excp-impl-4.png
+[8]: https://gitee.com/tinylab/riscv-linux
diff --git a/articles/images/excp-impl/mermaid-riscv-kvm-excp-impl-1.png b/articles/images/excp-impl/mermaid-riscv-kvm-excp-impl-1.png
new file mode 100644
index 0000000000000000000000000000000000000000..1ace2e8f22e00df159c3950b729704de9f03201a
GIT binary patch
literal 34099
zcmbrmWmJ`M_brN|B8Y&3bVvx&-KC_IbV!P{fQWP(bR#V#A}t^(4U*E`-QC@1ZGHcz
z?j3jBGtL)dkNw22)|zv!xwfCebIH4CglI@eNOz^4i76o=A!8vSU9-4-3qH~I)_Vhg
zU9(Y=6hX@EBwj&6dWa+?_Eg0&etp7017~Qcc4v#}=R-LKv1`BYvk;o&C*cO;^T-vQNdB*+ahZS63e16=S^B_!FFh^
zGVvZ6;kDUnSN)!vno918C2|}7DEr!Pi}d$jBEFbDRR2B{@zoB$@$bXiVdkHoAifCy
zeJ6MSKmQWTmAd|)JN)6altX#wd2D-fT0+CRlbKeJ_^J@C7uth#sqhY~%4)<-gZx4~
zWcL;W6zNpIV2HzAj;W{~HNIOPF8W0$inyzUnb}Hm>LXOdgA}opl*1>>(VcGn|9%Il
zhkxG?#zX!07GWsC!8$v;d|&3?*)0ArxO5GXUD7GHz3XyzC?+o0vbD{&u;${AK_Y=P
zJ-y9|f)URU>a6GQ?<~^sg~aikr~JvqLxiirP;9PF8(LnFRij6hnwT_~k*XR>Zl-lw?wJN>gM4+u}+-=kdY``*IM!)KrBa%3GZ=<-6)
zquzUBf1URli~v4f*k1`iIzB#sUSVIKshp0j=f)YR=OGxMJbrw9qbcO-nq+e>5C752
zmd{CS?MFwLUzHwdp`-5)Ohg8gU18%zTWRFKS~J&)$Vj8|YU2|qpQECpk}q?0n%NvSoslk2*D!i|
zx(X_hg*>WJEJx87Iup+NvxmH@TtbXuJa*@KUk|R=*87AIuo>ds!Fyx4IeuWf&hxn`
z$ffYz0#~l~Nr3xBT5tIQ7N0$FOGg~}>Oo&`@1@kstnTa~u{7BiiOJ{b@&*|?71%x)
z7hxME*Z0@BBX8c}Vlf{i;9P-ufmEvG5%>Utf?XN9jq?HX`o&#RnuN*$QBtIlT|uPKcRHZFZZxJI^e*V#PW
zK(V$luT2(RBj7K=)GAq@8!vl!;OcQDv&z3or|L{!U+v~@G0YM^Sv6)%xU`fM-PCMC
z;)Cfjy{;Y3YJmGWBBCLjMjmFCOEo*HdCY|~TTO0pzGaU=ulj+5gGpU|N~!BfTKNxt
zhq_Yt3$D%0=TDs1M2lZ9^z`+)<>bH6#8GM|Qo?h3IXog>ICi%^Rzf%COS6L?29g&|Xj-AIwcY$vq;3Y`qlB-O|!^hYpv#fry2T&a15K
z69lo@sv`Rh6&$piw{D#x6`A$n%XjIaqM|B0u=@oE>vw+*#$mF!QJbsd1KSNvE^ZL{
zt8Ue5dy??S*~WmZHaq)VzZ8SJ4=+Bx`~C6m4HTbOR(gKlzf*N4)ksfOZ?HG?W~qu=
zSTL{$u~SnAi+Jt#bKBaK8oI|7((C>V-{4>j
z7?itP|K|%Dg4m5cMEf~fqP1pnr;=<*f=eaY$`gKL^9vyh}?clNOo(|
zlHFFTHDH|BN~F@NKc
z|Ni~^c0qbq8xu1Ugy76@l=l@5WC|$~O(uBp@vn`KEes68W(pG%nf&~ukZ#-sAA%$iGeMNN34G)h3y($em8=F^s
z)XWlr%O8|78-|W>ax^)Wtd<%BhVZ$5XnCJLPZVg*H}GI{ch!@QE>V)t)2X0qYPv-%
z=J#W~xj)xUl|Zh~kiB_-AJ?rO0yfgkfWMs+}y+u6{fmzVe}
zV`KmPd~)SQhS{Z|y+D9_r>_EUG_-F(O+Zr#E_H5n|!mM|F22AySzO
zEd#^n-=9o+s@>QZJI*kWk=-aL$$GvuzDI9cSvEYU?eFb%-iZBpr9@Y_d2M}*?ENRv
zg`p^?kw{wh+}xFkSC{APp~6?_hJ!zfHMF8%UYxF&n$Z>pH4hAgJ(A(FS?RUg-&Yy0
zzF`Ko>(9=UJ$2LJ?hnQ09=}J*sMFHCu5}L%roCX7#2`Cd%Fg>T
zJ7BLM5)KaUas`Y@*G{E+e(U@Djo2?#e%Z
zXGkLP17zVH#d2rP7)XQ8hZZTDb+#wFImAPS`S}ldcsS~dF3v6>JXz$fx*eSOi~~CO
zSnW=v&(>Lb+`NTHKK>CY3g5IX^}veOE&
zvyC17`Tbd{3&jCz`t{|k=7Yat;_&o$=NAZ=UQSFT@OWIJk&_?s+E6Q8Ff_*TxN!MW
zh@&Z|$x0n?NH(u7uV(SMol;a+drWU`{z#1OD-k(mC(SE&U?#TNqj(%CZEM#TUZk$|
zq^^!)5631`DQdiQ$HCjIE2-uWi?_JxGIA8tMBUL;$T!y$wpEnDsfIC9D-qL=2xLYs
zB>hMR7iD_3(VU8g#^!L{2!oi%PbB#v+pcxgTCw?1#2vic0ywJ>L#!c1FSfsk&aP+(
zAr-gTGk%uXq<#BNK*NL^*5oA3vuDp#ghi8ca)KcAbbJ{Qg)=7}zy)*ftMzM>#b$98
z9k1!lo9E}3XHLN+XW>zdS5*&>j=IhdGNn`RlaP=sc3uR3{i@~Ye3_M~UhVp#HG;O~
z{Df3PBSx|K^@+Asn}-qCrDsVA7Za1+FhqAE?n|{_QAlN@gJ(ySBZW)1{rvpKD+%f#
z6_%Fv->e-Sz0SzU2pbmbnMcX|kY30r-TG6z1NHQU%VN>tVwZ|eIZXLB12?z@6Y)%9`Oys&aQTleD5Vi(!(!JIR*
z$x30FsPl#l#VR%dl+Z|ke2;ZT{qH~WU*LN#BV&X3T9+`{SH%=v4zpeq=DZXJU4dKd
z?8@kO?+*Xer}nsV3*oZ#X0u(kSRKgjoc^6KV8mgn@X4g>mD4GQ8i|RR7!K^GOjY_d
z!=~0Oo^TpW!;Mir*k=CD&TuYyUAP{LuGPlTGj|hFe1!FBD?%YOz
zRsiMF9k!%k&w5=$uDjG;<%BqPu-~u0e4`sNQ(v)naYV#!xpBNoj~7h5(+s<&r-yaC
z>g+wh(I0OfImOM%-Ii1QZWKQ2>{2l^%cc&8bXM?Sm%vxE*w~yeg1f-M%3yp#JvlYC
z)k&YcfyQdOc11(;3%k?q6FDD>1{8W$R_}VB=DEeiizcIIe}Oj86pA6L4}Ts3%5`)i
z>98*2wHajfsFqCIyX43AMF2bJ*2gK^uF7o*QdY3Mjvvk+6RL-C
zn{?h_d1u%qyEHO7`qQ{W1r3jj;ity#?!&2OwHhoD-;lP|0p+RJ7e6FE;fl-$6+M|x
zsc@+G4Rj5xa%+@bA|fPwX{CoslJJorW~)86R-i_D+aL?^NGy^0nvjB<6cDn6&$qEZ
zeBkyAk^gEj@)@0E)awf;Ju-`FH~RXzwDr*@a%Vj1^l*L<4&8U3kghF6QoOvl&A`~P
z(%YC&VyV-=(9}%B;(m^aIBP}4#io5}to1$)>RtZ>-;ey%=dQVOCx!T8F*@J)@g`-@
z&`^qe67BKvkNWm@9K9)J1cGxpqEN`R&49hz6u1&p=5)G!FqC_<(6om-SNCqy@Gur$
zG#}#q?AGide*3$fsTn!`au~`r$kgbG+L=4s9ny2~4R)6}Sk*Hu4_WLws+|&k{{gwi
zc(x(c(TOqLu*E}C>SD%+>|`z^V12aMlU&qTvApO3B)uCqw3lY;X^JezZkU*$KnRl+
zYoJ7X&}-Bbm>fZ`PWVvtqRLsWVYK`PyD_?I^cBGLjxPrWO@ZVbmYU3CZc}+vDnQeo
z$;wi&Y*UAYg}k->(fM5pxx23qfNavv9)BC4OSR}4r#&l+vBi$xpUl}OF6ZYB2Xn?+
ztZGPTxDI&%;~XE3<+`32d5x18{^g@d8L&vN#!Jbb$;lZ3awq0rl-d|oCE$Ebo}X|1
zo~h~Tc2I=mRUWQ7ANA;x3^Pit{0eHG!
zR20#kRCDb;jeH`T;U9}EHO7!%N3Yd#zO=W5FTJRCrQh7_^z@OmKG~JCb8^`9v(7o($^>tjoj
zZBd;TQ`Nrt1~vL~O@cr4YQl}$sHYc-dyn+>kb2l)mK<5;D(J-;(jh
zNYHuNmHziExMm2o-gvb!n%SNxh)zj~tU~v|a+HIbX_J?n{3=-2?DcEeu@WW##}dg3
zKh1~8Uk~Mq^raoJaB%z=5{I|zU*q8)YUs(ob$aTBU_YfK
zC+rV<)#(3K$;egC$YR~5x3`yti|dJ&7LjsaU3)Bhym&w_*)*T)a1w<6TNvkr@NopA
zdB^%lJs^L&R2ePBWRVvbBz!qcThqU%XjNN3w??*ITWM*}&aa$bu!|t!$0%?Zm{MoH
zdVK*%oRXaU9)j$h0OK+pEg~&1&(hv-;jd8Y&sHaSMrJqAk#kKlqln-BBB8F
zHAFZj7#cgyv-ev_t6}vgL-q6r+kK_W~e9fc6!pz*f=HR{5zf=7&
zB=;u8KWwaTZeG7RA;aV9h&)!p=xE7Hk`P!H9u=h)?2r`M`okf*#sdjx13Sas6yK$J
zgKy&cRE_`PM%+D8Qt>1qWsQRQbdOm@W1^7kY)aT-+U2$h+3HublU27hi!w03|9Xf|
zxN2acPFK&j)TNiKFN!jld*KDgI4gZ@G^(yM7sm%PiJF%;)}Z-P#X-+`Wx#~7ATCPv
z0>1!sCKKa!yXpwt@(0@!+<nq`ZH-uW;0{{`k6
zmX0OGxp^!-*YG|$+VnDbqkAJ&$uBoodgA`RlE!d7!yG$Hce<%!IJ#Y0TH5SPe!%o}
zh0~bE-yJUBE*bqKg5d@6`vAPWu=x1)k-}(RAbMzCAOHMmevvzrtD_9ZuXS_62NF{g
z1j`t96P?`C24QEM4uC#RgnI~r0UDF|%jvsHN=m*#L6nb|ak;pn;9P#;%=QTm<_f^I
zq+r{<_v_7s{$l%pr$AIy5-g)R>9^%=z71)70wV{XY}cH6FsB1zmze
zV`BcmdqE`j36Rl20=7B(`;*Tq)!gBR0
z&zDr8LdFf=ciCgvO-MlCYaAX91rdP7@vVs+!Ck`smxDhzzo#Y#vr|y`hlZZ@XGPkv
z85pU?gCfBOU_~WcEs>Cu4w$WUj;8ANQH|KuCCR%glB-Ca3rJ=NNfX7VmEchI&7s>|
zQ*o&iyXQjNFNjWJDH6r_EYs!>FJ=y-7!y{eJP0Au1MB=I88QgyCRO+9{DfY++BHDP
zZS-1qg@YD^`4|qf*i+8jwkWwj+uA+|D&*;yK*1QNwLUrdrnIzOJoR%$fr!m5jQC*S
zGXSCcZ69wX{QOzy>3vHfd(cA8XIJ8I(=xE)jIO9ig_oHD5ng{q#o*V^)X!Pl?77de
z36R?jFmUo0|DV9lzciPKr$qU-L7oO{IoPh6i(!L{ZNa<*jb>A6@Yy}&tX
zw;B^vQo>m_XHbpEe=~vk`AMZ$X(_(Y*}BdC!NHW&$>k*t&%1`Rgoq2;-a(Z{DO5AhiKv;n
z#%6gL`k>DX^BT;isLT%q#QGF{7X+#a!;v{i-iG-1dfnZH9>TR2B)aG5r1S~H6
zhi+A9b4be1Vn%t$O!(Yyu*?T7(q##>g2|4InuCJ`9N%J+kUWT_S2x+7W(7=vthL-u`0a+~LsZnA;o*pdI4f@eQgTR%!XXALy(96wHlIPr
zGaD&D4hzHd^>b>9pq)a-B6bbGOB8jF*!9!#u_K*IhHQ=dlw!#bo!k=IhttFcP3SM-
z=76rk;QhLLdtYr&=kxINBmZH2{ys-baJa&OA5_Qw%sH`C>4D)Qvj-LSB*@b%eWrtX
zdLmD1c@qT#n(Dq$>6GuMx?eQ$HpRrmJUcrK@(l?wnJ6ba-f12*j`(7@^Ovk7YrLX`=VY@*^TRUXecPcKhtwJcYuH
z?U#`e=y!w1s6yA!kf$#_f{(DXDB!wWY0`ty@L8dm)}?bSg$YA!DC2lR{i
zuNqy`%~&OO#F!cRy1yMjS@XK$u~h(;_m}tbU|k=GNw5k|z+KW7&+zk$}#=oNY+97%jrn(U~AV@`+MA
zHA)N#!P{HRkl+zgI+n7nV_x2j=4QSCC
zYnso0yfEnQQOvhp2?6D|&JWusmfzv}Bk6PB1f3HL1C>k_z`6dxByqi&ecVNFF6?p-
z^>l4ldVMl7p4HWf#0q=ZB@RA_?bEn^?WMMgkF(y3*K9DSWja$R=6s&=QD)Y>&Atw6
z;udJlTvJX<2V#=V+vg{DU~?^<>^Xv9?zlsd=;=vy|NeccXV0jFgg%s(E^P@!VgAnc
zYXI?kS#yefYypte#}6OKN%#*%w6x;F8>1pS1X8dO+e
z6h_7zhBob=FB#FiuDiJ*BWdf5ZSQp@dU|^+RJ%SpKgZ}PHW&VpBZJ&sb9MW90$-Ny
zR96?Cm&nsR-A@B}Yi?&4&CShsJg%^L__;d{E=>nk&FzN1;xdlTu9OkO#~fCZ)Xh90
zWJjqIL45sL3%8&2r7`lljfT*xGhN$0n)0}Z@A!e!yhQo?Gesmq&UXvjGj7BJr6~Lr
zJ7vM_%xChZQ4-jQ06MGufS6d?(Gh26MiD5HFXVARd5bH3_^%9-u(7cvZEXY7>d(K@
z;-EpkeqUq}?Q+Z#KikOIJ$QLku)NnrpLL~^7RYEhW)HkG8SuMgB;6s0X*bo_osrPc
zmnD{a(}x>c-_z1UqoPPfMMMPh^I0n$cZlif%@20zBK-@D+A@WwDja-Fx)NtsHTQ}O
z>g%_bN;mQfirO_o{G{%E`$q9DaBrd7shA)8`&L{uYD1OF3hMs*Yb1Kvza)aVtzz3~
znUY`p3->1s0s{WcAxVhB5|n>tcIMIr9I>QKO?e!)gdPeA(2X6)$px{pvDNnW5(`!h
zRb)MmL<7PGr5JH_b+6o91V_LpBKihW8^DW9mGeETn;@YvGCtDO)P(OA6&10apG}#y
zdPH@ccAlOY*1k7;(J3P%1CrcX(nib4J4r1qntGE|wmBE$(<8E{74{Q6E{7aTU1#j?
z49PTqZ9c1Uuh*le7Z3;YQuj$J~wPI#(NSEc9>toIS^&A7Q_#-_vC1vHkRQE9Uzxl`a
zS7>PHpHgdjr|oI-qbf;l#=d%$2>ZfE
zI?_#vwt(g@(%8YZwNsT%;KP?`dj%>X6nA9%$la6*2H0jiS
zNayK_#_(7_mQMXF5%dN7!Go5MH^ZHdS*{}^i$dD2`!00{iG_uwp|LRmhCMSk*VvmH
zw>(-*CKJ_80bETwvfA)?TM8c^zrc3I0=78;&s&ZFysnqsUpw&$38CELkSKJaM53H5
z;uXVdLqJL@v(l3S=XKQeaAc`Hp@ObU$4j%sqHBMJ67}xg-|g-3D}5fd!=)@uOVG%etxJCkM$d;e;Z6bc0&4D
zNS|b&9Yn~PZq^qSNYFUUXT8io}VowF*A*ShD!sCfA8>3D#CP0BS&PTRoxNM-dMCWHNtGQ6?NH}!WwqXp
z|KdOPp3OA7KnM@gNQzQszs{S^B;k5bRMF!D^%{X1E{7?lQ!u{*xHoh2Fa4TNbE_sfxR@HJrF+j(y}
zCXk^yaGCH3Gh5BAtM&s4tP8o2P-2QC=G%kU5A9ZYYQj$^q3+sjI+RNenSq*>HEeC@
z)Aqr{*<>RvT9mE+eP9(0G&!b<>|js$BQKnz4`_3FjYy$5%dNWjhGCjX*Ke>(usGWa
zL#D3>B$py7pZ;!v*+!SZbgFtsI4`3k-plI&GD@)f8V?BxQBU^JOSK$La7o-l#Js+=
z9Qc|`?qCv^CDn%yONBbd7pDn0jC49zLR4FJ*YoYNQ6z)cP39z+fv$9pS2{%|i&o67
zl+o0meHG^Fh~sB5ZkHwGvWVI;T2jZ(Iet4l_AC9J5kHh{1FJ6LFduW+uRoEF_&Hy(
zMZIKTd$P8$laQ463@0|+?ZPZuwM|h_L-T3((2xo2eXGjL&ICyt-P_v-f=5kumHoLo
z+@r;7hZ1Yg<4Tru*6_B-R_dtG8Y-Q#^@w~IEdlkiPPN`AO9WlvIgJunmloO@eaWu-mlb)RJ~9Ddcv`QBO5SiLdH=TJ!z{I&51D3RuC(-2
zR54^8+6l}?ewfivyrQM`Yl{}%6sxPP4b4*B=;`Tcanj#WgPT-Ux-ae;A=1xmjZnr7
z3Jwm>!wsUnHfCWqS4U=ChM3R#mxU(s);8HeNmJw{R#SgM$tM7YqX3~uaXV|0jol@I
zu-+ce>s{?O)>oWO)Es;=PwQ>7bWXtagXZci343Fd^VRPBjDX|zR_HFHW`Et73%A=@
z2~3eLl7Q20OqmT$Z%Gcjp4&hu0lNe?0YPH&_}S4Gn}vq_`1tF-%y4=@p^J2hdrMv2
zKVk*-^$Ad%Ui{ibIo&ry`HuO#(5#P+&+c6+pmlG|t;U5mylb~_^GFsNAI1x9H2<19
z{A#Yw?YwW=cy%#Fwpt(&c#HtpCXYQ@BWBv;qR-NX7CT7TEW&H9P+^s&$4WYF*A_d+
z%dnmHm#4yBSWQ+o!5K3hDPRH$SYX^iaUUBS^)^p)D7lW5oE+k@_8YBdL=Qo~sQsxg
zI8r|FX)uR`7vMu2SI#%R8VrJ{v0`)f1b%LH4||x#kS^Ucc{1^
z`zJ#CD}5LaM|`e(9qNuQS7`6km(a@XY?f-6CyCg;)3-%+bg-6;|414*!hN~F?EXW$
z?ENDd$5{fq+k;MXW428Z1Kzh6~M7@HP;w`M{sy>yz}Yg;wS}*2Ty@?+2}y|
z#}#dI&E%o(14tkc$lltVfy>PKYo1lD_uV!C?oZUY-4qh1JcK{y=8{4L$+wzf_Vm7#
zQ&PH5uVz8b#ul$zHOlg4{K;acju#w!plU#JoOpQ4AmK+Ep!f91$8cHR0Dx~iQ+FWX
zLE3zN60T9{cx%d|1{VoxsP1PQc;4s)J~jBTuP(v`{_$!^*I}APW-&Z%S
zmZiFdnJE5fY?PyzEOCvEN%veBmpSpbC+c2?X7Me#FQpHT5!-Wb;GP~OWj&C&``Fa&
zsc&>lUKtpG+CWOL)^0LdBo0b%l-HefR!}$*3P>dVHQ2cKmHQ}4OG^t4nyGVjDt?fz
zaB=Ko{DNzN>hm^5^_}v%Sw%`Sy1E^)ne|?WRcU~IiB2{dE*Gc9_OkYm_Ekc`-o6=!
zK{Liz@qiN9*aEEgK}6~-*0Ty+mZLH$5*@rYi&OwZUj6>aiHPuSXZ8heXHL=cGH%4c
z_@`X=9w0z~OtjF+{Uq3-3_`v)D1deYhgC`s#ujwJxL(_mNt>r?E=j_Pz2R)i$VsZ
z1NDEonL28qga#+Ofeu?)s@a*OU#TEKw?#7-xSq%ZLP4zshyuy{nUd0H=Y$f=3I!l%
zNF8xkAye*WUcSC82Sq=?)1P
zF3V{a7ay^WOIaYuXF=~baV-JC=(#PAkBc2+^QC&btAI=)+X^xf
z$^)2+uV;yoN66y-I|u)9`3Cs6WI{X?4gv@{UqhW42MNW;8IBVfd*LkjYMMH8uhTpy
zR-!>_4k7z)*rEgmAKvEDcbZqfrrcY0T(r^xNiZ-D-tX_3%{9FN(o8dT|F*EO9>Df0
z=eufTcm5Z0ZnWIJgO1;Q&uVMJ(Pb;mpm}oDCI!^Wai=Y8--ZUUwC5MWrKK9c1d|ir
z7#hmvXddud&tloF@gaaPWSEr+mkehD>~IQG^Q#I!AjA~nmu`jL!Ou^pRY9LB^A}H6
zczd``c78a<49pz-J0MzTy!qzQ(z-hJd#A3hH*S)V@yf0KGejI1aN+`AdHKqxR;ouv
z4BYgvHtUmBUO=coY_K^m#T>{Uf^8K)JdB?x6x69uQ&LiLI(xCea+ueto~aTOgF{Y7
zN1=YOG;nd2tdglDSYH(FrzF;Zyg5}PvoniJaA|*XfqeDuMrS4LQ!(!@x=8SW@sbI1
zzE)|s(J2cH-468h)WXo5*n;oh^;
z)6YKLlI!o|v=08T9@4>PWMMW|!j4UYk!taRKT9P){ply_)ve}>Glxv2M{~{&P_hM)dXg{JLC=N^HuT>L21ZTS&>2TQ~UK{v8B$bj3rL9
z*{1W86*tq1bJzTW0>vqUHt9D^j|<-I&fjxC)~7aTYKJ1|Junjz^V^4>?6Fs0-(3(#
z{z}@z2DPHG0zIZ9>eh&S#E729Kig`uUF~PRb(b(a{Zv`$^VJ^jqp^VU_|~@U=p6Ev
z7AbHjRtC;fn4*)`2majdfq~!M
z-R~zSYD9LZmOi8czw9kClffVvl?0KFo$A+3x8M))Asv?&lHC9pI}-&vPWCRrN$3MM
zzuvs5ZQ>gKyF}#$?icsr(&Y4XNsVDaI~k)lhQHk3RR4naxjKpe;U4^m-AS-3L!}%l
zKmK=#>`f}PH8dVOJA3*1`%^J7sZG8;@GEtly@!?>h|g3IeN1sTbdHK<%k8>iW$Dei
z=B~vM;b3-`LmoQSQ>6>!t?6lBNSS3e>Adda>Tc>6I;iLZAwhBkc1K9>&4-vwDmvTv
z-;k64UM+=uuyZgWGghLr%UIGBG{N)EP`IRI0bF~E4rSd#++UxCee?9ZF}FN?``MM^
z<%vlbx&yUd2|z&)Qc2r=gZ7TTt&(h&^1NbiPahvBJ)TSCM=_YCxM%F7f;9Ee%>!`2
z>_$}_=*Ro}y;=s>k(u9~9m?4`gq=qXaQS1_XZzKIXAl4z`3$+)c|P-!9TDg2&h43S
zn0kZFanv8W7lo%INgsup=cyh&@&clwRAkBulE~cZ=$B6@RT^dQgdkkhx3)@L=s2%z
z&s;zlSA@*qbteuil_a42`InSn=((?irspdcXic@YQa5jHRJk~?MI3=%(%#++2u=EMh?Y{_8z>$Rhwf%q|?Tw?%gu%{DkW
zWl6d^u9nk3llJYg#h*of`39AbPKx5)?j#Ks^V#8G_7IlCkv)O?ba8R9S$C}$B)9t@
zro&CD`!pCBq@jo4X%2o_iG
zGh@3pC_MGb9AF5@#`z{)T=DVR{le2oo0}UWAh$=-siw#h@E>kXH8R(nKPxoOal913
zKmxE6!Kj4+A<$x^fHYMJEFX9K$KHZYk;#k>`0x)fvf}D@t`ut!QeB
z*=xzk4nIqn!1VbGvb$k*1mk2v`+c8EXQ$wmJ`;TP+#5e%{x&r3(hU|#e!OiX`y67-
ziyC)Sgm4XV=Y6uPk3`%be-;!xO;(s*91PAkK$+gCB9d%w(yqY$Q($C+FYF#%9=PvQ
zAAKz&iMB1^$6(ir%bk^pMhxO%(QxWFAOgQV-WDR{l(zc)v#3ZyMrJMP7i%#BHz1?9
zcPLwQc6J=Eq!0YiU=8_zEUBCkDpYe(@`+JvaAsx2%g>J%Fs_&PU7bwbDyWgw*1cjIZ5N1J5P0<%shpI#SGL+q>uFSz=6tUv0oaWl)
z|6mWn=AdK@>@k*)(?imjL9;(_b->(uGycllPb&R+6;w#3$lSW1K>c5Y5+
zX_QznAx<1T82{UEqnU~0+z3omZP?<
z-Jf^Upp26C|03~(olL2iCQ7GXsQJ}e#Skm5sYwW#
z&O}u;sz6gXeT(tQ#c2?fpQ#i0nQ3Tg!<-KYd#cWmko<9ITfaU{fqF3`A|IOeyh7B0
z-oLjg+iZnrksEhvd;2si0bTWrisDLgJLI)l%KZj<39w6q*j#ABj8Y3wpxVu+@b$ov
zO0M=r@vdgkvA^9KE~4ZU$Gz2DTg%ettgPJU8|3yJ96Y1~jxlR)v3S(f5;0#04PI;F
zD=Qnw$_74G`|lQ6z(oxhI}Z4)t(krO{9ICaz`BNLk^qZMhH^Tcn%X-dJP|{t|JmW_s=$aS*fyN~
zX=qqZuop%&FxlDyM`Q(=A!2zMpH$GfE|T5@EMSb#e8c2%VW(c@y3lH0TE;uKx#^jh
zxXB+Nb9=|^^Nm@ujWO=dL)DLgU8?HrRj_v6^--JCFuoT^$H{KqJs-dx<4cfsXO;Pd^~6I0|BUE=fmvPg&U68`~My
zJ_uS(l#7Cms59ZtY?m-{nd=F{Lj7u_prf>cAG86Y!ND&ZA89;~9iQP*lTWg))J1TD
zU?gPAT)|?OwC^tXoe1ACe9E2QJ9yEj*dJw8E?j7IeK&Pphg?B5!`99R+H
zkPz2<+ZjMl!use!TP*vvcwX!$v21GSM1v%f%|m3wcz}K#xqpd!!3-u_L-4WPnnYvH
zTab<8!l$RV0eB@;@6!cEUTSObV|>9-yuEYn^WUbp<3F^K(&G~eBULU0;1W)E-1!C#
z247{OS!Lr(J-4?X%lSO^JbwS|Z-<;K1;TwfR)VUlOOMZ)#VsE2WqR!l
zTuG@QO%zAO73p8;U5J&BZ`5{uIKIk79qJo0AR|Mu7G+}$bE(cN`wNEr?VZHFWzl{!
zv(V2G3o>6lkEe|;g4q=n=7}jMQzPav&yIV++&KJmv*^u43<0|u=w;#1Gc~)q`sYtr
z6$>ZlpslZn?@?&e{oAQ*LBljs>sn4)%H$xWq0b+wQ$}cFk;Fb;!VjZ?jI_cjlBDTqt#YHeBG}1G^Iqc(kln`)_(+Vf9g)kNTT0vDR$LaXKasGV<_&CtxoMsuYTB`Y`cx0P+UBPsz3V#$vs
zd%jWcFZX;Q71Tt=!m$ki%ewVU-2>>R@J^a~aem%;9h$8mr13&&DepNQl+ri}+^bnQ
z`c2k{g-Xi@OHzovv?PLEFWGEv>F&2XRXLN8mMNwcLtLLyePM2
z2YU~jQR_QstP7`Az6I6Tzt183=Zpxu19e#7qHypL7HOn!-xA+KI|afj2u7q_y{ovj
zp)2FF!%s-y%2B4liKHJ>%+)rNdn1y#va-TvZ$XA=PUz2U<8?p3x{Y25JyBD$(+V&8
zW>CpF#QwIU&E5s$TrYI|eBsDMuH9SOfl)tvIL#N$qyxrGTxfFZ{Qap0c_mN&Vx8T*
zHJVxGWY_5Ae6JV0G|pQULcBaG#!H=#+LN|^!}r+1kIZNL)~G$kii6|}mI(5{UA*g8
zT}=v&ZmISgS*vD4xf9e6r*Em}j?V(1UsXfn$%lzSeZ2HuT@cZ)fvey^*YnYbZvZM}KzCFm-H1}A5^t6YtxtY_@~x6tJ?IiEbU9*c
z3esvQvr%6jwx)tUn!3i+T#32+A~?kVmi_wo>})0B_=_xPEqc2)NOE~fUlmEgw0ZO1
zJw*s7wGdTS7r+pQcm&+Auhe?uBL*1~Ha4YNUSeyA@TSqhY7&9)CCcUT-1WJp1GlXT
z161-!uumX@whI{eu7l-r=<`Rg?IVJrdhWTnLbn{kS3P!i15Vas-O9%xCeL|XnSb>2
zQ~c1Bt?+nxr0_21YuDeU)&V0mS2tkcOnScMyB@~ceQ2Wae5@gj=*9(V|AT;tNGWeJ
z8euyIx9+=nUm6HO;AMUT901Wy`GsSpqsWZ@(ka#AcNUC*-=3kVC!gSGT^X~{y&TeitzV~&f2j_RacZWW>#6j|A?B+p4uYb!XnI?wHE+A;q_e~rb4k*jZ
zS`O%CfUDv7Ly16tr56?4opUQE^q+2ZJfx=1MGSsk_&=|XuyqF#h!Q|1fR3d=qF*s`
zag}HS!OjQOhG&Q3!=s~bH^(3F*%6AreQWxmncVY_@IT7{Sw2`x3SCdcAa=a~dlPhz
zs7$khl-49K+))q4L2yPu*J>~{9N{6>?VSAIx`kycrxOx!ccwiHs{`T^0^P7Uj_7oe
z7&c46AdpW&F_B%r4wK=
z4hq>2(z%5)=vl)0H!DdopC1Jj8h3C&%m71kBlOI4KO=@5+8)CiVLf*W{l{tUOd?G%
zs*8V(;XA0O5ZKgm;{$UH9?;jC$0=^jzYV&BRG1TS4SSvE2DPk$;mT+ujBmBbum?L;>KO1
z&)>a6gKBdKSRM%jQepqNpIb9Mf6iIv!2A)KqqmomKK#9m_dl0ugSnA_?K?X_L42OK
zv%98#|K$bXgT5sGzlj@wL1F37Jr4l^dow;NNMFO{
z2QCn8n}dkRZ8rtJK-wC#)ev#*{g1&=6a3>0I(#2QylmmXp@8*x!1ft1IVfYJYnIq9
zwuGDPZwiJ{N}h9)3|=h09Vu#k%p7!E&QG^5J23L$6r&>wuH|tz14=jp--`3dHO*xdvx>QUL$S!u&M*HAoqzf4HA`Jdy0lLmdv-G3wKf^s
zXES9ZoK!~9#qaQg#@c9U746M;1zTq$$I+BJ!PW*dK%TGzvm3kY6bzGz9*nF{d#-uU`vA@7~)
z>NPTFvP@hoKfip996!t|n|n^@vefMM_Qoj&0ui2`_)l(nK9jINJG8uhoewC1QMtpG
zM04;)V6Y*y@=<-dRn-Mk-V)j7B`*{!0%B%R@T1Q&v9k8VBQHp+Jzn4RL=3siX6g3r
z+Ys2iL6=Y{duNnFIRfH7i~YLBV2+kg^CTQcw(S>aF>~xxqY#n
zw^5mjvhOwJy?ghhqTMe}6~8~b2PW25=;#Ovwh4i*xkAI1`)D|ip@q9*xi|F=6!zHp
zqW&mL{vGD`fRq$UY--usSNYqGczWA?^1=ipE2Lg`@Qhb_Q&qB5{Gfs49u^j00F%Jr
zN4qMD*T`WHt*BKxTAvYi$=cj9V9MI(=n&b2Sd*cA~Bsagx|7kTP#Pw$U+2Q&Kq^wGq
z6gI)XJ9f7gicBp{K}1l4oMMgZAXrV;xyn>Zl?K05yiSGvJscb{Q`5(wHq>=K4`&f0
zjY>pDyd~zs@y;Abyr}PCJW9FRyq~aB*XLWp;RSrwhVtfSW`2K{3V&;F&&3z@EbaTQ
z7Ayd%G|V*EUFg-aBY%HFfwF*+?RT6=T4iqla0)PL3{n9wo^C)ffc5WH*F_LljcQp{
ziNlqp&IfdJO+oB@&$D(H+M4n7T%T@?7MH!9xqj{1HCWGa*e$WaXt!axoJ{TQ?V&o7
z2*g(jF|C6@KCi)W#NZ_5!T`_uukx#oqn3xT5O)KXL?`i!zN-!38Z}dc#1{nd^@~l|JhMoD3Z;Rgw4j6$S<57
z{drs4&yKE2H-_&uSG(=N!FIZ^lLRWq&G-2arBVKT!;r&;=#e^NGw%kXp{>egD&1{~
zJ8G1y-eNcD#KvOrZ4je}j*#S6jY=V|fz4*%HVGsZ41gL^xr3ExG?NuRiPU@;bWA`h
zJpx^PyZfvghZ?c0^U@KIrGLH2$=A%eaqIb9XM$-8r688DFf)|No<}hR1HOn)7EQlT
zmh=)a_NRZ(p#Uy8v{GzWmTse>8m#s+2L-O(`*^|4~0W$W`gDbN!8VP%p`TF%+*5}6rDF%M{68~OH&2qF-q|rb1
z_MJN>z2Chgnw=g82jiwaClRTzmxBfUZa#!LTzw&lxJ2aNCH4l*hre4|!Vo`+;jnct
zW$x{412k?H&CfR0^je%X5xEVQbK-}$h$RVa5U|ZNg3*_N!}R`EHNQ9att=x4TsEa{{&k$(kbIT*1daS&ACrLR8}78
z(jbBS9cGrs=H+?b(HKAuuQhH>nYtC>(3>5lK%VyG4DIJ5qD{d-)y7LdU><6#~erW6~p-|Nl3BBx#{V*(IUuy(tQr
zNg*;qWRpE|L@2WNF0(?iv$L`Zna9XH*0E>CxgN*q`@MeG@A_Q7+x6e?zxVB}bI$Aa
zd_AAf*W+e64J
za&7OkUY&3Na4s-M8{PHcj>FIQvF#X?69O9hKbgrv<8x1H1b$ApYV7VU+f?lui_p<=
zPAn#n3kquBjFLWQaOp5If43|*Lo`4Q-MQjg0_p808x~80_zO{QjhR
zN~8a&#oz@C^Kh_YL2AazdKR(gphag(BsC>>iYO>7ZUWw6yfOO({MJNOI}O*tU{1P|IH|NQl;su?)G@9|mek&*d_sHg1x?vyds@;gWo-rtc
zA{U2u)#8%pxI_JoJ|URHD6B%tUFXpcufOqIDe>Sq10
zEWoqIJM$c!hc~qQ`DVR*uz`RPs`h$oa_GN@_rK&-{Rm9#yuJP
z`3(_LQqu3=ryy}a3y=VjC*@B|U;e5nC4+Z&y%A5ISua?aO{Gd--mr1(fTFSe3W%-L
zvwHi`?Scn5n4+U&(D}f@IwjTc`^y`bJb_TvFT(wE3(R#Wi@H)tT-IlP8ss7Fcb4yL
z^xSTVWPROhHtkK8QDBEAfEQu?+I08}lz=JS!I#JJs~g$S;}_w6Dn~04w!A~w?7P1`
zV~2-zid4dk+I;foRlvG@Qd7Y*Bn0N$JAqV@VYCIkW)Q9vJ6z@v59pdtJ*b+2!KbyO?H)b-G+La@qe5FiDvFgcCx`=?;A^+~eJz=LMo*&|qdw=_;
zf4rW&dw2MF*per7qahhemEB@}2)L-M
z90aqx`=d0kfYm+?F)^_=H4>{~v5bWG9-`a9WN~ru3~W(hN#dx7-}EJL`y|MN3(dF9
z@;m!`G+d9APAA`cI@dD}Mkc>e1rVB(>68DJ}=}w)maFjhNjwL6BC3B#=^Ts
zN0TUdkKKGa5I8U(gj?gex`wAnDy_`z#%uM8&&-rVc`QHI-5Gw}j~8k#rH9t
zT-&Lp`zTuPWaJ?UF){D+7O~`P?8cnJ?zo@$dzxJiK!^r)x7V{8V|me*L_bE#33u0~
z^NO0|1*0)zK|%K$m*(U4i)LqI_JWq@o`li}=MQr1IAKI!B?U)o6!8Ubey#O6!-!g%
znP~w9i1VWpq>J_b?_7G904*Tcdow-e22PA`Q+Sxgk
z;(pf{@rZkEP{!ly$cdNe4%5BI8HE`!{%_K)sQY`YL
zwMn%7`DidsnFW<&mYC-*``t~tp(yue}5{rjQjmF@XpT8??Q40Q(D##i(BUzl_>YN
zR}a**mZz)vt)BWVS0_UT8?B8E7q8y}`r;oAWIY
zMI{>-QwuWeZuXDS&oV2d!h&{S_4oA5Xp0y0r4dem^6fpXsGoL;6}Wa@8@V8W#%TVk
zLyQ17JP*`BTNu&W3?;YK_4WKB1=EANMtU;+{hdRo@qIzf%ZQp;&d}Nc6%i_Ml=ZzNs7(6y>(WrBk}5e|OAv?5d;b6>K1@Ao@C{!%e_rs(
zH+_--idPC92^}}LN*CaTr20+2$}M9&4eUfj8yL}~*67@aRqm&lROsF`O#En%FL^QM
zagv1U5%jAU!F?F}_H8_F7YUa5JG`Y-IcV{-G4q5Tvhp2ttl_XH5&kGLKc67+YALDw
zT8KSyx_*s2C;$_M?bKiHteirDuEc!3kvt@
z0AK7$yDylbv=_ELx)8D0;hCI#nV6I&6H3?brPD-V84t->)tk1q5BOgExeuiFn}|hHpO6yu|_C{PxNJYSa36h`k+_C0ZP>iM*UDhn{50_iSu!U(Wpn
zq6|gKgo%>jPJgprEl`$~H+zuFC%qpSkSn%uq1PKDA*&=Cc@15|`MN-=-T?5y~@CLBnYf!m@#dr**pZ8h{IJM@Ovm
z>;il)v*nYjxUGHRH%CmdQ8mj3-|C8U=)HiS;eys2F!M9COU`fWh;f9e;;W#usW7*J
z$vXkbnZ^T2Z}tma4qco;(r_DaP9ev|vrxTv>LEw=5(rgP0MgW=3VFcz9FIatyR0io
z%17S%3Dt8u)Y+7@=)C6eMjvpBomA=cPmo0VIATt$qpXok<`*wthK1DG6q-yK@o-A_
z-xt6Wd`~w*?dB#5DD02bNkES_25^<}tG^H8_}yTikSnv_^@K!BoCM>HBGW}%+f@jw
z3T|p*@$T_w#N$kq9cMT%&E%AXWh_C*YLD`+PLcuC6>jS%c)wQq`?<*=Ya&vPJ7RSVB
zR_z$%+-bfWrgj8wQHH_o%yw1gLB%>=%MVGTU9)n*BY$eb)rK8+U$PLB(ILG|?=Gnv
zl`%$|=?apK@z#Gs!Q!_v-s2KSulKmXSQ}Swt3@B)oa1L5b1%R&6JOlDjK^O;ZqAMa
z7V5H#DY0YIDI0~U=aZR<^lzxs!HvPtrL>0M215V-t*}rGkSNRuklo<6DDR8nuEqtR
zh$R&g(fX#9vt8L^z!M9v$pWhpQo;-V`;z$2jX#EEJk$OP6c*3x-%{e%h?iFskD<&}
z460gYFrQPOCzdN7lUGtg{Ehq)#QC%(?rm_gM89u0dKJff(H|aU##o&t==AzD7*DmVIjtKY!1~IJF(+pmaw`ikH
zHQZ-Dnoadwj$2ImLMUol>8W?z+C13PUTw(ZxKF}AJ^}$?b=cz{9(-HIQ4fFjZnx6W
z0|Jl&Unl`WDtI(HfPq`#r)iy5nLS;i2tTy`UxMf*|Y1;mxEQq>V}DOG?upY6llRZy@*O?5>
zP%Ebi@JT0X>vBWI-IQ^^t`I#cBqTI21VCgcjB{g0N6?qY=3NEob2#8!6zkOK;0nU&
z$lU6~Fc8=4TU)Da&O12oVLXb*>BbjDXl;N@{`Z
zndNHfrYLq%eskB=E!2UHy}e@pj>>iXo~n3_jVZ(IELQAOJGA8osaxmJ<#cSj1prxhD+~3=FlW&Mw{`%qNE&IYMY9
zjj)F!Y?>=KB_up>vc$D1Zqy-%u2^R*Zzh;d6nM3@4%Dcre{^&t*`YfwoVQKvl+bR`
z(6g-V<);TxsC<9v{a~Ea(`uw2YS+Z&Dpc#6Qw74#Trmy{RmDYs3sdi|k%RiAe|6lC
zSLo%GEcEzOAAgF1g!3Yk`|Z{!%#$KBQP85Hp>}ERyXn3&u5UGb66cx(=cYf%du4(a
z$!^=MaLlyD)|M}mLT;6~VhmS23>v7ZW~&q5Dk|f*MduQ$dl#+@fa-s~E6F?Rc!y^G9{N{Z|xw7|0YR!ruErztsn3sd2)ERpadaCSU>Ggo()!cV$NFA!o@1O*1e!sQTT88)T@;>ob;?mTNQZDghJ(My)f7&0)`1
zR!v)~UWw9~RlqQ3XcZ0p&RGadOr&*Ln@TrqbQ&zNX72y$W4ko`1oX2~=nipPJ65@+
zVHfA^kvoMixeMy+2C7rPGEq7Roe`$J15d9u8{za5!{nOCv)EMIZX!_t2Ea=jew-2W4r5@<)Y@61Q6ENdg|FbUREQ2
z4NXiMp;Ub_u+nRfmd`(9u)d}HQjU~PBbOdc-mt$b~O4vNs
z32XMnuMejXtE(Wb7&-0bRSb09ad_PiSJB@4{E$<^CMxsY5%MqROF=>5pJnc0H5LT^
zSk5rZ^{uVvuy`PW2yhmr)8x0LU{yUF8I$ZM7RxU8X*>WibTUNRPNMt6;DVpQ#_4{z
z%ZGra2#wy&tsK2-Zb54qoBbVC*cEFcS)-kIr!~40S&I%$14+)&(?>5Zm#dX4X6)(l
zFhQz>C^aLy7oDUB6R$DbN2oPvL<*BRbm9uE$CS0H1Exodh_<%21_s4~a=tr9{VUwqk%z}Bu!nx2MD@C%
zAc2n7BSjTI&QhliXbANt-p(^@%&^ZPcTND{>m*qoF!VvAGWEk5cy#LQYHBmTus~2ebIKTk{l<
zUXlStB-j{E$Z7p~HUE2+xMQ{OU)=}6F6sZJ1&FJx6i48s#GScBlRrsrFfh;{3I-KN
z$|SP2xA{#v54UcQ^+`galvRq`wm^c=>KP#CVE33P84FVT^x!Uy)V$ZJa&Oe?fI&z46qd=>*6uX)pcONtwciikk*zJbj-Q`!NRES4wv
zY*to8H#NU;!DGd}<3b8KruUZn#U2#HlLSMp9`u?#Fzg_P=FkzbE)VfbGnE}fVo7Xm
zZJ&N$VFnlh8mBJ8WMa>Ly=_Pl@BqzJ`f#b8A7BtMA`X0YzMCh)`T`$i&(`ek_5c~9
zf(ug-wqpRpEECidr!U!{A>ar1iItUwwwP6Jih%2|tE9V)AN0uKw_Gag%HHVVQk__?
zaY9rfkOq>#1m8}Ve{3mPX&P~YByQ#Jf+g;cy03~Tpz66Uwl7lWtAq&4SOKqCa=>M5
znp&pu@e^AqFr)1kcfMNECnY(&dtU(=^n#yM>lXfv4!Su!`ofKtwGL6slP8^h;H}_G
zqVSjK^Kj|u*WFq|AD4nN2N821ol009AQeu-_U2g
zv-0i|%O6;&v@UxX^%zAanfG#98>2<$*07(O_WbnoI1s^Y`mS3vwV=Vm{Ufr-IaB@o
z41P*wU_z7R@7$@p`S{BxcyBX!jS`jBBN)iuHO7
z*+gC-Pi4_vtKJj`oTFL(SWXZ*PbF-=Z@&ulc@D3<-f?
z(6jms3KX)6OokrnYDw%!z4sY+@1?5k3*zhRa~&M&^F>?)B_yri3>wG)P4U01$EJMy
zwp!iGrh-)Gdp508!4mkT>1$)drVw**Ns{%`y0K+z<9^4B)eR8jmVT1r6WFF5A2R
zm^udR%BWkStz$<^Urr6A9o5eYF;L=3`%t8fZL{(bgSyd0BTg+frT6dK6xL@XK+SGQ!ivqBfsz6HHrkR6(X8h3U0p5P@t+!e#s4>wm=PXW8!gZmxd
zBRDDaQpJHI>l(VVjRjcTdvzPlX)|Xm}0j1_Ue3%mKi`@(G2$UBzETT8erO
zyt$sMSdEmmN8HrALMvNugTIPyE*pIlV0tF@mYwWY{^ZIup68Ch{}$i(vY8ZFG9&`P
z=lhV5S@Z7h`_!W*ijh{U#7YYAg75Ca5kzOy;o9rD{(T>S(A@6MWC#k5eP7TwQzgjN
zU-|c^&lZE1UyPKUf_4__&{nuD-+yfr!gXVXS%vO0Dcyb~y~lu|JxwSxzF=%3gd+V6
zA+h5L{k18dyD~DA335}-_@}t$Sy5^JpuiZmeumwRo^-f&mlXURi@kx782_Vh+#biC
zAY|JIzoqgXe_MWkW@hC3zp^8)h`TbKI^``3+^vZDk|0v#!7N5zU%fZtN?(IcEXA17c*r4Ypic`T>dG{60T5eiN?lH|M<
zlUlA=C*55~Ly6%5Iu8=uz)t-eBPnHNWoSyzdBRyL7bq!BVF}AB9KC3ouFp(Q-)oQK
zhsmc8vEsN-r4^pQ31OzVLBKE`C^(7}PJyi~4Cp2*oKoT!El%?i+W4crJq*-xbI}d?}1a?BDNF9F{lz|^S*4LL{4aEXu#s%
zXU1>8YgZ!KwE^phw*$pjhH|1AJWQ-2{z47=!0i3>=~D=ly9lripGZ&>GUeY7wkC;-
z5}r7V(1+Fy!V;)qx{c$Xw9BzLK2tA0KjLUkJxCt_)dPriwC=Lw@P;>FeSa6lu6+!m
z6ZF7aVgI
zxDY}-V6k@m2^$53?-0a@x$r=K2M%@ox5SdZne~2A1qc0C-O3h-k_!yFzIMA!h8Txm
z8t(6+ONJ|U{kpi5o_Kha4wiHVaaKRQ+Z@*46wO)Q6*@)vEN|+AVk`&Qh#qb*nt12e
zrY(&+ll*|2qoSRTjSw&AZI63w(EFv1O~*B4ye=LdR1(4JY8Q}a|KuMDUPM_Tg3AFi
zjn2j-loLueE9F3N_!O8FOiZfv%*w4r0H6bWTOihy9>4P&d?1sUCHMg;Lht;`3~i`F
z3-M#h9Rjbav9@Rj&Kg=UTd`U>ZLl<=XzQ>s>E#tL-*
z_vNjn5!ux)*<{IiX9Q4Pyzb83Uh|Z^Q81j%)Yco%7W(vO+O_W$7+2D@e*gSmDijs>
zVLu$iC}4S-2Z!k3XBKvG49g2b{p(Iv(R)_Qpi#B1n%f@u$q5<}UF1kS6nyLBeg&n@
z+;6}kAz8fIosYzJI=ia#S?m+Txd=88V{Kyp-oy*PS7Gljc$FG88$h?@OkdFtSUU&D
z;9%Y)Gvs>71<`Z_J5)qG{cZ!+@damRqagH~N1xXW{C$$e{>cXGo&aNFUD4&IRWzDr
zJ6S?0=>ZO^ykbmmR>`x?`SwDK!C>XYV+7wl#Jzw^SXr9~9~&)1H!)nhhD7~^x6|Ul
z>UALgE&>)jR7m*)4v?`x<*2g)P34toLInHvmGT5!e^U_{qf=-1
zkJBe}{LUVXqG10Ea190O5P(21Hn36&dc+SE5zhX;8FF1#`Q?K8CD1`MmyB7dIJN1a`iUDq;h(*(9=+l@k(`1o1l;qRsUYpvFx
zBVuHkg(N5U+n{)vT*lHt>bU+;A*aiF`yD>B4GJ(dhGrveRyrX#J;AWC
zQ%Qy@&61g1>`!+{zy>>mvM%YVIykq#Uj_=Xfh`a19Cet>LCJbfAf3sCVUHDaxds*g
z+&og!^wnV!)6qMCQF^dw0Re_pgI^yw09A?^ERg*MiVO;NEpzipcy&#;D4nJ3j#QDP
zJq>vgYS7cw3b!cyhVy`K-1pFAVGcw6)*Uxn3FJ}2sJLdgXhJD%N
zaN<)yvE?gDE`0{zueuL!iybc*Op?S_v^4}ESEr*VcbCdLVdE2oVa`ts$gLi&-?1Z6JRCePtWv4K3^=Ap+q
zT0yrS>(&nnQ^N%N13V3mZ}TEr4`mKM<9)&*L#JHBa_knMQO{QXZ~)pWHCj<>I{aM#
z{&gXS6Mpc^BNs@SBSx76n)JcNj{fCz%e!VHd4WUVOaZT-1W}Kho7)$SToC34u;~1C
zK|p*BnDUfZ!1D|$lUZP*z-Q3_BF+WvXvoF7c;5D+Cs4k?WnKjWjsUOrSh{WT
zCH_F0T>X4`zgNha$vSWYeZa4{(4FI&z>wX0o-eUJ%#-ZX(1r01x
z0ka+*VzW$}*7grF6k=81hd|R;t6NJ_b-p?v1k!^|264~-(zk=XiH5W}exEZ~thtqy
zi)nXSP|nq+@J1pNv_&xn)_(uQ&!xtll9ExgW-x<7V~ILT#rFe$fz?b
zdv`d^=9!?jTfyLaAWC=F%O~*i3(4`~w;3VJx7ZD>Ly*Fdd(7FL}cu
zW?i{s&QMe1GznqPS2uGSp)-J1wpFVP*61&YqOCSudl9m
zRzqc)p%|NH(A1er2YM&;aB14H$)%An_uaKLmu#m4yYdEuYfeiEPb*#78`k&qz*t8Z
z&|t8KYHse@I^6l&mu}RYva`GS!EIZW4R)cAANzYouwxJR_6JcY$$Y~WmZLYNoG(P`
zNa2oih~cgrD07gA7wk;EA1<<8SfF``ReqhQ(|x0TRn$PSJN`U_gg%_e4J
z>}%o*W6F;K+~5UeiOs6PNw}`2Ip3C6$u1e89+bSmHOA
z?&uCnB1YIwNFnNdrg}~b?(GW~`3&8W+}(>E>t5e=i^I!7&qBCrIGhoa$n#tm5k^sg
z1L=AtoR%-`+sQu!jbB@AL6~+)N;l0qu-{W1iQ(uZI~Au6&@I68e3;%6urWIhw)k)y
z(fVA03nt+W6}o667XTJw1+B^9ArgmG^-9{$YT!8i!-MJpjwb8jw{YqX67V+$n2Kj<
z<2LqB1M?}d^M@9W)v7@!BirG84~soV+h!1Okq;JIN`jv|6&#e!RR_oiPW_Vm;m}xs
z69eRJWw`~IpJY#jg_
zX9^`(Xy!>dJ4YD)-M9fY<$^sD
zd;@md3BmuXLL`j+mI_E{qByaySv90^C)O@sDUKN}#k_{dgnXBMNJVYGNrajI&1QZHXF)?4cy}judUz>uv=Chig
z&EY;dplxs*A~Bai{n=61EF#Y8#Z$KdA2S^(;|BB%SAN{N;}pYLC83Zj(+gTc9%Gi{`xB+kXD2jch_
ze5$c-xW^9*T>rqjAm$;Q*XD*RK5+tN)l~LGQRI&RPKr#8T*02oU}--OrDB_dYWG7P
z>hR4mNh(}#+WF?ghtY^zy&)AYyp7(qNe+7Mt0aJrr%L&R0jmW7OE+e=E8HFvx3Qjs
zeXbQLM)e=iw6Ighk5|Zdr4RvX-2*(pR-x!yF{Yc?LYxfat1K#~D5iW4rX@?qg5m4q@
zs3=$2->m;*zgE~ob<`Cr{_N>VhL^5(*NO^=KdywxCEfV<1EKT1D4-vZV-w>Zx$nfx
z{{8RQA`U}l49`r&+f@v0*;uAs
z{;qwxWO%!uOxSrv2qz_!kRZtFZAm=ml!#UQTCc#AkWZO7ad`BtO{pe6;^sLKU!rh{rxlAe9RQHfPpu5srsi8Y$
zQu+b~#P*z7*0$)YjjO^qoa55}ln1z`Y$2yH7=_4NNuP_svCaZj1ptM+r_$w>m!1C3
zlHyEba;G7xCd1$!8KeWh4+@)`?$q<_PH#;gGR6$$f>>t-U}Mh8u{r!L^Sl8Lr7M5B
z6*$+oL}!eDeNCiS&*Fa)pCnEQIyD+*<$WoTGVJddo`blqnz3r`k@7t|;2$Nh?o`WF
zdrXIifp8Xxd|6|)=&R?;qqK!qm^v>a-lf=X*cNVr993q0Mi+Ezw1C*x=NZac?7_Kw
zjG!$@H|>er*%O3wI-8*?f+K!BsQB0Zv_vX2|J>hS{|tmUL%YS?96fM-wv)$9M~4Fh
zM?Zm>h7clU3G`Pdgf|u`f5h>(&UU4O9Nz_m2(m~0qUrA@Z*W~Rp|Iw;y)%CFeHjb;
zn;6tP$f#s?!@#*~JAYmC?a(tuYB5VrUx8TB0hid%{O9X02G^$TO|*dO*D0&0$;$1k
zg}Y7m5J>`^tNnA3v{jEu`)wJ)^@1aA8kzk0C+H1>wM!TXzS~~+!d>IYkY9$9d3TZd
z837ATLzJG@0Wa$jtY`53+qVah^zbfsnHn~H0^n1mq@@9Eh{*we2^wsHmw>2`X}@3a
z&1rF<>CGv-owZg6#K!WN&&%ms;BQiZqq1(9_p!mr3~F;N`gxj&feIJeaOTcTrTC8R
zLI4=9frHKed8+^%BTQk|w_yMoPY|;M6G&NKU!^4~2W*hkVAW&-63Dp5OT}d_-3-WA
zIMGGhVozRC(Fk56K&ht3vWp)`?%Qw)TD{@5o8bX7<~=E?W7lQ3i2pye0%XAQdU-qD
zD0dz!FkuY}QU(VA=M&Uk;)3m@MBPXw3&hAzFXWb_o3{bKk1ZFXuZL|ihU=L?O-(t3
zX?0zPtjNJOFmpia06!q?H{q}WI2uM}6;r~B0Kw{sXU{Z1n?YpWzw}Wy_%%F%!L3+@
zETnPz5e9eGVL=_jd@DbxrqV&sC*p(6xB--dzB=Wg;>HZD5-u&>yQ!8@f#H{|rif`b
zhPA<>QzixnAbv1b;>7VoP%4juGJ~E)B~>POVoCQ6z=NZLS>b9F2?+_H9!+_iMargK
zjBCUkmq(>wPyn85Y`AgxUVubr$Tj+hrTNT2D*etK6B=9vKS0bvf87!B+ZLgY1&sxS
zZh<6y>0P|`9S~X9f#3nWEspSr2<{X4K|UjFNI(d}LZOB@w^yAyfqsu6UK_}IA$yjA
zt)U=VYB2X)3knL_#)J=*DhGqAWwlo$9)c7^;Aby!Jbm91nPoTsJFieQv*!$FM4Id7
z(CzL^nXvQ$30_9v6bKfMI6V<`SaANWh)%H4O}bMwhh@F-XvEJGfHyOJR9@5<4}
z8lfsGUqN6CD{L}|#o^MqB5==kzOd;K+`rrp@`T1-e!a4n
z>3vw>inonAqdNnET^yKMNB>g>pw`ixh#zA}zclmxLckoop)nosPk{9V3W%_I+Nj?h
z4z90&T82ishBrsdkCD~Y)PzkG
z|J|epOYAlX0_Y0{UjtbP@w*xTS%DU=+NAxbq&Nt>l8{x$%N;FoA=n>2V4U4D#b4bN
zKfo-8am+1IXm10x3VHzGJrRl-5uC(oqDgzJ|51Qokql2=1@uAxFSef-BwQ|kUP)ww
z1_StB^D7eW7r>)x*dCV-M``Sbj`TKv!oOpm!L#_Ww~T}!uj>#%W9P9ujYYm@Hc`I(
z<M`3IZ^d0=3Us&(ze5>u42b&@X`Q40Ic~duwRV
zxylrN3Y0}O!fO{p?3oP*^IgdH?J}_aqX$0fPks{6U}-hg3IlB7t!5r`rAeK;^RPwd
z(?V_F*_R5x#!raUXPCeFU@=$msJZL`i~7me_Tz#2H9s8Eousdvcyf5B<@M#~#k|kc
zlkCc<1B~3FP(ks@ofwxf^uCY{M-}?j=z3H{#9bvNOVH&CSdH!r&m9Kk&2%QyJ1w34
z34)R9$(<@fYL9#K;lOjV_wV1sksZkT=5X26LVI0EG})UakD7bPaw#P>^@gjfM1X}O
z%i69xoUE&Mmdr%f+v@9ubBG_j&-%ZT!J+qSP>f7=s9Em#vbs;D
zsHG*ntJi@Kj=E=}qUw_cE7vSW{PM^Mb4qr$7zKwrw{pVHEvvCAa(4D*858uVX64`Z
z7gmS*_JR5NYnny#fmg1~CjZ__k60(86`_0lxHYA+Qdmoy`g(YC{disSd*Kp>FIjp4
zuuc4g{fZ&F^`1t5S64r3h_oI~Z;??`dsSE>*a%0#q@)-$e@CSxr4<)TKysepbW3lZ
zv+Z;}^Lt47aI;-C(BtFpZT$5s`C><*9lELsy`JY_ZV6}p-F4W^>gsd6x-`})1ITRJ
zs9QcytRg&9)3c<97epN^F2)O1lY{Ou2wsd0We(ICo0S3VYB7s50tkKO@Ajs8YYzACrs1nkA%f6=<`?n~zkk_Q@eN~n9b#RR=1A)B*f_CqV6Zkm!5mj<@$8r$d;B;8
z5u$h-fk42KqyOuFw%J`pc+RP^)c>+33lJx26A7j#ck^03brPXJ|D2&EO6KVjE!!3&
z*Fr=`fb&N_1_rf7)g(FisvZM{^2Bbg%e%&e|KV%@^N;=i_J6a}2H+|i!du1RR2uB9
ztt&syHcuaV%=5!=h-Jzv==mQWb_R%_;Hslw(_DLmHaYDh^~~Rx0D+hh+WwE@_J4UR
bhXicF7Mf4rtuVphBktc*zWY^5-|K$>DYk+_
literal 0
HcmV?d00001
diff --git a/articles/images/excp-impl/mermaid-riscv-kvm-excp-impl-2.png b/articles/images/excp-impl/mermaid-riscv-kvm-excp-impl-2.png
new file mode 100644
index 0000000000000000000000000000000000000000..260b6e18267f8a8dd7809f52ce8c2fcc1b1933d6
GIT binary patch
literal 29685
zcmZVmWn5I<_dgCJDTq=c(jeW^(g*^AG)RZijpWd%w3M{8h?EG3NVk+oDc#*E-SA&?
z{XXCO$^F21!OS_c&t7}2^^P@Rs>*V=ama8`P*85mKYgN(f`Wz*|NnUt6aF4sp??DZ
z+;CBslR_!(rC38jp+S*<@>tU&ZF34?@O+87X}6Ek?mb5+djjnPY|ba#h^WDJ?Ocn*
zYIT?R>`A(=prv18-+B0*mO~X>%u@6X@~iMwrOlW(cy@O178y~ao|LQ}UwZA%Pp@R`
zr|k$aPwx0O^ts&CE7A(bm%2$Ch%Y6Ip3{K#zyHTm#!CM8!<)2JDfIvQVQ5J1FaqVj
z7n`e@%v<}0(6pMC{rLJ;!TjRs`BPNnMQ-j=Q-}#;3sz#D-H{Hx-fWN5&@8#aPE5>*
z{*n2=3thhn3S!I1C_1DJ#=q7zGTQbZS6Tl5-A*rt;AZ49<4Ru%%Hq*~clJnR`FFS#
zu5O*bBN^zCbvI6u{*$UzzIslw_&fpf<9IMLsT9)+3O*wY4dHWH#`Ey39?0$Kk}*o<
zG3U0Q5Xkj9^tYW`>DGOdnMo2!HsrZ!ir5f{CFK>*w(KkYsxP=vdXDx~QPJXO;AwXX
z|0m5eHhY9|W4Z|5pU?6i8>CtJ+j`$TeE6`fwe`rlsNNw!e@x}t+|%Gg6D;L1xLCmIK?wPsq%qATb@@$|L?)>+P#as
z4C#}|jMgi9z{{KJv~Xr(Z!bU7kZEdZDYMY-=6SlL7eTszdu@%3oulV;uj?^Nny_1j
zvEON&|5bG-Q)Zo9049I6Coi_`hV$nm4o%6H?L8sgYm9Yw2cb-{$^YL
zJ1+TMVSj!TPok?oXJhs6f|8*`SXifw2_G*n$Cf{*N}%GWd&sb0mY$y{Tph@x+h2~%
zkq*(mdHeEqff{c>-%CXR_H4B|ZZ+j%S$sR@Z3W8S~-{_?!>o81^mcdB5bvEP{V
zK9NIgd-vneXC=iW#2H
zhd(y6T=}S8a9`qzE-jt%kryB8>oQ9&wOV&K14Fh~%iS_4?pwl7!tXt9%V<={SzI3?
zk02k3PUa0M^Sg9cSMR4<8{Zjo3HATrOwmzWV<%@JFRh8P-FkCe8)Y;h?r~GhJC|JKz
zo$9;_o-8gIU$SBC9UklcPaWGOO-Eb)`Jv)}>B@bJ=8C8d@2
zNOU{!n12
z-hgz7^4|vEIQ5-lKZU|#?VGd*FON2F?hwX3M%k$Vb+=8MC@)qAKKk3alze$nt+d
z`}4z^1`Sj30dqcPLj%=)a`FU^tLkdcpffe*yUcgrnHY0Ly?JxPv2p61a{BmP&#mPi
z`iKbJDmOM_EUen|qd0%%whmY{B>ap`2t3C|!|0e8+T7fB#pFHg^P?c5dlexYBMYSb
z>(V^DWjC=;@8zh=OTNaV_P?M)As5`9UHyAgU1Q*Mz3}BD;c=Ife=Igbd*&m>0YPW?
zCHy$|SE83T$GTv>_t4Pz+uMVEPM2sD6(f@QtO;Ub)b8KE|Io)nr9CpWWwA4Jc6s@U
zjSX44@NM&f+-eGOpOg_}$KR3UVKpu~4L(HLCGAf0Pt0O`wTjbZccvGxaecy8S2r|^
zH&L4s*hap6|Ni1&Rb284-}S{uYBp_$p`q2@j7vIYWEO_%y@$>u{?~OP56}X&-{(@3BA*V#d
z#fj+^CC>QIJX2QwoBHN?p;k};mWp~oEU)eGV$vhxl}!J6r&r&G>YKTGOB%PEr|KUl
zrJ$QwTK3>cTy$Swjif>P$o^}F`tU_l61&dBD2tx;(wEYH*6&kOi6AqxYBp$Qy%m!V
z@oW0_k``)GmfJ?K%#r8)5WLL(`moB1iq^@=_}k=HA7#Qn686osx5p0TalMa=lU7#d
zOyV+bYilFmf3~t!nO(!=9UM5-)U*rK+sa4p-&%evy74(s{-&6`azoEzCw1A2=0|pR
z>|?dZ_gNF(g_D?`98GZjJ1TDdEFb9dH*VdF$Tsa5re~ZsS?LXc4EwJIPvc}YyZ7R3!x$0#c7H?d`fP(4
zx`D?9n$Aa?IZ~HfGyZ9Ga>~4RI>#o*YK21v)y|PrV$<~WX3P*7bLAr`4}H%b9_>g(
z$;Qe1_&k7|0vjmraiVK@Is_-$YMk%e=$UGcdKjFBg%1DL)xW+c%c;cIrmPCvhluSS%)6CFK0VZVMc=PK%c
zP0jafyx)aN`UYQ0g@VEknj4w>_wymSD;%z8jE?KgEohLI>nXXr3&_h?x|Qd{!;q|W
z>`B4k|5{$-p>qrLt^-7*XQ
zVuR{-5@Ys{wj)QI<8GnK>3Sqz_=7G~u9%b!AXEm_pcFV#X_`@^h=|z!PT<9A>hDL@
z9=T9S{QC8GOk$!_-gbp>aB%Qo{#;L~spYrw@}IrEIOODPy=m306ONUrdmGX>ezx?j
z53?W;CBMpTccTwoAX+~chCDAET3lYf=Us&IMXN{UBaY3h9e0G-w>NK^d22bV@jq?a
z{{1A*p?7g^;j%G&@%PVi&$WG7MFso!Sk-1`f!E>BFcLXA4CZZYY<{*!&a7tOQJy(+
zTq9c2}PFg_VU{eQ5bN(_I!O3>HcXt}OsvRTD-$3KO+8KzwuUm8ALP5EeEVPeh=>7O|ZHhnnxW=1VuW;yI0XIi+
zaJlb!F4WQ{h|T-Le1S1^-r4E}?|k~_AxZ1$VeamR8C2mbMUp)~T}qO0E6+tKEp<9M
z_55z$MYN}3|YUwE9M;&*#P-tg_8uexH;UqnPk=4|6Fvm6tc&nKm`EBry_`FVZq~bZiN_rHyi5(BTf0mbN3r4xwk8?sqc|Mn>7XU0Ij$
z3i~H!X7R;WgtOhr;XYTMS4{M9d|pCX7%bFA3zBlO3~Tg1FVQZ+G;Ke4xivl$7S*7&
zDUL_S!*i|S{TlN&DzZ_9(+k<*+Cl`;QEAcR_|>@a_Ag@$G@1wVsKv#n*=VQyUn{qN
z%rpicK7LoL#Zc`;_hxZ%0&vX6`WyZfMXy6LeG8@zY}(fSe5ZvP8Chxt9;bOpi(U$~
z#b>c0K0Hv0sq!^h$IERMqp3`pji-aRr>;AG24%VK7&&*_Tvw
zcgG@@*U8B&&}*b)6D^l{>;^tK7kvt4E-K2sM&&RvGV+zXI}Ha18e|_yKi}04+%x#l
z3qTVFwHyD|y}(aHHm93qC83ZDX{Bp!obop>wD+`4O<@C&*xS20Pd%P59y*@6HrT9?
zxcG*RKrl^v73LIE=@bt2m)q8cD1Qd<75e>2R{aXy_r=Ah^YeZ!6SYMRCWKO20Pt-}HJe(G~OzwhP{r
zCFkDTj$Toizw_`3X{?mX2COg%PLd-T9r#*5CG^)oGOIS!?II9!j=2q*@5DR<%UPk3|^q3AC)=)R=FkL7A
z^y$r(5WJ3&k)$6#_;Qs}+n0M%t!EnQ8(N6wtN&zoSQ!|w{(<6BSI@R4lJ)=
zjty65whl85O0u$;>B4TGjOxAGj?TNd8vlHG&gSFmd*dN5uj%Nwm-$0BdwY92-(K7(
zEiE;(wA^1WEa|UuGQG!TqzFYvNJyx)we`;@nOnUXVqH1UlI}lxMN?5x;d3-*d2)K{
zbbe$XufPBgbM8-;^yYYZcvaOSOx*jDuC9EImq+9_Ka$;ki5JJ>8)D#EoW$_-a%*1$(i7BICOpEp_QuO*&%s*1SwI0F7Nx%QLD*GRy2Ha
zZ;WTp*u<|qT*EGpwkDFv_-*3S)0K+!4j*|Pp!lBQ($br;%gcwES=e}Nl`HevkH0I@
zA0fC`aYGgQgdGzzv)1jYiTm91&rlNClOwaUiR>pDo-aPSb{v_&z44{bbje*Z<0uF9r999>+*Y$KG~rJ@(Cf{mt^u
zYcY)jQ3Hd?@YZjRGo0?5H|aRHg#$1n9|)fjzI;gzomy3m)+d!rS~GKVZr`&<4pRz@
zbad&6>9xnIs&vIhkuS%8aF33Tsx{Ot1YEyaMV7OhYO=szB>l~nGqtsa__+89acMR7
zodH+~5|@=;1`du$2%cSti`cX@MTjM<={g~7Y;5R-Dq7JW2nZxX5R=&O3JPMq*qN@M
zZ17E$k7JC9iFw@UcbTtW$*GV-NJmF^cDT{;JAqBe@8VHQ@NLtH3j59J`cxnVULCGK
zXH-fFjEuakk*B;gT51aU8+lUGgj@irn)jv&DQ1dOCMdKG7HA;fp2TVR33waeY_91T
z8G{1@(W9uu^geS42_-9~3J{M;aB~y5xVT{AQFXV4lZ^ea9w53NySYmPSP__pV#C_z
za$CVi&WpI^w&!rz^qUG>FQX{N`of6h?h9^1KO-b>wTh@aTfc^_WMX3@B1uwcZ8w5g
zAz)<8t-JD)zQ?W;SyskoSX&{J{r82Poq^qqLJp3K3Uvy+Wtv_w9>>)>d=@JDs+R)52ffgAd)-tpGQ-*Ll(|E-rr5DinJ40&gIf*w}`YV)ExvD}ZcB9|kJxh8(eSYyQ6(T0o
z#F{VJicc5OaDDy=P+VFX#opeJ#igZ~)YNdTTh-Ooh>Vq(q$D|`46PCO=|Z*K#>Xr##=Fn&)ZNd87Y~0vA;~dIqCVqXln&c#*rRz>BY`#p=dVua|nXk$JZ90
zh$u)l`{hi7Av%^I8jwPFZiPFe=;-LoZ*Jm9Ry%8b&dW>qAc=BvQm46ET~2(;9<&D`5{Q!-;sF(Kk;gOM)!@~k?l%GbcxQxY(
z?J`ffPj9H^yc5K_v&oWxj@mRlOhrzvPjfx~IVT5IwcO@v=Mf1BVt&3j!NXpm=89qW
z;GlZHcALV)A`cIbyh>ly
zzK*n4O>hLRQr1z(ODn6_fB|#V@0}T)l+O3M3>iiz$c)D;=srKoNg_);Nzp569~_Kl
z(a61PBjNGyMb-*NT!#PkB?5&}IqfNwIBLI>mtnrOH8q3;1dm_5_*jh022i<7;=He
zZ}c*WLto2k4`F0PrKUFW$esODt1Zp%-1vC(Vx!w~S*l_l3rw>|TlDkuRNFJpZER#q
zx7OB37nko{-}rsFQF?N6QffbO&&a=?2q)<6c=?9Q!Kxn=A(=+MOw^$3>#5p*%>fE0
zI9C$)9&&RdDY4MdN6kPC{VZv8Slp_d;X1gkmVEV!_v*@95J@Oo{yfR)+{zS%5
zI-BJpcjnhGd~a`C3X08dm6h#(|K8!{)nMo7dimmG!$ucMxn7W7QNNfVU-vbSfI#c$
z=uK#1fu{QQ?cu;ca^wBjScR*2U<2l6XPY|Xn0EK~P5Uy$;9$*eZgxXY@vEzgj)5Tv
zip|s-8@61>#rRmd2;$xunrF#ykv{K>CKQ|Dukw*({7;`fTi7URWPJD#pNoqNItO{^
z1)i#?FhRfijyT*;T`w(F(2~+^HW46?tj6Db8;@
zoUL8*7?brB?Fu%vKe#Z<@d=1{V=GhCB#o=
z-B`7c=6?p2S@Dqp$4b>SSa2&}BkzX9+Qj6FmT_5FyJVV%m-p7|y(RlsZbh%l%IF#zGODVd
zL(0RsbxWhWN2&DN!h^oi;IDk
zm4ZNkwMUZkx~*&eY-zC`%qJjb(=uy&N8EN~YiimOh)wiC1i=YS$%mAberRxwd=H;P
z_cS**7eOHeZ3{&WV#jaBIkXn~*;0!hvSOq9cje{f#hdxBb8;A_YTQh_KX3zqIk&tV
zTwgE7!omVN1|D=Rz~7wC2H?SFGxuxtUo|&3UjSCXB^QW*(xBGh)pR->BwI9wUz5wAR
ze(~xTU3y2$w;w-%q`DD7F?QX%^M!SELIjv_TSg@^fQwjGlT{4FY&G9~P9H!vY>#Kj
z9&PXinNqxOafd7DC?h{MjxH?x{I=sx#o0UgP?C0JJB8qU=d!{%b?TQ)F1Xhv3se>q
z+t#6SR8CG}fWl2cN5LVzPevwM<)XGs&p;ZNaA=id0L{YYXlVenoS#&gk=SCPBf6uv
zcN<&g^p(1X#
z>IGF^hpd@Cd)PMRDG-_)VxIU?cMmU*;|`rC1F(*P$w_&z1!X(ydEtn{p-xuTjLZ69
z>4Po9nuDJc6P23LhkSh-e!0q&(t3J-Wmsh+Q{Kh=-9JYd$kGIQNPWsK**~6{ySPL=
zl8Z`%CY}hSO`sOxt(06P7dyqp#Ac|aC^TFuH{vfvBqYM`z7x#|NVN&~j?WKW9!qq(?f*o+*R&o&jKV>Sd9+G6;Iuw=Yc$hqfnWMc?;
zKC~8)W~=|_Asf&mV;$n>7CWEb#li6NGy35;6WG+0^zZQS{a*|uG8febJUmZe*g(;h
zt0Z#s)_HiUU|hbzSTei{PQz`uPeS!ABwF_)ja=OJo*wy`
zIc&JRGIMLw0BeHCU6wdCb
z09)abe|TOk*@*}znb$=E^~I8pkoT4S&aBx$ZU!QCKGjiHBRg0SNB3OqKh{Bx@aC>m
zc=)pyLtl!ZN5=xjd2M8eGKK#ZG%#x-e8}e#Y8gw9KOf|}XGYJaW%m*U9pL6ebjxJb
zvx6%eS_uDJ<}y4Hqx=7z0H@c)Y!$Cgo!OCEY^HxkctAi=gY7*gg{)}Hmvy(*ZLUw
z>v?Xd@EOm%kEu+rE}plxxBo5Butg&3prGXceIDk0`9#jxvOQu)$cyhSFh~D-1heU#{^MahP~m;%dNww~;rD{RyKn6vqeLln*~Hp9
zYv&t04B%k&V%Z$8sF9?sx0`@Eb;3CM632u`Q_amM{Y^T*1(z;CuZ-_*!^zKqR
zN!B#9KuA82r+Jc0Ki
z&&Ddb()=!k2ePD}-Ngy|znz_foy}l@)b6%XfmDXyzP0)GvPDowziW>I%O9;st6=A0
zE7~LPWwp|G4cYiA1Jm^))_*>BO53NVr2PE&cuJ?nb;^_)@#}pCESPxdx9-)72bDna
zj~|+{kz`HX$z4}2b?^YfVb7DD*3{WeJ9?Lgi!`OAg4Obr-F!n1xYOCqVY=D~U#t|k6K7RRIBgKYSzZ^%OwP+i2u=FRse-%e5@>4;K
zikH_#o+=PO2p+|Oa(1U#^V^}Xy8GnmB9&Q)ol0&{YY{qqchO8SmWQ2{GR*ZjCL6ML
zm|GWw-Pzx=X&28eEy=F*mVikjov>2O;}zFRU*=pFR|v1wALd}Z9VAu(jHz4eE>vdW
z8&X}30a^uFBx3-OS46L+Lyn+zwvdfV!)^L*?owKb_-H>-`HsT0`EAK7r-IhPk}JH|
zj{|DBT~|GjH7lNFU$@#BJ2{z*(m)$-<8+`*Q}-PdqpdVVLo
z+?;6)0cHN4v@|rRiU4(gqm{_p*x*3Me)0E{s`y#{t=r@ROaezZ+9k5QJ|{_|cA*
z4EUA8#&F5Z@qK<FLvU9+^3($;-*Ll$_S4sbMdHL;-J6rXRUu9TcIXPLb{@F#x
z6fo<{*n+b61~hGWP16tSTX4lES*nCYME|uTCap=pPrTYSS)`+aWBN6g;AR#H$h;Ok
zdcDXj{`$sFKSaK72z}rQ9$$*$_cE7Xy}h)+32biKO)Yq5t~e(7j@V+HFWvP@OHF;|
z;6Mdu*s5I5*=4^Guvkn|UVWh$Nl~K6)^&r{zp4}ay+1b91H}wnC5y3TZ=cMMmh!sV
z3&qt`O&;s%=#I@U9?T}pYqApGCgU@|zMAszJVo|BIXTZuC(h1>X&4!CB4v>T%*{Iv
zT4t$Vo?lXVbfX>}-RVv_WUwi}0lch-w}e+geu&(26zHm|ofd?9dmZTMCtvI>stuOR
ze6Z*lf1jQnSyUt@AW(qsemNu+I-Evs~rpI7@&T7*x<-gRya)c
z$WhlzcSIFYds`3JiDF=5%jVpji!-%L3&=4~gf!jvFp@Fu#}C~80e&PokeKK
zCW*Ha6`=`kg4P?Xs}N3IN4PN!K7##6kAXlJ+i8&6@X(zI^zAuJ6^B9&RLg
z=gu8m
zibwBD8qPprB}Y-t6z`dD3s2@Y#ROiJ-LNJeAPpbc?Q)x;PvFG>Qa0fh$)2rO+4t|?
zesmi%I(5b}xUThMn3^s~g+VT;13Q+I=kXK*TsPVtJN3t|B|*W#-<=j@hfA)r274=i
zOxAe@0CWaYXv|>CrYo@=6p%mV8zIp@W-4cTn>#w9KYo%`(#qKVY*fr}*_ke7PBSCj9#?|U3#R)9IE0*-fNKvyf!IPO?ixw*TkVO2gZ
zh4HboGp4oeGPn|<@7qS7L5GojN55h*TG(~{;3WGFqN_{eo6~|CP&yreSivw97!tC-
z-zUNAF!`v$ZtUm(#1iNN0LBg!YI6a%&<@H+>%X}cz($ZIL%14F-U0(YyRmVrDT-1g
zG&J<1|MgYPg4a%WrP07qDRmP
zQS$WsNXcWPNc*9nAlmE*wdSDb(4iBTHm!*Jg@VFw4kPa((}JV(9~UF&^YZfY-OC*q
zwqt%~SLuS6j31JdSE*7{$Vj|^BgwVxauob4Ccw+v{PU;cOx}Ui`d`z#^Ard@K>n19_A7!&^|IPUk~-lU~`
z^zdy{)3ldR1%A%lWHrYl;fkOA{rfRTaR5^ogJ2faO3+`Wa$y&cWK+8cNP8
zA(6ko|Hb9L1i#%>4SxXU?fJc>E+|!`OiWDh95E%mylNb(jEl5*{Vq;AqH;{y-ho_z
zNli`tDLcFL`}YSzLZ?~B+N=r4wiUQFPyv{>#`&|PL$oA!{VAlS8&{g%h@k+YVxsxz
zP}(J}l|S1J6p~uu?S}#a%K+RLI;cs&IO_B&|8g
zRNxSFXE$$6gaRKrR89yA77Mppx`e-QL&Fug!M^#PYq7KcCZML48~QS|Hh$RhVB`m4
zCtA1a--Za0Z&{V|5+MjUOb;JcJp~so7WY}97v6Epy}r*m&l-K^JF5IHS&0~NvyAGK
z+&WvD1H8w+n=8fGZ;Uuf6>61;?S7!SKJF~g=y>-7vDSaf(Qzh^FaZCP9q6p_HItJD
ziR`*vAXzK!OgrvRdv9f~j?X|dWwz3r4n26dUb&50rGp_*dDx38ew(0;h2P_Nz`_y+
zr$DOGxYA+jzK}D$k&zKPI{Lr8E-q7h`^(IQKQ`s)SXgDYBb+`yKHw;oz`k>bk(E`U
zGE&y%n11M@vj8I+(%xU2@*3={zkf%PMGy?O!xz8xxl~Z!MM+*8+GTntF?H1aV
zI);ZcKo~4_T3{7+^~f9@WeW^s|Jm9a4-UIuZ!rp;+}(3*M=F4-gZvj>e~;JFulZL@
zoReEotBM4N=|cPSy4`jW(2!pKjz5Ju!R@*C6sb7PwVWf#77qOi%c&Y-3h@g;g`C*<
zczsCdnFj~1;urtyQPIf1Tm8ia!ZsY_M635K=_+Raj65OWkl^`lGs!)OPiWU`h
zefoGMN0qtSog>(DUn>^ctt8H({}%&%Y;3oJ9{B&7f2D(D@%
z&OeQ;3S=8v>3}9C6Tbu8^9uYKvBd?0!DGUkYF~pI8(Uu381-bLU+zGj^;$NN}
zn$EX|d3bolyE3B~7HGb~CSrVHo7$-P5@J&au2b)IIKR_)%}7rl2z+>q{lpQs`R_rj
zjAxHgohkv^g44TTbjx<=OGjR&-_vZ_5(pO#AkkUeJ%3@|PC=?`DSXy#U0i~BCT;%D
zxOsSat6f=QSu|vCyiZ8TN&RPSY8nzG<7W@{dxqZLQ;EI{2GW6dN;Kcg%7F50f|G>;
z2kNVCoCMZqA5S?u`+a}R1U7F1B9~+kp#C&mPN3ACT9DBAXS~fc_9L{iu~7)Z>4o$Z
z18f}yWxDI7h1qAP-FYF%ARJ+B8`P(jeTs2!;UCqL8+n}2-;o?Gcap?=w1t(AJ{>_#`
zCS5LRbbn~|=e#?4-xP8tRJjbKurb?2#i)4ycheg>H(&4*AW2DVUCsQRgM$O9u7}g9
zqm#V8UsTWQONb*Rr|Q$puLMq?*-qEigQUl^rkSOB_g&VDLvrYSL1`it5%@gnvAr^F
z&bYtQdAB|nk=fE%dJ8BFF2-u2at}Lb5OK-x{p?Pj;Wht_FB`FXIT(xe%b3#oaDAvo
z&ZC-P~1326hf~P!o~$kIK=}SUK%i
zU?CDq@%k#5QYH*oSg+#J(hQcnb(_b_8+l(y
zk^seVs{BPo-6-Sj$;o_ISO!D1H(j-yZu_CGAr%ile-Ka;rLJqjz9D;0KGR$5_XQOW
z+Hx!@^<^9TtG-WSLTGW?;{+wb^lhPS
z5Z31IBJ*9n?j9E^>&zcNTt9s(CLlk@D=obS3vzf-5pi$tohoqQo3wRsnbsufrJv76
zDm-@Tk``y_`}sYN0YZNv)sd0J8UgAwxI(-_pT@ftO%I?(AJxhNE2j;toE)G4YQ@Zk
zh{|cNpsUN;k6IhYL_$HR-Q83doqk|wo2b}Yh?cloUhLclpEtq%6T-s{EPM)s{fz#?
zYjO3Dj%^%xr=LaFzsCX2RIxv3o}PXKvpisoVu0YQvx01fCj$i1#R<}r{w|qUPPO)^
z%wHqRcEkbt6~79{8M!B|GBDUjCahkZvVqY49>y^UNlAke5-`AwXx{W1QJ|3rJmCMMPLYh}aXHL}fEh{z*v_sH
z>W0fFJIt5HhK*DzI-^uSe_k!_Efs?I{_kgb!{FN+QH}mX=f&;xPppNV<|#rrDLy-!
zlZc8Mz-Yzio&QX4>Hy!E6JhdV^=}y%8qXCI*{5m}epcA~6Wu#v>WI#40ntM#6_dx$
z$KS_y$Dgk1`|42-1!wR~KjQwpIM0By8f!w@BZAJe!wKle(VD;)Ohr`;4o8g~1wWHr
zdd78Rwo?Ia?^CE{xtTmXyW{Paz@W=c7;pf_HwO&9@JSyJed#-9s=sZ7_Vf>2_{Igf
z*Pnqi7nJ!0qUu+)DYr;IAqn=0%4e(#X_pyp5-2qYUd>~aq)z;nZ{d1`hu+hNJ>hvcOS88
zyXQidP7%00Se}!c>vFVd-kaGdWwvMzgF(Mw2nxB-$w|#5MWka?mJ|2(?E??w2$Yc-
z+>_Hd${bkMcrM56k=PtK)ZnOXg_{A1OY!WP%lHq^gs|9W#IQ)T@(mI
zNi^Nv?*JtY^-WAMRUjS=w;AiZ&>N3c*i(Z|ok{e99b_Yb|07^I#0Kk)3jaOY--IA6
z!SsyE<=J&_5i|1})~Boj4i^Dz+KJgiHb@O`WF)|5NHkxI!~cgAqb;n=gCbV4?zO|@
z)5SOy#<+~)mrK9#VLnT=+|;<{ZWkm;Fwli`ceBGTf$?Q`@XMhc2NBy7U3CL&O<==#
zEjbAYoMJ*lZv_Si6OfaKKoNmG1ym=;v^+_fR
zY@l9VhwGAk8IEGRrqDQ*dL44XrlrEl^nT>`%{EVYtTB`@`PqR%c6m7$w6rHLW}nqm
zEH2&!cUs9aR`<kyAgA>YqF@Fq^I`Rrz7S
z46G@o$Q@*8PzX7b2?{cK9r=Wh7}>IB-$0D~lQ#NyQ}CBq4c>&eBzf_+$328^S8
zhj#$6Xku>e#FYFGwhIlczhGS+F+G65KX^;&=z_uK)Bq$&=?7vq_Fj#^Lb_*G(2QW$Cys3juOFI*rnD{0#lHtY;
z@xfxlbhsnD_>iI=wyPg`zx8mgd%(j`<5G^N!%#z#%?xyicH=+d%5DAW7?-Kn2Mc=R
zSpvW_P%&BgIFuw18fJ&Vxd6Or8ZNGAWSWG|2(l2n?)O9(S%m>R7^_r}l;pP=J^-2U
z_xJfYFw;B5N{U*>#yWr*g#^Yf`sUj*iSTDNYf2*Aqf>Lz#hobxpD1SGGN9z;_`&W@Je1lBDbw#3xVF0j%6xy?wi^4566$%$qn
z9w-H$B4W_zg`AhW8N^S`aA34Xr`lQg&Yg$*N4zwY{qLY$DU~)-vWBB%x
zg{D;KxicKrwl+2Gqr23Zzp|wBK>552(A~5*jTlMvC}hB+h|0@LWv6BX)AS>GnhYYO
zFgo9Q%4e;fgiVC`!piEO&Se|K1x$013tl}2O%E#B-fqXv+>UX1{DXT?&mrks4J?~O
zvLyXwyj4Jx1&$gvUdt;muPqOLU6W21_CxLy>vMwxigMT_Z+TR;_NB!|Lc;IJNvaor
zJ{AKtc~p8P0>>JO)IkPmhQX>klzN~guqEH+2xNAHzyo~q!F`Ji?esWG$mfwn763yu
zhz1i=Q~9YHKXlCDkHAtu`T6TI2w_hDhPef{XTOt4BQ&hK_h-<;^}bIC5X{IT1}TY%
z*ewBEIpF=Lfus=E86_2(*FH9O!xE%q|9Vmsn8HG)87#aEv$KPX=NXfeX|C8Za2U9G
zdH=h^?tBdTrwG=_(>w6e)3v+{5gA*)WH5vBGAf8!kqjhFXy8A?z!e-3
zLINkXBvr6arq_vb41IY{`|uwFOm}9>Mt<4L3PJh~VkP4rW9(Cs34Co!GWNUpwNF`L
zKhZH>eu{YK4&w+QwRtW?T0r9^mK6%~P`d#5FD~l-?eBlG?5q4^#UtdtiHmh7?L}V(
z9nivez;^`(6vF#D0Z5tt-z%9c)m0H!NZH#@QPqNhSOaHBCCpr;zd@T>nnFy79W-=y
zvV1i>Cx<{;XpejXO65b-_E%7qepBnvK1qfUeWLna;_>4v$*Y|z80B=HZNiq4_BUVd
zriKw9ZK-*4}6tb+s97X_>jV6Nvr+7|o$fxE1;tE;82FMM`Z4~i65
zP73(?@6#*Lyg2(mFTfjSG@NA-P-@!0JRc}fZN6%lu(Yt)-6-)VAR}w9c2V>2s@Wa0
z6kD3UEfq=<40Z>oRY;FL=v6SW-DB)e`Esge2KZGBclTj*tdY-tmniE)g>MQ9c74x*
zWFRTCh@8LPn({QzT)KiUAF$gz=L~=S?se79t?d+dCC4fEjYNy;CFh~;qBe)+A)c~9
zz9Puhg){Y)Uw_oROu1ET&G_~$4eEo5Z!HhIcB0=9n5ojEC+(acri`R{_6qgwr|}A>
z?RaLah|bLsdO%NxjxSiXzCdZ@=h;q-_BtYhUHtmOyWvVWI5t*278}I$e;Rqda3N`4~49Z81yqn;-R%rAy{MsuPlU`(gbup66Z%cuO
z>1x}5c8j((QuZZJvf>cYk8yM!UIaeX^tV&=y)q?=(Jb`O#+R8nBO5~Q>{R~#nS~X?
zC~0Ee8Fh71KE7hRyStLv)ui*%bS>>~aY1kA3jw9Z#55ZAOzmh>NWsG5j<`70!S+-q
zPy76C2T5#fEavNw5M+u-SIfo}aOuHlilL+alhtCtN0w*7A|c>@quxu&F7bPi74Git
z#J_#=utM8W{;iQ!?GHIJvx{p|sm0ro>4)|O=jlc3_4bx}Mja^z)FBPeI?VdzQD_6L
z?j0Su