From adcf3636f2e8e19f11839cf3d0a75e7c879005c9 Mon Sep 17 00:00:00 2001 From: unknown <985400330@qq.com> Date: Thu, 1 Sep 2022 23:32:34 +0800 Subject: [PATCH] add 20220827-missing-features-tools-for-riscv.md --- ...220827-missing-features-tools-for-riscv.md | 337 ++++++++++++++++++ .../image-20220822235007653.png | Bin 0 -> 24987 bytes 2 files changed, 337 insertions(+) create mode 100644 articles/20220827-missing-features-tools-for-riscv.md create mode 100644 articles/images/missing-features-tools-for-riscv/image-20220822235007653.png diff --git a/articles/20220827-missing-features-tools-for-riscv.md b/articles/20220827-missing-features-tools-for-riscv.md new file mode 100644 index 0000000..0249398 --- /dev/null +++ b/articles/20220827-missing-features-tools-for-riscv.md @@ -0,0 +1,337 @@ +> Author: 牛工 - 通天塔 985400330@qq.com
+> Date: 2022/08/28
+> Revisor: Falcon ; iOSDevLog
+> Project: [RISC-V Linux 内核剖析](https://gitee.com/tinylab/riscv-linux)
+> Proposal: [Missing Features/Tools for RISC-V](https://gitee.com/tinylab/riscv-linux/issues/I5L9H0)
+> Sponsor: PLCT Lab, ISCAS + +# RISC-V 缺失的 Linux 内核功能 + +## 前言 + +RISC-V 架构下还是存在非常多的功能需要大家填坑，很多的功能都是优先在 x86、ARM 上进行了实现，有很多的新功能都还几乎没有资料，需要大家一起去建设，以下是我从内核 Documents 上找到的 RISC-V 下的各类 TODO 功能，并做了简单分析，提供了一些资料，希望大家能找到自己感兴趣的方向，早日向社区提交自己的补丁！ + +## KMSAN (Kernel Feature) + +- 功能： + + > KernelMemorySanitizer (KMSAN) is a detector of errors related to uses of uninitialized memory. It relies on compile-time Clang instrumentation (similar to MSan in the userspace) and tracks the state of every bit of kernel memory, being able to report an error if uninitialized value is used in a condition, dereferenced, or escapes to userspace, USB or DMA. + + KernelMemorySanitizer (KMSAN) 是一个用于检测 **使用未初始化内存** 的错误检测器。它依赖于编译时的 Clang 工具（类似于用户空间中的 MSan），并跟踪内核内存每一比特的状态，如果在条件中使用了未初始化的值、解引用或转义到用户空间、USB 或 DMA 时，能够报告错误。 + + > KMSAN has reported more than 300 bugs in the past few years, most of them with the help of syzkaller. Such bugs keep getting introduced into the kernel despite new compiler warnings and other analyses (the 5.16 cycle already resulted in several KMSAN-reported bugs). Mitigations like total stack and heap initialization are unfortunately very far from being deployable. + + KMSAN 在过去几年中报告了 300 多个错误，其中大部分是在 syzkaller 的帮助下发生的。尽管有新的编译器警告和其他分析（5.16 周期已经导致了几个 kmsan 报告的错误），但这样的错误仍然被引入内核。不幸的是，像全部的堆栈初始化检测这样的缓解措施离部署还很远。 + + > The proposed patchset contains KMSAN runtime implementation together with small changes to other subsystems needed to make KMSAN work. + + 申请合入的补丁集包含 KMSAN 运行时的实现，以及使 KMSAN 工作所需的其他子系统的小更改。 + +- 状态 + + - 社区刚提交 [v4 patchset for x86][004] + - 其他架构都还没有 + +- 资料 + + - [v4: Add KernelMemorySanitizer infrastructure][004] + - [邮件列表最新动态][005] + +## optprobes(Kernel Feature) + +- 功能： + + > If your kernel is built with CONFIG_OPTPROBES=y (currently this flag is automatically set ‘y’ on x86/x86-64, non-preemptive kernel) and the “debug.kprobes_optimization” kernel parameter is set to 1 (see sysctl(8)), Kprobes tries to reduce probe-hit overhead by using a jump instruction instead of a breakpoint instruction at each probepoint. + + 如果您的内核是使用 CONFIG_OPTPROBES=y（当前该标志在 x86/x86-64 非抢占内核上自动设置为' y '）和内核参数 kprobes_optimization 设置为 1（请参阅 sysctl(8)），Kprobes 将试图通过在每个探测点使用跳转指令而不是断点指令来减少探测访问开销。 + + > Kprobes enables you to dynamically break into any kernel routine and collect debugging and performance information non-disruptively. You can trap at almost any kernel code address , specifying a handler routine to be invoked when the breakpoint is hit. + + Kprobes 使您能够动态地进入任何内核程序，并在不中断的情况下收集调试和性能信息。您可以在几乎任何内核代码地址中设置陷阱，指定在遇到断点时要调用的处理程序。 + +- 状态 + - 社区刚提交 [[PATCH] arch/riscv: kprobes: implement optprobes - Chen Guokai (kernel.org)][033] + - **ok**: arm, powerpc, x86 + - **TODO**: alpha, arc, arm64 csky, hexagon, ia64, loong m68k, microblaze, mips nios2, openrisc, parisc riscv, s390, sh, sparc, um xtensa + +- 资料 + - [[PATCH] arch/riscv: kprobes: implement optprobes - Chen Guokai (kernel.org)][033] + - [邮件列表最新动态][034] + +## user-ret-profiler(Kernel Feature) + +- 功能： + + ``` + HAVE_USER_RETURN_NOTIFIER + ``` + > arch supports user-space return from system call profiler. + + 架构支持从内核态到用户态切换时的通知。 + + > Provide a kernel-internal notification when a CPU is about to switch to user mode. + + 当内核切换到用户模式时，提供一个内核内部的消息通知。 + +- 状态 + + - 社区提交 [[tip:core/documentation] Documentation/features/debug: Add feature description and arch support status file for ' user-ret-profiler' - tip-bot for Ingo Molnar (kernel.org)][020] + - **ok**: x86 + - **TODO**: alpha, arc, arm arm64, csky, hexagon, ia64 loong, m68k, microblaze mips, nios2, openrisc parisc, powerpc, riscv, s390, sh, sparc, um, xtensa + +- 资料 + + - [[tip:core/documentation] Documentation/features/debug: Add feature description and arch support status file for ' user-ret-profiler' - tip-bot for Ingo Molnar (kernel.org)][020] + - [邮件列表最新动态][018] + - [[01/42] core, x86: Add user return notifiers - Patchwork (kernel.org)][025] + +## queued-spinlocks(Kernel Feature) + +- 功能： + + ``` + ARCH_USE_QUEUED_SPINLOCKS + ``` + + > arch supports queued spinlocks + + 架构支持队列锁。 + + 队列自旋锁能够增强多核 CPU 的性能，减少在自旋锁的开销。 + + 与传统的锁的不同是，B 线程不需要再不断的轮询锁是否被释放，而是询问一次之后，就会把自己加入到队列当中，当 A 线程释放掉锁之后，自动的将锁给到 B 线程，可以有效的降低开销。 + +- 状态 + + - 社区提交 [[PATCH 01/17] powerpc/qspinlock: powerpc qspinlock implementation - Nicholas Piggin (kernel.org)][008] + - **ok**: arm64, mips openrisc, powerpc, sparc x86, xtensa + - **TODO**: alpha, arc, arm csky, hexagon, ia64, loong m68k, microblaze, nios2 parisc, riscv, s390, sh, um + +- 资料 + + - [[PATCH 01/17] powerpc/qspinlock: powerpc qspinlock implementation - Nicholas Piggin (kernel.org)][008] + - [邮件列表最新动态][017] + - [队列自旋锁-Linux 内核揭密 (cntofu.com)][027] + +## membarrier-sync-core(Kernel Feature) + +- 功能： + + ``` + ARCH_HAS_MEMBARRIER_SYNC_CORE + ``` + + > arch supports core serializing membarrier + + 架构支持内核内存屏障。 + + 用于实现内存屏障，主要解决多核的运行过程中乱序执行导致的逻辑混乱，开启内存屏障之后，可以将某一核上的数据锁住，不允许其他核进行读写，可以防止乱序执行，导致的逻辑混乱。 + + ![image-20220822235007653](images/missing-features-tools-for-riscv/image-20220822235007653.png) + +- 状态 + + - 社区提交 [[PATCH 07/23] membarrier: Rewrite sync_core_before_usermode() and improve documentation - Andy Lutomirski (kernel.org)][011] + - **ok**: arm, arm64, powerpc x86 + - **TODO**: alpha, arc, csky hexagon, ia64, loong, m68k microblaze, mips, nios2 openrisc, parisc, riscv s390, sh, sparc, um, xtensa + +- 资料 + + - [[PATCH 07/23] membarrier: Rewrite sync_core_before_usermode() and improve documentation - Andy Lutomirski (kernel.org)][011] + - [邮件列表最新动态][015] + - [membarrier（个人学习理解）_What’smean 的博客-CSDN 博客][002] + +## virt-cpuacct(Kernel Feature) + +- 功能： + + ``` + HAVE_VIRT_CPU_ACCOUNTING + ``` + + > arch supports precise virtual CPU time accounting + + 使架构支持精确的虚拟 CPU 时间计算。 + + > Select this option to enable task and CPU time accounting on full dynticks systems. This accounting is implemented by watching every kernel-user boundaries using the context tracking subsystem.The accounting is thus performed at the expense of some significant overhead. + + 选择这一选项，能够在全动态系统上启用任务和 CPU 计时。这种计时是通过使用 **上下文跟踪子系统** 监视每个 **内核用户分界线** 来实现的。因此，计时的执行是以牺牲一些重要的开销为代价的。 + + cpuacct 是用来统计 cgroup 的进程所使用的 CPU 时间的。 + +- 状态 + + - 社区提交 [[PATCH 0/5] xtensa: enable context tracking and VIRT_CPU_ACCOUNTING_GEN - Max Filippov (kernel.org)][007] + - **ok**: alpha, arm, arm64 csky, ia64, loong, mips parisc, powerpc, s390 sparc, x86, xtensa + - **TODO**: arc, hexagon m68k, microblaze, nios2 openrisc, riscv, sh, um + +- 资料 + + - [[PATCH 0/5] xtensa: enable context tracking and VIRT_CPU_ACCOUNTING_GEN - Max Filippov (kernel.org)][007] + - [邮件列表最新动态][019] + - [理解 docker - control group - 知乎 (zhihu.com)][029] + +## batch-unmap-tlb-flush(Kernel Feature) + +- 功能： + + ``` + ARCH_WANT_BATCHED_UNMAP_TLB_FLUSH + ``` + > arch supports deferral of TLB flush until multiple pages are unmapped. + + 架构支持延迟刷新 TLB，直到多个页面取消映射之后。 + + > For architectures that prefer to flush all TLBs after a number of pages are unmapped instead of sending one IPI per page to flush. The architecture must provide guarantees on what happens if a clean TLB cache entry is written after the unmap. Details are in mm/rmap.c near the check for should_defer_flush. The architecture should also consider if the full flush and the refill costs are offset by the savings of sending fewer IPIs. + + 适用于倾向于取消多个页面映射后刷新所有 TLB，而不是在每个页面发送一个 IPI 来刷新的架构。如果在 unmap 之后写入干净的 TLB 缓存入口，架构必须保证会触发的事件。详细信息在 mm/rmap.c 中为 should_defer_flush 检查附近。该架构还应该考虑是否可以通过减少发送 IPI 来抵消完全刷新和重新填充的成本。 + +- 状态 + - 社区已经好久没有这方面的提交了，[[PATCH 3/6] mm: Defer TLB flush after unmap as long as possible (narkive.com)][006]，找到了比较早的一些关于 TLB 刷新的一些补丁。 + - **ok**: x86 + - **TODO**: alpha, arc, arm csky, hexagon, ia64, mips nds32, parisc, powerpc, riscv, s390, sh, sparc xtensa + - **N/A**: arm64 + - **Not compatible**: h8300 m68k, microblaze, nios2 openrisc, um +- 资料 + + - [[PATCH 3/6] mm: Defer TLB flush after unmap as long as possible (narkive.com)][006] + - [邮件列表最新动态][012] + - [TLB 之 flush 操作（一）- 知乎 (zhihu.com)][030] + +## huge-vmap(Kernel Feature) + +- 功能： + + ``` + HAVE_ARCH_HUGE_VMAP + ``` + + > arch supports the `arch_vmap_pud_supported()` and `arch_vmap_pmd_supported()` VM APIs + + 架构将支持 `arch_vmap_pud_supported()` 和 `arch_vmap_pmd_supported()` 虚拟化接口。 + + > Archs that select this would be capable of PMD-sized vmaps (i.e.,arch_vmap_pmd_supported() returns true), and they must make no assumptions that vmalloc memory is mapped with PAGE_SIZE ptes. The VM_NO_HUGE_VMAP flag can be used to prohibit arch-specific allocations from using hugepages to help with this (e.g., modules may require it). + + 选择该选项之后，架构可以使用 PMD 大小的内存申请（即 `arch_vmap_pmd_supported()` 返回 true）,并且它们必须假设 vmalloc 内存不是用 PAGE_SIZE ptes 映射的。VM_NO_HUGE_VMAP 标志可以用来禁止特定的分配使用超大页来帮助完成（例如，模块可能需要它）。 + + 这个功能是 2020 年 8 月引入到内核中的，国内关于这块的资料还是比较少，使用该功能以后，能够优化内存的分配，降低 TLB 的 miss 概率，提高 CPU 效率。 + + 具体原理分析的资料还非常少。 + +- 状态 + - 社区提交 [Re: Re: [PATCH v4 0/4] riscv, mm: detect svnapot CPU support at runtime - Qinglin Pan (kernel.org)][010] + - **ok**: arm64, powerpc, x86 + - **TODO**: alpha, arc, arm csky, hexagon, ia64, loong m68k, microblaze, mips nios2, openrisc, parisc riscv, s390, sh, sparc, um xtensa +- 资料 + + - [Re: Re: [PATCH v4 0/4] riscv, mm: detect svnapot CPU support at runtime - Qinglin Pan (kernel.org)][010] + - [邮件列表最新动态][013] + - [huge vmalloc mappings LWN.net][024] + - [Linux 阅码场 - Linux 内核月报（2020 年 08 月）_linux 阅码场的技术博客_51CTO 博客][001] + +## ioremap_prot(Kernel Feature) + +- 功能： + + ``` + HAVE_IOREMAP_PROT + ``` + + arch has ioremap_prot() + + 资料非常少，不分析代码的话，只能通过该函数的一些注释来了解其功能。 + + ``` + /* + * ioremap with access flags + * Cache semantics wise it is same as ioremap - "forced" uncached. + * However unlike vanilla ioremap which bypasses ARC MMU for addresses in + * ARC hardware uncached region, this one still goes thru the MMU as caller + * might need finer access control (R/W/X) + */ + ``` + + 通过 flags 进行 ioremap。 + + 该函数与 ioremap 作用基本一致，但是该函数有用“强制”禁止缓存的功能，ioremap_prot 使调用者能够控制缓存相关属性 (CCA)，翻译起来也比较困难，需要有对 ioremap 有足够的理解，再结合 ioremap_prot 的代码，才能够理解该函数的意义。 + +- 状态 + - 社区提交 [Re: [PATCH v2 1/4] RISC-V: Fix ioremap_cache() and ioremap_wc() for systems with Svpbmt - Conor.Dooley (kernel.org)][032] + - **ok**: arc, arm64, loong mips, powerpc, s390, sh x86 + - **TODO**: alpha, arm, csky hexagon, ia64, m68k microblaze, nios2, openrisc parisc, riscv, sparc, um xtensa + +- 资料 + + - [Re: [PATCH v2 1/4] RISC-V: Fix ioremap_cache() and ioremap_wc() for systems with Svpbmt - Conor.Dooley (kernel.org)][032] + - [邮件列表最新动态][014] + - [ioremap.c - arch/arc/mm/ioremap.c - Linux source code (v4.8) - Bootlin][003] + +## PG_uncached(Kernel Feature) + +- 功能： + + ``` + ARCH_USES_PG_UNCACHED + ``` + + > arch supports the PG_uncached page flag + + 可以支持对某一页标记未缓存的状态。 + + 开启该宏后，在 `include/linux/page-flags.h` 路径下的页状态枚举变量中，就会有 PG_uncached，可以对内存页状态标记为未缓存。 + + 具体的应用场景，需要找到对用该枚举变量的使用的相关代码。 + +- 状态 + - 社区提交 [[PATCH v3 3/7] mm: Add PG_arch_3 page flag - Peter Collingbourne (kernel.org)][009] + - **ok**: ia64, x86 + - **TODO**: alpha, arc, arm arm64, csky, hexagon, loong m68k, microblaze, mips nios2, openrisc, parisc powerpc, riscv, s390, sh sparc, um, xtensa + +- 资料 + + - [[PATCH v3 3/7] mm: Add PG_arch_3 page flag - Peter Collingbourne (kernel.org)][009] + - [邮件列表最新动态][016] + - [Linux 內存描述之內存頁面 page--Linux 內存管理（四） - 开发者知识库 (itdaan.com)][028] + +## 小结 + +本文针对内核文档中的 RISC-V 架构下需要做的内核功能进行了梳理，很多功能的资料非常的稀少，是一些前沿的技术，我根据有限的信息结合自己的理解，对功能进行了概述，做这篇文章的最大困难在于很多的应用场景找不到，导致对于功能的理解不到位，希望大家能够在后面找到各个功能的应用场景，进一步的对功能进行剖析，然后在 RISC-V 架构上进行实现，早日实现为 Linux 社区提交补丁的目标！ + +## 参考资料 + +- [Feature status on RISC-V architecture — The Linux Kernel documentation (siqueira.tech)][026] + +[001]: https://blog.51cto.com/u_15015138/2554269 +[002]: https://blog.csdn.net/weixin_42492218/article/details/123568548 +[003]: https://elixir.bootlin.com/linux/v4.8/source/arch/arc/mm/ioremap.c#L45 +[004]: https://gitee.com/link?target=https%3A%2F%2Flore.kernel.org%2Fall%2F20220701142310.2188015-1-glider%40google.com%2F +[005]: https://gitee.com/link?target=https%3A%2F%2Flore.kernel.org%2Fall%2F%3Fq%3DKMSAN%2B-Re%3A +[006]: https://linux.kernel.narkive.com/lyq4OE2m/patch-3-6-mm-defer-tlb-flush-after-unmap-as-long-as-possible +[007]: https://lore.kernel.org/all/20220418171205.2413168-1-jcmvbkbc@gmail.com/ +[008]: https://lore.kernel.org/all/20220728063120.2867508-2-npiggin@gmail.com/ +[009]: https://lore.kernel.org/all/20220810193033.1090251-4-pcc@google.com/ +[010]: https://lore.kernel.org/all/44d9f65f-52d1-fb0b-b523-7a930a368c46@iscas.ac.cn/ +[011]: https://lore.kernel.org/all/d2f76c148fa039d2dea404c03e5fcd2f3dbf3750.1641659630.git.luto@kernel.org/ +[012]: https://lore.kernel.org/all/?q=batch-unmap-tlb-flush +[013]: https://lore.kernel.org/all/?q=huge-vmap +[014]: https://lore.kernel.org/all/?q=ioremap_prot +[015]: https://lore.kernel.org/all/?q=membarrier-sync-core +[016]: https://lore.kernel.org/all/?q=PG_uncached +[017]: https://lore.kernel.org/all/?q=queued-spinlocks +[018]: https://lore.kernel.org/all/?q=user-ret-profiler +[019]: https://lore.kernel.org/all/?q=virt-cpuacct&r +[020]: https://lore.kernel.org/all/tip-5d5cd30e6a897fead07639d9684e9c6910e2527c@git.kernel.org/ +[021]: https://lore.kernel.org/all/YwspB8OP8%2FPhv+tO@li-4a3a4a4c-28e5-11b2-a85c-a8d192c6f089.ibm.com/ +[022]: https://lore.kernel.org/lkml/1635858706-27320-1-git-send-email-jianhua.ljh@gmail.com/ +[023]: https://lore.kernel.org/lkml/?q=optprobes+-Re%3A +[024]: https://lwn.net/Articles/839107/ +[025]: https://patchwork.kernel.org/project/kvm/patch/1258373983-8693-2-git-send-email-avi@redhat.com/ +[026]: https://siqueira.tech/doc/drm/riscv/features.html +[027]: https://www.cntofu.com/book/104/SyncPrim/sync-2.md +[028]: https://www.itdaan.com/tw/6f054b10b4b18604c4eac59346539f4f +[029]: https://zhuanlan.zhihu.com/p/143253843 +[030]: https://zhuanlan.zhihu.com/p/66971714 + +[032]: https://lore.kernel.org/linux-riscv/04b2941a-a8c9-76e8-3189-76c51b811174@microchip.com/ +[033]: https://lore.kernel.org/linux-riscv/20220831041014.1295054-1-chenguokai17@mails.ucas.ac.cn/ +[034]: https://lore.kernel.org/linux-riscv/?q=optprobes diff --git a/articles/images/missing-features-tools-for-riscv/image-20220822235007653.png b/articles/images/missing-features-tools-for-riscv/image-20220822235007653.png new file mode 100644 index 0000000000000000000000000000000000000000..2f50ab33b99639c02ba1901f38cba46fe3b7489f GIT binary patch literal 24987 zcmbTebyQZ}+bxWww6wJJO?L=LNQb19APv&p9n#$$0s_+AjkJh>64D{9gwl1^_IZBq z_l`5pH^zI8f2iF1-h0JfYhCl2b6!NKD9K==k)XlB!C}hDN~*!ZJy?K)gGYFX3_el3 zZ`g-}djcmXDgM$U`(Vl2NB#6x^k^2xH5}i8+)vjs1mlso>IaNOrh?m`NRE_`ZY#xt zNN=mF1R4g$4$Qvuz3Mh3km2uAWOJr>HDh#U`V@E?w1rr53U7d3|LDq^<2Xn!GCF4W z@;0I9#ZgcGc)rgZ=ac~kw(`_Qc!(R@XDo9Eeanb8iPd#C`d5TNR=uj_) z<@J&c+pl87dD971t(EL5)s9rr=n&7N>ce39x;vFIc+B{5Uusfh#|RcIa=m>-%-o}Z z1>H+eb+wlF3Ab>sn*>{0yw3OPUOcIfrVEG04${AxdhtDMvHkVJc_v!1JhPZqVVn&s zCG0_k6_1(QOU2Y(h zP@{1pJ1QT;#)7C0{3Igaz3t>@tFtO3wkIB@!aG;Ozo)%X5C7V0x{zn=DE-Ur-2;N* zDFiXJx-C-G=2nr>de4FjL$Z?nJGu86RIHL2?G;BHo{7?+slxQ^g!b2^V>47o>d6IT zaD1(+duE>`U%i~gAL!nxA*6mkLuRI-fbXr?bgTH2+o`(zT^tUsWtNc}lFF+Uqpvm1 zgZQp#5q82o6a81IuU+IG$*JN?xjc%XvEXr9&3AkC+z+%>bG6~Y|QN;}f zSL!wwl$D`r>3h=6ROrwM7Ci_XQoY%5#9!gbv4L(Qd*+4D%gb9J@y;(XD=TWPKkRoH zb*Kj!9R-EVu}uB=Fw~U=`|feda71-=_2A|ezpNKVoP8TGPS69<%ok1jv(+-<;(TU`v8%F50zl@+o27Z zBX|lscuFFzc;P!$(bc;cOuOxmgSVujJPXl^l9I`=|9uPo|4pYx)HLqtH({2~XS3;6 z9Y*$>A*@4)Swb@g0kQ}lWU4`ibsAA%F%*cY;tPyM*EGRw{h1>X2b zfwm}fU&ZE#HzLETBYsTlxt3Yz;TsyHEhfAJB)+%&@i;i(DGkxqH06Ehx=KtZd{UQx zY?y@`bxJ36P+r^OxbV_%+9U7reUtL>3Rzq>C9Gcez8{RcSpF;=+lIGt?QUpfRvw9; zZkHV36xzkU2zEuT_P|e?A|y z3BJE1{_@__Xe@$bZwgMp3gLyZBmz<#O{BeIQ<-ybBO^lFFKO|;dbnUjIeDqv`%h#K zMU&2ZGAsQ)N`CL(2wx{nsvPa$WmeTA6xeAu7E4$cLxMYSs`ZS5Jp@m2S8QTBnMsdt zn@3cZI~T?2N=VKKsOaHdiT!%w1?M`ffNgiT*K3GVfY=LW@qp!+hZBxGgbVtg5O@ev zM3X&Lb9syaA6NKsU<1}=!8fn(`b}f5&9xj_wz|!B0~%Vd=>(%61P-aLuRG!!@MPH# zvFU}El`%~k#iNy#mDM<`J)bnfcqkl;O9XaZ!8|$+T+eIwrI13IxPszhX&2a6WhZB6 zPM-^h3Y~iJBLXsLtbYS`XVFxL6u@geV|a12)^f2PRqJ=_b@pt45$w*>{n?H6DE2Mv zw{YOO2+(fc9py6|OJxPy=-IN@KC92=kF2g|wEvp5|9KSruUigWCLdtD93LNFTIToq zv!fj%fu9DJVMjc^l&T~O=a&kDZVE6O2`49~1>Zd1Gvd!ehaFAb*yMt5HOe)O*7`!I zpVLkWQ^?>er`sS|*xC-1sutEbZ!0Ng3)J>+#Kgp;i}(s+Q3!_@712HbafA{qJBEXL zf+viOs39RCrDbK27Z>Wv&qDh8p5KW*at$298NkzQ3TkL-qGn~qR4U=#tjK<|Avw9> zD0v)|Qu#zqP7a)sI}Vzk>m3Vrjs*%ldPg<$kLphb2c>sTy;_#+?qnZHMS#a3Xg0xz zJ(}AvXr^6c?Nh zf|^YvU%r2je6NsZe7g7TCgI5*9feGh+24~c0xR%k@ua^OY6w_u;4G%(>Ez?O$Dw1R z51dAQknP`0Fdg1KCC_EfFmyh5?~rsH zwGC#xNOxE;L?iP~L{xv_E<>n#Z&Vk<2oO_-MU7`Z42>-5cl;|h8J}G1G@KbiB>75W z#@C%DF{lu}fT7_(Mey7ul=PA*2pmAy6{pyHe%I9h6*{kBteQR96G`fk#PkdLiDSVN z(VaCvWNQT4y;IPuUPz~#Urd$!1sIg6WZ+5>wY@s|$yB?)vX(k|^zV8fRGqvKH2lJ@ z1%dDewwv@sqh0Z_m}Yv)vk?N0rlll+8pyYJ?(-~lILu~yyMn*54j?DlvJ=Y-bJ(8c z5ev=simU`vKZ7fIUzx#lVeSa;(EcR=W9K`T2YIwb0P`jaEz;I2?237@kcxa+%C84x zKFn!r+v013m+1tkmR1=YZtg+O?j?jmspTZaFeJ}k z9j02_ba8iZ;}K;Lcf~8 z^EEEJYAmnY@VE2)yH>+d*fg6msR}7{5U3|{RqwN&dGqCZZV_kup3Prui{3{tsu!=$ zzsZv_F`?&{?i&U|qanH^ki(DUY z)6&ry-CP{QSXe%S{;@q74GaSj4c1#!QsRC!ciw&PD|~mc;n2QxakgOpZhBWmUq9CW z{(6No+F{iQq+TQeYHDgnf2Nf;`msenmgMMnBoRq^YgXj;OYAR zT4`SPLI(g9c6WQ|zmXtA(aSrlH_d*iAW{LczlU0{T?zEPfAX?u*T9M1?kYQ;FS&1k z*Im#r{}{>`zi!0}{Ss4G#|y-K~_m>lnYavAITHRL~!>>MleWnRDUb#D6VzT`?M^;H`FwXA}O~>8Uet|?JGt@Ku zMu1<0uXYMsjt5C=t-di$u6@Mhqe*(S*j?KT)`sM-m1o{(hP^>Z>0D-Lez*Gu=n+)8 zplRv?iuR*EbgD6~SGu~KZ$6Xh^EZ?J9jkTs{p}&A*(koLnc3R3vM2$0tT~k2sOAZu z&6)h&_tw>&gp@u%KusVo)X|Pc-L%9^0+c;y`tGIpN=D%C*)wtG|Epy$u1iL;)-x42zV8i6-X>}hSy z%xC-kZ3sHiAdIQtqHk0aw73vPdAlQXakXD96^5%`VY49yzDD8uM>U#+7Y%}D&d&8a z@!{cKW(RY%5ZJP^wuZi`*hE4oTW4u$2_|W-)tMnNDM>0!O7bhi@9l}9y!)FslSUu$ zlPZxz7<5XeBUbLtn$raUp!yOXesusE8v^sI_0LyAIYw|N#T@P~w`ra}C8qShsohaA z4xO$477u|VuykwYZPJC@?LKakiTe47DLp*={3(MQtXTVStl;nh7l42_g0V$<=+gA4 z1(VYa&C03DwW_7Z|JV&fHtb>H$=i-fGc z!W8pFa=;bbQ7C-{FGk+wF=xMNxlv$|_t9!^Q<3-17ph4kuzu&kp%Meup7h@@kfH=7 z{VLNa=kWStF-Zk3kBI61j2hvK1#QzEsKq$7BFfc?VYN@Z+#n#t!}+kiIg<2P*rR5L z!#H##m8a-2bB107@>_{8thMWv`>uaJZYcbOHofIDx0pcjr!SR8JQ0Af4@ujPR68DG zz>$LtSx&-*gUIxWeemKMPOC71XA*grXQLDH$&^G^b_A@;=W4g)F~42*zfY4gKt$0D z)u_^MaeF{ek9oIk`VJn`p|*`KQWv})PPVQKq)!nfl)Ju$a zzPu}th#;odohnLR{89SwYC&Z^&{eD0J|GzoHL28(-%80y`W{1@e^%eS5_B^X%tfzC zffysIQXVosBicbL<6XD9VHKvHM-LWv`KyAKQ;;|rFL!u8^U=7DMpTa>0?2c;_TBYJ zP}i(Zc8;h78+OjxY9*)Z==xT*O zk!obAVEDm-;6kZoLAj3xg0XTwABGnY@ks^gKmNkC(#lKdo`1Wyh+nk%okl-`MOYdH zFY3sQmD^wLEvGZOg+5KyAquMa9yWtJqO=QW%J^wpEb_nUwmwY>ZoXIG_%>(wmn?Xm znwO21 z=5qu{v0OA2tY9w8!HkfZiG>^}k2)bmZ@Ap?rx?k(8?~w-1}`A1d;Y1v&47kTuUV}h z1I}L3k&%(fPBDY8nju~`gJ+13$6GM{sWn~+|J0~DAa&EBVunqHJzKF2e!uX;7!#%z zY50(K38{(=*J}s0cX!g)WY0cTNf`zG2$m_S(O$tt>KON=;qQDHE0Ws)+08>1 zwP$t7vGsHy^MlgeR90O=C%3fh?C1>cH%+&`V1HG-YGg91K9TsUB^9i-bH&OV4Xc!frlY=RjSmU~{NhaU`hk`}cqh;Xx?d%?~ z0wJ_=!=FDBk~1Zk1DcA``|O~XdqOza;AWku)1$FkRAbjX|K-9T@@DkM&84=6DTiBu zyh1y^uPQjqv*KM%ROgZ!dOM^BLRFXU`i+!FbTsR8#^Q8hG&W@eS8MM%bS7^YN{R5b5{y2BRQJ z%ivRbkXahMc!7C#xDxjwi|_P=+-KV9Bd)TME2Dp@GxF%ipitZL_YhL6Vb~e=aUA9#-!JGGD1UC|ChPaV(8p z#>~u&a`}Cd`DO!4dVJW|o<4%4dP9eq!rmqrECHEtKvrtG_~HJCc7)$H-1)(nms=PD zecKboX1xu}cp2@A!+WNPF4s(I88Ei7$n;^l_x)d3B2#8&G>hK9@7;AV21B#3v3aXs z9k%duD^3zyF7c~lG8HD^XBzeaA{>HFZ31S^a4ac-|3e-xn>ADQItqXvj>)UqIsz64 zO}qMeL%u9ezGa098x%eekEgzT2>@r;`jY!fj1%VO$DvWpnjRfbBO|Jb!3eL2p#(Pw zP)8B6_GR)~r&|Qq)O`y8-Gcx%2v49(?6q|u<^LWJSXDsd5|wLK;*v)eJM6_F&;4}c z;pgwSYu*6J@ew%|-6Od~$*@P@Tj$w3kBsFN7&5R$Z#ZJfg+enkNhaS}U?o)=Vn6%y zNZ;pJ3apd$2!`CA+-Kfb0*bk?+p2eRU_v#M&z?!jz-0!?=j>6SJ7gV!%M9}JY+gKIZ@Ho9g|!@qF;Et(Bepg zfs8=mbJVMp6~)ZVe7qWr4LxaNForWWJ{%@!-+4-C*L7(Q2CwIP`VF+lb2dMylJBpX zYPNH_rp1QkIz;Zi+K0~m5uAW?aSD=|8x8^v8!`OG;298tl?p5LJgAQe?D{iMN69bv zYPWrg#4hb4z16)S85T(Rh#**?udjd3{)CUFyt4jo-lCQ=ExchfhJU%|bk<-(azUcP zMx()TLmI;Jq$$!@g_^p0t?#wl+Hd*xDP zI2)I4P$yM<>L^R;6{DL;kZg%Nm- z05BqG={bh%IN)L>*#$b_ewTEFtgqgR2P5~cIXrp#RL4aYHDY{NbxQu< zo-fTe*^(A3SE8=VEz+Bx_Wr?2C3xgh0X?Hl=+Gv~^;kz8t|L1~-2=NT zfMv`BY?q@i64((~Vd01##{)!;^JZyl1yO8$VD?5ONhS11p9V?ldkd&`lg`4$MlaCS zh8(Wgci$2QBV$HhEM6aW15~s@S?hIbr7tT6QhcNJ#((-Eujjtv%l{eVtMS*%zUQw2 zW+d0ICc?zTRBR}KeKiLeI~trB_#2>~2+6Cin-VhOW(8yP0)-0CErhR8SB+fbC>(4kw#(&@dbXb1dxa2+4>Wah76P<*84# z&PqI%*bpxAoYHXZ+J_0y>MA2;RPh1V0{5_;n7~?LM}f>tC7LfT-r*aefMysr<+71( zw&NgiB(2=2@A(pgprRVSnHZZD4)#82RG(`Kqdq`j?=~Z2pLg8c_{b){eJ2sN4)Ust zUTi-o@I{mIV}1DWp#>zuQem=>4Vh(;COA{fJbU;^-5I{bwHx-rf65aTeYdrNOP9H~ zX9aRGWQe0k=QMdDm$(xT3wkj9X6$Z0*GQDjGN*YEaYU4>_0~LSoK>)Ht_>X74uIj3 zD4FJ*w3-VjwZSv;HBoJ;;<6;jN?^>T^)X|1xvKz5)V$k~j@QnOIB{w|_qoM3;Tgl{ zAv)^4thcX8bmsQ1rkB5-hTvOneO!KQoka_~B-w&s~eE;G_cJ51dpzgE6Eb zgU==Lv2m>elHEWE@6jvoAv@+|-*bQPcy`I#!)Qz{#J3B@4bz7gnu19E=PwD3@E-ri z3($1j*;QMe_%l}TmvY0>>HXlNSq*yXNTo#vUDiJnZW9Y;+;w)@lPfj{-c{B_L76EJ z3|1;}iiy9=H9P?40rj5#Vw`l>R;D$F+kv+5^+A1s#BL9m9jj?47+q*p-rRu2riasZ zj{ExU`N~ijrQhS<6S+^F=|P-~N%yasacrTRz3)o89#ZHcaM7Wv zc~Nj}9!WCy7aXTJQh4o9b^QJ;1fAUoQmV#&CIxiVtWnpagkR2XCM1V!t8FWMa7oYY zZ^FT6hTZRA$CCz1lC)sRO}#BxPBsogLnxXe5i!^NezaeObpw8jnuxdm&WH$aU|eHb zfIFi*6SbSZ=pSXMbp$Hl+nxHDx3?{~QMdJylAUQaDYhJE>}QzG1~SKx6?npexFD{RT{5aEdLvMd!Wx{xQynkQ7!+g6;XUpw#URr#lv$ zgfq}00_$mn6(b?Fs`h-MX6-~1cEi*^L$Wn7TTqrfO#+=SC1=*1VgivG59hY!AP=ln z>iMP1t9jh$lt z(@ULY$84ADga8Nl78RK_=|+2xLF- zG_)s1d8{}Cm4Fros20R}rp>#OTrV^r>?t-B5m(so2Bom79{!h>hlj_YBnkNEKVHuO zgOkK+iOjsZp_Y4I7Sea>B(%zhn!m9ewzBS z{n(ab?#w__9Um2IyJOD4LKe=tbarW*^S9SBtbejWu>DZQwj3y^@Zcma5!%% zR%qA4gQf%=*AYRw01^F@?^Lll=jqdd6@biaU^tmpR*jy-h5{IH5Xuy@)O`_(rhdm$ z5e06fqF^PBylr*fHvaj&QL)C+>SH*LcDozv*5@4bq!C&{vOTIZK$;RYK51M8y@r|q zNglHx{vLxuDoZawOOPB8g%wip5zwxRO+}%d-si^O8!Q1{F_+2`izRy+G+8LK0TR9+ z`5y#&%}oms&u)HCn2aRSDK?;*L(SEhqUQSFc}~7lNd_w%cMkBYoc7DYkVgPy1YtiH znxn9S3qG2g#u##QeJ}!wzs++cmB8Xn05Bp!%RQ#dvd+%V!z(6((Y=8PD9?Y9f-S}( zQGoa{spYTh<^Ll?LN_-zo33LiMPmWL`7b^M4V{P$ABURm;oV~fzF#XBy{60%qbnUl z5(3CMC@m(Zu(z@K_-A+8@n}`N>R8^lk80bc}258{% zJ*WIRN^fLc$I4Q#@R;-d-l9E^hTC#y?g4!m4m+-?BY<_Z+5RW*Hm`f{*ZWVX!iJJ; zt!BVx0Cn9E1Vwoczz%?o@{dri!FtO4ZzurIU{P5jBqXdW1K&~sn>-(!6AEc;1AE`f zGi*K>)Sk%MEOsAD)Q@N;(oRyvkMdk8v%fnU68IYur=?K75Zuwo>j`I27X-fb1v1Bf zx9nMFV?>z-lDSm_+!n02kkZIZQg| zY2(K2kG0(_*=Ly)F%^?vN-2R7Abn&1hM4dJg${saM}JLxFLH!=0jmc#^4d9gYAa!H z?!sC^3(@_x`>LTC$X0(;>Yxq>N@iidWK_Xl88_iBcy4#Ed(804KIX&1XzKVVzBSYb zRY0x)$58wexl6GWavh=Xc$QWRCSAG?_qMXQsmz8Ap3m>-BY9s;)YBCNegZ0QZvhFZ zUaPr5o^2JmeAP}%xK}K2m{}$hHIboy*b+9C$E6*Cp9kW*PrmwUZN3(=RtI@z0_H$p z7Y?Q#*%K*9*pTkCeFGRrOu;#Ypdos1qcO;Pq#A}ZwoHO|!he0&ZFd5|(qyz{EG25Q zKi*>?OHDQ9Tg}wbw51^y!~G~EISaxt^y5vQKP4lR>I2eDg7ip@EN&5e{&&%q4;IJ) zQ=e++H_vv(0%>(c7tU|ucSWwKLC#^d>72_tKn8>!%Vfaz;)=L8eVP=h(^iFiiuJeE zuww=@-|fT9MCj90DnE3*PqaJV^R6s zC-e!lHDmW1aB=8FK;rzvV2pRFQV+}1=Z8R?|4+@H)alb7eS)_YWTfBK8=G%^Teg^S z5{iMhFtA$i1>mP3;x^t%PaD6(+&YS2ut%^e&{ey>^5`vld@Py(b;a-R#P%_$YM#$H z=0jZ7^2^+M8%OR%^nRy=%c`f_T=z8Zw4%(|0L~VNQ1OtaRk$T%UaR$0_Fc%=HwXjo z#ZryKp1uf`8kOXXOkh0ikjn}W|2kkwYMpfwPx95&rp(dx>ZL>kO7Zw**XFJs%C%42 zp%pzy5;O!oUb$#zm;@66Y8>lj&qM1d@~wt+UsAwF!zbBxAMw-3sB2thB_O;QKht|n zq^uO!I*RBWh)R!8BmCu0ws~mhOmuRO|MkB0Bb)>#(9`_RiJ6t?ic%Gg;*44!Cvrnw z#IujMI0Fpy3nCVW^%}<#*@UKj-%2*9Fxos|?^a`nj7 zey+wyz-coa@>I#hlJ(XY^-G3{s{-6c*Nl!Sj!?As2IX|V&6Y#%&fIb*KbWW~TTzVd zgqN};L-pB8?90#Z-czLWSmHvNEOewo|0-tk$hkbme-HNkqlpe)dSJJMd)cG9;09bJ zfS%vH9<%t}(A@*v1Wg3FvcZ{P9Wrmlw|{DsA6@|p``cwau!jbgv#P~WZGZ#P1E@)y zAP#{OT+|!-zx52uq>)N8t(2M3 zcy4b)jDZaCRDadMcOqq_r9I5m9q>9^7cm}v57Zq`dfkEts~`ahW*K|TW%^J$jv@x4Cm`h$uX>Oi^bh*)uWq0)QamG( z2*n6w8520{_$?VG{R~7UAbM+MgQ&NDxt%uzV%PBqL*6Rj4hkd+lrTv7Fp}tB^a1yp z!+vG66UR$3;DiPubcDqdBW|w$lNtJdv={#$wl8#xTiXs?8#Tzs9|6Di6)^N^s^U*l zeN3j6L--}6ZhQ$iUdPp*2MrAktE;`i7a&d_|41`f2a3}mpuZsN6?h%1KwP_+?Y;|v z*qjyLb8=d_zTJ|%SnkgP2>&uDkSq-ieLLG33uv6j!IU>}_s5j?fgsDnhD28@tFoPH zg|9S;eFh#c4C~%|oE#5P{xua;y>35(CJ?Y?LYbMF`O~}cxw)~bh0;`XbVxKZv64u+HjCzUE8t5hjSD;uA*4H{vS0KR_8W0eL z`haH^8Y1|F)BMxp9T!1};ULm;ctEe19w3)QPxb8C>pxpmdjNOS04cD%>-v|_*V);P z%I4*u{Bu ze)IVw5YACM_2ZmBKb3I_&$)tL5HxW>$rS@S_OkckGiW%U*u+dv?PR0QJgBtr!HQzgo8qxiaFDk`M|fVS+3gjZIDKfEykH zu7yzBg{HME`>tMKq2>Un?o$@OvWrJ@0O(K9NUCvVQxoC0Z{IFX#@K6t85AvTKubu}FUM@BKfN{jcztn3(~!^=1_~YM$2B z*Gq*JF+#RTK(S-AFU2mkyKgXvUZMhF8v{9b=L;+rvH>KqeyFUi#gUSdn(Ou#jf{$N z9Aj+`$CCRE79DVDu=iLs0_6x5IJ1QaS+oPFBtpZnV%CA)EzL2XmUN` zh2jyplAagfuWA7cbOUS^gE{WY5#YF41$?O5DR&&X(2S9IJhUc(sR{`WgM{bdn`}qq zuJg{rHGuD>)zol9u_cXrVKzpD;tAwS(V>L)~kXZHuv4E!R1RMpJ- z(CKXcjS0}&1va9&IV`?Bf$P#}4-F5u3H$TMCENe* z^2@HvV<9&dqWf@8kY9l_Sds&@NnUDcZ2&h70Wej>UH@vw zt~Vc#ywFP<3pro$r=;||paOi5$-#0bDMcI#9=&1@AQ^$vhy!dw;6mB}$FQ}o@BSz5 zi31Ir5~Z9zsOJ-+_Z_z1DpOMlA%*9M)4LBJP>13uhdxH&aav9l#Y>546O;%4U6UU~ zJI}sbbCAS%oQyCy0@f)Ki(%~<$fAI$wGSN1kb<%v&HcFtyosfz^%={OoX|1$ZZh>^ z#a`fr2#R9wdb}|dM?~@)WG$0(bKzk1G_%5=fUUI#B+>vt%@Jtn1p+a39c(@#k~amw z-0+ZIcaOcg^NeKcQ${e6z6aIX_LvnQvwo983nbh5b1$Gn9R>)r#HwdaKBaRONJM=H z5e7S~KM?GoRiLDZ$;+cvb)LO~_F<0ZudmPkonuG~Ud^b*MM&#<`evkkTk#yU$p z+ZAzYMXf?|OP@v@r0an~Cy-YOpwptu_u2uhgpE{PyIx@JVHRv?=^GG_z?B5~j9vRr zzMF~r#SrNv)I{1#dwT8B;CrktohJwZ3&;vF%^O(|jG&)eT=HoFl6Nd7&T{XNWgz3` zE%1L{hzhN5+)9PgU0l0`PZEW_7ycvUcB6qF>Whg4G! zH&{-qsHws0q}D>-<8+P(kUq19?H@ihrFO8;tn3o*7&wv&6Tdn4zvr*&zVl+yQH!9K z3Z&NRvG^^fdZ5jNb$73|3ghnk4*aTQr4Ks<#-l5Wzt+&Mg;e%nC9xuSBE6=ave=2L z>FB>cX8_>kj#is3OeEPhM8@*It12@eFAjL-#b)5~4s2H@qprq@ho?w=7AF0zSL_0H zaWLTG%|l<0Joi=U`-$1Ar?&gH@E$}0K%4Y|6VR@?5adu`{XGRnYZU_nc0plVby>U? z=2CW$0+*Ybn};qlYQdzl0P!w$JQs}?@UR(eVDbz;OfA7y|aeiD^^c25#Wp%eOvhv3ZsaI>B8A0W!7bVV!I{?JiwQ(UFaGPP7zR zwL>ets$1SGY|XXOIfAb8I-OpPPLonZjQ5v$_aC5x1~|Itfgl>`Y~XuJ0MV!wdaZS1 z+paqE@NgKgGF}=aE*3SWgWu0;wu>()7*%UJ7#rhK(hhGiTisxhC^H9W0`MBfx&&4E zvMbZ)DMkrgs?o-#ZVQ_~``WTsi&tN6+A>KOcegHWA#Y-OmZEz}J*hg&LYZkIVC&EP zKnF4xvWx;>D=fRcGTGU<73R{6yRimt%x}wIG1k4(SHRGrIN>ST6vE zk3hU061@wAY;p@twiio>eqju`9`JzvX#w>%#~YOQkGai1^}J8hkE}HrqUPl#fPe&0 zglw`sw=y2{SUi%BC5u?FYiG6isqddu_UL2Hf8VUsG_aVmuKr($4Psh@@kw z(C}c1e({B;Eao8|TUzk4Xk^!lK4-qHV?MmJwr(3~Pf>rtD>~Rb3WKlEry8RlY&1b( zsYp$_7C~5d2eAC?ipm=50hZJ-paE7PRM)FeSa-_Fkg?7=Xb>jQ8ZwofdkLvYpE*a zUIY$(2jJmb2lgZp2;P8LU;+$25FSOwriecDJ@lqxMh!W+4amwNOxKGtoOlrkHd^7h z)`zCJGVtd1aAY4xSt)97-}{S&(hY@3HJV?j*{#|moqg^y1Sq~~JB&#U-!vs_buW!| zp1+C&Z)UgboppQ312%p`S%g(&$Q51wJ&$tE?q^5Mk4+grXZL3ZSxhw@e1GhKSE8rj z?g}ll89?ww$02f$op)gzz=--%Lt_oZ)(8-h3cw>@wi1Ke&+j48(HMGOyYHbg4#(*i{LncYJ`$lJU-j&H zB2T{TZdXC#7@cV<{2-T%Xc0Qt<>D#tUXuOM=A`8g;0j|((GOKZd0TXCY$}h*VUAGT z^V*C1lb!BxQyF*3)jFEd+eW4vkrmihTiuTuA=daZ7b*ry;x^e5st72|0IvuEgn%}; zw;_^h0GMhS1zC*dqFH3!-1q>r1sDXv#E=79z+n}x$!-ZvF41GYUf_p|penEzLUx8k z1-3wtWgrphK{Y9>z)cLf`ye+2F!gPxKl66`^onEiloK2$2On`tTL| z8{rF0=IR51kxi<7?|hrAXkS4-kS`s255kOPPJMd5N&R-4^=%Sg9^gwy0*Js5OL*~YNBXaf+~Ui1P$w7kNhLq z5HQ);H&2H1zPaYvs#G9(22{5BdKYIHX+;_afRd`gha)0rN(ygVdyls(>OX@XbwJ>I zt!=-mA95%Q7Nwii5tQcV!!grCEyvK zr`QfnE>MBGF?ZR|lc37Y@ZhY7)(=G28|S&lI4(7h> zSyBLtgk&?OIN_7<)$mg0p;&TtfL~KMO$K50ZzeSLJ=TyWsa%z-cAWH?M}6uQ$<2D5 zWqg0z;5gb@77Yn@hfI*WCQGF&kn%9Jyol1^Om)qEy0CFbaYBLhzM%ic_+EInhfMEY zSl3#|ePz5jxq?xqN5ie(W!yxPkj9R znwm$TR8g^kPu;j_ITa{P((dwk3Z-n3k!S!ZNw~;LqP_=AI`mS1Pl&P$;-5y?4*bdhu>%G& z{z(05tx!x-Lf1ST``T_yQa;7W{Zn~I$J#o`pL*}&Wdn|+QIP1R{9{{sop2@JzPVrh z)92@kSe}LQmE*HWUZJZlIT;-Xf9s;Vjb9XT4(PAA=S{egPiv*Mg<2;H7No`OXCq=M z0UA{UC)>see?iH*IggX!)kmQ7tLo@P09mI7C#b`6cV=-hdURACs@#|^e$fy33+Agl zm9LPs1LElIJB~q7iUFG-nd@$pO3cj{y2run?%SX~+335%P@_M>Z`b}b_5+XKbA46y z`+8v=BV)em=Gm#?Y48}a6E$LCDOA%&K_y%v)#n%&ThqwWI4E~3foO>L{_RlB-~1_g zHN{uf71+_)u7tQ2HCk(jf%^iC<9q8NO>N^Z5S52ON{5v-P7h|0k;EM^*;3WB%uz(_ zno!jP;QB-Q!?6GU{Ku=)30$6Bb72$}H2|~S_p_qr@<#DPM~K|ScU4?!bbs4V24Lw6{huN zxs%IF5v2vHClAZjwo4Mn!E7v*5zGN0Xt)sMTg}jS@FO)6YJVo=FqK0m>GHl2r7rf_nFrFUCUdaEs?74Us*;M^Ia^oui$M`x*2Uu3) z^b62p27VTkX~&?aJ{L7yHgg;=FvCHiA0g<*DeV*?d4O277?M`3x@LUMxF}*$_69Q?4zAg_!Tzj9Nb+yT{t(M2KO}+yL^XdT7acB7vWO5)P&CM zLimB`G;3dla{;bZ_-6f(xa&Rn65pmh-#fu6u9yc(QU1H1cGAYlER=GEp`11fOF{z_ z04_A!4|R9~PEMRDo!_3K$$o`R5Cg6U;Hcw$gL@K?e0J}sT!ldOX_uNkk1qFwPnwKh ze!{vMai2GoZ|=uWeW+%h{zZl0@w0uY+pU`Ntz`31`pR6k)WfFUmv>w?8UsHgI6#RW zLtz3<7Z4z$7NYkYnHO;1>HX3zY=QaU+aD2x_SwbO4O4kppCq6#6Ylzsbdg-%;f%7i z+*p%)yU(f4rVayex+43tCn5r%w-Go2YQ3Yt?>|?%DM91{zVxqjHD$kWv*Piz@)>o| zfyFR?(P@mepnr$5_eC%H4C1fh*?Zz;7hO~Gime(fjHGgNKxaCUfUOkY#77(3d5_a`?BFVR&|S> zgYD?UGGjAs49uD)0XPW{bt_XKklN+psTnno|MLCMUFPUK=0;Ra;1kH{nU zJibwqeEBST@AEgceJqLa`PWjr>dTjJ0fP_)A|=nl8wGrHVC_TN+Xo&hah_GMuOKe_ zPe7|FT@ov%1$`1KSj95x>Pb5)UOk|&Jvlf6Zum#Sb{ewXEw4Y}k+SQq3rW1aq2@ve zx|LwY*7OADX{ddcRIUiYCtVXXk_-G>zvG$owyrPYM*~mb?q7beD{zDi{Jjfn>o}d+ zx$g@=(u4`bX(*=CfVvN(y7v!khvTWB-*HeFC&DC{ywkdG6o#s^vnj*dSGtV$bd>q% zkF3K<@=amTJ~jIj99eu&+mDaJ6#wA0oob0z7itaz>Df~%xk3{Rs=V1Xd0~;)bV7fn zcNHL~5L2xo=XDhEv7Qf*8BxXNE2DQ_DH{rfOlV+5w3l?$5M0OcDoXr96&B# z0EhbT?+))HvFM7^Z7h4dHxp#O02&6Wg#muQNcXT#-;mOW>aVC-r@kB~dWef&`A!Zb zXEy0Z5l}HM{d_K=qnTXJ2xK&BIZ>NvIdh)f-CicfK{L^ev^zW2}mk0ThJQ19R?@- z&bSZ2ZiTFiprFSY2xV}97Yzo6y^cRq3cw^4YX8|xx!So*$&7SWL2dF=FB04=mJpZu zzTivmcl-ui$1@d@j!nF#Pd_FvT4^VQx#rMMG&!dh}&Y_EE^-+hN};B$QQy2-Be_97t~~{sinzu3`Y}4--hf;Tj~s#5ot7 zU6*_kMH84PJo?z(47S2+&g#*dPJUhMVA6Hjt|_!dt?p63lktB3H4l)P!2J*p$`?Qt zY#hk^RX&+~fd?b#e(Jon%I<%O4wXd$Z1vnlfV|aq7+X13m4~L8*IW9V=y&xlc~B4} zC12IqY2Z*-HGL=k+KyK-Yxa_fqlB&~k4w$Kibsz7k7-{TS>dg|Ez#4RifZ*^jdq}L z-OGvDBUWPlsF3j!f1>Gsf+g3$#S&`#HA4#?y-p<$cw)Z6ZM3i@woV6qdacPaRq{6X zKj324{R97Ku4fhA7VW~aTXiIgica5 zI=9DDT{FKc&0U#?EBl;f>-{-^ny$3$bZFkSGdrl_GGJ`!xbGoj>zJx4NgJ&Z&v@_J z_~tWtrkvL|`Sr!iJ->sq5(*#h>QX+|HXD{$D(>lgH}*8sNf+4Y+lXoE z)ZU-?F%DD*B*xBe0@A76p?}l=pajrt{D}qIN+FCMAs!)-I+A3oSO$!cd=qd z5OknHhib0xna+y}G6wi0R#k>y?S~>jc7d!SEeCaD@o8x#843tZ5dgJotJ{VR9QXV8 z`eIere0GRvb+{D zUChxapUY_Y?6*foDr)@jFUo|^%a^Fu&L zlq4r7!@v}^CT3?>01prB+qe7f&TH(*GQADBJ1Lb2M8-!{v^`?|h^~h(j0j#Jf66i+ z!AiCM!D?@AoHVQ0iD0GG!{Yy^zk}d?GHNUz%dUl#V5th(6FPiXgvkLFHv%;k8lK}t z(X+5O{=M+t9`2`?pAHn2hDFf(>bIXAUin#{ca7S!?ibF6NY(u!a)Pf-0dxPEXdgH9?bAkS(X=2R-3{9J zE?skd)`avAGrG+isXoARxIOjPWPZ?+yurybKOpI((B*dZo|&(Ia|x9)oF5&nPESo; zfZC~AHo2F{S2Wb)Zp4YTBR2J+|Eszy|A%_}|0J@-5M^h`5}J&CDKxSrrAb-K5-O1? zl%H<2Z|A&U=e(ZVxPj8& zz&rYbjrX-N<*Fo28XFCa&!z@)va{pR!H;_wra|8&Gl@dyecf!icZ zqlnm8?gb*-O%ovC5JLC*_3OCg(_ z7&t4a9GiQ4V|`6;8~*e#%o(odn)n{AE;!`)lB56X-?=6ILJ_G8;+yfFQQUd^Myr8? zhVBQ_WE6mGQwsdyk(iWJj{6G}sey1uOG`&^H^-SA9C{U~vG92DQEIWArbn`Z&z_}( zkiB(eg~x2_esWPZcA&0yF+UH65+3jM?xJ4y@_z!A>wyba~EhBSePR04uGFB19 zkrTjJw*YlS2A+BnjOZO*T`jdYr>!Xi*F+6h*kYMdikk#(i{1HF8#OnprekLJn9;^I z!c=O;!s3v@^NGF1zb1A@3kmkAq;Rr9gh{`5>XNeU!}%Pbm#I}%e28QR60(sdLWfad zUus-o_@y}R-^NM0@a&g>c(js`&J|kJBK4f}S0ni(c7T!E%#OSYyY@DJ5)^Cy5#m4# zRp5&4inzQdqGheFeLVUiKI7m~qr^~w?UX*QH&-~L#|gP_2dR5amHur!&&ZngpcV6U zGm(#aH$cQW%C~J3W)kPT+&-KvIPz!5oGT5Ea_NSU8OhdLLK(cr=K_|b4^@H=yuSoXYws|L{tIdjS&%v8X2*D39NFF zS%vWR5M~^X_@w^*TaS;N9wx`5uzvav()Sj)oh$B2OT8gU6!nt6oMaGT#=_3<#pM}NMD*S94l`KyDHhS9V;wqtE()Y@yrr9xy z{)CXN@9nJu8=qcU;*D%K1sUiWjN(0m4gbXG38ux-O?I97xLY^-zPhm%84$&N-(LL` zTU}c#cTWnRu$CR{PbxmyplbU#gu!3ljd@OJbg;6_KakPVM3ts&-gP!jRc*WHF0&i+ zu+puYS^thXPr9EGy7GiY+K>5jt{iiqXcwg+&!n2~wpT6jeF@R@tOs7!TCQha)2O{S z#n-2%t)UJJ>7b?zX?&%tqctFaJ_jiuf`=nE?pgotI zubFbv1ph%%ZcMfID2x3CoTKXRAs@cHm8AofulCu~!s97T{IcWnNqOE&&<8inANaO& zgb~>F6`&*~z#s2>=pv!}0v|2!$Xn@(+sX0k_^V6XtN5)P(rU>5o~zxdY8LWIC`Te= zr@lxH&o;NDD78S~lCQ)YZ+KZYELiDj-?EUiq}8>(5E_d~T2NkN$$#D-S#_PtZWq-W z-xTZh=k>s15keu1U)%c~9z8x%4@wEEu>% z*e{sSK6oS$oV3@iu-x}MBW@k1MeBW1F%J$HX{b_dLUv{ zKr_D<}_vs{0Q7A3i zWnmYoE!*F8y-xJ{o_j~L5A!@o7BC!52^LG6<}jtJ-x%wVm6ff;<(`vUk5rme{P>YZ z(>BQ?zI*?^92btssq|lSBZ)+U?jYUwkb17G3t@zZk8gLiZ8Vrs2l6lkAKayvtPTzi zFc$1+ERahEjL!Fc1;a2Ipi+{Mmw)6dm_g`Hj^pZZQT7xNWVq5#J(;RaD&SrLoYI$<8!YG^Kpc{ z5+qd#ZxqJw9W7ga-f5H*)L!zHyqA*9=`j({TfA3TX;Jq5x2prunoGA9U3}QzIW5GU zb=FSpSIz$N!`nxV*~E-wl#=Qbi=5#|a&2oQ^Xc^T*RL^uc78U1b4SCPGWD+NU#-na z0pe3he&RNNagb8mX{{}~;MP|?Z#?EQufJ7=V5Q`A5m(w55B9iZ7A=*ha)aIOxR~^C zhEzM;3!pdI76yt9++VDsMN&ubPP^K&taqn%fY2rH%+i%P8J&|?J zILGKDvzB`*;`r5?&JisRkq3OaDpj;E4gAE)!rq=|3~U9|P3?ZAmr^oVQR}n%xk82z zZ3Aq53_vIE4n3N?UWWNHedXy?Uzfa<*_dlk>cbcG(Mo`MEk)jOrLVu|q8T45lks zjPKEjFDy4O^eIg)Ha0eEcnvcHziJK4_^`pyd%UCH@si_X-vT*^A8>>=lNFGX{gid}FBN6c-7q8=lDfJxgk^Xp-Gmp7~2UJA2wC z)wvjCK>?$%$(b|lAiL|KrNc5{W+Lks7$~KuCvH`G$?)#oqafe1p?tCrGppK6X$=)^ z*(`MEOiS9rIvfnyC4&zhNOWm*HF!SEUsgYvYCP$y%zV}2`Ff$>8&9ZPCMG70NMr|F z@M(~+UAaj78@=5LV`F1wo}=mq4<1CBdK({gzUHf(UFLRYVUqw&yybpUH)xspKvu)PWf+}1dx|@NtvFy|_a|;qWuy{Pr z@1Nh=!L49TdGCpeWe!wrNw^;r5(sSR3P^Cua1YsX18YR{cG=J>m_0_KyYfsKam=^I zZ{0dg|7m2dVd_gYJEWh@YEG2++hla3?p{Ho{DMxV>2L7Nh5%{k)E0%danB11>T+)k zYI;pMpV#aH(#e_~1bh8ggnVD(G%-J`l{1&yCs-`m%>&LmynScxjdT#$B3>32Dl~wf@=}3i1@0l^^ls70s?4Vzm%0zE%^Cgq z^CN4W`(DnO*({xmBcJ`JTO<`?TSTfiplXnb1)o$@RDOXtX%#MD3wXMX_k~t#;2$V5 z+n3RtzoY0-FM=31FnBBw$r&iog>>hRv8}Dp0`Ww4|JCJwWARB~z>j-)D589zse)&j z&KLJ%k9}U9>3m*N510S}SYKZscQTJ09c^fDpMEZrvLqkrSp#PiI2NGV zlX;B8%gbwE2BUM$-JJjh0NM+r3mupt&jY89R^|H5d4+V{dqUtWLLoVz80)2}613k9 z3`8{SY;p{iIv9g$$=24Ev^1h-|0;mr+}ynO?l0w_KihZgU;6PtnB;#h?hKts*z-1Z zckgv_auR^d8d#!G$ANa^AkTB$u6S~D$c=*mTplMN$_yOZHWb353l!Al<>f|bQD849 z<_pp{c#juHsyWuz*O8))2j)n-SRiLeNXRL7dC1KA@G5WxWQdO7(MFe_piRDvBExpp zvi>x-wlcp8SPxB06At+KHCp%HX5;v{sF;{oEm(pk=jI;nZ2xW^9TkRgSzcdnZ46=J z!C>w;HtO$YW_D`4&sgLT(|q#_Tq7Qjhuo+~=X#nBw!L}#773+Ar#JqjW@yY^M?m*Zw{|(`DeBRlyZaSZ?d2<(33qunV*4$E-IaBCa{Q&jH@bQHq>-wtztwl!uXS2)Q7rY<< z6TN(6b>4W0#EKHYhYFQ4U3YhH0!d#vY??s1H3bOE%Z20^`ZQD@Bn<=_l1ePFu(H|{ zZS(+AD?w-o$tXLGP>x9p1BYvAv?dtO%*@PMcrX*Qvym`#@N6X%6*+l$c*u_)h0^JP zk-fhG-J1Z~*8t?VVDuVbDoreV3>X_~<9Uk%$Zu8c^yy$tsqsWhIbyIBtV*ErSx?T) zgrndoU0pE;2Tj*cN$Mbiq!@DWJpv8!{vj zfOVvers$jtGSHT`wkae-22=+!EMP*m(u(N3ut1v7H-9Ys1%qx-U`fdBmrzo|z&#_! z;ldj-KT0(~f_t$19{|OW91fSi*DDIv^su3W@N833QsfRDIu0u2t*tE-zmQ0=*il;vyd|4TOO?qgs76ZdaR?IY04vn?cK zW%q#oKs_u7$eOn#UtiaYBcjhhIe|n8@Cc|Da&d8S_fdw~tvV4L4p-DEbph7Yupx7} zaD=i_D3PGWLFs3IKv1!~F&&#`UL;xb8#L185Q~PiM<60=2E{twb3_#d9>6OFM^Q)j z!eav%Y+iGiWWKYJb0| zJEXph(=`@|OZoNnVxWg8Dl0MnA(JmoKTGLIMPh^Fs6-{~yfy-6p- z0gc##mi5bEsrW9Y|4KB7_?@9XL(vWgxC{Zy-@knnheELY{d-tsrj z-rf%i3k$IqVrKoTs;ei#ya*r=ONm26473f%Q~_xewE^q$scC8b@7{&MD>(_HXAHxO z+6gE;fTN`A1&aZWb^;bm0)e39x9oWId!GTib_asw=8p07BK?UJ`<}b9q)RET|N|G(Z=9M?h9^4oqB)8)J>#X&U{o&_YdR zWU#llpO~L#hi(t>qCK!x38&L_;HmbNI_UWY1T=Maa-drNXXp3i^z;KpCYHwDUhbWp z9lwc?Js1H2R`|y@2mUGY^I={BD^@a>jTnX@kUReGSD3`uFme={F&If@XlDNZ{c(re Zbi-&sC2Z+DeCYy%sp07pB?QON{{i2wbqfFh literal 0 HcmV?d00001 -- Gitee