From 78ce50db9ac7206b9def97ad07f961a391548449 Mon Sep 17 00:00:00 2001
From: Zihan Ding <1402434478@qq.com>
Date: Mon, 2 May 2022 09:54:06 -0400
Subject: [PATCH 01/10] update 2 images (#319)
* fix chap12 render
* add distributed rl chapter
* fix bug
* fix issue #212
* fix typo
* update imgs
* fix chinese
* fix svg img
Co-authored-by: Dalong <39682259+eedalong@users.noreply.github.com>
---
.../distributed_node_rl.md | 4 +-
chapter_reinforcement_learning/marl_sys.md | 4 +-
.../single_node_rl.md | 2 +-
img/ch12/ch12-marl-train.svg | 1202 +++++++++++++++++
img/ch12/ch12-rllib-arch.png | Bin 108837 -> 298231 bytes
img/ch12/ch12-rllib-arch.svg | 222 +++
img/ch12/ch12-rllib-distributed.png | Bin 71340 -> 161161 bytes
img/ch12/ch12-rllib-distributed.svg | 242 ++++
8 files changed, 1671 insertions(+), 5 deletions(-)
create mode 100644 img/ch12/ch12-marl-train.svg
create mode 100644 img/ch12/ch12-rllib-arch.svg
create mode 100644 img/ch12/ch12-rllib-distributed.svg
diff --git a/chapter_reinforcement_learning/distributed_node_rl.md b/chapter_reinforcement_learning/distributed_node_rl.md
index 506859c..dfb5b90 100644
--- a/chapter_reinforcement_learning/distributed_node_rl.md
+++ b/chapter_reinforcement_learning/distributed_node_rl.md
@@ -20,7 +20,7 @@
以上是两个著名的分布式强化学习算法A3C和IMPALA，最近研究中还有许多其他成果，如SEED :cite:`espeholt2019seed`、Ape-X :cite:`horgan2018distributed`等都对分布式强化学习有更好的效果，我们不再做过多介绍。下面我们将讨论几个典型的分布式强化学习算法库。
-
+
:width:`800px`
@@ -28,7 +28,7 @@
Ray :cite:`moritz2018ray`是由伯克利大学几名研究人员发起的一个分布式计算框架，基于Ray之上构建了一个专门针对强化学习的系统RLlib :cite:`liang2017ray`。RLlib是一个面向工业级应用的开源强化学习框架，同时包含了强化学习的算法库，它对非强化学习专家使用也很方便。
-
+
:width:`800px`
diff --git a/chapter_reinforcement_learning/marl_sys.md b/chapter_reinforcement_learning/marl_sys.md
index 4b351b6..4082d3a 100644
--- a/chapter_reinforcement_learning/marl_sys.md
+++ b/chapter_reinforcement_learning/marl_sys.md
@@ -2,7 +2,7 @@
上述的简单例子只是为了帮助读者理解强化学习在多智能体问题里的角色，而如今前沿的多智能体强化学习算法已经能够解决相当大规模的复杂多智能体问题，如星际争霸（StarCraft II）、Dota 2等游戏，已相继被DeepMind、OpenAI等公司所研究的智能体AlphaStar :cite:`vinyals2019grandmaster`和OpenAI Five :cite:`berner2019dota`攻克，达到超越人类顶级玩家的水平。国内公司如腾讯、启元世界等也提出了星际争霸游戏的多智能体强化学习解决方案TStarBot-X :cite:`han2020tstarbot`和SCC :cite:`wang2021scc`。对于这类高度复杂的游戏环境，整个训练过程对分布式计算系统的要求更高，而整个训练过程可能需要分为多个阶段。以AlphaStar为例，它训练的智能体采用了监督学习与强化学习结合的方式。在训练早期，往往先采用大量的人类专业玩家标定数据进行有监督的学习，从而使智能体快速获得较好的能力，随后，训练会切换到强化学习过程，使用前面介绍的虚构自学习的算法进行训练，即自我博弈。为了得到一个表现最好的智能体，算法需要充分探索整个策略空间，从而在训练中不止对一个策略进行训练，而是对一个策略集群（League）进行训练，并通过类似演化算法的方式对策略集群进行筛选，得到大量策略中表现最好的策略。如 :numref:`ch12/ch12-marl_train`所示，在训练过程中每个智能体往往需要和其他智能体以及剥削者（Exploiter）进行博弈，剥削者是专门针对某一个智能体策略的最佳对手策略，与之对抗可以提高策略自身的防剥削能力。通过对大量智能体策略进行训练并筛选的这类方法称为集群式训练（Population-based Training/League Training），是一种通过分布式训练提高策略种群多样性进而提升模型表现的方式。可见，在实践中这类方法自然需要分布式系统支持，来实现多个智能体的训练和相互博弈，这很好地体现了多智能体强化学习对分布式计算的依赖性。
-
+
:width:`800px`
@@ -10,7 +10,7 @@
我们将对构建多智能体强化学习系统中的困难分为以下几点进行讨论：
-* **智能体个数带来的复杂度**：从单智能体系统到多智能体系统最直接的变化，就是智能体个数从1变为大于1个。对于一个各个智能体独立的$N$智能体系统而言，这种变化带来的策略空间表示复杂度是指数增加的，即$\tilde{O}(e^N)$。举个简单的例子，对于一个离散空间的单智能体系统，假设其状态空间大小为$S$, 动作空间大小为$A$，游戏步长为$H$，那么这个离散策略空间的大小为$O(HSA)$；而直接将该游戏扩展为$N$玩家游戏后，所有玩家策略的联合分布空间大小为$O((HSA)^N)$。这是因为每个独立玩家的策略空间构成联合策略空间是乘积关系$\mathcal{A}=\mathcal{A}_1\times\dots\mathcal{A}_N$。而这将直接导致算法搜索复杂度提升。
+* **智能体个数带来的复杂度**：从单智能体系统到多智能体系统最直接的变化，就是智能体个数从1变为大于1个。对于一个各个智能体独立的$N$智能体系统而言，这种变化带来的策略空间表示复杂度是指数增加的，即$\tilde{O}(e^N)$。举个简单的例子，对于一个离散空间的单智能体系统，假设其状态空间大小为$S$, 动作空间大小为$A$，游戏步长为$H$，那么这个离散策略空间的大小为$O(HSA)$；而直接将该游戏扩展为$N$玩家游戏后，所有玩家策略的联合分布空间大小为$O(HSA^N)$。这是因为每个独立玩家的策略空间构成联合策略空间是乘积关系$\mathcal{A}=\mathcal{A}_1\times\dots\mathcal{A}_N$。而这将直接导致算法搜索复杂度提升。
* **游戏类型带来的复杂度**：从博弈论的角度，多智能系统所产生的游戏类型是复杂的。从最直接的分类角度，有竞争型、合作型、混合型。在混合型游戏中，部分智能体之间为合作关系，部分智能体或智能体的集合间为竞争关系。复杂的关系需要更普适的系统进行表达，这也对多智能体系统的构建提出了挑战。多智能体游戏类型也有许多其他的分类角度，如单轮进行的游戏、多轮进行的游戏、多智能体同时决策的、多智能体序贯决策等等，每一类不同的游戏都有相应不同的算法。而现有的多智能体系统往往针对单一类型游戏或者单一算法，缺少普适性多智能体强化学习系统，尤其是分布式的系统。
diff --git a/chapter_reinforcement_learning/single_node_rl.md b/chapter_reinforcement_learning/single_node_rl.md
index a3f68f2..30c9079 100644
--- a/chapter_reinforcement_learning/single_node_rl.md
+++ b/chapter_reinforcement_learning/single_node_rl.md
@@ -5,7 +5,7 @@
我们先对单节点强化学习系统进行介绍。
在这里，我们以RLzoo :cite:`ding2020efficient`为例，讲解一个单节点强化学习系统构建所需要的基本模块。如 :numref:`ch12/ch12-rlzoo`所示，是RLzoo中采用的一个典型的单节点强化学习系统，它包括几个基本的组成部分：神经网络、适配器、策略网络和价值网络、环境实例、模型学习器、经验回放缓存（Experience Replay Buffer）等。
-我们先对前三个，神经网络、适配器、策略网络和价值网络进行介绍。神经网络即一般深度学习中使用的神经网络，用于实现基于数据的函数拟合，特点是可以用梯度下降的方法更新。我们在图中简单列出常见的三类神经网络：全连接网络，卷积网络和循环网络。策略网络和价值网络是一般深度强化学习的常见组成部分，分别是对策略函数和价值函数的近似表示。策略网络即一个由参数化深度神经网络表示的动作策略，而价值网络为神经网络表示的状态价值（State-Value）或状态-动作价值（State-Action Value）函数。这里我们不妨称全连接网络，卷积网络和循环网络为一般神经网络，它们常作为基本构建模块而被用来搭建强化学习中的策略网络和价值网络。在RLzoo中，适配器则是为实现强化学习特定函数近似而选配一般神经网络的功能模块，每个适配器是一个根据网络输入输出格式决定的网络格式选择函数。如 :numref:`ch12/ch12-rlzoo`所示，RLzoo在实现中使用了三个不类型的适配器来使得强化学习算法构建过程有自适应能力。首先，根据不同的观察量类型，强化学习智能体所用的神经网络头部会有不同的结构，这一选择可以由一个基于观察量的适配器来实现；其次，根据所采用的强化学习算法类型，相应的策略网络尾部需要有不同的输出类型，包括确定性策略和随机性策略，RLzoo中使用一个策略适配器来进行选择；最后，根据不同的动作输出，如离散型、连续型、类别型等，需要使用一个动作适配器来选择。介绍完这些，我们已经有了可用的策略网络和价值网络，这构成了强化学习智能体核心学习模块。除此之外，还需要一个学习器（Learner）来更新这些学习模块，更新的规则就是强化学习算法给出的损失函数。而要想实现学习模块的更新，最重要的是输入的学习数据，即智能体跟环境交互过程中所采集的样本。对于**离线**（Off-Policy）强化学习，这些样本通常被存储于一个称为经验回放缓存的地方，学习器在需要更新模型时从该缓存中采得一些样本来进行更新。这里说到的离线强化学习是强化学习算法中的一类，强化学习算法可以分为**在线**（On-Policy）强化学习和离线强化学习两类，按照某个特定判据。这个判据是，用于更新的模型和用于采样的模型是否为同一个，如果是，则称在线强化学习算法，否则为离线强化学习算法。因而，离线强化学习通常允许与环境交互的策略采集的样本被存储于一个较大的缓存内，从而允许在许久之后再从这个缓存中抽取样本对模型进行更新。而对于在线强化学习，这个“缓存”有时其实也是存在的，只不过它所存储的是非常近期内采集的数据，从而被更新模型和用于采样的模型可以近似认为是同一个。从而，这里我们简单表示RLzoo的强化学习系统统一包括这个经验回放缓存模块。有了以上策略和价值网络、经验回放缓存、适配器、学习器，我们就得到了RLzoo中一个单节点的强化学习智能体，将这个智能体与环境实例交互，并采集数据进行模型更新，我们就得到了一个完整的单节点强化学习系统。这里的环境实例化我们允许多个环境并行采样。
+我们先对前三个，神经网络、适配器、策略网络和价值网络进行介绍。神经网络即一般深度学习中使用的神经网络，用于实现基于数据的函数拟合，特点是可以用梯度下降的方法更新。我们在图中简单列出常见的三类神经网络：全连接网络，卷积网络和循环网络。策略网络和价值网络是一般深度强化学习的常见组成部分，分别是对策略函数和价值函数的近似表示。策略网络即一个由参数化深度神经网络表示的动作策略，而价值网络为神经网络表示的状态价值（State-Value）或状态-动作价值（State-Action Value）函数。这里我们不妨称全连接网络，卷积网络和循环网络为一般神经网络，它们常作为基本构建模块而被用来搭建强化学习中的策略网络和价值网络。在RLzoo中，适配器则是为实现强化学习特定函数近似而选配一般神经网络的功能模块，每个适配器是一个根据网络输入输出格式决定的网络格式选择函数。如:numref:`ch12/ch12-rlzoo`所示，RLzoo在实现中使用了三个不类型的适配器来使得强化学习算法构建过程有自适应能力。首先，根据不同的观察量类型，强化学习智能体所用的神经网络头部会有不同的结构，这一选择可以由一个基于观察量的适配器来实现；其次，根据所采用的强化学习算法类型，相应的策略网络尾部需要有不同的输出类型，包括确定性策略和随机性策略，RLzoo中使用一个策略适配器来进行选择；最后，根据不同的动作输出，如离散型、连续型、类别型等，需要使用一个动作适配器来选择。介绍完这些，我们已经有了可用的策略网络和价值网络，这构成了强化学习智能体核心学习模块。除此之外，还需要一个学习器（Learner）来更新这些学习模块，更新的规则就是强化学习算法给出的损失函数。而要想实现学习模块的更新，最重要的是输入的学习数据，即智能体跟环境交互过程中所采集的样本。对于**离线**（Off-Policy）强化学习，这些样本通常被存储于一个称为经验回放缓存的地方，学习器在需要更新模型时从该缓存中采得一些样本来进行更新。这里说到的离线强化学习是强化学习算法中的一类，强化学习算法可以分为**在线**（On-Policy）强化学习和离线强化学习两类，按照某个特定判据。这个判据是，用于更新的模型和用于采样的模型是否为同一个，如果是，则称在线强化学习算法，否则为离线强化学习算法。因而，离线强化学习通常允许与环境交互的策略采集的样本被存储于一个较大的缓存内，从而允许在许久之后再从这个缓存中抽取样本对模型进行更新。而对于在线强化学习，这个“缓存”有时其实也是存在的，只不过它所存储的是非常近期内采集的数据，从而被更新模型和用于采样的模型可以近似认为是同一个。从而，这里我们简单表示RLzoo的强化学习系统统一包括这个经验回放缓存模块。有了以上策略和价值网络、经验回放缓存、适配器、学习器，我们就得到了RLzoo中一个单节点的强化学习智能体，将这个智能体与环境实例交互，并采集数据进行模型更新，我们就得到了一个完整的单节点强化学习系统。这里的环境实例化我们允许多个环境并行采样。
diff --git a/img/ch12/ch12-marl-train.svg b/img/ch12/ch12-marl-train.svg
new file mode 100644
index 0000000..54ad1da
--- /dev/null
+++ b/img/ch12/ch12-marl-train.svg
@@ -0,0 +1,1202 @@
+
+
+
+
diff --git a/img/ch12/ch12-rllib-arch.png b/img/ch12/ch12-rllib-arch.png
index f172c12e537690e37a58cf5283891498e654049f..8946af194ab279fd5176beab7b5185688184a47d 100644
GIT binary patch
literal 298231
zcmZ^Lby!sU_qC2RC@2aD5?+;VP^7^?=^T(oQc01{aYPUVL}?_I9=bavq!An%hHe;o
z$eH&HiuZnhFFgK%k1})4*|GN8YwyqTQ&MI#6|UID^>%aXodr~OYW(V)Q|_)w#nOxhe6&j)UbE;uE)K#WAY+ht
zbME|Uf59Vn-d%gX^PL{eeK@0!HrZXOK`*^>b)`nHBGH_c2dfokmtDH
zuiC3sNj@h$+o0j<;}hTC4^A})eV>?^=%G%#f2!RH{z3_wL=J5TY>o
zO5Cqe^22Fye+*SkiJrAVGak-A5hoJgtt0IW784a+VIy8R{lc|Zh^H%F&Op>PG``Dn
zRb3T3oFIJ<*|b4-q&fC!P0p%1fT{>b${pC;_P1WzEJ*vF9t;HR-z3Dic4%tWX`b8I
z*xWQyp~zRVqTyX_53Aanjh@IV86$e~a%EOT=H-Upq
zam?l`clVK5N7U&iI0u!)*^u@+?CR|7oNr#lKOf2hh2qkQxjR!Z7=1J!_xU7xx+B=%
z)ow5Ke`m|7ywca-j~{#``18jLLa`>c_3t0iHPJ1%S|rpTalu93dA*UcOE18t=4eO9kbC1z
zlrzymLLRG^>6r0r6Fa+2b_uCha^!dWubi6kwF5XCEnX4&o`NG4PB#2TyGDHKdLS#@
z$<3(7ma5_saVLE`f)Me|_}vDk`uF08&$~Qq@~`}JYT81DKzj=dh`mmydTpDkYnMn#
zmqt_$z7!P|<<``Q|8VbTi0TXXqZ})>y|qMBDUHs)bL!We2R$TgFo+^!Vy5t9hcMIc
zU5Sj4aHlBPWq0hfc5t}szNi{c1YlAP9grm=!?BOg`Wg@7={i2dZj(TLv`zJ3n~39qUIut{`y#9r~1y$k7lJs-)K$`2?J)RJ70Q^=XS=|wr4J$<*oswQN#E5
zMtEVv%pUZb`U3j>mrwQ1Ip||bGVX$TjwE;0EAy@&+Gl4?2S!JAOUp`GiawX09{08G
zxYmg3SW%aaB!?7IIuQbGZS9uk&JZ&t4J^P6*40Ulwpr*#AiKBof;`v{ham?x-|+!V
zA!FjFNU1Jj9slQayrhb)O?(oR-`m@}7K?OeI)v*Vfp_~#s^M*UTa;vMY-|%w5R}uL
z=cA)}>IYCld$Jc5dD>zE+uAkT+ICUXOG=_8rw8FVr~(M^&7eh2RiF7K_NI^TsDy+0
zi*LQ0beLX6)Wm!2wdq^q+6x}J8*+<(oa>E87q+|?TFXAYdO*vFL_81gyKQy|JVej!
z?v~n(?Y%vW>>QsujAi@hJcyW)Y%Zqr?dX@olJauu4c#?t7=_4>>&Tv75fdqn3*ufE
zL@XvIh9CAsESnA~eJ>@BeL|=xAjDZSqNP^k{%k?~k>zd>W?kGz*lCqSD?(`7;o=z~
zRZ8}Q=@PmbvrE7CQ8QL)b*zeJXJ;qivy+NFACzpvY-6m-Es%Mm494X?L40#;?z-je
zIm6R^5*aMv`KGnAQz4Oc#%MXG2JQMxUmxiaP=&%-`o%78%7jk0TWGiF>+7qZ6GI8s
z@nqqSK0W<8{cn>ge*1w2o}qMGnol7@GpSE4oQJ4EB7z;Sm7jJ0ckIy`XJ;u(>dKw|
z9XPYMUmfhMEVqO(1-@=mv_uRIEjm7SzA1IR
zqpCfScnRR0QFGnp=@DH4|M=$E5kL-+CH$94@k
zh2725jSWMe
zcCUKuX-8ulWB2q{in~!s>1M2%`Jj;B{^^+|!31p%qBrBJIefkHEV%luNigYr^Q~9;
zv9YmI_jz73H{4nciO5p^s&ke<@vi#TacPoxrt7|Se+VmuhUM)H8FK0{LK&G_MgSnc
zK}Y8r9-i)%#&){-w^+N4lDziigIe>x>*jb!8=n5a+&s|xJfCJlE;wMw
z*;O@K9olZ^mX$@VtgiOK@;gS&dCJZrDr!U{l`ee3_wT1wa@Jr8*UdQ2UZJt%?LcsH
zg~O8i&elRNtS#=yBPNu8Qf5R_T^vcA
z%1Xx6mw!J`J;N1+M34##3&%xkX>p!j56^?(po^qNFGZyg`%U?*nORvT2L}i6q5zG|
z>}((L{X}tINe$Vy$ETY@Vmu!AOU#GQ`drVXx^BK=`~;j1~QjZ@!RSFn8^MC{xP|o=&yj)QaFvF02f;v`CM#2X^#_y&g5j
znVhxK9I4F87kg{W>ZfxCbpSFmjRulmTuiZpLeX^C+$}H7ythuU&rT<)pHaWJ>S+7z
zYe}Vr$>JF`j)D6*v>bX)_hWiIcRWn~S;A_z{U1-y<}i*>ss)~&=oGRHbhW{a7oM>a
z!|f9@^zaT4&QpQQow34U-fdjI=kMOc`?VEplSQKY=x=iW?_a_nC0OUmRdP1;-VK0r
zN!KWKd;(v`GTr5s6&FTW!r>Wgm26&f`~+InEP|%`t8>}=OAmA$U0t;_b5oQ>!U)U%
z_e%eEx$i;Ya5$FM6b`IM5!!;XBLoZb_L#ZO2##ksP>cR-lji1T
z@5g>TY&Z2(-ENh3dZ8VhQps-@5R5*#{-5johus)l$65S1DvaxS-SzuMpRJu8-|*-t
z2d*!a|0Z6KeH@pzp2=ONGrW65@Jp~Zd38iR6^aoeCvgcYDJj_$kKI^&ufTdn78wZQ
zEaJ62x;TYu`*|lkFI+QFW(jlmlg@)PY@$Le;=08=JTQeAD;110-YJ%TtmhLZDIGcNZ{sBL9y!{_`l%G2F!lScBXFX{cXngYkN3WDikey?3c>
zETPX>wC>w844hCc5#Ri)zY89Q<3m1g1hOjaX^T4j2?@x2LCG|AU@Kqvy-&%nQDx6^
zi(guR(p2~VIxGzPjAjvP1W>1l?MKXp|$DY0D45jj@X6R=qm)W5K_X+tM?dhI(0
z)dE>qSPY`kp70`XqoY8k^OKJ>DVSPi_(sOYF0Ct06=s-EAWx_4Z_Ys-LAGXD%k%ST
zTeJA2bnmjVIHnF(d`FAUfxxLP4K<`pOicT`pu(_!&H`d0XkTh8{}+O^0%8sL<$GU(
z&$0@YT!Q_B=O!k1V&dZNeG#V0WaMRh^?3Ye;*-IqCaHAUO2!6@E!(R1XMCQ$wD#x#
zRRGjd6Yk%1{y3)ipq@@0~^;qTgOP4Oi(H!K6UeB$nift56
zHVGiNyeYN(OQAs4d-M!yjYGgsnMTBTU-9QNh@F-b373+qVQ{apj}60}(_{2JNFHag
zA+KR;2)|YB@#KJahO}K-_!&1ya%*jOeah0qql(`ywUwmz-fJtaS4(|a%L~1!-h`3O
z<~B`*}5|4E+9=8TUj=`+whjBhlW
z&#+Fr`(7!`w}y$E3EIuES`03#jDC{D_RQ{7g
zd(X-l*L?%@j52dYV?fDzHP;zywy70HuCtyLX=!AX2qOwxP`fjJcAo70)sde2*pg?F
z3H;QfI`Y4@IfVrm5qrS4z(U?jx^FR%#qc
zM9~OX8^3@5-kVTJ-gKTZLi~RM_}{#H!J$-spgtnU*3eOiLsdBIFcpI%b70HvB_@*U
z^XaTM?CDK1#ekMcKOV4jKY)2GVG5ks#xXM|C)yzG9~9~gV;R)p!0xqufY48xYR#Ub
z$Q->o#{>fU>>tI&#YEDUyD26A-q`;{G4v%tW@e@_!2eCc(kYn>j`PHuFbg1qAtB`C
z#=Y|b=8~sdN0zbM9+h=xN_q4$!5^N>%>GiW>l!AqjapKh6=-Wuy<2ATQa6-!aY>1W
zbIb4kO*EREIhM*7%B@NAj;Ac4=5+3M4(dmw)`8nVF8n|w?_omSqhZK0+&tfHWMBz)
zcttVc>O14@&80LNn|73tHh5Lx;ruz+!_
zRyA{MXUCBOb5-5ycR+q=`(ikiL4LaN*pq8Jq6G@Pyu9km#Q{!$)vlH93z9kcwoP8L
z^(GW?-{l5Gv##lS6-TZx##0{>%0d`P9;sr%si+II;Q2>KN3AWnGnbWBPrp$HZY$^?
znDGv)9C(z$-rcxr+q-(p{K@HYfzyctW4vZ4@xb>y;k~XNeF_FWZF#vD?GyD&cJ*TrdKONMazKdBWJqf$GhGT$xbJr>U!%e
zw3aXs0+rYxI^#rKRGxi(PfG9OhFT>QiBt#)Drd|SH_a2L=(~xja1KNZEvlk$~ue$>dAEn{oGy3?+lkO0-^b<`{b4
z=7IOl0abg@g`z!X3wzY+sHKffPUiCdBD1#o*E3jA
zur^K0zT7*I>4wSryIUR(``w7
z-`=rUyR6~#JL94>FQn23mOj50dq!yfB4;KE^`rSNO3w`FHmy#8GS}o>1ue4*J^Gf_gDB^&@h!_6C0R=ylWZ_<=Qtdh_2t?U*6iX
zXM9Urn$jom>ntWK!lZOR4-kB=J32X4u*)^bCvcsI@_Ij3nmfgx0&f)h@C2PF0L|)Qr5(Ntmo_e122Ye?+JiU@cJGtGNSq=V_8lpR!QW
zrpmdg{Sc)Lx9Cdn|1<&&sPZA}T-u4TvI|VreKzn-{~PB2-W6-A?<%%n
zY*KPFia|Cn38vi8r@g)Mg2$La@_kC0hlNc4koT+S;>VLab~M3F3Tg4PV3enXU|Daldu^WSUkh{
zl#%k*?*9%~v0n{R4~ud>2%YQ#eDkglF^T5TF}e0v)HHYv0+}%OCxv8wl8BPNmmvdS
zD?{uXo^|_TLKOwUYN4k?KVK{wt+42l+w(|=6JjM;VG)tcz^nh?4PRvrN&9*GPva#g
zRqMwa@>1s7Nqyd8Hc-iZ(!M2qk++srDMj^rie-TUt{vZBPeZAJJ27V{GkyhRpqBs?
z1dv(-9Z*xl6Sy8rvj)Dj@FMB8N8C9+iVH$HLO%csY~sJ^ALFw)wI3HJTqw~h#;jyI
z-xv0WvgghNUq?~p9eTp)xZk~zuDkh5drt7jxeSS@zLhXUWPXRxwf2sG@!1^kVLEg=
zxDFSmm1GQu2%uO{TS6*wdazsau?N${)yV29sl}3)Di;~znO_0A0DCnTjrK?lM0|O9
zndE2Jc2!f>j87b{%8n$IS5zQ;`nM-T*hdiB{$-Q&+xu
z5<}e}M%?$-P^mq@i9>glOx@gs-R5GQ>JJbY^s8-1Q%&@K4Vy}_W@6{mf5tN$I5@3^
z5_WAPz+Jb;>i7W9LsbH}(6&TBC|Oa^QF#9CEM4I3q6Sb#Mg~^mG=e(o`=T!Lph7mH
zte3~}K%&GX`?~AH>2rOdH-0^nqb%Y{;)UBI00VIE@EfHW%vx+;+
z4y}2^l9c>Rxxv$~i9%O@xC0_U3U9-RVyl^}pxYZQuHf1PZ1_{8voRC@zOWKQ_wu8t
zNMDKT9w!&c#R1_JOTmAz;O`v=2#+RjmlO~nU9La;PwvA&5U>loSw&D*AIPMs&#)B;
zQD80~;72-g&OgNC_kD0($_owvkN0J15B8=iwtc|Vx3=<{G{Yy_
zm!h`1KyYlUmqN7C^2ffdeFuEMT&XSiM5*o8s;yPGD8FefC-_7B>Ck1{G4eZ`)+M3Y
zo7w({e>KW*MTvy=jiNm&3w9;bfUJ~utlN}oBX{5I`iK3o4i`m1Pk>rNE~!3F-ANag
zF;+PTQ4#CCWhK=Z_vyEh7=MMRc^^NooCff%_QUEOC)ZiQC9y0jp&9QC^*Z!QqP;jL
zs?3Wtm0b`*mj5_O4GDuiAcWZUql5CA022+Ew_;s&9%~}snrE7+H!5iDB{vOu*g6Jq
z=tP`9Sy@?yT|2PUn_Hi19^Bt|op4y!r2!O2fiA&>(5|h4FUl^dOx*KMjW($Z4$OCd
zLlpT{=EJJO@^T?NTdj$UfKK)t0)fO~BBKo4(yp9D77q@IC5MzSy9A4h0t1PVbH%yh
z5C8T#2AM!kHx0dR16xCR+u&p7SWk8W5Ft#iaOb?yr0PrQ?RoGxAX^On{Q0w;U*mWh
zu~4vWxQ^+Z#E5PVMJo6%wA)!}wwje|82Md(ag%#qCj+6tq1Ddu8wF}BabuYIY;5;V
zIA#+AfU6`~{1Lnz+yq5YSZng?L^PtR&2oejs=
zZ`;VZi&!NmZC+z`zc)$9bF=zkJZ_DpwY6zQMTJQ+IWr%kIAqu!7cbUgd-!EJt?X}~
z)xHCKA(zGj{_RjQhVJM$(5x}$=D1JNb$KNT8~;-Md3}ilIZTSm@}Hl#CEnB~;qKoc
z@9NzLN+JE22WoT;y9P3m>baO&|935?G{HTNxPfWZ)Q{CnPUQ0PH>QL6pNY$Eh=Z{~
zKDYIe>fK5Ii8;^Jx%&5FTVHeY^70D1tlMfM>djbEC=D4pDn(SqdIQV1z3@ppt1pV9
z*Mq)`AN7iRle&*zFoTEz%R(Rbhp|#vf!Ul5X2&KT&VgB#pV=!*Ly$stzpw2K+tj44
zcur7yKA(5`ZVWO>*}c@cw6$UbIao#+phxB~9aF&1?3Vau+~u6ED!xrbJ7iM;LXMuG
zM^9u{QetM1K`3B{WkUZb15&hw7?+}_ro`H%mL2fN{$HYAy9x48AljfUl4vD-Cy8(K
zWR#WYUwP8t8Su;B_uH!C0DN*)IHt!?J1D2oCekXUiu@6l;Y`^fmvcY*t9OcC0dr!__lIwR$%Z#D#(xKBs!3heS@rGf
z-+przd()5oIr^l4l-}j?CphyBc9Khm2)_tIejH506v$iexx6o_7_>t$NQ@|ivftHx
z1GUq}RU`8B%^0w-(&fJB>6D|+3<;W^!89<5UH0780DPmXN&NkI;FwDS^2X3T)78CL
z;Q8a)7&0Yb%)OuvY`Q)(h28^vWjKL2s6r4w_ODxVo+U<39Z6FJG(V=-{Q01vlz`v<;)MbAN5i;XI#KAlXQY|QrU}Mu5;}Xa0
zb(QE5#HH%4TQO($0)yPomJ`lnDf;_85kl~#dJg?%^kPO%=d!S9p$pohZ3C&(0^vhM
zaUc+2B%;$J*Q88KweKjq&_Qq7>D91M<9J}EbwX>V&&$mUb_k=s+e(p^q+r2DJ0*TI
z!Vi2@;vimL%0oKc(l&VSehTc|-j^B7hCW(03-JQ{a?cHGyvU?C8XLGn9wNQ+L+ML~dl@d*+-YXTYSbMcD3Ql!
z^rsL}SnXT?P&DvodR&wx0~TLBL~H*-%BarqRC-1CrL!{UN~fA{$S-V0wR=%d#lt*D
zl32U4R}NyIsrkC#9u+=#b*!_Ia4-P8kmA#clxuJq_sb;^haqifI_0qik|Pf!Jh}e4
z@-M1ONF)S^apM8#VD#dS2^LjBg#6dZ6^rI`T0kvA_8^l*W>F{kIiB^$y4@o(i8awe
z6`iayA#=rDjqMR_`8fV|+V~Z}oGF6Y+pBvtg14$PkMfpdhi8;Oe7qT_;xK4#&D7eU
z%9+0#5V8L_tlSf
zX#xY@p3JPmH4|DGl)_Zw`cO5PqqWrvq)!dzpoUa@TUGoTc2RI`f)sMU;k
zM+ev-X{2Q4vm6eejUzSiM7kk_-AuXShAH*kc@9Uqj&ydr--}(v?le^pk9dAKk=viL
zGbl0guZaJx%^=m#(
zKNv~TO7KulQA;)4YDRD-vzFWsQWDZoDpD#(dJp0j$@QSJXTuC9_Gd)0aoXDND5bnV
z7c51~759r`QrfDjT@>yiu%*@v<8@l~^554@U((s;eECb+RA*#PxYRlpSbd5H^ehLC
z{q_SkPvY>794A&qk##0OgV)%eYZZZw9fc7VmI8H^m>(;v8@S*Q)x_?hjQZZ^tlA|3XRcdoXZQ}Av6$>iZ_ey!=>4UWyL04yq6xfERktgPPYfrUjCsF2a5gX5(x
zN&(O5Tl9qVyS4cBL6F0#wM6#wr
z3>FH~jtH%?8}cttC<8MsB2zlE3qGjKm1Ws>6eMkWtL*tG1G}G&FUqwcI{dVg-xj0;
z!y<5p8&R^>YMO|Alv2F^Fu)JML6W@;QHR2xyP!wQUFc=ao;_0&$X*2GIt1cSn$5i;UXUU1eVcIcG*3)Gp
zSH{*5As%iPHewwZ%u(zWwPK{SXr3OJW?=n+4&jZoto#l@V!x%O+nt)oxaoEb1qqbTf%awW96H%>ZK~fbYL18qRRldPsR5EvzVV>uZLB#Px-mA2!
zoD%Qaw7l9B4qdyk>r|jXXHzFl3^jMrJ$B2Ia;W581>L7s;Ymnc`^fUtfEk1z
zVlNhvJ~GdNw9`j#L=X$ya{s;V!|I+nb+m_P7Av=ecRr?z3oeA4($d1=5yP*xEiW!E
znApvue_<~k-3w{0IpE{i6kN~oSh1i)`miEzd*s4CZtiBQg*^{Ij&nM+#&04HI}jv!
zq?9{;?nYgQ*K@81?6Jp|`ur1p%|5p4C%VbzuxSvLInN*I9@5*d4-o|xywuURORs*?
za9PPD1~m96uvN;CiJoBfg#z)t5OJ4mPLPS#-H2!`ps)j_Dm*zE9`ZXS8M+@O%rbNr
z+^*m(tkEjY_TnyBG*`)$CUthSnyVXrJUWvWCIu02aEt|qrgT|}eZp+CarM&%WMz6Z
zDvyVuD*g^V4ETX>mg-fL)m4J>%8njlg8(`Uy4%zjC(ExtAHnq~F#3lYN3cg%)m@5@
z`Z@^a(F|OE#<5EJ2I1g<(YT1)Gc3YctisLF!KLb=C3D1P2-S|mGLLPz#-@RnRF_8V
z8{bli`=qa4gs$EgPEc0AJEkhXI4C%tqCA0cvkk6}F#F8qj2Ikb;m{gGRIhn+UB%N0
z9Ti!k_4J&4IAP_1(;8ZZ&&6vkOs`fr0Fm86o=p8RnQ;t-QqiSSYv!z@+f4?{48Hxm73MGF;Q
zmjtT5>0g553vYW1b!n;2Wv>VYIlbx?av=Paxyc@bU(;d!k#j|xy1i#dEtLujc01
z{{4Grr%4xhjLwRZic3XXy{suj?SY7Na7B!O%s#d-8GpW)TE9Y#oRX{|DXL%
z|8yl-dTyGZFOOj+r_3{3PfAu9s_w&U8h^_kSFQF%BjWKk*kku~lb@IIMrQC<9n7Xr
zq?%1Wrg`I%wMwd3+JZ#lmeT(#2|Md0
zG%<7&+cqa)S1FR+T@u=kPxwGd-5HKgHHh#33_3moFsYzgGgwBR*;z)<<->S#RE3|;s!TpS5>xC!wW6y&_m|0jGLjsQh&yL%s~8~>1;ahi
zt$tFls1~LlF;~1=F;S^wwQm>lgda@Le&l3x*!F9?^}r<@e@y+TKba#ZC3c@yr$oU+
zl+fi*fIXmmx6NS(Kcpf->TF7Oe0!7U
z{%M~teou~BI9x~}HwL#Epi}T`vSI}KB@Eer2ZHlpAUbnmuE^fz{`H{p5&ZXLB#9!8
zx}frh_|JcKdvLq0D8*>VZQvHic=;%yJ%G^#*dCj4S5cPj13HMjb@i&R<0+4b0}j{?
z`wLw$0{Vl}7v{WIiUK*$Z=vOy1>4x;nK<^j;+aH+gcgg$z)S-=p~)+#Z>+lvk7?j7
z1uK*L4C
zcJy!S#ccx}qm=Kc0BvX!0i;0oXFDsF6`*loO?{j*zYd%=;NO;<%iVlw2KYPsBb_tQ
zpN*GyDsMM6nDI+TcuzXS4PULZvbFV~5Qt@6G6;9
z-!x@uA{>gc{owYvAXSGw%GiCoQVftjH?2piZ@Dc8m-e|>lMhk!rLVA1`FE$VD4P3j
zv*{)Q8~eeNf=_>^d?0k|Emb@H8hRu0x3{-ptOEBkWlEN$e89NbM4je#i)wHHv*ZG^V2dhisH&Yh
zHWxrAPk&7}CG1=)6owa&Oi;^yurjz&#+CW7)yb%BuEz=+5kOA}P`K1A_@AzdK}kQs
zoNWHJjK`&RHQJTY*GjXQrHr^sC75J3CSm7cY_|=#(8K!RM&!pXNO4}CGIOtngaTws
z
zfZeXv<#>*v;2KNvbO1AQD=MOwJ$~vJR0<>u;^tr7@qV-dw?IUPC~J~OaHiPUeQO6)
zFTitE^&+bHo{dQDaQtr+N0e=phI`baieRJ<=Vk{-T#eqrc-SHSQMQ^OlWR&Bfl8HE
z#-crNWMyr-B}D2d&oqAF$T%71o)LHC3`ukiKU!V3n1aKEe#^XM#Yg_*ZuHX~Z5ArIVEyRjaVxe!w6)Bn7OKojC|47_
z0voN~@63UTp#LthFaV`3YPx~<#8O!4l$TH~FiW?_Q}hNcZL%Jz^6t@xXgP0S8%b&p
z3)5a9SXyh`{afb&;u3Bby>T_Iv|CJAOe~Hi^tG)sM4p!~x!!Tn;zIWMS#sAEw})If
zL5Oecp8iA?lF>ko-uz{W1xc}lshcxg~Wx{)$rn^cIp3w`Oi9ICic4Gg80
zW@f3&1wHdlX5evoeZ=Pmgk;OHy1RuVg9+qYGSYDNl89Q^zVv6bfD^8PjhSG%#Ph*I
z-@wB7MYNUtEYF@`$}AZF4H*|}Rh*K>(e?aNVLh7*=|?=Wf3t|;GhmKKxxp*ognn=J
zs&F~Ouj;7!6-9xyk>Q~s)@6K;Dn8gO`4#p|WCil#J~Du{<{p&S1o2_>5>F6H
zHAfNz1j+#7;WBbFO+#V8iN5kMCgreC-IEd))4Y3$E?2>h-eMS-Z%@YOJ6dlAVD|;J
z_4RX>1&j`*)YV&Yk8kt`$Qvgt77V*;6pw&z3^Q+V3EJt^PLQg)9!wO7i=KnDwi=3OR;BjWYg}sOx0gyS3!y!R7
zjj9&;03zfE-(&USSyvww!}3FEygw>oaOtJJktT!4dE`?u$R9|N)gzZYyr*!sX8knpuFi6^ZHp5gPZoAR=4_ZA};b#
zGqoJpT&`w&D3t1oPYO=W2O5J^>XbAKxG-$lo3iHOM8D@se|-*mF~?^&&SLBQ0E6nu
zE*w-FY@me8118EZD*bz+YZ2%ss9Hj#?@1_!L884;0Qwdl+V#sht`+}9O6$?`
zYjI*8U#81AXli4dIn9sm2L5ZLf9L44#oab*Us#U=a_b+ZyT#$JMGn7#Y;SP*r(O<)
zr~Vv>1MH-G>)1}Sbj+&vtcPXhm;~-F`mYz?&VDFXlCHovKfsw~o#Tqy^7y6>XTcNg
zV%h3L!6@FOju@=TeBU|ZWRc^7gN`z2?{?~&*rH)2NW>?k&-JkREYf?@Zge%;KK2UR
zm*`*$58De;U=}*fpBpb;)%FPDL|j!&C9K(CtGVKN)DIB_7B2aZMt=%Ijyv62V;mxg
z|4j77uKn7pW868+8!g=#CyR;(P=HEHZP1DWVwMW&)2rwm%L1ARpmNh%|692MgnS*G
zvdp{^dS2-0uHV1*p$7I0UcQ;>sRM$EM2gD@h@k-01anJ{KGtn#=d`@sT;=Pn6uM&-
zPF&)5tCd|ZY8NBDMKI<8F6x6!dPK3dd9fR_{n{naGk8*0c{j6h;~j8X
zwt8cECCYPaUYUZ@g7QmqO?sxhycOj{v?pOv
ziP-(buPUAvYzVHCXkx)_ou*A~vKeYcJ8ZwDx^Yd*6u$D&KkNWF*7K903~Lbc{~CnGA2A>GQe~7%B%*P=EUIKc?W
z(8+XVx4ZV-29W$5KKPG56uJH_$dNfqmE=duM#tC(G&!^C(_2cWc=8dbJ|#q0I&P~D
zzwDrtKbWihTTPc2%Vt7j!+C_2|C|{1$)AY;T;0E)@$U$QN)M<;X-K0!GkB@x#L?b1
zfV)_Zt5GG-(Eh`t`?pRQ+EBDu7T9RB)y|)84ZGDD9a>lP+m66P+mQo?5HP>)fSq=o
z@5;hnMhbefxsS6l17z|g?y7-YC0J2`*U?QcxGczzIFyG`Z~JO!;L03o3|J*}-w27%
zlu21fK&EIA1d8!u9F;k34^V7=J3De3xMBPkXI}*DgwV`VV0Xf4C*zInWGTTgA&-AZ
zzxmbi7q#UPAhu*zhPCNqewxjqb<1>oZpNy1$X)`crsK6vAKk%t91L0Hc$X5IzwaO0
zESWver@vcINnJ(b%JHTF8w&n6dk
z*pOt9L3bjYhBi3-m~&*UnA`4e_{-(wv;c5Qigw}+1LoyXDQeh>VEYq;A9+Ro)J=^)
zG^?4*rp1jWF##a}%^&gjRA@97I8?lcuM^s5JZZeR3d9cz#Dx#ywzlv(ajidDb`DxbNDvxDQxqTspvc0TIjly==&fL}9ii)M9q`E-qx
z(WJ@LSG#A2F|XHG8K(MdKfC+-Ptz3Dg%!)a6{vJ{Oe*NJCrx#K+&_O9e4qU{yPDLdx70}fI(DwJSq020|qR>
zf<-}SM|RJjV22Vxzv4kTDKnbRc_czLL*8bUA0^@0$P<0JYPo&2^e;ynhXHDgham|z
zu)1Yhf%DT)+$+!C@z_Q`fv=Kz1!xQCrimurv(xX6;d*d{9a4K^2V4`ePGf>>D)g8G
z?3wkws7R~edo&wmvGudcCN%AEPik^KXJCOF`(ls695@vfd|ZN_?Tvt901VEz7>pd()B5E!^#y#st{9#KxR$bJh4|x$8FV{P-
ztIYPC5_|u(1GrysTSGlU=hnR-%R{XvBNi(E<6Q870U&p22Z#Xp0pnd~HYLW7vZ>EgbeH8Yjm={FDSU6(kGJ&d()a?mpXTyg1WZ%6qX`z#8BOj`9J>)M|hZ6s%ed9%3)ZEy9dTj@uY5+B26
zCKfF=5Xb^CYA>m#Ah2fHNpKjEQvoebe(&*llF*-bsi%R;0HaheUsF#A0LrW)6gv?4
zy-bl!L=gIusfhuQ+DWpK08s^fDBQKSfkRs1*!0(_ppl7;m&>uiR8h?6217Tb(0l+1H8l
zgo|hZU0t;ozqX@K4{m_`g-<^20_?2SQZy*2g2qq}+_Sg+DvUY%LgZxEs_4}o;
zU*KbCl)%o}{IG)niL6xS6F5)fP)UoJo*wrS)*7ov!Ig
z#gndhIo#)Q35M6Tn8G(zp5npexAduNWx%Oxse8xzE{XZ(K*98M@*XY
z`*^r6zA^{+#CGTE&8NAAdf?PgMSFVS?e$PBL0u^#)sq&VIkYo@-1q|>grVun)@GCq
zC}r$1S_j)<xM$;OSl=3Gto%n
zNVdw&PT`3oBn0DzHbY}-b}@I45KfMc)Z2}bo>%&B#t*9r3luFDS^rf|o&w7fj77Oy
z2Uy&1m{=wD&+KVU!t@|2S#y!LIX=T;kTEdPr6CZ~@Y!
zm&4&K`(q3k#%!XVmf-~X1UWd1ffWe+W$Qgm)zxtC!C`OO(R-i;Omq7n=KMKOBI^3M
zuEO~nFeI?7i|I?-_u;6sf$cxb#;y`Ub%5Os&);bP+&uQ23`6$~$45jaAtZBmtofON
z-D9v~{J$E>_DISNsvDb029OTcJAX=SZ4UuSKJ$y0_Ta+*ISv4fsW=)8!pQ`j%=tNW
zBe)*Fk{0o11lHZz*d7FzH;~9Gip)Qc;RUn-!Cwq7OEgFHN^CfOI7sVQh?J!7J5%k=
zDyPT)yf?}Tj&eo1v5fUQ)V9tFa*ZO2yHYoDREx$o={82W6YHx`b+Rs3Q$&N1t)Dv6
z$Lb!!r4!_0H5$eB?SL~e?AC^Y4anhrZ~Hq~YQ-KbF@a1zoF3N{k0Z8uN-J6Y)V%fN
zuz6%T@cc?Q-Vkso{Cv@%Zd6}Pdf@nOBb)cW=?0+ExCG>^n)RJT`>Xi!HBjQY+xg2^^(eZ+Ca
zB7}xKM<^_*O`1e^zk6l4qyVV2R~aw2(HgpyyzCk~&;x54eKPcw{9x6p^$hdpyjoa;
zmDerUtg&h=uiAEOD93R`2DCzKqK$klI3~f@mU$pU{jgBehwKX
zLvp;q-kTVCTsG+TwVo%du8jPW9_;v&nCC(1Kx3B_9A+I4s`|*XrOEyBxab)Y0b@F0
zHs>424val*uLo&8@Y=6}#Kgo0k;N|RxZ}5nBw&liZz|(-kAeeo;sk1eAhMcjbpK)+
z&gy3oI9F_;&vsh@C{Pa3>ajk&L5`XtJnE&#Ij&m}3RERfR+)
z>l>I=tqd5F4bvDtmyQ(-7Gq$fvzpibPh`P|Cz&An*O+_1Bir}AZI7eszpUaon>K;b
z4UWuR2G`^`Z*lcuoZ?X2)+7EfZ$pDHhtLDNE0AVSL@>p{i5aO5zWW};MF6*&j
zj5R@o&8NcQc9($VJh@4&slA1vexj)6QWv$D{uba(X&L1Tyalj;jJJ%FM^>%CY6G|m
zITVL;uPx0IJ+ruNb-@HS2H8WPXmze5+%!d8QeoPKFE&2*6UY
z17ZC|K{k)WTEM-WP~Nij$nA{bp1!pAmc;*@P?u$yJ%R@d!RO5997!*`)ZCz
zAa3zL11qTIJKRYJuMlIY<_u2q|M$T5Z
zPcqsAcN-pwzq*x`wk~f2XXJ?QIzBse0?;p)p}g25*?Pc^<{Ea?w_CwIxC!2_C=NQ;
z7~WMjd`$0bvAs{JRig1p1)sn%2i9Wm8;}DC>PA1GHsqbYvcLttz@*D`!>mZXLvlIW
zrv>lX`!BCzcHbF{frAS*f5U(~OEUE*x>XKlvp>jn4tfQUAs7d2{IQj+kWD%o5^gtd#e$U`6elA<4Q9
zZy$_ZI(fC%Vu6HWU%|KA*sx+OxG_Ady!X#6b{bUub4Ik=?7csf>i?1U7GP0sUD&W9
zC@3m2BBCIuFr*+g^nemFFmyMPQX(MT3L*%o3`nPRN|%5^NOvnJH8j%F|9((BzUP(q
z|G)pcu5-arpLu5Qwbx#I#l7wg^_1KV%Dr;6=QXMvKIKe`mkIm+a&ULea?ftAvwX>I
z2jVhovgQ^v%=CZj+iWw{Mc^{Kl}n+}8D*U)%O=HWWv6_8l{1
z&iVLh_+0GHtntVB`THsB?cK&{(|oUVhK1kgj&IfPr@wFVf|bU6MXFnb=Iqlu&A7t#kd7^;dgbn=e&s21G<$)Z{t2ae5#YX=rKvkLgM
zWltU+xYK`6N`aDWiwvFvb9?e-zVTB8%M`_p?nnTT^DQYumv2!jcM
zb;$a1!B+Zfedqo5+Sb)j=&azi>_Bpl*&BkeemO|E8&Yu5TTB}Z{Xh7U?c#LX8>^UZ
zPLISOhbUZK>Js;91WwWJ<4#|b+c%y8#8ZXtM_9
zPD`@1aXnJEPAndtqCd>
zIT68}U`aIl8)@lRd>`;+G1`Qoju|ew%;4&12D9iy?M7B@M1ls0Z=^#u*OV(g?_Svk
zC{XNP)8k0f_7%}qA
zo2O4C87n7F_pL8S@}7R6NYOuZ=gMgSYGUH+PMhU&;?Ld@DCa7iyj6ePQa`pHv=N_r
z7OclsBD$mSCFnq4PWZv7Zly%ft+X$BRdHaiPW3aLv=s%x3iJMg1OSeztnrkO)f8_o
zCw&8Pcn?pQXI4_B7+xt
z*Ev*%k6sjYjbG5sDjQx&cFiAOwV8UX)ar=I>)pvFoQi@Hozb`r98>WN70NHr&V2U3
zZPrDBGlmHzoN>?)821wLhOiya_~gAyt}A7DuJGPs6FAcqI{%~hfya)(8Q_96fNIge
zCtmH(4YTs_eZ``9>;NGNZfCru(01Qh&Gtk}4eDw49s~v6$TYkA5h{;A{qEh4gQ~P*
zn#@
zvu%fjgA{QuywzgZRa6
z(b){7sBM+?B{f*W2Qw%HrR(~<`StC8Y{^7^rHsj2t;c3}C!g=q0Ty24b5(aM-ZoP2
z$6ysuj@Dc5+QEVEOQ3ifC;F^9Qf1~*bihg5rCXR@ZRZ<+hw0Txgj6w8ZW+u|3dd#%
zV_LaA&eED$=XgX;?Pb}Sp+s_Bsc^g0{BpUWwS7wHI{@?cy%Y3ZDG)@VM$}h7*Gl(+
z&AB!TTyL0jVfvY0mQt4i7|P_1pw4U`p>UJpoB?2uC**I;3N$FH3#aoDjmLNQ{YJSk+kYZ%{E62e0HH!Ij-p@ZG*odNC{E-AhE;h_9J9m
z$|2=cLYB(sCN|MJ%tHNdQQ=DcwO&e*ZAlR)8meAGIJ0q=`xxX47HfBaf5k*4^h`t!
zCC;ACi8iB*!v4oj-41{H-nIW%XH>`cb0%(%nvv)1?CgS?ow-lG6a4cuaMZ2q*BL*?4?1nvKLYyRa7st*PfjL}8WO(}CSCLouBlWm*61l~
zN&I>f^9VF5+sf=GGNB!vd=2Df7;f;)fqfosx0MbN`#O=Pvcr*#o!gcCZSm$&C8=*%
z+u&oTo{!cKx;}UBUGjaFo9`gul4X{ot!Ulxz9y-*`f|gB4ejvmTJcBws;w_jlblc0
zR(aJaz}S3$oZpYtN`HhzE9)ULle#bK?%DbErArHA{2zH2T1t=8H_4ZTkv7N9HMZI!
zu|GN_S-f4OSBH1X-AVPL8D|teCb0!D-v~LO4siuoWmpc0Ryw-6&lI~c0&WW$#+f#0
z75@`6kJI)QJ0g@kU0MM@xb*YFvVBeLPJgU7#8Vzpr9WMXnOK}p)ws~RAI_#i!E^eA
zyy}6?jKaM{h|_(B+eBmKcwI_wOM=*rX^PUrZy{Poq)uKCs=?pMY>hTVpFG1(A7+Y8
zZaJIqJ7C6@2O9+y&(K^6nrT;VFbF{JOg;Ze=87OcKR+LZK@a`(M#3aNH=L4BJ5lS+
z^5T-E+j8VLD9^7|@`Fbw>IcLv?6TPzd*<@x%k>wyRIcr#xh0uoFMQ=*==5Cj{=QK>
z3i!hrPDj-@u0E^!@$4HWcH5xiYZ%S^g>-4%Z+Og)ia@D+mjSe92&VF*SoWHus`z$y
zsz3uJ=$yD0gh{z@Md~ON5dKLM0nOnijprp#YGc@4&g_}$pjZU43cTOGJdnzG
z$e`2SykTG*MOdK;s!KE-hUH@%7F3}35F`l(O4CfX%6|iMbeX|!o%q0n2?W1+amxPS
z_VBDBetN1dKLOS>!Y{?m%`MKBQl@%R;vaIrxFTR52Naoqr)+>(J`!epEbBR?U<(MB
zoxAJp2^@D;dxg@>6HWGnE^9NNZEHNGE&Oy0b-S}lh
zJcJm*nU&S|nZp?TwmBa9CwX-}-pRdam<*>zYG*@`|;R
z{0dIpuASa2dGzxv1fo3a3HM|p-KbGe%yaOQz|I;+)pqbS=ix5BeqUTvS?Qs9
ziBR~Z4;#6S5IUXlxdyW&=(oKI_#^Ir{shRFj1d7^O{NdsLJubjUe@B)}0U;83`y5i_MRy$DxJ$`R`2(4)5Cin76OGJmj`D
zXY4u+m?t=B_LsZ*C-}o?5Y+$sHngMS#rXBMm+y9PxZ3;EfHUdp*+5@fIi@bTua0k8
zxhfX}zPsxZ#!quJM+LF+*4;3j`
z|B?u_X3PYD#>aS3CcZvPqxb`8mTy*>=KM#zLyRB>fHNC4`Pn_t{%M-s9?t0f^T0t^
zwf{G|WndD?gGCDI;h@*BF!>LLan<{tAKZtd@>O$+Kko?7LA!2WFh-}&?*<0aBA%!T
zCY-Va6|m>O1B`=5etv~#J#b6IU0^Z^kA9bje#uI=6mJBl5~3a@`ZiE#2HK%i~jq~5hBz2U4i^#U7+_c<$&!rZn4GMtr^!8rY@=Wdx-e{id1I}O07o4
z9KdA1nzf36w`B;MgP;~46VIVqnXuPiEhMR|4O!#k3o!zhrcUPyy!@M_Sn
z(}LFvO41)@gK`PZx4Nu!k>Uej*P3bI$t@qk*C}8AQm7{^j4GR|`3T
zqiHH&yiE&C*j||au&>L7%#v9n{bA&47lpw09GT2B|24@&z77K2VF{p1WKOZCs~uR0
zSld>E0>#7DmnOo{*ohD?~hIQ)8PI5GEZEfnTJ
zbW6rH6$~g?95O~B7xF+#S5{GeY3E_bE5XjOTV5I(S
z@{<{WnNGjKm*qqd9Iot~egGKyw|TgCO_p2c4Y*oDJM5+Wft%&tBOrBh>^ErW-y2@n
z3YZk8`-61-GC)rz_W^x>%Ieqix{grB`mIII#34sTTrQA(t-<|+?fG2>do6%rU#DHzeNaV0bjc$#qSHX
zC5o`8>uROzvS(Y0?QkwZsyp?AZz3}sNH4jFt{0aybR*Mb29t*jB7RNA%wm$mx0kPeol
z5poM02i?$|pxr;YM;-!}{l`FlS(mmPaIm}wms~j971Q?S`o(3Xw!Wfakamb2gs#{D
z_CZ3sQVOUWN4xd!z~Uc^wLiPCSAee~xjV-6pRndX#sBN1UW@_nS;3_zJ7kPEZ-c#c
z-JC=8AOGq^9JGlU=X0kN*D43iAW->1*~wCVUj95Lk|`Wb1DpVCKiGLpcx8%8ROhY}Wjy
zpM+0)-kyxq`@|%FQ$j#IClvm$NPZqrW1-z&{RV;ldno#VUX*s9N#>FENe}|C7Zs^!
zA2RDURq!r-HZDR44Rz$9+F@q{-abDfQvm=unDEs6ZFC;*_KX*Hg*nQnKR%D$eqGIR
zZ{X%>6!md^s@(*=8q<4pw|sAk`x}J4k+rJvxJBsou7$F{p#%Q)jF-5OLb$Ga^?RCA
zjc~#~JGIJ0v>A%#rYVkv!S2&EHm2H}nS*1oTLRcc$D-DjA!j5OTd^L6tsvTV<6AFX
zkLtxn*|qZpIt3}ZH2lB*>;A_!
z@Wg}bEt}4bfZx7c24@d_7k)573M}2}Q!AxI{t_
zRo=rGOswmgT47$^2OdYwMF1fBIlQ)5Fzy{So5TlT+#lwC&>TLfq*D(oX;szL9j
zPf)tN5UFvxMB&S}S{)RzKc(OsKqCE%uUCG}@P!QcMwg;lo@g-BDW-nd|Ck{GSQ+(d
zIu;y!LRzTkSJ2}j-H!zk$F>4kT?K;X1lBF=%@x5<5=ID^S@7`#s~ap;04ujv)Pg!B4h){!E0XJ
ziL-I(_8CROpF2)D)5s;S;6Dk8&ArwXptC<;rdL3w&qx;J%_RTO!oN
zKpRERQOOy}T@!E+Kn0WW_&f25DZ(J}hAzvIfUp5sTSKIums$uo^
z@o__NshzE;@5x{?Ft7(;X0@We7Q|qSV~)Jkg5G`u2kn-k_5-NN|JBzYeHLs^73R
zJ^Rb@j9w_ANw2n|Kpk_S>i=lufBxST?zVDpdmW7&oC4{5`-tZU=*x^_9K|S*E@2|!
zA4Vjs_BZhbF^~F%Q?O|R67VRQp&XxHCLM$3`3w7tM+H>-_#^BaZLo+AR=KQ)>!uR4
z`INZR2yyTYp!Hy6;k&bMBB+YN!r7eaEp{h1oPL%j8E}zNGq~^g{_ER;fmB<$ASfpU{{||LcOzi=
z^GkA5CiY*egnx6R!tdsqI)QTVRERUj3H{8AQgn3t2g19jU`k|G59kI&f#~iL?tkE~
zKbW$QFoH;7HjM`d|EGG@uKj$_UjnSi>yvlRd0&-FetMIJg<4VQx8
zQ}d33kDMo>_DlWe`M+2`sy8Lzxj%;9$-LIY-pTuO{cWX6O-p*((j9j5z_dd3D=ZL2~F4*lf^3SxSi48CC
z?RH%`Ov80^@p!@gBsXrP75V!A*1&$aAhTUmssIkY|E;(p5i)_h6*lNzSas%T>Bii1
zx0UOLL8O|yUtE@(O$`l20i8Q7pGADiYOEl2Ni(M(nu^
z#`1VgeYF2#8_Krsu8(>mU^ODL3@9mOq6M6L;b$_zh-P-i&_P|A^2iso7D&E
zBRin7^gR&JkDe*?C(##-^(s2o8NOArOSl?&8exRy=)Fj}_oJ>Gq`Gt@^!=7E);s}Q
zP3S<~Kl!m09JVgNhFwtgAThka{X>!BC@w#qsYEaap}7m}sET>XIEoczs!L1TGm!0_iu?BBS3A9dC(>s=
zbucGxMj-AtTnUPL@L<@tuCvka$^g8!t@c>m4SJVo_p0?FP>{mVo-k3!_Fj|HwEmJa
zB?IrLHoTTOliO?u&t3ZT^13OwS_*3%YHk+fxVlh266$LBGDsiBCLNZTZ0Rz3S#C6r
zh#gxbyQC`DutA*|5O(BvZLK4@^i*%pSM)V)9pAy0(=n%kIrUrtmLQSK@c9&;*z)X6
z*Y3XShZ`jPKV2r1+a4*(isz=3ST-NS}4fmu}Vuq*cd!+ovJRjpp
zbB3>dbu*h3UbbDzdTv4~Be1F%#QNTt|II4raII<3;EMZ@MfWBLe0j-Zz*EI4%To3I2aQDE964*tzeL!R;7VAb^gEXW`&*dXG_D
z>Uv&r4H)Pt+(eX8A-q96BgyMzo%9uU3>qYSKRf<-5yEhLCc(Ye@pd=nc8Ioj9d?`B
zAp!l!H?w7xQ>TNAaei#qSeabBbi}i@x;1w#-q9v@b28CGEGOnAhXM1b=NvCb!A)1{
z#>AMWVWr+ag3%M}GoA3-o?6MM?JEOMEUFsYRg$dNZ0AF=>l3Z*cC?Bql2qg(1$_)r
z!D%!I$E_MsoU*1eJ$}s8GaL75xNsc6}@RL|-@39ERPB
zh)SkS;o3BtD5@Nd;$ZtyALq-q=`u7~-P@P@F0F+CF5(ozPGyn?`s`qWbwfTzBoDJ>
zT2N&l46rS3-@5VD5j~9YsomX5DToZ2vh5ad52o#jK-
zI;`2U5IY5awTCPb4saHTsq&u9g6(8LJ8|T2MetXCXDLdib(+{v?6Ty^Cr5Bf@e&D4
z3uzj-(dOmi_u-GUY`c}9Q#IXeJU9Etr0=>ZxFY9Xkkb=tk_DsSt7^t?M8dr?%AYP0
zqJmgqcXPlAx(aHl8WlThgVTk*+6v%)4sF&>SY3$rX;G%w0tKI4EANkp$LsNGN68zU
zyv;hE&%-d>(Sq*U01}J}4&AP>7^mzFF}PiKRY6=RckWX
z^t#{3IO;2S1H?OH%f6DAr=~VL8Nc;JJ#Ti0cnSGULMMiS8xYT|Spsn4KZf^qhDS=n
zMaXhb<$8h9
z)#!GfIKTp^?#|}7B2uKI*$8fCzh%XA@yQsaRX+KmL@+heGy1Nk{^T;v(s@{k7ToPZmk*lH0_|M5
z&2D9B5oz>j8NiA}leG8-%cMO_Vw|Swd+XOo*E>0R`p^@5+gL$CvS($=k6Cw?r&3~-
zL7{zwJJ<=2aLR?1@kLtQv9tVf0MSrm^`Uywmp0}>1h*TYjw&oFg3oszAMJpfnvT*p
zRX^!jKCZ>s(9|*-yStLo4en@-9`u!ojZp4(9A@UouBS1w-U3h~&fK$Mn_#
zuxQcFUS8m&(4+e+QCoH|MQYOU#+>_6Sy_cyQO8jTdA0NT-1}O>!
zha;qkKY({C9+w6`{3yBs_E{U#&*0r8L0!t1tM!A0KVoXFDv27MtuHLW;T7DZTdArj*BrO}YSeYRkUjN-_sovP@_<
ztjS@sPye|sJf^=kwsIQQ0k3t630p1*5I~JASkF(IMQ$JsY7@8S%USLbJ7_p+DUaY&
z)C~q26F;z(_Y?0eVhCBe&R(xY`%0^*|6w8hVC&;S^o`t?wY~`cQB&f3ETydfBoP+u*5Jlue)v~M^#~Ah@Sk(_S;}bh|yC?z00AOo6tR?M_XQoPVKHEsD97d$(Ju3ES1~wqM#u-O?K9SSNP?o{H&GBpvdf^bqwvq
zrHZUDEG4gs2mPy}bNRrL%fEePNz+%9(-v&>7xVj?Ok1k7@i85M9TbIiOG
zvme)H(^NOdSwA*e*m}~rRosTSqB-`(d@tmf
zLhN}~>+lt%;Jl2A9ll?;xuATk6l)yR!?htZI*Y_0o_d7^&emAd9#%>m)24Ob?8Z;r}PYviKI
zb)IZNi*-x-+7#p_TODNf#F*N)Y{JfI$QCSu0GWNLPnPX)ZLtQz!Dxi-T=x(Xz>!bz
z5C3fY#kMzXXUCN@x+{9eU09|1L3F_@>kknthO=Syre{#+bV6Gk9VaeSx?9W
z`_h#cew4%@6{s1SNQHQ{(OcPBXG?o%mHaiIb3HSDglffTp)9T?&r$MNC#r$#(`S$6
zGG?pts=V?Q%x3kQx^rSCc$uG7;DRq38FS+q3f?ZjMKG{N?u2|eUF_6-JjAs7c&Jy4
znrK}Noqj_&A0m6yi(c}B0h~r_orYWGG_P{kLr4&;*sm{a3>pyOckda7LdQ1&Fekx8
zK;y>U$dnHk0TJD8;O1QWAaeDbknVXPgeD?y!sx^)R+Ag1)-$&-nwYMn`fjIgqI@Uu
zj8`Z4(bExh80!yb
zk1d+9-6@V+)*p5a8-=nk*Drw7UG@9;d!!)y5zqRciKsuf0LUDGOjuK0{2=`F!(FOz
z>e`xs6PzGUWA6lzDjQ|morOnbjb+IC8MfhzrhKs_1uvr@aZG>Coz247P=U4A
znXqF{bxMYBw?cBv
z{N~teYw6|Sb=*j7(DpWRMOAKaqk3GE?dz)XIalr)?srJY!l5Dm^pRmP3am4#p}yr`
zC&C|pq>})up725RE>LyZqdvZ76`?FEW)mHWg`ZGaLBiO2EEI;ix(XO|sADTvNxMUK
z2V9#fX;*ncz@J}MHlS9Ai`h92f}Rk+HIv6Ln^wFG3ITQ8cwaJqnE;owvvV|S=ePoI
zvUXig*4fjllrz-Wu(8r?k3r?sr}v&kuRhi67P=$@QWV%nMuvtpMOi9a2);{iq{2R8
zd1XL0w=3Zhm&7zCKN$@j+V5eMKuDMz1P@*&^lR*fNTLC5RoELHC`%?FWV_1
zgY^Bh-Cs`vAs-K&1pm2HpBoz+P0h@np^g`D;u57Q>%Js5w3e>UkCt3XzX|FV*MDe^
ze8>Co)wT6f5ptMw)5X{fn_G90S`L2gmeA~SQ8#nba~QR_T4NmTB*H1d2#Y9lk;tk2
zM#2Rg5ffMObeUR$sZ!-*Z)(bIRzs$q2Nik05MjzyD71X>P_MWPE@3vRke4XtX_dYK
z{FW_E`j&O0esh@w|0r2fw&cx+L?%&wC6(d>ue4^UyHl!{eHBxH(${`@#T0F$#Lyd-
zPXUfO*%A=Bd7pT2%TFeu=@D*(>EWke+qJfhn0HL@HU#R;@(JLGy(1Eev-4zyH{7$y
zA^4Ji5ryeN%iqe*aUTp))1%dv)bWrh;1!(@oqbH*P(3iXStUG7U|JWWFWphn-Q#mS
zQ^r`+T1vMYmU6kmIwWhuq43TZ`v`>;X_~=UNPkB+9u$)$alnt$JZ$T5Z2dCmOO
z;t4WFQ~p?SY!H}z@(on|K)6af;k}k^ToA1OQuo3)-cp-P_wJIUaUXW{AHgv^`6G+&
z^^AA|I@~k43+#O%aC=`kdnxs;MV5YV4ihO$a<;U#v@k@S2r9H6ZZ=sz5fEcOq}D28
zq5DE4{Dtp|^wHkS{mSPe=C5lwM>6Vnc=-=(wt1}9_vn-lqy)=i`F8t*csHXw%r0vP
zE6)I>PxZ(8-hx+^2ZjjWPfianjnAroo>TkuM}UD)PzCqUH4b9-_c)N8i$tW$cpvi`<0TW#29_Yi;)k
zxZY;#^mKY(Ch?cYPwVa;1Ew&J&2wmBoMHJj?+&P_bUtUla|?J4e;A2hr61_;bp64;
z@n>ZSCOC=<2pMP^sMWI)LmMP9JrA$mhLiAyfbi7PvJBoS=CZLhlDmq$w6pp^L+#NF
zywFqRK2Qv52ItW7)kpe(Mw%Ng9UyHGJ27p_0yPruT^^M99qy}z7!jLqm;(b5eJ4ku_OMtU{f($B>c7>yUCRf
z?w5Q7AA+xT7WT{Pi`rsgX#u!VHWfZ_4V;em(c!qg7Ut##RfyGWd_ib#wX`?=
zmV17v(zSmAi5@aFA-Xe%tAzmYp*pW4e4ttlUZSr9I6d(CUVRF>CMQ-G&*Sprf$`my
zYL&vu$}7AZSgb2uwWt4wJcH~lKD+r*@>aChA+I*b|3
zBSPE4Y-I!G$``xf9*oG4PHF
zYHrCdgl;&nqJq`F9~W9Zv`BM79n@$%H(nSGQhVI0nl5jPPgnw#d&usX+++7R$>rPW^)^5_7)G)Y-MEL>6kfx^gK8{4`Ns0>>&2?l7i^wO
zyMVBk1uVUjFzTfn(}j)7aiHl^&QKxEUpL!it;)@Ch1AU_WXrZLXB|5W=M`pP1z;6Cm*$oB!@-F
zras5lF(tK9_P0`$UF#<{ln7{cdEmoq-xT`(>d|Y7(JM&hE+-_J@a6DAQlFv`0rH3t
zqsq9W;zO;`;qv
zG%e4t5<0Q|nJ-2lT_U)hfG%Kn#LoD28|FecfM|cBR?az|rr#Cj+pV=H9_*OMI@h
zZn)sPi$PQ?)3=)en0k6yWkJ6tY{2Vu=ei5q6NL2}q?1yZSPt{l7Zr2CwqEvW&l6WB
z$0HCX@B5)z8xbu?AVpDD&EEkIkXsbb$-{TNJ}7S+`OC$lff`E#@pM#+x;vJF{>=Md
z!le`BfL|-cc6As*(1JDsR3G-pmZc@@{K7)RV-JQxACG_tw;J7M`{r$l?+S_4a5uq|
zs2}04&z@GIBsO$WxB5|335#rg`NR}9(Z@6JLosK)e&L&(mYTKYVQ7egZ_Mw!{y*Cc!zZ1IMxG!3{#AwzX1
z)0%0?&JoX6?+c_u*`o74s8CqtUo*f7*&FmOt-IM9%!_*ae39M+05Bk#Knd<6mjtJ@
zfJ}z!d8iJT$?M-32klw=T_Krk%1*?rn4@Aajgz3Rp9cAz*9Ut2*qr3=>%%APc9yp<
zxyG{ekTS@@7ft!27c0Tej|7Q##ksp})Q`wr@1^=?f)WLpN>arSX>-KZWnlF6vG+z5
zUJub$N#@qC+J}+Dqi
zV(rV8>a7Gcnk!%{OWP#Rad!hNMeO=HaKg=Xp<+E9Lo4&7pu)gV_YSnN&jK}G@o2i5
zfVb%qL#m}}_g5$I*KSAQsmj6WY59bYc&0;hgbn$_;s#IlIVRX>Rft94PL~t=KGstL
z`D@AffZb_#<3d}UXB`Ag{j|gps28A9CVHIPYQzg%Vrt9m)5W~v8MQv%250W4zC(E_
z9hpSiFlpBb{v*4+Q?nV2!mpH~G2MzE@S=YR%zVwH>yon~5so`k)|H=AQGYq
zg$%m^C?>9f`#Q^QjkD_+vuSdriel!4qu#=6v=;7s_Azrz8B_|PyWX9a!*YKnWZ_c9
zQuK}U+E(P&BgTP94n^1f&2O*cs~e;5-#H;%NT5(cZlUR?^d$FlJx`sOQ&N}_xIEjY
zmyDR-xK82~-SwKr%!?^|%a@8>vywz)cI=a2w<;QB<;>wxkRCWlFxKL&%?$y=fzX-W
zH}J&^t(KO`o8SVT4bs(xz1;<hm*4TrKR+*L}`0dK@~T1M~Dgc
zGL!;w1U_H=XoGeqP=8DhreYtj^4HvmY>>yWA6uCb@C43lH-H7-kFP(b(H0}Lbndp~
zZa(5@SL#i-8Huo1N~)*(GC0`CI+ax>5{|~Gx?WD?8;&P&iPl=Px3D0W9772LpC|X1<3|JM?By@#YWZO4WRhLgF}YjfvyF-@
zb`Wey92h(C+uN>$I6T=Tb+RlC|I66r0d>ebrvZt=o#+J|otNORAz5D{?~!#RnwCFW
z{57DHDTC+P?@H$&^eYo%^l@BlLBCOBV>95-GZR8
zffg&anGd5rkA^&S*@cjQV<3MH_hHyVLpVlLxiz0(2L8`1*iYFA@j#v*j8OutH-x>!
zz;VcEh3qf1A$XKzx>P{#b*PkfImk^#f^%hnA=>PN29QFB#IdWs49KkZB3|!)nNPU$
z2flvF6A?1{a~UZlBrauMokhP)os0Sum@S_t?ZBs=lt6Nx1W?_{k198>J56B>y61)f
z$lSKU%l}Ju6E8tBxJLOUVm&XD9>IRm$LfRm^f+~V>zN_BGk);ua3w6+Q1
zQ@weB(}7E;9BgGqT$Jdo32R6a2?!*Sdg2tWt(DMJV5nNvlv7;KBgeLp>+{RciM<5Y
zYwb&jKNg{PrnpwcxJ0nkJ;qxEzVb~gw&5TdR&PCD
z0?Z_o9Z<_XHh{LsWo4Y;ctKonE&B$qJ_(WiFt6Q}a**!;lkV_w
zZPzdE9W{FmJ7-azmJpLGy$!HD>Ck-3UMQ=@$H&Ym`J$5kX4QZG9UU5=NKT%*SR)Eu
z0Su1#$FWvPN76vLui`NQZ%1O~Q`(ouT7S9RuvM?4NOJl!wAH|ryJyfuxzc*gFeT^iuo5FXsp
z)fctE!h8_Km#)VusIOThb$j5{KASb%uS@?Q)vCd1-u~ptqpKcZ*&(kch#a%6C1J!j
zzp_qBJB`AeUtQy&T~!LFdrfEUX`2=oFNRjfmu9)W4q)p_&(2%s#ZV=q3wSg4M>se=tq^Jm)09#VswkhqB
za|3bw)7_{r?kBaw7jUP__?N;S2aps-%a9LD{Xi^?BsSzQP2TAEDlvIzEKV%@2vx@U2VR4RnG*BG@jCSBoKuY>)$Gla7fy{C3D
zJ*b6Fr|gLCdM>%-+CFZ77%aQ1{!L(AfC=g2KoU+cWjzvD%8R>fjh2atm0kLluO!|m
zfYbS%4uIXdv%9rd0Rz1gX(Mv@iCw#&!)qEhi+t0z@%Sf>R;h;CCs)MB8UQ9sa1#jv
zK?0+Oaa7`{-cfUy(`up!NZ&fw;KR$5BI#b|kX&-jqN<^3(MAA_#Z0bVP|QIH
z6B_{_)yhXdfC<{H
z#K%u7C?xosD0FzaH}%DP|ydpJ+u~mjbYR*59@EquwWmiHtd7yk-9$_&lwC2+Ff~u`mn4=%=lNTXJWqSQ;Kw$>RajGdH>xC)XObFO
zSXxTP!CXpRpID-Nxe=<0SH}n77UG3owMBZ?Xle}E54%G7_o+oRTg$*eL?QQ8eQ(K~
zeem){Pq0U>yOwm;||k{`Hv?Fh9qRZ
z+uf(+egDRBIxR(gu>axPc_w!t)c#z_4v%ocJ%Cx@$+>cu_!=NVuuLr)D>508GLF6t
zuj;*U*(7R`jl&gO>(^U47w&Z;pG~~(qCKlv$+-X$(O8*8M1ua;&u3gte9ET2
z&?ya4gx-_}%xnR(vS5F5r@l2T>Gh@4+9&h1Jr-4whxc5l6HgY7(%>@U=>I8X9KP)7c@5lWEC&cfc_v%T&sOUGDW7Twb3&hbMBx
zvmI(8fuHA5Ir-p5d=}v=S6nHC{f*AgcBe3O`qNQP#HOL^pQn!;y;{0W``g!P_GQag
zeyxJON3POg4N5p&p`?uMf`Yzh`1GtaUPPwaj0i!N<_9ynDjH5Sku$uZQm?EK2AY$lvq-n>7D$Eca{hXYq1Kb@=
zYoTIfOkt4`Dne%CGQ3=JN~kVfzldZqp@osNy4EfB?L5fW$>^R5%YO_d1vlRSuY$qietO
zC7{h6+%4y(rYi7fbrVnZEP92R@1v_mLQvvkCR-6$fs5`Qj;^fQZm-(x#8o{
zT9FB&+`<<&6~5u9%dOl*EqnP0u2;Ewvsg?U
zV&pO`bgua#xZ{*1omAW5sslN{LliQbM{9b&@c&K-m7XAe
zIsJh=+0RE9h;O3Ujo3z^BO)4Y2B!y!c}hk5&sKMO#=`vWr8PXoMf2^|%eW=DZ8Yjg
z50u`Z|Co6}e_+c;aQm+9OjdFFS=UKnfUPuqQ$KQDFOlvFPAhWDe7SXRyLDP{cT_Nw
zaVpFUx3dSi)!#ZmjN%WBa__u;Cy)a=)A+W6)J$fNQU35yD-;I}B+s)Kf-gj#M-jn|
z05}v=)Q8v&w`wh@$*pB_&#)83!NTkr^T(NZI-=ZloaZ>PHg8bqolkd=L54NAt1i9a
zgnUM*B=^|I1BV-!z)_EC_@R*#z9Q8Bn&g?J{_jT&VB#<7Fj)^~FaA2{58z`dP=3Yx
z+SXqV|6dM49NM#G9d|;%+(M^s?qHK%`l904=zl6n>|c(9?pv^G{#*z^_XI75=M}Jc
zQ%A#vML}GhO;-jh5z~LfBoOPYryBU0n~t8
zAeof4rSY??P32v{e`RNE!E_buUD6;V2iW3|AXER67|4SDszmU)zx!H{xcDJB*B_0I
z^{}gJP`>)l@xSW>?;+C=p*#EY?<+vK+{wsw;?y6_o&WKH-=CND+)s;sfB-eN>Hju8
zLjGWstWMkeor*_1p=N7(q}M4qV8kz6Yf}6ly@bl(k$V^a>pQ=K%AJ2KsmAsFZ;}lM
zuMfd1=$HngG0{!C@Sn5#JxK8I8L&RwRJjEI^+XeBKoqw5sj9m1V1R0q-$@l5i4FY-
zNbp4ewOarDk*ZV(>-;DwiN;p6@!RiS?EyE;+pbxn|5}VEAO~f{?Hst@P3-XwACmSh
zBDzO(U^e2_$Ny`ZzvZaN2s*X9pS<$>cVhYl3aBjl&FnA9vO#)qUHX}}1dwb6o~-*}
zmd#TX!U4W~E%W8yE)qV_S-42R@K3#v4FIC;_R5>~1ERHcNF)C*!Tr{s{iUM%uQ~i*
zEY(ki?IO9sH+f(jOt%7r{~y-gGpy+?Yadn)iUmOd1q8uD6$I(MC`vEVI|v9!mtF%R
zDk4>SFVdtNdJQN|YUrUOy@L=!AR+MX;F&oy^URs+|Ka^cE|Oo_d+oK?UhBT^B{YhM
z@%+12k;kvJXjxU|-~TAZM|AIEQkcM7GI6og{r$pAzkOCKnw3R|;`)DF(_a-_gXiPJ
zXBU27@;%rIELc3l)=%sCH%_Z%|L0|YnX_Ii&Mtk=3R{qz(
zO6HmS`K&w`7-b*Tf4tGZeAF>G+xR2_&@5}mW@a1~_5O4Y?8S@#kNNM9{oIi-6|z6p
z8+ZxCO``NV$vKirr!#y5U#@En_6*`o-s-FX&Tr>OkdHL(A05{}#4$pH|#uHM_GJX?u|LX{X%h3Ek$rpfUqtpIB
zUhJ>+E*S$xR)czE?f%oximrFEAOF|eolcV=n2dSFQ?lV-zyJ5Y04d%soe(%A`442~
zPyS=z|N3}4{4bZlCGrpX2H+BMS2q6B$o_TmFu+!G92~ThyU<{{9=lqx?Tw_P<60Pj&xX@C&TW
z-haOpo$trfghkIn)Y&rfzAFx3A07`$#$
z1Q#5C{15E>|G>%8oo&2s?m`Vt-{cqm*TVeArDVaH`WN&0w}%8l%fARs{N1;Hfo0Q{
z6hco7fGa>gdKnU&1isOVlV#Z8V?3C5wUS`
z!=Tp=@LvY^F9Z@+kjqyw4Dnf@Jj%XiE#;5+isg
z^~cdH|AWl?kK*>a^C3wjcxuiHV`{s`FEbI
z9APmGvu5GvcTx%wJ6wob`$j}xf4Ae&=s)7HEV7k)W56HBqhb~(Q{)qI<(B}#o)47P
z;&7YC*llf)Ln)USzk(kzNhN|5gdxV~%eb=FKb=A{i;Xqi(7FFGpuax)E8t`Lr~m$3
z{RCdA(wWOv29;?*?^<_rYm3|Oo?iSda1S{GxF}NbRKEaEh;P7?76JB>GPoq_(y++P
zq4Fsu1|V@Yr(6b=)_%=4heR=+t4=Kiv_}>8;KCqkHq-$^)2*%bZl-+3>Cg)k>ZrcY
z`Cn7|rw0MLQs8|00si}EUe{j&S)`{JBeSM&m&p2zyBzR3s&e03z|Hv%jgg#tCy>P$
z?fb|X6vDW~zIygNAOVg{5Y8vAk&VB_>nw<(C!MXmy+vFoI~n@$?V(lCQ|`tiF``?b
zJ6eawt?`kzJ^jroeGyWUjcPwYY^R}szuLdFjLIMQ^g`Vl@X>&%CH}e*M1RboF;VNoFv{_Zv;JHBdM7!QsI~OiV&K>mE#2Z4BL@FY&?${bjL_4mg>w5R$ZO
z8UBsXowav`Wi>bG2YE64sh}
zyKb#5sPVm<@~ywj75oKW=;z``{dh+wXVZdO!k1`#^cG@}Zu9-~@wh{A2R|ej+^b5k
z{qnyC#}xNool+4Hn$xDsb`<1iF6k9Y8h0=vC7BNAW&`Q9YT-jxjTMa-}YkM5#1axlP%t_ddbf$EQI2A(lSRDf3=;JLbAx`sieq
z%&zGbhO{mMpd2AkFg0bUjN#*lto^fW|I!~Q#pHOdX2%WLlr-c_`yiEELBH%^j-}St
z|7xcOGy_goUr_+Ms0R|X>B&DiOgm8pa_ieeM>3Qaxb>-R->TaEahu@>Rg<5mK@lep
zl>9L9nGWq1^#+c}=8m4AqBXMgDQz+pXB?)Jt>lX_ZcRIC9f8;RaJpiXe+Yi0o#4C?
zDlq*;9ONyWeQ({~XHv#YXRQC=GuQ?`Sh8*|Vj9@EN7T+~g#akt=)qmRzGn^;un)cJ
z(bW-Tv1cWKFzM0qa=}}B+P%~pZ1VFs)UY*wVl3p77*FaFMBVpR`Zd_tK&&tNxOFSS
zvZD2Uap#+=%65=4`GP{Z7PA%*3&r5E%QxilTx=zE^UsRf4FHw$EqLMG8mR{U*tDV|
z>G!nK^KdbaIqKKUzw2IQdG#UanPeU}Ni``>`T@jwckttIW5e1!&rdrEa371(J>e)!
z0QI5CI|7Wq6>^^bL}znj;|ZeIr~IdS8YUV8G}bToD)=ViNA7z^Psd*4(z3*f=Q7`#
z@d?V9*&Dj8lht8iL4d(SJbRrW2hH^SQ6wJz&aC%0r*l7rKA*5mgH(F%v{DY^d#K(Y
zBt=mkeU>+8a*MYa?dj>6#z^O5r-353lbSoS5noziE;v_~{(sE3xw)&aZ5>RV^Iy&CI`hk5LHzuZIxT{M#mS(
zG&<4doO%g>Kt@HqO~1xiUbQdAlc(BVx8V5k33WKECno?eMMNb=beex!d6bS4ZKn;S
zTM&A(LjajB82_qPc&wprI9|Bd;GDUg5-^eMsr6i|JPjw}ckDA1DBJBEI5jmD?+sE1
zZ!&eKNIkXm4Q0EEB90?`GSjjvwO$`eEw;r(o<<1<6gnF~DJCJ4D@s`SxOH-}ukE*A
z`g$p3@!R6J$4;3F%|%M-aG2XlUxra*pP_!?7Zp!}8nQkEhWCld+iI2mRkOfzoq6Tt
ztfnSGpU-&-?yOkTv*sv@sNwA$8*d0|$M?Pj!e$K$w~l7+kmb=Pp;!3Vk+rT`hlJ#!
z(vTUOwW`w6&n~7@&*vW@1g*6W`U?oJXcZIQ0*;&T!^T}aB5*87=rj^(x=Mf%a>>;G
zXe(B3O?-_aOgFmeDtg9H5?T;Fq!AY&eMgR)N%t3C7Z4Z(W2q`9fkg6$NRwI%?V|v6p0TF
z{>~gu<5%?8o8Nvc|FLl@R`%1$pG&MdnG*=om5=BV?v1s;HLK
z$m(rxQiC~y@cQA@L-13Z`td<
zY7Xs6_5j2t@bvU05GsH&7O81@!Abcoz3A4(
z%deyE>!tz(N2o|4;U0eyRu~~n!Y(P}-%XiF#gBe9e~XHE{P=+&
z10N}?@lOZY=!&JbG0
z^7yUoX*mt62s#52%_~fFq>OM!
z^$Q2SCTl;rN?;gk*G-_8aU_u@;Wuqlg9^aX3{qyR9h8z1nnt}K+2^`vt=l$nsrL}z
z!k3>MBnqEZ4(lIc+u{d#^%Q;57=U>?;ay)}PgxweD89BaR@Pw@DdH3gDNEi=rF?nu
zv&4JvmLX&6TT&^tj|Z14Fu!p!!y}(5e3YcXnEJvwNGfz=w-Zl_{*O&p#O?8#3hqn#};31
z*Jt;SV4#k=jjMq}lvjf)=bq^C)NKB>LYIPvyR(d}L@@70QSzUvdDR8`O|C?s7rblqGw+Um-yUN`uY2kqkK
z6Ns&P-nx{4o0-JER7w!_|Tk&ErsIdzBt+tYwa()xp18_`dZyocE@oFx!3lg7DU-r}&qkZ$M!X(=awN8kS69mG+q+So{>c~r(3A`3QIudx)EI(Q?lrzv%kQ&5&sdYE>>C
zJQ-X4GW2|$JlRT`opGrH5QmKyWX?tS{)+i&KqF)g03KZOjcFw5J6tQhV;`5;$VOlD
zCZ`FJ1Y>oL(EskKy=9U2IaA-nspb^law1I*OBB=Oh`<_E1i<$r!62~cU?PI
zWMy;^<)s99_aq^{_lE-(U(w^V3Ii%6fX`_tX*|ylQl&-h)LxNp`<>2b2+1xJJC;}{
zXQX1s(HnjbW{FZ^8?k`z)a*MAw`eH-^c*5<#S>h0P!%y?2u~
zi2ItyQMmv(#(QNh0W>eL=bCeSgcu7On*!8BDMebiq49pWq_Y3nZOtP1nCs*B0|nBa
zV#wlb4i5Nzd)T1`Qk9r9?d|4|#Q;b^bSRK0Qnk7Fp`;EP)~E&ytynt);Zs9~p#X6@FtM_}z*e!&n>Ey}d7-;vHv6Ox{B*y~E$erZ7x
z3>Ee}uJ-~>H<+chjXbk!7i0Bbb+(8PHRQWYTDdl0-j~A-&{G4Bf2?tjKcP^kjC+!r
zp%nw@;$9xTvyXIkDlbgqHct>z>}wy{xa_aGRAuu+@3`9?kZ
zpgcV2;KZl*r{PJZBaNDU3ez{UMh*kW$dukPatQ@3zck$-KRqmKN_xGHU;oB9E17=d
ztUke>&n;|n6C27#y_kTxX?Wnp7n$_eywGS(8UmBUu|9m76YxD0XO=zPU_UVCikZf3
zE+cQC9b8ST{A?EAwQBEcLz&kZD8w9<@Yxk;!l7?IbCLZTneO4Z;sBx?cj~4ja
z(Ik0@_fWMH=ebC0;rXj4=4eN36+smXE5=o3n-K(+E2qHIYWC{vW
zp~rQUb4~)N$v
z6oj7%4d`UoiA;bJSXmrVVp->fps}c)wqKGGm(u7t6JNWMZGzz9U~c4d#RuUv1>gf{
z6%17YpP>Cr?gVg%F0l=pa<$A#{oz?=3yQK<0WM0F@Wbzj{m;7I2^~%i(~VDf1Ks-_TMzps0{OW{l8quNgK5x|vgEkC@w
zxxddpukIHb8E1jhWfqAX3Rg2w3EzQf=c9=QTPd|4e9O;(gYd0TpfnTDeSgtnjyQFk
z4VOl>F0DfNZXo>!@XDpC7wHYXEZ&r+Zj4V*;;2#2
zET5vq+!$S%vq?tk=j6BnF+!b!wrSktU}AS=<(dv
zSS0-0ZalKz9W**kmV2)|t$NU=;743?2sAzO_t9ublF|A;#E&qi+=guCU|~Z=t;vr5
z!LT#mP+MD@PMdk&eY|88J|b+Di|&VVES<}$iNK;t{ECbqC{5Sd@8?i$G!9?f>*sF)
zr&p{7QVF58zz=%+{p4GMnQ}LW4j&?yhbJ5w#kgvBJK6Brp*Mpc2xO9_DTo6<#|IK~
zHtY>Bn)QJ=JE_4q!EG0>S>U|fYq$Z=QJHa@u)B@pMM@`ltfjmWI8Ae><0J{9
z=~vBH)^d{U^NSx)kjFb-*GQ~(kQW(krUo7pT6o`#?#HeAr46%sm9b=Nm>Zp!C~v!f
zvC{@dphY1q+Kzb`X1yYl$3DK#Ga#P0$f%**p0WP`lBZY_lD_BHkmhX1#!Xc~!Df>6
zklu?{MU|)>LV@h=fr?*-Cb*=kK=V7Fk-KG`k&lvH@=Y`M8ALn_J-*~(!xeadDO?!d
zaVIk;m_5)f!7r80o^QXG$^}`(CPab=aq(uTQLC7YCg+%?68S?rawW6d`r>5Y8*1*Y
zG@
zJqJt#R{4XJcuS)hxrLL=ss=EkP&L7N{vaRz&AuoNG#qsNcfoj5|9cv;N
z-gufw2vJN&)^-_Gl^ecxJAVE`_b5(qf`hkv*H4(o>lY21^I7+$ZtCrBcjTEDuCA^b
zWRDd^@qq4%vaiMva-FOfOr9k-=oZU8`(L4X*pVJt-X2-iP82Vtka@Pmw
zzd9=uf5?lg>F1u0=tA68dyryHX66erR>EjY_?=XqQCoV7G|hu&lla`?;>E{+??Fy%snF^3$m?_q7K;+TDF@9CZ=EO%XW&Rx0^|attK6I+VN5
z{