From 5990a84b3bc7a0cb5f92f62115cad76ad6c13414 Mon Sep 17 00:00:00 2001 From: Humphrey Yang Date: Mon, 24 Mar 2025 16:24:29 +1100 Subject: [PATCH 1/5] updates --- lectures/finite_markov.md | 470 +++++++++++++++++++------------------- 1 file changed, 230 insertions(+), 240 deletions(-) diff --git a/lectures/finite_markov.md b/lectures/finite_markov.md index d5f297e..8e1709b 100644 --- a/lectures/finite_markov.md +++ b/lectures/finite_markov.md @@ -35,21 +35,21 @@ tags: [hide-output] ## 概述 -马尔可夫链是最有用的随机过程类别之一，因为它们： +马尔可夫链是一类最实用的随机过程，它们之所以重要是因为： -* 简单、灵活，并且有许多优雅的理论支持 -* 对于建立随机动态模型的直观认识很有价值 -* 本身就是定量建模的核心 +* 它们结构简单且灵活，同时有着丰富而优雅的理论基础 +* 它们能帮助我们直观理解随机动态模型 +* 它们在定量建模中扮演着核心角色 -你会在经济学和金融学的许多基础模型中发现它们。 +在经济学和金融学领域，许多基础模型都采用了马尔可夫链。 -在本讲座中，我们将回顾马尔可夫链的一些理论。 +本讲座将回顾马尔可夫链的基本理论。 -我们还将介绍[QuantEcon.py](https://quantecon.org/quantecon-py/)中提供的一些用于处理马尔可夫链的高质量程序。 +我们还将介绍[QuantEcon.py](https://quantecon.org/quantecon-py/)库中提供的一些处理马尔可夫链的高效工具。 -所需的预备知识是基础概率论和线性代数。 +学习本讲座需要具备基本的概率论和线性代数知识。 -让我们从一些标准导入开始： +首先，让我们导入需要的库： ```{code-cell} ipython import matplotlib.pyplot as plt @@ -66,7 +66,7 @@ from mpl_toolkits.mplot3d import Axes3D ## 定义 -以下概念是基础性的。 +让我们先介绍一些基本概念。 (finite_dp_stoch_mat)= ### {index}`随机矩阵 ` @@ -88,15 +88,15 @@ $P$ 的每一行都可以被视为在 $n$ 个可能结果上的概率质量函 ```{index} single: Finite Markov Chains ``` -随机矩阵和马尔可夫链之间有着密切的联系。 +随机矩阵与马尔可夫链有着紧密的关系。 -首先，令 $S$ 为具有 $n$ 个元素 $\{x_1, \ldots, x_n\}$ 的有限集。 +让我们考虑一个有限集 $S$，它包含 $n$ 个元素 $\{x_1, \ldots, x_n\}$。 -集合 $S$ 被称为**状态空间**，而 $x_1, \ldots, x_n$ 被称为**状态值**。 +我们称 $S$ 为**状态空间**，其中的元素 $x_1, \ldots, x_n$ 称为**状态**。 -**马尔可夫链** $\{X_t\}$ 是定义在状态空间 $S$ 上的一系列具有**马尔可夫性质**的随机变量。 +**马尔可夫链** $\{X_t\}$ 是一个在状态空间 $S$ 上取值的随机变量序列，它具有**马尔可夫性质**。 -这意味着，对于任意时刻 $t$ 和任意状态 $y \in S$， +马尔可夫性质表明，对于任意时间 $t$ 和任意状态 $y \in S$， ```{math} :label: fin_markov_mp @@ -105,9 +105,9 @@ $P$ 的每一行都可以被视为在 $n$ 个可能结果上的概率质量函 = \mathbb P \{ X_{t+1} = y \,|\, X_t, X_{t-1}, \ldots \} ``` -换句话说，知道当前状态就足以确定未来状态的概率。 +换句话说，只要知道当前状态，就足以预测未来状态的概率分布，而不需要知道过去的历史。 -特别地，马尔可夫链的动态完全由以下值集确定 +具体来说，马尔可夫链的整个动态行为完全由以下条件概率集合决定 ```{math} :label: mpp @@ -116,41 +116,41 @@ P(x, y) := \mathbb P \{ X_{t+1} = y \,|\, X_t = x \} \qquad (x, y \in S) ``` -根据构造， +根据定义， -* $P(x, y)$ 是在一个时间单位（一步）内从 $x$ 到 $y$ 的概率 -* $P(x, \cdot)$ 是在给定 $X_t = x$ 条件下 $X_{t+1}$ 的条件分布 +* $P(x, y)$ 表示系统在一个时间步内从状态 $x$ 转移到状态 $y$ 的概率 +* $P(x, \cdot)$ 表示当当前状态为 $X_t = x$ 时，下一状态 $X_{t+1}$ 的条件概率分布 -我们可以将 $P$ 视为一个随机矩阵，其中 +我们可以将这些转移概率组织成一个随机矩阵 $P$，其中 $$ P_{ij} = P(x_i, x_j) \qquad 1 \leq i, j \leq n $$ -反过来，如果我们有一个随机矩阵 $P$，我们可以生成一个马尔可夫链 $\{X_t\}$，方法如下： +反过来，给定一个随机矩阵 $P$，我们可以构造一个马尔可夫链 $\{X_t\}$，具体方法是： -* 从边际分布 $\psi$ 中抽取 $X_0$ -* 对每个 $t = 0, 1, \ldots$, 从 $P(X_t,\cdot)$ 中抽取 $X_{t+1}$ +* 从某个初始分布 $\psi$ 中抽取初始状态 $X_0$ +* 对于每个时间 $t = 0, 1, \ldots$，根据条件分布 $P(X_t,\cdot)$ 随机生成下一状态 $X_{t+1}$ -根据构造，所得到的过程满足 {eq}`mpp`。 +通过这种构造方式，我们得到的随机过程自然满足马尔可夫性质 {eq}`mpp`。 (mc_eg1)= ### 示例1 -考虑一个工人，在任何给定时间 $t$，要么失业（状态0）要么就业（状态1）。 +让我们考虑一个工人的就业状态，在任何给定时间 $t$，该工人要么处于失业状态（状态0）要么处于就业状态（状态1）。 -假设在一个月的时间段内， +假设在一个月的时间内： -1. 失业工人找到工作的概率为 $\alpha \in (0, 1)$。 -1. 就业工人失去工作并变成失业的概率为 $\beta \in (0, 1)$。 +1. 一个失业工人找到工作的概率是 $\alpha \in (0, 1)$。 +2. 一个就业工人失去工作的概率是 $\beta \in (0, 1)$。 -就马尔可夫模型而言，我们有 +在马尔可夫链模型中，我们有： -* $S = \{ 0, 1\}$ -* $P(0, 1) = \alpha$ 且 $P(1, 0) = \beta$ +* 状态空间 $S = \{ 0, 1\}$ +* 转移概率 $P(0, 1) = \alpha$ 和 $P(1, 0) = \beta$ -我们可以用矩阵形式写出转移概率： +我们可以将这些转移概率表示为一个矩阵： ```{math} :label: p_unempemp @@ -164,19 +164,18 @@ P \right) ``` -一旦我们有了 $\alpha$ 和 $\beta$ 的值，我们就可以解决一系列问题，比如 +有了 $\alpha$ 和 $\beta$ 的值后，我们可以回答许多有趣的问题，例如： -* 失业的平均持续时间是多少？ +* 一个人平均会失业多长时间？ +* 长期来看，一个工人有多大比例的时间处于失业状态？ +* 如果一个人现在有工作，那么在未来一年内他至少失业一次的概率是多少？ -* 从长期来看，一个工人处于失业状态的时间比例是多少？ -* 在就业的条件下，未来12个月内至少失业一次的概率是多少？ - -我们将在下面讨论这些应用。 +我们将在后续章节中详细探讨这些应用。 (mc_eg2)= ### 示例2 -根据美国失业数据，Hamilton {cite}`Hamilton2005` 估算出如下随机矩阵 +Hamilton {cite}`Hamilton2005` 基于美国失业数据估计了以下随机矩阵 $$ P = @@ -189,21 +188,20 @@ P = \right) $$ -其中 +在这个模型中： -* 频率为每月 -* 第一个状态代表"正常增长" -* 第二个状态代表"轻度衰退" -* 第三个状态代表"严重衰退" +* 数据频率是月度的 +* 状态1表示"正常增长"阶段 +* 状态2表示"轻度衰退"阶段 +* 状态3表示"严重衰退"阶段 -例如，该矩阵告诉我们，当状态为正常增长时，下个月仍然是正常增长的概率为0.97。 +从矩阵中我们可以看出，如果经济当前处于正常增长阶段，那么下个月仍然保持正常增长的概率高达0.971。 -一般来说，主对角线上的较大值表明过程 $\{ X_t \}$ 具有持续性。 +注意矩阵主对角线上的元素普遍较大，这表明经济状态往往具有一定的持久性——当经济处于某一特定状态时，它倾向于在该状态停留一段时间。 -这个马尔可夫过程也可以用一个有向图表示，边上标注着转移概率 +这个马尔可夫链也可以通过下面的有向图来直观表示，图中的箭头上标注了相应的转移概率： ```{figure} /_static/lecture_specific/finite_markov/hamilton_graph.png - ``` 这里"ng"表示正常增长，"mr"表示温和衰退，等等。 @@ -213,30 +211,30 @@ $$ ```{index} single: Markov Chains; Simulation ``` -回答关于马尔可夫链问题的一个自然方法是对其进行模拟。 +研究马尔可夫链问题的一种直观方法是通过模拟。 -(要近似事件 $E$ 发生的概率，我们可以进行多次模拟并统计 $E$ 发生的次数比例)。 +(如果我们想估计某个事件 $E$ 发生的概率，可以进行大量模拟，然后计算事件 $E$ 在这些模拟中出现的频率)。 -[QuantEcon.py](http://quantecon.org/quantecon-py)提供了模拟马尔可夫链的良好功能。 +[QuantEcon.py](http://quantecon.org/quantecon-py)库提供了强大的马尔可夫链模拟工具。 -* 高效，并捆绑了许多其他用于处理马尔可夫链的实用程序。 +* 这些工具不仅高效，还包含了许多处理马尔可夫链的实用函数。 -然而，编写我们自己的程序也是一个很好的练习 —— 让我们先来做这个，然后再回到[QuantEcon.py](http://quantecon.org/quantecon-py)中的方法。 +不过，自己动手编写模拟程序也是一个很好的学习过程——我们先尝试自己实现，然后再介绍[QuantEcon.py](http://quantecon.org/quantecon-py)的方法。 -在这些练习中，我们将状态空间设定为 $S = 0,\ldots, n-1$。 +在接下来的练习中，我们将状态空间定义为 $S = 0,\ldots, n-1$。 -### 自行编写程序 +### 自己编写模拟程序 -要模拟马尔可夫链，我们需要其随机矩阵 $P$ 和一个边际概率分布 $\psi$，用于抽取 $X_0$ 的一个实现值。 +要模拟马尔可夫链，我们需要两个基本要素：转移概率矩阵 $P$ 和一个初始概率分布 $\psi$，用来确定初始状态 $X_0$。 -马尔可夫链的构建过程如上所述。重复如下： +马尔可夫链的模拟过程可以概括为： -1. 在时间 $t=0$ 时，从 $\psi$ 中抽取 $X_0$ 的一个实现值。 -1. 在之后的每个时间 $t$，从 $P(X_t, \cdot)$ 中抽取新状态 $X_{t+1}$ 的一个实现值。 +1. 在初始时刻 $t=0$，根据分布 $\psi$ 随机生成初始状态 $X_0$。 +2. 对于每个后续时刻 $t$，根据当前状态 $X_t$ 对应的转移概率行 $P(X_t, \cdot)$ 随机生成下一个状态 $X_{t+1}$。 -为了实现这个模拟过程，我们需要一个从离散分布中生成抽样的方法。 +为了实现这个过程，我们需要一种从离散概率分布中抽样的方法。 -对于这个任务，我们将使用来自 [QuantEcon](http://quantecon.org/quantecon-py) 的 `random.draw`，其使用方法如下： +我们将使用 [QuantEcon](http://quantecon.org/quantecon-py) 库中的 `random.draw` 函数，它的用法如下： ```{code-cell} ipython3 ψ = (0.3, 0.7) # {0, 1}上的概率 @@ -244,11 +242,11 @@ cdf = np.cumsum(ψ) # 转换为累积分布 qe.random.draw(cdf, 5) # 从ψ中生成5个独立抽样 ``` -我们将把代码写成一个接受以下三个参数的函数 +我们将编写一个函数，它接受以下三个参数： -* 一个随机矩阵 `P` -* 一个初始状态 `init` -* 一个正整数 `sample_size` 表示函数应返回的时间序列长度 +* 一个随机矩阵 `P`（表示转移概率矩阵） +* 一个初始概率分布 `ψ_0`（用于确定初始状态） +* 一个正整数 `sample_size`（表示要生成的马尔可夫链时间序列长度） ```{code-cell} ipython3 def mc_sample_path(P, ψ_0=None, sample_size=1_000): @@ -275,31 +273,31 @@ def mc_sample_path(P, ψ_0=None, sample_size=1_000): return X ``` -让我们用一个小矩阵来看看它是如何工作的 +让我们用一个$2 \times 2$的小矩阵来看看它是如何工作的 ```{code-cell} ipython3 P = [[0.4, 0.6], [0.2, 0.8]] ``` -我们稍后会看到，对于从`P`中抽取的长序列，样本中取值为0的比例大约是0.25。 +我们稍后会看到，对于从`P`这个转移矩阵生成的足够长的马尔可夫链序列，状态0出现的频率大约为$0.25$。 -而且，无论$X_0$的初始分布如何，这个结论都成立。 +有趣的是，这个频率与初始状态分布$X_0$无关，这反映了马尔可夫链的一个重要性质。 -以下代码演示了这一点 +下面的代码验证了这一现象： ```{code-cell} ipython3 X = mc_sample_path(P, ψ_0=[0.1, 0.9], sample_size=100_000) np.mean(X == 0) ``` -你可以尝试改变初始分布，以确认输出总是接近0.25，至少对于上面的`P`矩阵是这样。 +你可以尝试修改初始分布，会发现输出始终接近0.25，至少对于我们上面定义的`P`矩阵是这样。 -### 使用QuantEcon的程序 +### 使用QuantEcon库 -如上所述，[QuantEcon.py](http://quantecon.org/quantecon-py)有处理马尔可夫链的程序，包括模拟。 +正如前面提到的，[QuantEcon.py](http://quantecon.org/quantecon-py)库提供了处理马尔可夫链的各种功能，包括模拟功能。 -这里用与前面例子相同的P进行说明 +下面我们使用与前面例子相同的转移矩阵P来演示这些功能 ```{code-cell} ipython3 from quantecon import MarkovChain @@ -309,7 +307,7 @@ X = mc.simulate(ts_length=1_000_000) np.mean(X == 0) ``` -[QuantEcon.py](http://quantecon.org/quantecon-py)程序使用了[JIT编译](https://python-programming.quantecon.org/numba.html#numba-link)，运行速度更快。 +[QuantEcon.py](http://quantecon.org/quantecon-py)库使用了[JIT编译](https://python-programming.quantecon.org/numba.html#numba-link)，因此运行速度明显更快。 ```{code-cell} ipython %time mc_sample_path(P, sample_size=1_000_000) # 我们自制代码版本 @@ -319,13 +317,13 @@ np.mean(X == 0) %time mc.simulate(ts_length=1_000_000) # qe代码版本 ``` -#### 添加状态值和初始条件 +#### 自定义状态值和初始状态 -如果需要，我们可以为`MarkovChain`提供状态值的规范。 +在使用`MarkovChain`类时，我们可以自定义状态的表示方式，而不仅限于默认的数字索引。 -这些状态值可以是整数、浮点数，甚至是字符串。 +这些自定义状态值可以是任何类型：整数、浮点数，甚至是更直观的字符串标签。 -以下代码演示了这一点 +下面的例子展示了如何使用有意义的标签来表示就业状态 ```{code-cell} ipython3 mc = qe.MarkovChain(P, state_values=('unemployed', 'employed')) @@ -352,20 +350,20 @@ mc.simulate_indices(ts_length=4) ```{index} single: 马尔可夫链; 边际分布 ``` -假设 +假设我们有： -1. $\{X_t\}$ 是一个具有随机矩阵 $P$ 的马尔可夫链 -1. $X_t$ 的边际分布已知为 $\psi_t$ +1. 一个马尔可夫链 $\{X_t\}$，其转移概率矩阵为 $P$ +1. 在时间 $t$ 时，$X_t$ 的边际分布为 $\psi_t$ -那么 $X_{t+1}$ 或更一般地 $X_{t+m}$ 的边际分布是什么？ +我们想知道：在未来某个时间点，比如 $t+1$ 或更一般地 $t+m$ 时，系统的边际分布会是什么？ -为了回答这个问题，我们令 $\psi_t$ 为 $t = 0, 1, 2, \ldots$ 时 $X_t$ 的边际分布。 +为了解决这个问题，我们用 $\psi_t$ 表示时间 $t$ 时随机变量 $X_t$ 的概率分布，其中 $t = 0, 1, 2, \ldots$。 -我们的首要目标是根据 $\psi_t$ 和 $P$ 找到 $\psi_{t + 1}$。 +我们首先考虑如何从当前分布 $\psi_t$ 和转移矩阵 $P$ 推导出下一时刻的分布 $\psi_{t+1}$。 -首先，选取任意 $y \in S$。 +考虑任意状态 $y \in S$，我们想计算系统在下一时刻处于状态 $y$ 的概率。 -使用[全概率公式](https://en.wikipedia.org/wiki/Law_of_total_probability)，我们可以将 $X_{t+1} = y$ 的概率分解如下： +根据[全概率公式](https://en.wikipedia.org/wiki/Law_of_total_probability)，我们可以将这个概率表示为： $$ \mathbb P \{X_{t+1} = y \} @@ -373,17 +371,17 @@ $$ \cdot \mathbb P \{ X_t = x \} $$ -用文字来说，要得到明天处于状态 $y$ 的概率，我们需要考虑所有可能发生的情况并将它们的概率相加。 +换句话说，要计算明天系统处于状态 $y$ 的概率，我们需要考虑今天可能处于的每个状态 $x$，然后将从这些状态转移到 $y$ 的概率加权求和。 -用边际概率和条件概率重写这个表达式得到 +用数学符号表示，这个表达式可以写为 $$ \psi_{t+1}(y) = \sum_{x \in S} P(x,y) \psi_t(x) $$ -对于每个 $y \in S$，都有一个这样的方程，共 $n$ 个方程。 +这个等式对状态空间 $S$ 中的每个状态 $y$ 都成立，总共有 $n$ 个这样的方程。 -如果我们将 $\psi_{t+1}$ 和 $\psi_t$ 视为*行向量*，这 $n$ 个方程可以用矩阵表达式概括为 +如果我们将分布 $\psi_{t+1}$ 和 $\psi_t$ 看作*行向量*，那么这整组方程可以简洁地表示为矩阵形式 ```{math} :label: fin_mc_fr @@ -391,15 +389,15 @@ $$ \psi_{t+1} = \psi_t P ``` -因此，要将边际分布向前推进一个时间单位，我们需要右乘 $P$。 +由此可见，将边际分布向前推进一个时间单位，只需要将分布向量右乘转移矩阵 $P$。 -通过右乘 $m$ 次，我们可以将边际分布向未来推进 $m$ 步。 +如果我们想将分布向前推进 $m$ 个时间单位，只需要将分布向量右乘 $P$ 的 $m$ 次幂。 -因此，通过迭代 {eq}`fin_mc_fr`，表达式 $\psi_{t+m} = \psi_t P^m$ 也是有效的 --- 这里 $P^m$ 是 $P$ 的 $m$ 次幂。 +换句话说，通过迭代应用等式 {eq}`fin_mc_fr`，我们得到 $\psi_{t+m} = \psi_t P^m$，其中 $P^m$ 表示转移矩阵 $P$ 的 $m$ 次幂。 -作为一个特例，我们可以看到，如果 $\psi_0$ 是 $X_0$ 的初始分布，那么 $\psi_0 P^m$ 就是 $X_m$ 的分布。 +特别地，如果我们知道系统的初始分布 $\psi_0$，那么 $m$ 时刻的分布就是 $\psi_0 P^m$。 -这一点非常重要，让我们重复一遍 +这个结果非常重要，值得我们强调一下 ```{math} :label: mdfmc @@ -420,15 +418,16 @@ X_t \sim \psi_t \quad \implies \quad X_{t+m} \sim \psi_t P^m 我们知道从状态 $x$ 到 $y$ 的一步转移概率是 $P(x,y)$。 -事实证明，从 $x$ 到 $y$ 的 $m$ 步转移概率是 $P^m(x,y)$，即 $P$ 的 $m$ 次幂的第 $(x,y)$ 个元素。 +类似地，从状态 $x$ 到 $y$ 的 $m$ 步转移概率是 $P^m(x,y)$，即矩阵 $P$ 的 $m$ 次幂中第 $(x,y)$ 个元素。 -要理解这一点，再次考虑 {eq}`mdfmc2`，但现在假设 $\psi_t$ 在状态 $x$ 上的概率为1，其他位置为零，使得转移概率为： +为了理解这一点，让我们重新考虑等式 {eq}`mdfmc2`，但这次假设初始分布 $\psi_t$ 是一个特殊的分布：它在状态 $x$ 处的概率为1，在其他所有状态处的概率为0。这相当于确定系统在时刻 $t$ 处于状态 $x$。 -* 在第 $x$ 个位置为1，其他位置为零 +这样的分布可以表示为一个行向量： +* 在第 $x$ 个位置为1，其他位置为0 -将此代入 {eq}`mdfmc2`，我们可以看到，在条件 $X_t = x$ 下，$X_{t+m}$ 的分布是 $P^m$ 的第 $x$ 行。 +将这个特殊分布代入 {eq}`mdfmc2`，我们可以看到，在条件 $X_t = x$ 下，$X_{t+m}$ 的分布正好对应于矩阵 $P^m$ 的第 $x$ 行。 -具体来说 +因此，我们有 $$ \mathbb P \{X_{t+m} = y \,|\, X_t = x \} = P^m(x, y) = P^m \text{的第} (x, y) \text{个元素} @@ -439,13 +438,13 @@ $$ ```{index} single: Markov Chains; Future Probabilities ``` -回顾上面{ref}`考虑过的`衰退和增长的随机矩阵$P$。 +让我们回顾{ref}`前面讨论的`关于衰退和增长的随机矩阵$P$。 -假设当前状态未知 --- 可能统计数据仅在当前月份*结束时*才能获得。 +假设我们不确定当前的经济状态，这种情况很常见，因为经济数据通常要到月末才能收集到。 -我们猜测经济处于状态$x$的概率是$\psi(x)$。 +我们用$\psi(x)$表示经济处于状态$x$的概率估计。 -6个月后经济处于衰退状态（轻度或严重）的概率由以下内积给出： +那么，6个月后经济陷入衰退（无论是轻度还是严重）的概率可以通过以下内积计算： $$ \psi P^6 @@ -460,51 +459,49 @@ $$ $$ (mc_eg1-1)= -### 示例2：横截面分布 +### 示例2：分布的横截面解释 ```{index} single: Markov Chains; Cross-Sectional Distributions ``` -我们一直在研究的边际分布可以被视为概率，也可以被视为大数定律使我们预期在大样本中出现的横截面频率。 +我们研究的边际分布不仅可以解释为概率，还可以理解为大数定律下在大样本中预期出现的横截面频率。 -为了说明这一点，让我们回顾{ref}`上面讨论过的`关于某个工人就业/失业动态的模型。 +为了更好地理解这一点，让我们回到{ref}`前面讨论的`工人就业/失业动态模型。 -考虑一个大规模的工人群体，每个工人的终身经历都由特定的动态过程描述，每个工人的结果都是统计上独立于其他所有工人过程的实现。 +想象一个大型工人群体，其中每个工人的职业生涯都遵循相同的动态过程，且每个工人的经历在统计上独立于其他工人。 -让$\psi$表示当前在$\{ 0, 1 \}$上的*横截面*分布。 +假设$\psi$代表当前在状态空间$\{ 0, 1 \}$上的*横截面*分布。 -横截面分布记录了在某一时刻就业和失业工人的比例。 +这个横截面分布反映了某一时刻就业和失业工人的比例。 -* 例如，$\psi(0)$是失业率。 +* 具体来说，$\psi(0)$表示失业率。 -10个周期后的横截面分布会是什么？ +如果我们想知道10个周期后的横截面分布会是什么样子，答案是$\psi P^{10}$，其中$P$是{eq}`p_unempemp`中给出的随机矩阵。 -答案是$\psi P^{10}$，其中$P$是{eq}`p_unempemp`中的随机矩阵。 +这一结果成立是因为每个工人的状态都按照矩阵$P$的规律演变，因此$\psi P^{10}$代表了随机选取的单个工人的边际分布。 -这是因为每个工人的状态都按照$P$演变，所以$\psi P^{10}$是随机选择的单个工人的边际分布。 +根据大数定律，当样本规模足够大时，观察到的频率会非常接近理论概率。 -但当样本量很大时，结果和概率大致相等（根据大数定律）。 +因此，对于一个足够大（接近无限）的人口， -因此，对于一个非常大的（趋向于无限的）人口， +$\psi P^{10}$同时也代表了处于各个状态的工人比例。 -$\psi P^{10}$ 也表示每个状态中工人的比例。 - -这正是横截面分布。 +这正是我们所说的横截面分布。 ## {index}`不可约性和非周期性 ` ```{index} single: Markov Chains; Irreducibility, Aperiodicity ``` -不可约性和非周期性是现代马尔可夫链理论的核心概念。 +不可约性和非周期性是马尔可夫链理论中两个最基本的概念。 -让我们来看看它们是什么。 +下面我们来详细了解这两个概念。 ### 不可约性 -设 $P$ 是一个固定的随机矩阵。 +假设我们有一个随机矩阵 $P$。 -如果存在正整数 $j$ 和 $k$ 使得 +当两个状态 $x$ 和 $y$ 之间存在某种"联系"时，即存在正整数 $j$ 和 $k$ 使得 $$ P^j(x, y) > 0 @@ -556,7 +553,6 @@ mc.is_irreducible 这是一个更悲观的情景，其中穷人永远保持贫穷 ```{figure} /_static/lecture_specific/finite_markov/mc_irreducibility2.png - ``` 这个随机矩阵不是不可约的，因为，例如，从穷人状态无法到达富人状态。 @@ -572,7 +568,7 @@ mc = qe.MarkovChain(P, ('poor', 'middle', 'rich')) mc.is_irreducible ``` -我们也可以确定"通信类" +我们也可以确定各个状态之间的"连通类" ```{code-cell} ipython3 mc.communication_classes @@ -605,17 +601,17 @@ mc = qe.MarkovChain(P) mc.period ``` -更正式地说，一个状态 $x$ 的**周期**是一个整数集合的最大公约数 +更正式地说，一个状态 $x$ 的**周期**是指状态 $x$ 可能返回自身的步数集合的最大公约数 $$ D(x) := \{j \geq 1 : P^j(x, x) > 0\} $$ -在上一个例子中，对于每个状态 $x$，$D(x) = \{3, 6, 9, \ldots\}$，所以周期是3。 +在上面的例子中，对于每个状态 $x$，我们有 $D(x) = \{3, 6, 9, \ldots\}$，因此周期是3。 -如果每个状态的周期都是1，随机矩阵被称为**非周期的**，否则称为**周期的**。 +如果所有状态的周期都是1，我们称这个马尔可夫链为**非周期的**，否则称为**周期的**。 -例如，下面这个转移概率对应的随机矩阵是周期的，因为状态 $a$ 的周期是2 +例如，下图所示的马尔可夫链是周期的，这是因为状态 $a$ 的周期是2 ```{figure} /_static/lecture_specific/finite_markov/mc_aperiodicity2.png @@ -642,9 +638,9 @@ mc.is_aperiodic ```{index} single: 马尔可夫链; 平稳分布 ``` -如{eq}`fin_mc_fr`所示，我们可以通过后乘$P$将边际分布向前移动一个时间单位。 +如{eq}`fin_mc_fr`所示，我们可以通过右乘$P$将边际分布向前推进一个时间单位。 -某些分布在这种更新过程下保持不变 --- 例如， +某些分布在这种更新过程下保持不变 --- 比如， ```{code-cell} ipython3 P = np.array([[0.4, 0.6], @@ -660,13 +656,13 @@ P = np.array([[0.4, 0.6], （这与我们在{doc}`AR(1)过程讲座 `中学到的平稳性概念是相同的，只是应用在不同的场景中。） -从这个等式中，我们可以立即得到对于所有$t$都有$\psi^* = \psi^* P^t$。 +从这个等式中，我们可以直接推导出对于所有$t$都有$\psi^* = \psi^* P^t$。 -这告诉我们一个重要的事实：如果$X_0$的分布是平稳分布，那么对于所有$t$，$X_t$将具有相同的分布。 +这告诉我们一个重要事实：如果$X_0$的分布是平稳分布，那么对于所有$t$，$X_t$将具有相同的分布。 -因此，平稳分布可以自然地解释为**随机稳态**——我们很快会详细讨论这一点。 +因此，平稳分布可以自然地解释为**随机稳态**——我们稍后会详细讨论这一点。 -从数学角度来看，当将$P$视为从（行）向量到（行）向量的映射$\psi \mapsto \psi P$时，平稳分布是$P$的不动点。 +从数学角度看，当将$P$视为从（行）向量到（行）向量的映射$\psi \mapsto \psi P$时，平稳分布是$P$的不动点。 **定理：**每个随机矩阵$P$至少有一个平稳分布。 @@ -682,9 +678,9 @@ P = np.array([[0.4, 0.6], 如果从状态空间的某个子集无法到达其他部分，则该子集是无限持续的。 -因此，非平凡子集的无限持续性与不可约性是相对的。 +因此，闭集的不存在与不可约性是对应的。 -这为以下基本定理提供了一些直观理解。 +这为以下基本定理提供了直观理解。 (mc_conv_thm)= @@ -699,9 +695,9 @@ P = np.array([[0.4, 0.6], 满足该定理条件的随机矩阵有时被称为**一致遍历的**。 -$P$的每个元素都严格大于零是非周期性和不可约性的充分条件。 +$P$的每个元素都严格大于零是保证非周期性和不可约性的充分条件。 -* 试着说服自己这一点是正确的。 +* 试着思考为什么这个结论是正确的。 ### 示例 @@ -717,46 +713,46 @@ $$ p = \frac{\beta}{\alpha + \beta} $$ -这在某种意义上是失业的稳态概率 --- 关于这个解释的更多内容见下文。 +这在一定程度上代表了失业的长期稳态概率 --- 关于这个解释的更多细节见下文。 -不出所料，当 $\beta \to 0$ 时，它趋近于零；当 $\alpha \to 0$ 时，它趋近于一。 +不出所料，当$\beta \to 0$时，它趋近于零；当$\alpha \to 0$时，它趋近于一。 ### 计算平稳分布 ```{index} single: Markov Chains; Calculating Stationary Distributions ``` -如上所述，一个特定的马尔可夫矩阵 $P$ 可能有多个平稳分布。 +如前所述，某些马尔可夫矩阵 $P$ 可能存在多个平稳分布。 -也就是说，可能存在多个行向量 $\psi$ 满足 $\psi = \psi P$。 +换句话说，可能有多个概率分布（行向量）$\psi$ 满足条件 $\psi = \psi P$。 -事实上，如果 $P$ 有两个不同的平稳分布 $\psi_1, \psi_2$，那么它就有无限多个平稳分布，因为在这种情况下，正如你可以验证的那样，对于任意 $\lambda \in [0, 1]$ +实际上，如果 $P$ 有两个不同的平稳分布 $\psi_1$ 和 $\psi_2$，那么它必然有无限多个平稳分布。这是因为对于任意 $\lambda \in [0, 1]$，它们的凸组合 $$ \psi_3 := \lambda \psi_1 + (1 - \lambda) \psi_2 $$ -都是 $P$ 的一个平稳分布。 +也是 $P$ 的平稳分布，这一点很容易验证。 -如果我们将注意力限制在只存在一个平稳分布的情况下，找到它的一种方法是求解系统 +当我们考虑只有唯一平稳分布的情况时，可以通过求解以下线性方程组来找到它 $$ \psi (I_n - P) = 0 $$ (eq:eqpsifixed) -其中$I_n$是$n \times n$单位矩阵，求解$\psi$。 +其中$I_n$是$n \times n$单位矩阵，我们需要求解非零向量$\psi$。 -但是零向量可以满足系统{eq}`eq:eqpsifixed`，所以我们必须谨慎处理。 +注意，零向量也满足方程组{eq}`eq:eqpsifixed`，因此我们需要额外的约束条件。 -我们要施加$\psi$是概率分布的限制条件。 +由于$\psi$表示概率分布，我们需要确保它的所有元素非负且和为1。 -有多种方法可以做到这一点。 +解决这个问题有几种方法： -一种选择是将求解系统{eq}`eq:eqpsifixed`视为特征向量问题：满足$\psi = \psi P$的向量$\psi$是与单位特征值$\lambda = 1$相关的左特征向量。 +一种方法是将其视为特征值问题：满足$\psi = \psi P$的向量$\psi$实际上是对应于特征值$\lambda = 1$的左特征向量。 -[QuantEcon.py](http://quantecon.org/quantecon-py)实现了一个专门用于随机矩阵的稳定且复杂的算法。 +[QuantEcon.py](http://quantecon.org/quantecon-py)库提供了一个专门计算随机矩阵平稳分布的高效算法，能够处理各种复杂情况。 -这是我们推荐的方法： +下面是使用这个库的推荐方法： ```{code-cell} ipython3 P = [[0.4, 0.6], @@ -770,12 +766,11 @@ mc.stationary_distributions # 显示所有平稳分布 ```{index} single: 马尔可夫链; 收敛到平稳分布 ``` +马尔可夫链收敛定理的第2部分{ref}`如上所述`表明，无论初始状态如何，$X_t$的边际分布最终都会收敛到平稳分布。 -马尔可夫链收敛定理的第2部分{ref}`如上所述`告诉我们，无论从何处开始，$X_t$的边际分布都会收敛到平稳分布。 +这一结果有力地支持了我们将$\psi^*$视为系统长期随机行为稳定状态的解释。 -这大大加强了我们将$\psi^*$解释为随机稳态的观点。 - -下图展示了定理中的收敛过程 +以下图形直观地展示了这一收敛过程 ```{code-cell} ipython P = ((0.971, 0.029, 0.000), @@ -810,14 +805,14 @@ ax.scatter(ψ_star[0], ψ_star[1], ψ_star[2], c='k', s=60) plt.show() ``` -这里 +在这个图中： -* $P$ 是{ref}`上文讨论的 `衰退和增长的随机矩阵。 -* 最高的红点是任意选择的初始边际概率分布 $\psi$，表示为 $\mathbb R^3$ 中的一个向量。 -* 其他红点是边际分布 $\psi P^t$，其中 $t = 1, 2, \ldots$。 -* 黑点是 $\psi^*$。 +* $P$ 是{ref}`上文讨论的 `描述经济衰退和增长的随机矩阵 +* 最高处的红点代表我们选择的初始概率分布 $\psi$（表示为 $\mathbb R^3$ 中的向量） +* 其余红点表示随时间演化的分布 $\psi P^t$（$t = 1, 2, \ldots$） +* 黑点表示平稳分布 $\psi^*$ -你可以尝试用不同的初始条件进行实验。 +你可以尝试更改初始分布，观察系统如何始终收敛到相同的平稳分布。 (ergodicity)= ## {index}`遍历性 ` @@ -836,37 +831,37 @@ plt.show() 这里 -* $\mathbf{1}\{X_t = x\} = 1$ 当且仅当 $X_t = x$，否则为零 -* 收敛是以概率1发生的 -* 该结果不依赖于 $X_0$ 的边际分布 +* $\mathbf{1}\{X_t = x\}$ 是指示函数，当 $X_t = x$ 时取值为1，否则为0 +* 收敛的概率为1（也称为"几乎必然"） +* 这个结果不依赖于初始状态 $X_0$ 的分布 -结果表明，随着时间趋向无穷，马尔可夫链在状态 $x$ 停留的时间比例收敛到 $\psi^*(x)$。 +这个结果告诉我们，随着时间推移，马尔可夫链在状态 $x$ 停留的时间比例将趋近于 $\psi^*(x)$。 (new_interp_sd)= -这为我们提供了另一种解释平稳分布的方式 --- 前提是{eq}`llnfmc0`中的收敛结果成立。 +这为平稳分布提供了另一种直观解释 — 只要{eq}`llnfmc0`中的收敛成立。 -{eq}`llnfmc0`中所述的收敛是马尔可夫链大数定律结果的一个特例 --- 更多相关信息请参见[EDTC](http://johnstachurski.net/edtc.html)第4.3.4节。 +{eq}`llnfmc0`实际上是马尔可夫链大数定律的一个特例 — 有兴趣的读者可以参考[EDTC](http://johnstachurski.net/edtc.html)第4.3.4节获取更多细节。 (mc_eg1-2)= ### 示例 -回想我们之前{ref}`讨论过的`就业/失业模型的横截面解释。 +让我们回到之前{ref}`讨论过的`就业/失业模型。 -假设 $\alpha \in (0,1)$ 且 $\beta \in (0,1)$，因此不可约性和非周期性都成立。 +假设 $\alpha \in (0,1)$ 且 $\beta \in (0,1)$，这确保了马尔可夫链的不可约性和非周期性。 -我们看到平稳分布是 $(p, 1-p)$，其中 +我们已经知道平稳分布是 $(p, 1-p)$，其中 $$ p = \frac{\beta}{\alpha + \beta} $$ -在横截面解释中，这是失业人口的比例。 +从横截面角度看，$p$ 表示整个人口中失业者的比例。 -根据我们最新的（遍历性）结果，这也是单个工人预期处于失业状态的时间比例。 +而根据刚才介绍的遍历性结果，$p$ 也等于单个工人在长期内处于失业状态的平均时间比例。 -因此，从长远来看，群体的横截面平均值和个人的时间序列平均值是一致的。 +这意味着，从长期来看，群体的横截面平均值与个体的时间序列平均值是一致的。 -这是遍历性概念的一个方面。 +这正是遍历性的核心含义。 (finite_mc_expec)= ## 计算期望值 @@ -874,7 +869,7 @@ $$ ```{index} single: 马尔可夫链; 预测未来值 ``` -我们有时需要计算 $X_t$ 函数的数学期望值，形式如下： +我们经常需要计算 $X_t$ 函数的期望值，形式如下： ```{math} :label: mc_une @@ -893,7 +888,7 @@ $$ 其中： * $\{X_t\}$ 是由 $n \times n$ 随机矩阵 $P$ 生成的马尔可夫链 -* $h$ 是给定函数，从矩阵代数的角度来看，我们将其视为列向量 +* $h$ 是给定函数，从矩阵代数的角度看，我们将其视为列向量 $$ h @@ -906,9 +901,9 @@ h \right) $$ -计算无条件期望值 {eq}`mc_une` 很简单。 +计算无条件期望值 {eq}`mc_une` 相对简单。 -我们只需对 $X_t$ 的边际分布求和即可得到 +我们只需对 $X_t$ 的边际分布求和即可 $$ \mathbb E [ h(X_t) ] @@ -917,7 +912,7 @@ $$ 这里 $\psi$ 是 $X_0$ 的分布。 -由于 $\psi$ 以及 $\psi P^t$ 都是行向量，我们也可以写成 +由于 $\psi$ 以及 $\psi P^t$ 都是行向量，我们也可以简写为 $$ \mathbb E [ h(X_t) ] @@ -926,7 +921,7 @@ $$ 对于条件期望 {eq}`mc_cce`，我们需要对给定 $X_t = x$ 时 $X_{t + k}$ 的条件分布求和。 -我们已经知道这是 $P^k(x, \cdot)$，所以 +我们已经知道这个条件分布是 $P^k(x, \cdot)$，因此 ```{math} :label: mc_cce2 @@ -935,9 +930,9 @@ $$ = (P^k h)(x) ``` -向量 $P^k h$ 存储了所有 $x$ 的条件期望 $\mathbb E [ h(X_{t + k}) \mid X_t = x]$。 +向量 $P^k h$ 包含了所有状态 $x$ 的条件期望 $\mathbb E [ h(X_{t + k}) \mid X_t = x]$。 -### 迭代期望 +### 迭代期望法则 **迭代期望法则**指出 @@ -945,26 +940,26 @@ $$ \mathbb E \left[ \mathbb E [ h(X_{t + k}) \mid X_t = x] \right] = \mathbb E [ h(X_{t + k}) ] $$ -其中左边的外部期望 $ \mathbb E$ 是关于 $X_t$ 的边际分布 $\psi_t$ 的无条件分布（参见方程 {eq}`mdfmc2`）。 +其中左边的外部期望 $ \mathbb E$ 是关于 $X_t$ 的边际分布 $\psi_t$ 的（参见方程 {eq}`mdfmc2`）。 -为了验证迭代期望法则，使用方程 {eq}`mc_cce2` 将 $ (P^k h)(x)$ 代入 $E [ h(X_{t + k}) \mid X_t = x]$，写作 +为了验证这个法则，我们使用方程 {eq}`mc_cce2` 将 $ (P^k h)(x)$ 代入 $E [ h(X_{t + k}) \mid X_t = x]$，得到 $$ \mathbb E \left[ \mathbb E [ h(X_{t + k}) \mid X_t = x] \right] = \psi_t P^k h, $$ -并注意 $\psi_t P^k h = \psi_{t+k} h = \mathbb E [ h(X_{t + k}) ] $。 +注意到 $\psi_t P^k h = \psi_{t+k} h = \mathbb E [ h(X_{t + k}) ] $。 ### 几何和的期望 -有时我们想要计算几何和的数学期望，例如 $\sum_t \beta^t h(X_t)$。 +有时我们需要计算几何和的期望值，例如 $\sum_t \beta^t h(X_t)$。 -根据前面的讨论，这等于 +根据前面的讨论，对于给定的初始状态 $X_t = x$，这个几何和的条件期望可以表示为 $$ -\mathbb{E} [ +\mathbb{E} \left[ \sum_{j=0}^\infty \beta^j h(X_{t+j}) \mid X_t = x - \Bigr] + \right] = [(I - \beta P)^{-1} h](x) $$ @@ -1005,9 +1000,9 @@ $$ \bar X_m := \frac{1}{m} \sum_{t = 1}^m \mathbf{1}\{X_t = 0\} $$ -本练习要求你通过计算大规模 $m$ 的 $\bar X_m$ 并验证其接近 $p$ 来说明这种收敛性。 +在本练习中，请通过模拟计算大样本量$m$下的 $\bar X_m$ 值，并验证它确实收敛到理论值 $p$。 -你会发现，只要 $\alpha, \beta$ 都在 $(0, 1)$ 区间内，无论选择什么初始条件，这个结论都是成立的。 +你会发现，只要参数 $\alpha$ 和 $\beta$ 都严格在 0 和 1 之间，无论从什么初始状态开始，这个收敛结果都成立。 ``` @@ -1015,11 +1010,11 @@ $$ :class: dropdown ``` -我们将通过图形方式解决这个练习。 +让我们通过模拟来验证这个结果。 -图表显示了两种初始条件下 $\bar X_m - p$ 的时间序列。 +下面的图表展示了从两种不同初始状态开始时，$\bar X_m - p$ 随时间的变化。 -随着 $m$ 变大，两个序列都收敛于零。 +我们可以看到，无论初始状态如何，随着样本量 $m$ 的增加，$\bar X_m$ 都会收敛到理论值 $p$，即 $\bar X_m - p$ 趋近于零。 ```{code-cell} ipython3 α = β = 0.1 @@ -1043,7 +1038,6 @@ for x0, col in ((0, 'blue'), (1, 'green')): # 绘图 ax.fill_between(range(N), np.zeros(N), X_bar - p, color=col, alpha=0.1) ax.plot(X_bar - p, color=col, label=f'$X_0 = \, {x0} $') - # 用黑色覆盖--使线条更清晰 ax.plot(X_bar - p, 'k-', alpha=0.6) ax.legend(loc='upper right') @@ -1057,48 +1051,48 @@ plt.show() :label: fm_ex2 ``` -*排名*是经济学和许多其他学科关注的一个话题。 +*排名*是经济学和众多学科都非常关注的话题。 -现在让我们来考虑一个最实用且重要的排名问题——搜索引擎对网页的排名。 +接下来，我们将探讨一个极其实用且重要的排名问题——搜索引擎如何对网页进行排名。 -（尽管这个问题源自经济学之外，但搜索排名系统与某些竞争均衡中的价格实际上存在深层联系——参见{cite}`DLP2013`。） +（虽然这个问题并非源自经济学，但搜索排名系统与某些竞争均衡中的价格机制有着深层次的联系——详见{cite}`DLP2013`。） -为了理解这个问题，考虑一下网络搜索引擎查询返回的结果集。 +要理解这个问题，我们可以思考一下当你在搜索引擎中输入查询时返回的结果。 -对用户来说，理想的是： +对于用户来说，理想的搜索体验应该是： -1. 获得大量准确的匹配结果 -1. 按顺序返回匹配结果，这个顺序对应某种"重要性"的衡量标准 +1. 获得大量与查询相关的准确结果 +1. 这些结果按照某种"重要性"指标排序呈现 -根据重要性衡量标准进行排名就是我们现在要考虑的问题。 +我们现在要讨论的正是如何根据重要性指标对网页进行排名的问题。 -Google创始人拉里·佩奇和谢尔盖·布林开发的解决这个问题的方法被称为[PageRank](https://en.wikipedia.org/wiki/PageRank)。 +Google的创始人拉里·佩奇和谢尔盖·布林为解决这个问题开发了一种方法，这就是著名的[PageRank](https://baike.baidu.com/item/google%20pagerank/2465380)算法。 为了说明这个概念，请看下面的图表 ```{figure} /_static/lecture_specific/finite_markov/web_graph.png ``` -想象这是万维网的一个微型版本，其中 +假设这是一个简化的万维网模型，其中 -* 每个节点代表一个网页 -* 每个箭头代表从一个页面到另一个页面的链接存在 +* 每个节点表示一个网页 +* 每个箭头表示一个网页链接到另一个网页 -现在让我们思考哪些页面可能是重要的，即对搜索引擎用户来说具有价值的页面。 +我们来思考一下：什么样的页面才是真正重要的，也就是对搜索引擎用户最有价值的页面？ -衡量页面重要性的一个可能标准是入站链接的数量——这表明了受欢迎程度。 +一个直观的衡量标准是看一个页面有多少入站链接——这在某种程度上反映了它的受欢迎度。 -按照这个标准，`m`和`j`是最重要的页面，各有5个入站链接。 +从图中可以看出，`m`和`j`各有5个入站链接，按这个标准应该是最重要的页面。 -但是，如果链接到`m`的页面本身并不重要呢？ +但这里有个问题：如果链接到`m`的那些页面本身并不重要呢？ -这样想的话，似乎应该根据相对重要性来对入站节点进行加权。 +这就引出了一个更合理的想法：我们应该根据链接源页面的重要性来给入站链接赋予不同的权重。 -PageRank算法正是这样做的。 +这正是PageRank算法的核心思想。 -下面是一个稍微简化的介绍，但捕捉到了基本思想。 +下面我们用一种简化的方式来解释这个算法的基本原理。 -令 $j$ 为（整数索引的）典型页面，$r_j$ 为其排名，我们设定 +假设$j$是任意一个页面，$r_j$是它的排名值，我们定义 $$ r_j = \sum_{i \in L_j} \frac{r_i}{\ell_i} @@ -1106,18 +1100,18 @@ $$ 其中 -* $\ell_i$ 是从页面 $i$ 出发的外链总数 -* $L_j$ 是所有链接到页面 $j$ 的页面 $i$ 的集合 +* $\ell_i$ 是页面 $i$ 的出站链接总数 +* $L_j$ 是所有链接到页面 $j$ 的页面集合 -这是一个衡量入站链接数量的指标，根据链接来源页面的排名进行加权（并通过 $1 / \ell_i$ 进行归一化）。 +这个公式实际上是一个加权的入站链接计数，其中每个链接的权重取决于源页面的重要性（即$r_i$），并通过源页面的出链数量（即$\ell_i$）进行归一化。 -然而，还有另一种解释，这让我们回到马尔可夫链。 +这种定义方式自然引导我们回到马尔可夫链的概念。 -令 $P$ 为矩阵，其中 $P(i, j) = \mathbf 1\{i \to j\} / \ell_i$，这里 $\mathbf 1\{i \to j\} = 1$ 表示页面 $i$ 有链接指向 $j$，否则为零。 +让我们定义矩阵 $P$，其中 $P(i, j) = \mathbf 1\{i \to j\} / \ell_i$。这里 $\mathbf 1\{i \to j\} = 1$ 表示页面 $i$ 链接到页面 $j$，否则为0。 -如果每个页面至少有一个链接，则矩阵 $P$ 是一个随机矩阵。 +如果每个页面至少有一个出站链接，那么 $P$ 就是一个随机矩阵。 -基于这个 $P$ 的定义，我们有 +基于 $P$ 的定义，我们可以重写排名公式： $$ r_j @@ -1126,34 +1120,30 @@ r_j = \sum_{\text{所有 } i} P(i, j) r_i $$ -将排名写成行向量 $r$，这就变成了 $r = r P$。 - -因此 $r$ 是随机矩阵 $P$ 的平稳分布。 - -让我们将 $P(i, j)$ 理解为从页面 $i$ "移动"到页面 $j$ 的概率。 +如果我们将排名表示为行向量 $r$，那么上式可以简写为 $r = r P$。 -$P(i, j)$ 的值可以解释为： +这表明排名向量 $r$ 正是随机矩阵 $P$ 的平稳分布。 -* 如果页面 $i$ 有 $k$ 个出站链接，且 $j$ 是其中之一，则 $P(i, j) = 1/k$ -* 如果页面 $i$ 没有直接链接到 $j$，则 $P(i, j) = 0$ +从直观上理解，$P(i, j)$ 可以被视为从页面 $i$ "跳转"到页面 $j$ 的概率： -因此，从一个页面到另一个页面的移动就像一个网络浏览者通过随机点击页面上的某个链接来移动。 +* 如果页面 $i$ 有 $k$ 个出站链接，且其中一个指向 $j$，则 $P(i, j) = 1/k$ +* 如果页面 $i$ 没有链接到 $j$，则 $P(i, j) = 0$ -这里的"随机"意味着每个链接被选中的概率相等。 +这描述了一个网络浏览者的随机漫步过程——在每个页面上随机点击一个链接继续浏览。 -由于 $r$ 是 $P$ 的平稳分布，假设一致遍历性条件成立，我们{ref}`可以解释 ` $r_j$ 为一个（非常持久的）随机浏览者在页面 $j$ 停留的时间比例。 +由于 $r$ 是 $P$ 的平稳分布，假设一致遍历性成立，我们可以{ref}`解读 ` $r_j$ 为一个长期随机浏览者在页面 $j$ 上停留的时间比例。 -你的练习是将这个排名算法应用到上图所示的图中，并返回按排名顺序排列的页面列表。 +你的练习是将这个排名算法应用到上图所示的网络中，并按排名从高到低列出所有页面。 -总共有14个节点（即网页），第一个命名为 `a`，最后一个命名为 `n`。 +图中共有14个节点（网页），分别标记为 `a` 到 `n`。 -文件中的典型行具有以下形式 +数据文件中的每一行具有以下格式： ```{code-block} none d -> h; ``` -这应该被理解为存在一个从`d`到`h`的链接。 +这说明了存在一个从`d`到`h`的链接。 下面显示了这个图的数据，当单元格执行时，这些数据被读入名为`web_graph_data.txt`的文件中。 From b9c31f4b53ff8c51a3857921d7648e543055128f Mon Sep 17 00:00:00 2001 From: Humphrey Yang Date: Fri, 11 Apr 2025 10:43:27 +1000 Subject: [PATCH 2/5] update graphs --- .../finite_markov/figures.ipynb | 193 ++++++++++++++++++ .../finite_markov/hamilton_grah | 13 ++ .../finite_markov/hamilton_graph | 13 ++ .../finite_markov/hamilton_graph.png | Bin 9190 -> 16217 bytes .../finite_markov/mc_irreducibility1 | 14 ++ .../finite_markov/mc_irreducibility1.png | Bin 20440 -> 19607 bytes .../finite_markov/mc_irreducibility2 | 12 ++ .../finite_markov/mc_irreducibility2.png | Bin 18721 -> 18140 bytes 8 files changed, 245 insertions(+) create mode 100644 lectures/_static/lecture_specific/finite_markov/figures.ipynb create mode 100644 lectures/_static/lecture_specific/finite_markov/hamilton_grah create mode 100644 lectures/_static/lecture_specific/finite_markov/hamilton_graph create mode 100644 lectures/_static/lecture_specific/finite_markov/mc_irreducibility1 create mode 100644 lectures/_static/lecture_specific/finite_markov/mc_irreducibility2 diff --git a/lectures/_static/lecture_specific/finite_markov/figures.ipynb b/lectures/_static/lecture_specific/finite_markov/figures.ipynb new file mode 100644 index 0000000..7b50f28 --- /dev/null +++ b/lectures/_static/lecture_specific/finite_markov/figures.ipynb @@ -0,0 +1,193 @@ +{ + "cells": [ + { + "cell_type": "markdown", + "id": "b5a640be-e2e4-4841-bcda-95f6660fd9fe", + "metadata": {}, + "source": [ + "# Figures for Markov Chain II" + ] + }, + { + "cell_type": "code", + "execution_count": 1, + "id": "f8a64d7b-2ffd-4974-a1dd-ec14d8e44102", + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "Collecting graphviz\n", + " Obtaining dependency information for graphviz from https://files.pythonhosted.org/packages/00/be/d59db2d1d52697c6adc9eacaf50e8965b6345cc143f671e1ed068818d5cf/graphviz-0.20.3-py3-none-any.whl.metadata\n", + " Downloading graphviz-0.20.3-py3-none-any.whl.metadata (12 kB)\n", + "Downloading graphviz-0.20.3-py3-none-any.whl (47 kB)\n", + "\u001b[2K \u001b[90m━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━\u001b[0m \u001b[32m47.1/47.1 kB\u001b[0m \u001b[31m1.4 MB/s\u001b[0m eta \u001b[36m0:00:00\u001b[0m\n", + "\u001b[?25hInstalling collected packages: graphviz\n", + "Successfully installed graphviz-0.20.3\n" + ] + } + ], + "source": [ + "!pip install graphviz" + ] + }, + { + "cell_type": "code", + "execution_count": 2, + "id": "43d55bea-fd00-4583-8d89-830151b6c36c", + "metadata": {}, + "outputs": [], + "source": [ + "from graphviz import Digraph" + ] + }, + { + "cell_type": "markdown", + "id": "4185ae75-3a1c-4f89-ad74-1950d344ba56", + "metadata": {}, + "source": [ + "## Irreducibility" + ] + }, + { + "cell_type": "code", + "execution_count": 3, + "id": "53a8bb26-a6e8-421c-abcc-535031d5a69b", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "'mc_irreducibility1.png'" + ] + }, + "execution_count": 3, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "dot = Digraph(format='png')\n", + "dot.attr(rankdir='LR')\n", + "dot.node(\"贫穷\")\n", + "dot.node(\"中产\")\n", + "dot.node(\"富裕\")\n", + "\n", + "dot.edge(\"贫穷\", \"贫穷\", label=\"0.9\")\n", + "dot.edge(\"贫穷\", \"中产\", label=\"0.1\")\n", + "dot.edge(\"中产\", \"贫穷\", label=\"0.4\")\n", + "dot.edge(\"中产\", \"中产\", label=\"0.4\")\n", + "dot.edge(\"中产\", \"富裕\", label=\"0.2\")\n", + "dot.edge(\"富裕\", \"贫穷\", label=\"0.1\")\n", + "dot.edge(\"富裕\", \"中产\", label=\"0.1\")\n", + "dot.edge(\"富裕\", \"富裕\", label=\"0.8\")\n", + "\n", + "dot\n", + "dot.render(filename='mc_irreducibility1')" + ] + }, + { + "cell_type": "code", + "execution_count": 4, + "id": "4e96fd64-a1ab-4a6e-a5d6-a64767f6181e", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "'mc_irreducibility2.png'" + ] + }, + "execution_count": 4, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "dot = Digraph(format='png')\n", + "dot.attr(rankdir='LR')\n", + "dot.node(\"贫穷\")\n", + "dot.node(\"中产\")\n", + "dot.node(\"富裕\")\n", + "\n", + "dot.edge(\"贫穷\", \"贫穷\", label=\"1.0\")\n", + "dot.edge(\"中产\", \"贫穷\", label=\"0.1\")\n", + "dot.edge(\"中产\", \"中产\", label=\"0.8\")\n", + "dot.edge(\"中产\", \"富裕\", label=\"0.1\")\n", + "dot.edge(\"富裕\", \"中产\", label=\"0.2\")\n", + "dot.edge(\"富裕\", \"富裕\", label=\"0.8\")\n", + "\n", + "dot\n", + "dot.render(filename='mc_irreducibility2')" + ] + }, + { + "cell_type": "markdown", + "id": "1d7441a9-7753-4922-8276-3d26a26798cf", + "metadata": {}, + "source": [ + "## Example 4" + ] + }, + { + "cell_type": "code", + "execution_count": 6, + "id": "5f9c4db0-812a-4131-803f-024ae5b61772", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "'hamilton_graph.png'" + ] + }, + "execution_count": 6, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "dot = Digraph(format='png')\n", + "dot.attr(rankdir='LR')\n", + "dot.node(\"ng\")\n", + "dot.node(\"mr\")\n", + "dot.node(\"sr\")\n", + "\n", + "dot.edge(\"ng\", \"ng\", label=\"0.971\")\n", + "dot.edge(\"ng\", \"mr\", label=\"0.029\")\n", + "dot.edge(\"mr\", \"ng\", label=\"0.145\")\n", + "\n", + "dot.edge(\"mr\", \"mr\", label=\"0.778\")\n", + "dot.edge(\"mr\", \"sr\", label=\"0.077\")\n", + "dot.edge(\"sr\", \"mr\", label=\"0.508\")\n", + "\n", + "dot.edge(\"sr\", \"sr\", label=\"0.492\")\n", + "dot\n", + "\n", + "dot.render(filename='hamilton_graph')" + ] + } + ], + "metadata": { + "kernelspec": { + "display_name": "quantecon", + "language": "python", + "name": "python3" + }, + "language_info": { + "codemirror_mode": { + "name": "ipython", + "version": 3 + }, + "file_extension": ".py", + "mimetype": "text/x-python", + "name": "python", + "nbconvert_exporter": "python", + "pygments_lexer": "ipython3", + "version": "3.11.5" + } + }, + "nbformat": 4, + "nbformat_minor": 5 +} diff --git a/lectures/_static/lecture_specific/finite_markov/hamilton_grah b/lectures/_static/lecture_specific/finite_markov/hamilton_grah new file mode 100644 index 0000000..ca9ddc7 --- /dev/null +++ b/lectures/_static/lecture_specific/finite_markov/hamilton_grah @@ -0,0 +1,13 @@ +digraph { + rankdir=LR + ng + mr + sr + ng -> ng [label=0.971] + ng -> mr [label=0.029] + mr -> ng [label=0.145] + mr -> mr [label=0.778] + mr -> sr [label=0.077] + sr -> mr [label=0.508] + sr -> sr [label=0.492] +} diff --git a/lectures/_static/lecture_specific/finite_markov/hamilton_graph b/lectures/_static/lecture_specific/finite_markov/hamilton_graph new file mode 100644 index 0000000..ca9ddc7 --- /dev/null +++ b/lectures/_static/lecture_specific/finite_markov/hamilton_graph @@ -0,0 +1,13 @@ +digraph { + rankdir=LR + ng + mr + sr + ng -> ng [label=0.971] + ng -> mr [label=0.029] + mr -> ng [label=0.145] + mr -> mr [label=0.778] + mr -> sr [label=0.077] + sr -> mr [label=0.508] + sr -> sr [label=0.492] +} diff --git a/lectures/_static/lecture_specific/finite_markov/hamilton_graph.png b/lectures/_static/lecture_specific/finite_markov/hamilton_graph.png index 0086d44d2602cfedbfd20e4405ef83be72076dae..189317e81f97b3d05f1a3df2d9312fc3d7c284d3 100644 GIT binary patch literal 16217 zcma)j2Q=6H|MoXYl3hlKLPRN*U1YB$JCVpJGf|3=N@liBq}0XvdK!aN4Anm z&-MBJ|NnEI^PKaX=jp!Bed~+Qc)wrcdR^D`4$#t6p`l`>y*)#sBxD3}AOI^0>v$#4Dqv$8P76(}xcqoaR0si;a)}(A�Gc&UmEg&RRyEIzQz|8FXB|^1)9$_ZUZRv~T~jQ(}Didzo2Sc!Y)Not&K7Iy$Of zJB^xMz1mw$;Z!We*2z+FPDh8aC+C9qy?Z1|pMSHjW@nFX*>~(1!*)7OMFRt7soV2G z0lWC+c^L&#O+@9X3vVx6T3%gEefW@^ikg~NTwJ{A)2Fqooy;Qsw`(e=Z_Nu;iIDq7m;@i(qZ+-|O}^dzHqcSLnt#;iv~>S)IckGU;d zT3Lk$2h;48xPDJvU43eP=#8bL<2ioK1hcn89729|pTGWA&$)eGEqSs!35JJ0bKJbALSA)F_`UsW(l=jZ&8z`=w5&!0a(C?oUq+vw=@=HK6`d3l<( zwY5b>X=!P@xwu*-qe5frKL6LM9=Z5B%$IhrQQ9V#*PrnIQpZ*eZ%HGL;O{$!uYT~Q z8Jn6iY{}~CHDzQFGAy_^KUk)qs3;&HAaeJQE1B$>m?IAAFJ~SyWPF>RR?ExF)9<*u zG0m@|qw_p9HI=P-_wLC&Z7|NAqAaGid7@#00iPgBP$`#yP1P0e6iI+fX!V`A$v=boN=wqqAx8{O$YTD4gX zou(6$lbr~x?6*l_VX~(`-+%r3wca6i4vrwF(K`JzER^KI4rKM)Wi95kIN2k6 zX}43e-s3;_^sDK=4HlB@Vdl}VRo=0uz3!$A)U=md2hkYl7#R2>Tr37&IecAm)&CNi zQQ6hgQ#aL~lKs~4^5rcmDk`7*`^8?Vtvz4#*+@v>u)K0b{@l5I_42f|1EhU2G8J{s zadB~^FP?@Ay1$+sIB=j_Z~;lMxVoD2K2Fqb z%vQldYdx~*<<(YFa{u+Ttml+8%E?Rt;6y1Rd< zs@k%X<%puTHp2sN?=7T|kPy-6owT%dbA2zF(q!tl%UgUe;2SF}>|Y+N^y1><<1>8g zdQ8mz^Sx_B<@-fMc7N|Li8Pi`nN2Mei%m)j4Q3brRuizRq-Q90v*`JAvdzuS^}j!d z_awg4eyw}##EGqo^WJVr-@ciX?nOrG=2}UgI<+|0cOpUBow=#0Y5mViD+4_}$=KL< zb*4MpXmfCI@J_}72^q~ebH4?i(BSUqNhJB=%F2h%jC0SjvUcp;x%1^0yf9_Z@tAK$0?OS0`Zf5$sk$e}WdIrKk7$W6`8il?e^MV$ zv^uSO!Dzg=2f>h>n`@%vd+P6aw2<-F`T3B`AACjMU0$oIi7t}7F%kCU$%Uxms6*!? z?%$V-^6YWZ*3y!_b?a8~jmb|&E7W_AKh%7B>cZ@A#(;+dI)4~aC{O0J*3C4Xa9uQ8 zURuhE_%YLch)fpM%(-#Wdgx#^MZlLt$LirvS#Qso{2hNP?QV?~((g#s5l~W5X%?#7 zFZ@jpVcq!obF93ALV$l}W~M(i4UNFQeX`M$2(7WvQH8RyvhJp~ktknHR=l{gsa#IkMV(w6ZOb z=}<#`z2CQQ-`Ixt;pcSi3nJnY)II->S9t!mr8$6pqd%^d$34Pu%w5IP!{gN9!-wBb zo*#O5nE6q7Y%C=^dwi3P#9+D0&gkf9VNucC+qbKmV~##cPp8n;)vdcZxqdyYmv&eM zMUMa6g$sKS6PK;64-RNHEiJXPvgZW*{)n-!eyuz56@S)Uzs~>HS6ZwI|MNxArH=01 z$B!Qm3k$pV-~rj=$B$)AO}Xyexg#tt?&s^Pd?UMli9t(8=K;zQx41aVwr$(m+S=~j zzrUsbmBT>tu3sD+!AgQr++t$Pd-m)(c<>-8snrkBNli^{W@XjQ?LF~|HG`Y^k<&=^ zHVzpN*4{i51+>=SUk~N?BN^NBO;4lfCAM3~b8vAXz9eo=(IfGErlzd@YrnCrT)1%I znd5K;tN1kzl(7Ei%<7Ux;)ondl$7=q6{mljp1YZtx?|7j>hAK~Sgi`%ukdwpve%qq zphf1dlA?t380Fme?<3>mJ^%|uW+T|-kyBJVcWMKteEg`PsH8NqIP&58?b|BXuM11v zn)AnXc?1Ptl*L!IHw6R*)u2C*jEz0?-cDEj;loxxIpG zq7I>mC|tbA;Y-Iw%g@ixA?ci27XQAzN#O9|8iaw_wQEE*uWDoH0b70U^j~s)ef`6x6&w>26NazspByIFcv;<`Y$e&)*!YZrN0~mUmH+hV z(|6Wpq6V#i9ug&-9?1L}+hyCCPUG<9?UO>!UJkA!I$4iVP-VHp{V$rBOb?dbpeai6 z_os}LauHnm<-vCH*5UE7G2u+1dcP)=q{iy%2dk^A)}wX7s}n8kWz9rOE_az#H8oAL zcW|&0mlk7bnb2e0wX3neKMnyp)st%+oTqY_x%20+*E!tf%E#EMM7@bH_CiCANWQb& z;i`)4V)oV@$z#a$t~`^IMK52bbam-%vu#{@c4Mr8fiXZ)#Jt9zk4C+tqobj-GZKq1 z)q47$Ua~Ju%7p}VWo3#B#>TpnpArR5o;2R?@>KGM@8hVbX{3~%swW4RjBbYJ0jyN{ z&FKjFndXLueE_;MZO^t^Sy~=U)eNDFM><4k9ZcP}llh=!I^wef?MF>bEdZgFMxtS- zoz+yr^S{5pHOuq&52_mnqy8YVYbIB0PyncMV@5w%pbGQSQ%+&^sB*=5c)acH?X3Yv z25%l#Nvx@<35$+qZiy2;^K4B$O(#yqQ_9B9PFG(3f&6Ur_MXHhw0Bh{B_G7go-D7v zBCFK&bme2mjsOk2OqGqvNC#eONeJ}_|5H5MQ#S7K!tBe8lA@8-T5)6mgKRl z=KY+h`HYQ?fTX0Pc9M*zA=hBRjGnWzv#N@UpFxgcRcz4mva|Eeo2dX)!hGH-E~DSS zpQWXx4WeK*sqm1To|);G?akj4S=D|=(qmm1TaTc(&`>rsWX0D~cmGIO9JhU-pHXyY z&GxvkaB_9Eyz)5t_U*fpS|{gozGf;bDv~d`o}${ZSXOEC8wl#0}qb^6UH95QZLc!#LHSE@_FuDFTPk~ehkT2U|vh5todF=S-B}M zMF0GG6{I`1%6I6^?GG(2x$0j~w5n@r6i1}47kkj|m3oNo|Dm>4X~bo6Z0sw5D2W8@ zmYJ1R)ziZaFz6i@XB71ob>7)DduZS1- z@!g#$lJKj5Q9N^aGsTuR{BW&5Er$?$fTBE**x15CtLoqB>1hPoc##|uS^1`!kVf;` zZ12d(NR{DV85x=Gr>dJFS_f;etjRe!A7eQ=gktP^^Q!v$*^sMOQ#X%U)OFc;lhE#4 zrX265j5F@ti`he?uENX0!eVuP$oR;~1PLc@9;t$FdSBkUc~7<`rQiZVjjSiGXuQ*9 zGcROCj+$$14~cI1;72zyKmW<_FCK1cpwuxj+(L<)f$wY_dAMrLe{PLpCyz}{lyWiG z@IB?3P*EX6LCyN!-@_oG3GI1bxGL-4eQRrL?fIsaQeJHi1Fw`8zP#Jhc|XN!<y}dEozp$nV_P3tD znepO5P3=JX7zp<7HW)S(UE18uWxlRIzK<(-u?IQ>s#4rUu{&Qqx4D@ z{QCCjC~H(ppsv8tqka()jO@>aFISVR@VD8ZRTpI_?uEb^+yt zsq!8a6ntQK*!RT?L9AAL`dM~sJG&Hwcw2XOZXqWV6BFj0QS=a284ro#l9DI3Y$}JU zk*I}*g=-Vd&CLpT?nqHlQE3?&1r`+@C!p2A-9W=z$?lW-`}>8DAAb-YuAMvZ8Nl!Q z;#awYNQkaX?Z9iaDu-%tnH@WJ;2~T%Wey7oDH$2DIp4UUZD>fDr5D(nZ@Sf0+^24G zg&0|+rKMwIW4p>z?9rdJQ1dW**==PvNC?D}gA)i{T)gh_qwnfLa5%s)ix?Ud6&3d# zKhBtc>7BfRfk8>4vCA{eRwquJ_}tf5)!4WLQ`>bH7awo$tsZ!`ukW{LJUQ-D741~a z2grT>&$<(7A)O2~1wHs6APZdXE2d}Fvu7RJ%qwK~-3t$A$jQwGXd(v`k^nb^_~PW` zB&Z(%G)p@v4lZ$EWIU15&6^?#2?>}_0^ZzS;KoC>K9yF$hY=AGVM$5D$#-0C-UN7} zMTfsR(?vWP@CSQPP|(-!--DBr_XV*Yd+^La-$$h+F-&_O`hX*S+6CnDF)qC}f*Bxa8~vEI$y|TQ&X-qO9w6w!t9WBRJ9y~O2QU(N!h+IL zl{dG(Ti(jVy$~n(j)J~EzF=})nV`Xtw7k4bym4`{NNQTz2$s%2Fi;-t7N6sBg7Qq> z5E&DTI?jC9@crI9W3qB`Tky_p+2@a@W@L>1TA2h*QBYj`FeQZt%V!3P0s{fU;Qjme zB&0jOTeK$z;FO*LO+P#_F?eFJs;Z@8Tyv?o@35rNZ+OurjxV1S`wYONwr8lI6F)3(jtLUz^#6 z9rS4e9<9kWE~RH<3q+S20Y1<&FsMV23E!GC#50{>$u(&&TzwQ6XpM&5m8Hv1CX1?C ze5Hl$&cQwtp%qu-EBW842dg^GQ8F;X8t%JNM zXK|7@_=ulJ)ivy$1Z_fG%lXzVKGN8?Z}KN^%_W2WBYrhBHkQ@s_4WN|_~EL&&oPj< z18oQ#I`qiJ1jWr7P*cSIvoOGLYJUE?N6bRcKYup#Y1WC=6%Z7Bj{T1;EIgK#nc4Qa z&|(_oSKy0^MuamacX}E&5r0%JkcYbXTlQ`78^W!KqQ;@2L{eCMJo`3saxK8!8`%d& zK|+b#n9#ub@}N){mDn;d?cOa?YQ#Y`)}4Kx_!c9TkEN}x`mpEEy}&-ArAEg)Iy_{4;uym+1K>J&pThhzjE z%jJ82)ckPe@SvcRNI0^(gFneb9^9UCFq;y9PD`#%qUF`AoghMC&f#RoFn7ocY1kw*$^pzHSMbIk%oeNIYJvg*#UIRk^peJ2shi1|m6iMZ zS+9M0s|MUYIb@9%^QefGIRw53>yInCxw$oVH1iojV6zAUEPi=eg725fM6xkM6ETHMh2A zfI&a+b{boSv{_piPV)B$U{FQ)BW9yK{)crRO&7^k^RG20O3w~*GLYY$+fQV=B_X#W zo;=w@42YNuUrtv&rm3s1@3mIgvSkaw@pE&REsO9&zDNe#YQwUlndO&tYfFGY5%E~R zuA{G?cKY9+mvUC)w*)bs0{tih>SJvmQyl7x%M^*lw4tS>r1Wyi%+gX3A~=g>g~M~Ank?^&1+ zWSlB+@b;#ld5%=<&Wb$c7JCIeosjw0Mv(=&uL#)jBmBMUIzUdo)O*Nw?b`Lw*SET> ztJrC$MD9Zr;St1;#El8+D=l&Qvn2@{;gONv!0A)d)B0-p)F1b7apku;0|hKCEwLWA zq`ddfC&261vQ?Bv)RGS%#h7EzgMHi|V~=fRIdbtm#42IuG1VRyv&dWD`$w>|0A&P1 zL33_=;ql5rn4f<;9hb~QKyHx1F@82+NdxwrxMDWlk%p?QlDPE7=p^7A)|;TQ)6XS^ zfSPF3&%2ZX8HEhnj`li&iY9dJ_HJDdXj24lb${#j0`v?6tJCg3s7WvW3e!+ilSrU= zsDxM;8OgA!L7dWTBr^+(tv7Dm;E=jW2|QZl0e+42eqDM&bP1Jb7ePZ6TGSJWpl4is zyOfj^u`J|dTflSH^();b{T6fmR|5iFA9&GkK0Ms9OBf~Jdsf!zI;!lZt zwN93~b}6Lpadu|ry~@hd*f}d>0IL01$Zds&)PQUDgRdE~&*w)=o>x(+uM^AFzF6V0 z2mJl#3ePulHZvAgfGSs8pDKYgV-_;1iMuG~Ku>~baO~RPYbloqemdRV%*@r08vp+O zS%0+hPsd>?5q|X7_h?O2rlzI@@AsrsGsAhNOMsl5+zixWK|z65W<;*fg_l=GR$5Qj zk2OYS2lYRx`S=m*tRyIORvq3C9#E2ee0&5_2a#9fmu`Y7Itn^Q%6ZKH4~;enA`7pA!iOuvmj)P# zNwBZKUkC7LwCHn@9QSkdsPO!J$Ha|>NIwBW_e1+d?DidAHf98T-SJa`B(N4p2?rOqn- z5RJ_x1evBMxuJ=mJs$%Y>dyWam0|)@f{s&cRz+5~+s=Vlt+FynyK{$-9Yh-fT2x#; zVwUmj*?wT0hGm4*6O1S?YK$T?2GMr2R6;rbL;9CGa(zc5e06O|9nwN%R5mYg7x+SX zFq39QWunX9ONS#c{~h94>8S?E*Vxn)7!|9d0Tlto5g7Y?MkEn}gB70fB#{~VuYOIa z`;@Y|SDEZ?3IY-GlSD&|PG2#|HBthJkmKTv^-Mu#cc3daVy^Bl3kToJaL+dMxl0td z71P{jM{{!M)YWoGBrY<-3y@>!w_{=Gjmm6KF3-`UN2Q=hc)J`G5^~VFUJfRJ2n(-& zzlVeKMiqFaq~b_zRA5AMx9&()bD7z9?rA?UcIlO=gN2nt@wV03%f$__ zvD$s!w0r$hu%;E-MOTUnopO|Iu-?;Cr@b~$Wjl|4`)14W1cXSJn{eJM=QT8~X_UXm z2?>K!yJiCd0sw;>LCkLc9{wk`J|BhzVGOMwO*gem#uOytxpC9L>bRBn(MxYLe+rkJ zazd9n*vs zI~u5ufnDK{LC!vG{87`2)P>4_PwxUY*q$SY=)F3dU)ce=M?gX%7PFD+Vdj@?FFy42 zL~r7&dQU7__nU^Unv6a4)(ndEHpxWwa^^UUW$o}FTN9XP*OQZV#f#u-wCJgu63_~-S7g)w{=Mv-m5Jb-x!c2@Dk$$cvllO2(u63s`mJ{7h5om0 zE0+HpY2&j4P;rPc=0)1he|N7P09cS+6W*!u9P-@Pp&dWeF{fN#_#)jm3~cpvvSU1K!egCGF_#MDzlu8G^er*TX9GaKE50>phlA-o*gHz<|=&1ML;Kd&M zg5~8*8PAP|4p1;8(mVH`(P=JopBYGDadCo=LJjsDw?y9{X?>>`*rj*(2r(_&+aDfX zHag+5*DzX@x9FegTUQ21Djy()9799XNRVIva?JVR9p$gcjUnBvEm@9|k`nwPKjek| z?v;}Ed3>18!sFwOh2F*KW>IInzv7V?rhp7F`d7dNwsNN>UvTd>nEhs(T9l8iu0mZ1!7P`IPEsTrYrldq&}@0EkyXr| z_0Hk7Rya?DFf*_wPO)@Nd3z_GFxV79=rk?~^r%^euF zwJ@?Ft6Wy2<%8+>&v1PF~C4Hg{8$2g;SmzyUWYVg+5UjQ(=xE z-9u{?{rz*W!*uzgGXSu#Of+AB3%t{a; z9?OmV{vjdPm`!X^@bl~V%WO5%j_V@jSBykSoT1wRckTO&cL2T)d#unLx%8G29EZVL z!>3QzqE)`p1vIs%q^I+xYbFLlL)<4Vz1R4a{e6u4_il&w2({n=qmr8InZN3XgXbmw z^^vFMJjIG)t8newkq}PlKuCzPYHC@1_64tBvx1>|ke7Faa2F8N2?z%X$V9W{T}lp~ zmqjzo?d%Bd>Y<o*7fuqqF#{8mzExll zO?7p38+aB2tGkqVf<@O;nJ->c*Vk{~zkh#2W22m`Ea}eAd6VzqU)tNlMcH#a9_CZu zq5R_*IJ+Qr!MGxBBKisU;ltFRR|*OXFQ1+8BLSPL@{-}dcvZ1$gZ>x^34aIlr|{fd z{clrK{vf{CGF)R71*6OX>WZ>y5ffWr`siCdf8+DuF!&UC4GoQ!`$}09_>T61bXVXv zU_(nA8#R(OqGdM=i;CBurR^XB7)VAy@>W-_bY$sfK*LMxr=rY)~M*{CjGmBQs8o0*YlzQ&%z=jcWp_|uhZgSL zw{PDjlO;-Z#<`>pP-mI97rv0+s|(tr04@3^9t=Q=hx8x5WqE8zO1Z&tyPm^mUVV3(P$00Qy=cBk8PrfVZ$U-k_S zm%;G1C3ERzPJ33)#j*%Yu0~z@Pf&Mmt}kA0g0zfkp#@pc1OgWNTAfirDI!92_Ht&A zqO|dEh3q^sS z>1c0%hKTH4mkIT^eS7a6{B;Boh-Shh#nQ`~cj;Z=maP=;5r%*=z5sqCg0cSm&RzWO z`pEXW$rxQ79SDot?Z3R;gF0iW*Yg{ZKZ+rbFhT%Im$(g=zeW&%vk~@KUzA!w(Yg!; z7!@<~)wUI2v)5k#D&`!am4Nqr=`8*eZLz?0$sA(w`w) z%*-ONr}bFAvcy>MVdJrxg+o~8-GQw9`J9}?MTLdWwr-~dn3JvhGN0}%C2AfJ5D2(=^X3%SzjeRrC_5nxoG3U#L^|kSo%laIlM#nF zJdkehG{+IPBGB~+#A16>5OPG6dj_>G@_-FG5x`x+550cIC(`a>5Y$m}-F2-4X?m`n zT<($vW#jDRl(qb3pvY<`db4P;z*)Y1`|hoK$k_e-T&#%kTbbdN4Ee)oeW(!$c1pg zYQZr3cYQRpJD~~He+S9N*0uux@zSi2qdkNWONDxuv=mRA`0AMMcxb#>TFM4=3>Q@##QFw;6oxv^J5; zd2`kguWn;MJ;4JcXa;e%3*d?az-aFK{U)71>ZhdVh6uC*22u}gTu%)o zV*;-u9^(#li4Rl)tG-E9NRlT&)0K}=Qe<#&5?#;`XZ3od`4=j0?TQ1%0_Xh14mEB=#CXmz4?J!U8~s^`wtV|;z#smw(Mdv^`E zOc=$s!Mu=TTFD8s`EmEot}fj8)#0-W3JT02rVIz0DC~+7eY-qi_ClvOTl!Y}x#03v zc$9qG+O&$%s+?%-xG^(OQc+byI%)?emT>YmEfnpR=Q}&$&oYNHO8R0#)Aq{2_!pH} zjUDJ~qXM%n7-%-;-z*qbR!7({GBRcYdZuP&si8fmgZXT@_9**p3BAk3^%M*;u&P3y z;Qy(b$4B&Y(u-4P=^5ZF2_?0muFvGAyyA}n@6?V3m_l$wy@O<^M6w3?Qj9ilG@Ag= zO4Osy&yYek%9?!{7d$I9h4sGk>F{YFxlp@g=XU~o! zj6_^!^mMef_p`IJ6R`jZ3u9PioDvrw6z2U9g`98Sc3kYd?46)~0K6{D7NRp>-u>Qw zqevWMHws__fEqV9xBpb)u0(OiONpOSU-d#C9JDq8NK-w3J_Z7Y)&c2*2UX|U|JmLU zghMd{OJd-LVn!V(K7j>QKi!6Jjpe$7 z5+Ul9pj-6e3-Yj`&A&W;R*5@Y3!s5e%t%@|4Pd=8(L(s#(8syqz`^{y3Mxnkz3Y(F zF=%ExT9QsDVg1i0N|k6|y}>rF=T8{&8)|EPK%^)j*c?hOQ^V2O0F8sxhUc*p2}1P* z0}(k;2KG<%*XH8?;kdnjG0DaAP34!23el*a1Faq<9LVteIdq%Y2IuS7 zlTq1vp8Uh5c^Ly{67SLj6I(Ss=9`U4NYFqf-p$6QuDI~2nU#%AM^^UU;a1fA#`=0c zgkp9S*scR#O&(8ftiSn>vIq|@>}KH(BS;=WSaZe7OiJLR)&yxsSp3Lj33X!l?(bj_ z46{P+D6U1NrTlOL8ojdLW0&$d9ZpjLVc{^C^$2P4?&hyasf@=UyBhlYjgHhm$GFpb z^*l>(p`4q8%G2^t4oP`b9DRyAm|hRCu&^kd3~iT2wV_RG^})@jA^X1|7T^I%LT6&%w+qPoz1^X8lbwGT6nfSMno6TOq%Sw0~EV^4zZn4 za46XSO4oGg|LSSp-SJ8t4o4f5I1r{PKqj#0s>7sh(>2!&S&pE|kV%9p48kKz%Y;eI z+B(xdIvwl=)j(f1J=RS_gBqC@1;vTT`ia)0qsB?rnoZ5k)6nW+5~TzqLlD1^scxhw zJ2NmabYVhaQ+Wj317#117drptUAFMw|6(-t_4I_x(=m+k-M-3y6#6K^eZ#HGzjf zaMWQ8_DT<#N`v}ufXo=4sNyFbGik(XZrNtPiNI#*C@MabFI_~R=m6Hp1O-Tb4>H2E zAJ<*2*mrPn#+Bb*&?I374!|q)j0rd?VMJ8GVnq2|LB&0pD0xHq+40>odV-A&4aqps zqkXI0078RJZ6MPsyevKG^)PcxqxABka$yiX02&{_I~A}=@X#SUoguV{|D5?LT!hc} znEAsw#=WTe*mwans)ZDZ^V;kf>2E?1+n9)VY=9^C2YCrdkh)urQLs2cHO+)m0|Xzj z86cksQ?BLryHqgt(s7No}D;_-8=E{_0VqC!*jc`leG#ae_xfqel4*9(47V709z;S zpaUJsW~AB&hj4HTM%zV`uIY@rI#uFnucvqaEUAEQWd+V=Bo!4G6aM5jgfLSD^Wx95 zya;K`jLM1&Jz2!TDbzr2nWS?sUc3;o?K%iz_MeK=_0XxIh3imcib|vq(!|msYSJ6M zn|(3BtAg@P$J7{slD%agKp&Lu6rx-rMb3avqzXq+?xmunOcu~hZ@AVCgKP#4OcDFe z%B9zRCy8noVdVm=1LCO`4;CIBO+kX)O$m+D%-%i-;vV5(husgu^?w`VwDt7JVG4rj z1#%rXtn2{ps_N>*IR))YmuR19QNr^19|O_GsvNR_l_sA!ZG|WJilzahQY=OxB!q#` zFrvk2c}y+glp7-sirt5O4Rh$D{R+PC;o1XZ5H#Juhb4UtIs@dGKRBlp@L0eHA8@6S z@85^G=k;3Q8AjK_Ytevjq=ADAV-ZpFh*yA*3_vsX$rCvo7l2KQp2`QO8D!xALZ%b1 z1Zte;#ED&C92*)M-oxPv4;tOqp)F;=XwCKob?$GOR6&(P=%vllqXLwIe@p)j3qO7b z^cFFQ(}qWqLS?prk-X9 z%AX+RU;~tplInSK8YiCqTU)=5Ix{voNmwSQ`d;#b^$P~_ukP+HG0JG`pnp_LNk>-? zSF_V>kI>*-w_O;1+S=RY{%!unNWTS=SZrLJSm_IwWsnhyDk?mLIWXyTjAQ`n7Gmvr zW+o+Ghp^NUHa?K<_#1fa_i&C}@xuUd{pQVw#G$aIuGlfmWW;L2;1Y!X+xw&xzkELb zQdHk%bRa!_efXe{ysX0GHAxjlYrsE97~vq>jY53&4+KPcWuaW0uY<`4)tygz-l>ni}KG(2|k@5Q4j6MeNt+-?z zf*PFlWjj0LS_%v6fpC2_r0QqkMc6cvHwd*1dUq36s#jIMf>) zs=_T03LwiLK%%%*c~{6do=}uzLn7zWXo$nq-Q7%3)O~UM;Di?& zhf9@YlmQ5|@Hrdq{rk6|JVEqT0_G$VJ|@PmzrqOe0d}*mj*{?!K6z5r)P%Fnv{O(( z#Xa9^ABF870w-ZJg(`%Xvh;q8EW#0+?Th{hm zKS=c{%j3P?5n+VkRuW8Pmh7Ao5}%(ZCzJ4|knwzxZ1(5*>-~28&k1v1a|2gN;?TLo vdr2ld2QBS3Zt}&P!z zyVnIpb9f;#RFsuQj!%BYe@hET5C%kE`nI}j%)T`omE zhP#2RjTecdBu1lR%(kY#$&Gs)kqB-d{W-L&T#4NNQ-0=df--{dEy-Z39Oq0xNla)s z?9Ids|B&wU|9>%5Fy`do2n-FKU2_#h-w+r7{^g6h4etB*?=dkk@$n27-_*^nQ=L0U zenmW}U9uBDVo&;vj*gDR-ds|8I{UQZ&bwWQ$?`!Qo+l z?i0`1w#!r_%G6D5pG10tmwpu~%AU>FqNk_Ndi<>AJy)~nuaA)*J_HDwm`g-rCMG6$UXhWS^75x2e*XG(pr*!GDnYl*QC=sb zwpJS1nTfVp4Xm!NUir5DSW)rK-Z8m>n^L#0Fzx;$n^@QnBp@hA)L|w_{aS<^i-v|q zp;(vgd;9xW&&j*FmFDK& zKv=F`jT(PrSACU@4TY$xsjUTOWMm*=(b1XN@6yuPkQnh7v~fG#4KMT&oN78W+lu4Oai9c^lo z*Wu9A)a*F7a+#i<|Ke$4V#F()?ZLCcr&1?J{t>O-G1UL-ulrivC4`cOMq5vh3!Yqc zK8nvQFLOFG_dBNV(#zcsN&d;nEZ&kl7))Y^qf<2Ho%1Ahqu-w6G2FT}s3m*8Ui=;( zH7OF-WV|CCr9^}%v8w50I4$=5bN)}CatO#MtEx^;Pp4$}3>KQcb;IqC6(3HjeTwquk&hC`1$!E${HGehZ!DDbaZgvyNZfu z;@Z=c*>B#w$+}}0*f`MJ>qka4Uai|Jgnoy^;UUoiR$aZ;=V==7W@KgV>^;(n?d`@myeE?vs_}EA@=@aCHs;gf@Ff)#UN>tF1o$>Da@FqCDv3e#3I7eK zGu*7r&*w#4cUBWdfBh3Q=UFdbkLP{0G*)?Bcj*Z|HFe|9p9cr)?X8bk&D7~N+J1Ag zvnxk64fge=Ch4oHs@}bO*VD67{hFA^fvdhg15#UCn;wJ;lx7nCbU&?I!@9ATH(`zV z2OKv^&E6xI*qt3$Bp@K5$`q@Z()IcCXQ*mOKxn97zu?QY4@oFd+Fa{zyv9StR$A3r zS)A)H7)_nVp~S`Ue4hD$#l^?Rm%FTdrXI^TLLr>GUzIH!0s~ecb?#A+5bQy5DJv6R zDwRK_qcgO(hvhqz`tYg=+Yx=+hP3k{Ju-fDxL+@9sG!8b%^eaPJZ&pPPtGPFQ2h0) zR<6;73m2N2nncm6f3Rc_V^|HkBBsTT87*^KY{W4` z8Rp{R3cVunuzh@a`BPZf>aat5wr*)xeSJM9TS}BG3{B};pMaK&Yai(7SUuWbiHwL? z+dZgzb4gZ4hQv?G#l=ND?m>#`{{H?Iard45mCF9UzSvt1sW~|z4O1q@#+Czl29QF@ z0;Fr|l32-cno2B>^RurLq@<+qU)~BSul)V5h+!RFUA1g*fByW5iJ?cKP-bScRBZRd z`UPH2-#+=FSuDeKjI)c&89ylzk@6ouq>Nf#*G=~HsFV2pZ4+4u>-_f{kFg9_F{9-! zHy9YI+S}XH$pqAeTvr)wpXuaHPh2Pb1_rboLY^qk_GRnv(~@0| zcp7|iB3d{!bhF^#;CN?oa>gv}LerU_QME^R&Kmn}cvTtcVHq%(?}uAM-rnBEbDKZ> z&LFmHlXrh`F*g#-<9RofZAcD;oFnm@ga`24osMi3&Q&~f_Uzeq(eiG{p=YDIk_nhwKUC_qM}cNHfV&Df}+K^0EatU7askj;%IMCy4R0^ z{@;tltwFj%K1gfVXyqIF)jM8`puKo<$yhoOh;FM!?Uuo zvM<#&iP?k=)69KrWnr;6KYtcVC(c}7U*Fc&*4&)9Mc>R!HmQ^T^5st;G@&#M568aP z8iWWP7#uX9Id|^dSKU8T4WTroG71VL6EdFbMf8#_aQ++$!Td+z50Y1|Be(9o4w8?S@@`k&R73*8Zk05iin8Fe3)%mIOr%WhQZj6eSZN(()6PS2L3Yf!w-s%Whp4B z{r6ltAOr#nLK!ZeMB`$w?>x@V)%8RJZf#0+x z&}g*!wawkxxZLdQtGU8=*r7YTc{2rP!!5|oos*ngd!R~2Mh2DGz`y|Fs>yh7cNcgC#t5uFx3JkI@ zb%*7Pi;I&IO|^R-Io!G9dy9)FOsB-!;EFLuTSY}hTAJ{rv#tJ}Zn>DQ_vw>}%V!I_ z{v18i_g(C3uvh#yZ*r_d=MJW8w;C+)qOu0?(QO0#u%rA z2c#S~E&8%TC62yA@KjblVZyzOj5HE?2YQ=h+4#T8-!$#t%3tf~t4cEJR1{X3jhFW< z@_l!P?(#A(3x&KAwHWnT8h?L(=!|knos&~jfx_Hp5-ez*xMrv zH*a2u3%Hlu+}e7zxMz2L7O$$lUM6aCe*QF)_8_j_Y#(F{GM-&B3aT~yHdfh?SIp7b zS(W`fxU3BI&#hUEZjJgr^VJ=VkQlej+Tfhl;YdSE_=eD;u3;ZPf&&wPRg9-r3kL)S z;uWcN-2Wte3bC`Zt9`$)xJZCpx^&5er1<4ylOCCC5%`kQ(l0yPJ`i>hpx?|-tau)a zAj!$ebLK&eZp3Dj^VRWYI@?#apJRfWGxN@7L=q?z0e zU0ehapO5N+{f30a#AGSiIXU$@w?nDX&$_|twGr=Aw?Rosi6CqbVtYEN@BF1~ zdD-K8)abf2z)MFLt&#bVjGX-Ah^T$3^YX`%k`iV1rG*8iBBrIBd(+z}oy1yW%xTWv zuC5=m>m275?%fN<*o~Aq4G0;XXmfFme`)h_=R`@Yasvh{^n8mG`C3*M5)uMFK@M#g zm5%M8qES>(m~+IMnx^VFS z>X~Gem6jw0$f2#REu>?3IIA@t4#C)P@wSC=g~M!!uWt>MD@(3QB3H0S!^6W+2V~y9 zD3Bd)X=#BXi#HxDILc!yDstln1@bUU%OL2A3~W5XnF{Y)j&qdA%U7=!%wI9O1sMKV zyzOB8u4P(YULM@*l;@Hp9Xtd-?J|5mON~%QA^+C$kZf8v9s?g=cU9iN$jI{eID)_~ zeZ%EY6L$GpbMjcAL~1->1BE{t$f2b^kYYRNX8@33=IwC_V8q} z9b|6UD#}1<#}kd6DT<|w_Gf4HMe|G7%Z8$F2?<$_RzwXuz1~F<<8dx?7m_Bv&!Ub*9^dE)?i%*Ux?MsvYcp2+K6|C`G#i3b6 z2Oq|~ijw@8N5@gEx7+O9&Sf*-FR{S{5nTI4}UZbH@LQ2Q>{%=Z7d# zF;1Og(y^(Akjv40X5`}2Ro(>G?n2}z+{=fO<2B2%a61qiP_=!NhPEn6h2lYvcWY&C zRu;==g`Z>(9<&z}U;?G>_qUd>D!xaonHE#;MI%)W4QXK4a&vP(e{LQcing7FjE?K$ zj-8@hQc(6e#CH&ifg%A?Wa?5TF4@1Mqa!tyHBj2;GTG1Bbq!TRBO{I1(4^yp?0nK? z^^;MeCwr3TM7C0Sd^A$-VuI0z?AO*F^f`4V&!(vZK?h@9nGn6Nws;6}%&K3hx{6AI z(o-876oL-*Kipj^Y{!?>){er|tW7nX4h=fqX^=QLI3VUX?@iY|t&mshRaE(nwzau<#3a<)oD*%?pW##cS(FnD% zIT9)(Cc0KTIy7_!8L-#G2lS`uv9-1ac&Pn0GPkru=mkk&LUdr3XzS>BK2ZAk))M1z z!A<+aJ*VLLfyYGW0)H>&R*n{$g+dNmT5^WP`$M1@T+!9lGYyd|*#XrO@$#6PoCI2LGrqUNjliTep+LGl7< zvxXuw-5jCIeF=G(`#AW8U+;aH6zVaL{p`INnFn(O`!`Q$K;2RQ0GF|qRW|0-kba0( ztzmu$*8^6%U$L<~)TBgyQu1u^zgsfb8PwYbbY23wr*)|?t_R6_xl3J`L2)F#vn*suDA9#Hw zeW{3ue0edL$%zSEZ0u2&;*E@hNX}eT3$%#fv=o2fp&vieM%02RqSSdKz`rm7|DHxDcfv;@=eoO-D%kGwME!)+ z1--(lT~G@;%Eh!`GhXm+(#xNC^SAxd(ot7IXu|dD`&C^6*DnjVO@xY5QcfYOv%I+0 zt`x=0%uL{{nwtHwV$T79BI9GnM}jI_e0+R&q@)501P1de(2Yd%)%2{PX#R>b6sJ$S zO-E=p+H@W3#LIx-UR~v3tiO7$3Fude)sRd;QB$DbrsOp_iWxrnjd(^3S`7P6DnZM# zW)wJq=<&gNPEL*zYj=D54G|F?CLE=SJDl46`}bL_vQ%|-=`USsm>RGjo?OBV{5g_%OZS{>2M1ft!y`fjzCyT9QvhwMJ4oyZ?kcHd#`a28D#c zhre|U2>nYK3gA3~N)(KV(|J;Iat~nQdDXNd`IhG9>1FISe zeWg`DswXWY0~`i~r~=DdD7%1G2_zjI`EedcaZT~4>~C+QqgzZ10bR&h(3M(_ltt7T z;(9!~+g{fsZNF`7X@M44<1Fa5fK&0_h^GqQj4!!DmLJ5GuQ526kd#D#3|JPcgiyD= z?Dy?^jB7H6q;hg`seG|7aLbDMgjXxGzk49Q`;uip_0x?Y+3l;HzkW3vWAfQj?atBQ z(2n{A=#8x;#`kewCqOUKiJu88U2|V^XlbG@X{_WCk_zgWs9ps5W)OyI@ZP8HWIXk zyKioMuZm5DpiEKC0Mh6%qjX}D+&6nQ2}{$x1G7SzDs=fOP_21LGi&!W#6lnZ3o{7N``8JC}zM~T3mI{sF_VhseW(q$!fEr%M_r#VzJ zmi=rRH(dUIfODAxw{}5tSsB*WR+;78WdO1|6P4B@!c%&@w8IGN5usNHMt|HW>ZXAKch)$GqD?UD)#o6@Ft)<4Lj}{V|{%BR=@a3{LWER?<{2I z&P-3gINF^B3JC7hIL1L{w0q+p28}+#HHR_Q!QSJ0MMp<7YD7N(F;-lAVIHr>T}(fH z8&1x_!2yqfi7D~(X9XtQ_}D!lOTDBeq$UT86Y%tJF5O7&p2yCraPT^w_q4RkijVh_ zNxFLVs$QkXNYBN$KU~IM%mO`_nR&Gwbw5FQ&QaLILKU?8HPec%-(d|uT#q~cZC^@GPJZRZ zMklDA;37%l6PGJ5pP-rn<^fFW!_@8VZ8jE`xzSPF{j}rx2cDQT=jnqXA0PaP-4Y`1 zrmoBLj$FnLK0JG6C>gEvB;pG~XqzN75;(zCJ!MTg<{Z`fbGX zXi&V`fHTZ@cn?FSyr@ytj4v>H5*4LKphdK9UspF zdlpgnz3~orWSpp*JpclJTC2T{dFYOSmo%EX$HwB`y-S`lj8|p{-oRIQmA2n%>YAFlx}|ULr=bW5mxf9nG~nHqqhOu;r|_2M-*$o`(5;c}PIhN;tjQZTMQPeOo?udAmAV(`nSY(TeIEEb}rysRuoue|Rc znAY{{7YPE)Qb|ck_q)3rd=i0IRKrpu+$C??*48HfBg6{4GoP& ze~y#0v%r{(MOtz37C2m>a6FMMAg;73J-z|7i4wq}vm&A0jKKJC4QA7EV$Zh#O9AVK zf-~SqhyZHU<&JDMy}qpxDaT@8dH`aqxd7-EjBH8B$UccZcZT*|+*0zi(YOFYIZoI~ z!Hrk_;ls8#iORylb+r_~83Z8+J^3yG3?%npZd_})Hd*(kyQ?ejbTq4`af+jp6O>Q= zHZV+zirqryCaiK4537y4eaRbN2VL9v=K|(}ljG;%;Smx_7sYh8wS~we z-2$Tx#ta4zrKNU4^!S-*dV1Y2<|=?nbh+bhIhYz5CH>6=ZEVyK0?mH~Gz)MBfToWN zO@l+$*;z>;yWmPsPftwrX_?M>RJ2gk|F|%DN{(XcbyF59oAR%ccpD8hwd8}NIm{`Ka!2#UYv~Un4`uc491DFQ} z1ayd5xyGEtaGdASZo?JNtgNhq&Hg7=mX;SewemnI!=T7W(eA8__Xf|PBu<4wPft$* z)EfBc2XW#fFfeZwc>@_06chtCv)I^4lp(Su_erJ4(J`d-1;n)VV+7!_4 z;=R2+=t*0fn`^EWFg}FF2^Y)~-##8<?tfWddM{LO`klu;#>WJ&+NXdt1IYCOUtF5 zQnM(Sxhe4|8?zvOQg(}d*&yoRN=;3jnVEq(Bz_eH3v9(7-sc=1L`KO zeb)A53^hOy0;#2t0>lALOZ!$KML`4v@j%_w)D+)~y$$%{h_|HIrwjghOkwCO^7AxY z4N&VvL_~lyitzKp7d`y@#e!vEpQmhvECuMw "贫穷" [label=0.9] + "贫穷" -> "中产" [label=0.1] + "中产" -> "贫穷" [label=0.4] + "中产" -> "中产" [label=0.4] + "中产" -> "富裕" [label=0.2] + "富裕" -> "贫穷" [label=0.1] + "富裕" -> "中产" [label=0.1] + "富裕" -> "富裕" [label=0.8] +} diff --git a/lectures/_static/lecture_specific/finite_markov/mc_irreducibility1.png b/lectures/_static/lecture_specific/finite_markov/mc_irreducibility1.png index 8bd9af3f5a5ac29272d278f539171a27ac7e7096..a51147206c975e9b032fe3e800b24017b5bed5f5 100644 GIT binary patch literal 19607 zcmaL92{e{%+dq0M%_TD-nddnqnddR{Jd+|3Qb{68<_Z}jGi6pN3Xu@WEJ*`WXd;x^ z{$0=a{ny%Suf2EgTJQ5by4|k(Jdg7@e$y$^@VMr_-AublB+@=@Ej42ji7X8N9uvlPyMPrHT3TCg z#fJ|E%gV}bCnsxeZmh?}#TotF$j{IB_VsPfRt;yP+{rj_Crn+|F?Ne??&M@=a>|jj ztQ4$rJ5^Ox_3p_Xu(r0Iot?d36H{vQm_uGZLs{6$GH=fiUxlPKy|6Vo4GqoI^z^Rx z+xIeFy|!aN2Rr-N-E}DLr5t0An~p`%`aY%WsT;Qm6q-!nTZ_w@az%|NzAQ>?M9W0Q=Gkjy!q9zuw5PT zn}3!ApYI=+S7at7(c3o$#eVC~-1GipWAOgZo$+_->SR@!9#v@Vz#hBb zY47N8UR#=b;yo6swL1T;JG-b3K?qR` z^jo)XwSDGKRcv0`T%dnb@B4lgyj{snsNjn~yp*g@`{YmbuTH@rUF3 zd2QEauUBv0XqcMP5^If>cXM~o)=uCN6Bp-a*wxkir~Wz9wxr)tQ&VnBOH0H?MBKco zp>A`!qoZT$!_y-gw^(EGa%Fpa`z>h?E3~#>SdN%{%EryTO+-Y*?QPk?n+K2GpyJf{ zJpM8|;?^zA3m2rLqNC?F)-PWV4|n-KRBC8p(KcFp&dJR!LUD8Lk;+6 z#ox|7S;|;oSz8m_EXoa$yJ z-@ZLcoo7#URZ|0hg`{jwZfJI{&bFifC6 z+q=5djf|+$B;B`|n3$Y-_i!8j@Cgg6D=U-znV%<0^4PIsl`);o9J_`mIg>PA=IbVl zogU!h;^obC?=NtUOHE4Jj$*|71<#N8Otg-*MAA4PNDfoqQh_>(-J__e==b}h-I?uV zBtJhtu@mi-?d|QRmkx%%Xu5Bd+afKpCz|WOCc(kSw{v}Ek>=?r-dCB8()7~4%BIk{_M4kvtzmDM|)^5x}knJ*PY@Rl$BdrK9SEu<{@``7M#WY%7ogNqvTk6*S`ZalSXBbX8=bx_EuN~dpt=!Hnfcwo8?8jS{O%ZJTiVFX=# zn`ZC2U%iT4`S)9N&4!KAutFu3aRutdtZ+ zjW(A!k<-T62>R*1mcIA8G$z2HNfqdmDL<9b?81c=5UE zT9~J;2m|`h6TfL{^f|`2ch&291_!s1^78V;WGPUgRqp*HlIKX36PHM+dccFOz-@sK zJ|@SoSXOxqkzkIn3U9TA<>-O#2Y=IN$I7S7{&K9+o+H=M(N*p24xT)D((QeX z@XFtx(I>molx=L7S5{VfdU_}~Dh$oc!ceN{Rz`+~q!6X6w+<BT&I1PhL^+(DO|P-VG+!TRYC4JsWf2@OF&$7tLXN z=BE33(~q9pPU>m6a(R38$v8=EZEczJGqh`KYu=k1S5UvrKtR&c(!gL!-S^~spIw?~ zdSz;8NZH^n?cPV;+S*EIZ((a2gB2s+wv8PPF?|1_){aEM-aKuZy$2-7IW=##%#OWa z=jFBdwtC{f`cIr&nsb@@{@rD6{N-?!J5A8i*pAWq%a2>T1roGI`R*)V3|^X5&XY$U zAoTzv>a328jBv=wu~?Mbhoz^pU^4F$6%|cMNqOGU5p^`*ic7`Gi9PVjm9dG5Yp6>l zef@o^;S^!FZtX`?*sHJK70`RF`&+JVvdC0l{vPbcHc~`P%=OI7L-?GZKYu1kNlBr- zHNSgz;6vT{VupIlltPjDL4en>FJG<$JE@{&-MDchMgFq%$v5edDE7mJe)@40t2A`< z^zj7+Jh9A2j_0i}O!t#t1)5foHD^B^-@bi2kfkaX z^vlGAYHe+8ym_fge0;py>ffKhKfGI%l9G~$zrsn4H;>J~IpErmCga2L?*04dDq*XK z*Ovkn@(T+O=bROm;ql2;Qj@&=_l$&?7^S;SL*P+&4-XS%W##G+9S8;X?*Gy|%u7Y?6?b3idhPyjX*roV*9S6ZvAy5XfU1B@u5PiJy9*fl1Ph z@~EtARMpGYR%%iJS|DfL(3WYj-Me<}$}29`1>Wc8AjV1D&6^aLE?wGHUVCYt2j5|g z!mr&xDG$`1J2g_}Zc;z}x|wB5$ko5UKN-~3)#a6y9cPw4lZB1cE;i%EY}BTppul3? zcW4ZvWnmF=PqaL(?fI>^adYD?o|s=$)L{4m4#UHW3bqg>!{8%^QhiRe5fQBN0cu-! zP~<6YEM058b;tmym*HrmTQA2JC7cxM=|?yTObUTA2jv5*8q7{QT}AmAWhz{W=>FD^ zqR*SIwic2LT)JISQWDWN(F>eiyw3BQ!wv&MfS*4bs39Ih;pfNtyQ3dIyz1?Z8y_E^ zu~{#=&6;bdVQXs}X8!2OlN6w9;kBn#Rd;YKHL*6PAS{^z55)*vq-A6j2UI#W-Cr1Q z9xkq8J%SGN9L>3DPP93jgJk{s)P483dkNGH4R31d4OO!7wfmFFaFw#Zo8LRI;QLVz;l8FVpb3^HAPuVOY1qlNgNQ)yY{>d zzx=tcd()1b1vCtZ(0=;ob?V_Am`kmp+x9qmdEE?JUlEt4k6ya8vhcvW0h6CPwH%O( zL&9NtYD&xcgHBvW>{pMsWlf-^+1c4*5)vxd6DKb(3SnVkK0ZFS!-r|6r>FgwX4zTg z{E6la65ur5m+v-Ml$bYoYI(cnO_mT$HuM{D-!EFNtw)2_WO$CJN8o{Ff19kW&36+` z+|e;BrK*^bqj|W}#pm}&d3^jIcWeDDxw=6HwqCq=kywvX>*~{&P7M17Cx8p=2=fD$agt z@I4?wrlhL66^E$g(VOSV_4Ir8?6I`68k_3Pb&h+*5u^~b7Qt^)@EL7^@$kvL^g@iW(YxVo{I2K;10`0E0wN6+@aSY&Shv&v+()YT`2_^xLCoj;<;Hz$n;SPTd)L~I z&-phumX?&X6s?BsVTgD!){}AUVv9hsx*WiA5)kGCt4AmO&^?*{i3$mE9XWC&J}xf% z()?HL{y^@7O&-|F6DLn<5LEiy6*~t9hw=Gk$&0^i#oc)`uHU#3|MclGG_T%5gUr(d z|5g^i`%QMx-H1AM03;tDf_`K|FBayfa zB{nvBd3o8urHbKSxg2NCoM~@uz0oV)P$1nsc=yOzHw;_JvmfQ~0x>!|I`NYH6X?R+ zP%dVMD>?HE3Wl_YQV*XZ+7fEGCC@G+?wJt?4L4|v1aO*7(<06@P56uK1YUzE^?Ox5 zQ$6fVvVMH^m*#H-1_rkG^*ywnW?Nfde+6(#>cQ~+u54n2&Cv)52yo7jgqX04By9gI z<#>iHx9{tF@^?u+l`d@^8Q(uOD!v;TG3P%fE*?iRG&H=ewF+(-**0O860V!Rw7g7p zH6Yr*tn1w3_{%-U#>O0=P1#hx&?;kt?@Q8>Zz0>qDwkqibH?h_HN#f48w`>jbi0=v z4^ZPb|sL%fG>h3NC-;X>H zh6&vpMJL!I@aQ$4ZJpnP(b}SaswDD?g-Rm@| zXaeU{cCM$5$XOgx2xLPs#?|1IP=>!CkY=l2BJI(mM+Y!5(-eanhF!mX{TkoU&>$&v z`A~veS~S$HanN4?F>q*{d;frd=J)TPcGNxC7Ynf~B`qzg3am2w{{5Z6qo00=K45A_ z6^BJd?G{2YNd)Onjn+P@P&lVgaqir?%I|%R!NJ$BU;m8vbWUD(I6ZIspt#rt#D~KZ zP{-|4gS?)e9%H|mF?Nv?om$Ym1V0#`)8F6U5v!-AqeK04EsaeaC}e5ATT$G-k4w_M z?|Pg#dQMhB!3~@pF^=y6f zTs)~^U~_0_sBEsOrM}wpJv|VR|G!@u!>-BfH@_9d^z|7-f^(Vu+%#@#G)_tN_s6@f zyu7@v9SwC)o+#n5#=Y99SMlUG#vvF0!`>M_!Nbez0&$`J)hlJNa8xT0H^K1Ee0+8Q zZx0p%v_yvaPhj23Si3_|Zni4bik8>ZNRzY{nT-Mh>I@BdEE|L5an966I(UpVHQRit zx|*7r#10=8;o%`L=DTKwMWv%fC8^-ZlGMtROFMS7cmp=L1bbr{;J-8MLd)p!EQjqrPfI zdy8eB1TIT}`9TzBmrez0B}Uqb6DMlVIdoerx}V@aNejHQgPEDRQc(^gXKC@R13TqT zf%+Q}jQZuzY4IJTs~GVSRjA@ES4~eH7#tWV>9KrECz2ffCgYgPWJlr@1j_bWO!kS5 z^;H=htJ;XKX2s_0Qc~6F&z?My0h-qQ5ipblrbKdF5Z1Nr9)w6YHa%@M#%!rtc&35+ z2!68V!xOu7baaZIl_|uAs{N(K_@rWCiNVuF+x>;G)0nzea%J`JJ_$_>1}aG@DbPfY zzKy>>!Eb-*TKD$$KJcb46a4e%&(3}Ogild6gcTO@qPR@Tz6_?euA9C>9IZA4@w|344YGzcZCCr=ibuJ>J8n4%gO z7;toRYaeDjf29mXNDg`B)TvWW%v9_G0#Uopf6o9;fLfaxw~UqAbK$~;M3GZ}{N-W} z9y9+jVIIlF;&e#PUx~!W&K^Rwyty`Skht-Mii#>G#^w+g7uW5wGLaAUmy;tJS^}n~ zrXcDk&!%C<#pmX_gi$?)_S3xcbDHnBHwU*UNk~YvOw3)+vZb9v>ldn^hfr%8iPQkKz0Q zMncG11d> z>>oNP7v;{5Y6b>|erO;E4wx7il$-Z9)YQ~eUHEAYv;(=fCBnhBU%S)=` zeupILiPP29^>lwh>};1FcnXSIqrX5u7prQlq(s8sMV`0Smb2)44O*b3tsU7bJ~}!o zkY1i7>hNaj2_4&k+=}4MAY%)QQ+_c|o;=wdJQ#KC)T@831fA@hH1DJYdOQ8@VZK3B@|VYf&zfTm z4<0<|_kAd~*N2%Iy*?r$;yKRf?3Y(GI?#FO{^7N@oQ|LC8i-!1* z68m~4O!`m&eAx>>EFB*AezttUV2_$P zAql0XrhcCD7n72rOO>g+_?yDY%IaCrdY$dV!vHKh$+zHJT)w@@__X&z!15pNfQ6|L zKuH%k4|*S+uW^Eq**(3W4oAgjedT;5x0sNCKr;*@wT;G1xl0_9v>%>c3%5ida zeL3~-VYbiD5vjcgWoa>Kp|!c5N$<{7#1k?DHjx^*;_fK1<)7&Axe*>t^PjRY;i8`^ z5k|V5mS!C*=gGv3Z}Y=DSl9Y;?*k)EllBzw6ZHflI(qC_KYGnHI5#vf!v`!ON=l$@ z9IM+g+Wi)12AQVML8%z`mZ?HZuls17%Z_@7N^AgJGANM7b#rdZ)~)WKE9ewj_*(O3 zKbmw8q@U^MAzNvwsEo#1=l?YW@9!e1Yib@=82a)mVV6=E-R8`$S7#*A$q61n=uZkm zK{rU7OE6Zm^y4=>V9lr>YGeO1DK83P%^;Fa%MFLvE^A&_1*1s=OW_8de9_x{&!2Y_Bbf+hM$9<>qd^a^(ty!WXY!?}e&_ z0t&-EgFjvqcWKocH~+qkqZ#fk(9+c%`&mB&Mri5jk!N;m;sA;{J|~q}R&FsjH+R-f zdz-7dpCHZm?%jg~d%v0mL=lAtRK5q}85rW##oBKPad9D;!5arK?wOB?U#e2}+4<5U~2Dw;VT)a752H;0bT3Q25i&!uaQ8za?LIEXZ z<>YK(y%qlKnH()WJ%KL|DF&$p1jzRF_1(U6=Xy(v8pPb~Krk58K(mC|f`QfZ_^d+} z7`?*TWN{8oPAaS|gtZA^HZ5IU;x&NFJ&#Tq0G;hXV{_p;?2h4J>9OO-Xf4ei29Xv* z??5jC!i~_csiI+Jy_p%bvP1_M{k`MUgd3X2zprD{9=fBef(Pb4DhNHf7ApD6PIT8*zgcvhN0F{ zF)~JgQewIix@>|5`z&OO` z(7Y?{*#r7p*=2!I2-BKgHtwKFu^_aZTgy?kv0s7qp({}?{(PS-!*Wy17GBvp z?V&^60~LwJ00IO8N))s(e(d!jqH{9-;X?_cxd8{|dvX2*CnSUr5Nzqxv@~iGsDBRX zz8`3mpO5c;uV;E&Tbl{q5K;lb)cF(@9r^^s2^Z$o$cVLnre6N#I9g~gU%r3WJ@@Sm zH-sgpl>{u@e{UfvSvA5h#;O>k7pRa4Z~Eo^H$=-t)y(u4-tul>k~&R$>GI`%G%v=3 zPdPA}rqD;eOiycL5O9km>k0@6d>J2CAtNKxE1;y>)HnxIsw+kO8U`hZ%FQ1?e@;UM zF$<{D3jO!{Q$LFLRbO8`$q?BCH#lh=+M_dfA-|41@!{OZD0UTx5UtPY2oj~UDgyBZPMD7ji?6r${X`cvGc`@kejFifATJaiAx*%F z$ous)DL!81*o7Zi;E9?}r{-DF&ng-a$9bF#kma?p@Y!#|b<6n{mjkAjjF}Y5-xTwNU zAZ!f6s{kE)qyGUC4;S-UEH9s&+_N{bP}cek6xY>kMUo-Wxnq(qU;|}4OZP*;c89Ez zcmKW?gz_(AW6Ie1acYN)x#&r1CIx!z*j~J^A6~S5b+W6yJ?m5OW(Isg;`uN9{wVy{ zVil~37p0RXg;3kIi+Q9li28w++{arYn{AI{&{X-)IgdadskK#-W4%R7OFM-r zT+Jj3l`K6Y1L&4GHB&gK`~DtFzIX39J~xNHzJ4FLq|eZV&i#5qzRO2{*zGV6Ywx3* z{rsbc58a@mBZHucGggSocx!bJ1{HyHiJXjv#tk%9w--0|EoKPTHxW$&woVp+SRZIX zSZ6#W`vS~5oevGF*f!4(b&0a)XSnpPJiGkQD`0I&{8dNCZj&e*OUv8g;XCj#rG^g~ zjThwQT@Sr>?Nxt&0;WE%^AIpQH>7u@tWUkh7NP6(AohUQC1Bjd zGKz;nogZ`r7MA16_wvT}k&!eU36P<_2r5nhO;s= zVs6OE$q@w!G6c0Fw%~Y%4umYaRR0S{=SaKeO2@R za&U;23MM+xg&qJ?fTQ7qKk9vBv3cInvLW!2r^V6JUbGwQ{~R!+*?@Gl^UjxEBwQKb zY{Hd+l2?F!VG-a7KHbh7g3m(i544|_+OKb?v~_d{(io4<`g6E4x6i>3i5i?;U@r6t3u?x#S?SVFVfz#;>?{-@fVK&DBF7%x1FF zuvz;cCwESEwQc4z^XqDRIXkO>seSqV`_q(MLXj@yg6h6U^UHytTZQ;|7JT23$0D3G zg!LBCM*#g;u~E8;)$O=z*S0>ZuWu}7%Z2RvxiB+G#m7e+ z9flljnWSWHPG4qQ8w$p|lP2Ze@bL4GA6cQ@oe&Bc0uJ^0HF~tlt#=EMTKL0z8diwkld zN&wn#1i*16UVGN3(HX?my zSn1)zhd}U8&;H%NXHPEDV7=&+++MU8ac-DFEt9@Pu;Z1>v>Hem6P*0jXqeLk*H@ zec*CDdu$PpsAxG4|GQ%8-J%W+T=0gRGAw<@0hurwC6SGBvO&=8{O^w$BQ>77n;WZV zOTR$;O2_{4h)4-?gM1+iqYu%1ktu@k4SfClXx)z?zCo4+x4`_}$IiMebs}6KRB%*DJl6GKKG%ZC9-1|f3;wUS@T{R zWdDCecxSoY?ahR2YW5<^Bk;CS0kOvx7;fGRQ$~RAju0Rapo~jVh|hywyfkr3aTa4L z>WnNjb{KyMs4(C&oRWLxWS1%UdGqXF9f8G5?*d(&oI+4mZ>^9vTlN0Z9=E&O_2fwo z9-i$)l%y*C2mGgP2r7eHPaB-2t>fK7Rw6<=BBaOj5{P=99 zrGg3EXoN8d$p4?Y0$E3=ymWw%MaG*1+j{4&T~ze;<-$mi5aP}8OoiBph@GV8@Kt*X z^qJG)jEycrBgWbutvT~9RM4XAIY=~sQ5)hvNLQJB`}ON4kgl1GeYt(THv}x-pTLbR z=s4m&<1Mnx+elMzClM711xsjdY9a&3EPnL5Xy^X@JFfaVe0=yL4QYqOzc3+rNRG&v z?sd12QoD{G zD{Spb=a;)7Gh0}1K2^zuqH~o_(A*J(&6$4*lEihW6oicQ@#9BAO2cx6A?m=cpuh^P zVlt``8gG_M+s)yp7ezr7!qCX$=FyTtZ9}x)BL}4x)eyM;57pu1;$re`by>7={V((X zMp|89p*bh6ODzO{eBq$D;3{=rP%vwL?8Ocu(F$?=lxbs!|H=YC`eGPCi_wdg*8hD9 zJNm8hB8Cw9Kn#8+Q1yO1_VY*@-kuVx!+Pm5RF6(|YhX*oe8$y?JOBa~R8J|YuaxD5 zp-~gw-NxFobE#%_Vc`y#7;6xu2kY!LG`1sE*zB<83N@6Imv_f=hQ}Z9-V>lvvw#1# zF3*3PLzby|bd&`^M+V>2#Iw*uc$}| zc_GT}G#{S$Tq8yJTSi<14U7X;m^gX~LAhO|bpT3^pJ22cBtJld-K*<=Iz@r%HTTd9 zQL;h-BES0eO@=N^1822Q7-wnXF57)-Z9z8o%Li|y$N4aAg|5nunRe<;I+eR9z&q;L z7&4Bwre-*nTIjE>JeIIwh=v4nLZ_t8EF2vV$)PieA^B3SAi|QT-mnB9GZM=xUuPW- zz=bAY4Cu_q!&9JA`?lPH*VEIpqpK?)vP)cjKe9a3BBL4)UghX-xlto2xeABB4c$~OEk-vW!70oXs6hllYuq)kJiffavC! z6o5U9esvH>PTZj&{FceDU;7}Kw%qeTTJbJ~27&}TC$36C2g!Tz!0OlLS71o;EaUQG zm>9iKBGqrA6Vs3$*3|I8v#Fd(g*-@%{qyI~6P5?yp=6reVZHHh-z=tUG1pLhk03hU zAV~6LwN!ph_h4{bo)MA4)lZj+6JLg?2uZd2EGr=MVBdN4#>tU#R077wmv7%RXJ%&n zru(>gyuu5><9o5LLJcm&3+Q|>($4P_izjs zf4ob;gyf{Jh26$AdF2k+APYr!?@|&D1GGNYMd(I-s>hH2y6Zy)K*WUw?0EBre%XnM zhDH_aT1E63N-Z84x?GVGm)4kUOuxz;lgU^#Ck6;J=2lBN(y#)qL(_1F1ik>)>HDp} zuMeqR3|@|+Nro#+vrg8HL04)mvd|HF<%3|WPk`{=|Xi`8NMSNd(L>#KwnFX z4R%A_<$oenSF|brecBNfF@=i*5Th+8eUoHjRlwGkS5}Nc^9f}KqoU!vHRWOx9+BW{ zq}#Ev`WeAL1{Mi)#!CWE9+#aqGJ(FL2@x@dCza)h7mI$TLVbq^7*4U|ZXom%Zf;tb zxH*7}aryb&iSRNoQMByr>eG+S;{0oynI(dMa3oz`N<&wU2f9!%=D`A>-y8?Bjp0*S za4l^_WNT1Cz@{7GKao02Jl64-N7YiH+|aMwTSrpSaVqQ1;wO+b7ss$ z-WAICXx;hfN^un2EC%;k`?nA#c7N#OMeGf2As3kwIOP$svFg|idQtlr%wkS%?tEh+ zu>h>n1gJCPx8Gs@*N0=c&od7F7p-A6*x;b(xA>K6W?mZN77`@&=0<>!7|5_=KuR1T zdgxkZrZ*B2XmG!at*-``pwI%xP#Gc@>x+v$GA4wJR7^~0o+m41t>nBeU-m!-o6})* zV8C<@i3DOWLvtUSnu>rj4FII~!==*n5F!ZJ9B0Tq1W&TyB7ikkh)3xL?@0E_g0J%YR(48hdaiZXkOE>Ojm}=5y(JnTs$RaMNo$loq`V+3IEw@WQa6xLq(HNLjskXK-t(4T>_dmp6f( ziRdYS7LoSEMFOj9Y?FS!Mh{?6slqwISHgj#a-pCwBGQYq!kZq$B)cf?z>g3Qv{?T; z>rd9|>T^~k2(=h0vesR=NE_fxt^LWS>Spt1wMW7b3>(8pZN7ckCl^76c$zPGBbne0 zIU-&Qqkjir-4v)UGzqXp%jx1X2e7a&P!hPP5`z*lU6NK(gBkAR*L*W3hWu8WDmq)y z2VPlOrnhBwFRDG>&H_(aq}Aj$K!1~Bg; z*P^;{bWQ~Fz+WS*FC=d}GuHyXFJmXkvzqx_d=Qe*4_=$w0eEEyU`UKK_{D@yj(JCn zG-$GdKOIa>)c~^y9Sfnu5{X1lg#5{}Ai+!c2&yf->|V8bXLZikcM6bf0eAOqhlG%k zQ6@Q-%-E;qR8-vd`qZEgCX)+zN1fcsjYPfgg$o5l*Y@~p!Lw`MK5qEupv*-+bNA3P z4u7TR<0ph>jGBR`7tcb~CKNd2QL0=!=>rhn9p)@Z<-(97^OI{p+A^}#A{5OHC zu#<#ve?QLYG^!{Ma(mqGdy;+V9oCi3VZ)P22e#qoOTb}g#et`*NnYY8?LrVJH z#t`_1HcoDVR}EsG*fmG@*6r`YLJNBI9Qtvk=bMIr#of@qlu$cPXU@bBJQ|Iz+&4o} zMurj2Y75%%^~GBuq9So7g~yQw@Tgs^lK{{UJMRtMn@Ik(8f$DK1PGyx5#1MgAfE4_Ds)1SKSBq`x|hbnMKZ@5@HQqarhXZ z$Y;zA^k55*M@R5>dOVhDENm(&OX}+u}Kx26C~@mLD{Pm92`bcUmcP@#FjavQz)r0!T^Aa z1~WS+RdA;;Kmj+5a4OqznH6_T@hN8KCN!S~Z?XbhX&D%3;(MVzL?b$zeFP?g5H5ZY z*LhOz-hI*ByhU+sb}MJ9bUqb^6fT%Ta8Mhr!OaLT!Oy5oy7Iz}@bPhH%-^6R8e<+2 zJCP{z|NA4gJuW4M?^yvZHXhL(w_9$C1$wE*uEE*?;aXc+D0UDRy8x=yPdgA{ z1PqwwL+ociK5IhPBSHlW3x25EG04$o9U}AHJFX(l4uRNA_Yl+>HxCaYQUVN5*zY(x z*(D`=K{#TVq>7B{!lL&e-;0q>q!JSCO{OobLsum3bP=HhIDC$3O*h^E_f_JW;o3sK z!DnxoW@m0Gb*wEW(W(4zbhNZ=qIOLOlS!n#lEm)?5Zw=@8Ec|~%Shl$bPYKV1GB|V zX%ftd%%77J*`7VoI_3N#A{yvnz#>S9g&|^un1hpD2-va{ds_J?HaveeXky?Hv@`^M zqT=JJ5s2DDSnmX0BsKV3O-@cW_4k{UByup*5b1~tM=~CRd$z7aVLGv)xaanvTh=^4_;^!*QeZ+DK5a6b5q3#)13%O}KRS=FOXms;U+cH4@5>&0LeO~U-o4j>RpET}Uv2X+_1NIIQamKdp_jU+KQy6r1W55 z=m9|F0KXU_#TDBIgC+~dl*n=tQAuxxeYcQ7M7A-TAkg3bL`~2(d_~a@6dD{N^!c!A z$_8HCRn=jk(6ki)Wdor%9E!ByUgOmjWOBH18COS3D+^^C4lu1nJUWb}>`LTZ38xj> zVlKc4VX;m_6HHuDeI&VtLP*8&LK=*faQb15p}*Zkj}Zy{3haOsK^h_101z(VvLJ*L zy7x<{MI1+UTxy`+wL6h#V`*YPp{|3F&0KhJ&xmcsnGwKA2~kTw1b9c>hp$2+;lk4a zTmV%hF)a#HCPORO|PjbM5 z)o0$t~ge8># z&a0my7DB8HNNQ;^n|_YyjcnvT@^W%i&;ZJl#q%R^PSXJEeQHO2&x=fM}(?>W$_az`-b|Xdsp;u%qgvgtRmrsGWET(hCGNFa3haYJ`_9udepPW^o7I zBwn%Wn09sPsQKYs!&ca( zglqGqqy@r}vgt`}wD}l1m@n3TMZX{3wtV6;lyL*?JfId$z z{Jh?20lkpOFd$_`+}#0+95^V# zIYwoDI(%{tRaTUCS#eH7}?ih^V9_p;Uht)*w zxFo|MA@w4Y(1Z#0-?)dJtg%R$mw^UK+%t!_-wL?}SDM*}o?OLu!~YwwDf$WD7&wI! z9sn8|ZYLwqxfeoZScocwCAa>9eME!}0^19$BjdAyo~@xw#!})1AQnx4##GGA(fEt8 z&0s%2NiY&ppmsiiJyTLsn?PZg&cZg+__Oks0l6@5ADgU-x5D3}{!vzKP5|1tBF(gFX%{R|$i9|ZK$gJ2KUhl%s z_Y8n;o&&Btkvq}hg-;0)zd!_N)TyE1;Z$#VERn=y9=sKDLr?qFrpNEVptPwGu|PV# z>)F*NJ?{J|Ogk%Mds`fKwIq7!XuCwz`HUrn?Xjvm*BMH^xkbD;kl7_BlF3AW;HvS5 z6xzg@oHf1-cd}x`juwj2py(s#R2zJ{f*N__^mGN;+>LT# z%5!}QqxjPyU6EW)OuH(%SBh8sUnlg-#Dv$|iTBYoHIt>oy>3wsg_ zX~PhmizZb;5IpaaE9+^t)$Z-9N#8HNN0ESNpY#n}TQYi<)Hx}j_xv?kXyb7w!6+3E z4?)&jr!r<&0~Lx-Sg7xP@fma$@`8ZcHqUgTB zBgr%7r&VXC-QD~Cy)HPW+2LW~jiWD}E1lKPB&kd4y95O_s2Fy!RaeVo9A{!?j^m14 zSqV5{Rgj%crX7##1n8t(+SE@6P+U1Bj!PmtAT%mL>JfTqc!AtP^*@X5J5-Q~ynwtE{ zohJNYKl@&{Z`vG(3B+CGt$fy;nxsM&H66;(mBq# zQcEH86s*zO+M_rb8OP^0)-O{>k|!i2+|l8NbDuKcDAtbm-JD9BxzHjO6J=I&bSP>8 z($Gcqk&;K{`d_a%UN{_l%fAf%#Kqi}5k&`AD~)(AF74)NKj+8qlht$^ch?1s7-DrZs=U!os;ZEH2&zGf#_)nkzxu)U0%A zZi5CNmq3x<7a!sd#9ELd;=yp-sdti>BqoQ2y)>vaFMl0&N+MOQzbZK2q988iamea= z5F#DdKmGosS3hEFvJ^a3cbq4|$;Zd2YVh^9`8%Diy$)GrWfb^WIedIk5A!`K=QQ{2zt2hN?2@AMxLenw)qNiJNp<`J{nI>i0Bv6N8qGm7mv^&TkV^XBLad z)zvl7xsxl-_GFblTA)9dDxF2g z8FI4gJ7&C!znQ;qc|3gi_acV3^Wu2PWMBZR9DZQwr6bnZg5Qp!qrSApLUT+}`9qb9AjQtT zVcT{vSvCZ1|M1H9pV`1OyY~X~9w)Z#zaYk7+&To`W{A>KMJAtC5u`(3M^N2kRkCCN!FY-|$+ zCAAHIe*cO~Of&yTey4+rTu9rwvt>N zti+~59z5VA8L&PsTr)Q^GP+h(Sa|UJhbLQK{aK8(-X_69L;4<#QL>AQijw?>hlka_ z;weZZ4UKmDcC7~|Sou_<6ui7nSlig_W@nG=>Cq!8T)ldbo}Qi|_kR7_yrrWTO-QPf zi_6w|=Qqzz#|xORKfByXBBdR7FMe+B;UT?~OV0d96_bc*-N*=M45#d!XQmXBjlnew z;w;YAQ*YwB1_oL_KD&G%JN=jo1#cWxV+ieJ&p!I?tN-rYq2HyO-T3h%Yn{fKGnbZF zXnr@)a0T)RMny%5o;*oL;+B`^lK=PTFq5eH8&CIQlP6mqKYpyHscDe; z-$&89Nw7Fym>aGV6Bn;f5Yo4_u?bvT^LU$foOzFc=GdaGo!!YZXXq4pUT(6`7}oLe z>XlOwJ4-AfD1rFh|NCY;`m)1vKUuhPz@ta|E?l^fQChm|_wV1ksK~qCzYoNeM@2_l zUA)+|_dE*?f8Cq}g%a65e*W>LukWRAtsE>q_cBEA%!7>T>gr~R+1XjlpHhKQQCFV6 z;L^7NIspLzb-lNiUeaPE+Sn8ciHYN5^?_8hv`xQ%O=srig=?qD)VH_q=;-Kha&l6L z7tqSc%G!GF+&Q&uJq88_Vm|KOyB8J{(}HDi`qnR^eCkwYVIj?@m+mde;x=Lz-t3zH zef3g6ee6~}9GWP1Wr28}g9m9e?jEdvpL3===L}aAyVOqEn@fH#UfisiJt!=!sH{xB zlS3wmPxW?PYwLFTKl5AvY;Jx$?@iPEvL36lAo?gL#|9fq`uYSp1r3W|Mh5qXj~`ph zqhG&PE;KEtKJGpj6cau3Hr zSL?;96uL7Qd)e{TW(YoZf0-=Bq-?N=swh;8P0T2qro=EnE1TJMbs-+vqFJxScel(rvw_4;#r z(!$SI|D1<-#95+b>O*8$qbf47l$@NLwmpxwYp2W69yxL(ab~}ekbgp#pi4C zB{*nQ_=1SN;izP3$^G={Q>V3gt3)<-T3XugpI$O!n=4vcX0*AAu|)4)X>PIXjSHpY zYUt}@Op$VIesntCK!lQ1>iO%^+Xu4jF5GcN=>hzGuIvXmiHN zKm(C&LPA1e;o*6A&RZ?{C53dNINp285~Z@0s3Ws=Pi$JcGLlfTbC3f|L7=MAa7#kf?=gVW$(xUI&xkIr`apcll z7Pagi`_9wZdP_e?Em|X3qMEm&JE(|UxO{o5LZCC#*MSnQva+)LN5Al)j-$0FS?wsY zGXERd4n{|#w%e^|_uRjKpGDfqGI2)yYI1yiE(fvwO}lz~$w^^N){F=8-sb9N>7Y&u zX$dDvIBHX5G5t5<`noz2sdC#SZLq_q7nyeN(Y`oiLSy9rR_d_@*5^jFH9Le+WoBkd z`}~nkO-+q`@L(qwSGsAaowKvEnD1Y&6=x z$)-QSNtdM>(>z#yMfd#qj*w%l)LFHgM|NBN9I27^S`!=o^y&KNHpa@zO3Tk}iTP=V z1sQjGw(G?_y?FB~g(UJWkwPU&_np7aviYeQ&X6_qCzt(Ig!l_uacu zFJeet%objmPVbIz>z*#`K(UjSmbU!blfCwL<7d?p;{hXLKx*3BAy1xMPjoIYE@`gz z{Dt?X6ciLB9SU5!pOP|3oV42<#}jVQM$tvK#tTlOv4urM+_ZVHxaiEl#KbEoNO|hi zsr?5IO#Us(;Qe8UUCT`$UfF4HZ{OA5A9DXb8~(=9(o%=Nv!KlGJw=7XC&iZA99MdA zv_jWc21rEZG)LJubiUdzFHb0p>e8i4II|~Dp7ehzI__q$r{FN^8+|x=ZEbC0kGGds zsnfV3(FV!L$PC-k%Df&oZ%)jQH?Dn7vZ$L}U^wt#p??0)ZtLFcbuzmm=u7u4a#(Y4 za8SqCI5Z@LVw#b<+T0-{C&&1->iP4WC?2b44>Dzyl`-)1^Y2Fsz+X~RQ|lNQkORZu z`B7tdWo0?gYW5#I81(%4(ZB284xx%)U$(Wit?Tb+!l}o@`xh07?B(DXpPC}SeEBjy z_`v+o#p*-76|X4##>Om9c+8UyUwW&svGU{kSREMv5oIKkh+gWLOa^^p(%rih8M6Un z5jlbAmj-4XKm*;~-O_He3@XuVP1(jYWT*GhpL%mq(m5hB^7_WgHKGrQi;IUvMk<+` z@72@OBUS&|lyn@~i?dQ%UVbV`^jufr*~1-{CZ?u}mD%r7oBprn>sHBvN%7x7_X8P8Og&}kTX`Mi(qj$%DL|E=Ve^+>g6X+=fo z%a_N|&x7B*QKKT?vhut|;p|yfhv7zNTV}6VbkcftcW^8sg0$3{Ja_0l5 z>(~7;lJDQYv-M6axt~;0+Pbo`f;TK#@$&RM#wqU;MM=l$L`NDZv1oZ9dn-06i851% z%GlT#d;B4G!~D{c^3d~ZqtdV5c>K$A^gZWqaxf$_lV@pZY1iJpH2w;HeFesWoyMQ+ zWfF&f03TL5jc;*wap`_^dXK0qjx1@UQZmzfVRhtyt)nMoWxF4q+L1VN zm6j|{jo2sB$B!Ey!}5oqWjeR?WNXC5#gU1Kh zt;1luU%ES99ePfSF$Du_^cR^?y1BU>w5T;79~=!6_BySks7OWnRPFgpZym>iinMLp zw!W%jV47W|!3xLp>WdO=``v$zWE&P3>0+a(?W5mKdiv~HR(F=FzOC*4rk0ih(}`Qe z#`^K$Ng#IMDRg5#(xb@f&cO8WfCzQ0AF&y`%;eDqdprV zX(v4I?4u9Q=a-mz`*LaE{Q2|beptUM$-{>aOB_C|UpRALH+r0p7l)cxRaLdEvr~}w zVRiKhXD6qOx;h2X&c)B|t#x&NU>ADXUUqguv}}@L=x+P@`A?mF%Bns!Qge%8*DeLE z`;t7Qso7a|6jKIP*0YmacPkwO6n$}hk^(avmz2beE(2!uFno_-Pw)_Ec9ckd>8FQAZ>y?wsDXOw%!f4vv0^P%RJ)C9edTn{Y zBD0_%55<5R8ivFh1Gr9y-E zPfljR%y?yhOzQ|&RaLRb`<%dk<|mqVq@M7k&(Tf`h>3~G&lYE(ifK{md?0&$Zur=r zU!C$qp#*iA$Mf>Z%Ukp2SQjBR7}I_s;@lN9wUa6v{CWBZ9%Be7$}9))G+pjQl1;&CO-SXP4d?h^!j2 zb?mjkvHkM)USL=lRdRB2-Ovy_P(Fqeh)Kcbod5puuz95unQ_VaVDPuvjk)8RDMzDO z>nLu6h+rO{TpKz{!+C-Q1<7afr~sf$R1}ToJ&A3v{{1~(ySZX^^+T!uDNFk?AR6nY z2*wXD+zzN~XpDdU91Nhy0#GR?A)$EV#!-Bj({u+%s*D?TaBwh-jO%`;L+9UK6U?!G zBy85QDh&D}2-ac$>BW)F-_z;k#ocXfZ4bG8*8I_`T01&!1A58x3tg-h!RcDUMBcf5 z8zjk9tEzkocFqpl~pEa#YkP^0pmA=gZF7@Y3+UtmM7f1ch=_b)29+L z9`oE)FJ9bv@j_-3OR27B%9n3er>(p%zSVZ(b@;wrRQvbupDD_ctM*t3@bdCf)6j_g z`+J&eTi%7Q?e%HxnTEq6Z9YD8^iPKmK*ZHxNrnO#GycdOvI8HeOxJn#3 zk`2(OZ)9{ABRW4>^6D=y$kObmmr~3Dg~ccqrcWDaq#QROtnd(;}P^w)d=NmVSl5bor&!XX!^CG}=@3YHinEn=$5ghOiAdvUw z^1x39&P5zKJiRTDt+T;ue{RS8CU*Mk$pzchxlcdMjq%~$D<3akxOnlDr>Cd0PK$@} zrH<6ofKsljbLR{-^7aH$(mh6@t6iuzIVb>>p-6lEQ$f4Fxp^T&;G@DD3H84JHdRec zO#w_!7;0E`wdZ96RO;V~h9uX_(q0ZquxTsw8y$xS507`o>0lVBl6pX6E*yjtYe%A&!_b z2mz|BtgOyOt03E4+sU_}-N#?4$>$ami@kd7S{0WW&cMgPK|M7!wX`-te*U~dzCUY| zF?r~`>W;?UVvRZGH&?!&Mn_e*E2v#HQ&1q$a>=D0bsW*eC-Y(7Y*E0OHwd{J4B0?w zi@(Ag-4igJM+F5MSNaR%uGF|G{|+g6^e6}&*ABSCxx`F3@lH*RtoN^XQuvp9`ve5; z=029cWDuSYZvb(!l|JvKQnX{|Jw z#Oj(FA!+H#o|L9_=;5wUWjBFLgf9 z@{&uBthIQ5?BZ@#*3+b!`anwRYdM%nAO$qZLcKwpneC*HLqi8NOC(qiU!p0$`caQ( zsMdS+llui5o2-a5qXfq_>=p&Z%-9EV-ubcXfKFM4X=t?uyrl|gqRufJr=GnuKd!Vz;pWYoORJ;4`cPoVxXsMWOrKq%{ru&No~x@Q zSq55^k?_Cuq3bwL17D5JThN8oxOX|J6p4BYdu;v`vuX%ZPxC~xX?^?ld-SjO7cXAy zEx%&SCT>kWKo%SlLhq-3+p45ua%@cD#*G{19P8`r;3Umy?yj!;aOjG)eSLk^&zvb) zPJN12cfr(@c9Zf=Z^jn7U^O~s-efCFpsEX#W? z29a+e+eEpg&U;0H8ChTcri!MbXR?V6jtVh@!meY&9`WT_ryL*2kaH*a1{H~xL#9l7 zIk#b6D^)rU%0}X#KzIAj>E&J_ZwEbn6E3So|28|na_@=vCA^OQ=fi#c9{;RMQG{gNRgRT)%wle z-QjvRZg-QCCcl4tHuLFah50uT&^>MKoj{@7yQs##ehmjMNz-U=ZM8F4AieMDA(0@N zC-y`~MUhBn9-Pp9@%V)vcp+*rj4J*xC6G9V%&l3JOK;C%o}*;rE}4 zHhm5-lF)*J17W#skQ&qN+f$Fb?<5KTI4#6LEq>$s2jN$7#`lg~VUqjz$K~qBr`rw~ z6)FIIf&sbv06KJach>{F5PcPL^vt(!12?tr&CJX|g4M~q_U4yQWJH7_I27oGfV{u( z1ghdpPj;mFzd7um#Py3778c6N%G`W>S$Z!t1>((8`Z5g~-9a6vK7VdK!hIbu6ch+N z{WS*|hLVYiNwy@!_wPd$XB>VA)62@rk_?YeMRelb)CUZVH8nLM_Y~W+{(KGXl#B#u z|1%*+2BP5nRO=oFMn=P9f{E${BKiy7a$almMT0M(AecVCy8Za^;|ER4sAObh5<50F zHYNch0@KsEL@jEgzz40cJIf#F3v{N-hk}nP4#f^^3dE@qVp32@2*KYL8S}Pa8WSI?h_Hj#=iFQ+ij)zy2`y;oRCP8Yxa3!Oe!?IHgC z$B*k1ueX06eU<*L^2+g?gNwg@T}P_~6BRDw@ciWH@9z(TqzU@s=L0(1&{%oEG3G|S z(Fu8WQQ5z3oc=XFHzzu9qafq0e;+DV7hH~mt2eQ+G$9f>rXDA&(^{0GQ2hT8JcEhh zI|&KOKy>_1Ow6y00I%s88|Oe2uXTCp7>L$P!hwIC4fSldpZZ7`5CM6Ho>fHmm@Y_ALs~ZHx6eA0|CWU;C$hRQV7yXxB(8sS6O_ zcC^;J%(8yV?8j%*>}h5&O9<#h(gAv~!_1XId%7=uop;)6@#b-5WzC6#u9VaZWRXSl>E2YB9HL^e1k_HB6ZoJMiA{ zkRikW9~14HqCR-2ar)=aGo-N2X`;)cb3_p(9y3sUL-!k=GuQLi7j?7LbqHklkGTkt zaRaqRL`6LUQ+46ItDmEt{r0WqVC8kb)f8-zYkLv5kkwZQgdtd3(XC!>4cN$+Gowo-lM`Wj`Y7AaTL@}&F%lS00m-^xnLjY z$Qi{sQ1^a`EByzd1Pr?i?V=L)c7Oq~ z{9`C-%hs(zCr+dmTf8D3SrXEayFY!l&j6y1lDDAR~|FKD`7$N~t6W zsH9CZ4N!-_UfF>FOx)A5G6S_wm}&1xsx-BI56iC%2tWE{9J}9bvH*lsc+dAmzm`cW zP}L8W*KHERZ6R+Ty*60a-K{(KL-vF;VW^OPY7)w1q4(|Ld0$j_DO}W0)QXY>i_!eS*%kozZH6naQ|mN)jDD!~{*T^4d?%bW zv`%hbD0LqO2OFRq+`fIA&;&73Xq;9yHu?pPiILn+ng#5k&nsfAJmdZmX`0lhk&p#uj9rEG5WRScmw0EAY$|Kvn5q(B=;m{>@YhCFV4-N9Fe3ywVjmcAVqNTdSfD zBh}&Pg?s`66vU=FeR_M4BG1*UR|$>QXLG$Cx|4&012M^u9}7S*UVw)y>=vQS`{sfK zBwz~Efzr~_+&h;MQYd})tPuruY;Nv0fSk||$`0EPdrx@mB4j*3Q^5FepymFm!nnBI zGOjazp!){uhlGSMsdSa0RZwq;a|E0KM%dNWr2qvT!=R?4qa*ZEfQ8{kw#kbO?59@x zQ1Jq?viO)2PC_06Zk>GidH>#1FFUK-0F+ugJI`cZtE{Tp9n&&tK4iGtqLe2VE%epq z3cHATWh?>7K!L_jwV% z@}&zVzdG7MURnRZ=xDl8vH59~4&$3Tb0Mz*QnW}6>+WY?xC%{kbWH#H3j9EQ<=c^j zm#J2*cldjuCjFD1oA>RE8`w&kzy zL+>6us|Z;?AvRX0isQ%Gi!rz!RW5JkE&hJZ(d@={X$+H_0^;IvDlwb{ z*%~afQ@Y%ds$0GfUYZbx?9Bue?L73jL{9pm!opk>t))gf`K~xVRfgvUno0!L<0Daf zOGn4VOxIo(5h;?{_9k`@efCW^PH86+;J*qQWp8gUp}#ro=jGuc!{h=)G)6KXicLw` zf!qNmDj_KeCJsB{lJ)ciz
    B4TA{7mgm#(9{&nez*P28wChp3d%$*1vYy@VY@!H z^%E8Va8(%ZXeqY|mw}&u8}|OrojYw|4+3a}KEF0ZAWY{SEH%FWd}vUO<>cfD^jFSV z<`}3c&B21I;9`h+YV3?uWv zH+0&=Udlm8itK?NtOPK29q3MUt@z0k@zk_5#B}_LiNo8W%_7K=T3;aM2h zKp%Yc=n=P^94Gv+v0uM!yB}_Yl&7Pk`dkV-Fa{9uq#<%v_<#m;`fz0ttPh{zuW1qE@VR>7D|mh+Z@bbIcbHf2;uw1My` zK)a(3!(p&Hh++bhtPUPNTXw}ooF=0B5S9uw`bw|g643QCi;ALe{1_yHAqW^vZ4sBc z1luPBYuV7zu@g8Cp4j9U)igZnwQICHcI}-A_U*f-&@*yTB|8BF#4r^;`B7pIIq=p?v z3n7eSLv{hDQf!16b78}Ap78Jk0CZ^8F+8i zWy5d;XVQKDhRgq5+e%PXo&5x282|Aj8WLvvJH8cw59B0HLc~BoB>LBMCt;F;Jj{%~ zlCS-P%fE$Cob+J${V3MF0QP635XmT z8hVd3%1p(mPZpG^ihLJBzJo6Xt`q-q1b!%7F)p{c;d`Xm@bK-?T=Eb8{@rjCK6o(U z)~!Bl3aRDF790dSp5- z8S=)r&S0-ddM;j&IC>NuZe~Ueha&?H>WXY$EQT$E5EANFG{EC_(!Klld*GWX!O-Kq zr}@}EoHhVVR|YXGVg~VqXHeCl^8gax{?eI#23;*1?49jf?wSt}O_9kHMbXh~K0b0q z=2dr~D8g_iM7SCFMb32U=eW?!&K$nnv5$|BPfuSz3j%5HN0;i`Z(8P2C%U28Leq)` z)BZ71lY&h)rCUCHT1zY2&yUp8-OU5SXZrF+QN!`B@87QuzVekP1V=c%RHUlP$}SkD zU*E*>IS$_rS@6X~u0u={;^y{49%MV|>+Ea~L4>Xh6lX&?>aEn@Hu(u5iY#pP_p^Nk zdB_zI#EJy@R_-CVT6a?YuYK@`>C#?LgD>ybM;Yn_9+q5vJ4c}_VT}|5rd^xTit$+qyawx3ob4! zWR8uE-8>{@`G*VQQl^O6^Da#Io40SHNU^XwmcM_Dhq$8xW|jd;Z`gjd44U(MC?NYG zF~cD`iRU5rLlnbqtj@m-whg9Tul%jb8TfwNC@EbwgODgej-ngyvj5nzdvJyHFA8pr zQ&R>v_5CLMjbP&d_K%8+v~XtgZ)iLTL9@w}y|oex6`7d#7jEC|y)}x9+HSJf0(}t* zxthK{F|2;e(Ruqxq+EI{94)pez_QGE`0(M)fyCrwHRN+3GMzfXS<(}q`cUfqpROw3 ze{$DGYtusLxU>;3Fc$=cP=dloxQ)7~nfw9*PpvAAAzv=7E!a4448g3ck5(sfYiVgc zt*FR3Uvsk?d*Td$Xb#GuE`-*LmoDX-{=Id|$cTxsg^@E+gUbd(q4Hgjg*@ii&fdNU z!8)TWHISMmZ+th|q5uQdvFzKW$jC@L0H;TpnI};fAAk7pVcp13zHt=+9zqs%`~G2} z#`D&1gfCm)ya@xQ{R+zICb|liVTxQ+x!wDal)ZmZw1~rTbw;a|ftmR|ie_tlz5kk* z98pPNb!h??j_nN+LqlSE*V zaKkWg=g~;400A=5tD9*r8qt(s%ZQqGe&Z-bk%6712jR@F{jNxUZSQITYJq8m!@1~N zQHvfY;BdgMo^OtOZdTzC_w3o>d&$XN7QUO=Qw2ISP#Jn_y>IpO_dh=O@AqM&^=HZ^7I)gnvty197*U_LB5`txlF98PgF zM0&@@W-CNS zTH=EZ3)W0J->iIfr1}`DC>b*|GqM$p02JtgiT(Z~uY9>M@k-z-*;MOCpl1*nJVNc{ z8CcI;cqcVFmSo|Rx4gkjMNVjRuNqMVd2P_3`%a~!f$wHxqeeglr_2V}8&S2BS#@JN3zx0a49V>Hk6q zI4q+>p$jl^i3Bcu@CNX{*_&x@hrJ~3(GX#56a_+A09vSdHWos&+X^uv6R2tZ#pfc? z1;%E&vp@o8`U;p;qFDS9(Rk%<6~PA2%3Q(8Nvxr<5wYZ8Xl~Z9c)R-g3{6t7K|B^F zwjrtFk8%pD9?g~cO-F|c!qwn*x&{V8m=AbWgy|0Upd2(jY+n3eKz?iPQo_#a;ijOL z$&(ryJ5Y7;hQT24mo<^QvATMd2Hg$Josf>ceEA}VB&}K43u;iXZrC`;T9v6x3Nlc4 zXKOI09&=GC{^6TTgbmWY7F*2{#}_;hOltu?DMfbwZMr-c;I4N`0EIydM&DIpArDc< z1`54f)yNAG%k-ny*zyVrq{953woMH=zTzhw^uBz?|D5gRfII&;r}TT#w~tUKPgbQk z?GGXhao3q$sBv+mSjaI%yMC7?>_6R^9*^$LeEOf3sdP`Vn&fVQ6L=qI0>HcwdhjUK{=7yi5G7uIk6gGF`fj21VQ_xm1D-jXg^D3Z= zt^NIX4?q8Zf}C!}lb~X$zZ7lwMMRYp1WS9+CgK_Q=nhuK+=I|L1!@ddmjX!Ea+@17mTG@@rMK`_JrAx#1-2@m_2dRNoLs8-ii_2tfiPbqlaM9D%;p=o80} zr{J(FXlrXn_sj#X-=?5tdwq(Gc<3y*Mjwke@7@u%zp=OvNV3nL1yv$ybl|{&iC@2a zvsCFY-#S?)y`nK2(P0Mm1h4qLzJ3QR?(_6?fwGd4C2m>}f-cVUk&6W%=LwDuA`u>gqM zTzY?IsauundgDEL{P}oM(ShEixp!4I~RkiOFUJIlrcjV|ZX zyZb_)dB*;?OL(+K^Ym#Rk|abYwsuszm|-VN8!;~oJ{uG(4mA(6+a0uhkK7u2B@fbb zc|fGY&97l?=N+{G@ZUyG9t#}^yZwEg|5hQy1X}H{OrQH%L2Ynx4YZk%uW`>IVdRF= zBkR>Q9Q|sc_7vLmiV7+3^{+V*y8TqdRsez+e10vZVTd>;WVuiIu0#4J%e}ruR#-Tq zzr>=`+aWjP5FcM)Kww~1WeP+y273Ai-eF04z$rq~0O&HlGW-TAl zSe92`y{)!=b455`!V7?hK%n5o>W&-NbiRllMytsJEv^0Px*T#yRP;8E42Qgr`Smt7 zo-CE~MADQC{9@m?x6X zQ*S7KGu7pCSFj{FdMj&AJzr2zC#((X#I!1e$=EMi|a&>iy96y|wb)KQWOJ;8J(!W*A)r40MR> z>`*ixC=TU?NiVM7EI}J5fu3G0|15CkLDX(O6=($yA`z=Gr6!@VpHfr|*kbq!R;4YG z`$ssIkjN1-CCD|Fm~i~QyZ5V&|N4ze>0Ka^CgausdSuMLJ3l3X#Wx*7I|Kkv_)7bjL5>G)(}s$H1~-e^~UiwuR+?e z?_HT&y^)5XE`Jlf`<|u>BzVX2M;UTZBQW#7%%vQLbFV*z98=T0EQ?$zb>F5iXyha0 z0-dj4A0IpqE{Zth0j;fB*XNhM>QisuK0fiu)XYp@LBX%*C};7{%@rA)diGH;)Hi4s zdDr?W4WmvF8X){n(@%N%j$XL+Q0exK3F(Uc?gxfHpx^@wZUtCo80-K{$Sf&|0a7qh zmv{L>gCG!Wn&xc7*U995Kz0A;W>9+=4-Tnb?i^U-1U$jl_#X}E2%(Mxm=V$lr|eDQ z+7@Ddx|wV&(R6@nn(1;J&}?5Lg%b+YW{sJLh_3=|zVu={6ZnZx;pTtyik6f4pUTk9 z{S|@%dT|J-VZNY+R4~#i{3OSkf%hqBx3GCn0SNE{ts%O?>izq35)n55rb>L?M^r(S z1k4PH$b%5s7VyPF2J!62C+Ne2Iv&VsfC>rXchzw$9UUE?K7W4KtTz!d(w&r)6!Y2q zaNMSGc6FWVp8|dOuN+ZOIC~NyC)^@ff>kBepEV;`1oY!#CJxd}1idW7U zVt^FiBb+574_hhmf6b;On{AkP(`D!6xNN?Htq=IDRXk|HFC%lGWKiL)YdC#3;v$XX zal1_cSonlEDk&*RMe^SGQQ?Z1BM`>qbGa&y1zuGBcqr2%XP*WgNO|x;8w`xl6xv!_ z^Nw^vWq}BTK1oX&I~B-PX-XQZxv zP{2t$qSB@lG>*6?C-Lq>CkH`aAm^VB-O2F~#lPx#lO=%kI#SuTC@jP0{h`8V<8lKb z4^8znzZ`aiyqj54yB;z0*bYLJ^Ls;fG|MvYjT@LKC}1}7>o*hb14GOXmLG^_5f5-F z+(AprPh#NY)K>mCKqqp(IvF|I29aa2#$gq+YFb*Kzqem8IO0VpXk@V)?_c1_$#Q$e zDJUuTkl0Rmh`mdfPbcX>`pI_2xCKa(7=g@Z9&nv--WB5^2s3b^T5Co^G#wm7iHwS* zUC+L!<>jBhSUuKGQ^%|A7`l(K{G`M&bN#b+ozRkCOa_o*QO5{_6;Mz<*OC%V64Y!H z&rY59Pir$*Q=s6&8p^-L=Xd$l)v1a~N>y>ssT+;0ShDqmpi9Le#Hm=eXLHnS4dGS` zdH%eop-N41HUNgm-~5zrTlY1%+PG-Hw1)du)}YqJHKqshzB@^Vyx(u#y0w*r6J9AI zXy3NgFS6qrR#Iw{5okj}Rdu?k4QG!>NGPxSZHjuf-f*?&9+3Px#D<-gXAMySLFSnV z!5J)=?97?YRk_*YS>u_HABUWg`%MnqxIK&tdHFS9n%%p1`$IuGZP_g`yZY3Lj4>!{1JQaWMUaPmN zzkgfJ z_T~Y}Q-ZS?ij>zYDHFH<&~$K%A_x{31ZM;1SdTqWc$$dW!TLg*9)lRHt~2a`N{VoQ z5I`&(jR3ry2nq5k3G>O)Xqu(@Dh0!Zd;Q?e!&_^7yh_ww{;(XB~-xUlvR zBu=<*QJ8U5!)?=zvGFqKC~RT)YafstGcbX`KqBlN2s5uy-!S94t-0Bc9yxi!Hne}2 zWsAy7&d#19{1r_|+H-Lq5gsKXw%C!lay1oIj@yNSRpWRyC1^EfB3Q zVA~Gd^P`lKk}}k|=6cZVISnpY5e)-5);NS*U~Yl=TCOjBJ#rVYLkPXuA2Z}KQW^Ea z#=+q>^dM(PHi9sMFA)8bNZUZ+Mtw8TA=BVyT{itWyoNlzGqk+ituMYWI$Gw~F$4@Fr({M<#hW)~|JvcK zK8A6w1E+$KkufeMh5ZNy*Ryv7l5{T2X15L{<>36o;%6B}fFJ6vEYbD7q@2}VF!l^A}) zlk4H1S0&h0&{3GKeS8`W26z%8`)~(6T6iy1cS1tuIN=cs&2rRs#WPjP@j*lN+tJ>b zFVoX|NT3hgybmGBp?~m_dZ7jmR(l>Md_Mv0)Hm0jMwBV`Vs*ibr@kxA&r z)~LAsqCWQ?-W1cdw!Utpz6#p_&JBLF6ZgJz)jowrD{w0iuSV>Xh9-?J2jK3H zPz*LMF=!}B#N8ewEF&OiwPhFKLRg{2tJ*=IGEi-N7&(cs*w~L=tpgu$0_!7?Baupj zu})kdJ94F;L?W0!@FN)s+FBHXB{mqe`QROXjZ){&>ahFUPx)>m0{lry#^uu<%7&9$ zp+FJgdjz9Zp>Iy{!Y$l}a;HwGy6+58GVr!eR&^s^Oz$7P76A#tSREdF{$k5r_3WAQ zi(DiUog4AJ0B<@wL$Sbcqr$>=WGBSO2V(rF;MZLqGP1C+WB_3kaeuh_xSl~pNl7U! zBh%2@`n8C|nZ@x;$@v;5U=l(G&`U1p?KLnlGqV8##D#s|qGiMfAye@kJ!%x^%-V-O z81X+|I}Wr8a;&%&TIqXWZj&0-05|ToKz*N?omKoFI}|d6&ip^5u$7#4(-#NoasZcWk=F zIM(RO8ayH-F1s)~a!ShfQ))I+UWfpemX!rTkwh{dmz>_c)9nw2<6_{++uqq(LjUS^ z=d_Ddd%-`bkC+ezj1I9fF)67~+<7I;T6=rb=}J$UCSs4_vL8Ff3OmmH1xAYdbOb*Z z3}w8u#wLpGt%Tq=z-J}s&>qMHptuSkY&bS>AW1NUi8{V<0;~>6QH68oH~<}V^z{Sr zK1dJ%Om}jCETzUB5f{fruVz5s7SD2whWF^vyT82tb=^bQg0Qm?bD6E~%5z$IX&|x;3up?LZc;)5lrDw+!xu)!6ELo=7dNn0+945 zAy}M_>7_ps>P7v`0Ajvy9 z&$P0L%dY#-!yV##KYTDjs{3s~Tkc|5rwn)zq z{R8*3Le!-uF1!iFcSH0H4CJ8i8>(9%stxjtXy}(7d*`IfAwM^f>`cW3&Omh_Ohi~r z%&?WOd;3F{hH}$Wc=p*0k@-KRs;UnSqh^rs;Xp?Qt6XwYOCDY)t{fAD9gSh|X}<%Z zRd{-MKxT>`-eN4pbemHas!FL|(8_?2u<%2Ejk~e%X~LBs+K;Y)^5eLh$ke z@O=X6nB3wers=skZ6pD*aC7ke!sNe_nqSd&1+$ZDf_{}ZO!n)xDO%OBeC`ZkyEGR3 z<}QDv?enH<_bcNnnJJ_alPxbX_2%jd3S=A>a5?!f-1=zO(M@GZ2pZ+Cum{X5j+c(5`b-xqM{Fzz);0^&*@Jxb5WSRS-{;8r}G znFqJ#juFwsix)q?YR;Bqp{f4WalE&$kGLl{@NFA{naj@?X5f4y$c%f^_rPnrKYeKk=!v}-vEiGZr!}xFp)d+5^8y4*C@5iO+HyAMp(%Bw?K3wb>@tCC5 z6xajw3OMhxHXh2KWaaEkUu4uy82#r87c*>`i9`DP6#USw3j_-)MGf6r?zX^bV(|F7|milKKJhia5Ii0m_B$J z-fcVe@p5|8XXozWVNGl63G3SD9^-)@qbmXUOp1(9Y_+ttJ2;r7S#U;>6mfyLgs)3^ zYi!}|rW(hJ4+VmR7B09~-X|5L$uF_{tLwvoZ%x!6fxo{5S7rz&MgZL-sHcF?`svfB ztxa3AKhV?Hcg)P}mr2{1rY+ddm+Aj?!2|4Jd5<*Dw!peiJ7ZcJaZ~*F+{>T)4;`8= zsu+3kbJzfD=z;qzx_Jgr;x7sPe4f3X>#b-X%prMn6t6!EEqjkS@3Rd!bSM-$%6ZSv zjObH@*Zk0US#wft3H2db92+j+E$E3j4gU;bv5$VoBqPHlY${q)BKba z;TyC`?M*muRnDIyKG-tMzFAw77Q5nh_x^o#z(hii+P^c_vF zUuPHy>k21=O=cMgPv4`|P&>#N+0=lnT@ytr_f?8O|N8oq;*!axMFRZ%!3hZr*fZQ; z^!4=ST61;%Ev>Bsz)tlH4Vw_~{yhlh7!>1M z_o;+em>dMj47Wp?KFUBM3E*3oJb2Q25%p|!NhkjGgm}t3mS`2-;V+ye=UxhQSV6{& zn7Hw*6r^&k>2%_JPEAc3q8#zib#MF}c}L0RwX3%vL{&wF*vYV*Pb|LS+k5;*6nsfh z_jTLf4T57%(z*Hh6X3s>y}VK(O~K77!_7W~MI}2AYw=2BFz)-3!KV;ywi#I_zmkj) zNP>EH@~gAl(~qmtks(i5(Gab}rHJa0+9vDWs#}o46}zXI{O*#9ipuMs!9hV8dU=1o z#0(Uf39gS6S-j#bHx=1FL`}ru?CmEotloivJ*=#)I}TOXLFPwxdLu%974pWT;^Ny- zIo}TrY2f-_NzDoy;>c8G+?40nzAQqo`St#cJQ2IbCMPbmL!S72@A3nlLx*B88o!aw zA2)tM+I50pNDwbz+tQ&Q_(>^TEGUTK;9fJb`~j3NKi%%LU;ZVYl7f}{l9saJ`SMfk znA>OPs{H{0=c3F-RR!Wd9X;gnYmJkH=*fM&-me zDp1y(j~V)*lC6g;_bqTzK9pZcvT&u@9&W}HR;Rc{h^ijB1fzmPXpW&@zuM_aqJKU4 zcomsv=r5n8rZ}0Ho{t4^XUb7MEZ-GSCG^K)o(XABrA(c$zm6`qny7=f1S=x;R<{4D z3-i&_KC!EGsP0a)U?d{$R7t{3g`Rt#P(pMUV+-o1MJa-=02 zV7p&>#)^R&6+kf#ZEZabUIkTVYI^z?WU6OS>JyW1nzD|+WW`>_$(Wg&d;Ibx^k7bW zr5RJ?#rpAlGoGY&-GV;!3MehF0mwbkBv0L9*&g0^!QP&_Vo2ovosqU{L({+BJ(F;j zN!!ukP8}ea)b3a{qdKG8;AJxjUcf*d?7={Ol$TeL?R-LVXyO59#Rjf|zBa@xkETQ;gYe{}pky_t&zcoJzH(J6jA=JT()?-M zgjG`;zIbBQr%)UuY5VqYe(vq*Ku1BZw+8R?LI$3mo{r()wlAv>oL?_X%;Bs0NT*L} KD;FzT2K+CF8q+WU diff --git a/lectures/_static/lecture_specific/finite_markov/mc_irreducibility2 b/lectures/_static/lecture_specific/finite_markov/mc_irreducibility2 new file mode 100644 index 0000000..19bd78c --- /dev/null +++ b/lectures/_static/lecture_specific/finite_markov/mc_irreducibility2 @@ -0,0 +1,12 @@ +digraph { + rankdir=LR + "贫穷" + "中产" + "富裕" + "贫穷" -> "贫穷" [label=1.0] + "中产" -> "贫穷" [label=0.1] + "中产" -> "中产" [label=0.8] + "中产" -> "富裕" [label=0.1] + "富裕" -> "中产" [label=0.2] + "富裕" -> "富裕" [label=0.8] +} diff --git a/lectures/_static/lecture_specific/finite_markov/mc_irreducibility2.png b/lectures/_static/lecture_specific/finite_markov/mc_irreducibility2.png index 17959819f71f09b81b09c9d522d00325e7426e00..78809f5b15ba9b74022f1391a43982decde294ed 100644 GIT binary patch literal 18140 zcmZ|12RxQ-7&m-tr&NSw&muxrl9jz>%SdJ+B~dCfdz4K|*+g~}5+a+DBuQk8hAk`K z|9al{d*Ao>jpzA2)f4x9U)OmZ=W+bkDden{G6gw3If+D~P*qXT#qWRc-`8C`@N2-M z#x3}5hn2dr0%?=@H|2G942i@_QdKyk@1FGY@l9ju&&!*GulPF5Z%1YM-1Sl8GnUo) zsl@q0ML+!bG5S66mx3uwFQ1^-7rD_;@b<1+xK*Bqf__mt-FBKE+^_jxO)LjlEKRg_ zUHr0rVo`F9`=;GHsq{6w-~D%fpJHTZFDfePK6&4T<`>zXJ?b478rte~wJraDejVcJ zBcqM4{N9zRet-e)#sS!!wPN~!Qz5n5gT z6Y+0jZDio}9fRsCgVmnKrI#p=Xg}FYK|!%F`C;piA3t0cN>_`9ZS6bDD=V#A7=cq~YOVy5+(we3<2me^Ug@R@uX|^oI|V zkxpN>v(zzEJNYFiH&?Cf5H&T4q@kfP)t@~_tlivhT3T9?Pk8v=oTaKNNs{bzPyY1( z`kJAkVdv-1%DTGI`fHC)UL}$8P0DorO@*-DUEg__$c?!E_&KuhuwTBSD95ZjZk+XS&9xr^BM7sX~0NU%y^_ zeL`z}b-M7Zkx?N-_A?Ui`S=~0?(X7Vt3QsCYJYspE_V7V78@I@a^IrdnGEY)-<1y<4_!y|%hw|MujmxF>F}Jn zYd^MH26gaRY*STLeIRJL#pK215c!~emYpeQaK%byW{mh0R%-I7q@-{>DeIBOd!3&? z1w=&b=R1D9*loJ!*mn2sQ*Z0KYIjpmaB*;Ol)QM6W!-c?N`*7G%dMrQWpsL4U6MIs zb?KLSPEL-?QmF}}WkRSiy~t7RCvTghIEH@w2zh+^W)F8r|F>5+Pq>V#h&Xib+WfaB z5Pt98*mwIf%g?vY(et0Y(l3hwANuv{9-dftYtO5je>$HT3Cyf`_y+~?*547tqX=wS zTmJLmg_Ei4WG7j+*5h1V+Iy|RVPW!XOTSLsUbwVv+cv@Pw)q$QM2zW=gdGwHH0Eo> z-Z@OkPck+&wZ?b#zHnl=@~yHVxTCLD8lTH};>3wd-zr6K{OSvs9cdE2QgiYB6IOP! zS2ylm`})bpbFM^0Qtax$UPnjAaHi9S{7XjpCIQo*3whUnwC%7j65*bkpT9Qq{Y;)& zMRf6FS-I2$6%`fDZEf<`uARUx{g9@(=W=fmSwKL*fv^T{K0bvrXUP6~NcVsHcKF9j zpoZnR(yIlP4R0X+0F# z%^vl%?z+B#!R+E^3*mvAw}=iPNKH-6iZ;O{;d-I}#j97Raj9)m1!-w_y*5_QsH=y~ zR=4>P8)m5E(a8fL3PojQw*6ueP4)h}52j>g8U8+1AGH5s)nF)gZPx|vP`2I1gs>%M+{74C^wXlrX%ES_Wj@5@%j<$Y!D&)QH-Z$?y`#6lF<_tJ}~ z6l}EKC9d&|x%un5o4Q9jdwK%1v$HvyXoBi}V`5@5WY3w`VL9G(KGosC4eM7jo0@w4 z9onf{N`qUuIp}%x^S{>rZZq}TNF$z)in@A?qm0z;1=*M*nk0|#JIq2h!Def``-x^4 z*j4vAIbp(veqWHEYRnNb($8PN#!3pzXnM^R`6zbq^778OOIEqhZu!+$7IRDM$`yV* z(5Se$fV@0D63hI_um&saM_E0+gObeqB_t#S#l!-mqN3Vs!%=tED|2Jy3_@Fp`#s>` z;BaZ6>J+oI$F7414@%xy+WS6PrfGiS{p{SBIwuzwn~Y3N-wliaOFO$Ar%#{m{qiN% zwk_V-)m5SJ{Og%tF9%zPv~qX6;)={1h`|MPcAhn>@nSM6JWuosH8r)AXV3QFb>iaU zwLLwwF6Av#eETrV;Q+yxUTM`;dj(^S?8}Euz@o#U}$jHiK7Zs%m2?=pu z{>@}%Wp#jw=^ozk3^%n}^mDvfxKhgoW}_Qo?=Q#3EaMeEGvkas&cVmG_v%2EZ)z%A^}kiey@!Ri zF*7sI@xSfBL;QDEU*BIZTZ>Il@IZoqMd1DW`*!T5^YPufGtGPRALfG5gRAeKNXcV+ z$jQkO17LD;^1^6y6rGHhq{NM%+!6c{B{T<(W1rx0%q=e;-Lq$pu8vNswCC#C3l~_& z#>RO1L=!nVIU{RoWXhbr#*-prVh(QKu|pSaJLVfBhD=(i&Bco!(-gy0SPw+v^EcM# z-^WHqrd)cN+fe5Cxw*dHPn>bzDRJ@6MB$4MgmBf0E7&`wm?%OgPOxDQn7q1i-1g!{ z-oAVjN+u>v4yAC`eL?b9u3T~bGw{0ap$$I6Y<+pqyF1_Xq^^NMCf-Na#N=U`xmE1f zmsj;Z7np}MjeNMfea}-z>UCD*T=uVdwlxR*BAL|-=Y~9_wB^;HjFeyq&|BV z#&2H9DlT5W8u;K}eqEg|Q_1t^Egc>AN=r*0B(>+9q^6;XdinC?wFFVk#W;0t_KRP!RyRhJj-DlZfeyz9s8i)0bWT`uW zi_@P+YJIoP%+J>kH-u&CmeNvFUjVu?uJMw>lnndw{9-zGj&33=p1SFkj&GQ0Bae9z7ipm?mLj88`kH1O(>V$9Rl|;!~Li}dsJ{VM= zDn(SzpJx`k(jR>AsMhzEn4=^gV3hPb%fH9Y&kr~JH+vEj6N{cdug8=*;WnjDstu%I zD7x_GuESN%=Js|4S631ADN6?jlX-?!|L@-~>}8UmMy2uo@w#8~r;5)_34n0v&tSys zJIg}4AA{acaGW?nxpl|h+5+=eGi!fpMu4TtUB<|P`BHLncvSD{sp;xcRj*F*uCGia z_m{{bheH35t(|N#_&$3tvm_nfzY%XmNl$-l zjk99^@Hyju5dnJ+MdLm3VA{%(z5lHQxl1x{{PEu8z5esnpX&5f`JmRS-*}&+*4EZ7 z?++h7EOMn^9Gfi_mB`L6;khbe@96lkugozgCB-K=nBSsWgT#H}MAV11UAuR)k;W7+ z6c0u5xdl~JoH~B4MB&PkMYV@2urs@Xfq@Ag7o}$s=@^%oSbSby-X*kXp+apft*oH^ zEV?&th;84tEfO#M(%XC1-MxI2F-k=NcrZQwxM_4|CKr>`?bx}wxyhQ%f7Z9#STM63 zdh!mhtgg07w4-So+mRsym!7r{3YHjiLk+}I= z13SfLp;|3b+Ec>qcmKH_HnF#Ev%$#^Wiees%FKm7DhK!4g%YAL>IN&Rfn?}yt zJDdMJlO%6ZX+9DQNJucMn6^)jPDlu7$3hix5yC6&9ebGgZF$ z_M$^TT*`$gO)oELdQk_?&(hu9-GZL0t}X9x{_cO1ckcNCMn*nLG7?@?V#Wa6EsyD) z(MQW??9mNb1#4^QEw;Y)cgFJX z%8KRJ7fxg6Utakp(c9Oj7AOPA-T2^yHF~XwVU=1SR+KX`t$^su7~Z*yZ-Ea{_7$TO zz!f7Xz+Jm``83iYGeiH=7*O-)U6CS%XPzHNy? z8ypcKuv~fb&j1?_&+Y})NV??r3DYu1)H?uclmIavFWtfn224+FY3Cwxz@MG5Ybk&z)0b-0g3 zIvh>2?UP0P)X3yy@F9WotQ;Kj{7Y_bZkg5cp9?LTP$vYlSl?J4EWf>Y?5))aQVK4v z=*5eI&H-#PkdWP}XM=?=zH9biJwO>99i0(4s&SB#l8lLo$=JjsUWz-RA;$rQqC~p1 zy6{8y*UPJeM@Xgav%@Zh$NBlQK&Gik^eBvbEHY1S{O;$unsCmc7P}^-ZA{nMxyWp- zrL{F}&};1;SWS+40zW5J$fd3f)r^7yEs#TyBvZ?GPlt!C2n;a0;!#psnkSfGh)G74 z;=Q?H#QaiDLE*`hC!<3{Y}1j$ej){C6>_BJ_wTiHH$FWxqS7%`@baowsQvZzWj3hx zsoQP348$fsfBt-UA6P8gar4U9#`{d_7>OB~nTk_WQ$#OZof+~Qty=yw_z|=-2b*P^ zPu~kCbu^_{oV)xct+&Pd`E4ajIpen@uEi|z$rCNV9TaJl97>&$Z1O5bMhTaloE&4w zO5}uug$XzzE9;Y2AF3^@yt!Px`lHeQ`v@&R$#zSd40^(8L1E$g^_6)_$OZU6qrXqu z)5Np19*3r+uyP(bB4nor=!;uD>2m%0hfMWDKL=}A04IBEylcA0$vizhiFv)BS+W)^ zap>pIa1dw}ilF0seArAoF<`g8dGp5BP-5@iy`7bAj&$_&b=}?6SZGBw-~Jx=9LL_~^Q#?&rS27AxH;Z{HmPZd%oJ;Q~Uu#2#YD{N=`Du;E z5;StDXFvSr=E7ra`ct!cpN7{^zpA2!KWNJsB@2u8kt0W3M;a;E*;`v$*f0qDimii2 zld#eWO7|I6{|we7lrqV9C2iY6Ha0P#-uG{HTEGFQB19pr@)cRU!|cKjy{@jV+)FBd z8=_GGkXgFHy<1<<9rJoo5gQ!5YwFvplN(E4ua1t5DPq>>HlZ6RlepR0<+==Yb>+}X zQ^cJ5P#mP=CZ)l|hXMh*{qlNzkcLJvjP`gM)9D*3VxdNHVB}pZ^AlsE=RWl}P$3T=Uk22KvknfqRp0c; zmwta!2LMUI#@7RO2TC%?VKsu*0pt}y>MXHso2va7dJY@ynm8lM{ZX2^j`+&TN_Vz4 zi;$q;)2V?AV+RG)8)EmJlF_W_DzuPUoo!;_ef{CP7?_ zuB?=pb(h?7c1YR4Ag;Zm;|KP9OfQI1c2B;ku#UUQ56Z9x;;x40S4PLj4P%U?8w%%3 z^dIA*GBPr1F-dd3p(B$H96Dr_bFYg@O!S*QM;Q203b-bC4FE^9y!}mo#dUx@lXQjcYR3n5 z?q|O6qbrk6@B#@KDf^wS$8!*xH4jLek^P^P)$Eg=4BWmQ1(E)(29ggXpPU zWZgqfehHWy{8M?0Z_1ggyYn;|-Fd8vACO`ny($;ecqkI0udi=YJu>GmiT3(z>ES}U za>S*-Ged93TyoAmx5F(R$&qEU9UrO>5&;Y7>h9)5shCu{=5X#yCX2n8!!0fS#H94n z8Hi7!eJtnn^%bzMS!rl!9-gpP@-w@E$IXr=4I~q*zZP=v=q{3?qN0I=pZzR(fSiQa zy7;Nnrw@{bT`Fw-pQWYA4SLMq%czspbYGd{!q~Y7%`4~GvyTuaxxp(9#m3Ia$!&4! zFV~4y?rUre+_Gg0H#+Z+f>`+~dwYB0M)OTy7UbnwW+q9vg+jh+X=(~$`x6^>SlBKS zYMTC6aI2Q)=BH|FYKae>-o1Nw#M|2&Q6L^%hWhFBb(bS05XovcLDlw+R`4GZIuluTM*Uw;a`_jbrxMOiuMh*pvc zW2=HhMmPl?krud@bn#geMkB9ji1CErc8c+ zlw@ONB_|)aHx--U1F(1Nz20ZL(ZE~*dZA^|VR}TEnVYNX>BW#D!8JBe_0&{Ux<=__ z4WB2zy}onOYkgLkn3??i{NY~~XJ_9)D49WPX>8>`wugY9bpd-m)OdSKy3ddvOSshm zjdC_kyibl8^xkB`%p{bY3@J%T#-M#nbuXO0UO=g0Le@f_Qw!+?mM%s?F-qO0R#H-$ zSz2nu>ut1j7k_;{1aYPj9k|H#hpyd~N-FX_d#?Q%kis4vLEkCAK5^gXV-2Xn<;#~Z zSXz?dogO@RAZua40!8e*3n2rZH84;Fr^S=dF*Xhckt3uhF0Sq9H2|GW*kP=+Vc2dE z3-%v6bjbBb*LFPpqL(iVW7gKUHS|n$baVvd=O34pk}AG6Z>Qu0mmvjXh)&X75M@SJ zme2RLq2Wzemu_yb$jk}KLA+yU)vbAxFNeY!Knvdh3}2h>IZmimO-(xiuxQAoMMU(Y z-x)>O*x9ikIkMx!hY#ohigI#yIp=seIJSQI@&ygC8J~NWdt37RAh-}BqM~dEc3rTs z@rPtk-`>90&dv@j-0$^kDct(#!)Fztj0TfMUj_%0w{1BScX!IM4t$#6dIQy-yoc5( z;y}z2|2*eY3m6`_)nIkvOJAQMPfB$b^`S#CQBjl|@F-lS)7gl|+On1xA5XjT_wQLV zv!t|dR#Erx609u2w-l6=(oo6ay|7u{f-OWnetZvzCs={~ZBvsxH?A( zOEyAjfL5opn*YaRRocb7#r)Nc@Gm05!t!cr zq3tE~nQ?RBNzr6~Aj#yHcugtAbWmQbK z{QFysN#li3V4>>vpVJdSW#k^JfFE&()KBi#q~>Uy2-kUR5m#y@l^&{?oJEmuLRGg6x0h%o*ov*UkVN9$;VygP4K- zbO=K|0DwHr+{Tg=Q1w0bcMV!zvDr_wdltYpp=ZgaCMJdtnqNy3I_<{VvNaY^MMcF2 zl04y3TpFbhn@fp2dR0qnAE2c})$R(Rax;E3B;&?vR2hUnt^{cs)gNnlP$JN^1YIZ3 zqPmALWAmID1j#9{>gYuE@429zBwnl`5f5Agc}KrsqlYWG`u!6bZ)Wv)zBkwaMcB?F zPJQ|xeit_%4hS|v+x(r$pO>FMG(5~MI**bKzt42Kwans{o|#!V5WVZ~{zT8@jXIrR zcTo`$=)~O1{R#wIU4QKwpZLRVtdgCVcMlW=x%u%9!kWSCWS5jQE0H$+(kG@~FV8lN z*ZHe($|)%Ynyt+)EW~ze(U1o$x-_ptdM;wbh&^{+>@&0RH6{cn|SF^=9Ex~SNzS0f@L59FPHO;1n@m=XaYpUzb?0@6Y9 zyjwrit@@&g#p^E_iCC!2{Tsae{EcXhomrX;uG2jfc#-(+1#U28LVSevr1+{iO@Vv# zD^`L+SXh|Q;xSw>SGQvE?qh_oiHXtTRoJ+SR#xn=(jpTRcYhzD(gSZr58zVQ?Ca|z zq<)lPca}Yba&X-(*gOH~1jLwE?01L*Dy)Z1RSYx+fMN;A*IRM@DCk|@rO(E(4)@;G@c+9253cs zR|h0-7`N-vOdX-nf)WUEoe=bSjS5(0WLN+eq8Vj@O!0Oxd$S$Yb#y2R)PqUFaqJj5 zHbWhDLS%As1X@Pzw{J|pfB&BRn7tn;;%zOHVFY?jp6SbdY;0_V;bGVQz!%O+alKXi z6l;x$INECI%|GX-240^Akf++UO~j`8Kwri6Y`GHQT>)~T!NCL+)d2d+m$u()X763rD0M#%dJBF^Z@i2TEc z4>Qu!<)x*isaaUwM>fF+2|mfj=1X{008{`ha1GBa-r#-!dd6#*$GUavRv{swG#?+* zF@FAn_`ZO%(+Y6IXcdKky>Yi4+3z%0bK=&P;oK%6)HRr6B z1COl~{y84y=+u-NmUv-iNPcc<>4>JLChmyc!ouSA^6$rK=C(XRkcEIpDS!1Ar?+w` z!J4;+nX&LuTjoP34R6NO37*}b4*tQe4u&NHg2p2wV{u-KhfDj3WGb|d7|6zCDa7qz ztkVB{nx0yOQlbaVcs3I9Yeqt?Lr*Gpu08AJOYuApe8cn=79;3ds$- z`6<@`Fz^ygy*XEvoLig!q#)&oK|!6wjt#vLlu7kO+LMrEV;?-=wuhQ%k!c`7Ebl5N zbY`Dn;dxDLQkU81fs8p_js7r-tY(KB2pihN({t>wXj=E=^fU)2=Qh}4XKK7Qu=%$t zzIv-mhQ8^SpP#QE*Zlt>xv4tToPy$ZXDMMyH^&|K90HhV)fRvJfrMMGSrP%1UMY)MmPv#Q&-D!CM)2lXyTSdpk`J`Z|-N3P$0FokN5art=Wi& z6iPRfYlYgE1y0R|a3*B9_&DGcG=^QWiGO}$iFcEZpRX$KcZ3T_!0>H8XhX^%c-bh$ z)~{nzE*bsDeKF|qSIW-}^FhWMD_6~RZSVT|*^a+)adxi7%>feZL*gX%R6%xj5T3>7 zN^dDCDX;}{Li$7roB+->`D$Z%|GxlA;vXNtCX&ARWkUc=*n~UwF$RO=mR=oXMq$My zKNrm~oBciTnn6cLCpbJ@KTxjDmhj5Z0Z1PGZ~1A%xc+e7qZf@1&M7K7V8(CcvL8iZ ztx!dp`DA1<1R6=;UO_;J2ag^JTP0*Jb#A^c^m_8|C9)f}oA1YUnQ=kBuvy1}vmsTa zU!Qn~4jbs=^f`7>lAoKK72?f9xK-Bg|E{llbai${uILyTaFNECmuF_4b}r#2RkgJX zHH@=VIN715^}W2xV!g~ZU5)8v-x|x~GVPbSiX6xR(!DkX!gq%XzF~WK@(d#M%=p>RUjp9>{o0CnY6i+{d3)#WKC0 zFfn}rt6ZkTGN+8s zojU_?5A3e{D>L)PvD}AmA~VUu4eQ>S3Ypy07+Z>y^#C@W*|EoTWa{@zkl6x5(h9~z7vGMK11rx zQi{PdLn0OeJe=_j`}u?BUqn_KKzhK$+5Z0hD`=OHIsP;!=M6$vgdO4Fy)a1`9v)7J zM=ph$s;WHm1(Gl~)**Xg;2O}+#vc~*M&ktfdVK17;D?JI;3#A%gl~At@WbVK1S6ip z0k`eLyQz{K7D7TptriA?gO$SR&S2<;f3?jyH9I>?5IaywR`xUy8$xy@q_KA^a6t$? zXW`$*9o4UxV$fPu6e<59vC$1=QgPJj=?>eV4!n>=Ld>gm#Xv{S&;wFK+^v~^ZrL5>E&n={_q`40KVw`jPnaG2fe}|!qmc;2Yge4 zb%%Bn0E%j4vR1**Gk^RJRtEUbhW|M?gCw)I&|={wAQQstCC~(V8=BzQCJ5s}*lXeC z<>KpT(zb73+I7$q+9i5GLTS#^r~f&im99MJt37t3&NEk@c&Z(q1%NP=xObkRC-0me zHe=2UbgC^RNQmdgS(Z`nz!kjKLBX-PuBtz3&OtfjJZcC6m zYzuIw%4~aN$fbg4hcN8|frHeUPJ8?n1pLRa7!Z2ifoxa85ADmB^K|0`;D2wQIq_0t zkGlC;r7G~=V9fq14#Y4Z?-{IBW~wK&UXFl~jZ$!!rnQdcH$4m)v-e0f|5r zw{PDLTH}L^1Elpa!@rMJTZ3OhpdoY;f4S7I0olu!`H-3sm^U}pA>byWRmUCjN3pG0 z5q*GPs-&S2-Y)cfi!TYxf)JR; zLKTgSi`xzdWpva=(rcZL;p7$nf&zXI4-X<@2&ty^b-e4n$go5o8u{7xrCG^zP$m^MV=)MelBH9A&v6(($s zcCxfv*JmHHt%M+?>qNjm1R8FyEjeX=hWy}tViCc(OT8UthFF zyPmzVj~B>ABT1YRI=I}88#lh)8=7Xr%xi$KU2M}5E%Bo;E5}@I#e?Z}>KwLzII|Qz z`b94=N&c^M#>U_AnA|s3MblsXa*(g^eTZ>*7dqB+0b5VblP3?M{{+JROe}M}g$Bxh zy(ug%j)tW2E9qE7*HaPOP_3Aq|3?h&l@VfWmj|nv;1$;6q0tqeV`!x*tge<`-`F77 z2OQNBe$U)P2PltdJn%sT6BSggwVJ2tkRTB9-~k(}eiU=Ej= z9z531PLMo}M`9EQk7z`CTr-v~K?6vV_M|5qgB-=N-JgWY+7jw8mo1%~?qTe-HvG#q zc;>vZ>J}j5$@}fq5)9_=@bMF#w~JQPTYY7>dp1wI^q}6_CV&5f5!-FXjuuz8J(V z%R=mcNeFdH=j>UMbn^b2H*Z4qh|Se-92*@y3*zz=pko18Y~@`l&nc8UCuBaLyKDqS zD{svof!cymNC~h%)mO&5vbKg;2-S$^Ap~QvoPY^xxf`IZ23kT;tAKYbs*|p5#`+>( z0Yo30l+^y912&%Old@Ln#`Rmt5Nsk{Ne!13h zau6_GEue19S=@E_?e4}k{-7xudeGl2NcWUM^=uXvgU3A2(QknVorV+woKV{BJ9ir0 z_CjFsvDBS-;xiE}fXw_9TLN^7yG6xV&*5R;nBE|%6TYA0SWw9@pgyKh_*aU3`wA9v zo@Hezfy9L`o9`2S_WsqK(7D+2>V9}Gdi+$Hc#ZBSc8 z{oa;4rJhv@3=AA2H&Rs0EYPd((Wp{j*>ib$@`E2(ize{>mtkqg4iwE(c!<$;eH!6d zJRxpD!AMC-Nfme|VDBx6bZI4t>u{`ry$g-F2FS6!_E;(D`PXw2uvUpQDkdNdzKF}_ zHL8LaoSsAEpFU-tux{)G^~xzPH|F;gbH!6oAWh=iU5YoczU0YO245KKSj!Gx1lhebKSI@@{Uychw%|}8x0uOZfQeqo7;FLHFGj;UOA8iN@T=-DHGAg!{8J77~ zryz5nc&Wk~T&C+=T0+Xr3StSJd~x!F{1wmmt-`~{xlW&cgdLXyN)Dl%D@FvLs&S*9 zE|YM3D9BPkth!(Xw8m=Ys3X|SK`BHMI(hOa3kwT2NS0YmEQK#VHVXN2vo+ui<-~Ir znIn_|=HeV{gf19XWg`6b0bs`-0kF3tv&2#nXbE5>Z#q@+@Ds^f1li7n4n~>K#s$s` zCn8YSuo5#i6ErFs0t#6QU?1{{y78D7Xn;@5)|y*e+1=b0h13-Qw_JW1?UBOK59= zvp~o;f2!B^;UIvsv-8tu-k~Oh^}B8RcEa}}&@$*Fk&_S*C=~j-y@nHhl^`+|V1#XM z(<9JTJ|K=wVi{>CBG9mL+wyB%#7(k?H(-}|5Edr_#ZWZdmwp~5Af&(lHr1*t2JpiE zXSx)(Noe*vckVd8w?Gtbkz(qB#nJpzxk#VuwBB_ZUOgiS-5Ku9^x)O#$&c$UaYNW)Tx78e2; z9eGF?O7fgkXCQXNmhJ59^pR!tfoO)ThNC_Q(E;F0>{DQ;gb1vot9utID|&1uKD|)= zM9L5aSewdc&mKVLCltu39#9#jMu$;!sCZ_|+J~fWa!UdcGv?nsZlTbJARy{imQ4T_91Efgj@%F=jaH{^2 z0I)kAnO5S+0)#%ohY6m=uz0)w+c44wrmhsNu2w40)ZkXdADigjIy$_Zu;cB z9I3X6N~)))$GFPX+E47y(+QFW*S0=N=Oot$jp z^avd{`tu1wk(1AyX`jErrS zm6f^&QxRj1zC{TMphbWmP4Vf|r^KNNuvo&HLC_K80gamLU@B@f`2PLIXGVoY)}rOh zKEpFUwD{v=5au9a zz?~4Den1uxReQ!u8#XNxJc@q1fKa3!9=$4t2r({^DHVa543D(jjANZ}7=?tQ;Y3|R zPay&+q-HSv>dk+5AQ;t5Sv5Ug|9oqD5Bg-jYt0dKJ^=xN0Hq5pet_QOyLPb}85sc& zWMpS6!-B{_Egu_n1ih!A7kS!a%FLSvV054HlpM^2qr_Z+;r}6B`C}A^vdtCmJoU8n zbo-6f#qMyfU`hGj@aLcdD`smt>I@qBnA z7L=S4q>X0)@gfoTA+L8pQ!TK+pkio~n(ON1?2^i$Yk(xFCKUn$K^^&2x%uT%L0DQ^hThN_QczInM9!eOzdwl- z2^iGA&B=^E0cW@@@;AyhH{$jvg<(Tv) zdU9mWBwguVE?<8a*GsIUu8WHh;`KyMzNNdnRLg;ZS2(j}-FxlV%iQyIp)bW?hU%i` zTl)Gc-wk|lFfqFW8c5B|tfjz`9z$Rcl1(+UejMzrmOJ_ADx>L8wHD{Ile=W;a9+Rx zLP6rghg~3D4nO7Pt$;=eX&7VE;MD6YCr3^yfVfBCISc_r^j5m@5(0k3(!}rI#OXME zxLO|`#ZIJRsytSxG#`raT-UU-J5q4|btsa|YJC7vTS3r>gMCH?W;sy;1lw0o@Nc(9 z=tJX7>H9)R_iX=`Yc^BCMMbA-gxJ~HQwj?1W49TuJcPMdb$e0GGUPDSl&$y_vucmS zI9x#UxV2GC*!L`V22?&k{Zt$)XmzX01i=x(e9w6SX^fK8hi+eXx$MffhgGj%C%P7@ z{qLAOve)=t9T2}XMGzIaj~ofSwg&LB%_mDcng5d)So9WI5Y&Q_<0x!AaGZr~DSbqP`ceW` z6}kA1QR(LfV&tQ+A?Nkz&vs#bzxM2{>A)RNNd`5*?BNn9lBOWdRMe5mIARt5%83_|0nE?0> zgsBE+i^yMK2$Ov9c-Z0T5CQl7GV4CjCk1s4_0`q)c(2dy#JR0d@E{_xFZA9z%ZDdy z8(<|7_!72juZ53$0>>1QI}oyZM0c#O$>fyy_6uMh`^032b8L_K=6 z2e)HZBGB35&2Z*WkaXKjEY2 z{}eJX!zt1)#*q2|_#DQx-M&6z0N^ANDw?=aG}~SbVVu6AJbZXJ4pBD#-a|r1^#gbs z#!8lKUOmk4^m#KU2ZtX@8A+SS?CgvA{M6jt9g7~Q^IO^6{4r8z2C0vM zc8IwHsG1{HE^xjoGB>~jX9}SY$2$(MK@-u#)39Z-YA{Uz?)!ijofdJnsO;yvwy~Y@}`+ zbQBU1$pHQ8gq;`MHWnY!c4YOz`&<#RTd-Ba2R~vy>>^2dt}e{WU-pknV`V4w$eQ)J zJ@B<>k<-6`;qa;TJKcXLY1@R_h!~6e{5S>J@VnBlqIPIa#8I_>D-$dgi$n^O^XO5d z+fR^pMjEoM6#3ZYa`#zw;4vbH2lUM*Bt(TUd=MmM0NU0vdpo{G+#nNw(6 z@bMc79)xV2_Wt4=3mQ#mOK9mqNVuJmm*0w4H~o*pJ2b!O)7@{~N`+H|6Gc}2OMqj9 z+~;6%bE=z1Rc;aeVK1Zj0rdGd#9>{i2>n&Ji1@QCbPpU9zyTlvf9JR@VRR5*QrK2( z+}BQ&6c$Dx zKik}J1BMN%*?F{?l4lkJ$qG*GhV^-b9%ZA(9q*lp0*h+TT^+BG_yyaW5# zM+l(M1;M=yO7E04g5UD+@VNZKO~}LMkOm zk@qs2u?IdC*5C&P+#-H1KqwvW#_-j_YV)a_zeDvqD;5Oy6LT~@okN)9Pg5A3_UsvP zMynp-FW_7S#F_yOd=a&Ig8&1zc+jg?cV6E*$^UKO26mc>^24|$@Sw~m(L~Dx(RNrt$uMGZIU^l8jR! zGS|Aa0_XX-IHOebtxe;Ilc#WcE?_eWMLZwQS4ODTs;|`k0Yo!Av1_22#MIKu(l~?A z2DZe|)Kn-ocN(q?13`ast#5+xZ!kxRgKLBn_xxEw!9HMQMy#}2j1r`fH?YfEzs2Gl zs-a!W{raI4Xhj5jBy<;(EjZeBn)Kv>;~fmdZXrB84A<$r%~cgJd`3pb83>!K ztgNy{%*etd$gvT=n+ReF-qqFXv zU0ru^&K2nha2hU8;#B{@1}+70eI6cT^VQ{y3{IeN;@m5G3&{t)bp%yUn8W(!UvIx5 z92AJ=lHUIq;bWC(SvIV3>EM_us^&W?5IHVckWM1&9UXla_<=aO3-JbN{<&&n8dq0W zBJPZ1p*b?dwV{$>SU!q}~&N-E)Ed7JP{PD?>9tu<<&kd2!mQJ;doR53mm|N1SQc=AZ`H zT6}d-+Wq!zXfb4f0vFqFcpgEh2PM9fatMlDoR(P0u&vH6%=+VmK?mG;w{46#2&P}E zPM!&N4Rg5>CjGUsRvH}0FuYB{d!9C6XnJ}N4h`c$aNurnJmUJ}@orsO6x|7rzs{1k z=C*;s6wE0w6W?6oJS4Yk+ZMtzbcfM+1BEV7FXPyXcO?q{042~dxw3N8F^je<8W(iL z5t1o)9@;{5br5#dTzUohfMCKDh8KeX8#OHUoOow49N1QqOP2OL0EmE&1RPk8AOo0c z=nZv#pk#6ajDf2O-u!Lm9~jtkSuS$6iiwY}OqP%KBh0|y_Y-m|0qq}$S7P&U8KrkS5qmN)g8A7Lej-qT^-oKB48b_#z zfPjq(?9#Zb){g&IGCND6Fvv`g888IUgNum5U@}5NBJ6s-@pH2!-TUF1s^WS$q?5IY zlRcMv1CdU6mhVJ)ZF-ggsFRfM)56%p-_mO?(6GY4yOt+!cLrn zAhr`WW&XTW2f~Yp=Mby#ey1+ z!cjla9YV4?dUPjot^#T(3>e^HqE|rS!dZOiRfJSW95;XdTo`z9dNm%4DPo2#PI>U4 zAEYpx6;yNbYj19rMe-E#AF}go)Z}PIsaaV&@E}l`bcYWUKOF#voBR;n_@5dkFmg_k zF*$zxz#es}F>VIShX2RUeHkL#rCWM%^J@A9>hLYmZ&XRX*UY8dmED8!<7!B%idqT< Iau@FYUwxE>(f|Me literal 18721 zcma+42RN7g|38esm9~V0$c~b%213ZlCY6zuT|y`;Ba%%dGE&)+5y{FZBNSz4W+mBV zRYu&8^ZNeo?{VM%(lA}I|i4(uI>2MTuITF zcXDg+bn=i7cL{HD;M$|)>&LGDd@?B4Xs4O_ax~iV$=7Cs0eBOLQG`t` z@BT~cqM}}3U$>wAcE)jTfH^KM&fdwX_S@Ur2dErI@OH73$tp4Y_P1}>B+G{wU%S?o zZT;@=_dS1CR)#xs^aTY4rSIOATwR_Dn4Y%D)+|{dQLDfFpx+T6cl;ppJ@KBu5yTo=op#2qg64Ws5y0%jg6$GrNwa8%`s=>)vH%W z`S@z9?(cX^d+@(+b8v8MAsJg*YEPBCeS3z)#?5_xSV+r^xXtZn-G5V%Qp1D3QtaJJ zMha(@(sot-`rkU7D=jT0kthQ$O}Q>NKYsjpclb-j|K9H7zyJ&B*ZRt$Uj5?YA{i+? zJ^g>bm!XquMB4B)&yIfnoRY*K=}}T`mRUzbUn6)C7udG>XJNtT`EwS2!_v!HpKC+t zt48Ld#CAT$T2DwTtEiBXOkbA_y!{d{B72mUE-NUn}^9yco2o;&U!q`KoUO_2TSlGXZByGF^a z(O}0CSv3ikeX;?RwNX5mh{rZTo7n07-_yOlv3^HXRMfaL`^rPb!?@fXH~UNdum>({ zX|aooGyR$EuNkfhFtM=kQ;Qd_s;k>B?mT_nem&+QRgECCkM42qt5>gnw-@~}JFBjw zr1YhfUrH)La&7u#TT4r#!$_Ux&6}^Da(cczCL9)GB1Yn<#tJ$7{be%UUq-)&p5MlS zSyNLpR>*97L17^^H8q*1r{@{D-s7eygY>Q4<#$dB+jM&mdTlaCa;v$Gy0x{n3A+9= zcAVlWF>8B7veue4Mw?9dsGnAP}d z?8$;l=gys@+U7SyXtKrU{{7L5UYEL~SpBVD$jHhHIZx|mWPF_6_^~kB zsHmzMwUM2c=J)rnE3uZDnVD@PTenk4qZOEU-Zab($Gx(1_`G{3S!6fJ->y*m&U5WM z`bD9(QchN8=I)XD@cOuu*YH~A|6ZG-5YCd6mv^D`_?zsKvaX?&ofOm*s+h#iX@hi0UO=po8){r&&@lBK1IOTSh;&?Y_>80qWl zV|$$vd-%9<)U?`nm*9yLkF3g^{#&^VMn=!S)oFi8kb1AJ;Gt&vn&J8L=eMkixrv9* ze2kCJ4+U*7`TVTAbIQ~$tLxW|7k+&D-|y1|$=%X_TlMYRq5IqSW{Q0FsUNATso9Ff z``?#b)X`Cpm-qWdtaxTuGZ#&epxuDP+rlgR(LUNKt*ot6Qd8w_F1x$Bc8FUV8C*j}7@f$imn?$ND69fh)zmbvTnT#m^w8VF z;fVSA5i8p$ALX&Wo3o8wR85weh?HAI@k5eur*6Z0FR)us)}r+ z?t!emz2LyzHCuTuK9Y^oPJb(xN0E^ZXcmr>9lNr0a?hKXuy=g@+WO|2#?o}p{<-o+ z%Fmxa8{fFG`_iRL42+C2hK9_OlanoNZ9a;JWgHxY4%6&fSXg)%7Z+4ea4Pl13r<{x zgM)+U-F4B0#lle;-+dxD z6-++_Qjeo$rlj;=)w*@-#4CfhK1AIM2?@Eb{}sYT2-^0Za&>bvZAmkml z0xda|@rCtYHTzJS{t*$>=^6=?E-o&ijHi`{^#f|_>b@5b-mS@fzY&ZT`u;#C)|!?Us$#prx=)cuT3=|eS_E_+ zPP!0i+gCI^KT;oy3LEhJV@SayOo12O&2hVe3)beBkT_&lKEGW?Muv)t${RyOJ0Wk9 zW+!=fp*4MSa&ls3X7IWD+lQxe-`^dL_(#+&ue==5OwT`H+@_$Q093HUu3|Ylzs8Nv zb9Jc-Ez@r=lW=8y{fhtDWGf^Rul9B>^%`68FrXTqD<%|5>K*jLnWU#k4$s!=-6ndcF zix)?lo}UfD>^iL-x{S56&U0J7aY*X!p+9qj0q9WqHJX{kTtG7|xjm+C#+#Wh$?vaO z6tIug6mQpE;$Rk_p-0NI?GrxC#Wg%sb^k%MiHiY6iuu66fT;WLlexW9Y|-Ro4X8f@12U&FG#0RbYe&(U%;lNZOD zIRymv;fs#*(VXD>_qRTM`qX}Dymfo?8;m1mS{9Ztbj%|2Qk8(=pFjNr0|U1=6YW-+ z_Ta%Fc3JfsH1Y5ABsq_)Ik<%D*w(OzC&-qf_Ts@mFZbaZruldjBw81fz- z63?Z)28LoR7|tslKYn~XEBD&c|nFYPyBg(%vq6 zRMh9!pbQ`+9nMbPI22rF5Z0_RYOp z<3}42boeg!p|&>3Wo|%GL!*A~{pPDmyUGHtE%!)x`7OI6A|mvaAtFv^&YUT6oS?x^ z+~7(B@vw^X@$rd?jwqhIN`FuK!e;7cR@J_|A3w~$-+GJ36s=b;V%sZ+ksK8n**;z< z>rcT>ihBGQkDDgQmwXEuCUE0v%XHg#Nl!7g1WChmr{10(Y7$0!o7u+3#*guFMGVx- z7ca_GxGg6Gt9MM+Ed2hRo+KL}Tt-11k(S0q_V7x8hZ-KlVKp^1EB(`XlCPeiUtiGD z^26xu5}QSJ12uAwscQ{38NKrWkRMwpFPA7OEp6a4N}pj8b3FR$>U;i}Qr!FlOmcGz zi{YL(*8rS%yGpPCx7+_)b^82FoPH18@yaKst^W^vANpP!^5xhiO#f!7O=3cmyopjN zzS;lCYP~D>YJKIstxN;m+CQ!G_r?RwktO1-^y)E1cagrtoqW-1y?_7yPjz+vzz{rV z&cqen>{mu_Djb*=R5fgEZ6)_6uIi0g)?7(%enW#Y_S=5Xjg_&z&n#UGPX9-iCY{oC z2G!2qT`y_1E_0gl$Id}Pn{?-yd~9f_F0$=2uUHmsZz3ML=h|<-goK2ASt~8T%8190 zzm8u%8eMWDV}PZ6)@Erk0i_&Y{;r^acKi12K)aQ%49k8E2e8U;M0`A=n@-13jTXIg z-@bhws}nDD%UvB(7Qan`Cf!d+V72`6gzJswG~axa_}mZ}#K+H{qm(?q*6aul39-1C zaKdBpiwMI>ON!%sd`$d_L*kX%wx1qxk$bnbw_7u7sHkv~PTg7faX$A!Xy{>1PR`vF z6sZdfw;1tU$P!VBRpybMr{ad6-*N3b99A|n@AC!M7is6Q(HLB>|Idqo&4sQ)g z?<}TY?6u=lR#yJl)D&j$01)m^u8?BWwX>L zPZ+)FxBd%#@Sv}s`*}|5RQcYUd$Ec_77et-jDKVKMFt%$U-sgYuUR^ryu5qFU1n|a z52+ZO2K4$KsUcYf6rbwliuU)~Yx8clVHw@epFc_7|4UP^xY;^g6ukKz6&ekQ{vuDp?Ztm|X;gZ#;hBS-+ zA-Ve2wGA$Vp7e6Q=()pKRYhgxYIO6Vsi~~c+}5P>rat34-~lpNx{ya2PBiX+`du6V zk+QG6*$yaDcqqljkQl*WfIH;%a<>I?COdED^~q(^#x2SsCld% zpf7&S^9n0{`|qBZxop+UpjgKEeAB=9=jK|QxYP3pF=)@}6z5gc+M!wa{YctxG zj$^D$+CQS~+cyK0OjhxuaWK-L`jJ-5>eTuh>JqQ^gM;sTmg(u~+r{U~Wl7h23#_7^KK=HcLH~YR z+r`!CH_eK&viE^S6?W~~m8++9z&%U19>~aHx?AXwnB&gP^~HUGJDr`K^WMCv0TVO9 zsKm~=Zfz}loGv9JW2d~l{Krq9&OuN4J=-4=6-8_R)&PS6sFT1%#v!{Jda~Z_-R=$L zY#5!5WOV##vFDm|D6=>n0QmWo8KMs#QGZ&Afkeg3ycY#=TsMytLdPeAK|sPFBd@Eg zLpR>?D_KhA>Q&aNswxIid*e6nnG%}o(NY7?-2ORK@n=9b*QkPknS^$L(zxM#wgEDg zA7H7?w-RcAlJ0zqJ=(7fR@~MU8w8VztT2|BHrD1M)6==|u&t@9tD9n1Bf0)d z7K8i4=&etmKD``ZoaNKf)I0}Hb|mS7BJ`ynQ&TD$36h>UVxwuPslJqlM5R&TTrA-V zxM8=MxlJihyuj6LU(&@?1D~?%wA~{$t0I0Ye_4<6tMXU}PSDQ+jY^e@HFx zsyddJs94-FmxzeS!k<4c9zA*#W8^i~#0(0?uA$NFR&&}&0kWIt%4m$ajg6`Se@wbs z{CReEcD3KbJjymU$M3kiN8)Z?zI@qAY!*PSe4AvmBd@BfW!x};l(e)Sdw6<|mO5)= zTYCPg+VNr7{$pdK3P11p6Z!k;=@q8Ba*u$R=>5}%cFOlk<+86sc4FA6YVb!{JxeAl6CW2$+-lNg&;>hLFgQ-3ylI-C%UrEsND(_8~V0|1hhox zI6xm%3=A20IzPvnp4Iql+hc5Ib|1U6t54of^Es;esl*)`qRXP^o7}t^_V)JJ_h&8x z=ODd3W*$)C0*AoU`a4rRNOkbwF3b|qGiR!LdJaPNkilA;SX-~Td8&|}OL_*El!(g7 z%dFk*^>C*+6$cia`TvgKt1l(VZ4Ri*WX`8MP<*W7wWapTZP<~#)ZX|B*7hYUKyNo zbrmJ(I;5z;TGNcItQ7Y@vw|Wb3LyCqd$*rGdln^kzkcMLzCIJy6rwN+Z`)9zK5_2FYR~-XTKK7Zd^4EsHy3WMphjR#-MziZSWQ9#Y%~h~ za(LF>)1W?_^$2AE=QH|rRoo*7Wq>RSyMZ!IHZVN=1-Mn@g9m%b5<$b-fG3V}a?183 z3GubRUM&G6GQk=L?LSiVr0nUoJ#<6RLtX#=N^;~AIPXjdCL=ijC&7Ta#<+0Z5_^-# zk%Cz59J79hnSqMkW zB_t${9z7a}nHa^)vbZYN#2h2XaW5x_50u;&13>%b>%VJjoP2z0r3Y4lcQr3x_C0vg zQZbyYvg73?A*;5-7JfZHv73fll4M2QmX1Q@5j6iu^*KR`70<)3sHiBv#?1W1h-1@W ziNn_WJNBJN6&^ZtD2g%U^=l!hK2x@iN^)&!7vwmoG0X1fzFSp3$X;}ia1usiuG;?^ zIw#@rmkKT71F@sLHar|>zg_7W7FuAR6})}mzK@Twt!>Uy>b7#%thX+6MwsHKt~Axu z$eyDvFI|LAGQqL!H9(%m7nV8wU$Frc2qKojC}C!8sE>)aW$6A zj>gQU+d3vKu4TqBS?z`DHgkTC<`^%p_>!6FjT^__tuLq$R?WY)KlSJvaeV>SqIy{xLP?q67V8l9#!+3DdA9zMRkK)8_Vmz$hsza50$$2=L9m6%BK zTAvRn7;LDlB%y$PV`5@1MjKh`6^6}c=w7_Ig_LvSm_iJ{p`gcKdxHwM1E#Na-O4%7 zatGI%8k9QjBDxR2410v)5F`Ug!)6$@%LAn+R0}C1N=}_RMH))8o2Rt}j&A#+n&sqM z{{gLrC^iBO-@0{+*csEkg?peX(K$LfJ!WQU-|iTwQ2Y6_Dj_VQNmM~5k75qH3{eNf z4?`-gzSMETr=z38*`Jwq7GXi%1f~18lL6GvV2E_i21EQF*Q|#2|noghuMEGQ|HZhM^apwIUHVQ zWK{O{GKRC9z36;&nb^mWd$#>DE%4CyQqAtMbDHenf$L%NIaY{}t_D07)r2FSMg&pL zXY4Fz@H5iXyqB2BW)W~P1QrZhdBn44drzJ`DRE~ZRc#>X@*n*b)Dt?Qy1M$Wg@x+! zJBw^oJ5hY??;JxFlfctDjwG>cNMa+wI!ZXSYe3xE7Sp@RAC3S zX(%i2h9W%wEi?hu zC*E0+c7&NHt)+DUT2o$eaX>{yh2xuEwC)Dm+bvI2m|4%d(c+>Q#GQ|$r49`blR;;A zThJ)@;Ce+6FCI6zI?-JqWuxqciNEHyP1g5ZwA zN6s=bK1;8@z`4V#?Qh+Bw9(bw{r7QSXh=v6#>210W+_fCF8N-&(=M|HJN;y?c%JsR zdf6FK61Wqs;Qv%FIMML8gLN7qrwAi26Tvd4{ zHAK&#U_7-G*V*t*DOIfzvMKHsE$QB`U-kxN&U;CP*>nM0i7cpX^M zd7z4o)hPi3Xf}R+e&b)W=&^$yCM1MI88@r)*%m8t=T_FlR`b~HA4MFfsd3SeK{bh< z0K5!~N<3XP&Id~gtP`h}s`Uum3OXw1;lt$bH&%HsUb@6iwNuc#^EjdHfc{vx=&4$B zC44x*$|`W(VO0MA&H@;&^Fh5PWO7urAiioBa?>s5e)u5wRLp5N85tR29A;-{6V?*& zMpaXjI)<34TE2>boG&q)20a${;+|X5ROn%>y>Y7SOPnkY!q7Q?@gfZx)OPS6)#nm% z{eD6@RZ~ZZYCI(2O6C508XIMwpyg)<`0<2a7Z9u*ple*%|48vL+>Scz(O+W;Uez$c z(NpR`XnUU42>S;Pjg19hLMNe4&|!S>NPadwTWgylhUNYv>WQFSfuW(k;DSXqJ;|Sw z6ms9O+n@mctuHp4TUjYRdGe$HHb0<>``1ah4Z_0FbOJ`I07m9!X0i%lhuB~1W>4qE zTK1MWa9+{Vy9mXRni>FvkmCSS%05kjO{tKM9zN_F7&tpnp+Xw}A~G1|{#h-gwt!W|~DBFcI((E2yD`VRpR* zFqsOD9ytQ_EP&#m3<;uaNMIl=D9jYF*l6p|0-9fwuf6s0*>YU3U?(gG?`O}LaS0(? zcTnb$B{2tr%7V*NF){4{#wBJH(P-1p6>34=u=!rjz7K%mR_MqU0UtW%r+ZG4GP>f7JVlm4t{L zjm^z=nsK3_6k-^mw!H;P&rNu;neX(y_wu^WTot--{7Swr=>jHK&Ira5xi`1Q^KavY z5fKrXHgf1lmyL|nQH)%qrHK~_4dT=3r#7_bVL+!QC(A%*(J`0KwHd0sw=}r9QCxK! zUA@4notsg@RS?ttRN3bW_dnN>t04CVO8Y@qmfWiu1*{tl>_~_s4U~TD$^U;Ues_cX z_v_%90Zg<*+&aMA!b=E2Ifi9Lt&3@CY39bp(rW$Y!k5#tvsKx5$!pFWZ2*q_)Y6hS z@O~lm`{>V~kB~3%T>h$qojdsM8AP_TcNXN_R1ed9J$BNjTX2gs24f7%Nnv4bGc&W5 z?fnJ*`@680)P#kFu?(-qy?-<`HNE=u;j8XJd9JA6Q6-QHKUG)zMDyvVPhVi*=q<8k zA}kXqT|t2viHY8r=~nP~+fKv_+j1aD;kN$w^-?!Lkp^iTa6oR!RF#1Q{apL{y3^&a zeaATw@BjuPq5+AoUh&WI3#UJWc;pMSVZdwC)26?)u>X~6pSH(Rs{++da^2Ua+c2sh z#>NJQORnz3poorcg%OM&E&1lvUR^f#ZVyK_lw^}UQqn{J`+OJ|KR(5 zL$zY_=%|F$1AqxTB^=TPNLy0toUVaEDE@=M6o55>K|w^|;q{HL$0quomCiumtnTWf z#|vuVAU=HhG!&{J3&sE$3H?&ab*|!13yj*@o%;SyDQ!eSPuU_cErotVzDsRo%xT!A45W%2L6V0RJhFKDM)84QuJfjt0CI9mFa{x+JeJ%p{6h6~#~ojNwA0%9dKE7g zsO<-tn21ox{lVP){6~OYAKTk6iM?-bZVo41!2eQaz-u2pc<`Wr67(GXIA+NMlGVq` zN@=|@lnT$ulZ$C%w4YjABM4c@uehq`YOVq_04-ODsi^~34dDFhDW$qSk9z*x zD6$KWvzR<_AaxEIBBd#7^|%|Sr^2A>llIR2T_NR9(^H&Wd# zr%!#^>8s}+)7P+NJ{^Kir^F|g|pCkFaDBUd}@!Pj=UB}uVf)P%z z1UhNW&FJdD?IRJ$kMG75HjqDjTf9CG3+2Yt4i9}l5dwh3=m4{cf?13f0N8EfjC_RR zVR+1x(=#&%dimQ=AR;qAKTlY2L^ufr_3W$nS>amhc-7T>>rXEf}~aQm@7gG#Ud~e^dePYSD+CEZDCOnH)#p3 zQw#DVxDaFK`K~N^debIko4Pq6iz&J)-*PRrtA(T_b={)Sik) z-2FSe1Fi-g^q5OPPx#V~=`)VSO@glT5PXb~+9B0j|Esu^jMff2BdBIrQQUu&kCXF0 z(O|bo-?(vumX3~KlacR+_21s&8vXI31;8$KlhFfGXVkN2Y5>HOnZ6}{{91?d9Mft(lJ({hSZiQNg*owP-SXSo# zW>ezF*jW3u1kdxpkl+oX4PU-IzMU%Y^{+wgY3t61NHNuZ_;BF);Um6;AooQtTRMzU!+;|q5H|X!hK67kNso+=iLt`R z+1c-5PF?@|YZz8h`m}xQW>0|?VcPAcq(q1YN~to0Mq+nlW@krfI`VZcJz2z~?Ep$S zAtaQ94X2=aPROGCXVEgQ$VFCQKVblBsqn7Q>AK?+L3L3T(vZNt=5= zXBLpT8Hb0!2^kV2DjnqZ&W^eQYRK3`D)SI!fOd{vT2!%m?wb%bwHYC_n5kR>PrZKq z`b17KwmZO5RN<0VW6_a4d-rnPzI~fm1Ox&bPTfCg3$=sW%gYP451es%q88gsdypj} zOJowc*&%ipwH3o3rE|$$)u5@V37-fn-3zq=AaS|wfokI)Esu@$Gkm~(Kw%kI-`@rI zKXZq?uD}#SuLGkKGc4@@uXYFHwHFlsbBTNo{qMaJNEfbO&oG!2;Nf8hmO;)o#$eJ; zrt!BHISE^2dhk6fW`p3#lQjUoM1}`BDB-hefmV#v?59rA5~>>7IWg%mNIf?H{n>4J z>;*gV0q)4RkSAT(39sR8M=mmyyY_RliHhp-FN>rN$oPEuTIOO$zHQqurlM}~P3F2V z<`AO_x2nEACZvCM>o?XEH$JUEP)S@lD9St6ktiYy3bH^Zsx zRHsg#KEN_EHEY^#Y4c`4&)grcI3PVs=jx2~^PeuQ@+88iN~7d`Yu(8Ncz zFDGTx(?B3HE=~zB@{#(^qBn0+0PhX1YVFG6Nvx1qIWW4dAcVO z#s4xh6H3f}7%`U+H_0iiH=l5Fe*N<0S*}-;erKSJS?JAyfCSc$oG#^NCK1r(&#ZC2 zhQaCn3ilWf504BW3vzF$7)l62pe<_KiBO-P2dL{u)gu?A0cDMFZ9aYsjOI5~MxHiz zxl{D)*=Jj}ZvE8Pr?2PIFUOsAV29B)`uHckm%i`DW+t83tWOqW7hWE|_4W&k&qDBz z_>xRu4}33;NVApZ`$)5~2?z*?IgV4o)jG;S;cs+2ZDejv10Vnw&AH`2lgrM|4lp~i zPc$3chKMMPHpZyLP(nrEymsxH-ut^}4d34KJ9g}t(c2B3{@QfC<;g>k$a4?LS}(vk zr%7mzQRzo|7}w9JriYYWgi6`zqudT(4*>QN78_hnyjdjw*!R&<`5lypjHg6C1`0}%lSc_x->Q(W>fF0NWtuABfI+NwJ z&yLo&w@0E6TS1O4@Y>wab9n%}`ScZC-3ypIIo1M3cUA8Lo~X@zRiGY9ykg1KpeK%7Gm+a`cHmLCR#H-;%h|Dhj04*vsn zmQA-)?2W(H{G9#RG3C{u&`>$d48Z-C+^bS>!wKaDpa76^2-eQMLnplFZ%Ry}PF;2~=miw~*IW;(5NT&Q7>K&|o+u zC0YJQNvua9Q?s&$!wUN4DzP-%&qN4wj*fDm9>e3~y4JbnMQl7gyXg51Dj`(Z&wrQy z@$;w5QCd?%!os-<-(CBSk#?UJ)XxDc8-}|pZDW&dFv)ttd?yi3S3FEJA;c0M01cpW zaPTU>ZD-3WjgBn#j6IA_;=&~*jaFlXL5AeWS;BW9l7l;~M*cTCI+{>Qph3^y0-100c;Picd1|j1mEFe%P_= z!;}WtJg=+E(3Bt*4(SMy(Jk1TL`DbF!hHyZ1#yFB^4*x3gl6RHOa8WF(`)mO*RS8d zUlljYEO!f?v1SU&5&{iYR8*9P1j{1f>J0>?D1}cal5)|biz|=>5kbCp;V5X3H`p24 zR}zjuK)T02=-}hyjg}piAGU8HF@2e72AR+7N1t%wSz|=~FgbWk( z=<(xn;Ewrk-avT&FQ{d1&ISUDi)eF0kA>v14gUMY3v|qqJB!@!RwuLc!qp(_5;x|* zk2Q=?K%q)ozHiD=gH8>f?N|k8NLZLZ+V1M_nGopTW(`q1<4A7>%xZTdiGcUumGE4> z%)g8xPl2dbNE37K9vKuKS_hZGqWxWsn2GFI^ofZHq=3$AYts=LWn?7hzcW%&tdK3i zOwZrB^VVRbwWEU^!a2$X>p;l#_oPXfL16w9&3G^vUf$Ad*9-WOv08_*Us%M8{VfY% ziSZ9sBY5kFqNupI888j@q)qWZ#Qm-i88v=`67Po(sgT1Y&XgcvLTp7$#6BkuyN>|4 zc@TA?VqzL+{`7zOvNuNHs=w}We*}@D1+IqKy<0iYZ~L|N-F_XFpjuP(jbtPXiM8hC z#Yb!9*gnZ@>;OO2w=TUO7DicOa5G0P4FTD9ac`6ftTy6g3`ayp)rqe{cmwFURbRgz zfav+gF<8}IP7Y)`LQ?y@oLpjg`5{6=1&0#?9{|HC=$zAWcSI3|vYchayO$sUpfDm)rIWB*sl~{KVmZ8l7zl`vFxu34=;+N#Ce7h z?E3+H$-PKNV4WGH?n)5a_-nIz84V4M9+M(n1n!B~U_)#N4o0c@!du29=J^*J7gyEM zL5nRacTY;l$N&be@t`qG~z(R$&>p5UJ)II9piI~?C01R;r1VijZpllGOLBK6!93S6#Z-iU<|9W?j_o&}j=x z%ST{Ij{Ey3!y&jMhzh`Sux~nb8{Eus6wZG^s`hqH(vKfMIU7Gx}M}{Kp8WRpHNv;3RG%4@3wZyS$=835Qj1(nJXgy_R!^tunL*cqm~gRdsxg zReu1QtVr$ z!!-Y)*=}1vG-^hOx7GRb@hPn5&u((jD<#@lI0u5a<=r!o`3&f zmzv+aNvwK0!tXpo@gFr*RVi>rA{2)8b7nV%rv}wS zi1UVH)maii^~dV!7B@~Lkwz;rGpdo3=|!RokN*isbk?+5B@O+e3=$25 zz~Jw{edX`pkNKR1HBX>usB~Q$yY)6TDd`-NW*JU7iigo5>8N8G(~zAgXsll$4xoU) z!!{`%cpfWIg}2Iu+0|QY$GXc;1}6oRah?R{l;ZMhZV(Cr<8Ey#7jXOnLCZ@BjE&YAGJZe+BuIo1JWs7Bj_TcAcSYd%z&=(f&f%08gEfB%2)}7gRMvM9~Q3chXKJ5au{s2WU{#Zl$y5JZ30|(^) zGmuVQZ%Nc{-^_=Cuti$r=C=%|b(3USd8rcSYv~2x#x{2?+-dVS@bW0NS%Uh z>{ry+OHNKs6;P7|>~dNw6h}V!T-JWuF8un%2DJbaS#y=s-04Kln&q+6ryrAAo}Rh= z#879sa~VcqlvAvlUg3=c$VE(O`EM@}N4Ut`&Tg=SWEfo%t3zB}d%7B-I-v8WfmvwL zwV%<;hSvcN*q~xk%?PRdZ_}kHHzKA9lxfavnF6Fps9ps)DCt+Ya*X!zWjO3|#NVLn z)dlB$s4ahoUH~6}9)$8DdW;qPZX5wf&inoB*|S~J6-fl-BlkYU%p9*3j$#0;YXO%S zrM65#LQ)B=i|@&nrBcis#m#?nUh!Ja=!rk3r&TddZiP)=<<-t+)7S5-oBfd`HY9R^=8fI9=W*I&d-kx%3K^Lu7yhKvM7KG&(-t(Xgvx8>J2$fFa$<@V3d z5w_lH8QIw%Fii=p3Twti76NY(d;^_yc*|~;B-H?<@a197 zaRTQNG*UnymoC@jD-A#cH))w=4!fkse9S|Q$l^LpY2Wed&OqKRGB{XSMIns$DSQnc zF+)TFTcP|hiq+1RF!b!-?e}YbzN#i*-#mo!?+IQT=TLowgS-yO=fSMDGTB8OMbgt_l-&3`qF0}5SjOEh%0#3LphpU?y~^Wsz?m#L zIl22|I5zj={H06#@hyhIRG4vtdf9IS5K5Ek<>q~^6iyp~YK zx!T1V8yl@Xi~016kdR^E(<=b_2|mijzS?!Ku3jcDfL_O`*uAz&?3|W&b~!-mGWZ zhxd6%qU}x`dE0?m^*;xk3d2+mKhg`b#uy{_hB+p{2L+L6=VE@DVh&nIgyBrV2}{LH ziRlh9T6(-C5mrOz+1k|-hS3X%LB+>2p-B=4(}=t>?x7muBvP$g(bc|Hxa;(oG#sE# z0;EQi;MU9cZt;S$vNhYob;@vVj8utCm|G}L10zg^6HXagMQ$R_h~B~S!_lBmVm3UW zha^JncM0R-KR*Gv_cgNUhG`!ygIDuZcQC8L$;<*hJo5 ziQF-n zBywb~5=LJx;Y@G(j1u-QCU6V9@xbP>{iG9uf{6&iw1HizL%z6vQa=~^(S0$e$;0hp zAt51zXb_c(@wCgz&Wt-rr?LKd%A(!4cKn z*4EZI=mwdYrEo*PxaLY6kto6pCZI8cglk@Yjn!#nM*%g6Xk@m2@vB)YA%KFi$mnR| ztP>IE#b}U){6IrP1HEAPf5+eeh>6&4?2{+S75^1sKW+JqPa324^O&kj&jy6N0f~byTqkiB) zKbsT6AsO+mcV!l?qTLe5USWDywYBBXT46wj-3xs9=#dZ96GE6l-U=Fl>+k8frT4&i zClbO?Uc0cah*e1AU;u1x1ml7u#Zk$^^P301^^@< z1O9+d=Bvdfv` z{jjkiNxOU7lG|C)Fq{-`iI)oCDcKohjMCKA*S~-9rLS_Dk8)adYpZ5SqgzZ_nfTJ5 zKPlM2p!Lx6vC-YT42U-uh18VN8VHR+^qKlc^AqEaVowti0?G<>AS`dGcX;^8oPn9S zc4&xATStfevGSml)kk+tDjCVp!MS~u`}XZ$yo^r;>Z9Jr+IogifU?pxJSL5^A;AP0gl}N4B4o> zYlgjRO{+eCrf_y~fhAX&f4o4C4`Pn&U6tMZGVcQ6tjB(_{M^)3eX|%b5!U}v;LgA{ zW{YXW4{ZElifbIL?(C$4W&`=i_)U+!rzasOW_-PYe~{L?`=j~_@m|TWGjwybj|&LY z+$gM`aO9xc$p*dn;!9eTFp;f85Eya;niTS;_;dZPl!qiM{={#-v3GOZ9n-iiy#78C zrB`3jfMp$}-3<#Y5o+s+xal`6;XWY`=Y}>mSo-?<5XPu(YNGshQv|=L1%E;(hmLo@ zzFxt#V&JNw(S915N Date: Fri, 11 Apr 2025 14:37:58 +1000 Subject: [PATCH 3/5] minor updates --- lectures/finite_markov.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lectures/finite_markov.md b/lectures/finite_markov.md index 8e1709b..45955c7 100644 --- a/lectures/finite_markov.md +++ b/lectures/finite_markov.md @@ -664,11 +664,11 @@ P = np.array([[0.4, 0.6], 从数学角度看，当将$P$视为从（行）向量到（行）向量的映射$\psi \mapsto \psi P$时，平稳分布是$P$的不动点。 -**定理：**每个随机矩阵$P$至少有一个平稳分布。 +**定理：** 每个随机矩阵$P$至少有一个平稳分布。 (我们在此假设状态空间 $S$ 是有限的；如果不是则需要更多假设) -对于这个结果的证明，你可以应用[布劳威尔不动点定理](https://en.wikipedia.org/wiki/Brouwer_fixed-point_theorem)，或参见[EDTC](https://johnstachurski.net/edtc.html)中的定理4.3.5。 +对于这个结果的证明，你可以应用[布劳威尔不动点定理](https://baike.baidu.com/item/%E5%B8%83%E5%8A%B3%E5%A8%81%E5%B0%94%E4%B8%8D%E5%8A%A8%E7%82%B9%E5%AE%9A%E7%90%86/12757191)，或参见[EDTC](https://johnstachurski.net/edtc.html)中的定理4.3.5。 对于给定的随机矩阵 $P$，可能存在多个平稳分布。 From 1b500ccbcc69bde06d0eb7db6834e30a15fbdfe4 Mon Sep 17 00:00:00 2001 From: Humphrey Yang Date: Fri, 25 Apr 2025 09:07:44 +1000 Subject: [PATCH 4/5] fix syntax warnings --- lectures/finite_markov.md | 20 +++++++++++++------- 1 file changed, 13 insertions(+), 7 deletions(-) diff --git a/lectures/finite_markov.md b/lectures/finite_markov.md index 45955c7..eeac234 100644 --- a/lectures/finite_markov.md +++ b/lectures/finite_markov.md @@ -363,7 +363,7 @@ mc.simulate_indices(ts_length=4) 考虑任意状态 $y \in S$，我们想计算系统在下一时刻处于状态 $y$ 的概率。 -根据[全概率公式](https://en.wikipedia.org/wiki/Law_of_total_probability)，我们可以将这个概率表示为： +根据[全概率公式](https://baike.baidu.com/item/%E5%85%A8%E6%A6%82%E7%8E%87%E5%85%AC%E5%BC%8F/9980676)，我们可以将这个概率表示为： $$ \mathbb P \{X_{t+1} = y \} @@ -1031,13 +1031,16 @@ ax.grid() ax.hlines(0, 0, N, lw=2, alpha=0.6) # 在零处画水平线 for x0, col in ((0, 'blue'), (1, 'green')): + # 生成从x0开始的工人的时间序列 X = mc.simulate(N, init=x0) + # 计算每个n的失业时间比例 X_bar = (X == 0).cumsum() / (1 + np.arange(N, dtype=float)) + # 绘图 ax.fill_between(range(N), np.zeros(N), X_bar - p, color=col, alpha=0.1) - ax.plot(X_bar - p, color=col, label=f'$X_0 = \, {x0} $') + ax.plot(X_bar - p, color=col, label=fr'$X_0 = \, {x0} $') ax.plot(X_bar - p, 'k-', alpha=0.6) ax.legend(loc='upper right') @@ -1232,19 +1235,22 @@ Q = np.zeros((n, n), dtype=int) with open(infile) as f: edges = f.readlines() for edge in edges: - from_node, to_node = re.findall('\w', edge) + from_node, to_node = re.findall(r'\w', edge) i, j = alphabet.index(from_node), alphabet.index(to_node) Q[i, j] = 1 + # 创建相应的马尔可夫矩阵P P = np.empty((n, n)) for i in range(n): P[i, :] = Q[i, :] / Q[i, :].sum() mc = MarkovChain(P) -# 计算稳态分布r + +# 计算平稳分布r r = mc.stationary_distributions[0] ranked_pages = {alphabet[i] : r[i] for i in range(n)} -# 打印解决方案，从最高排名到最低排名排序 -print('排名\n ***') + +# 输出解，从最高排名到最低排名排序 +print(r'排名\n ***') for name, rank in sorted(ranked_pages.items(), key=itemgetter(1), reverse=1): print(f'{name}: {rank:.4}') ``` @@ -1322,7 +1328,7 @@ $P$，如上所述。 :class: dropdown 可以在[QuantEcon.py](http://quantecon.org/quantecon-py)库中找到解决方案， -具体见[这里](https://github.com/QuantEcon/QuantEcon.py/blob/master/quantecon/markov/approximation.py)。 +具体可见[这里](https://github.com/QuantEcon/QuantEcon.py/blob/master/quantecon/markov/approximation.py)。 ``` From cc8c7d19336983ccbca06447be81306225a1888b Mon Sep 17 00:00:00 2001 From: Humphrey Yang Date: Mon, 28 Apr 2025 12:25:50 +1000 Subject: [PATCH 5/5] update --- lectures/finite_markov.md | 47 +++++++++++++++++++-------------------- 1 file changed, 23 insertions(+), 24 deletions(-) diff --git a/lectures/finite_markov.md b/lectures/finite_markov.md index 45955c7..6f0d22a 100644 --- a/lectures/finite_markov.md +++ b/lectures/finite_markov.md @@ -3,8 +3,10 @@ jupytext: text_representation: extension: .md format_name: myst + format_version: 0.13 + jupytext_version: 1.16.4 kernelspec: - display_name: Python 3 + display_name: Python 3 (ipykernel) language: python name: python3 --- @@ -26,10 +28,9 @@ kernelspec: 除了Anaconda中已有的库外，本讲座还需要以下库： -```{code-cell} ipython ---- -tags: [hide-output] ---- +```{code-cell} ipython3 +:tags: [hide-output] + !pip install quantecon ``` @@ -51,7 +52,7 @@ tags: [hide-output] 首先，让我们导入需要的库： -```{code-cell} ipython +```{code-cell} ipython3 import matplotlib.pyplot as plt import matplotlib as mpl FONTPATH = "fonts/SourceHanSerifSC-SemiBold.otf" @@ -197,7 +198,7 @@ $$ 从矩阵中我们可以看出，如果经济当前处于正常增长阶段，那么下个月仍然保持正常增长的概率高达0.971。 -注意矩阵主对角线上的元素普遍较大，这表明经济状态往往具有一定的持久性——当经济处于某一特定状态时，它倾向于在该状态停留一段时间。 +注意矩阵主对角线上的元素普遍较大，这表明经济状态往往具有一定的持续性——当经济处于某一特定状态时，它倾向于在该状态停留一段时间。 这个马尔可夫链也可以通过下面的有向图来直观表示，图中的箭头上标注了相应的转移概率： @@ -291,7 +292,7 @@ X = mc_sample_path(P, ψ_0=[0.1, 0.9], sample_size=100_000) np.mean(X == 0) ``` -你可以尝试修改初始分布，会发现输出始终接近0.25，至少对于我们上面定义的`P`矩阵是这样。 +你可以尝试修改初始分布，使用我们上面定义的`P`矩阵，你会发现输出始终接近0.25。 ### 使用QuantEcon库 @@ -309,11 +310,11 @@ np.mean(X == 0) [QuantEcon.py](http://quantecon.org/quantecon-py)库使用了[JIT编译](https://python-programming.quantecon.org/numba.html#numba-link)，因此运行速度明显更快。 -```{code-cell} ipython +```{code-cell} ipython3 %time mc_sample_path(P, sample_size=1_000_000) # 我们自制代码版本 ``` -```{code-cell} ipython +```{code-cell} ipython3 %time mc.simulate(ts_length=1_000_000) # qe代码版本 ``` @@ -463,8 +464,7 @@ $$ ```{index} single: Markov Chains; Cross-Sectional Distributions ``` - -我们研究的边际分布不仅可以解释为概率，还可以理解为大数定律下在大样本中预期出现的横截面频率。 +我们研究的边际分布不仅可以解释为概率，还可以被理解为大数定律下大样本中实际观察到的横截面分布。 为了更好地理解这一点，让我们回到{ref}`前面讨论的`工人就业/失业动态模型。 @@ -713,7 +713,7 @@ $$ p = \frac{\beta}{\alpha + \beta} $$ -这在一定程度上代表了失业的长期稳态概率 --- 关于这个解释的更多细节见下文。 +这个值表示长期来看，工人处于失业状态的平均时间比例 -- 我们将在后续章节中详细讨论这一解释。 不出所料，当$\beta \to 0$时，它趋近于零；当$\alpha \to 0$时，它趋近于一。 @@ -768,11 +768,11 @@ mc.stationary_distributions # 显示所有平稳分布 ``` 马尔可夫链收敛定理的第2部分{ref}`如上所述`表明，无论初始状态如何，$X_t$的边际分布最终都会收敛到平稳分布。 -这一结果有力地支持了我们将$\psi^*$视为系统长期随机行为稳定状态的解释。 +这一结果强有力地证明了我们可以将$\psi^*$理解为系统长期随机行为的稳定状态，无论系统最初处于什么状态。 以下图形直观地展示了这一收敛过程 -```{code-cell} ipython +```{code-cell} ipython3 P = ((0.971, 0.029, 0.000), (0.145, 0.778, 0.077), (0.000, 0.508, 0.492)) @@ -831,14 +831,14 @@ plt.show() 这里 -* $\mathbf{1}\{X_t = x\}$ 是指示函数，当 $X_t = x$ 时取值为1，否则为0 -* 收敛的概率为1（也称为"几乎必然"） -* 这个结果不依赖于初始状态 $X_0$ 的分布 +* $\mathbf{1}\{X_t = x\}$ 是指示函数，当 $X_t = x$ 时等于1，否则等于0 +* 收敛是以概率1发生的（也称为"几乎必然"收敛） +* 无论初始状态 $X_0$ 如何分布，这个结果都成立 -这个结果告诉我们，随着时间推移，马尔可夫链在状态 $x$ 停留的时间比例将趋近于 $\psi^*(x)$。 +直观地说，这个结果表明，随着时间的推移，马尔可夫链在状态 $x$ 停留的时间比例将收敛到 $\psi^*(x)$。 (new_interp_sd)= -这为平稳分布提供了另一种直观解释 — 只要{eq}`llnfmc0`中的收敛成立。 +这给了我们平稳分布的另一种解释方式——它代表了长期内系统在各状态停留的时间比例，前提是{eq}`llnfmc0`中的收敛成立。 {eq}`llnfmc0`实际上是马尔可夫链大数定律的一个特例 — 有兴趣的读者可以参考[EDTC](http://johnstachurski.net/edtc.html)第4.3.4节获取更多细节。 @@ -857,7 +857,7 @@ $$ 从横截面角度看，$p$ 表示整个人口中失业者的比例。 -而根据刚才介绍的遍历性结果，$p$ 也等于单个工人在长期内处于失业状态的平均时间比例。 +而根据刚才介绍的遍历性结果，$p$ 也表示单个工人长期来看处于失业状态的时间占比。 这意味着，从长期来看，群体的横截面平均值与个体的时间序列平均值是一致的。 @@ -969,7 +969,7 @@ $$ (I - \beta P)^{-1} = I + \beta P + \beta^2 P^2 + \cdots $$ -乘以 $(I - \beta P)^{-1}$ 相当于"应用**预解算子**"。 +乘以 $(I - \beta P)^{-1}$ 相当于应用**预解算子**（resolvent operator）。 ## 练习 @@ -1147,7 +1147,7 @@ d -> h; 下面显示了这个图的数据，当单元格执行时，这些数据被读入名为`web_graph_data.txt`的文件中。 -```{code-cell} ipython +```{code-cell} ipython3 %%file web_graph_data.txt a -> d; a -> f; @@ -1327,4 +1327,3 @@ $P$，如上所述。 ``` [^pm]: 提示：首先证明如果P和Q是随机矩阵，那么它们的乘积也是随机矩阵——要检查行和，试着用一列1向量进行后乘。最后，用归纳法论证P^n是随机矩阵。 -