{ "cells": [ { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "# Factor Graphs" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "\n", "### Preliminaries\n", "\n", "- Goal \n", " - Introduction to Forney-style factor graphs and message passing-based inference \n", "- Materials \n", " - Mandatory\n", " - These lecture notes \n", " - Loeliger (2007), [The factor graph approach to model based signal processing](https://github.com/bertdv/BMLIP/blob/master/lessons/notebooks/files/Loeliger-2007-The-factor-graph-approach-to-model-based-signal-processing.pdf), pp. 1295-1302 (until section V)\n", " - Optional\n", " - Frederico Wadehn (2015), [Probabilistic graphical models: Factor graphs and more](https://www.youtube.com/watch?v=Fv2YbVg9Frc&t=31) video lecture (**recommended**)\n", " - References\n", " - Forney (2001), [Codes on graphs: normal realizations](https://github.com/bertdv/BMLIP/blob/master/lessons/notebooks/files/Forney-2001-Codes-on-graphs-normal-realizations.pdf)\n", " " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Why Factor Graphs?\n", "\n", "- A probabilistic inference task gets its computational load mainly through the need for marginalization (i.e., computing integrals). E.g., for a model $p(x_1,x_2,x_3,x_4,x_5)$, the inference task $p(x_2|x_3)$ is given by \n", "$$\n", "p(x_2|x_3) = \\frac{p(x_2,x_3)}{p(x_3)} = \\frac{\\int \\cdots \\int p(x_1,x_2,x_3,x_4,x_5) \\, \\mathrm{d}x_1 \\mathrm{d}x_4 \\mathrm{d}x_5}{\\int \\cdots \\int p(x_1,x_2,x_3,x_4,x_5) \\, \\mathrm{d}x_1 \\mathrm{d}x_2 \\mathrm{d}x_4 \\mathrm{d}x_5}$$" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- Since these computations (integrals or sums) suffer from the \"curse of dimensionality\", we often need to solve a simpler problem in order to get an answer. " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- Factor graphs provide a computationally efficient approach to solving inference problems **if the probabilistic model can be factorized**. " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- Factorization helps. For instance, if $p(x_1,x_2,x_3,x_4,x_5) = p(x_1)p(x_2,x_3)p(x_4)p(x_5|x_4)$, then\n", "\n", "$$\n", "p(x_2|x_3) = \\frac{\\int \\cdots \\int p(x_1)p(x_2,x_3)p(x_4)p(x_5|x_4) \\, \\mathrm{d}x_1 \\mathrm{d}x_4 \\mathrm{d}x_5}{\\int \\cdots \\int p(x_1)p(x_2,x_3)p(x_4)p(x_5|x_4) \\, \\mathrm{d}x_1 \\mathrm{d}x_2 \\mathrm{d}x_4 \\mathrm{d}x_5} \n", " = \\frac{p(x_2,x_3)}{\\int p(x_2,x_3) \\mathrm{d}x_2}\n", "$$\n", "\n", "which is computationally much cheaper than the general case above." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- In this lesson, we discuss how computationally efficient inference in *factorized* probability distributions can be automated by message passing-based inference in factor graphs." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Factor Graph Construction Rules\n", "\n", "- Consider a function \n", "$$\n", "f(x_1,x_2,x_3,x_4,x_5) = f_a(x_1,x_2,x_3) \\cdot f_b(x_3,x_4,x_5) \\cdot f_c(x_4)\n", "$$" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- The factorization of this function can be graphically represented by a **Forney-style Factor Graph** (FFG):\n", "\n", "

" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- An FFG is an **undirected** graph subject to the following construction rules ([Forney, 2001](https://github.com/bertdv/BMLIP/blob/master/lessons/notebooks/files/Forney-2001-Codes-on-graphs-normal-realizations.pdf))\n", "\n", " 1. A **node** for every factor;\n", " 1. An **edge** (or **half-edge**) for every variable;\n", " 1. Node $f_\\bullet$ is connected to edge $x$ **iff** variable $x$ appears in factor $f_\\bullet$." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- A **configuration** is an assigment of values to all variables.\n", "\n", "- A configuration $\\omega=(x_1,x_2,x_3,x_4,x_5)$ is said to be **valid** iff $f(\\omega) \\neq 0$\n", " " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Equality Nodes for Branching Points\n", "\n", "\n", "- Note that a variable can appear in maximally two factors in an FFG (since an edge has only two end points)." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- Consider the factorization (where $x_2$ appears in three factors) \n", "\n", "$$\n", " f(x_1,x_2,x_3,x_4) = f_a(x_1,x_2)\\cdot f_b(x_2,x_3) \\cdot f_c(x_2,x_4)\n", "$$" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- For the factor graph representation, we will instead consider the function $g$, defined as\n", "$$\\begin{align*}\n", " g(x_1,x_2&,x_2^\\prime,x_2^{\\prime\\prime},x_3,x_4) \n", " = f_a(x_1,x_2)\\cdot f_b(x_2^\\prime,x_3) \\cdot f_c(x_2^{\\prime\\prime},x_4) \\cdot f_=(x_2,x_2^\\prime,x_2^{\\prime\\prime})\n", "\\end{align*}$$\n", " where \n", "$$\n", "f_=(x_2,x_2^\\prime,x_2^{\\prime\\prime}) \\triangleq \\delta(x_2-x_2^\\prime)\\, \\delta(x_2-x_2^{\\prime\\prime})\n", "$$\n", "\n", "

\n", " " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "subslide" } }, "source": [ "- Note that through introduction of auxiliary variables $X_2^{\\prime}$ and $X_2^{\\prime\\prime}$ and a factor $f_=(x_2,x_2^\\prime,x_2^{\\prime\\prime})$, each variable in $g$ appears in maximally two factors." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- The constraint $f_=(x,x^\\prime,x^{\\prime\\prime})$ enforces that $X=X^\\prime=X^{\\prime\\prime}$ **for every valid configuration**." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- Since $f$ is a marginal of $g$, i.e., \n", "$$\n", "f(x_1,x_2,x_3,x_4) = \\iint g(x_1,x_2,x_2^\\prime,x_2^{\\prime\\prime},x_3,x_4)\\, \\mathrm{d}x_2^\\prime \\mathrm{d}x_2^{\\prime\\prime}\n", "$$\n", "it follows that any inference problem on $f$ can be executed by a corresponding inference problem on $g$, e.g.,\n", "$$\\begin{align*}\n", "f(x_1 \\mid x_2) &\\triangleq \\frac{\\iint f(x_1,x_2,x_3,x_4) \\,\\mathrm{d}x_3 \\mathrm{d}x_4 }{ \\int\\cdots\\int f(x_1,x_2,x_3,x_4) \\,\\mathrm{d}x_1 \\mathrm{d}x_3 \\mathrm{d}x_4} \\\\\n", " &= \\frac{\\int\\cdots\\int g(x_1,x_2,x_2^\\prime,x_2^{\\prime\\prime},x_3,x_4) \\,\\mathrm{d}x_2^\\prime \\mathrm{d}x_2^{\\prime\\prime} \\mathrm{d}x_3 \\mathrm{d}x_4 }{ \\int\\cdots\\int g(x_1,x_2,x_2^\\prime,x_2^{\\prime\\prime},x_3,x_4) \\,\\mathrm{d}x_1 \\mathrm{d}x_2^\\prime \\mathrm{d}x_2^{\\prime\\prime} \\mathrm{d}x_3 \\mathrm{d}x_4} \\\\\n", " &= g(x_1 \\mid x_2)\n", "\\end{align*}$$" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "- $\\Rightarrow$ **Any factorization of a global function $f$ can be represented by a Forney-style Factor Graph**." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Probabilistic Models as Factor Graphs\n", "\n", "- FFGs can be used to express conditional independence (factorization) in probabilistic models. " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- For example, the (previously shown) graph for \n", "$f_a(x_1,x_2,x_3) \\cdot f_b(x_3,x_4,x_5) \\cdot f_c(x_4)$ \n", "could represent the probabilistic model\n", "$$\n", "p(x_1,x_2,x_3,x_4,x_5) = p(x_1,x_2|x_3) \\cdot p(x_3,x_5|x_4) \\cdot p(x_4)\n", "$$\n", "where we identify \n", "$$\\begin{align*}\n", "f_a(x_1,x_2,x_3) &= p(x_1,x_2|x_3) \\\\\n", "f_b(x_3,x_4,x_5) &= p(x_3,x_5|x_4) \\\\\n", "f_c(x_4) &= p(x_4)\n", "\\end{align*}$$" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- This is the graph\n", "\n", "

" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Inference by Closing Boxes\n", "\n", "- Factorizations provide opportunities to cut on the amount of needed computations when doing inference. In what follows, we will use FFGs to process these opportunities in an automatic way by message passing between the nodes of the graph. " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- Assume we wish to compute the marginal\n", "$$\n", "\\bar{f}(x_3) \\triangleq \\sum\\limits_{x_1,x_2,x_4,x_5,x_6,x_7}f(x_1,x_2,\\ldots,x_7) \n", "$$\n", "for a model $f$ with given factorization \n", "$$\n", "f(x_1,x_2,\\ldots,x_7) = f_a(x_1) f_b(x_2) f_c(x_1,x_2,x_3) f_d(x_4) f_e(x_3,x_4,x_5) f_f(x_5,x_6,x_7) f_g(x_7)\n", "$$ " ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "- Note that, if each variable $x_i$ can take on $10$ values, then the computing the marginal $\\bar{f}(x_3)$ takes about $10^6$ (1 million) additions. " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "subslide" } }, "source": [ "- Due to the factorization and the [Generalized Distributive Law](https://en.wikipedia.org/wiki/Generalized_distributive_law), we can decompose this sum-of-products to the following product-of-sums:\n", "$$\\begin{align*}\\bar{f}&(x_3) = \\\\\n", " &\\underbrace{ \\Bigg( \\sum_{x_1,x_2} \\underbrace{f_a(x_1)}_{\\overrightarrow{\\mu}_{X_1}(x_1)}\\, \\underbrace{f_b(x_2)}_{\\overrightarrow{\\mu}_{X_2}(x_2)}\\,f_c(x_1,x_2,x_3)\\Bigg) }_{\\overrightarrow{\\mu}_{X_3}(x_3)} \n", " \\underbrace{ \\cdot\\Bigg( \\sum_{x_4,x_5} \\underbrace{f_d(x_4)}_{\\overrightarrow{\\mu}_{X_4}(x_4)}\\,f_e(x_3,x_4,x_5) \\cdot \\underbrace{ \\big( \\sum_{x_6,x_7} f_f(x_5,x_6,x_7)\\,\\underbrace{f_g(x_7)}_{\\overleftarrow{\\mu}_{X_7}(x_7)}\\big) }_{\\overleftarrow{\\mu}_{X_5}(x_5)} \\Bigg) }_{\\overleftarrow{\\mu}_{X_3}(x_3)}\n", "\\end{align*}$$\n", "which, in case $x_i$ has $10$ values, requires a few hundred additions and is therefore computationally (much!) lighter than executing the full sum $\\sum_{x_1,\\ldots,x_7}f(x_1,x_2,\\ldots,x_7)$\n", "\n", "

" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- Note that the auxiliary factor $\\overrightarrow{\\mu}_{X_3}(x_3)$ is obtained by multiplying all enclosed factors ($f_a$, $f_b, f_c$) by the red dashed box, followed by marginalization (summing) over all enclosed variables ($x_1$, $x_2$).\n", " " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- This is the **Closing the Box**-rule, which is a general recipe for marginalization of latent variables (inside the box) and leads to a new factor that has the variables (edges) that cross the box as arguments. For instance, the argument of the remaining factor $\\overrightarrow{\\mu}_{X_3}(x_3)$ is the variable on the edge that crosses the red box ($x_3$).\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "- Hence, $\\overrightarrow{\\mu}_{X_3}(x_3)$ can be interpreted as a **message from the red box toward variable** $x_3$." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- We drew _directed edges_ in the FFG in order to distinguish forward messages $\\overrightarrow{\\mu}_\\bullet(\\cdot)$ (in the same direction as the arrow of the edge) from backward messages $\\overleftarrow{\\mu}_\\bullet(\\cdot)$ (in opposite direction). This is just a notational convenience since an FFG is computationally an undirected graph. " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Sum-Product Algorithm\n", "\n", "- Closing-the-box can also be interpreted as a **message update rule** for an outgoing message from a node. For a node $f(y,x_1,\\ldots,x_n)$ with incoming messages $\\overrightarrow{\\mu}_{X_1}(x_1), \\overrightarrow{\\mu}_{X_1}(x_1), \\ldots,\\overrightarrow{\\mu}_{X_n}(x_n)$, the outgoing message is given by ([Loeliger (2007), pg.1299](https://github.com/bertdv/BMLIP/blob/master/lessons/notebooks/files/Loeliger-2007-The-factor-graph-approach-to-model-based-signal-processing.pdf)): \n", "\n", "$$ \\boxed{\n", "\\underbrace{\\overrightarrow{\\mu}_{Y}(y)}_{\\substack{ \\text{outgoing}\\\\ \\text{message}}} = \\sum_{x_1,\\ldots,x_n} \\underbrace{\\overrightarrow{\\mu}_{X_1}(x_1)\\cdots \\overrightarrow{\\mu}_{X_n}(x_n)}_{\\substack{\\text{incoming} \\\\ \\text{messages}}} \\cdot \\underbrace{f(y,x_1,\\ldots,x_n)}_{\\substack{\\text{node}\\\\ \\text{function}}} }\n", "$$\n", "\n", "

\n", "\n", "- This is called the **Sum-Product Message** (SPM) update rule. (Look at the formula to understand why it's called the SPM update rule)." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- Note that all SPM update rules can be computed from information that is **locally available** at each node." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- If the factor graph for a function $f$ has **no cycles** (i.e., the graph is a tree), then the marginal $\\bar{f}(x_3) = \\sum_{x_1,x_2,x_4,x_5,x_6,x_7}f(x_1,x_2,\\ldots,x_7)$ is given by multiplying the forward and backward messages on that edge:\n", "\n", "$$ \\boxed{\n", "\\bar{f}(x_3) = \\overrightarrow{\\mu}_{X_3}(x_3)\\cdot \\overleftarrow{\\mu}_{X_3}(x_3)}\n", "$$" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- It follows that the marginal $\\bar{f}(x_3) = \\sum_{x_1,x_2,x_4,x_5,x_6,x_7}f(x_1,x_2,\\ldots,x_7)$ can be efficiently computed through sum-product messages. Executing inference through SP message passing is called the **Sum-Product Algorithm** (or alternatively, the **belief propagation** algorithm)." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "- Just as a final note, inference by sum-product message passing is much like replacing the sum-of-products\n", "$$\n", "ac + ad + bc + bd$$\n", "by the following product-of-sums:\n", "$$\n", "(a + b)(c + d) \\,.$$\n", "- Which of these two computations is cheaper to execute?" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Sum-Product Messages for the Equality Node\n", "\n", "- As an example, let´s evaluate the SP messages for the **equality node** $f_=(x,y,z) = \\delta(z-x)\\delta(z-y)$: \n", "\n", "

\n", "\n", "$$\\begin{align*}\n", "\\overrightarrow{\\mu}_{Z}(z) &= \\iint \\overrightarrow{\\mu}_{X}(x) \\overrightarrow{\\mu}_{Y}(y) \\,\\delta(z-x)\\delta(z-y) \\,\\mathrm{d}x \\mathrm{d}y \\\\\n", " &= \\overrightarrow{\\mu}_{X}(z) \\int \\overrightarrow{\\mu}_{Y}(y) \\,\\delta(z-y) \\,\\mathrm{d}y \\\\\n", " &= \\overrightarrow{\\mu}_{X}(z) \\overrightarrow{\\mu}_{Y}(z) \n", "\\end{align*}$$\n", "\n", "- By symmetry, this also implies (for the same equality node) that\n", "$$\\begin{align*}\n", "\\overleftarrow{\\mu}_{X}(x) &= \\overrightarrow{\\mu}_{Y}(x) \\overleftarrow{\\mu}_{Z}(x) \\quad \\text{and} \\\\\n", "\\overleftarrow{\\mu}_{Y}(y) &= \\overrightarrow{\\mu}_{X}(y) \\overleftarrow{\\mu}_{Z}(y)\\,.\n", "\\end{align*}$$\n", "\n", "- Let us now consider the case of Gaussian messages $\\overrightarrow{\\mu}_{X}(x) = \\mathcal{N}(x|\\overrightarrow{m}_X,\\overrightarrow{V}_X)$, $\\overrightarrow{\\mu}_{Y}(y) = \\mathcal{N}(y| \\overrightarrow{m}_Y,\\overrightarrow{V}_Y)$ and $\\overrightarrow{\\mu}_{Z}(z) = \\mathcal{N}(z|\\overrightarrow{m}_Z,\\overrightarrow{V}_Z)$. Let´s also define the precision matrices $\\overrightarrow{W}_X \\triangleq \\overrightarrow{V}_X^{-1}$ and similarly for $Y$ and $Z$. Then applying the SP update rule leads to multiplication of two Gaussian distributions (see [Roweis notes](https://github.com/bertdv/BMLIP/blob/master/lessons/notebooks/files/Roweis-1999-gaussian-identities.pdf)), resulting in \n", "\n", "$$\\begin{align*}\n", "\\overrightarrow{W}_Z &= \\overrightarrow{W}_X + \\overrightarrow{W}_Y \\qquad &\\text{(precisions add)}\\\\ \n", "\\overrightarrow{W}_Z \\overrightarrow{m}_z &= \\overrightarrow{W}_X \\overrightarrow{m}_X + \\overrightarrow{W}_Y \\overrightarrow{m}_Y \\qquad &\\text{(natural means add)}\n", "\\end{align*}$$\n", "\n", "- It follows that **message passing through an equality node is similar to applying Bayes rule**, i.e., fusion of two information sources. Does this make sense?" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Message Passing Schedules\n", "\n", "- In a non-cyclic (ie, tree) graph, start with messages from the terminals and keep passing messages through the internal nodes towards the \"target\" variable ($x_3$ in above problem) until you have both the forward and backward message for the target variable. " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- In a tree graph, if you continue to pass messages throughout the graph, the Sum-Product Algorithm computes **exact** marginals for all hidden variables." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- If the graph contains cycles, we have in principle an infinite tree by \"unrolling\" the graph. In this case, the SP Algorithm is not guaranteed to find exact marginals. In practice, if we apply the SP algorithm for just a few iterations (\"unrolls\"), then we often find satisfying approximate marginals. " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Terminal Nodes and Processing Observations \n", "\n", "- We can use terminal nodes to represent observations, e.g., add a factor $f(y)=\\delta(y−3)$ to terminate the half-edge for variable $Y$ if $y=3$ is observed.\n", "\n", "

\n", "\n", "- Terminal nodes that carry observations are denoted by small black boxes." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "\n", " \n", "- The message out of a **terminal node** (attached to only 1 edge) is the factor itself. For instance, closing a box around terminal node $f_a(x_1)$ would lead to $$\\overrightarrow{\\mu}_{X_1}(x_1) \\triangleq \\sum_{ \\stackrel{ \\textrm{enclosed} }{ \\textrm{variables} } } \\;\\prod_{\\stackrel{ \\textrm{enclosed} }{ \\textrm{factors} }} f_a(x_1) = f_a(x_1)\\,$$\n", "since there are no enclosed variables. \n", "\n", "

\n", " " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- The message from a half-edge is $1$ (one). You can verify this by imagining that a half-edge $x$ can be terminated by a node function $f(x)=1$ without affecting any inference issue." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Automating Bayesian Inference by Message Passing\n", "\n", "- The foregoing message update rules can be worked out in closed-form and put into tables (e.g., see Tables 1 through 6 in [Loeliger (2007)](./files/Loeliger-2007-The-factor-graph-approach-to-model-based-signal-processing.pdf) for many standard factors such as essential probability distributions and operations such as additions, fixed-gain multiplications and branching (equality nodes).\n", "\n", "- In the optional slides below, we have worked out a few more update rules for the [addition node](#sp-for-addition-node) and the [multiplication node](#sp-for-multiplication-node).\n", "\n", "- If the update rules for all node types in a graph have been tabulated, then inference by message passing comes down to executing a set of table-lookup operations, thus creating a completely **automatable Bayesian inference framework**. \n", "\n", "- In our research lab [BIASlab](http://biaslab.org) (FLUX 7.060), we are developing [RxInfer](http://rxinfer.ml), which is a (Julia) toolbox for automating Bayesian inference by message passing in a factor graph.\n" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Example: Bayesian Linear Regression by Message Passing\n" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- Assume we want to estimate some function $f: \\mathbb{R}^D \\rightarrow \\mathbb{R}$ from a given data set $D = \\{(x_1,y_1), \\ldots, (x_N,y_N)\\}$, with model assumption $y_i = f(x_i) + \\epsilon_i$." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "#### model specification \n", "\n", "- We will assume a linear model with white Gaussian noise and a Gaussian prior on the coefficients $w$:\n", "$$\\begin{align*}\n", " y_i &= w^T x_i + \\epsilon_i \\\\\n", " \\epsilon_i &\\sim \\mathcal{N}(0, \\sigma^2) \\\\ \n", " w &\\sim \\mathcal{N}(0,\\Sigma)\n", "\\end{align*}$$\n", "or equivalently\n", "$$\\begin{align*}\n", "p(w,\\epsilon,D) &= \\overbrace{p(w)}^{\\text{weight prior}} \\prod_{i=1}^N \\overbrace{p(y_i\\,|\\,x_i,w,\\epsilon_i)}^{\\text{regression model}} \\overbrace{p(\\epsilon_i)}^{\\text{noise model}} \\\\\n", " &= \\mathcal{N}(w\\,|\\,0,\\Sigma) \\prod_{i=1}^N \\delta(y_i - w^T x_i - \\epsilon_i) \\mathcal{N}(\\epsilon_i\\,|\\,0,\\sigma^2) \n", "\\end{align*}$$" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "#### Inference (parameter estimation)\n", "\n", "- We are interested in inferring the posterior $p(w|D)$. We will execute inference by message passing on the FFG for the model." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "subslide" } }, "source": [ "- The left figure shows the factor graph for this model. \n", "- The right figure shows the message passing scheme. \n", " \n", "

\n" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "#### CODE EXAMPLE\n", "\n", "Let's solve this problem by message passing-based inference with Julia's FFG toolbox [RxInfer](https://biaslab.github.io/rxinfer-website/)." ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [ "using Pkg; Pkg.activate(\"../.\"); Pkg.instantiate();\n", "using IJulia; try IJulia.clear_output(); catch _ end" ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAlgAAAGQCAIAAAD9V4nPAAAABmJLR0QA/wD/AP+gvaeTAAAgAElEQVR4nO3dZ1xTZwMF8CcJYUNYMkRApgpKRVwoylARixWVuvee1Wq12lZbq1Vbt4h1L9x7VIviAAUFxQFuwQUICshQCJD9fogvQqSIkORyuef/KXlyx0l+mOMduZclk8kIAAAAU7GpDgAAAEAlFCEAADAaihAAABgNRQgAAIyGIgQAAEZDEQIAAKOhCAEAgNFQhAAAwGgoQgAAYDQUIQAAMFodLcLXr18vX76c6hR1kUQioTpCfSCVSqmOUB/IZDJco7H2ZDIZ/iCVosZfj3W0CFNTU48dO0Z1irqouLiY6gj1QUlJCb56ak8oFIrFYqpT0J5EIhEIBFSnqA9q/PVYR4sQAABAPVCEAADAaChCAABgNBQhAAAwmgbVAQAAAD6QyWSxsbH3Hzy0MG/g6+trYmKihpViixAAAOqE9PR09w5+vReFT40nw/bfd+3YbeuuPWWv3rlzp22XIMtmnpbNPNt3+yYpKUlZ68UWIQAA1Ak9vh36sMtimUM7QkgxIcX+M+au7Onp7ubh4XH12rXgcT/kDtxMrJoSQrIyHnQdNP70znXt2rat/XqxRQgAANR7/PhxNreBvAU/4Grndvt57ZZwQsjkH+fnDguXtyAhhFi7vR26c/KPvypl1ShCAACgXnp6usjMUXHUwjnlRSoh5M3bfGLWuMJL5k4ZWTlKWXW92jUqFArv3btHdQrVKi4u1tXVlT9u0aKFpqYmtXkAAJTC0tKSW5CuOJqbateoISGEVHoxP5lyrg9Vr4owIiJi1KhRDg4OVAdRIZlMxmKxCCHPnz/ftm1bnz59qE4EAKAEzZs35717kZP5kDR0/TAklRhfXPbdul8JIbbWVtmvH3/cNUoIybjvaGerlFXXqyIUi8X+/v5HjhyhOog69O/fH5d5BIB6g8VinT6wM7DfsBz7LnzbdpzCNyY3w2eMGujl5UUI2bJqScDAEW/7rJU5tieEsJ5ebXBi5qYj4UpZdb0qQgAAoK8mTZok37p66tSp+MS7jd0sev6+387OTv5Sy5Yt484cnjR7/sOTMwiLuLs2Wx9x1N7eXinrRRECAEBdweVyQ0JCQkJCPn3J0dEx8tg+VawUZ40CAACjoQgBAKBOk8lkO3fv7dJ7UCvfwAnf/5iZmanc5WPXKAAA1F0ikcjn6z4PdJq+bzef6BknPos77t/z4MbVfr4+yloFirACsVh87dq1+/fvy2Sypk2bdurUCT/UAwCg0MZtO+4atuL3mC9/Kvvqm5zGbUZM6Z16/6b8t2S1hyL86J9//hk/ZVr++yINu68Iiy1OW6SvpRG2esXAgQOVsvz79+8/efKk0oPAAABQqf3H/+X7r6gwxLMUmDolJyc3adJEKavAMcIP9u/fHzJg0BvfHwXL0vjfRfCnnhH8lZobtHjE2Il//71BKau4detWeHhVv3oZPnx4cnKyUtYFAFA/FPGLiI6hwqBUl1dYWKisVaAICSEkNzd37MTJolE7SeexhP3/rWQWm7QfLJx4eMYPs9LTP7nwz5fg8/mfDopEotLS0vIjV69eff/+ffkRoVAoEAhqs2oAAFpr1aI56/n1CkMyGSv1jouLi7JWgSIkhJCjR48ScyfiEVzJa019OS7ee/fV8Mcr6enpXl5ezZo1c3NzS0hIkA8KBIJ27do5Ojo2bdq0TZs28q3AGTNmpKen9+7d29HR8cCBA9nZ2Z6eni4uLk5OTj4+PhkZGTV9cwAANDZ/1ndm534nOS8+PJdKdCP+6NW1s6Gh4mZijaEICSHkTmJSsX3H/3q1xKFj/M07NVvy1KlTO3bsmJaWFhMTExkZKR/kcDh79uxJS0t7+fLlkCFDZs6cSQhZvXq1jY3NiRMnnj17NnDgQD09vRMnTrx8+TItLa1jx46//qqcu40AANCLo6Pj6fANLkdHW2wJNt83usGKdlPcNDau/kuJq8DJMoQQUsgvJppW//mypm5RYXENFiuRSCIiItavX08IMTExGTFixI0bNwghGhoaXC43NDT09evX+fn5t27d+nRePT29tLS01atXZ2VlZWZm3r17twYBAADqgbZt2jy5GZuVlZWbm+vs7MzlcpW7fGwREkKIg52NZt7z/3qV8/a5U2ObGiy2qKhIJBKZmprKn5qZmckf3Lt3z8vLSygUtmrVqkWLFpUe8r18+XK3bt04HI6np2fTpk2VeFgYAICOLCwsXF1dld6CBEUo9/XXX5O7EaSwsns8lhZy7xzr1TOoBovl8XimpqYPHjyQP71//778QURERHBw8KxZs/r162dr+/E2IlwuVyKRyB+fOnVqzJgx06ZN69evn7m5eQ3WDgAA1YEiJISQ9u3b+/n5aW0fRkorbniJSjR3jXZ3bdKjR4+aLXnatGlTpkyJjo7esWPH8ePH5YMuLi6RkZEXL178559/Fi5cWDaxm5vb+vXrDx8+/Pz5c2dn5xMnTsTExBw+fHj16tU1fWcAAPAZOEb4waG94d17BicubFnqPZ7YtyFsDkm9rR2z0bmh2enjZ2p8/YL58+ebmJiEhoa6uLjs3bv35cuXhJDevXtnZmaGhoY2bNhw69atR48elU+8YcOGXbt23bp1y87ObuzYsYWFhcuXL7e3t9+9e/eFCxeU9U4BAKA8lkwmozpDJeLj42fMmBEXF/dFcx09enT//v01vjGvRCI5cODAtt377t29JyMyV1e3kYP7Dxs2TBW7pGuvf//+/fr169evH9VBaInP5+vo6LDZ2CNSKwKBgM1m181/IDQiFotFIpGOjg7VQdRKIpFIJBLlXsOysLDQwMCgBjNii/AjDoczZMiQIUOGUB0EAKDeSkxMHPP93Fc5eYTFMdLRWL90QdeuXaiNhCIEAAClKSgoePz4sZmZmb29PYfDUXj1zp07AUMmvh20lVg1JYRkF2T2/3Hs1t/4fYN7URH2A+waAgAAJSgpKRkxabpzh+49F+72HvOLc6sOV2JiFaaZ9suit/03yFuQEEKMGuYP3z3r18XqzloRtggBAEAJBo2ZHKHRSjjz/3eKyM8IGf9t3D8HnJycyqZ5/jKV9G1RYTZ9U75Uo7S0VFtbW41hK1D5FuHdu3flp0qWSUhIOHHiRFZWlqpXDQAA6pGTk3Pt/lNh54kfh4ytcwN+Xbq2wt17WISQT87QlElE1J65ptp1//vvv61atVqwYEHZyPDhw4cMGbJv3z43N7dLly6pdO0AAKAeKSkpUpuvFAZljT0T7z8sP9La4yvW46gKE+W8sDDSo/YW6CrcNfr+/fs5c+aUv6vtjRs3IiIikpOTjY2NN2/ePHfuXPm1N5Xo1atXhw8fVu4y66Za3hkKAECJDA0N2fw8xdHCXCOeUfmB0KULEgKCs4TzJC2CCIvNSok1PTlr255N6gtaGRUW4axZs6ZNm/bs2bM3b97IR06cOBEYGGhsbEwIGTBgwMSJEzMyMqytrZW1xmbNmtna2tbvIpRIJPITsWxsbFxdXamOAwBACCGurq7aOU9IwWti9PEGBobx20YNq3B7O1tb26TY8z/MX3Rl/XKJVNqyudvas0ft7e3VnrcCVRVhVFRUcnLypk2bfvrpp7LBjIwMG5sPV6/m8XiGhoavXr2qtAiFQmF2dvbGjRvLRgICAuzs7KpeaZMmTfbv36+M+HWXwi9Gy65NCl9E/mPeunk1CRqRf4a4LkEtSf6P6iC1Ff736oETer/1mSFx8CKFb43jNnmZiAZ8G6Lw1oyNjbeHrSo/oqz3XunHyGazP3tpMJUUYXFx8dSpU48cOaKweqFQqKHxcY2ampr/dfv14uLioqKisjvZEkLs7e0tLS1VkZZecM96pZBfEgXf4LUk/xilUinVQehNfmWZevDX2LZN6xuRJ1at35wQfczczHTolOAegQEikUhtASr9etTU1CzfO5VSSRGGh4fLZLJdu3YRQqKjo/l8/vLly2fPnm1lZfX27Vv5NGKxOC8vz8qq8rsAGhkZOTg4bNu2TRXxaE0ikejq6lKdgvZkMhkusVZ7HA4Hl1irvfp0iTVbW9s1f/1B1dpr/PWokiL09vYu+4pJTExks9nyPaIdO3acN2+eTCZjsViXL1+2tLSkfNcwAAAwnEqKsHnz5s2bN5c/fv78+Zs3b+Tnjvbq1Wv+/PkjR47s3Lnz0qVLZ82a9dktVgAAAJVSeQ8FBgby+Xz5Yy6XGxMTs2HDhtu3b//1118hISGqXjsAAEDVVF6Evr6+5Z+amprOmzdP1SsFAACoJpwsAAAAjIYiBAAARkMRAgAAo6EIAQCA0VCEAADAaChCAABgNBQhAAAwGooQAAAYDUUIAACMhiIEAABGQxECAACjoQgBAIDRUIQAAMBoKEIAAGA0FCEAADAaihAAABgNRQgAAIyGIgQAoJOcnJy8vDyqU9QrKEIAAHo4dPSYrVvrFkHDXAMGOLRsfy7yPNWJ6gkNqgMAAMDn7Tt4eMqqPQXjzxA9E0IIefd68OwRhzU0/P39qI5Ge9giBACggV8WLy8YsuVDCxJCeFZ5g7fMXLCE0lD1BIoQAKCuE4vFfDEhusYVRk3tst/mU5SoXkERAgDUdRwOh0hEH5/fPUPC+pA/2r/NzT124iR1ueoJHCMEAKjrWCyWk51NTloisW1JDs8hhTlk0BpiaifKSx8TuvDkuUu7NqylOiONYYsQAIAGdoatsDo0nnN+Dcm4T0ZvJ6Z2hBBiYlMweMuZ28+SkpKoDkhjKEIAABpwcXG5d/VCu7cXSetvFV7Ka9Ev4vwlSlLVDyhCAAB6MDU1DerejXB1FMZlXG1+SSklkeoHFCEAAG20b+1h/PKywqDRi+hO7TwpyVM/oAgBAGjDz8/PUZTOvbaTyGSEECKTaVzf05if0rVrV6qj0RiKEACANlgs1qV/jozQf2K+vI3F5l7mK9oO07x7+cwxNhtf5jWHn08AANCJgYHBltAVWwjJzs5u0KABi8WiOhHtoQgBAGjJ3Nyc6gj1BLamAQCA0VCEAADAaChCAABgNBQhAAAwGooQAAAYDUUIAACMhiIEAABGw+8IAQBU5d27d6vXb4pJSDTmGQ4KDgzp05vqRFAJbBECAKhEUlJSs/Z+S54aXWoz/2ijkWM3Rfp83UckEn1+TlAvFCEAgEoMGDv19bC9og6jiLkTaexZ8O3aWzot1m3cQnUuUIRdowAAypeZmZnP0iPmTuUH+R3G7TkytkObVnE3bmpqcv06d3J1daUqIZRBEQIAKN/79++JnqniqL7p4yfJPeeE5jl1ZUuEJttm9mjdZMva5VQEhI+waxQAQPlsbW1lrx9/uGtgmbQ7AhOH3GG7ZF7DJN5jcib8c+wVd+3fmyjKCB+gCAEAlE9XV7dXN1+dyD+JTPphqDCHHT5R+u2f5ScrCvhp8+4DFOSDcrBrFABAJTas+lPrp18Pr/KW2rfllL7nvnlQrM3Nt21ZYSIdQ35JKUUB4QMUIQCASnC53PUrli6ZP/fRo0c8Hs/Jycna1VNxopL3ejraVKSDj7BrFABAhXg8Xvv27Zs1a8blcrv7+2he21H+VYOzf0wYMZiqbCCHLUIAADXZtPqvzIEjknZdzHfuxpaIjO8f6+nVYtrEcRKJhOpojIYiBABQE11d3YunDickJFyNv6Gtpen3c1iTJk3EYjGKkFooQgAAtWrTpk2bNm2oTgEf4RghAAAwGooQAAAYDUUIAACMhiIEAABGQxECAACjoQgBAIDRUIQAAMBoKEIAAGA0FCEAADAaihAAABgNRQgAAIyGIgQAAEZDEQIAAKOhCAEAgNFQhAAAwGiquh9hTk7O7du3CwoKbGxsvLy8WCyWfFwmk125ciUrK8vLy8vGxkZFawcAAKimzxShUCjU1NSswXK/+eYbU1NTExOTGzduWFpanjt3TltbmxAycODA+/fve3p6Tp48ed++fQEBATVJDQAAoCRVFeH27dsLCgpmzpxZNvL69WsrK6vqLDc+Pl7+oKSkxMHB4eLFi0FBQXFxcdHR0SkpKYaGhtu3b//pp59QhAAAQK2qjhEeOXJk+PDhhJCSkhL5SFJS0oULF75oBVKpVCaTGRkZEUJOnTrVvXt3Q0NDQki/fv3u3LmTnp5ew+AAAADKUNUWYWlpqbzAxo0bt27dOmNj48DAwBEjRnTt2rU6i96wYcO5c+fu3r07a9asjh07EkIyMjLKjgsaGBjweLzyI+UJBIKsrKyNGzeWjfj5+Tk5OVX/jdVXEolEIpFQnYL25B+jTCajOgi9yT9DNhvn3NWK5P+oDkJ7lX6MbDa77CSV/1JVEXp4eDx//tzFxUVTU7O4uNjY2JgQkp2dLZVKq/On7+PjY2Njc/ny5dDQ0H79+tnZ2YnF4vIzamhoiESiSuctKSnh8/k3b94sG3F2drazs/vsSus9kUj0Xx8aVJ9IJNLQ0MA3eC2JRCJ8hrUnFovlf5BUB6G9Sr8euVwuh8OpesaqPvrJkydv27ZtyZIl2traDRo0kA8KBIJq/um7urq6urr27Nnz6dOn27dv//333y0tLXNycsoS5+fn/9cRRyMjIwcHh61bt1ZnRYwiEonkpx1BbUgkEm1tbXyJ1xKLxWKz2Vwul+og9CYWizkcDv5d116Nvx6r+iJwdHT8+uuv161b980334SFhZWUlNy8edPd3f1L1/Hu3Ts9PT1CSOfOnaOioqRSKSEkKiqqYcOG9vb2NQgNAACgLJ/ZGPf29vb29iaEdOjQYffu3Vwud+XKlZ9daGZm5pgxY3x8fHR1daOiop48ebJ3715CSM+ePX/99dfBgwd37tx52bJlc+bM+ewWKwAAgEpVd680j8cbP358NSdu0KDB2LFjb9++nZWV1b179127dsnPFNXQ0Lhy5cqWLVuSk5PDwsJ69uxZw9QAAABKopLDs1wuNyQkJCQk5NOXjIyMZs+erYqVAgAA1ABOFgAAAEZDEQIAAKOhCAEAgNGqVYRisVjVOQAAAChRrSLct2+fqnMAAABQolpFiEsyAgBAfYVjhAAAwGgoQgAAYDQUIQAAMFrlV5Y5evRobm5u2dO4uDiBQFD2VEdHZ9iwYSqPBgAAoHqVF6HC1dG0tLRGjBihljwAAABqhV2jAADAaChCAABgNBQhAAAwWrWK0NLSUtU5AAAAKFGtIuzevbuqcwAAAFACu0YBAIDRUIQAAMBoKEIAAGA0FCEAADAaihAAABjt80UokUhyc3NFIpEa0gAAAKhZ5dcazc7O3rVr15kzZ54/fy4UCvX09IqKirhcrouLS0hISN++fa2srNQcFAAAQBUUi1AsFoeGhkZHRwcHB2/cuLFJkyYsFqvs1eTk5KtXr06cONHDw2Pu3Lna2trqTQsAAKBkFYqQz+f/9NNPw4cPnzlzZqVTu7i4uLi4jBo1KjExcfr06YsXLzYzM1NLTgAAAJWocIzw2rVrf/zxR+vWrT87W8uWLdesWXPt2jWVBQMAAFCHCluE3bp1q/6cOjo6vXr1UnYeAAAAtcLPJwAAgNEqbBEuWrTo+vXr1Z/ZxcVl1apVyo4EAACgPhWKUCwWf9HezpSUFGXnAQAAUKsKRdi2bdugoKDqz3zmzBll5wEAAFCrCscIv6gFazA9AABAXaN4sszJkydXrlwp3+f59u3bQ4cO3b9/n4pgAAAA6lChCBctWrRx48YHDx707t379OnTZmZm9vb233//PVXhAAAAVK3CMUIulxsREUEIEQqFS5YsMTQ0tLCwoCgYAACAOlTYImzcuDEhRCgUampqLliw4N27d4mJidTkAgAAUIsKRWhnZzdp0qSBAwfKn37zzTcWFhb6+vpUBAMAAFCHCrtGvby82rRpI5FIykZ8fX3bt2+v9lQAUA/l5uampqba29sbGxtTnQXgI8XbMGloaGhofBh89+4dj8fDvZYAoJbS0tIGj/suJadIZmZPspJbOjTcvXEtTkGAOqKqa40+f/58+fLlZRuI27dvf/jwoVpSAUD9UVpa6hMUctVjZvbkszn9N+R8d/FC46F+Pb8tv/MJgEJVFaGHhweXy12xYoVIJCKEDB06dN68edHR0WqKBgD1wvETJ3OcA4lTh7IRmVv312buly5dojAVQJmqivDu3bvR0dFjx479888/pVKppqbmyJEjFyxYoK5sAFAf3Lz3kN/IU2GwwLpt4n3sYYI6oaoiDA8Pd3FxMTU1HTt2bGhoKCEkLS3NxcVFXdkAoD4wNjRglbxTGOSW5BkbGlCSB0BBVUU4dOjQx48fi0QiKyur4ODgsLCw0tLSsLAwtYUDgHqgT88eJrf3EJn045BEZJR0OLB7AHWhAD6qqghbtmy5du3aZ8+eEULs7e0DAgKuX78ulUqrmAUAQIGbm9uYnp1Nt4aQZ/GkMJskx5hu/GbW2MGNGjWiOhoAIZ/+fEKBvb192WMXF5f169cfOHBg5MiRqg0FAPXLX7/P7/v19RUbd764ntrEyXHOrtXu7u5UhwL44DNFqMDc3BwtCAA10K5du8Pt2lGdAqASVe0aBQBGycrKEggEVKcAUDcUIQDTyWSylaHrrVy++qrXKNs2/m38euDSGcAoX7ZrFADqn1nzFmy5nVc4I4ZwdQgh2el3/fsOSTh/ysbGhupoAOqALUIARuPz+buPnCrsu0LegoQQYuOe3e3XhcvXKn1dqampg8dOcfH0btk5YPHy1UKhUOmrAKiBLyhCqVQaGBgYHBy8Z8+ebdu2vX//XnWxAEA9UlJSiK0HYVX4KpC5dIq/dUe5K4qKvtwmMOQA75uUcWeT+oYvuSP6qqM/n89X7loAauALilAikRQUFPj7+w8dOnTQoEG46ChAPaClpcUSliiOCoq1tbSUu6LR02bnjD0ua9aFaGgRfdNi/xnPXQcuWan87U6AL1VVEd6+fbu0tLTsKZfLjY+Pnz59OiFEV1e3V69eKk8HACrWpEkTjezHpDi//KD2rQN9g5R52ZdXr14V65oTnmX5QWHrgSf+jVTiWgBqpqoidHJymjt37ps3b+RPN27cuGXLFrWkAgA1YbPZfy//w2xTL/L0KpGKCT9P7+IKpxdnZkyZqMS1lJSUEC19xVFN3VL8WgPqgKqK0NDQ0MrKat++fa9evSKETJw48cmTJ/KrbwNAvRHcM+jq8fDg9N0Of/u7Hxk6r43e7ZgLyr0jt52dnSzzIZGKK4ymxHq2/EqJawGomaqK8MiRI3Fxcd9//314eHhubi4hxMfHZ+/everKBgBq4uLicmLvtmeJcUkx5+fOnMblcpW7fE1NzUmjhhocnk6ExR+G3jxpcObnxT//oNwVAdRAVb8jTEpKatasGZvN/vHHH1esWDFlypS7d+/iEmsAUAMLfpptYrT5zzWdZSY2RFBkrsvetW+Ls7Mz1bkAqizC77//fvLkyampqXZ2djNmzFi2bJmuru6kSZPUFg4A6g0WizV98oTpkye8fv3awMBAX/+TQ4YAFKlq16ipqen+/ftNTEwIIVpaWrNmzUpOTk5JSVFXNgCoh6ysrNCCUKd85neEbDbbwODDXaR1dHQ2btyYnp6u+lQAAABq8mWXWGOxWP7+/iqKAgAAoH641igAADAaihCgvsnMzExISCgoKKA6CAA94DZMAPXHo0ePBo2b+lqkLTVuxMq438G9yY6wlcbGxlTnAqjTvqwI8/PzExMTLSwsXF1dVRQIAGomPz+/S5/BrwdtJ9bN5SOnbx/t3nfQjaiz1AYDqOO+YNeoUCh0cXHZu3dvSUnJunXrEhISVBcLAL7U9vA9b9uMKmtBQoikVcgLqfGdO5XfUEkmk+3ed6BDYB/Hlu27fzsU/6KBsb5gi5DL5U6aNMnPz8/T09PT0/PJkydVTFxYWBgbG5uTk9OsWbM2bdqUjUul0osXL2ZkZHTu3NnBwaHmwQGgohv3HotshygMvrf2fPjwoYeHx6fTf/3tkLgS03f+K4lRw+ev7t2c+MvPI/v88B2umAGM85ktwsLCwoyMDPnNM1ks1sKFC/38/OQvNWnS5L/mys3Ntba2XrVqVVRUVJ8+fUaMGCGTyeQv9e3b98cff7x69Wrbtm3PnDmjpHcBAMTE0IDw8xQGtUrzDQ0NP5044uzZ+Hc67/quIiY2hM0hti3zxp/46+9t8qsKl8nMzDx58uTJkyczMzNVGB2AUpUUoVgs3rhxo5+fn5aWlqGhYaNGjfT19Q0MDPr06RMZWa2bh+nr6z98+PD8+fM7duxISEg4cODAvXv3CCExMTHXr1+PiYnZsmXLqlWrfv75ZyW/GwAGG9K3p3HCzgpDAr7Og387d+786cSHT58vaDmgwhCHW+L69dWrV+XPZDLZtDnzWnbvN3TPnaF77rTs3u+72b+U/Y8WoD6pZNfo9OnTORzO0KFDJ0+ezOPx2Gx2YWFhYWFhQUHBqlWrXr16NXr06KoXqqWl1ahRI/ljMzMzLpcrFAoJIWfOnOnevbv86kp9+/YdOXJkWlqara2tst8UABN5e3v3bXX8+I5Beb4ziIkNKz3J9PySZb/O4fF4n07MLy0lPD2FQTFXt6Tkw93ql65cu+M+v2haFGGxCCFFAT/vPDHHauXan2d9r+o3AqBmikX45MkTX1/ffv36VTr1tGnTfvvtty9awcqVK5s2bSo/RJGRkWFnZycf19fX5/F4GRkZlRZhaWlpVlbWhg0bykZ8fHxwoXpCiEgkEolEVKegPZFIpKGhwWbXt9/Rblj158ArVzaE70qLz3R3bfLjsZ0ODg6V/sF09Gh+Kia21L5t+UH9F7HNm38jn37jzj1FUy7JW5AQQlisop4LN4b5zZ4+pWx6kUhU/z5D9ROLxfI/SKqD0F6lX48cDuezf6WKH31qaqq3t3cVMzg4OEil0mr+9R87diw0NPTSpUscDocQIpFIWGX/rgjR0NAQi8WVzigUCouLi2/duiV/ymKx3NzccHINIUQikUgkEqpT0J78Y6yXO/q8OzmZRycAAB09SURBVHb07tix7Ol//bUMHTRg5d/d0m08ZE38CCFEJtWKDvNoqO/o6CifpVQsI1ydCvNwtUulFRYo/wzRhbUk+T+qg9BepR9jdf4+FYvQ3d19zZo1S5cuLd9YZfLy8m7dujVixIjqZDp9+vTkyZMjIiKaNm0qH7GyssrOzpY/FgqF+fn5DRs2rHReQ0NDe3v7rVu3VmdFjCISiZR763Bmkkgk2traTP4G19bWvhZ5atTUH5L+nc/iWUpzXgwOCf5zwc6yvy4NIiUyKWGV+4hkUg2ZpPyfH4vFYrPZSr+LL9OIxWIOh4N/17VX469HxSK0tLR0dHR0dnZu2bIlj8fT0tLS1NQsKip6//59Xl7ey5cvDx8+XJ3lRkZGjhkz5p9//il/3ravr++MGTMkEgmHw7lw4YKNjY29vX0NQgNA7VlbW0cePyAUCrOzs62trRX+7xsU0CU8bpeww6iyEc348KCALmqPCaByrEr3Dr18+fLo0aNxcXE5OTl8Pt/ExMTCwiIgICA4OLjSU7EVvHnzxsHBoUWLFi1btpSPjBs3rnXr1hKJpG3btra2tp06dVq9evWvv/46bty4SpcQHx8/Y8aMuLi42ry3eqmwsLDsxlhQY3w+X0dHp15uEcbFxcXEXdfW1PTt7O3u7l7FlHfu3Hn8+LGFhUX79u11dXUVXi0qKurae8BjdqN3br0IYfEenGwiSb948lD5WwkKBAJsEdae/Bihjo7O5yeFKtX467Hyw7ONGzf+4YcfapxGR0dnzZo15UfkVzvkcDjR0dE7duzIysrasWNH165da7wKAFBQXFwc1H/YvUKtPOfuLInQZPfP/m6N9m1ZLz9CX15mZmbw4NEvZcaFDVvpFCXoPp21YcXiXkE9yk+jr68ff+HM2bNnT1+MIYT0nNknMDBQfW8GQI0q3yKkHLYI/wu2CJWiXm4Rjpg0/YDArfzOTL0zC+Z6mc77cabClC28fB90/k3m/P/T4orzzTb2jDu1z8nJ6YvWiC1CpcAWobLU+Ovxy74I4uLisrKyarAaAKjamzdvLl68ePv2bfmPbmvg7MUoodfI8iP8bj/u2Kd4UP/evXtZmpYfW5AQomuc6zcnbOuumq0XgO6+oAilUmn37t2XLFmiujQADFRcXNx/1AT37gO+DT3bfe56h5Ze//wb8aULKS0tJdqGROFkb03dkk9q9eXLl6UNXBQGZVZNHyQ//9KVAtQPX/ATTjabfenSpcaNG6ssDAATDRw96ZxuB+F3YR+eF+WO+rHvpUbWVZ/qokBbW5uUvicyWYUuFBTpamkpTNmgQQPN959cODT/lbWl+ZdnB6gPvmzXaOvWrXHcDkCJcnNz4x8+E3Yod9lCfdPcrxctWbvxSxcVHBigdWVD+RH9s39MGDlYYbI2bdroZtwheekfh2RSkytrJ40Y+KVrBKgfvvhkgaioKFXkAGCmFy9eyBq6KY7afPXgcVW3OatU6LI/upQmmG3vz4ndpnFlU4MNPfrZyX74brLCZBwO5+iuTdY7+2ldWEWSr5AbB83Cuk3t69+uXbsavwsAWlPcNfr06dMqrufy/v374uJiFUcCYBAjIyN2UY7i6PtsUxPTL12Utrb2mcN7EhMTr8Zf1+Lq+szf8F+X523TuvWThCt79x+IT4pwcLQcMHsbLuQLTKZYhHZ2djExMdbW1pVOXVRUZG6OAwkASuPk5GRQlJmd85w0+HgpXcPYv0cP7VOzBbZs2bLsQhZV0NPTGz92zPiarQOgflEsQi6X26dPn2HDhllYWFQ6w/ff4yYsAMp0eMeGoMGD3rYdI3LoSPi5Jte3+djoDBuMI3YAalLJMUJ3d/cq7kbdqlUrVeYBYBwPD48nNy7/3kLY4+Ga0SURh38bd2zPtkqveg8AqoAry9AMriyjFPXyyjLqhyvLKAWuLKMsyrmyzMGDB79o5i+dHgAAoK6pcIzw5s2bSUlJ1Z85Ly9vwIAByo4EAACgPhWK0MnJ6e7du9WfGbeMBwAAuqtQhBMmTKAqBwAAACVwsgAAADBahSKMi4sTi8XVnFMmk8XExKggEgAAgPpUKMLGjRtPnz49NTX1s7Pl5ORMnTrV0tJSZcEAAADUocIxQisrq6VLly5YsKCgoGDQoEFeXl76+vrlJygpKUlISDh06JBAIFi8eDEutwYAAHSneIk1Q0PDVatWPXjwYO/evd9//71AIDA1NTU0NCwqKsrPzy8tLe3SpcvYsWO9vLwoiQsAAKBcld+Y183NbcmSJUuWLCkpKcnMzMzNzTUyMmrUqJGurq6a8wEAAKjUZ+5Qr6Oj4+jo6OjoqJ40AAAAaqb484nY2NiwsDBKogAAAKifYhGeOnVq5cqVubm5hJAnT55U/9cUAAAAdKRYhBKJ5ODBg4aGhoSQiIiIgoICKlIBAACoieIxwvHjx48ZM+b27dvNmzeXyWQSiaRDhw7u7u56enqU5AMAAFApxSJs0qRJbGzs69evExIStmzZcu7cubVr12ZkZDg7O3t4eHh4eHh7e7dt21ZD4zNn2QAAANBC5X1mZWXVq1evFy9eDBkyxMzMLDc3NzEx8c6dO4mJieHh4fn5+cOHD583bx42EwEAgO6q2rAbM2aMvOpMTU27dOnSpUsX+Tifz798+fLvv/++bNkydWQEAABQmaruPqGvr89isT4d19LSWr16NZfLxTmlAABAdzU51KehodG+fftGjRrhSCEAANBdDZts0aJFys0BAABACdyYFwAAGA1FCAAAjIYiBAAARkMRAgAAo6EIAQCA0VCEAADAaChCAABgNBQhAAAwGooQAAAYDUUIAACMhiIEAABGQxECAACjoQgBAIDRUIQAAMBoKEIAAGA0FCEAADAaihAAABgNRQgAAIyGIgQAAEZDEQIAAKOhCIHRSkpK5v72h2t7X4eWXiHDxz1//pzqRACgbihCYK6CgoIW7X3Xpho/GnrsxeRLxy0GtAvqHxV9mepcAKBWGlQHAKDMgj9XprWZIGo/TP5U1sTnreWxMd/3f54YT20wAFAnbBECc505f0nUKqTCEM+qWNP4zZs3FCUCAAqgCIG5xGIx0dBSHNXUEQgEVMQBAGqgCIG5PNxbkKdXKwyJBST7aaNGjShKBAAUQBECc/05/0fzf+aQzIcfnpe84+2bMHvqRA6HQ2kuAFArnCwDtBcVfXnbgWMZr7M8mzf9YeoEKyuras7o4uJy/uD2kd/NyswrIlp63JL8RXNnjBw2RKVpAaCuQRECvQ2b8N2/D7LyvKcQW4sraXd2+/XcuXZpj+4B1Zzd3d399uVIgUDA5/NNTExUGhUA6iYUIdBYxNmzp5+8Kxi5V/5Uau6Y3dRv9LTA1Hu+mpqa1V+OlpaWltYnZ80AADPgGCHQ2M7Dpwraj6kwpG8qdOx448YNihIBAP2gCIHG8vLfEX0zhUGRjmlBQQEleQCAjlCEQGOt3Jqw0+8oDGpn3GnatCkleQCAjlCEQGPTJo4xi15JclPLRjQSDjY15jg5OVGYCgDoBSfLAI1ZW1v/s2fzkAnD3+vbiHlWnLTb3i2cdxzYRXUuAKATFCHQW9s2bZ7cjH327Nnr16+bNfulQYMGVCcCAJpRYRFmZGQ8efLE1ta2/H4qsVh85syZ7OzsTp064UAOKAWbzXZ2dnZ2dqY6CADQkqqOEQ4YMKBp06YhISE7duwoG5TJZL169VqyZMm9e/e8vb1PnDihorUDAABUk6q2CNeuXbt///5Ro0aVH7x8+XJSUlJKSoqurm779u3nzZvXu3dvFQUAAACoDlVtEVpaWrLZiguPiIgICAjQ1dUlhAQHBz969Cg1NbWyuQEAANRErSfLZGRkNG7cWP5YT0+Px+NlZGTY2dl9OmVJSUlmZuaSJUvKRoKCglxdXdWTsy4TiUQikYjqFLQnEok0NDQ+/b8afBGRSITPsPbEYrH8D5LqILRX6dcjh8P57F+pWj96mUzGYrHKnrLZbKlUWumUEolELBbn5+eXjRQVFf3XxIwilUrxOdQePkalkH+G+CRrSfp/VAehvUo/xur8X02tRWhlZZWVlSV/LBAI8vPzGzZsWOmU+vr6tra2y5cvV2M6ehAKhbg8dO2JxWItLS1szdQem83mcrlUp6A3+SYL/l3XXo2/HtX6ReDv73/hwgX5pmtkZKS9vX3ZnlKoWmFhoUwmKz9y+cqVweO+8/mm//S58zMyMqgKBgBAd6raIjx69GhkZGRcXJy+vv7bt28HDBjg7+8fGBhobm7eu3fvjh07hoWFLVmyBP8lr5pIJFq8fPWm8P1SHSNS8q5ja48VC38xMDAYNWXGqaRXed5TiWPDmPTE/d16b/7rt97f9KQ6LwAA/aiqCJ2dnaVSadeuXeVPbWxsCCFsNvvSpUt79+7NyMg4dOiQt7e3itZebwwcPelssXXxjKuEwyWEnLp35k5w//V/LTx5Lyt/5D75NDKzxjlNfCfO6tq9axcdHR1K8wIA0I+qitDd3d3d3f3TcV1d3XHjxqlopfXMixcvYh6mFk/aUDYiaRH05s2jhSvX57ebUWFSXSOhs198fLyfn5+6UwIA0Bz2TNZdd+7c4Tt2VhgsdfZLfZ1F9E0VxoU6JrgJHwBADaAI6y4ul8sRCxRHxaUNePqcT27Cp4ub8AEA1AiKsO7y8vLSfnSOSMXlBw2SjswYP9IsJpRkPysb5Nw87KwvbtasmdozAgDQHq5lUHeZmZlNGz141bYB+cHLiLkjKS4wiFrjJnoxcuS6r1p+NXjc2HwdSzHPmpN2u0ML552HdlOdFwCAllCEddq82TO827b6afGcVxkZPJ7h+KEDhg+ezWKxWnl4PLxx5eXLl5mZmU2bzjczM6M6KQAAXaEI6zpfH584H5+yp4WFhfIHbDbbwcHBwcGBolwAAPUEjhECAACjoQgBAIDRUIQAAMBoKEIAAGA0nCzDUEKhcMPW7RevJmhpavbu7jt4QP/yt4oEAGAObBEy0atXr5q26fRTTME/TpOPWA+fvC/B0yeAz+dTnQsAgAIoQiYaPmnGy+5LS7r8QGzcSePW73stfeDQ96eFS6nOBQBAAewaZRyJRHI/5ZksuFP5QWH74Vt/b6Gnoz15zAj5PbMAABgCW4SMU1xczNIxVBzV0CzRMPjrjYNn4Lfh+w5SkQsAgBooQsYxMDBg8/OJRFRhtOA1MTCTte6XM/ncrIXL3r59S1E6AAB1QxEy0fiRQ/RP/Uykkg/PhcVk33eky1RCCNHSK/zq23ORkRTGAwBQJxwjZKIFP80WLFi8fbV3oaVHqVhC0u6QLlPJVz3lr5bqWWTn5FKbEABAbbBFyEQsFuvP3+elxF+c1r6Bpo4umXuZdBhe9qpR9l3Xpi4UxgMAUCcUIXPxeLxffpprlnaV5KZ9HH1+3fRVvL+/P3W5AADUCrtGGc3Q0PDckd39Rk3K1bMpNXXUfvPAllt89ORBLpdLdTQAADVBETJd8+bNH1y//OjRo9TUVGfn4c7OzlQnAgBQKxRhJe7fvx97LY4Q0qljBzc3N6rjqBybzXZzc2PCOwUA+BSKsAKRSDR47JToxxkFTYMIIUZbZ/s2a7R/298aGvigAADqJ5wsU8G8RX+eKbF9O+6EuNM4cadxb8ef/Le40bxFf1KdCwAAVAVFWMHew8dLuswsP1Lcddaew8epygMAAKqGIqxARNiEU/GESQ5XJKUoDQAAqB6KsAINIiVScYUhqZjLklEUBwAAVA5FWEH/3j21o8PKj+hEhQ7o+w1Vear2/PnzgwcPHj58OC0t7fNTAwBAZXAyZAV//T4vecjo6zsH5TXtSQgxffRPO2vdpb9tozqXIolEMnrqzIjr9wtdurFkUv0/1oV06fD3yqUsFovqaAAANIMirEBTU/PM4T03b96MirnKYrH8Jv3s6elJdahKzFv055EsXvHks/KnJV1n7Tkxp/GadXNmTKM2GAAA7aAIK9G6devWrVtTnaIq4QeOFM+4+vE5i1UUtGDjxgAUIQDAl8IxQvqRyWQiFkfx7FZN3RKx5D/mAACA/4QipB8Wi8WRioms4rmsUjGX4OxWAIAvhiKkpR5d/TSvh5cf0b68oV/vnlTlAQCgLxwjpKV1y/543HvA45dx+U2DiExq8vBUS4OSJb/upjoXAAD9oAiV6cGDB8f++TcjK9fLw23ggP5aWloqWpGent6186cvXLhw/kqchgan+4CxnTt3VtG6AADqNxSh0sz4+bc95669bT2K6LuHn4r/dVnHs4d3N2vWTHVr7Nq1a9euXVW3fAAAJkARKkdExNmdMckFk/6VPy1p5p/2Vd/gIWOSb1+jNhgAAFQNJ8sox9/hBwv8ZlQYsmr6Ts86OTmZokQAAFAtKELleJOdTYwaKgyKjayzsrIoyQMAANWEIlQOJ/vG5M0ThUGNN48bN25MQRoAAKg2FKFyzJ48xvTsQiLgl41w7kc4GXNtbGwoTAUAAJ+Fk2WUo1WrVqt/mjL7d7/SZt1LdBoYpse76ApO7ttBdS4AAPgMFGFVMjMzU1JSGjZs6OjoyGZ/Zut52KD+vb7ufv369ezsbHf3+e7u7uoJCQAAtYEirFxubu7gcVPvpOaIG7bgvsswKs7cv2VdKw+Pqufi8XgBAQHqSQgAAEqBIqxcQJ+BiR5TpF8HyZ9mZz/7euDAe7HnGzRoQG0wAABQLnqfLCOTybbt3N3cy8/GrY17xy77Dx1WymITExPTWGbSFkEfh8wdcztM3rwj/L9nAgAAWqL3FmGfIaOi3vHeDzxA9ExeFWZP2vzbuajYnRvW1nKxycnJfEvFI3xiG4+b97fUcskAAFDX0HiLMD4+Pja95H2fFUTPhBBCDMzfDdxw5mbyw4cPa7lkHo+nWZKrOFqY3cDEqJZLBgCAuobGRRhxITrXNVhhMM81+FL05Vou2dvbW/vJBVLy7uOQTGYSv3Vk/961XDIAANQ1NC5CoUhMNDQVBmUcTYFQ9PGpTLZ734FmbX0auno6t+q4at3fEonks0vW09PbsHxRgw09WLeOkuyn5Mll060hg71dO3TooOT3AAAAVKNxEfp4tTZ6dklh0OT5pQ7t2pQ9HT1lxnc7ox4POfR6ZvzTMWd+u5TZLbh/dRbep9c3d86fmGny2P/GwtGlZ/9dN3/d8sXKTA8AAHUDjU+WCQgIcFiy8v617UKvkYTFJlKJ9uX1brp8Ly8v+QTJycmnbzx8N/HMhxm09IqCfks8MOHixYtdunT57PKtra1XLF6gsvgAAFAn0HiLkM1mX/73+BijFxYr2pqv62K5ymuKfdHZo/vKJoi9erWgydcKc+W79jpz8Yp6kwIAQN1F4y1CQoi+vv7fq/78e9WfxcXFurq6Cq9KxBIp+5M3yOaIxZ8/TAgAAAxB4y3C8j5tQUJIu3ZtTZ5dVBg0TLnQtVM7tYQCAAAaqCdFWCl3d/e21nq6EX8QsZAQQmRSrdgtju8f9AwK+tysAADAFPW5CAkhJ/btmNvW0Dq0s/nqTg1XdxxvnhFz9uRn7yMBAADMUc8rgcvlzp/zw6uHtzKSYjMe3gxdtlhPT4/qULUSFRUlEAioTkF7169fz8395OJB8IUePXr04sULqlPQXkZGRlJSEtUpaK+wsDA2NrZm89bzIiyjoUHv04LKzJ079+nTp1SnoL21a9fW+N8MlNmzZ8+xY8eoTkF7kZGRmzZtojoF7d2+fXvJkiU1m5cpRQigQCaTUR2hPsDHWHv4DCmHIgQAAEZDEQIAAKOx6uZWeURExJAhQzw9PakOUufExcW5u7vT/ZQfyiUlJTVs2LBBgwZUB6G3lJQUTU1NOzs7qoPQW0ZGxrt371xdXakOQm8FBQVPnz5t3bq1wnifPn0mT55c9bx1tAiLi4sPHjxoY2NDdZA65+XLl7a2tvgFSC1lZmaamppqaWlRHYTe8vLyOBwOj8ejOgi98fl8Pp9vbm5OdRB6E4vFr1+//rQ17O3tHR0dq563jhYhAACAemDDAgAAGA1FCAAAjIYiBAAARkMRAgAAo9WTC48xQXFxcWxs7Js3b5ycnDp06EB1HNq7fv06l8tt1aoV1UFo7Nq1a48fP27YsGHnzp0rvRUafFZubm50dLRAIPDy8rK3t6c6Dp2IxeKHDx/m5OR06dKl/HhaWlpUVJSFhUXXrl2reXFNnDVKDxKJxNjY2NPTs3HjxleuXGnevPmxY8c4HA7VuegqNja2S5cuPj4+kZGRVGehJZFI1K9fvwcPHnh7e2dmZg4bNmzo0KFUh6KfpKQkf3//wMBAQ0PDQ4cOhYaGDhkyhOpQ9JCQkODj46Onp5eXlyeRfLzXenR0dEhISJ8+fe7du8fj8c6ePVudH5uhCOlBJpO9ePHCwcGBEFJQUNC4cePjx4/7+flRnYuWBAJBx44dO3To8PjxYxRhzSxbtuzYsWNRUVE6OjpUZ6GxqVOnFhcXb9++nRCyadOmrVu3JiQkUB2KHgoLC4uLi3Nzc1u0aFG+CDt16jRgwICpU6eWlpa6ubmFhYX16NHjs0vDMUJ6YLFY8hYkhPB4PB0dHaFQSG0k+po/f37//v0/+xtbqML+/funTZv24sWL6OjowsJCquPQlampaXFxsfwxn883MzOjNg+NGBgYWFhYKAzm5+fHxsaGhIQQQrS1tXv27Hn69OnqLA3HCOlny5YtBgYGnTt3pjoILd24cePixYvx8fF///031Vlo7NmzZ1u2bCGE6Onp3b59+8yZMx4eHlSHop/Zs2ePHj3a19fX0NAwJydn3759VCeit8zMTA0NDUtLS/lTa2vra9euVWdGbBHSzIULF+bPn79v3z7skqoBoVA4YcKEzZs3c7lcqrPQmEwmEwgEjRo1ioqKOn369OjRo+fMmUN1KFqKjY29efPmgAED+vfvLxAIDh06RHUiepNIJCwWq+wph8MRi8XVmRFbhHQSExMzePDgo0ePfnphWaiOf//9NycnZ/PmzYSQ+/fvp6amTp06NSwsjOpcNMNisaysrHx9feVPfX195Ue54EstXLhw1qxZkyZNIoS4urp27Nhx5syZ+F9ajVlaWopEooKCAmNjY0JIVlaWlZVVdWZEEdJGXFzct99+e+DAgU6dOlGdha5at269evVq+WOhUFhUVOTv709tJJry9/dPSUmRP05JSWnUqBG1eWiKw+GUHewXCAQsFgvX068Nc3NzNze3yMjIAQMGyGSy8+fPz549uzozogjpoaioKDAw0N7e/uDBgwcPHiSEDB482MfHh+pcNNOoUaN+/frJH2dmZmZkZPTt25faSDQ1a9YsX19fLS0tXV3dlStXbt26lepEtDRhwoRp06YVFRUZGhqGhYWNGzcOv4mqJj6fP3PmzPz8fJlMNmHCBB6Pt2zZMkLIL7/8Mn369PT09Fu3bgkEAvmJM5+Fn0/QQ2lpaXh4ePkRb29v3MCsNuS7RoOCgqgOQlfPnj3bv38/i8UKCgpq2bIl1XHo6ubNm5GRkQKBoF27dj169Ch/iAuqoPCVqKurW/ZL1itXrkRGRpqamo4aNcrIyKg6S0MRAgAAo2F/NAAAMBqKEAAAGA1FCAAAjIYiBAAARkMRAgAAo6EIAQCA0VCEAADAaChCAABgNBQhAP0IBIKJEye2bt06MTFRJpNt27aN6kQANIYrywDQz5o1aywsLHR1dW/fvp2amvrzzz+7uLhQHQqArlCEAPRTWFhoYGBACNm1a5ebmxtuywVQGyhCALravHmzp6enp6cn1UEA6A23YQKgH5lMFhYWFhgY6OzsTAgRCARaWlpUhwKgK5wsA0A/oaGhwcHB8hY8depUXFwc1YkAaAy7RgFoZuPGje/evUtPTy8sLGSxWBKJZPfu3VSHAqAx7BoFoBOZTObq6tq5c2eRSLRy5Ur53UepDgVAb9giBAAARsMxQgAAYDQUIQAAMBqKEAAAGA1FCAAAjIYiBAAARkMRAgAAo6EIAQCA0VCEAADAaChCAABgNBQhAAAw2v8AW1CuQKqGy6MAAAAASUVORK5CYII=", "image/svg+xml": [ "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n" ], "text/html": [ "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "using Plots, LinearAlgebra, LaTeXStrings\n", "\n", "# Parameters\n", "Σ = 1e5 * Diagonal(I,3) # Covariance matrix of prior on w\n", "σ2 = 2.0 # Noise variance\n", "\n", "# Generate data set\n", "w = [1.0; 2.0; 0.25]\n", "N = 30\n", "z = 10.0*rand(N)\n", "x_train = [[1.0; z; z^2] for z in z] # Feature vector x = [1.0; z; z^2]\n", "f(x) = (w'*x)[1]\n", "y_train = map(f, x_train) + sqrt(σ2)*randn(N) # y[i] = w' * x[i] + ϵ\n", "scatter(z, y_train, label=\"data\", xlabel=L\"z\", ylabel=L\"f([1.0, z, z^2]) + \\epsilon\")" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "Now build the factor graph in RxInfer, perform sum-product message passing and plot results (mean of posterior)." ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAlgAAAGQCAIAAAD9V4nPAAAABmJLR0QA/wD/AP+gvaeTAAAgAElEQVR4nOzdZ2Ac5bk3/Htmdrb3qlXv1XLvDTDVkICB2CGYAAGTUBJanIS8Ibxp5OR9IMBjSPA5JwVMgFAMhBLTY2LcLVuyJKt3aXvf2d3p835YYwwxtixrtSrX75N2djVzzfr2/jWzd8EkSUIAAADATIVnuwAAAAAgmyAIAQAAzGgQhAAAAGY0CEIAAAAzGgQhAACAGQ2CEAAAwIwGQQgAAGBGgyAEAAAwo0EQAgAAmNEgCAEAAMxokzQI3W73I488MvrXC4KQuWKmN0mSYJq9MYOGN2bQ8M4FNLzxNUmDcGBg4LXXXhv965PJZOaKmd44juM4LttVTFXQ8MaM53mGYbJdxVQFDW98TdIgBAAAACYGBCEAAIAZDYIQAADAjAZBCAAAYEaDIAQAADCjQRACAACY0SAIAQAAzGgQhAAAAGY0CEIAAABTg4RQYyQ1nGTHd7ey8d1ddrEs29zcnO0qJk59fb1cLs92FQAAMBEkhBrDSToRz7FoEBrPj75pFYQ7duz4zne+U1pamu1CJkJvb++f//znq6++OtuFAABAxh1PwVhkLu0hbDXju/NpFYQ8z69Zs+bVV1/NdiETYcOGDTzPZ7sKAADIuM9SMDyX8SmLazCFanz3P62CEAAAwDST/l6QiYbnsj5lcQ0mV477ITIYhF1dXf/zP/8zNDRUWlp6//33W61WhNDIyMjjjz/ucrkuvPDCW265BcOwzBUAAABgSkunIB3yzxVCyuJaTK7IxFEy1Wv0yJEjS5culclkV199tUqlCgaDCCGGYVavXk3T9DXXXPPYY4/97ne/y9DRAQAATHUSQg2hJBP0zRUiJ1JQ5FlJGOeV4zJ1RXjPPff86Ec/euCBB07e+Nprr6nV6qeeegohZLfbN2zYsHnzZpIkM1QDAACAKSqdglzQPQ9LKktqkIxECIlcKjbcoLKUKvS543isjFwRMgyze/fuFStW/OY3v3nooYdaWlrS2/fv37969er0zytWrAgGg319fZkoAAAAwNQlSlJDOMkH3XOxpKL48xSMDh5MMkGJIMb3cBm5IhwcHBRF8Z577tm0aVMoFFqxYsX777+/ZMkSj8dTWVmZfg1BECaTye12n9hysmAw2N7evmbNmhNbfvCDH1x88cVfdcREIoFhGE3TkiSdS+U8z+/Zs6elpUWSpOrq6lWrVk3agXqSJNE0TVHUOe6HZVmE0KQ9zUku3fCyXcWUxHGcIAjQ83lspnfDEyV0JEpLQdcckhPyyxM0jRASuVTCdSTFxbT2Gl7SjP6jT6lUymRnSLqMBKFCoUAIbd68+frrr0cIBQKBJ598csmSJSqVKv2xm0bTtFqtPuUeDAaD0+n86U9/emLLrFmzvurFCCFBENRqtUKhOJfG8dZbb333rrvDMUpWNAdhOD/4a61C9tTjj1533XVj3ufJWlpaOjo6rr322nHZG4ZhCoXiNO/JKKWbCATh2KQbXrarmJLSQahUjn8PwJlgGjc8UUINYUoe9c/VyxQFtQjHEUICQ8VcLRLOWAvnaY0lZ7VDHD/zjc+MBKHT6SRJsri4OP2wtLQ0fXc0Pz+/p6cnvTEcDlMUlZ+ff+qyZDKDwXCaS8AvwXEcx/FzScEXX3zxpltv477xCFp5M4PLEEJIEpn9f79p0+2hUPjOO+8Y855PaGhoeO21104ThDfeeOODDz54ykvkU8IwbDT/xqeX3sO572dmSje8bFcxJeE4LkkSvHtjM10bniBJDaEEFhiZryMUBRUIwxBCAhOnRo5wGK13zjrbFByljLyVJEleffXVH374IUJIkqQPPvhg/vz5CKFrr7323Xff9fl8CKFt27YtW7bM6XRmooCzFQwGN91+J/edZ9DqTQj/7I8DDEdLr2dvf+W+H24eGho6l/0nEon/3MhxHE3TJ2/ZvXt3LBY7eQvLsgzDnMuhAQBgShAk6WCAQt6BuVq5ovB4CvKpaGyogZGSWlt1OgVTnX7WHR/fQ2eq1+hvfvObiy++eNeuXeFwWCaTbdu2DSE0d+7cjRs3LliwoLa2trGx8Y033sjQ0c/W9u3bkb0czbvqFM9Vn09Urnz+hRce+MlPxrDnoaGhDRs2jIyM6HS6Cy64IL0xPYzE7XbjOG6z2Z5//vnKysr77rtvaGho3bp1CoXi4YcfXrNmzdq1a4PBoCAIpaWlL7zwQl5e3rmcIwAATFqChA4E4qRvcI5JQzqLEUqnYIQaaWIk5vMUPOqm/GH9koLxPXqmgrCioqKjo+PQoUM6nW7WrFknruKffPLJu+++2+VyzZ8/X6fTZejoZ+tIY1OyZMVXPZsqXbHv0JGx7fn73//+ihUrHn300VAotHTp0pqaGoQQQRB/+9vfKioqEEJPPPHE/fff//bbbz/++ONvvvnmSy+9tHDhQoRQIpF44403CgoKJEn62c9+9tBDD/35z38eWw0AADCZCRLa74vKfQNzbAYypyi9kUsEKfdRFrFaW6XWWIJEKXFkmIqFUmVRHTmeYydQRmeWUSgUK1acIl0qKirSGTB5xBNJJP/qm7RyNRVPjmG3giDs2LHjD3/4A0LIbDbfdNNNBw4cQAjJZDKSJLds2eJ2u8PhcENDw3/+rkajGRwcfPzxx71er8vlOnr06BgKAACASY6X0D5vWOkbmG03nZSCgYS7hcV4jaVSayyReIHaP5QUY6myWI5jtlJhHN8apuHXrWNQWlQgD/V+1bNEoLe8eCxX4hRFcRxnsVjSD9OTzCGEmpubly1bxrLs/Pnz6+vr4/FT3O/+5JNPLr74YoIgFixYUF1dfcrXAADAlMaJ0l53WO3rn5vnkH+WgmzcS7lbGJzXWiu1xhKR5uJ7Big8SBdHc3Pm0RJGsafodXEuIAgRQujyyy9HR3eguP8Uz9Fx8shrV37tijHs1mAwWCyW1tbW9MMTEwvs2LHjqquu2rx58/r16wsLC0+8niRJQRDSP7/55pu33nrr3XffvX79ervdPoajAwDAZMaK0l5PSBfon1OYL7McvyfHxlwJbxuD81pLpcZQJFAstXswqYuzBXSec2GEp7vCfeM+hhKCECGEli5desEFFyj+8m1Ef/HCi0vJn71ldm3V2rVrx7bnu++++6677tq5c+df//rX119/Pb2xsrLy/fff/+ijj956661f/epXJ15cV1f3hz/84ZVXXunt7a2oqHjjjTd27dr1yiuvPP7442M9MwAAmIwYQdzrChr8A7OLiwij7fjGyEjS383gos5SqTEUCqFkfG9/xBQQnGx+7mI/HRuOu2ZZqzXkOI+hhGWYjnv5+W2Xfu2qxl/NpVd+F5UsQjiBBg4rd22tyLW+/fo7Y/4D5Oc//7nZbN6yZUtlZeXzzz/f39+PEFq3bp3L5dqyZUtubu6f/vSn7du3p1/89NNPP/vssw0NDUVFRZs2bYrH44888khJSclzzz2XHosCAADTACNKe0Z85rCrvqwM1xqObwwPJkP9LMbrrRVqfQHnjVNHRqiCKGmVO2z1Q5Q7TEdnWWvkxPhPT42d45xkGbJv37777rtv7969o3x9PB7X6XTbt29/8cUXx7wwryAIf//73//83AvNR5slJNXW1t18/YZvf/vbk3Na8A0bNqxfv379+vXnuB+YYu1cpBtetquYkmBmmXMxpRteShD3DnkccU9NWQWuPn4WqWAfHR1iMV5rrtAYCpj+UKLDTxUHlRaDzVrTEx5I8XS1pYLEM3LxBleEnyMIYuPGjRs3bsx2IQAAMD2lBHH3gKsg6a8or8JVmvTGpL+LjXtZjNdZKtX6fKYrSPX54qVBncVuNJa1B7sRwuqsVTiWqe/yIAgBAABMhAQv7u4fLqaDFRXVmEKFEEKSlPB1cMkQgwt6a41Kk5M66k74w4mygMlWpNHmHwt2KmWKclMJlh5iL4qN0ViOUpGvUo1jYRCEAAAAMo7ixb29Q2VcqLTy+BK7kiQmPMcElqIx1mCpUqkcyYYRioomy4Jma7lCZW0OHDMrjEWG46PXaEE4GI7oZbK8cU1BBEEIAAAg0+KcsKenr1JMFFfWYaQcISRJQsLdynMpRkoZrTVKhS2+dzCBUXRpyG6rQ6S6xd+Wp3PmaI4PHovz/IFQuECtqtRqx708CEIAAAAZFGH4vV09dSRfUFWHETKEkCQKlLtZFDgGpQy2WjkyRj/tT2kSjDPqtM9hMaLd31FiLLSqzOk9+BmmMRqr1WnH/VowDYIQAABApoQYbl9nV70KKyitSS8uKIl8fKQJYSglJoy2WpLTxQ4OphwMZ447HfMpnu2J9FaYSo3K48MqBpPJjji1wGQ0y+UIIQ+dlOO4WT6e/Y2nWxAODw+/8sor2a5iIpzjylAAAJBpQZo90NE1RyfLK6lML6skCWx8uFGSyWk+YrLX4ZQy3jiczKNEE5PrWBigo8Nxd6216sSQ+U6KGknRyy0WjYyQJKmDCrtS1GLzOK/fN62CsKamprCwcIYEYUFBQW1tbbarAACAU/Ml6YbOrvkWtSO/9PgSu1yKGmnCldoUEzTa6jE/Fm8fSZZQuAHPtS8aobyBZLDeVqMg5AghEaHGSIQWxBUWsxzHeUlsjPhZUVhhyVMQxPiWOq2CsLa29uWXX852FQAAMNONxJNN3V2L7EZb3vGptAU2SbmaMKU2yQSM9tnSkED1h6mSsMqss1pq+qJDCS45y1aTHjLPiOLBUFgrky01m3AMSwjcwZDHLFcuMDnGeZpRhNA0C0IAAABZNxyNN3d3L82zm3OOLycuMPH4yFGZ1pRI+U32uXxXMuWPUxVBrdFqNJR1hHowhM2yVqeHzMd5/mA4XKBSVWi1CCEfk2yK+Kv15gJVpibTgSAEAAAwbvpDkWO9vcuKck22nPQWPhVJeFplemsi4THb5jBHYzSTSpT7jKZCtTavNdihIdWlxqL0kPnPOojq8lRKhFBPItpHRRaZc4ykInM1QxACAAAYH73+UOdA36ryYp3x+DqsXCKQ8LYTOksi4TGZ59CHwymcThb7rZZKmcLY7G+zqS0FuuMrzg8mUx3xeLqDKC+KTVE/LQqrbPkKfJy/FPwSCEIAAADjoN3tG3INr64sV+uPj3xg496Uv5vQ25IJr1FXTx8M0kYmZQs6bPUCLm/2txfoc9ND5iWE2mNxD3O8g2hS4A+GPCa5cp7Rjo/36oP/CYIQAADAuWoZdnl83hVVFWrt8W/ymMgIHR4gDLZU0mdU1NINwWQOyxhDuY55SVHoCnaVmYrNSiNCiBfFI5GoIEkrLRYSx/1MqjHiq9AaizWGiSkeghAAAMDYSQg19Q+FI4FVtdUK5fGZX5jwIB11YTpzMukziBXJxhBdnBL0qXz7ohBLDcSGqy3lOrkWfTaDqIEk6w16DKHBZLwjHppvcljGdcj86UEQAgAAGCMJocM9fYl4bGVtLSk/3p8lFejmkhFcZ6GTfl2qLDkQTZbHMR2Wa1s4kvD5E4F6a7VSpkQIRTn+YChUqtWUajQikpoigTjPrrTmqYgJzSYIQgAAAGMhStKBzm6RY5bX1crSC5hLUtLXIXBJSaVlU0FNKD8VoBJlYYVea7VUpwcL1ttqSIJECLlpuiUWrzfoc5TKlMAfCnu1MnK5xUlkbN3BrwJBCAAA4KwJgrivvV2GY0tra/Hjk4gKCc8xhJCoUHKpiNLlSDE0VRbQGo4PFpQQqrNUETiBEOpLJHsoarHZZCDJIJs6HPaVao1lE/Wl4JdAEAIAADg7HMftbu/QK+TzKsox7HgKUq4mnFDwMolPxBWDVprkEyU+k6lYpXG0BNq1pKbUVIQhTJSko9FYjONWWC0qgkh/KTjPaLcqMrKyxGhAEAIAADgLDMt+2tZu1WrmlJWlt4gCm3AdJRQ6RmLEWErWZ2IsAmX12q21SKZp9rc51LY8nRMhxIpiQzgix/EVVgtC6HDEl+S5VbZ8ZYZHCp4eBCEAAIDRSiSo3R1dhXZbdX5+eovIpeIjTTK1mRYTKMLhg0baKaaMvvTKgh3BziJDvk1lQQglBOFAMJSjVFbrtClROBjy6En5smx8KfglEIQAAABGJRaP7+noKst1VuQeXwhJYBPUyFGlOZ9K+jC/gLkNTCnPqqN5joUxjumN9FWZy/QKHfps7rQanTZfpfIxycaIvyx7Xwp+CQQhAACAMwuHg3u6++uKiort1vQWPhVNeFqUlhIqPiyNSFLESJcnca2YZ13kS4VclKfWWpleWbA/meymEgtNRhNJ9iSivVRkwcSOFDw9CEIAAABn4Pf7DgwMzysvzzUdv4ZLTyKqspXHQn3YEI6z1mRVmFQrbNbagdhwjKHqbbVygpQQaonGQiy73GyWE1hD2MuIwurMTx96ViAIAQAAnI7LNXzE7V9YVenQadNb2JgnFexVO6qi3nbUi2NKG1Xu0+gsRkNZZ6hXRNIsWzWBEZwkNYTDOMJWWC2MyO8Oek2kYmKmDz0rEIQAAAC+0sBgf2swuqy6yqxRp7fQ4UEm6lLZKyMjLXifEjNbqByPyfjlYRIJXjgYDtsUilqd1sskm2OBaq25QJ2pNQXPBQQhAACAU5HE7t7u7gS3qq5WJycRQpIkpQLdfDKssleEexuJQa1YYE4Z3TZrLZJpjvqO5Wjs6WESfoZpjESrdbp8tbIjHh5JUYtNTgMpz/YpnRoEIQAAgP8gCu2dHYM8vrq2Wi0jEEKSJCa97SJHy62lobYjhMcolGsZjTfHPo+WpM5gR7G+wKa2oM+WFZxvMupkxIGQR5TQSmvepPpS8EsgCAEAAHyByDJHOzvDpPq8mhIFgSOEkCRQrhYcJ0hTfvjIQSKew1UToiqSa1+YXk2i0lRmUOgkhFqjsSDLrrBYOIn/NDDiUGpq9ZbJ9ZXgf4AgBAAA8DmRSTW0t9Ma46qyEhmGEEKiwCVczYRcjasMoX0H5FIhU8PjKiHXvmiE8voTgVnWapVMmZ41hsTxFRazl0keiwdn6a1OpSbbJ3RmEIQAAACO4xLx/Z1dpCVneYGTSKcgl4qPNJFaG4YrQ3saSFVJsiSu0hgs5qqeSD/NM+nVJOI8fzAUzlWpKjTqdirso5NLzU6dbJJ+KfglEIQAAAAQQoiOhPb19Oty8ufn2dM3Mz+bOKaQTzHh/Yfl9rJUflinz9XpCo8FOkhCXmetwjHcxzBN0ViNTmuVk/vCHjmGr7LlybI9cdroQRACAABAyYB376DLXlAyy2ZMpyCfiiQ8rSprRcrnoxr7yIryhMlvNVfKlKbmwDGjwlCsL8AwLL2g0iKzSZCEXYGRUq2hTGPM8smcJQhCAACY6WKe4X2uQFFxWZVZn97Cxn0pf5cmpy7e053o9JJ1FSmtP8c2m8Vkzb62Qn2eQ2MTJakpEo3z/AqrxUXHe6lodldTGjMIQgAAmMmk0FD/gSBVW1FZqDs+ZJ6JDNPhQY2zPtrcTI/EiXlFrCKc61gQ5ei+aHe5qcSkNNCCcCgcUcuIxWZjSzSQFPgVlly1jMzuyYwNBCEAAMxQkih4ejsbU2heZVWO+njHlmSgh08Gtc764J6DbErA5tuQksuzLRpJ+PyJQJ2lSk2qohx3KBwpUKtylYp9IbeJVKww5k62idNGL1NB+M4774yMjKR/NhgM3/zmN9M/x+Pxv/71rx6PZ82aNRdddFGGjg4AAOAMeG64p71VUC6uKrHIZeikIfMaU7X/4z28XCnOUqm0aou5qifcTwvHO4iOpOhj8fhsvY6X+D1BV43eXKCajBOnjV6mevU88cQTr7zySkNDQ0NDQ0tLS3qjIAjnn3/+xx9/bLFYbr755j/96U8ZOjoAAIDTEOlkT3vLMUy7rKL0eAqKQsLVLEmiUlPi+WgXp1UKVYTBlGs0VRwLdIhIrLNWyQiyLR7vpKglZlOITXRS4aVm51RPQZTRW6O33Xbbhg0bTt7yz3/+MxqNHjhwgCCImpqau+6665ZbbsHxKdPFFgAApgExRbV3dbq09pWFuRoZjhCSBDY+0iRTGnBW5/3436jYIjpEq6WSkOub/W0mpaFYXyAgdCQc5kVpgVHfHPHKCWKlJY+cFh/gGQzCnTt3ulyuurq6iy66CMOw9JYLL7yQIAiE0EUXXTQ0NNTX11dWVpa5GgAAAJyMj4Uae/ri5ryV+XYlgSOEBCZBuY4q9E4hgHzN+7Eqm2SScmxzaYSOBdqL9fk2tTUhCAdDYbOcLNEoDoQ9xWp9uXaKjZE4jUwFYTre+vv7t2zZUlNT89Zbb+E47na7T8SeXC43mUwul+uUQRiNRnt7ezdt2pR+iOP4xo0blyxZ8lWHo2maJKdkb6WsY1kWISSKYrYLmZKg4Y0Zx3GCIGS7iqlqzA2PD3oaXT7elr/IbkAcS3NIoGNJT6vCVJLqSYQH2sRaC64R7MbZ3mRsKOaqNJfpcM1QLHY0GqvSanmB2e/1zTHYrDIlTdPjfl6ZQJJk+urrNDIVhFu3bk3/8Mtf/rKqqurtt9++8sorZTLZyR+4PM9/1b+lQqHQaDQLFiw4scVms53mZAiCOOOpglNKv2/w7o0NNLwxS38UwLs3NmNpeJJEuwcbgjFFXukimyF9Q5Oj/HSgS2urSbW6w+FeabZJodXarHUjlDdIR+ptNSpS2ZtM9ieS883GwWQ0JfCrbPkqYioNN8BG0Zc14+djMBjmzJnT3d2NEMrNzT3RlZSiqGg0mpube8rfUiqVDofjjjvuGOVRSJKEP8zHRpIkhBC8e2MDDe9c4DgO797YnHXDE0VquPtgjLOXVNUZ1elsYCLDXGRQZ6qNHeqNES5stslozDcYSrvCfaIkznfWYxjRGInSojDfamqO+KwK1SL9FB4jcRoZ+Z5TEIQTNz18Pl9DQ0NNTQ1C6IorrnjvvfcoikIIvf766/X19YWFhZkoAAAAQJrEc+Getj1xqaC4bJZJk07BVKCHibpUyorI3o6I0oXKdVZrpU5f0hrokBNkrbWSlbDdwaAMwwpUZGPYW60zzzbYpmUKogxdEfp8vkWLFq1atYokyXfffXft2rWXXXYZQmjVqlVLlixZvXr1okWLtm/f/swzz2Ti6AAAANIklvb1dBzBdXUl+QXpIfOSmPC2SQKnFIuCB1rijojMaXA65vK4/Kj/mFPryNPmBBj2SCRSptNQXLI3QS+1TJl1JMYmI0HocDh27NjR3NwsiuLmzZtnz5594qnXXnvto48+GhkZ+clPflJaWpqJowMAAEAIiSnK09vZrLDOL8i1K9KDBXnKdRRhMjJs8fU00/lRpcOR45gX45m+UHeZsdisNKbXl6/SqvuTYZ1MvsqaT0zTC8ETMhKEOI7X19fX19ef8qmLL744EwcFAABwghgL9fX39ehyF+fZTXICISRyKcp1VEYahEHSF2ymy1IaS2GOY64nGfRSvjpLlZJUNUWjUZYr0yjbqWCVzlSk1mf7PCbCVOr8AwAAYDSEoKfb5R42FS13mrQyAiHE0zHK1SxXOvlOPsy10yVJk73OaqnqCvdxIl9vrxUQvicQVMtkZjnqS0YWmRwmuTLb5zFBIAgBAGA6kVh3f2uQilqLVtiN6SHzHOVP+jsVRB7TQgUUXXwe58xfotI4WwIdKpmy1lIZ4fjDkXCuShFm4gJBrLblk1NnWd1zB0EIAADThSjQg11NSUl0FK+0amWfDZOgQ4MKPi/RFwvo2pGFLCxYI8pUzf42u8ZWoMtNfylYpFYMpiKFal2FxjiasXfTCQQhAABMBxLHJAc7D/MqnTN3jkmNIYQkKRXo5qigPO6MeaMhSwtpNhfkr4oJbF+oq8xQZFAaGyPRGMc5VbKBZGSKLqt77iAIAQBgyhPpZLSv8zBhyHU6a/RKhBCShISnTWBowmePxPwhc6supyzPucyTCnoob425giCUe4IhOYbJcJbisdW2fAU+Qyf6gSAEAICpTaSiwcGeRlVOhd1arJEjhCSBpVzNOCfDB40R0h8yNdnyF9odczpDfbzEz7bVxgTpSDBkkhNhJl6g1lfqjBiaWbdDTwZBCAAAU5gQ9Hi87hZtfr3NlKsiEUICk0i4mwlWww8ooobhKNmdV7xGqy9s9rdr5ZpKQ9lwiu6Ixy1yPMjE5xhtdoU62yeRZRCEAAAwNUkS5xkYDEd79EWL7HqzXIYQ4pLhpKeVpIyMTxE0dtAKf1n5lYJMfdTflqt12NX2xmg0wrJKgk8K0gpLrloG071CEAIAwBQkiQI33NOdEjzm4uVWbXqwIBv3JN2dsoiFTip95iNIwVVVrg9z9ECou8JUQhKa3cEQgSFRSpnl2lq9ZebeDP0iCEIAAJhiJI5l+wdaBWXS4lxh0igIHCGUCvYxgSHCb6NxhVf/b4XWXFJ+1XDcE6Qjs6zVcQE7GAwpcDEpMPUGq1OpyfZJTCIQhAAAMJVIdILpbz9mKsDMlqVmtQzDkCQmvO18IIT5bCkDcqP3rbY6e96yjnAvklC9tbovyfQlKDkuYJi00pqrJuB26BdAEAIAwJQhUpHYYM8hVU6+yTbLqMIQEgUu4WoWAkks5EjYKR+7u6DoAo2xrMXfppfrCo2FTZFYiKURxtqVmhqdeboupXQuIAgBAGBqEIKekNfdpCvMkxP1RhVCSORSscEjyI9JqfxozlCEaSmruEpQ6JsD7UW6fKXcuMsfpEVGhgtz9NYcuB36FSAIAQBg8pM4V78/TrUYiurMOj1PI4T4ZJgaOIr7NQJhDzuOpbiRqppvhgVuJNxXY6mI8sThUBBJrE6GLzDlqQn4tP9K8NYAAMDkJvDsUPcIJ3XrCxZadGY5EY/TbMyd7D+GBSycweyT75FhWEXttwYoT4qn6221vQmmJxFFiClUa2fprXA79PQgCAEAYPKSOIYd6OgldG6dZZlVq5XhkiQxoT4+4MfCTjZX6WE/MGjyHQXntUd6VTJluaniUDgWYJMkLswz2qF36GhAEAIAwCQlJuP0YGeb0p7SmFaY1XNLO10AACAASURBVAoCR5KQcB3jeoYIrIouZL3U+zk585SWmuZgh1PrUMktu4KhFJ+yKGQLTPlwO3SU4G0CAIDJSAj7U96hJk2BQqNdZlIRGCbyTHzgiDCYQlJ5oiQSjjQUF19AK82dod5Kc2mAIw4EvJLEVOuMNTBY/mxAEAIAwCQjSbxvKB4ON+oKHVpNjV6JYZjAUPGuQ5KLQObKkOIwHg+WlH/dK7AU5auxVbfHUt3JsBYXF1mcDuVMnzv0bEEQAgDAJCKJAj/SE6K5ZkNRuV5VrFEghFjKn+g4IgVNKN8ZwA9IqXhB1RV9iQCJy4pN5ftCER8dz1cpF5pg7tCxgCAEAIDJQuJYdrDTS6g69DmzDSqHkkQIMcFB6lgzRhfzxcog/6mONGgtCzpiLqvKTJCWD3x+TkzNMZph7tAxgyAEAIBJQUxS3HDXkNo2QBoWm9UGkkCSmBg+lmrvJxTVdBUTju6xGEtFY0lXYKDOWeNl8Qa/20Bi59nzbTNyZfnxAkEIAABZxjDM/zy5pathf4vKUb1oyX/dtMFAEiLP9u9/b2hfl0+wmebuyY8ROfbZcaUpmAyWGMqaKa6PilRo1YvMOTN2ZfnxAkEIAADZ5PF4rrv6Grz6gn0LH0wh+b5db7239bxP33rh/We3th/y7bcsjBqa7K2Hibjswcd+a5QxuYbyD4aHJFJaZXWUaQwYDJY/ZxCEAACQPaL4259sppbd2jTrKh4pkSBPrbmfcuQ9/cC9cbbik4t+ihQdCjHvMLGJ7//g5w/9nz/84c9vu4dViFvrLDPLldmufprAs10AAADMUBLHMH2th3qGDtev4yU1EhUIwyqYvvUO5fCw9oP5F+PydlyUdZF1HBGnSjYcCqEdQz21eu1aez6k4DiCIAQAgCwQkxTbd8yrNLcZCyVRjSQSR+Ky1JErYscGyHkHUg0qc5JFhj55EY8nY6iMJRNCUUEtLy63OEkMPrrHE7ybAAAw0YRogBvqHDTkdcn0Rt8wSlAKib0i/u8lsUCDZk6v/JhOyyWiwojMwCJZTCoUZF6E8cpDTQsLSrJd+zQEQQgAABNIkjjvIOsdaTWW+AjNSpv2F3d/t+j1u64L7ChIkf82VASJFvOuJ5YtXh1v+UcSt1G4QSJdSNRjzX1VZq3JZMr2CUxD0FkGAAAmiCQK3HAPK4qNhmK1nFxqVBEY9q1LVjuG297c+WajHlOSQVOg56r1GxddtvbwTx71vv3/YHWrJMpgbP80L3j01TdfzvYZTE8QhAAAMBEkluaGuii5tlFtyVcpKnUKhFCiqznR0b3gwhurN/gHhztIQdCU1npiqeu+8zP3wos4ZER7G1S9B2aX53y852OCgPGCGQFBCAAAGSdQUX6kJ2zMbUaaWp0yT0VKAh9r3JNyx4iyOUnNiIKQleTn+xU6ucp+989/NXjFnZJhIRKsqOymFEJHXtv8l2f/dtstN2X7PKYn+I4QAAAyiw+6eVfvsKWkBWkWmdV5KlKgYqF/v5fyi1JVRVI7rJSRKSbhVuh12oKdnrhLRkj685BgQ+j4YPn4mvv/528vZfcspjG4IgQAgIyRJM7Vx6eoTnNpVCJWWNUqAme9nnDDbqQqEGoUoiyoFIkok4yrLHJl7j99AWWSUg6k4su/uJSSIScQCGTpHKY/CEIAAMgIiWPZoU6eVB7VFxMYsdyilmEY3dsZbjmKO2sZe0SuJBDNujiO0OcHJcNRv/dCR255TuHP3V1f3pe7o7i4OAvnMDPArVEAABh/YirB9rUm1cb9codRKV9kVuM8Hzu4O9zajpfXp3KCGo2BpgIjoiAzlTWkyOEUdUtx5TyDVafTrZxfL9/7zOf74mjTWz998J7bs3Yy090ZrghZlpXL5RNTCgAATA9CNMB7BsOWwmZBUaNT5KvlYjwePvgpxyvE2lJOGTCq7L5AR1hpElTF7wYic4ymC+15xGfTZz/331u+ecsdB/77Nap0tZyNKts/+Pl9d1144ZrsntQ0drog/Mtf/hKJRO6///4TW9xut9PpzHxVAAAwNUkS5xsSY+FhW1kfhy0yq40kwY6MRBoPCLpcoUwmU3EqZBjwHWM0+SOYpTccvjK3sEpnPHkfGo3m7Ze2dXV1HTlyxGg0Ll78gNFo/KoDgnN3uiB89dVXt23bhhBKpVIqlQoh1NTU1NraetFFF01QdQAAMHVIPM8Nd4kIa7eUxQS0wqpWYVjy2LFYTxvKLaMtcYPenIi43zuyqzsoD+cIc6rV3yut0cnIU+6toqKioqJigk9hZjrdd4Q0Taf/DLntttvC4TBC6LLLLnvuuecmqDQAAJg6RDrJ9rXwSs0RbT4nIXvYNdLeEdqzK9LXLZZV0PaYxVxy+PDHG3/2o/vfjzzsMTzzdssv19146NM92S4cnPaKcN68eb29vZWVlXK5PJlMpue48/l8oijiOPSyAQCA44RokPf0Jy0FhwXVgR3vPvnww7b8+ktsMjFF1V626LL5ORZNSVfvv3/09F+PrnlU1OsRW5RwahLVt133vStaPv3AZrNl+wxmtNPl2Z133vnMM88ghJRK5Yl/J4ZhzioFd+7c2draeuIhz/NvvPHGf//3f7e1tY2lXgAAmGSEgJv3DgVzyg/yyvZPPnrkjy86bvnbRWuuGlxw83sXbnrknZ0fvL+7beCTD7pC7ZVXixoHoquQqEEIIZ09vPiWl159LdtnMNOdLtLKysouv/zyJ5988utf//pTTz2VSqUOHTo0e/bs0e/9hRdeuPTSSx955JH0Q0mSrrzyyv/6r/9qbW1dtWrVG2+8cU61AwBAdokCO9jJx8NDjoo2Gl9i0Tz9fx5b9rV7LxLam/QFLXrepazkL773pY9e7NXUfJog6KQVcSUIfT5lKGeraOsZyOIZAHTG4RMrV65cuXIlQmj58uXPPfccSZK///3vR7nrQCDwu9/97qabbmJZNr3lk08+aWpq6urqUqvVS5cuffDBB9etW3cu1QMAQLaITIob6hKVulZtHsuhlTatnEpdYDVhstC/9fkhgvFgs0rFA5KK2kdUXoXU12gs/xpqTcz6wk5kocHSedAVP8tGe5PTYDB897vf/c53vjP66c/vvPPOBx980Gw2n9iyY8eOSy+9VK1WI4TWrVvX1tY2MAB/CgEAph4hHub621hTzgG5VY7jS81qmSfg3/0vTEHsMppcMrkXK6uT3o+TqEVZLgWp20qqrr30Mm3LP1Dc//leGMq4/3+v+8Y12TsPgFDmplh78803E4nEhg0bDh8+fGLjyMjIiVmC1Gq1wWAYGRkpKir6z19PpVIul+u3v/3tiS2XX355XV3dVx2O4ziO48at+pkk/b5hn43kBWcFGt6YcRwnCMKUXFdIkoSAS4j44zllR5KoVIuXKvBkS1e0v5W1GpMF0lBPD1Gxsl76Z7uiNISbsY6hFUqdyAsqlerZpx75zt1fC83ZwNhryGCf6fBzv/9/H7Db7WfbiqDhjR5BEGfs15KRIAyFQps3b/7oo4++tF2SpJMf4jguiuIp9yAIAs/z6TEbaYlE4qtejBASRfE0z4LTSL9v8O6NDTS8MRM/k+1CzpIo8K5eSRBGbBU9CWGeSWVi+fihFioyzBfYJZPw03t/3fqDm5B8/5H8r6USStWBT+yHnvvjO9vTZ3r+6tVHd73/+hv/aOk6WLWy4OpH3zabzWN4E6bkW5clo+ndmZEgfPHFF1mW/eEPf4gQam5upmn67rvv3rJli9Pp9Pl86dcwDBMOh3Nzc0+5B61WW1hYeKKXzRmxLKtQKMal+JkmfS0IE+mNDTS8McNxXBCEqfXuiXSSG+qUaQwdWkeYEc536pXheKS5MSEkxCq7yqA1mcra+nbe9sv7XmoOVex5S+8NrT1v+X1P70pPSJKmUChu23TrOVYCDW98ZSQIL7nkErvdnv6ZZdlIJLJ27VqE0Jo1a77//e9zHEeS5Pvvv19SUgLzqQMApgQhGuTd/by9sFFUywW03KSSel2B3mZaIxOK1EZrPkZoPm1944hoVFrmP3N9sfNW9Zl3CiaHUQUhz/My2VlE5skzAzU0NHg8nnQQXnbZZXa7/aqrrlq5cuVTTz3129/+FgbmAwAmu8+mD03lVzckxFwVUYWjVGNnJNDD29WSjXTY6iLJ4M6Ot9tlBQucVWtz8uXwyTaljCreXnjhhRtvvHFsB9i4cSNN0+mfcRz/+OOPX3jhhZGRkZdffjk9MAMAACYtSeC5oS4MxwPOymMJvt6gtMWS8ba2GOPnCtUqq8lirmlzHfzY3ZvU1nyjoGa2AWbHnnpGFYRf6uRyVurr609+qFarN23aNOa9AQDAhBFTFDfUhRtt3QqLJ8kvM6lVw4FwTxtFJoRildleIlNZP+p4e3dcKHYsvjm/3ATftU9NsEI9AACcghD28b5hKae4gVfgvLhCTUqtvV5PJ21GeI4m1zE7zFBvN73WjywXli443+4kYAzSlAVBCAAAXyRJnLtfTMaTuZWHk1KBWlaWopNNnZHEMJtLqBwOi6Wm2du6Y6BZqav4Xtn8Io0m2xWDcwJBCAAAn5M4hhvqxuQKv7PqWJyp18pt3nB0oDeKfHyhwuwoU2hyX+/48HAktiR/+RWFlUroFzP1nToIt2/fHgwGTzzcu3cvwzAnHqpUqm9/+9sZLw0AACaWmIhxIz2EOadLbvIk2CVKQtntDvh7E9oE7tTn58z1M6m/HHkzKio31q2dbbLAzdDp4dRBeO211578UKFQ3HTTTRNSDwAAZIcQcPNBt5RbepCRESy/XBD4YwO+xEDKzOnyCszWmn3u9ncHWgr0hd+pXGJVqs68RzBFwK1RAMCMJwrsSA/iebqw9lCMy5XjFaFYfGQoyg9zeTJr7myksj7bvrM7HFpTuPDCgmoSbodOLxCEAIAZTaKT7GAnrje5LUXtUaaexM0D3mCwP6YIyIrM+XnzepLUK43vySXijvpLSoz2bNcLxh8EIQBg5hIift47hDuK2pA6FGeXCgLe5/In+ihdTFdYZrRU73C17nf1zDHkXFmxTCuH26HT06iCMCcnJ9N1AADAOEokErt27RoaHq4oL1+1atUp1nuSJN47KFJRvqDqSFJSS8KyKJXye3x0r2jHHUWLo5j2qbZ/JxPx9YX1C/JmwVJl09io7nRfeumlma4DAADGy7sffFi5aPU3t+68/d/sNf/fK9WLVrW1tZ38Aolj2L5jEs9H8qr2xIQcXqgfDsTc/T6xEy/R51edfyRJb23fpeWY22tWLMyvhxSc3uDWKABgWhkZGbnxBz/237EDacwIoTBCYXf72vXf7jqylyRJhJAQD/OuPpnF2a8090bo2Qyr84a9iQFK7TeW1OD6kmf7mofC/hUGw0Wli1RKfbZPCGQcBCEAYFp59oWXQsvvTKcgCg2jprdQxBUgzO+9997XrriCD7iEsB/Lr2hkiUQ0tTSWFMJBN93BW5GzeFUPL/2jc5+Gpa/PLagrmIfh8Ak5I8A/MwBgWmnvHRTs6xBCaNdf0Kd/RatuRZWrEyrjrT/40dtCYs7cOWxRbUOUMaZSi0JxKuELCB2qIqcld/473r5jQXc9iV9UPsdiKsn2eYCJA0EIAJhWivNysKFhydWG9r2AfvwxIkiEkKlqSdW8eXf/6sHnP/y4O5iqTCRtkaQ/0UMpXJaqeSHS9lJvk8jQV2iV8wvmKdSWbJ8EmFAQhACAaeXG677x9LobA8Xnowu/n07BQtZbxLqOWRawtV9/49ODN5dUEAlqJHlUMiNb8UV7YtGG4eZSAr/AZsl3ziFkimyfAZhoZ+41KghCMBjkOG4CqgEAgHNUXl7+ux/fpTjyKjLlyZAwO9mVwwcPamuCCtJgyKvqGmIj7mF6r6LYShaf97y7rykwcr6SWJdXWFSwCFJwZjr1FaHP53v22Wffeeed3t5elmU1Gg1FUSRJVlZWXnvttddcc43T6ZzgQgEAYJRuvXFjW1v7n7wts+zygMzUrCyRYYlZVKLW1a1bVBzAm81Vi9sF1a7+FjtOfkNHlObUKbUwWnrm+nIQ8jy/ZcuWnTt3XnXVVVu3bq2qqjp5AE1nZ+fu3btvv/32efPmPfDAA0qlcmKrBQCAUbnnhms7v3v7/prVPl2OQYjWx5PWYGeu5oh9zlx58bIdQd9w3LdIqZyrwe2OBTK5Ntv1gmzCJEk68SCRSPz0pz+98cYbFy5cePpfa2xsfPrppx9++GGr1ZqJsvbt23ffffft3bt3lK+Px+M6nS4TlUx7LMsihORyebYLmZKg4Y0Zx3GCIGTij2lJFHhXn8TSH3QM3/LYn8wlS4s5TQ7XblI0r9/0PVS+9N/+fhUiV8uFYr3JYKvBsP+YdGbSg4Y3vr5wRbhnz57f/OY3ev2ZB5DOnTv3iSee+OCDD6688sqM1QYAAGdHTCW44W5ca0jlVyvleW8/XM61tbrDTZpcY9l5Tx5MCb2e3jqVdoEsaTGVaAyF2a4XTApfCMKLL7549L+pUqkgBQEAkwcf8gr+EdJZPCzTtvUHa+IpLSZ4CsOWRfURy+y3w25RxNcajAWIMjnmkQqYMgYcB8MnAABT3onboXhxTWNciPd7F4lSgnENc81kSV0zbujwDRap9CvlrEGBG2xLcZzMdslgEvlCEP7617/ev3//6H+5srLyscceG++SAADgOJ7nWZZVq9Wnec3x26FqbSqv6rA7ZgzF5pKEN3KQ0cTpkhV7KDrKRM4zOcp4n05frDUWT1TtYMr4QhDyPH9Wdzu7urrGux4AAEAIoY6Oju/84Ee9I15JplAKqV/+5N6bv73xP18mRAK8d1CWU+SWaVu7fZU0r5VSg4FPBXvOgGFRdyRkJrXfstmVjM+YM1euNE78iYDJ7wtBuHjx4iuuuGL0v/zOO++Mdz0AAID6+/vPu+pb3g1bUeE8hBBKRe/9031uX+CnP7zn8xeJAufqk1iaKK5piXCBYfc8QkYlO0akrmTJ/A5J5Y8EF5gc9ShGiJQpbwlOQNdocGpfGD4xecDwiQkDwyfOBTS8MTv98Ilv337384qLpPq1n2/iWfKhOqvFQuDYkoXzt/zixxaOwnVGxlpwcCCoCyeKScwX/jShl7yW2f10iiSIyyw5KqpPrcvXGEum2YKC0PDG15enWPvHP/7x+9//Pn3PMxAIvPzyyy0tLdkoDAAwc+0/eFiqPv8Lm2RyrmiR+4bnhu/b22A+764bNnp43KNx7GoZLojSTjEwGH7bZzd0WGa3xaMVOssGi1lF9Rvts7Wm0mmWgmDcfSEIf/3rX2/durW1tXXdunVvv/221WotKSm59957s1UcAGBmIkkZ4pgvbxU4ksDnprrsJbPeX/7L7z/5Yme7ey7CeOpwP3douHBhO+mIMsmrCioWYhGRiVjzlsCXgmA0vvAdIUmSO3bsQAixLPvb3/5Wr9c7HI4sFQYAmLm+dsmFXY2vcctv+XwTFTTFh2Yp4j7c3CovzCs1se/+o45k3eEPAkZ90LTcTVPFav35JhMb7lQaijTQOxSM2heCsLi4GCHEsqxcLv/FL37x1ltvud3u7NQFAJjBfrb5nu2rLx4WBWbJDUimRP2HCt/cXHTFpjZ1MYNkVYxHI8pzcV939P1w/iy/zETRibW55fliIhnpNjnmwIUgOCtfCMKioqI77rjD6/W+9tprCKGvf/3rO3fu1GphOloAwITS6/VH9/zrF//16Bt/vkLkWJtIcWt/drDsSosUL2QjakxWEnkeVQjugmUeTnBg+NVFNWKkiyMUtvylGAyWB2fpy71GeZ4XBEGh+HxRLpqmJ36VCeg1OmGg1+i5gIY3ZqOcdFuIRzhX7ydH22/5/fOGa36pUlmcvM9I/6Oj69D6W+9Xmo2rHQXVClk00K41zqC5Q6Hhja8vT7Emk8lksuMbo9GowWCAtZYAAFkgSbx3SIiF5AUVNdqSBwXHBy8/Y1YNRPXxbnnR1265pyDHcVluOZF0xcNBi3O+TA7BAMbodHON9vb2fvjhh/fffz9BEAihv/zlL0uXLq2trZ2o2gAAM5TE0txwN0bK8cLqw92BWJK7rCKv5s5qr26xZJvjY1KLrTnzDZaorwVT6Cy5i3Ecpk0GY/flcYQnmzdvHkmSjz76KMdxCKEbbrjhwQcf3Llz5wSVBgCYkYRIgO1tJQzWuMr5r0YXEjE73d0Y/mcwrzZmruMk9vqSutkKWdjdoDUUG22zIAXBOTpdEB49enTnzp2bNm363e9+J4qiXC6/+eabf/GLX0xUbQCAGUYUuOEePuAiC6v7wti+Lp9TLib8/2wlBoTS81xINUtv/FbRHCLam4yPWHMXq3TObFcMpoPTBeG2bdsqKystFsumTZu2bNmCEBocHKysrJyo2gAAM4iYopieFoQhyVy6v80/HGWd4nBH8B9BR17SsSApCN8sqVtgMIdc+wmZ0pK7iCBPtyQFAKN3uiC84YYb2tvbOY5zOp1XXXXVU089RdP0U089NWHFAQBmBEniAy5usJO0FYR4/c4uL4lJQvjjNr6VKF7lllkqtbobyheoU4Gw96jBWqO3VGHY6T67ADgrp2tMc+fO/b//9//29PQghEpKSi655JL9+/eLojhRtQEApj+JY9mBdpGKynLKOwaoI/6kBYv0ereHjCoub1kcoW8UVi215ofdh1kmYstfplBbs10ymG7O8FdVSUlJdXV1+ufKyso//OEPf//73zNfFQBgRhBiYba3BdfoGcLxaUfAiyE8vq+D+lRZttSvLSpSK68vW2CQmMDIfqXGZnLMg6WUQCacXW8ru91+8803Z6YSAMAMIomi4B3E2CRpLxkcSbQxcSUe9br+JTc7kGllBBOvySt3qHTRQBvHxGCYIMioTHU7TiaTR48ejUQiBQUFdXV1Jz/V1NTkdrsXLVpksVgydHQAwGQmMSmur02SKZCmqKE77JfJ2GhDQBw0Fc0dROo6rXqFo1JkKf/wPoXaYs1fgmFEtksG01mmgnDFihVqtdpisRw+fHj+/Pnbt28nSRIhdNttt3300Uf19fU33njj9u3bV61alaECAACTkxD0cP4RwpgT9nPNkSglxRK+f+sNJty8PIyha/LKclTmRGwgER3UW6qVGnu26wXTX6aC8ODBg+mp2uLxeFlZ2UcffXTZZZc1NDS8/vrr7e3tVqv1j3/8449//OPRzyYKAJjqJI7lRnqQJMlMpR2DoTZR4lPHOLbb6KxzyfX1BsMiWxku8kH3IYThltwlhExx5p0CcM4y1QX5xISlcrmcJMn0hKWvv/76pZdearVaEULXX3/9/v37XS5XhgoAAEwqYjzM9rZgcg3DGveMxJr4RDTwTyUZJAqXxtSmKwsqljuqhFQw3S/GnDMfUhBMmLO4IhRF8fLLL1coFOvXr2cYZv369Xq9/jSv37Zt28cff9zQ0HD77beff/75CKGhoaGioqL0s0ajUa/XDw0N5ebm/ufvchwXCoVefvnlE1uWLl2an59/mtpgXMfYpN83ePfGBhreqIgi7xsSqQiuzHF7mEOY6A+3KpljVnuZV5szy2haYC2TIRTyHOXZuMkxVybXSZL0pYVxwMmg4Y0ejp/5eu8sglAQhEgk8q1vfeuGG25IJpMffvjhlVdeeZrX19bWYhhGkuTf/va3TZs2OZ1OlmVPXCkihORyOcMwp/xdiqICgcBLL710YotarU5fSp4SwzDp7yDB2UovwwT/qcYGGt4ZSXRCcPUhmUrkjcciyRY+Jkb2W5VY3DbHryAvsRXY1RY6HogFjinUNq1lDi/iPE1nu+rJDhre6Mnl8pNz55S+vB7hyQ4fPlxbW3vuyzB97WtfW7x48UMPPXTfffcxDPPHP/4RIcTzvEqlOnbsWEVFxX/+CqxHOGFgPcJzAQ3vtCQh4OGCbpnaGQqzuwVhONxpFrqMlkKP2lqnN9UZC3UqdSzUnaI8RnudQgXdyEcLGt74Ot01Y3l5+QMPPODxeNIPt27d+r//+79jOAbP8+k/XpYtW/bJJ5+ko/fTTz+12WwlJSVj2CEAYJKTWIbtaxNjYQJ3dAS5l6nQsOdfxbJh3F7HmPLWFdcusFVgPO0fOSDwtC1/GaQgyKLTBaFer3c6nS+88MLw8DBC6Pbbb+/o6EjPvn16Ho/nuuuue/rpp7dt23bzzTcfOnRo48aNCKF169ZxHPe9733v+eefv/322++///4zXrECAKYcIexjeltwTJNKaHdQybeCrcb47hKLIWivqskrvLJonkVpSsaGwt7DGkOByTEbJ+AuH8im0wXhq6++unfv3nvvvXfbtm3BYBAhdN555z3//PNn3KnJZLr44otbW1s/+eSTmpqaY8eOFRYWIoTkcvmuXbtsNtuHH3740EMP/fCHPxyv0wAATAYSz3FDnULAQ2C2gTj6ayrY491TQwwTjkrOVvT1ollzreWYyAXdh+iE1+xcpNblZbtkAE7bWaapqammpgbH8R//+MePPvroXXfddfTo0dFMsaZQKG699dZTPuVwOB5++OGx1QoAmMxEKsq5ejFRxXPGjyX+kL+jVBg0Gs1RQ+l8e161uYjACDrhjQbatcYiUpULXbTAJHG6K8J77723t7d3YGBAJpPdd999TzzxhFKpvOOOOyasOADA1CCKvGeAHezBOcMQp/4j5e0Y2bOEcJPWQjK39MrSOXWWUiQKYW9TPNxncS7QGIoxDMt20QAcd7ogtFgsL774otlsRggpFIrNmzd3dnZ2dXVNVG0AgClATFJMT7MYpATe/A7PPeNtsccayw1kLKd8YUntpQXzDAo9nfAGhvfKSI01b7FMrs12yQB8wRn6quA4fqKTrkql2rp167/+9a9TDngAAMw8Eu93cT63TDAOyWSvJr1SpHuhLJWwOg2OvIscVRpSLYl8NNDOpEImxxy50pjtggE4hbPrtIlh2Jo1azJUCgBgCpGYFDvcjSUlJJnfE+lwOAAAIABJREFURcw+V0el4NPpFLylfEVuRaE+F0MYkwpG/ccUKoutYBmsIAEmLRi9AAA4S5LEBz2ca4gQdL0yxRspLwoNLpBTjN2Wm1My21quJlWSJMRC3XTCZ7DVKVTmbFcMwOlAEAIAzoLEMuxIDwqlWNz4kYw+7OkpFYIGvZywlq7Krc7T5mAYxjHRiK9FJtdZ85fiOIwRBJMdBCEAYLSEsI8d7McZVbtK+07cg8e8swkKOczleRXVlnIFIZdEIRbqoRMevbVGqbZlu14ARuXsgjAcDjc2Njocjtra2gwVBACYjHiOHe4R/fEEoftQkWj1DuTzEZMGmfMq5jnrLCoTQoilo9FAq4zUWvOWwWQxYAo5i/UIWZatrKx8/vnnU6nUk08+efDgwcyVBQCYPMRYKNVyhHElj6o1f2U8vSO9NaLXmaOfU7v0/OJlFpVJEoVYsCvia9KZymHKNDDlnMUVIUmSd9xxxwUXXLBgwYIFCxZ0dHRkriwAwGQg8Rw/0it4wn5Ct1Md73GPWHmqzIAc+bWzcuoMCj1KXwj6W2VyuBAEU9UZgjAej8diMaPRqNFoMAz71a9+deKpqqqqDNcGAMgmIRrkerqTKaJZp2qgvClvqFyeMOYYZxXNKTYVYQhDkhgL9dAJt95arVTbs10vAGN0ilujPM9v3br1ggsuUCgUer0+Pz9fq9XqdLqrr776/fffn/gSAQATTeC5/g66ub2HV7yloj/xDBJR9ywjX1ddf2HdJSWmYgxhHBP1j+wTBcaatwxSEExpp7givOeeewiCuOGGG+68806DwYDjeDwej8fjkUjkscceGx4evuWWWya+UADAxBDiYa6jM5CQmk3KtpiX8lElqkRega0mf16O9v9v774DpCbz/4E/aZPMZHrZmdned2FhxaUXAUFREVQQRGynJ2I59eyeep566vcsZwE9Fc8G6lc5O+JPUBQQBFRA+rKwvU/vJf33x/jlcEFEYcvsfl5/zWSfZD5PCPOeJE8SO4ZhiiJF/LXJmEtvKWdYiECQ9roGYU1NzeTJk+fOnXvU1jfffPMDDzzQ/VUBAHqBIolCa2Osvq1WqztgjNV2ulghfqoNlRaOKDSXUASFEOKTwaBnL6XSwRlB0G90DcKmpqYJEyYcY4bCwkJZlnH8Nww3BQD0fXIkyO2rbowJB210S9jjdkfLmHhBrqM8f6SJMSKEFFmMBOpgRxD0P13zrLKyctGiRYqiHLW13+/ftm0bpCAA/YkiiXzt/s7vtn+L4zvM8vb2Ti7sn+CQxwwbM7psaioFubjX07pZkSVb9jhIQdDPdN0jdDgcRUVFJSUlw4YNMxgMNE2rVKpoNBoOh/1+f2Nj43vvvdcrhQIAuoMc9IX3VtckRZeDaQp4O13JCjZRkZdXkjNCQ6kRQrIsRHwHuYQf7hoK+qujDJa55pprzjzzzA8++GDz5s0ejycWi5nNZrvd/oc//OH888/X6/U9XyUA4KRTRIE7WFPf1N5gVofVwt6WkEOJn5lFlxdPcegyU20S0c6wr0atdcLjI0A/dvTrCPPz82+//fYeLgUA0GNkv8e9a2+1Isez1NUefyQujNBzFcVDCxwVJE4ghGSJD3mqRTFusg9TMYberheAbgQ33QZgYFEEPra/+kBbZ4eN8SN+X0s4FyUmF5jLis/U0T8FXjzSFvEfVGuzjPahGAZjAkA/99uCcPPmzYWFhXa7vZuqAQB0K6G9rWnPvhoaw7JUuzwhMcFPNIlDy0dmmYswhCGERCEe8uxDSLFkjiQptrfrBaAn/IYglGX5rLPOuuqqqxYtWtR9BQEAuoOSTLh37drt84lOdScXq20WisjEmEFZpbljVaQq1SQWaooFm1hjgUafg2FYL1cMQE/5DUGI4/jXX3+dn5/fbcUAAE4aSZIWvbDk+VeWJQSx0mK8YMbU7DHDZAex0x1mReFsJ1VZcoZJ99OFEHwyGPZWE5TGkjWGIOnerRyAHvbbDo2OGDHi008/nTlzZjdVAwA4WWZcdPlGuYC6ZsVpyf0C5n61eVPWui9PGT5xiJYbXVmR66hIHQuVZSHir03GPAZrGcPCWQ8wEP3m0+Br167tjjoAACfRli1btnmVQZMvmcJ961FHWwwUNXSCKKiG4t7zxp+X5xiSSsFk3ONt3YIUJSNnHKQgGLC67hHW1ta+8sorv9Q6HA7H4/FuLgkAcKI2rf1mwvCRUXSgRkfRBGcREVKkLYGsCXvDzHQ1QkgSEiHfflnkjBmVcHUEGOC6BmFeXt6GDRuysrKO2joajWZkwN2VAOi7ZF6o2fljFCVb1RTHIqMiajiujiqoR8MU/j+K4kZIiYVaosF6Vp/L2vPh6ggAugYhRVGzZs26/PLLf+kaiVtuuaX7qwIA/B7tDY279u1BGslUYaG/bzeIchhjtlGnJTA9QshyYNXEy6/0tn6Hk7Q1czRBqXu7XgD6hKP8GKysrGxvb/+lGaqqqrqzHgAAam1t3bt3L8/zxz9LNBTevOGbbTXbFLvYSMkRLCtf9B34btv3yuQEpkcir1v98JTMQGk+zRrzzY5TIQUBOOQoo0anTZt2jBmuuOKKbisGgIFu47ebrrzx9qg6Q1Eb5JadV140+x8P3keSxxrdLUlyTfW+2qaDtF4JmeQ2D6GRhRnlhbdPe+aJZ194+blJvKTY9MrVcydcftn/WOwVGA4PEQTgZ362R7h8+fLfNPNvbQ8AOIbq6upZ19xSN/9/XX983z3/Ve8d372wT7zh9nuOMUtHR+eXa9c0tVeLVr5OQh0uYohJffXp0ypLRtC0+v67b1/70dKFc0dUVWQ2uCmXn4IUBOBIP/uluXXr1p07dx7/zH6/f968eSe7JAAGqIf++Zx3+iPInP3Te5yIn3P/x0+NfSYWY9mudzsLRSI7du+OBtsxo+zCKZ8Xt6jkmaOG5DhKUg0UWXr99cVLly+rGXS9u/BGxdf4zqU33nLZ+ffdAaf5AfiZnwVhcXHxrl27jn/mwsLCk10PAAPXrj370BWP/mwShqGcyrq6usrKykPTOEHcd7C2pfEAScdCZiwcYTlOGF/oGF02HCd++h+djHuaa7e8tPSNnfPX8JQRIYSc5d7BZzz7wjlzZp5TVlbWc70CoM/7WRBee+21vVUHAECr1aJ4CNHawydi8aBW+9MUBaG69o79NfvwpJvXS16FDbuVfCszdexpOq0x1UYSE2FvjSjEv9/ZsSvzkp9SMAUn/SOufP+TlffdBUEIwH/BY5gA6CsuvmD63m+Wxs+697+TAm1stD116MUTDu2sruF8LYI2HjOqw0ENTRAXjKzIdxak2iqyFAs1RUPNWkOu0V7pDWznNNYuHyHrbJ3e2p7qEADp4WeDZTZv3iyK4nHOqSjKhg0buqEkAAaom667pjLwvX7FPajzAIq4ie0fZrwy680Xn41y3PfV1d9t+TYZPhAy8yFFH/ASlTk5V04951AKJuMeT+tmgQvbssdoTYUYhg8qKzG6up7yV7f9OHwI7A4C8DM/C8L8/Pw///nPTU1Nvzqbx+O58cYbHQ5HtxUGwIBDUdSmL1cumnvq1G2PDv/0muu1u7at+3+GnOy1mzf5mnfGNZ6YVhvyMCyhu3zKGROGVBEEgRCSxESgc0fEd8BgG2RyDCNIJrW0qVOnWtt/wGq//e8HtO427/lw7oWze6V3APRZmKIoh78Ph8MPPvhgMBicP3/+2LFjD52cSEkkEj/88MN//vMfjuMeffTR7rvd2pYtW2699dbNmzcfZ/tIJKLT6bqpmP4tddW2SqXq7ULSUvdteIqitAb8e2rrRF8zR4dw1hDxEwKumjCoojw3/6c2hx0LZY1HuVlaS0vLRVddXx/FePsglb/eLvnee/2lPjJSRhAESZIYhuntQtISfOOdXF3PEer1+qeffnrv3r1vv/32LbfcwnGcxWLR6/XRaDQQCCSTyalTpy5YsGDs2LG9Ui4AA4EnFt3b1BRpbxaEdslAiJw56CGGFhSNHlRG4YfGhbrDvgMq2pCRMxYnjv4EwZycnM1rVjY2NtbV1eXl5RUVFcHjdgE4Utc9wi4SiUR7e7vP5zMajdnZ2RqNpmfKgj3CHgN7hCfi+De8zz777PN1mxBCM6aedvbZZ/9Ss5gg7Gtp6WhpVuItSTZOERZ/gDCZM06vHGbW/nQpocjHwv4DkpDQW8toteWkdKTnwR7hiYBvvJPrV0aNqtXqoqKioqKinqkGgP4nEolMOW/uQbowNGgGQsrbT39Y/s/n1nzyny7XyIuKXOPqrGtoJsKtCaxTY81Afm0IZ8dXDSnPzEztx8myEA00JqLtWmMB68hBCHbvADgJugbhxo0bd+zYceONN574or1er9frzcvLU6t/dntfn8/ncrlKS0uPfQdFAPqHG+/6687ii4XRl6beBiumbd/02m33PbTk2SdSUxSEGgK+19597+AP3+GaYFiKDikaVVSWW15UMrq0hP6//yaJSEfYf4DWWKzZYwkC9uABOGm6nl1fsWLFU0895fP5EEI1NTXHfzXF4cLhcFVVVUlJyZw5c5xO53PPPXfoT4888khpaekll1xSUlKyZ8+eEykdgLTwxdfrhVGXHD6FH3vlytVrUq89idi6/fueePLpg3W7/COq2ivmEYOvX+fNfPXF1yeUl6VSsL52z6fvP7tpw0pGX2q0DYEUBODk6hqEkiQtX75cr9cjhD7//PNgMPh7ForjDz30kM/n27Nnz6pVq2677baGhgaEUE1NzRNPPLF169YdO3ZcddVVt91224l3AIA+TsII1GWICoaLCIuKwvfNjRu372retcEf3+MuGquWsiTM+S0z/vvihftRzqcrV0bC/qsXzv3Dnxfc+EHLRS/sKR87fenb7/ZSPwDot7oenFy4cOHVV1+9ffv2IUOGKIoiSdK4ceMqKyuPvOfvMWi12pkzZ6Zejx49mmXZ9vb2goKCd999d9q0aQUFBQiha6+99sEHH/R4PDab7WR1BoA+iMYREpKIOmxUCB/RZ9vXbN+BhzsFsckdaUyoh1FSxm5VcSORnfp5Gh189vqNn33x+Stf46NbZi2TUv9Vueht/5xTlJ8zYfz4XuoNAP1Q1z3CsrKyjRs31tXV/fWvf3U4HKtXr543b55ery8vL58/f/4TTzyxadOm33S89IMPPtBqtaeeeipCqKmpqbi4ODXdbrezLNvc3HzUuWRZjsVi2w4TCoV+VwcB6GXXXnmp9rMHUWp4NqaokLds99OXnDNZ9P+IMe0mnV3i81sE53r1+EYiN/Vf0qS4KqhqJEY//tbVOOIu6dAPVlrrn/mPRxct6b3eANAPHX24itPpPO+88xoaGi699FKr1erz+Xbs2PHjjz/u2LFj2bJlgUDgiiuu+Otf//qru4m7d+/+05/+9Oabb6auu4jFYjT93wueNBpNJBI56ow+n6++vv6aa65JvcVx/I477pgxY8YvfVAsFoMLpH4fuHziRBzPhnfzdQta2h/+cNFkbtjZVjNZFG4cVqoZWmHRUGQ8ZA4wtqGnFPzzlXv58qsRQqwSypYP4ors2Xsga1KlYJW6Li5ryIEVB6LRaDf1qMekLp/4faMQAHzjHT+GYX51YOax/nz11Venos5isUydOnXq1Kmp6bFYbP369Q899NATTzxxjNn3799/9tlnL1q06NAj7+12eyAQSL1WFCUQCNjt9qPOa7PZhg4devzXESqK0uUmOOA4QRCeiOPc8K674epOTI75G7Nxeeg449CKobhgd4nGwkFFw/MdKhwblqnd8szkjByLNju7veK62NYvK0IN8+c/8MQ7q7suK9Rptdr6wdYO1xGeCPjGO7m6Hho9nFarPeqPDpqmn3nmGYqijvFr7uDBg9OmTXvssccuvvjiQxOHDRu2ZcuW1OutW7dqtdrU+UIA+quYKDz29pvXPPJU0pSvO7XUnZW7aUf4o1VtknXI9NPGjC10Uhia/8eF7bJUPGsON+H6fcLg4KMz5mlqN65ekZmZaVcJqOVnjwjVrV98zaVze6s7APRLv+dKPpIkx4wZk52d/Uv7m4FAYMqUKSUlJYlE4uWXX0YITZ06taioaN68effdd98jjzwyefLku+66a+HChfB7EKQRWZbfe/+DLzd+T1HkzDMmTj/nnGM0FhS5NuDdXlu/4eu1WSNHyHhSULJxwlxbmbfxs5dmTTxoGpKvKMr7/3m9KenlznugDi/mMTVynIEqzl27bG7qJMIHS18+Y9Z8T8WFieKJKB4y//DG6YWGP/7hsp7qMQADwu+8pP3hhx8+xl8FQZg+fTpCaNu2bakpVVVVCCGWZdeuXfvII4+sW7du5syZd9xxx+/7dAB6ns/nm3zuhU0ZIyOl05AsvvvMR4OfeeGjt1498k5XMlLqQ4E9rW2Sx+Vv2qKxJeK4ipBz3ERmLZXnx/Vo0AVvffjp5AnDw74DK1d/vLPszjgx9L/zm7MTtrK9e/cOGTKkpKSkZuvGpW++ve67dywmw/zH/zwexosCcLJ1y71dMjIyliw5+sC28vLyt956qzs+FIBudfXNd1aPvFk65afrgoKDz9j2zYsPPf70v5567FAbRVHaE7EfW5oSHV5SaqcxDyMFZD43hirq6bxWwqwoBFIQwzJEoCXordabi6ub5XhFXpfPkrQ2v9+fes0wzLXXXH3tNT3TSwAGomOdIwQAHLLp+62HUjCFG79gxaovD731com1zfXrt//IN+2j5d06wpPJ5NCGSfUB1Sb6lBbcpigEpXB5cvUgz0eDSodk5IxjWPuQ8tIuZwERQkTbrpKSkp7oFQAAghCA48FxHMYcMUiPoARJQQhFReE7V+sXO3d6Duxk+d0s2ZqnsmJKZQM5dPzpZxg8+9CWdwgkZsr1g6UtoqvJ89WaBVf/OXXL7Ltvutb6xd9RxH1oqdSWZVUFDqfT2YP9A2BAg9teA/DraJrG+TiSRYQf9l8mHmB1mh2+zr3NrSqfS4t3UGTMSRriSvEBLKe4NGtipo7CsE/fef3Wu285sHxR3FDqaotYCemdD98xm82pZZSVlf3vc48t+PMFCecQgbVRjd+fNrR46dKXe6efAAxIEIQAHJer5s9d/P8ejp374E83DlV4/TcPnLXg0uoffzSQHoIO2pCaQIUNSrbRnnNWgUmvIhBCyZgrGax9/P4/EUxWY1NnZmZmRkZGlyWfOXVK3Y7Ne/bs8fl8FRW3ORyOnu8dAAMZBCEAx+Xh+//iv+PeD5+bkiydijGyVWk6d0zFxHxKzTRmKEiLshpRrmLIGltoc2gphJDAhcK+A4qiGGyDVYwJITTM9IsJR5LksGHDeq4zAIDDQBACcFwIgnjpmceva6r/+Ifv8US8zFyg1XMsF8tUMjpQYasma0iepdiqxhASuHDEXyuJCZ25mGGPfu8kAEDfAUEIwHHx8oktHW2djU2VOozOEAyY7EDaVsy+iyouzckYn8mSGCYK8Wigjk8GWEMBa8iGJ8gDkBYgCAH4FSGB+8HdWd/UbI52ZKnDGp3kFOgo5txF5BnshnNKM1gVIUtCONiYiLaptVm27HEYDv+zAEgb8N8VgF8UE4WtXld1U7Mx0JqjCWuMhCOOJOSsoUoZo3VinoGWk2pSDvvqE5E2hs2wZo+Dx8cDkHYgCAE4Cl6Wdvo92xsb1d7mbCakMauykwTJ6evpsqTGNizPkGNkFEVytzfF/V6GtVuzxxIk/evLBQD0PRCEAPyMKMv7IsEtjQ1UZ0Mm5tNamUxexSaoRnqwh3IMytKX2jU4kmOh5miwQVQYe9YoktL0dtUAgN8PghCAn8iKcjAa2tBQh1wtmcitMTNOZNDFuBaybI86p8ihH52tpXAUj7RFA3UExZodpyZ5DFIQgHQHQQgAUhCqCQc2tDTJrqYswaMx05mUWR8Md1K51UxRplV/To5WTeFc3B301+IkY7KfQtEGhFCSj/R27QCAEwVBCAa6+lj465ZGrr0xk+8wmDXZrN3o9bopw1Z2lI7Vnp6nM7FUMubyuuswjDx0dTwAoN+AIAQDV2siuqa1OdRam5XoNJtoZ0amJegPCtRW9emEWjs6V283qJIxl6e1HsNwvbmM1lh6u2QAwMkHQQgGoo5E7Kv2Fk9bXU60LddAOe1ZlmAoFpR3qcYnKUNltjbXpk7GPd62eqQoOlMh3CAGgH4MghAMLJ3J+Nftre1tdXnh5kodkVlcYAkGkr5ENT0sgFsqsnTFTo2Q8HvbdiFF0ZoKIAIB6PcgCMFA4Uomvu5sbW09mBNqOYXFC8rLTaFA0uWrVw9tZ6wFVvW4XJ3CB3ytuxUkw14gAAMHBCHo/3w8t87VWttUkx1qPpUl8kpKLImE0NlRTw9qYTLyjZpzc7SK6At1ViOEdOZCWmPr7ZIBAD0HghD0Zx6e2+DqqGna5ww0jmSJ7NJiC8fLPk8LVVJHnepk1WfmsCTyRzzVCGEQgQAMTBCEoH9yc8l17va6lgNZgfoxaiqrrNwmSZIv0IrnNJCnWBn11FwtTQQi/mqcILXmIgYiEICBCoIQ9DeuZHK9p6O2aa8z1DRGQ+eVVhglUQ4G21FGLV5qYLQTc7Vqwh8N7RdxSmcpgQgEYICDIAT9h5tLbvS6qxt3ZvgbxmrVBaVDjAqSwgGfbK1BpzKUdkwWq6V98XB1gtIYrINVjLG3SwYA9D4IQtAfdCaTa93t9W3VGb668awmv6TSSOBKNOKVDTVyJUXoT3XSBtobi+zjZYPBNlTFGHq7ZABAXwFBCNKYoihtyeQ3nW2N7fusgfpJWkNhyaksiVA86YszNVIZjuuG2BmzxhuPtQiY0ew4laL1vV01AKBvgSAEaUlWlOZEYoO7talllz3YMllnLSwdyRAyzom+qOqAnCdj+nIbY1K7uESHpFitmaMIeEwEAOBoIAhBmpEUpSEW+8bV3NG+2xZqO0OXUVg+WoVLhIz8EaJGsAqYqdiI2Vg3z/twMhMemQsAODYIQpA2REVpiMXWdza5OvdmBFsma23FRSNoCpE4FYgR+xNaHpmK9IqV7ZDksEqTY3KUYzjV21UDAPo6CEKQBpKSXBuNbnI3+jt228OdZ+gdRUUjSRVGEqwvphyIMyIy5bOCRdOGSE6tz9XoKzGM6O2qAQDpAYIQ9GkRQTwQDW/qrIt27slMBKZpcwqKRuE0TlE6T1Q+ECEEZMyjOTPbQDKE1pCn1jkQwnq7agBAOoEgBH1USBAOhMObXPvjrn05idgkQ35O1iBchSiV0RvmazwKh+lzqKRNXcsYDKxxEK0293bJAIC0BEEI+hxXktsbCux2H0j6arKT8WH6PIetSGXQkyqzJ5Tc50ogxDqwqEVTr7M5WNMIktK+tvStRf9+IxAMZdis99/2pwvOm9nbnQAApA0IQtBXyIrSlkzuDvjqfAeS3ppcTjrFkGO3G0idXqWxtnujB9ojikLbMd7K+gzOHK2xAidohNDMeVd8EzWH576FtNbWQNtVT9//5fpN/3rqH73dIQBAeoAgBL1PUJTGWGy7t6M9cBDz1RbIdKU+3+RkSIONVFtbPKGDbT5MITKVsNUgGbMKNfoRh8bCbNy4cVOnFL78yZ+WZcoKXvrqf144+9ba2uLi4l7rEgAgfUAQgt4Ul6T6aGSHv83nryGCbSWSerC+yGxkaWs2pjI3u737G5tVguLEw06b1phVRrM2DPvZWJiVX6z1V1zws4ViWKDigvXrv4EgBAAcDwhC0DtCglATCe71t0aDB6lQZ7HMDtEVGM0GxpYnU8aGTleNqwZPJvJUvNNhM2aPpDVHv0F2UhAQ1fV6eZmkOZ7v/k4AAPoDCELQoxRFcXHc7qC3OdzCB+upiK9cNpRq84wZdrUtVyb1de0d2+s2fbvmq3hLbWtQqG9rW3D55XffdsovLXDS6KrXX1kXHnrO4RPN9WtH3XhH9/cGANAfQBCCHiIpSlMstiPQ4Yu0oEiLKhorVgzFuiK908lYcpMKs7ulpd5dreUjX//7zW0F8/ad8bCICCTy/1j1aHXtLW+9/PxRF3vezJm5jz2z//v/FUfORxiGZIle/6+hemHEiBE93EEAQJqCIATdjpPl2khoR6AjGmlUxV3qSDIPGYoMecacIsaSF+Lk7c31TZ2tFpmr0jpW/bD3Xea0RNmsn2YmVbEZD61+bmpbW1tWVtaRCycIYuPqFbfc88D/++czGGvGYv5L51zw8F/f6tEeAgDSGQQh6EYhQdgX8lcH2pRkiybq0cekLIUttWYZc0tpU7Yvlti6v9rlabNj0hhdnjm7iM3Qf/7skkT5zV2WwxVP3rFjx1GDECFkMBhef+FZhFA4HNbr4SlLAIDfBoIQnHwKQu2J+I/+zrZwm1bwGWJ+OSpnY0yxPdeQW0rpMzpCwd07vo/627IpdoKlzOjMZaw0hmMIIVqlQkKyywIJMaFSqX71cyEFAQC/Qy8EoaIoiURCo4GHw/VDgiwfjAZ/9HUmEm0mOWIPB6UYlk+yhXlFutxSROsOdrRU7/sKj/qKtE6HY7zOaaVNVCoCU2afffqX//tBJP+wM3wiT9V8NXr0/b3QHwDAAIB303KXLFlyxhln2O32hx9++PDpb7zxhs1my8rKGjduXEtLSzd9Ouh5UUH8ztuxtPbH71u+M4R22/zNqNVfKJnOHjSuauIsdeEpezra3tu4sq76u8G4YWLOtJKysdbBTsaiOjwFEULz5100OL5P+/nDKB5ACKH2avMrF95z07WwtwcA6CbdtUeo0+muv/76N954I5n872Gu1tbWG2+8cf369VVVVTfddNMtt9zywQcfdFMBoGcoitKeiP0Y6GwJdWagcAEfjYbCYhyVWrILRwylLU5/LPzjwV3Nnc1OjDxNW6C1FzBWFWNS/dIjInAc//aLTxe9sOS1dy4OhcKFBfn/eO6BcWPH9my3AAADSHcF4SWXXIIQWrFixeET334X9hAJAAAgAElEQVT77cmTJw8fPhwhdOeddxYXFwcCAZPJ1E01gG4lyPK+kHdXwJVIuPNJoSLp84WSSY6osJXkVw3FWX2rv2Pvrg2hoL+IYs+0jKDUZsZ8rAg8hCCI22664babbuiRfgAABroePUdYW1s7aNCg1Ou8vDyVStXU1PRLQSiKYiAQOPRWp9ORJAzt6ROCPLfD37Ev6NLL4TyCR4mAO5TEZN2o3BGZRYM5MVbjad2//weSE4tpo8MyhmT0jE1FG+Bh8QCAvqhHoyUUCh0+Al6n0x0edYdzuVw7d+4sLCxMvcUw7Mknn7zooot+acnRaPTklpp2RFHcvHlzS0tLdnb22LFjKep4U4fneYTQ8YzJVBSlORHZ4e9wJQI5JHcKisX8weYw79BkjcoZZsjIjCa966s3tYQiBl4uZ6wmOhNXazEziWklHkvyka5jQfsB2PB+N0EQJEkSBKG3C0lLsOEdP4ZhfvX7sEeD0GazhcPhQ2+DwWBGRsZRW9rt9uHDh2/evPn4F67T6U60vjQhSdKiF5YsfvmNhCipcOwPF184c9qU+QtvDmaNDJtL9IHV+r889J/X/jVq5MjjWdrxBGFc5HcGOncHXKQULyalSjrkDUTaoijLWDJj8GDWoOn0t2xr3+1P4FkyPk1bQJMZOMuqbTSlJU5On/uwgbPhnVypIGQYprcLSVew4Z1EPRqEgwcPfu+991Kv9+7dSxBEfn5+TxbQP8y+7OqvE5nRG9YgSo0k4ek1Tz+5eC5/+1fImo8QCiAU8Lecf/mF+79bZzAYTvCzmqOBHf6Oxqg/hxRG4DyVDHe6Igc4TaFj0KghJQoKN/nrmzyYIpGForqKMSrITGo1jEVF6eA4NgAgPXTXt9XBgwebmpo6OjoEQVizZk1ZWVlOTs4ll1xy3333vfXWW5MnT77nnnsuu+wylmW7qYD+ateuXZsaA9Gr//3Te4JKWIqw0ZemUvAn5pzQKRd9/MmKP1xx+e/7FE4S9gZdO/wdopgoouUzsEAyGHFFJB5Zy/JOGWPTxhPePa69nbJWL7ODJdFKGUXKTGoZxqoi1f1/LxAA0J90VxCuXbs2tfPn8Xgef/zxG264IScnx2Qyffrpp/fee+9DDz00ZcqUp556qps+vR/btHmLv+Ssn03yNSlZQ7s0S2SU76vd8zuW3xEL7gy0HwgHnBQ2DOe0sjvcEW3kdIQmr7Qoy8JK3kjnj26NX9FmKrZxYlxNGETCiBsYvUVF0N11WSoAAHSf7grChQsXLly48Mjpp5122oYNG7rpQwcM5WfvdBnI39ylBRVszhtiP/4lJkV+T6Bjd8DFS2IJrZxJ+Il4JBoRDwhGVpdX7mC1dNTLu36M2TisMFeOnSLEMNwqkZmEiWEtFE5BBAIA0hWcyEkzE8aPM7/2F+/Ew35kVJ6DPTZRmbgAqf/vjGAyYvxh2ewnP/vVpcmK0hb37w64mpMxG6lUEAmD4EU+PiwYOkSbSacdpFMoIunBdQfkfD2FFSe8Jj6uEDaRymTMtNZM4cSvXRUIAAB9GwRhmhkyZMjpgzJXfXx35Jy/IZpFIq/59pX87Azfv6b5Rl4pZpSR7oPmra8/9+hfHQ7HMZYTExL7A527gu64IBaS4hQUJGMhhSP9coZLxB0GaijLSyqVC7OFMa1djI9IuDUSKeIZEq2hLSqdUdVtt+cDAIAeBUGYft597aUXX3nt6RfOifGCmiIXXHrRXf+7LhwOv/ve+7tqvq4cXzjvmdVWq/Wo8wqy2BLx7Ap0tic4B0MPIzky2qCKigi3dSQzA7hk1whVFmOCcTbKBqSgHCFSGWvAkZZTMkWGZSyUCq6LBwD0L5iiKL/eqsdt2bLl1ltvPf7rCCORCFxVcwyyovgTgX0hd20kiOGqQixp5TrIZEiDm+K8oT6S5Ggh18xaLXk+wuIWSRsuZ/MBfcQvKgYBmUmWYaw0xcJw0K5gw/vd4DrCEwEb3skFe4T9XFxINEZce4MeH684KWyYHKRj7RpMlYzQL7y7pSERjcuxRCBy5ZXXW8qmBhUlW+HGJdrJRFwibHFUrNKp9FaaUMNhUABAvwVB2D/xEt8Z81WHXO0JXkWoihA/iG8hYxEtY8eV/D2tnsUr3q/PPr0185woblY4z543n/5ru/fmc06TBUXCrEk8izaojBYVTsFYGABAPwdB2K9IiuSLB+oj7oZolEN0FiENl1x4uF3LGDWENZwwV7eGI3r+0++3fqGfI+ROQ5hMSVImRuaOm79qyZ9r11XfdMOfioZaWBOFwXBQAMDAAEHYHyhICXOR9qj3YMQXlig1LheKQXWsmUZIo7HTdKnHHakhOdlszSg51YI0Xz/zkTD1NLUo53I+p+gVMKNIlkSdZ35qG7Hihku++uDNwdbBvd0nAADoIRCE6S3MRTxxX33MH+BxEZE5Ip+bOKhK+lWMiWWcchTzdJLtepWmZIhFa46LRFhEWQyR5W2whht1KjKBWZKoJIZTbRTlD9ShrMvRhc/ffO/f13z8bm/3DAAAeggEYVqKCXFfwt8U8XgFJSEzdkUuTjSR0WaVSqOhLSq6SIoxrUjlMeo1eRYjyUZETKeQg7WEKR4QXa6LRpz6fl1NctB5PoLqYMg4TqBkBHXWoIwihOHVHx7s7f4BAEDPgSBMJ5zE+xOBjpjXxSXjspoSxcyEi4zWM5jCMGa1oUwjmcIxqoFRea2USmcmcBWBE1kalROXsJBH9ng4RStgWXMuvvXd6xfsRmR8+ByE4chdi978E5p+D8JwhBDqk1fUAABAN4EgTAO8xPuSAU/M5+KTnKIRRMzGhyyB71VimGH0alOekcglk4yHx6ppFLQzBMEyhCpbQ+eoSa0Ql7yNcjwqUGYBFWEqijGr9Hpy1eq37vzbI0vvvVfQmJHBiWb9HRWORgih2k2nDKno7R4DAEDPgSA8ObZu3XrXw0/W1dXr9LorLpp1243Xk+SJrltBFnyJgDfu83HxJKZJCMgYD+nDWwnOQzOsVp9rMZ6mSrJ8DDVL4gFG5lQsgdO5Gk0eq8ogEQr5xCYXpxASYROxTILE2Yz/PibQaDT+e/E/L5tz/oXX3eGb/QjKHooQwmrWZay4c/Fn75/o6gAAgPQBQXgSLHlt6b3PLfOf/ySaMQQlQn/f+OLyD8/57uvPf18WirIUSAZ8iYCPi3BIkxAQGQmz4e8NnJuhaKO11GKfyogGLCz6vPEdKr5WjWOEJlOtGabVZGlUKj4h+luFsF+hDAKWLcu0iiX1FtVRHxAxaeJpX7790o33PNjQ3Ipj+KmVFS+s+TQnJ+eEVwkAAKQNCMITlUgk/vbY0/5bNyKKQQghjTE27Z6az/g3lr214I9XHv9yUvt/vkQgIsRlXJMUEBcMMcHN+oRboyKNtnJb5jSWsqMQL7ZGmsjwdlx0qykDpR9hMORpaQOJyZGg2FzPc0mJNPFEEaZQtJmijRSGH+uKwIqKirUr3lOpVCe2GgAAIF1BEJ6obdu2icUTfkrB/xM7de77nz91PEHIS4Iv4fcl/DExgXBtkpOjIb8quIlKuq0MZckYZLGfbdDlycGk7I7EeN8eRt5JSzwiy/XW04w6B0MhkZf8HcmAGyPVIm4TEE2QhMakUulIBNfEAwDAr4EgPFE8z8vkETcOppgkxx1jrqTI+ZMBXyKQFJMEqYvH+ZC/AwseVAlem4a12QdbHDP1+hwlxsu+iNDSXqdSduByAyHm09opBkORTkMiRY6FxRaXFIsgxhIU7K+9+vH67Zt9nG/8+BF/v+cOFWY4RgEAAABSIAhPVGVlJVl3b5eJVM3aSaOrjmwcFxKp/OMlXk2yyXjc723jgrVqOWxRa+yZ5dbMOSzrwGVMDsTE/e0BSdpBoV2kQBH4MINhhsmgJQkkiZK/k/N3IkRJlIUnna4298U3Ldw/8rLk+YsQUnbt/uyDMZM3fv5Rfn5+T6wCAABIZxCEJ8pqtV4wdcI7n9wTm/5A6gApduAb+/cv3/rs16kGiqLExYQ/GfTGfbIiqxEWD3pCYU8y1KylcBPL2ouHGc0lWo2dwCklnJCb/OFIopEhd+Bih8IXqjXnmcwlWi1CSEnGBLdbCvsVlV6icgSOJjGctatuvOO+HdPuQ8XjUp8ojLqk3ZS78NZ7vvjond5aLQAAkC4gCE+Cl555vHjxvxYtmiizFpQMV5YWvbr6E73BEORC/kTQlwiQiqyRRTHo8Qc7Ewm/lmHMrNZeNsZozGdZO0nQSpyTO6NRf7STIPaQchOjsBQ3zGiYZzDSOIEkUfJ1SkGPoigybRPVZRKHVAZKn0kRKhwhtLt6P5ox7vCSlJIJuz65rZfWBwAApBMIwpOAIIi7b7357ltvDgQCaq0mIkT8yeAP7VtpiWf4BBkLBiL+Fp5n1IxRpy0vGGTQZbLqDIrSIEmWg/GYx9uZFJsYsoHGRILL0VBzTTYnw2IIybGwEPDI0aCiNsiqbD6pIiRMZaJUehLD/jsSRsGP8shcBYOHCAIAwK+DIDw5khIXSAT9gi/c0qmRRYqLkPFIiJdbFaTWaPUWR5HOatA5NZoMFcWGgsE3l7zVWN1iczgLJ02IOm28iSAxbrheV6S160gVkkQp4BZ9nQghhbYIbLkYV1R6UpejIpijxJuRVbvDLqS3/3dSqNOkZXus+wAAkL4gCH+/1MOP/HGfL9omJIKsxKu4OCuTYU4IIUqjtej0RK7WZNQ6WLVNpdIihJQ4983KLx57cVlr6entjsnBqIt97rErzpp45yWXZjIsiWFSLCwEm6VoCGfNMpvLxynEI9pIaTOP9YDAJx6856oHFwQufQ3pbAghFPGY/nfBk3//S4+tCgAASF8QhL+ZIAn+mNcXbQmEO0gxycqCGad5iQwLqJ2yUAyh06LBrE6vsbEaK0MbU/PEXcEOd6QplvjTmx80nHc/p2URlkDyoHDR9HeeO//6UWOR08oF3IigMNYmaTMTMZliCY1DRbFHOezZxfkzzn1NUW6594IkY0IYpk4GFv3P32aeO73b1wUAAKQ/CMLjoihKOOH3hVr8sbZ4zKtRkF6lK8CZqIyHCHWzjGgVpmeVcrXWqHOwmgyK1CCEkKzEvOEOd6Q9ysXUtNms3dm4s8WWwbEqJKuRbMURbpMDmRPmrVu+tPj6myVtgZCkUBSpjKTR+dueEX/BzBkXzJzh9XoRQlartZvWAwAA9D8QhMegxOM+X6QtEOkIRtoJDDcyRjvOMmxuTFD8hPqgyNNqTIuSFazRoLWzmgyKVCOEkKKE/LEOd7gjGEsyKqdVl5VjjEgxVzIUCbl5wYykbJ0UyxRaHYIvTLIhfVG1xxWLWSmW0NiPaxfwl0AEAgDAbwVB+DOSxPNcMBJ1+6NtwaiLVxQtbTASOqepDBPFkEJ1kGq3kGRVsk6JDDWZDFoHq8kgCRohpMhyMBTr8MTavGFFRdlMbGlFpkhIzfGwPxHJ1egHZVg02QUfeN/SxPYQSHKRtgamzCRgJt++wkKnoUiDkzDOEwAAetpAD0JFlgQ+InChaNwbiHZEE+EkhjO03qDSFhgH0xLPy3KIZA8g0oeSWixhkDxVRoeezdCorThOIoQkRXGFEh3ucIc/unvnzvc+eK/D2ynKiSHjhi+4cUGxI7NcZ7ZSKiUWFtvqh9vYrMD+fZ6IynGqWZQCBNnABej1/7j4of8HKQgAAL1iAAahIvJRPhkW+DCXCEYSvjhSYoqSFFHj3oMxT6DM6Rw0xKFQxgCm6cTlYDLIJn0GEo0yOPXaAjVjxjAcIcTJiisY7/CEvYGEAUMOq3bzFx8tXrcnNPsfiMUQEj01P9bMv3bXFyu0QQ8f9CJShettGJ399P8svfeRx2rw9/eY8ulwk6Hh2zdeetbpdPb2agEAgAFqIAShInARgYsIfFjgIgIf4ZGSwPCYrPA4odPY9ArWvOW7F196xZU5zqUrkLbUse+uuf2GS8qdeiujGWzJ1LLlKkqXuoA9IkjuWLzDGw2HEiZZdpjUpwxyMDp1Ryjw/JrPQn9YgjAKSVpaJhw5o3NGnv/u809f86ebsYxBfAyJfonSYUVVBR+s+vfWrVtrampycoaPGfMETdO9vYoAAGDg6odBqMiiwEdFPiLwESEZEYUYTjECTiYRHkN4nNJqFKRVkFERaFEiScobFW56enn7Fe9o1EmdHNAryYQ/+dy9j3y3Zh2rMSCERFlxcaIrxrt9ESzKZShKqZm1ltlxluEVqS0Rbfb49uzdi+xDcSnbJkWcQptBinhJY33RBZ9/+8zFISOhUmgTxWYyhx4NOHLkyJEjR/bqegIAAIBQvwlCPumPSh4hGRH4iCILBKUhVToBJ5MaS1Q2hJNRWhS0kmhVREaWKUZPaUwSrQsRTHs09MqKpcTUafmqpphoC6HSNmSVTKTRsvGrjT8MGT+xwR14852PO/fWmHh+WFnen/50ldZpVRTFyydaQm4PF7fT7FC9RUsyg7kQFd0VJlg3ZXMTeRZRyhQ6CZww5GtwFZz/AwCAPqqfBCEXc6n0ZlqbQWCZEVn089Fwwk+LPKsoOkm2IYVmjJTWRKqNcULdkUy0hTrC3lZWiVgZvVTX1KaamZCnIgxDSEGYiLBkrHj4d00+Db3v+Yee6Cic0nrKjS6S/mj3p8+ffc67H77F6dQEjmerdYNJmogEZFdLuc0QadzdRpYaMVUmL0YIuV1FxWs+nTNpMKQgAAD0Zf0kCBMaW1gRw/5GSuJYSdFKoo0gGY2FYPSU2oQzOp8gNIS9be21ohDQIsGuy6jKLGQ1VpKgs0wbubYQIgSERBKJZkG083x2e/20EZX/WvT0ylELpeLxCCkIi0uTzm0rtN3z2FOfPvMkm4hK7Y0IwzCDhcwul+PkrVfd8+rH99dN/XOTLV9UJHrz0tx979/08le9vW4AAAAcSz8JQs6zX4tjNhXLsBmk2kiqDTil4RSlMxZp83d4ojtpKWxR64YYnFZtkZoxIoRxkuwRJE8kUTRjtun+/1FVTLRLilkQvaTalUwEd3086o07L/r7g9K5IxDmQ3gMIZVKoh3WUZrPHmfa65HeTDoLRYGOh0Q5oKj0yuXXXVhQZb/tbzdjbq+KIi+YPu2R59doNJreXjcAAACOpZ8EodM2xGDOwElaQcjLJdqD7s6oO5706XHFrssYnFmk19gIQiUqyJsU6kJJHy9xkmzBMSsnzNborWdOffKNBXVl5+y25FMduy17P37r1X95FFEocCLCRUmMPUk5+AArJdyUuT4u45lDubDIt4mURmLMKkpHpMaUTpo4cdu6ib29MgAAAPwG/SQIJVrfnIi1hxvc0U5KjFjU+jKdPcNZqFGbFYSFBakxIXq4WJAXjSrSiqEKnjdEk0gQcQOLOw3n3HTZ8IvP+mTFpzVNO4rHlQxd/GEEU3zJaBGXFDtdRhr3kYYmlSOBay0B76mOqribo42U0c7+ptuBAgAA6IP6SRCub1hnVrMZ+ozBWYP0GgvCiKAgt/GizxcP8pKOwq0qspjAjIqMPEEkK5hejWWacK0a/V+Qqc3GCfNm5ccjahx3SlIVl8SDvoeunH/zvx/bP/ffFlKXxYtEwsd9dv+Vt11kKIRH/QEAQD/RT4LwzMJJWp0hKMgeXtwf4IK8pCVxC00WamkjxxPhpOwKYASBGzRYng1Tqw7NKMhyRzLWmojEBc4uSadynJZL4KyeMNrwrNKpzsrH5czXXrvTr2a9XCjpqXnm0fvPv+DcXuwpAACAk6ufBOH2kJCMRQ6Fn4nAyGhSDkTlcBxjKMygIYsdGE0daq8g5E7GWxMRbzJqFaV8njdxCVJrwM12QmcSkigZEvjOOKUhZsw+a/Yfzm1ta8VxPCsrqxf7CAAAoDv0kyAs0arsRh0pSHIkqfjCciQhsTSu15CZRoz6WR9DAteaiLZFgxo+mSnwZaKo0hoJqxPXGiUOJUMC70qQDK7SUxo7fegUYE5OTm90CwAAQLfrJ0GoD8SQOyYKEmbQ4BYtkWdD+M+GsSQlsSMZaw77+Vgog+dHIKTTm3Gzk9AaJQHxYZFrSGIYptKThkINTsEl8AAAMFD0dBCuXr367rvv7ujomDJlyosvvmg0Gk/OcgmMsJsxjQphP8s/UZE7k/GWsD8U9mcIXBmGLHorkWHCU/kXEnh3QkGINlC6HDVBQ/4BAMCA06NB6PV6586du2zZssmTJy9cuPDWW299/fXXT86izVqM/e8zHFKnAFuCblfAYxK4bJKuMlopgwXX6CRB4cMi35iURVlloLTZaoKB/AMAgIGrR4Pw7bffHjly5AUXXIAQ+vvf/15VVbV48WKdTncSPyLEJ5v9na1+lyoZz2E0g0wOtdGCq7WyIPMRUfAkRE5W6Ui1TUVpSQQXAQIAwIDXo0FYXV09bNiw1Ovy8nKEUGNj49ChQ098yXE+2dbpa/Z3okQsS60db3HojBkYrZYFmQ+LvCsu8wqlI9QZNKkmIP8AAAAc0qNB6Pf7HQ7Hobd6vd7r9R61pcvl+u6777DDTvgtWbJk/vz5v7TkLfu+c+hNg4wZBmcZRpKyoPhdSSEaU3iF0BKUFicthIzkhCSg6EnsUH/A8zxCSKVS/WpLcKRoFLan30kQBEmSBEHo7ULSEmx4x49hGIqijt2mR4PQbDYf/u8XDoctFstRW9rt9tGjR2/evPk4lzxl2CSdTicLCh8RBJ+ocDKjU+lzSFJLYBjsAB4LBOEJOrnH9geOVBAyDNPbhaQr2PBOoh4NwuLi4q+++umxRPX19ZIk5eXlnZQl8wEx7InLokzpSMZGUxo4/gkAAOC49OiAyUsuuWTDhg0bNmwQBOHRRx+dNWuWwWA4KUtWFKRx0MYSLetkKBZSEAAAwPHq0SDMzMx8/fXXL730UpPJ1NbWtmjRopO1ZNpMkrAXCAAA4Lfr6Qvq586dO3fu3B7+UAAAAOCXwLXkAAAABrR+EoSrVq3q7RLS1cGDBw8ePNjbVaQr2PB+t8bGxn379vV2Felq9erViqL0dhX9R38IQp7nL7vsst6uIl0tX758+fLlvV1FurrssstS15+A3+rjjz9etmxZb1eRrq699lq/39/bVfQf/eTpE+B3g9+VoFfAhgf6jv6wRwgAAAD8bhCEAAAABrQ+emg0EAjU1NSceeaZx9NYURRRFI+zMeiivr4eIbRly5beLiQtiaI4ffp0uI3f79DU1MRx3N69e3u7kLQUiUQuvPDCX72FJkAIzZo164Ybbjh2G6xvHqmPx+PLly/Pyck5zvYNDQ0FBQXdWlJ/FQgEEEImk6m3C0lLsOH9buFwWBCEX7rbMDg22PCOX0FBQVFR0bHb9NEgBAAAAHoGnCMEAAAwoEEQAgAAGNAgCAEAAAxoEIQAAAAGtD56+cQxtLe3f/XVVyaTadq0aUd9rnoymVy1alUsFjvzzDMzMjJ6vsI+q7Gx8YcfflAUZdy4cdnZ2Uc22LZtW2oQKUKIZdmxY8f2bIF9165du9xud+q1SqWaOHHikW0SicSqVavi8fi0adNsNlvPFth3dXR0dLlGYsyYMVqt9vApW7duDQaDqdew4SGEwuHw7t279Xr90KFDD5/+7bffHjhwYPjw4ZWVlUedsbGxcf369Q6H44wzziAIokeK7Q/SbNToDz/8cPbZZ5933nm1tbWyLK9du7ZLFsZisQkTJphMpuzs7M8//3zt2rVDhgzprWr7lGXLlt15550TJ07Ecfzzzz9/9dVXj3we1uTJkwOBQOrXQ15e3iuvvNIblfZFs2fPrqmpyczMRAiZzeYj784ajUbHjRuXkZHhdDpXr179zTfflJeX90alfc6XX375xBNPpF77fL7du3e3trba7fbD20yaNCkUCqV+PcCG97e//e3xxx/XaDRnnXXWu+++e2j67bff/sknn5xxxhmffPLJAw88cN1113WZ8Ysvvpg/f/6sWbN27NjhcDg+/fRTuML1eClp5dxzz33kkUcURREEobKy8p133unSYMmSJWPGjJEkSVGUu+++++KLL+6FKvuklpaWRCKRev3SSy+VlJQc2WbSpEkffvhhz9aVHmbNmvXKK68co8Hzzz8/fvz41IZ3++23X3755T1VWjq57777ZsyYceT0iRMnfvTRRz1fT9/U1tYWj8cfeOCBefPmHZrY0tLCMExLS4uiKBs3brRarclkssuMo0aNWrJkiaIosVgsJyfnq6++6smy01o6nSMUBGHVqlUXXnghQogkyfPPP3/lypVd2qxcuXL27Nk4jiOE5syZc2SDASs7O5thmNRrp9PJcdxRmx04cGD16tXNzc09WFp6qK+vX7VqVepGPEdauXLlhRdeCBveMciyvGzZsj/+8Y9H/WtNTQ1seCmZmZlqtbrLxM8//3zkyJGpMxrjx4+nKGrz5s2HN3C5XN9///2cOXMQQhqNZvr06bARHr90CkKXyyVJ0qGTW1lZWW1tbV3atLW1ZWVlHWoQjUZDoVCPVtnnCYLwj3/8Y8GCBUf+Sa1Wf/nll88880xFRcVdd93V87X1WTRNf/vtt4sXL66qqrr22muVI04odNnwAoFALBbr8TL7tFWrVnEcN2PGjCP/pNFoDm14d999d8/X1ve1tbUdfl4/MzOzy7dfW1ubRqMxm82pt0f9egS/JJ0Gy0iShBA6dNSbIAhRFI9sk/pVnmqAEDqyzUAmy/I111yj0+mO+nWzcuXK1Eo7ePDg8OHDzzvvvAkTJvR4jX3RW2+9lVozbW1tw4YNmzFjxsyZMw9vcOSGl9pcwSGvvfbaFVdccdTbYx6+4VVVVZ133nnjx4/v8QL7NEmSDj/hR5Jkl2+2Lg2O+vUIfkk67RE6HA4MwzweT+qty+VKDV44nNPpPDS6z+VyMQxz6CcSUBTlhhtuaGho+Oijj4464PbQMLOSkpIRI0b8+OOPPVtg33VozWRlZU2cOHH79u1dGnTZ8LRarV6v79ES+6A3qJ8AAASBSURBVDafz7dy5cqrrrrqqH+FDe9XHb6BoaN9+zmdzlgsdug4hMvlcjqdPVpiOkunIKRpeuzYsV988UXq7RdffDF58mSEkCzLPp8vdbRq8uTJq1evPtRg0qRJMG4qRVGUm2++edeuXStXrmRZ9tD0eDweiUS6NI7FYjU1Nbm5uT1bYxrgeX7Pnj2pNXOMDS+1ZYJDli1bVlVVNXjw4ENTYMP7TSZNmrR58+bUGqupqfF4PKNGjUKHrcasrKzS0tLU16Msy2vWrDn99NN7t+Y0kmaXT3z22WdXXHHFXXfdVVNTs27dup07d+p0urq6uuLiYrfbbbPZvF5vZWXlBRdckJ2d/eSTT3700UfwlZTy6quvLliwYN68eQaDITXlxRdfxHH8L3/5y/79+z/++OPW1tYrr7zytNNOoyjqP//5j1arXbduHUmm08HzbhKNRs8555ypU6fSNP3JJ58kk8nNmzer1er9+/cPGjTI7/ebTCa3211ZWTlnzhyn0/nkk0+uXLkSjiof7pRTTrn55puvvvrqQ1Puvvvumpqajz/+uKWl5aqrrkpteMuXL9fr9WvXrh3IG94333zz9ttvb9u2LRgMTp06dcqUKfPmzUMIzZ492+fzzZ49+5VXXjn33HMfe+wxhNBf/vKX6urqTz75BCG0dOnSe+655/bbb9+yZUtNTc22bdvgOU3HiXjwwQd7u4bfoLS0dPLkyXv27MnJyXn++edTDw+iKKqgoGDkyJEkSWo0mvnz5zc1NSUSicceewyuzD0Ex/GqqqqCgoLM/1NVVYVhmMFgqKysLCoqYhiGZVm32y1J0oUXXvj4448P5C+jw5EkaTKZXC6XIAjTp09/9tlnU+NvKYoqLCwcOXIkQRAsy86fP7+xsZHjuMcffzz1ax2kxONxhmHmz59/+AH5QxueWq3WaDSpDW/OnDmw4cXjcUEQhg8fPn78+MzMzJKSktQD6WbPno0QampquvTSS2+66abUsa5DqxEhNGzYsKqqqr179w4aNGjx4sUajaZ3O5JG0myPEAAAADi50ukcIQAAAHDSQRACAAAY0CAIAQAADGgQhAAAAAY0CEIAAAADGgQhAACAAQ2CEAAAwIAGQQgAAGBAgyAEIP1wHHfdddeNGDFix44diqK8+uqrvV0RAGkM7iwDQPp59tln7Xa7RqPZvn17U1PTvffeW1pa2ttFAZCuIAgBSD+RSESn0yGEli5dWlFRMWLEiN6uCIA0BkEIQLp6+eWXhw8fPnz48N4uBID0NqDv8g5AmlIU5fnnnz/77LNLSkoQQhzH0TTd20UBkK5gsAwA6Wfx4sXnn39+KgVXrFixefPm3q4IgDQGh0YBSDMvvfRSKBRqaWmJRCIYhkmS9Oabb/Z2UQCkMTg0CkA6URRl8ODBEydOFAThqaeeslgsV111VW8XBUB6gz1CAAAAAxqcIwQAADCgQRACAAAY0CAIAQAADGgQhAAAAAY0CEIAAAADGgQhAACAAQ2CEAAAwIAGQQgAAGBAgyAEAAAwoEEQAgAAGND+P0sBv5z3VgEqAAAAAElFTkSuQmCC", "image/svg+xml": [ "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n" ], "text/html": [ "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", " \n", " \n", " \n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n" ] }, "metadata": {}, "output_type": "display_data" }, { "name": "stdout", "output_type": "stream", "text": [ "Posterior distribution of w: MvNormalWeightedMeanPrecision(\n", "xi: [307.7818564544745, 2208.395106150794, 17693.181354856355]\n", "Λ: [15.00001 77.73321536791191 538.9138576517117; 77.73321536791191 538.9138676517117 4221.088404002255; 538.9138576517117 4221.088404002255 35248.048308516314]\n", ")\n", "\n" ] } ], "source": [ "using RxInfer, Random\n", "# Build model\n", "@model function linear_regression(y,x, N, Σ, σ2)\n", "\n", " w ~ MvNormalMeanCovariance(zeros(3),Σ)\n", " \n", " for i in 1:N\n", " y[i] ~ NormalMeanVariance(dot(w , x[i]), σ2)\n", " end\n", "end\n", "# Run message passing algorithm \n", "results = infer(\n", " model = linear_regression(N=length(x_train), Σ=Σ, σ2=σ2),\n", " data = (y = y_train, x = x_train),\n", " returnvars = (w = KeepLast(),),\n", " iterations = 20,\n", ");\n", "# Plot result\n", "w = results.posteriors[:w]\n", "println(\"Posterior distribution of w: $(w)\")\n", "plt = scatter(z, y_train, label=\"data\", xlabel=L\"z\", ylabel=L\"f([1.0, z, z^2]) + \\epsilon\")\n", "z_test = collect(0:0.2:12)\n", "x_test = [[1.0; z; z^2] for z in z_test]\n", "for i=1:10\n", " w_sample = rand(results.posteriors[:w])\n", " f_est(x) = (w_sample'*x)[1]\n", " plt = plot!(z_test, map(f_est, x_test), alpha=0.3, label=\"\");\n", "end\n", "display(plt)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Final thoughts: Modularity and Abstraction \n", "\n", "- The great Michael Jordan (no, not [this one](https://youtu.be/cuLprHh_BRg), but [this one](https://people.eecs.berkeley.edu/~jordan/)), wrote: \n", "\n", " > \"I basically know of two principles for treating complicated systems in simple ways: the first is the principle of **modularity** and the second is the principle of **abstraction**. I am an apologist for computational probability in machine learning because I believe that probability theory implements these two principles in deep and intriguing ways — namely through factorization and through averaging. Exploiting these two mechanisms as fully as possible seems to me to be the way forward in machine learning.\" — Michael Jordan, 1997 (quoted in [Fre98](https://mitpress.mit.edu/9780262062022/)).\n", "\n", "- Factor graphs realize these ideas nicely, both visually and computationally.\n", "\n", "- Visually, the modularity of conditional independencies in the model are displayed by the graph structure. Each node hides internal complexity and by closing-the-box, we can hierarchically move on to higher levels of abstraction. \n", "\n", "- Computationally, message passing-based inference uses the Distributive Law to avoid any unnecessary computations. \n", "\n", "- What is the relevance of this lesson? RxInfer is not yet a finished project. Still, my prediction is that in 5-10 years, this lesson on Factor Graphs will be the final lecture of part-A of this class, aimed at engineers who need to develop machine learning applications. In principle you have all the tools now to work out the 4-step machine learning recipe (1. model specification, 2. parameter learning, 3. model evaluation, 4. application) that was proposed in the [Bayesian machine learning lesson](https://nbviewer.org/github/bertdv/BMLIP/blob/master/lessons/notebooks/Bayesian-Machine-Learning.ipynb#Bayesian-design). You can propose any model and execute the (learning, evaluation, and application) stages by executing the corresponding inference task automatically in RxInfer. \n", "\n", "- Part-B of this class would be about on advanced methods on how to improve automated inference by RxInfer or a similar probabilistic programming package. The Bayesian approach fully supports separating model specification from the inference task. \n" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "##
OPTIONAL SLIDES
" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Sum-Product Messages for Multiplication Nodes\n", "- Next, let us consider a **multiplication** by a fixed (invertible matrix) gain $f_A(x,y) = \\delta(y-Ax)$\n", "\n", "

" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "$$\\begin{align*}\n", "\\overrightarrow{\\mu}_{Y}(y) &= \\int \\overrightarrow{\\mu}_{X}(x) \\,\\delta(y-Ax) \\,\\mathrm{d}x \\\\\n", "&= \\int \\overrightarrow{\\mu}_{X}(x) \\,|A|^{-1}\\delta(x-A^{-1}y) \\,\\mathrm{d}x \\\\\n", "&= |A|^{-1}\\overrightarrow{\\mu}_{X}(A^{-1}y) \\,.\n", "\\end{align*}$$" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ "- For a Gaussian message input message $\\overrightarrow{\\mu}_{X}(x) = \\mathcal{N}(x|\\overrightarrow{m}_{X},\\overrightarrow{V}_{X})$, the output message is also Gaussian with \n", "$$\\begin{align*}\n", "\\overrightarrow{m}_{Y} = A\\overrightarrow{m}_{X} \\,,\\,\\text{and}\\,\\,\n", "\\overrightarrow{V}_{Y} = A\\overrightarrow{V}_{X}A^T\n", "\\end{align*}$$\n", "since \n", "$$\\begin{align*}\n", "\\overrightarrow{\\mu}_{Y}(y) &= |A|^{-1}\\overrightarrow{\\mu}_{X}(A^{-1}y) \\\\\n", " &\\propto \\exp \\left( -\\frac{1}{2} \\left( A^{-1}y - \\overrightarrow{m}_{X}\\right)^T \\overrightarrow{V}_{X}^{-1} \\left( A^{-1}y - \\overrightarrow{m}_{X}\\right)\\right) \\\\\n", " &= \\exp \\big( -\\frac{1}{2} \\left( y - A\\overrightarrow{m}_{X}\\right)^T \\underbrace{A^{-T}\\overrightarrow{V}_{X}^{-1} A^{-1}}_{(A \\overrightarrow{V}_{X} A^T)^{-1}} \\left( y - A\\overrightarrow{m}_{X}\\right)\\big) \\\\\n", " &\\propto \\mathcal{N}(y| A\\overrightarrow{m}_{X},A\\overrightarrow{V}_{X}A^T) \\,.\n", "\\end{align*}$$" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "subslide" } }, "source": [ "- Exercise: Proof that, for the same factor $\\delta(y-Ax)$ and Gaussian messages, the (backward) sum-product message $\\overleftarrow{\\mu}_{X}$ is given by \n", "$$\\begin{align*}\n", "\\overleftarrow{\\xi}_{X} &= A^T\\overleftarrow{\\xi}_{Y} \\\\\n", "\\overleftarrow{W}_{X} &= A^T\\overleftarrow{W}_{Y}A\n", "\\end{align*}$$\n", "where $\\overleftarrow{\\xi}_X \\triangleq \\overleftarrow{W}_X \\overleftarrow{m}_X$ and $\\overleftarrow{W}_{X} \\triangleq \\overleftarrow{V}_{X}^{-1}$ (and similarly for $Y$)." ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "\n", "### Code example: Gaussian forward and backward messages for the Addition node\n", "\n", "Let's calculate the Gaussian forward and backward messages for the addition node in RxInfer. \n", "

" ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "slideshow": { "slide_type": "subslide" } }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Forward message on Z:\n" ] }, { "name": "stderr", "output_type": "stream", "text": [ "WARNING: both ExponentialFamily and ReactiveMP export \"MvNormalMeanScalePrecision\"; uses of it in module RxInfer must be qualified\n" ] }, { "data": { "text/plain": [ "NormalMeanVariance{Float64}(μ=3.0, v=2.0)" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "println(\"Forward message on Z:\")\n", "@call_rule typeof(+)(:out, Marginalisation) (m_in1 = NormalMeanVariance(1.0, 1.0), m_in2 = NormalMeanVariance(2.0, 1.0))" ] }, { "cell_type": "code", "execution_count": 5, "metadata": { "slideshow": { "slide_type": "subslide" } }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Backward message on X:\n" ] }, { "data": { "text/plain": [ "NormalMeanVariance{Float64}(μ=1.0, v=2.0)" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "println(\"Backward message on X:\")\n", "@call_rule typeof(+)(:in1, Marginalisation) (m_out = NormalMeanVariance(3.0, 1.0), m_in2 = NormalMeanVariance(2.0, 1.0))" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Code Example: forward and backward messages for the Matrix Multiplication node\n", "\n", "In the same way we can also investigate the forward and backward messages for the matrix multiplication (\"gain\") node \n", "

" ] }, { "cell_type": "code", "execution_count": 6, "metadata": { "slideshow": { "slide_type": "subslide" } }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Forward message on Y:\n" ] }, { "data": { "text/plain": [ "NormalMeanVariance{Float64}(μ=4.0, v=16.0)" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "println(\"Forward message on Y:\")\n", "@call_rule typeof(*)(:out, Marginalisation) (m_A = PointMass(4.0), m_in = NormalMeanVariance(1.0, 1.0))" ] }, { "cell_type": "code", "execution_count": 7, "metadata": { "slideshow": { "slide_type": "subslide" } }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Backward message on X:\n" ] }, { "data": { "text/plain": [ "NormalWeightedMeanPrecision{Float64}(xi=8.0, w=16.0)" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "println(\"Backward message on X:\")\n", "@call_rule typeof(*)(:in, Marginalisation) (m_out = NormalMeanVariance(2.0, 1.0), m_A = PointMass(4.0))" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ " \n", " ### Example: Sum-Product Algorithm to infer a posterior\n", " \n", " - Consider a generative model \n", "$$p(x,y_1,y_2) = p(x)\\,p(y_1|x)\\,p(y_2|x) .$$ \n", " - This model expresses the assumption that $Y_1$ and $Y_2$ are independent measurements of $X$.\n", "\n", "

" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "subslide" } }, "source": [ " \n", "- Assume that we are interested in the posterior for $X$ after observing $Y_1= \\hat y_1$ and $Y_2= \\hat y_2$. The posterior for $X$ can be inferred by applying the sum-product algorithm to the following graph:\n", "\n", "

" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "fragment" } }, "source": [ " - (Note that) we usually draw terminal nodes for observed variables in the graph by smaller solid-black squares. This is just to help the visualization of the graph, since the computational rules are no different than for other nodes. " ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### Code for Sum-Product Algorithm to infer a posterior\n", "\n", "We'll use RxInfer to build the above graph, and perform sum-product message passing to infer the posterior $p(x|y_1,y_2)$. We assume $p(y_1|x)$ and $p(y_2|x)$ to be Gaussian likelihoods with known variances:\n", "$$\\begin{align*}\n", " p(y_1\\,|\\,x) &= \\mathcal{N}(y_1\\,|\\,x, v_{y1}) \\\\\n", " p(y_2\\,|\\,x) &= \\mathcal{N}(y_2\\,|\\,x, v_{y2})\n", "\\end{align*}$$\n", "Under this model, the posterior is given by:\n", "$$\\begin{align*}\n", " p(x\\,|\\,y_1,y_2) &\\propto \\overbrace{p(y_1\\,|\\,x)\\,p(y_2\\,|\\,x)}^{\\text{likelihood}}\\,\\overbrace{p(x)}^{\\text{prior}} \\\\\n", " &=\\mathcal{N}(x\\,|\\,\\hat{y}_1, v_{y1})\\, \\mathcal{N}(x\\,|\\,\\hat{y}_2, v_{y2}) \\, \\mathcal{N}(x\\,|\\,m_x, v_x) \n", "\\end{align*}$$\n", "so we can validate the answer by solving the Gaussian multiplication manually." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "slideshow": { "slide_type": "subslide" } }, "outputs": [], "source": [ "# Data\n", "y1_hat = 1.0\n", "y2_hat = 2.0\n", "\n", "# Construct the factor graph\n", "@model function my_model(y1,y2)\n", "\n", " # `x` is the hidden states\n", " x ~ NormalMeanVariance(0.0, 4.0)\n", "\n", " # `y1` and `y2` are \"clamped\" observations\n", " y1 ~ NormalMeanVariance(x, 1.0)\n", " y2 ~ NormalMeanVariance(x, 2.0)\n", " \n", " return x\n", "end\n", "\n", "result = infer(model=my_model(), data=(y1=y1_hat, y2 = y2_hat,))\n", "println(\"Sum-product message passing result: p(x|y1,y2) = 𝒩($(mean(result.posteriors[:x])),$(var(result.posteriors[:x])))\")\n", "\n", "# Calculate mean and variance of p(x|y1,y2) manually by multiplying 3 Gaussians (see lesson 4 for details)\n", "v = 1 / (1/4 + 1/1 + 1/2)\n", "m = v * (0/4 + y1_hat/1.0 + y2_hat/2.0)\n", "println(\"Manual result: p(x|y1,y2) = 𝒩($(m), $(v))\")" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "slideshow": { "slide_type": "skip" } }, "outputs": [], "source": [ "open(\"../../styles/aipstyle.html\") do f display(\"text/html\", read(f, String)) end\n" ] } ], "metadata": { "celltoolbar": "Slideshow", "kernelspec": { "display_name": "Julia 1.10.5", "language": "julia", "name": "julia-1.10" }, "language_info": { "file_extension": ".jl", "mimetype": "application/julia", "name": "julia", "version": "1.10.5" } }, "nbformat": 4, "nbformat_minor": 4 }