{
"cells": [
{
"cell_type": "markdown",
"id": "7660a7d5",
"metadata": {
"editable": true
},
"source": [
""
]
},
{
"cell_type": "markdown",
"id": "7174820b",
"metadata": {
"editable": true
},
"source": [
"# Solving Differential Equations with Deep Learning\n",
"\n",
"The Universal Approximation Theorem states that a neural network can\n",
"approximate any function at a single hidden layer along with one input\n",
"and output layer to any given precision. \n",
"\n",
"An ordinary differential equation (ODE) is an equation involving functions having one variable.\n",
"\n",
"In general, an ordinary differential equation looks like"
]
},
{
"cell_type": "markdown",
"id": "ac838a12",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{ode} \\tag{1}\n",
"f\\left(x, \\, g(x), \\, g'(x), \\, g''(x), \\, \\dots \\, , \\, g^{(n)}(x)\\right) = 0\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "ccee4286",
"metadata": {
"editable": true
},
"source": [
"where $g(x)$ is the function to find, and $g^{(n)}(x)$ is the $n$-th derivative of $g(x)$.\n",
"\n",
"The $f\\left(x, g(x), g'(x), g''(x), \\, \\dots \\, , g^{(n)}(x)\\right)$ is just a way to write that there is an expression involving $x$ and $g(x), \\ g'(x), \\ g''(x), \\, \\dots \\, , \\text{ and } g^{(n)}(x)$ on the left side of the equality sign in ([1](#ode)).\n",
"The highest order of derivative, that is the value of $n$, determines to the order of the equation.\n",
"The equation is referred to as a $n$-th order ODE.\n",
"Along with ([1](#ode)), some additional conditions of the function $g(x)$ are typically given\n",
"for the solution to be unique.\n",
"\n",
"Let the trial solution $g_t(x)$ be"
]
},
{
"cell_type": "markdown",
"id": "39d7dabd",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation}\n",
"\tg_t(x) = h_1(x) + h_2(x,N(x,P))\n",
"\\label{_auto1} \\tag{2}\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "74f33170",
"metadata": {
"editable": true
},
"source": [
"where $h_1(x)$ is a function that makes $g_t(x)$ satisfy a given set\n",
"of conditions, $N(x,P)$ a neural network with weights and biases\n",
"described by $P$ and $h_2(x, N(x,P))$ some expression involving the\n",
"neural network. The role of the function $h_2(x, N(x,P))$, is to\n",
"ensure that the output from $N(x,P)$ is zero when $g_t(x)$ is\n",
"evaluated at the values of $x$ where the given conditions must be\n",
"satisfied. The function $h_1(x)$ should alone make $g_t(x)$ satisfy\n",
"the conditions.\n",
"\n",
"But what about the network $N(x,P)$?\n",
"\n",
"As described previously, an optimization method could be used to minimize the parameters of a neural network, that being its weights and biases, through backward propagation.\n",
"\n",
"For the minimization to be defined, we need to have a cost function at hand to minimize.\n",
"\n",
"It is given that $f\\left(x, \\, g(x), \\, g'(x), \\, g''(x), \\, \\dots \\, , \\, g^{(n)}(x)\\right)$ should be equal to zero in ([1](#ode)).\n",
"We can choose to consider the mean squared error as the cost function for an input $x$.\n",
"Since we are looking at one input, the cost function is just $f$ squared.\n",
"The cost function $c\\left(x, P \\right)$ can therefore be expressed as"
]
},
{
"cell_type": "markdown",
"id": "2565ab16",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"C\\left(x, P\\right) = \\big(f\\left(x, \\, g(x), \\, g'(x), \\, g''(x), \\, \\dots \\, , \\, g^{(n)}(x)\\right)\\big)^2\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "83d4ee25",
"metadata": {
"editable": true
},
"source": [
"If $N$ inputs are given as a vector $\\boldsymbol{x}$ with elements $x_i$ for $i = 1,\\dots,N$,\n",
"the cost function becomes"
]
},
{
"cell_type": "markdown",
"id": "a7a3a709",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{cost} \\tag{3}\n",
"\tC\\left(\\boldsymbol{x}, P\\right) = \\frac{1}{N} \\sum_{i=1}^N \\big(f\\left(x_i, \\, g(x_i), \\, g'(x_i), \\, g''(x_i), \\, \\dots \\, , \\, g^{(n)}(x_i)\\right)\\big)^2\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "d3ca8026",
"metadata": {
"editable": true
},
"source": [
"The neural net should then find the parameters $P$ that minimizes the cost function in\n",
"([3](#cost)) for a set of $N$ training samples $x_i$.\n",
"\n",
"To perform the minimization using gradient descent, the gradient of $C\\left(\\boldsymbol{x}, P\\right)$ is needed.\n",
"It might happen so that finding an analytical expression of the gradient of $C(\\boldsymbol{x}, P)$ from ([3](#cost)) gets too messy, depending on which cost function one desires to use.\n",
"\n",
"Luckily, there exists libraries that makes the job for us through automatic differentiation.\n",
"Automatic differentiation is a method of finding the derivatives numerically with very high precision."
]
},
{
"cell_type": "markdown",
"id": "9bde4bd4",
"metadata": {
"editable": true
},
"source": [
"### Example: Exponential decay\n",
"\n",
"An exponential decay of a quantity $g(x)$ is described by the equation"
]
},
{
"cell_type": "markdown",
"id": "e74337c3",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{solve_expdec} \\tag{4}\n",
" g'(x) = -\\gamma g(x)\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "273549a4",
"metadata": {
"editable": true
},
"source": [
"with $g(0) = g_0$ for some chosen initial value $g_0$.\n",
"\n",
"The analytical solution of ([4](#solve_expdec)) is"
]
},
{
"cell_type": "markdown",
"id": "db3c6623",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation}\n",
" g(x) = g_0 \\exp\\left(-\\gamma x\\right)\n",
"\\label{_auto2} \\tag{5}\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "8547e3c8",
"metadata": {
"editable": true
},
"source": [
"Having an analytical solution at hand, it is possible to use it to compare how well a neural network finds a solution of ([4](#solve_expdec)).\n",
"\n",
"The program will use a neural network to solve"
]
},
{
"cell_type": "markdown",
"id": "48341fc6",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{solveode} \\tag{6}\n",
"g'(x) = -\\gamma g(x)\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "d25b1e02",
"metadata": {
"editable": true
},
"source": [
"where $g(0) = g_0$ with $\\gamma$ and $g_0$ being some chosen values.\n",
"\n",
"In this example, $\\gamma = 2$ and $g_0 = 10$.\n",
"\n",
"To begin with, a trial solution $g_t(t)$ must be chosen. A general trial solution for ordinary differential equations could be"
]
},
{
"cell_type": "markdown",
"id": "7c5dd91e",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"g_t(x, P) = h_1(x) + h_2(x, N(x, P))\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "24223062",
"metadata": {
"editable": true
},
"source": [
"with $h_1(x)$ ensuring that $g_t(x)$ satisfies some conditions and $h_2(x,N(x, P))$ an expression involving $x$ and the output from the neural network $N(x,P)$ with $P $ being the collection of the weights and biases for each layer. For now, it is assumed that the network consists of one input layer, one hidden layer, and one output layer.\n",
"\n",
"In this network, there are no weights and bias at the input layer, so $P = \\{ P_{\\text{hidden}}, P_{\\text{output}} \\}$.\n",
"If there are $N_{\\text{hidden} }$ neurons in the hidden layer, then $P_{\\text{hidden}}$ is a $N_{\\text{hidden} } \\times (1 + N_{\\text{input}})$ matrix, given that there are $N_{\\text{input}}$ neurons in the input layer.\n",
"\n",
"The first column in $P_{\\text{hidden} }$ represents the bias for each neuron in the hidden layer and the second column represents the weights for each neuron in the hidden layer from the input layer.\n",
"If there are $N_{\\text{output} }$ neurons in the output layer, then $P_{\\text{output}} $ is a $N_{\\text{output} } \\times (1 + N_{\\text{hidden} })$ matrix.\n",
"\n",
"Its first column represents the bias of each neuron and the remaining columns represents the weights to each neuron.\n",
"\n",
"It is given that $g(0) = g_0$. The trial solution must fulfill this condition to be a proper solution of ([6](#solveode)). A possible way to ensure that $g_t(0, P) = g_0$, is to let $F(N(x,P)) = x \\cdot N(x,P)$ and $A(x) = g_0$. This gives the following trial solution:"
]
},
{
"cell_type": "markdown",
"id": "ebf04383",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{trial} \\tag{7}\n",
"g_t(x, P) = g_0 + x \\cdot N(x, P)\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "ea4a0013",
"metadata": {
"editable": true
},
"source": [
"### Reformulating the problem\n",
"\n",
"We wish that our neural network manages to minimize a given cost function.\n",
"\n",
"A reformulation of out equation, ([6](#solveode)), must therefore be done,\n",
"such that it describes the problem a neural network can solve for.\n",
"\n",
"The neural network must find the set of weights and biases $P$ such that the trial solution in ([7](#trial)) satisfies ([6](#solveode)).\n",
"\n",
"The trial solution"
]
},
{
"cell_type": "markdown",
"id": "2351b84f",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"g_t(x, P) = g_0 + x \\cdot N(x, P)\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "f6cc00e4",
"metadata": {
"editable": true
},
"source": [
"has been chosen such that it already solves the condition $g(0) = g_0$. What remains, is to find $P$ such that"
]
},
{
"cell_type": "markdown",
"id": "84e066a1",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{nnmin} \\tag{8}\n",
"g_t'(x, P) = - \\gamma g_t(x, P)\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "feff9ab3",
"metadata": {
"editable": true
},
"source": [
"is fulfilled as *best as possible*.\n",
"\n",
"The left hand side and right hand side of ([8](#nnmin)) must be computed separately, and then the neural network must choose weights and biases, contained in $P$, such that the sides are equal as best as possible.\n",
"This means that the absolute or squared difference between the sides must be as close to zero, ideally equal to zero.\n",
"In this case, the difference squared shows to be an appropriate measurement of how erroneous the trial solution is with respect to $P$ of the neural network.\n",
"\n",
"This gives the following cost function our neural network must solve for:"
]
},
{
"cell_type": "markdown",
"id": "0c6f0e79",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\min_{P}\\Big\\{ \\big(g_t'(x, P) - ( -\\gamma g_t(x, P) \\big)^2 \\Big\\}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "9302a1dd",
"metadata": {
"editable": true
},
"source": [
"(the notation $\\min_{P}\\{ f(x, P) \\}$ means that we desire to find $P$ that yields the minimum of $f(x, P)$)\n",
"\n",
"or, in terms of weights and biases for the hidden and output layer in our network:"
]
},
{
"cell_type": "markdown",
"id": "f7f204bb",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\min_{P_{\\text{hidden} }, \\ P_{\\text{output} }}\\Big\\{ \\big(g_t'(x, \\{ P_{\\text{hidden} }, P_{\\text{output} }\\}) - ( -\\gamma g_t(x, \\{ P_{\\text{hidden} }, P_{\\text{output} }\\}) \\big)^2 \\Big\\}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "8d61d75f",
"metadata": {
"editable": true
},
"source": [
"for an input value $x$.\n",
"\n",
"If the neural network evaluates $g_t(x, P)$ at more values for $x$, say $N$ values $x_i$ for $i = 1, \\dots, N$, then the *total* error to minimize becomes"
]
},
{
"cell_type": "markdown",
"id": "10d3aec9",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{min} \\tag{9}\n",
"\\min_{P}\\Big\\{\\frac{1}{N} \\sum_{i=1}^N \\big(g_t'(x_i, P) - ( -\\gamma g_t(x_i, P) \\big)^2 \\Big\\}\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "5e296388",
"metadata": {
"editable": true
},
"source": [
"Letting $\\boldsymbol{x}$ be a vector with elements $x_i$ and $C(\\boldsymbol{x}, P) = \\frac{1}{N} \\sum_i \\big(g_t'(x_i, P) - ( -\\gamma g_t(x_i, P) \\big)^2$ denote the cost function, the minimization problem that our network must solve, becomes"
]
},
{
"cell_type": "markdown",
"id": "fe010d79",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\min_{P} C(\\boldsymbol{x}, P)\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "add715f9",
"metadata": {
"editable": true
},
"source": [
"In terms of $P_{\\text{hidden} }$ and $P_{\\text{output} }$, this could also be expressed as\n",
"\n",
"$$\n",
"\\min_{P_{\\text{hidden} }, \\ P_{\\text{output} }} C(\\boldsymbol{x}, \\{P_{\\text{hidden} }, P_{\\text{output} }\\})\n",
"$$\n",
"\n",
"For simplicity, it is assumed that the input is an array $\\boldsymbol{x} = (x_1, \\dots, x_N)$ with $N$ elements. It is at these points the neural network should find $P$ such that it fulfills ([9](#min)).\n",
"\n",
"First, the neural network must feed forward the inputs.\n",
"This means that $\\boldsymbol{x}s$ must be passed through an input layer, a hidden layer and a output layer. The input layer in this case, does not need to process the data any further.\n",
"The input layer will consist of $N_{\\text{input} }$ neurons, passing its element to each neuron in the hidden layer. The number of neurons in the hidden layer will be $N_{\\text{hidden} }$.\n",
"\n",
"For the $i$-th in the hidden layer with weight $w_i^{\\text{hidden} }$ and bias $b_i^{\\text{hidden} }$, the weighting from the $j$-th neuron at the input layer is:"
]
},
{
"cell_type": "markdown",
"id": "cb9b22eb",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{aligned}\n",
"z_{i,j}^{\\text{hidden}} &= b_i^{\\text{hidden}} + w_i^{\\text{hidden}}x_j \\\\\n",
"&=\n",
"\\begin{pmatrix}\n",
"b_i^{\\text{hidden}} & w_i^{\\text{hidden}}\n",
"\\end{pmatrix}\n",
"\\begin{pmatrix}\n",
"1 \\\\\n",
"x_j\n",
"\\end{pmatrix}\n",
"\\end{aligned}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "49f3c493",
"metadata": {
"editable": true
},
"source": [
"The result after weighting the inputs at the $i$-th hidden neuron can be written as a vector:"
]
},
{
"cell_type": "markdown",
"id": "a352bd61",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{aligned}\n",
"\\boldsymbol{z}_{i}^{\\text{hidden}} &= \\Big( b_i^{\\text{hidden}} + w_i^{\\text{hidden}}x_1 , \\ b_i^{\\text{hidden}} + w_i^{\\text{hidden}} x_2, \\ \\dots \\, , \\ b_i^{\\text{hidden}} + w_i^{\\text{hidden}} x_N\\Big) \\\\\n",
"&=\n",
"\\begin{pmatrix}\n",
" b_i^{\\text{hidden}} & w_i^{\\text{hidden}}\n",
"\\end{pmatrix}\n",
"\\begin{pmatrix}\n",
"1 & 1 & \\dots & 1 \\\\\n",
"x_1 & x_2 & \\dots & x_N\n",
"\\end{pmatrix} \\\\\n",
"&= \\boldsymbol{p}_{i, \\text{hidden}}^T X\n",
"\\end{aligned}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "e5636ad7",
"metadata": {
"editable": true
},
"source": [
"The vector $\\boldsymbol{p}_{i, \\text{hidden}}^T$ constitutes each row in $P_{\\text{hidden} }$, which contains the weights for the neural network to minimize according to ([9](#min)).\n",
"\n",
"After having found $\\boldsymbol{z}_{i}^{\\text{hidden}} $ for every $i$-th neuron within the hidden layer, the vector will be sent to an activation function $a_i(\\boldsymbol{z})$.\n",
"\n",
"In this example, the sigmoid function has been chosen to be the activation function for each hidden neuron:"
]
},
{
"cell_type": "markdown",
"id": "68bb8b9c",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"f(z) = \\frac{1}{1 + \\exp{(-z)}}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "ff6e6536",
"metadata": {
"editable": true
},
"source": [
"It is possible to use other activations functions for the hidden layer also.\n",
"\n",
"The output $\\boldsymbol{x}_i^{\\text{hidden}}$ from each $i$-th hidden neuron is:\n",
"\n",
"$$\n",
"\\boldsymbol{x}_i^{\\text{hidden} } = f\\big( \\boldsymbol{z}_{i}^{\\text{hidden}} \\big)\n",
"$$\n",
"\n",
"The outputs $\\boldsymbol{x}_i^{\\text{hidden} } $ are then sent to the output layer.\n",
"\n",
"The output layer consists of one neuron in this case, and combines the\n",
"output from each of the neurons in the hidden layers. The output layer\n",
"combines the results from the hidden layer using some weights $w_i^{\\text{output}}$\n",
"and biases $b_i^{\\text{output}}$. In this case,\n",
"it is assumes that the number of neurons in the output layer is one.\n",
"\n",
"The procedure of weighting the output neuron $j$ in the hidden layer to the $i$-th neuron in the output layer is similar as for the hidden layer described previously."
]
},
{
"cell_type": "markdown",
"id": "6fb4c55b",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{aligned}\n",
"z_{1,j}^{\\text{output}} & =\n",
"\\begin{pmatrix}\n",
"b_1^{\\text{output}} & \\boldsymbol{w}_1^{\\text{output}}\n",
"\\end{pmatrix}\n",
"\\begin{pmatrix}\n",
"1 \\\\\n",
"\\boldsymbol{x}_j^{\\text{hidden}}\n",
"\\end{pmatrix}\n",
"\\end{aligned}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "09c31d8d",
"metadata": {
"editable": true
},
"source": [
"Expressing $z_{1,j}^{\\text{output}}$ as a vector gives the following way of weighting the inputs from the hidden layer:"
]
},
{
"cell_type": "markdown",
"id": "f81fe361",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\boldsymbol{z}_{1}^{\\text{output}} =\n",
"\\begin{pmatrix}\n",
"b_1^{\\text{output}} & \\boldsymbol{w}_1^{\\text{output}}\n",
"\\end{pmatrix}\n",
"\\begin{pmatrix}\n",
"1 & 1 & \\dots & 1 \\\\\n",
"\\boldsymbol{x}_1^{\\text{hidden}} & \\boldsymbol{x}_2^{\\text{hidden}} & \\dots & \\boldsymbol{x}_N^{\\text{hidden}}\n",
"\\end{pmatrix}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "c309a4ce",
"metadata": {
"editable": true
},
"source": [
"In this case we seek a continuous range of values since we are approximating a function. This means that after computing $\\boldsymbol{z}_{1}^{\\text{output}}$ the neural network has finished its feed forward step, and $\\boldsymbol{z}_{1}^{\\text{output}}$ is the final output of the network.\n",
"\n",
"The next step is to decide how the parameters should be changed such that they minimize the cost function.\n",
"\n",
"The chosen cost function for this problem is"
]
},
{
"cell_type": "markdown",
"id": "ea47ae29",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"C(\\boldsymbol{x}, P) = \\frac{1}{N} \\sum_i \\big(g_t'(x_i, P) - ( -\\gamma g_t(x_i, P) \\big)^2\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "9dd83767",
"metadata": {
"editable": true
},
"source": [
"In order to minimize the cost function, an optimization method must be chosen.\n",
"\n",
"Here, gradient descent with a constant step size has been chosen."
]
},
{
"cell_type": "markdown",
"id": "531a7b4f",
"metadata": {
"editable": true
},
"source": [
"### Gradient descent\n",
"\n",
"The idea of the gradient descent algorithm is to update parameters in\n",
"a direction where the cost function decreases goes to a minimum.\n",
"\n",
"In general, the update of some parameters $\\boldsymbol{\\omega}$ given a cost\n",
"function defined by some weights $\\boldsymbol{\\omega}$, $C(\\boldsymbol{x},\n",
"\\boldsymbol{\\omega})$, goes as follows:"
]
},
{
"cell_type": "markdown",
"id": "e10c204a",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\boldsymbol{\\omega}_{\\text{new} } = \\boldsymbol{\\omega} - \\lambda \\nabla_{\\boldsymbol{\\omega}} C(\\boldsymbol{x}, \\boldsymbol{\\omega})\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "9f4fa48e",
"metadata": {
"editable": true
},
"source": [
"for a number of iterations or until $ \\big|\\big| \\boldsymbol{\\omega}_{\\text{new} } - \\boldsymbol{\\omega} \\big|\\big|$ becomes smaller than some given tolerance.\n",
"\n",
"The value of $\\lambda$ decides how large steps the algorithm must take\n",
"in the direction of $ \\nabla_{\\boldsymbol{\\omega}} C(\\boldsymbol{x}, \\boldsymbol{\\omega})$.\n",
"The notation $\\nabla_{\\boldsymbol{\\omega}}$ express the gradient with respect\n",
"to the elements in $\\boldsymbol{\\omega}$.\n",
"\n",
"In our case, we have to minimize the cost function $C(\\boldsymbol{x}, P)$ with\n",
"respect to the two sets of weights and biases, that is for the hidden\n",
"layer $P_{\\text{hidden} }$ and for the output layer $P_{\\text{output}\n",
"}$ .\n",
"\n",
"This means that $P_{\\text{hidden} }$ and $P_{\\text{output} }$ is updated by"
]
},
{
"cell_type": "markdown",
"id": "4652fc79",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{aligned}\n",
"P_{\\text{hidden},\\text{new}} &= P_{\\text{hidden}} - \\lambda \\nabla_{P_{\\text{hidden}}} C(\\boldsymbol{x}, P) \\\\\n",
"P_{\\text{output},\\text{new}} &= P_{\\text{output}} - \\lambda \\nabla_{P_{\\text{output}}} C(\\boldsymbol{x}, P)\n",
"\\end{aligned}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "41ae0626",
"metadata": {
"editable": true
},
"source": [
"### The code for solving the ODE"
]
},
{
"cell_type": "code",
"execution_count": 1,
"id": "af7c165f",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"Initial cost: 367.01\n"
]
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"Final cost: 0.0666807\n",
"Max absolute difference: 0.0437499\n"
]
},
{
"data": {
"image/png": "iVBORw0KGgoAAAANSUhEUgAAA0kAAANXCAYAAADgpRSrAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjkuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8hTgPZAAAACXBIWXMAAA9hAAAPYQGoP6dpAAChvklEQVR4nOzdd3QU9eP18Tu76Z0Sei9SpAqI0hEQEVAQRBClKIIi8sUuFqqCiAVFiqACCoiANJUqRem9994htDTSd+f5g1/yEBIggcBskvfrnBxldnb27u7sTG5m5rOGaZqmAAAAAACSJJvVAQAAAADAlVCSAAAAAOA6lCQAAAAAuA4lCQAAAACuQ0kCAAAAgOtQkgAAAADgOpQkAAAAALgOJQkAAAAArkNJAgAAAIDrUJKg4cOHq0SJErLb7apSpYrVcbKNhQsXqkqVKvLy8pJhGAoNDbU60j1x7NgxGYahiRMnWh3FJQwYMECGYejixYsukeNOGIahAQMGZGwg4D5y1XW4WLFiatGihdUx7ql78drfy/fTin3YxIkTZRiGjh07lqHLbdCggRo0aJChy8zKKEkuKPHDkfjj5eWlBx54QL169dL58+cz9LEWL16s9957T7Vr19aECRM0ZMiQDF0+Unfp0iW1a9dO3t7eGjVqlH799Vf5+vpaHSvLmT9/vkv+IoTM4cSJE3r11VdVrFgxeXp6Kk+ePGrVqpVWr16dYt4VK1Yk2257enoqb968atCggYYMGaILFy6kuM+N2/obf9atW3c/niZu4syZMxowYIC2bduWocvds2ePBgwYkOG/AGd1bM/ThvUr47hZHQA3N2jQIBUvXlwxMTFatWqVxowZo/nz52vXrl3y8fHJkMdYtmyZbDabfvrpJ3l4eGTIMnF7GzduVEREhAYPHqzGjRtbHSfLmj9/vkaNGsWONYNFR0fLzS1r7z5Wr16tJ598UpLUrVs3lS9fXufOndPEiRNVt25dffvtt3rjjTdS3K93796qUaOGHA6HLly4oDVr1qh///76+uuvNX36dD322GMp7pO4rb9RqVKlMv6JIc3OnDmjgQMHqlixYhl6lsWePXs0cOBANWjQQMWKFcuw5WZ1t9qeZ4dtUlrdav1avHixNaEyKdYoF9asWTNVr15d0rWddK5cufT1119r7ty56tChw10tOyoqSj4+PgoJCZG3t3eGFSTTNBUTEyNvb+8MWV5WFRISIkkKCgqyNsgdiImJkYeHh2w2DkSnx9WrV7PM0UIvLy+rI9xTV65cUdu2beXt7a3Vq1erZMmSSbe99dZbatq0qfr06aNq1aqpVq1aye5bt25dtW3bNtm07du36/HHH1ebNm20Z88e5c+fP9nt12/rcWuJ+y7gell9m5RR+GN4+vBbTiaS+BfIo0ePJk2bPHmyqlWrJm9vb+XMmVPt27fXyZMnk92vQYMGqlChgjZv3qx69erJx8dHH374oQzD0IQJE3T16tWk0zsSz7lNSEjQ4MGDVbJkSXl6eqpYsWL68MMPFRsbm2zZiedPL1q0SNWrV5e3t7d++OGHpFNPpk+froEDB6pgwYLy9/dX27ZtFRYWptjYWPXp00d58uSRn5+funbtmmLZEyZM0GOPPaY8efLI09NT5cuX15gxY1K8LokZVq1apYcfflheXl4qUaKEfvnllxTzhoaG6s0330w6faZQoULq1KlTsutDYmNj1b9/f5UqVUqenp4qXLiw3nvvvRT5bmbGjBlJ70nu3Ln1wgsv6PTp08nej86dO0uSatSoIcMw1KVLl5suL/HakUOHDqlLly4KCgpSYGCgunbtqqioqBTzp2WdKFasWKqPeeP5yonv47Rp0/Txxx+rYMGC8vHxUXh4uC5fvqx33nlHFStWlJ+fnwICAtSsWTNt3749Ta/TjRJPPVq9erXeeustBQcHy9fXV61bt071VKUFCxaobt268vX1lb+/v5o3b67du3cn3d6lSxeNGjVKkpKdwiRJDz30kJ555plky6tYsaIMw9COHTuSpv3+++8yDEN79+5NmrZ161Y1a9ZMAQEB8vPzU6NGjVKcFpX4XP7991/17NlTefLkUaFChW763I8fP65SpUqpQoUKtzylNiIiQn369El2+leTJk20ZcuWZPPdbh1MTYUKFdSwYcMU051OpwoWLJjsF/8bz/9PzzoaHR2t3r17K3fu3PL399dTTz2l06dPp+magri4OPXr10/VqlVTYGCgfH19VbduXS1fvjzZfInXEHz55ZcaN25c0nasRo0a2rhx4y0fQ5J++OEHnTt3TsOHD09WkCTJ29tbkyZNkmEYGjRo0G2XJUmVK1fWiBEjFBoaqu+//z5N90mrBQsWqH79+vL391dAQIBq1KihqVOnJpsnLetDly5d5OfnpxMnTqhFixby8/NTwYIFkz5DO3fu1GOPPSZfX18VLVo0xWMkrvP//fefevTooVy5cikgIECdOnXSlStXks07d+5cNW/eXAUKFJCnp6dKliypwYMHy+FwJJvvZvsuKe3b6djYWL355psKDg5OWt9OnTp129d1xYoVqlGjhiSpa9euKfaRaX1dbzRx4kQ9++yzkqSGDRsmLXfFihXJ5kvr/qxPnz4qXLiwPD09VapUKQ0bNkxOp/O2zy+978GePXvUsGFD+fj4qGDBgvriiy+SzZfWz+aNli9fLsMwNHv27BS3TZ06VYZhaO3atbfcnidOu3H7cfr0ab388stJz7F48eJ67bXXFBcXJ0kZvg+Lj4/XwIEDVbp0aXl5eSlXrlyqU6eOlixZkmy+ZcuWJe27goKC9PTTTyfbx9zMzbaR1+/Pb7d+pXZNUkhIiF5++WXlzZtXXl5eqly5siZNmpRsnrvdpmZWHEnKRA4fPixJypUrlyTps88+0yeffKJ27dqpW7duunDhgkaOHKl69epp69atyY5SXLp0Sc2aNVP79u31wgsvKG/evKpevbrGjRunDRs26Mcff5SkpL+KduvWTZMmTVLbtm319ttva/369Ro6dKj27t2bYmO2f/9+dejQQT169NArr7yiMmXKJN02dOhQeXt764MPPtChQ4c0cuRIubu7y2az6cqVKxowYIDWrVuniRMnqnjx4urXr1/SfceMGaMHH3xQTz31lNzc3PTnn3+qZ8+ecjqdev3115NlOHTokNq2bauXX35ZnTt31s8//6wuXbqoWrVqevDBByVJkZGRqlu3rvbu3auXXnpJDz30kC5evKh58+bp1KlTyp07t5xOp5566imtWrVK3bt3V7ly5bRz50598803OnDggObMmXPL92jixInq2rWratSooaFDh+r8+fP69ttvtXr16qT35KOPPlKZMmU0bty4pNNsbvxFLDXt2rVT8eLFNXToUG3ZskU//vij8uTJo2HDhiXNk551Ij0GDx4sDw8PvfPOO4qNjZWHh4f27NmjOXPm6Nlnn1Xx4sV1/vx5/fDDD6pfv7727NmjAgUK3NFjvfHGG8qRI4f69++vY8eOacSIEerVq5d+//33pHl+/fVXde7cWU2bNtWwYcMUFRWlMWPGqE6dOtq6dauKFSumHj166MyZM1qyZIl+/fXXZI9Rt25d/fbbb0n/vnz5snbv3i2bzaaVK1eqUqVKkqSVK1cqODhY5cqVkyTt3r1bdevWVUBAgN577z25u7vrhx9+UIMGDfTvv/+qZs2ayR6nZ8+eCg4OVr9+/XT16tVUn+/hw4f12GOPKWfOnFqyZIly585909fm1Vdf1cyZM9WrVy+VL19ely5d0qpVq7R371499NBDktK2Dqbmueee04ABA3Tu3Dnly5cvafqqVat05swZtW/f/qa5EqVlHe3SpYumT5+uF198UY888oj+/fdfNW/e/LbLlqTw8HD9+OOP6tChg1555RVFRETop59+UtOmTbVhw4YUp0RNnTpVERER6tGjhwzD0BdffKFnnnlGR44ckbu7+00f588//5SXl5fatWuX6u3FixdXnTp1tGzZMkVHR6fpyHni9mnx4sX67LPPkt0WFhaWYiAPwzCStvU3M3HiRL300kt68MEH1bdvXwUFBWnr1q1auHChnn/++aR50ro+OBwONWvWTPXq1dMXX3yhKVOmqFevXvL19dVHH32kjh076plnntHYsWPVqVMnPfrooylOE+zVq5eCgoI0YMAA7d+/X2PGjNHx48eT/uCSmMnPz09vvfWW/Pz8tGzZMvXr10/h4eEaPnx4suWltu9Kz3a6W7dumjx5sp5//nnVqlVLy5YtS9P6Vq5cOQ0aNEj9+vVT9+7dVbduXUn/fx95p5+zevXqqXfv3vruu+/04YcfJm1bEv8rpW1/FhUVpfr16+v06dPq0aOHihQpojVr1qhv3746e/asRowYccvnl5734MqVK3riiSf0zDPPqF27dpo5c6bef/99VaxYUc2aNZOU/s9mogYNGqhw4cKaMmWKWrduney2KVOmqGTJknr00Ucl6abb89ScOXNGDz/8sEJDQ9W9e3eVLVtWp0+f1syZMxUVFSUPDw8dOXIkQ/dhAwYM0NChQ9WtWzc9/PDDCg8P16ZNm7RlyxY1adJEkvTPP/+oWbNmKlGihAYMGKDo6GiNHDlStWvX1pYtW+769Mu0rF/Xi46OVoMGDXTo0CH16tVLxYsX14wZM9SlSxeFhobqf//7X7L573SbmmmZcDkTJkwwJZn//POPeeHCBfPkyZPmtGnTzFy5cpne3t7mqVOnzGPHjpl2u9387LPPkt13586dppubW7Lp9evXNyWZY8eOTfFYnTt3Nn19fZNN27ZtmynJ7NatW7Lp77zzjinJXLZsWdK0okWLmpLMhQsXJpt3+fLlpiSzQoUKZlxcXNL0Dh06mIZhmM2aNUs2/6OPPmoWLVo02bSoqKgUeZs2bWqWKFEi2bTEDP/991/StJCQENPT09N8++23k6b169fPlGTOmjUrxXKdTqdpmqb566+/mjabzVy5cmWy28eOHWtKMlevXp3ivoni4uLMPHnymBUqVDCjo6OTpv/111+mJLNfv35J0xLf440bN950eYn69+9vSjJfeumlZNNbt25t5sqVK+nf6VknihYtanbu3DnFY9WvX9+sX79+0r8T38cSJUqkeD9iYmJMh8ORbNrRo0dNT09Pc9CgQcmmSTInTJhwy+eZ+Jo0btw46f0wTdN88803TbvdboaGhpqmaZoRERFmUFCQ+corryS7/7lz58zAwMBk019//XUztc3cjBkzTEnmnj17TNM0zXnz5pmenp7mU089ZT733HNJ81WqVMls3bp10r9btWplenh4mIcPH06adubMGdPf39+sV69eiudSp04dMyEhIdljJ76fFy5cMPfu3WsWKFDArFGjhnn58uVbvj6maZqBgYHm66+/ftPb07MOJuZItH//flOSOXLkyGTL7Nmzp+nn55fs/Zdk9u/fP8WybreObt682ZRk9unTJ9l8Xbp0SbHM1CQkJJixsbHJpl25csXMmzdvssdOXOdy5cqV7HWdO3euKcn8888/b/k4QUFBZuXKlW85T+/evU1J5o4dO0zT/P+flRkzZtz0PpUrVzZz5MiR9O/E9SS1H09Pz1s+fmhoqOnv72/WrFkz2Xttmv9/e5ae9aFz586mJHPIkCFJ065cuWJ6e3ubhmGY06ZNS5q+b9++FO9X4nOpVq1asm3+F198YUoy586dmzQttW17jx49TB8fHzMmJiZp2s32XWndTifuy3r27Jlsvueffz5N69vGjRtT3Xal53VNTeL2Z/ny5SluS+v+bPDgwaavr6954MCBZPf/4IMPTLvdbp44ceKWGdL7Hvzyyy9J02JjY818+fKZbdq0SZqW1s+maabcfvTt29f09PRM2sYnPmc3N7dk891se57aMjt16mTabLZU97GJn4+M3odVrlzZbN68+S3nqVKlipknTx7z0qVLSdO2b99u2mw2s1OnTknTEj9PR48evelzTHTj/vxW69eN+/gRI0aYkszJkycnTYuLizMfffRR08/PzwwPDzdN8+63qZkVp9u5sMaNGys4OFiFCxdW+/bt5efnp9mzZ6tgwYKaNWuWnE6n2rVrp4sXLyb95MuXT6VLl05xiNvT01Ndu3ZN0+POnz9f0rVz76/39ttvS5L+/vvvZNOLFy+upk2bprqsTp06JfvrQs2aNWWapl566aVk89WsWVMnT55UQkJC0rTr/zqb+JfW+vXr68iRIwoLC0t2//Llyyf9pU+SgoODVaZMGR05ciRp2h9//KHKlSun+GuVpKS/cM6YMUPlypVT2bJlk72uiac63urUgU2bNikkJEQ9e/ZMdn508+bNVbZs2RSvW3q9+uqryf5dt25dXbp0SeHh4ZKU7nUiPTp37pzir+Wenp5J1yU5HA5dunRJfn5+KlOmTIrTv9Kje/fuyU6jqFu3rhwOh44fPy5JWrJkiUJDQ9WhQ4dkz9Nut6tmzZppep6J68p///0n6doRoxo1aqhJkyZauXKlpGunsuzatStpXofDocWLF6tVq1YqUaJE0rLy58+v559/XqtWrUp6LxK98sorstvtqWbYtWuX6tevr2LFiumff/5Rjhw5bps7KChI69ev15kzZ1K9/W7WwQceeEBVqlRJdsTO4XBo5syZatmyZZqOltxuHV24cKGka0fYrpfaAAipsdvtSefUO51OXb58WQkJCapevXqq69xzzz2X7HVNfC+v3y6kJiIiQv7+/recJ/H2G9/zW/Hz81NERESK6aNGjdKSJUuS/SxYsOCWy1qyZIkiIiL0wQcfpLgeI/HzcyfrQ7du3ZL+PygoSGXKlJGvr2+yo2plypRRUFBQqq9j9+7dk23zX3vtNbm5uSXtV6Tk2/aIiAhdvHhRdevWVVRUlPbt25dseantu9K6nU58zN69eye7f58+fVLkTo97va1Py/5sxowZqlu3rnLkyJHsNWjcuLEcDkfStu1m0vMe+Pn56YUXXkj6t4eHhx5++OFkedL72bxep06dFBsbq5kzZyZN+/3335WQkJDscdPK6XRqzpw5atmyZarX+iV+PjJ6HxYUFKTdu3fr4MGDqd5+9uxZbdu2TV26dFHOnDmTpleqVElNmjRJ9hm5X+bPn698+fIlu87d3d1dvXv3VmRkpP79999k89/pNjWz4nQ7FzZq1Cg98MADcnNzU968eVWmTJmkD/TBgwdlmqZKly6d6n1vPOxZsGDBNF+wd/z4cdlsthQjK+XLl09BQUFJv6wmSm1UpkRFihRJ9u/AwEBJUuHChVNMdzqdCgsLSzrFZPXq1erfv7/Wrl2b4rqGsLCwpGWl9jiSlCNHjmTnwh8+fFht2rS5aVbp2uu6d+9eBQcHp3p74oALqUl8Xa4/3TBR2bJltWrVqls+9u3c+BwTN1RXrlxRQEBAuteJ9EjtPXY6nfr22281evRoHT16NNm57Lc7TehWbvU8JSXtgFIbJUySAgICbvsYefPmVenSpbVy5Ur16NFDK1euVMOGDVWvXj298cYbOnLkiPbu3Sun05m0E7hw4YKioqJSfX/LlSsnp9OpkydPJp0OI936s9GyZUvlzZtXixYtkp+f320zS9IXX3yhzp07q3DhwqpWrZqefPJJderUKam03e06+Nxzz+nDDz/U6dOnVbBgQa1YsUIhISF67rnn0pTvduto4rblxtclPaO4TZo0SV999ZX27dun+Pj4pOmpvda3W5duxt/fP9Uyc73E229Xpq4XGRmZ6vwPP/xwugduSDz9ukKFCjedJ73rg5eXV4ptX2BgoAoVKpTiO7UCAwNTfR1v3P74+fkpf/78yYYj3r17tz7++GMtW7YsRcm88Q9gqe270rqdTlzfbjydObXXIz3u97ZeSrk/O3jwoHbs2HFH+yopfe9Bau9/jhw5kl2/KaXvs3m9smXLqkaNGpoyZYpefvllSddOtXvkkUfuaITHCxcuKDw8/JafDSnj92GDBg3S008/rQceeEAVKlTQE088oRdffDHp9O1brTflypXTokWL7vsAP8ePH1fp0qVTDMSUeHrejb/v3ek2NbOiJLmwW+04nU6nDMPQggULUv1L9Y2/dN3JaHNp/aLJWy37Zn9Fv9l00zQlXfsFoFGjRipbtqy+/vprFS5cWB4eHpo/f76++eabFBem3m55aeV0OlWxYkV9/fXXqd5+Y7m7n273HNOzTtzsvXU4HKneN7X3eMiQIfrkk0/00ksvafDgwcqZM6dsNpv69OmTpguHbyYtz1O6dl3S9dfOJErrMLB16tTR0qVLFR0drc2bN6tfv36qUKGCgoKCtHLlSu3du1d+fn6qWrXqHT6TW3822rRpo0mTJmnKlCnq0aNHmpbXrl071a1bV7Nnz9bixYs1fPhwDRs2TLNmzUq6NuBuPPfcc+rbt69mzJihPn36aPr06QoMDNQTTzyRpvtn1OfwZiZPnqwuXbqoVatWevfdd5UnTx7Z7XYNHTo0qTRkRJ5y5cpp69atio2NlaenZ6rz7NixQ+7u7jf9o8SN4uPjdeDAgdv+4malO91ep0doaKjq16+vgIAADRo0SCVLlpSXl5e2bNmi999/P8W2I7XPkCtvpzNCWl5vp9OpJk2a6L333kt13gceeOCmy0/ve5CWPOn9bN6oU6dO+t///qdTp04pNjZW69aty/BBTm6U0fuwevXq6fDhw5o7d64WL16sH3/8Ud98843Gjh2b7AhtRrtxsI176V5v410NJSmTKlmypEzTVPHixW+5MbwTRYsWldPp1MGDB5Nd7Hf+/HmFhoaqaNGiGfp4qfnzzz8VGxurefPmJfvLxd2cMlayZEnt2rXrtvNs375djRo1SnNJTJT4uuzfvz/FUY79+/ff89ctPetEjhw5FBoammL68ePHk51KdiszZ85Uw4YN9dNPPyWbHhoaesvBB+5W4l+F8+TJc9vvmLrVe1i3bl1NmDBB06ZNk8PhUK1atWSz2VSnTp2kklSrVq2knUJwcLB8fHy0f//+FMvat2+fbDZbun45Gz58uNzc3NSzZ0/5+/snXWh/O/nz51fPnj3Vs2dPhYSE6KGHHtJnn32mZs2a3fU6WLx4cT388MP6/fff1atXL82aNUutWrW6aVFIr8Rty9GjR5OVi0OHDqXp/jNnzlSJEiU0a9asZO9t//79MyRfohYtWmjt2rWaMWNGqqf7HDt2TCtXrlTjxo3T/AeomTNnKjo6+qanJqdX4udg165dN/1ruxXbpIMHDyYbJTEyMlJnz55N+s6pFStW6NKlS5o1a5bq1auXNN/1o7beTlq304nr2+HDh5P99T61z3Bqbrbsu31d07tvSU3JkiUVGRl5R9+zlxHvwY3u9rPZvn17vfXWW/rtt98UHR0td3f3FEew0/q6BQcHKyAg4Lb7+3uxD8uZM6e6du2qrl27KjIyUvXq1dOAAQPUrVu3ZOvNjfbt26fcuXPf8ihSavvtuLg4nT17Ntm09KxfRYsW1Y4dO+R0OpMdTUo85fJ+/L7nyrgmKZN65plnZLfbNXDgwBQN3jRNXbp06Y6Xnbgzu3F0nMS/2qV1JKq7kfiL6fXPLSwsTBMmTLjjZbZp00bbt29PdajRxMdp166dTp8+rfHjx6eYJzo6+qYjlElS9erVlSdPHo0dOzbZMLQLFizQ3r177/nrlp51omTJklq3bl3SUKiS9Ndff6UYKvxW7HZ7iseZMWPGbYfAvVtNmzZVQECAhgwZkuyUjkTXDxeeuMNJrRAmnkY3bNgwVapUKen0zbp162rp0qXatGlTsusC7Ha7Hn/8cc2dOzfZqUPnz5/X1KlTVadOnTSd6pfIMAyNGzdObdu2VefOnTVv3rxbzu9wOFKcBpMnTx4VKFAgaX3LiHXwueee07p16/Tzzz/r4sWLaT7VLi0SC8Lo0aOTTR85cmSa7p/admH9+vVau3ZtBiW8pkePHsqTJ4/efffdFOfax8TEqGvXrjJNM9lonLeyfft29enTRzly5EgxMuedevzxx+Xv76+hQ4cqJiYm2W2Jr48V26Rx48Yl+1yOGTNGCQkJSUc6U3sP4+LiUqwTt5LW7XTiY3733XfJ5rndyG+Jbrb9uNvX9VbbpbRq166d1q5dq0WLFqW4LTQ0NNn1vTfKiPcgLctMz2czd+7catasmSZPnqwpU6boiSeeSFFU0vq62Ww2tWrVSn/++ac2bdqU4vbEjBm9D7vx9y4/Pz+VKlUqaR3Jnz+/qlSpokmTJiV7Drt27dLixYuTfve6mZIlS6a41mzcuHEpjiSlZ/168sknde7cuWTXoiYkJGjkyJHy8/NT/fr1b7uMrIwjSZlUyZIl9emnn6pv3746duyYWrVqJX9/fx09elSzZ89W9+7d9c4779zRsitXrqzOnTtr3LhxSYflN2zYoEmTJqlVq1apfpdKRnv88cfl4eGhli1bqkePHoqMjNT48eOVJ0+eFH81Sat3331XM2fO1LPPPquXXnpJ1apV0+XLlzVv3jyNHTtWlStX1osvvqjp06fr1Vdf1fLly1W7dm05HA7t27dP06dPT/o+qNS4u7tr2LBh6tq1q+rXr68OHTokDQtbrFgxvfnmm3fzktxWetaJbt26aebMmXriiSfUrl07HT58WJMnT07TUOSJWrRooUGDBqlr166qVauWdu7cqSlTpqT5SNSdCggI0JgxY/Tiiy/qoYceUvv27RUcHKwTJ07o77//Vu3atZNO06hWrZqkaxduN23aVHa7PWko61KlSilfvnzav39/soED6tWrp/fff1+SkpUkSfr000+1ZMkS1alTRz179pSbm5t++OEHxcbGpvjekLSw2WyaPHmyWrVqpXbt2mn+/Pk3vdYqIiJChQoVUtu2bVW5cmX5+fnpn3/+0caNG/XVV19Jyph1sF27dnrnnXf0zjvvKGfOnHf0l+qbqVatmtq0aaMRI0bo0qVLSUOAHzhwQNLt/wLaokULzZo1S61bt1bz5s119OhRjR07VuXLl1dkZGSG5cyVK5dmzpyp5s2b66GHHlK3bt1Uvnx5nTt3ThMnTtShQ4f07bffpvgiWenaICAxMTFJF4KvXr1a8+bNU2BgoGbPnp3qKaILFixIcbG8dG246Zt9ngICAvTNN9+oW7duqlGjhp5//nnlyJFD27dvV1RUlCZNmmTJNikuLk6NGjVSu3bttH//fo0ePVp16tTRU089lfSccuTIoc6dO6t3794yDEO//vpruk7XSet2ukqVKurQoYNGjx6tsLAw1apVS0uXLk3zkcuSJUsqKChIY8eOlb+/v3x9fVWzZk0VL178rl7XKlWqyG63a9iwYQoLC5Onp2fSdwKm1bvvvqt58+apRYsWScODX716VTt37tTMmTN17Nixmx4NyYj34EYZ8dns1KlT0vexDR48OMXtt9qe32jIkCFavHix6tevnzRM/NmzZzVjxgytWrVKQUFBGb4PK1++vBo0aKBq1aopZ86c2rRpU9JXNiQaPny4mjVrpkcffVQvv/xy0hDggYGBt/2euG7duunVV19VmzZt1KRJE23fvl2LFi1K8T6nZ/3q3r27fvjhB3Xp0kWbN29WsWLFNHPmTK1evVojRoxI1zWXWdK9H0AP6ZWe4aH/+OMPs06dOqavr6/p6+trli1b1nz99dfN/fv3J81Tv35988EHH0z1/qkNAW6aphkfH28OHDjQLF68uOnu7m4WLlzY7Nu3b7KhQU3z2tCTqQ15ebPhcG/23K4fFjnRvHnzzEqVKpleXl5msWLFzGHDhpk///xzimExb5bhxqEuTdM0L126ZPbq1cssWLCg6eHhYRYqVMjs3LmzefHixaR54uLizGHDhpkPPvig6enpaebIkcOsVq2aOXDgQDMsLCzli3iD33//3axatarp6elp5syZ0+zYsaN56tSpNL0OqUnttbl+Gde/FqaZtnXCNE3zq6++MgsWLGh6enqatWvXNjdt2nTTIcBTG9Y4JibGfPvtt838+fOb3t7eZu3atc21a9emWEZ6hwC/8TVJzHDjcKbLly83mzZtagYGBppeXl5myZIlzS5dupibNm1KmichIcF84403zODgYNMwjBTDxz777LOmJPP3339PmhYXF2f6+PiYHh4eKYZWNk3T3LJli9m0aVPTz8/P9PHxMRs2bGiuWbMmTc/FNFN/P6Oiosz69eubfn5+5rp161J9fWJjY813333XrFy5sunv72/6+vqalStXNkePHp1i3rSsgzcOAX692rVrm0rlawAS6SZDgKdlHb169ar5+uuvmzlz5jT9/PzMVq1aJQ0//vnnn6f6eImcTqc5ZMgQs2jRoqanp6dZtWpV86+//jI7d+6c7CsEEte54cOH3zb7rRw9etR85ZVXzCJFipju7u5m7ty5zaeeeirF0NOm+f/X08Qfd3d3Mzg42KxXr5752WefmSEhISnuc6shwNPymTHNa9vJWrVqmd7e3mZAQID58MMPm7/99luyedKyPtxsX3Cz/ceN293E5/Lvv/+a3bt3N3PkyGH6+fmZHTt2TDbcsWma5urVq81HHnnE9Pb2NgsUKGC+99575qJFi1J8zm+170rrdjo6Otrs3bu3mStXLtPX19ds2bKlefLkyTSvB3PnzjXLly9vurm5pXhP0vK63sz48ePNEiVKmHa7PdnzTs/+LCIiwuzbt69ZqlQp08PDw8ydO7dZq1Yt88svv0w2DHtq7vY9uPEzl9bPpmne/DMYGxtr5siRwwwMDEx123ur7Xlqyzx+/LjZqVMnMzg42PT09DRLlChhvv7660lDlWf0PuzTTz81H374YTMoKMj09vY2y5Yta3722Wcp3ot//vnHrF27dtJntmXLlklfR5EotW2nw+Ew33//fTN37tymj4+P2bRpU/PQoUOpfqXHzdav1Naj8+fPm127djVz585tenh4mBUrVkzxXDNqm5rZGKaZRa+2AgBkCtu2bVPVqlU1efJkdezY0eo4uAOJX666cePGdI/UB0jXTvMqUKCAWrZsmeI6IcAKXJMEALhvoqOjU0wbMWKEbDZbsovIAWQvc+bM0YULF9SpUyerowCSuCYJAHAfffHFF9q8ebMaNmwoNzc3LViwQAsWLFD37t0z/dDNANJv/fr12rFjhwYPHqyqVatm+8EC4DooSQCA+6ZWrVpasmSJBg8erMjISBUpUkQDBgzQRx99ZHU0ABYYM2aMJk+erCpVqmjixIlWxwGScE0SAAAAAFyHa5IAAAAA4DqUJAAAAAC4Tpa/JsnpdOrMmTPy9/e/7RcVAgAAAMi6TNNURESEChQoIJvt5seLsnxJOnPmDCMmAQAAAEhy8uRJFSpU6Ka3Z/mS5O/vL+naCxEQEGBxGgAAAABWCQ8PV+HChZM6ws1k+ZKUeIpdQEAAJQkAAADAbS/DYeAGAAAAALgOJQkAAAAArkNJAgAAAIDrZPlrkgAAAIBbMU1TCQkJcjgcVkfBXbLb7XJzc7vrr/6hJAEAACDbiouL09mzZxUVFWV1FGQQHx8f5c+fXx4eHne8DEoSAAAAsiWn06mjR4/KbrerQIEC8vDwuOsjELCOaZqKi4vThQsXdPToUZUuXfqWXxh7K5QkAAAAZEtxcXFyOp0qXLiwfHx8rI6DDODt7S13d3cdP35ccXFx8vLyuqPlMHADAAAAsrU7PdoA15QR7ydrBAAAAABch5IEAAAAANehJAEAAABIVYMGDdSnT5+7WsaxY8dkGIa2bduWIZkkyTAMzZkzJ8OWdyMGbgAAAACQIbp06aLQ0NBkBaZw4cI6e/ascufObV2wdKIkAQAAALhn7Ha78uXLZ3WMdOF0OwAAAOD/mKapqLgES35M00xX1oULF6pOnToKCgpSrly51KJFCx0+fFjS/z/FbdasWWrYsKF8fHxUuXJlrV27Nun+ly5dUocOHVSwYEH5+PioYsWK+u233276eIMGDVKFChVSTK9SpYo++eQTDRgwQJMmTdLcuXNlGIYMw9CKFStSPd1u9+7datGihQICAuTv76+6desmZd+4caOaNGmi3LlzKzAwUPXr19eWLVvS9drcLY4kAQAAAP8nOt6h8v0WWfLYewY1lY9H2n89v3r1qt566y1VqlRJkZGR6tevn1q3bp2sjHz00Uf68ssvVbp0aX300Ufq0KGDDh06JDc3N8XExKhatWp6//33FRAQoL///lsvvviiSpYsqYcffjjF47300ksaOHCgNm7cqBo1akiStm7dqh07dmjWrFnKkyeP9u7dq/DwcE2YMEGSlDNnTp05cybZck6fPq169eqpQYMGWrZsmQICArR69WolJCRIkiIiItS5c2eNHDlSpmnqq6++0pNPPqmDBw/K398/vS/rHaEkAQAAAJlQmzZtkv37559/VnBwsPbs2SM/Pz9J0jvvvKPmzZtLkgYOHKgHH3xQhw4dUtmyZVWwYEG98847Sfd/4403tGjRIk2fPj3VklSoUCE1bdpUEyZMSCpJEyZMUP369VWiRAlJ177MNTY29pan140aNUqBgYGaNm2a3N3dJUkPPPBA0u2PPfZYsvnHjRunoKAg/fvvv2rRokWaX5+7QUkCAAAA/o+3u117BjW17LHT4+DBg+rXr5/Wr1+vixcvyul0SpJOnDih8uXLS5IqVaqUNH/+/PklSSEhISpbtqwcDoeGDBmi6dOn6/Tp04qLi1NsbKx8fHxu+pivvPKKXnrpJX399dey2WyaOnWqvvnmm3Tl3rZtm+rWrZtUkG50/vx5ffzxx1qxYoVCQkLkcDgUFRWlEydOpOtx7gYlCQAAAPg/hmGk65Q3K7Vs2VJFixbV+PHjVaBAATmdTlWoUEFxcXFJ81xfRAzDkKSkMjV8+HB9++23GjFihCpWrChfX1/16dMn2f1Te0xPT0/Nnj1bHh4eio+PV9u2bdOV29vb+5a3d+7cWZcuXdK3336rokWLytPTU48++ugtc2W0zLEGAAAAAEhy6dIl7d+/X+PHj1fdunUlSatWrUrXMlavXq2nn35aL7zwgqRr5enAgQNJR6FS4+bmps6dO2vChAny8PBQ+/btk5UeDw8PORyOWz5upUqVNGnSJMXHx6d6NGn16tUaPXq0nnzySUnSyZMndfHixXQ9t7vF6HYAAABAJpMjRw7lypVL48aN06FDh7Rs2TK99dZb6VpG6dKltWTJEq1Zs0Z79+5Vjx49dP78+dver1u3blq2bJkWLlyol156KdltxYoV044dO7R//35dvHhR8fHxKe7fq1cvhYeHq3379tq0aZMOHjyoX3/9Vfv370/K9euvv2rv3r1av369OnbseNujTxmNkgQAAABkMjabTdOmTdPmzZtVoUIFvfnmmxo+fHi6lvHxxx/roYceUtOmTdWgQQPly5dPrVq1uu39SpcurVq1aqls2bKqWbNmstteeeUVlSlTRtWrV1dwcLBWr16d4v65cuXSsmXLFBkZqfr166tatWoaP3580lGln376SVeuXNFDDz2kF198Ub1791aePHnS9dzulmGmd0D2TCY8PFyBgYEKCwtTQECA1XEAAADgImJiYnT06FEVL15cXl5eVsfJNEzTVOnSpdWzZ890H726H271vqa1G3BNEgAAAIA0uXDhgqZNm6Zz586pa9euVse5ZyhJAAAAANIkT548yp07t8aNG6ccOXJYHeeeoSQBAAAASJMsfqVOEgZuAAAAAIDrUJIAAAAA4DqUJAAAAAC4jqUl6b///lPLli1VoEABGYahOXPmJLvdNE3169dP+fPnl7e3txo3bqyDBw9aExYAAABAtmBpSbp69aoqV66sUaNGpXr7F198oe+++05jx47V+vXr5evrq6ZNmyomJuY+JwUAAACQXVg6ul2zZs3UrFmzVG8zTVMjRozQxx9/rKefflqS9Msvvyhv3ryaM2eO2rdvfz+jZoiTh3bq9MZ5eqTDR1ZHAQAAAHATLntN0tGjR3Xu3Dk1btw4aVpgYKBq1qyptWvX3vR+sbGxCg8PT/bjCi6eO6m8v9bXI/u/0KGdN88PAAAAwFouW5LOnTsnScqbN2+y6Xnz5k26LTVDhw5VYGBg0k/hwoXvac60yp2vsHYG1JckhS8aanEaAAAAADfjsiXpTvXt21dhYWFJPydPnrQ6UpIczfpKkqpE/Kfj+zZbnAYAAABAaly2JOXLl0+SdP78+WTTz58/n3Rbajw9PRUQEJDsx1WUKP+wtvjUlc0wdXH+EKvjAAAA4EamKcVdtebHNNMcs0GDBurdu7fee+895cyZU/ny5dOAAQOSbjcMQz/++KNat24tHx8flS5dWvPmzbsHL1jWZOnADbdSvHhx5cuXT0uXLlWVKlUkSeHh4Vq/fr1ee+01a8PdBf/H+0pzVqpK2FKdPrxTBUtWtDoSAAAAEsVHSUMKWPPYH56RPHzTPPukSZP01ltvaf369Vq7dq26dOmi2rVrq0mTJpKkgQMH6osvvtDw4cM1cuRIdezYUcePH1fOnDnv1TPIMiw9khQZGalt27Zp27Ztkq4N1rBt2zadOHFChmGoT58++vTTTzVv3jzt3LlTnTp1UoECBdSqVSsrY9+V0lVqa5v3I7Ibps7+9ZnVcQAAAJBJVapUSf3791fp0qXVqVMnVa9eXUuXLk26vUuXLurQoYNKlSqlIUOGKDIyUhs2bLAwceZh6ZGkTZs2qWHDhkn/fuuttyRJnTt31sSJE/Xee+/p6tWr6t69u0JDQ1WnTh0tXLhQXl5eVkXOEJ6N3pf+aq0qlxfp3PF9yle0rNWRAAAAIEnuPteO6Fj12OlQqVKlZP/Onz+/QkJCUr3d19dXAQEByW7HzVlakho0aCDzFudeGoahQYMGadCgQfcx1b1Xrvpj2rGkmirFbtbJeUOU741frI4EAAAASTKMdJ3yZiV3d/dk/zYMQ06nM8234+ZcduCGrM5o8J4kqfLFv3Tx9GFrwwAAAABIQkmySIVHmmqXeyV5GA4dnctIdwAAAICroCRZxDAMJdR5R5JU6fxcXT53wuJEAAAAACQXHgI8O6hct6X2rCyn8gl7tWPuUOXsMcbqSAAAAMgEVqxYkWLanDlzkv4/tev+Q0ND712gLIYjSRYybDZFP3ptRL8Hz/yh8ItnLU4EAAAAgJJksaoN2uqAvZR8jFjtn/O51XEAAACAbI+SZDGb3abQGm9KksqfmqbI0AsWJwIAAACyN0qSC6jW5HkdshWXr2K0b/Ywq+MAAAAA2RolyQXY7TZdrPqGJKnM8SmKDr9icSIAAIDsI7VBDpB5ZcT7SUlyEdWaddZRo7D8FaU9c4dbHQcAACDLc3d3lyRFRUVZnAQZKfH9THx/7wRDgLsIdzc3nan0uopv/0AlD/+imKvvy8s30OpYAAAAWZbdbldQUJBCQkIkST4+PjIMw+JUuFOmaSoqKkohISEKCgqS3W6/42VRklxI9eYv68SOb1XEPKst877RQx0GWB0JAAAgS8uXL58kJRUlZH5BQUFJ7+udoiS5EE8PD50o/6qK7O6vYvt/VnzMO3L38rM6FgAAQJZlGIby58+vPHnyKD4+3uo4uEvu7u53dQQpESXJxVRv+apO7x6lggrR1nnfqWq7D62OBAAAkOXZ7fYM+eUaWQMDN7gYLy8vHS7ziiSp0N7xcsRFW5wIAAAAyF4oSS6o2lOv65xyKdi8rF1/j7Y6DgAAAJCtUJJckK+vr/aX6CpJyrdjjJzxsRYnAgAAALIPSpKLqtLqf7poBiqveUG7F46zOg4AAACQbVCSXFRgQIB2FesiScq99XuZDkZbAQAAAO4HSpILq9TqTV02/ZXfeU57F0+wOg4AAACQLVCSXFjOHDm0vfALkqSATd/KdCRYnAgAAADI+ihJLq5Cq7cVavqqkOOUDiyfbHUcAAAAIMujJLm44NzB2lqgvSTJe903ktNpcSIAAAAga6MkZQJln35Xkaa3iiQc08GVv1sdBwAAAMjSKEmZQP58+bUxb1tJktuqryTTtDgRAAAAkHVRkjKJ0k+9r6ump4rHH9SRtbOtjgMAAABkWZSkTKJQocLakLu1JMn89wuOJgEAAAD3CCUpEyne8n3FmO4qGbtXxzfOtzoOAAAAkCVRkjKRYsVKaG2OlpKkuOWfW5wGAAAAyJooSZlM4RYfKNZ0U+noHTq1bYnVcQAAAIAsh5KUyZQqVUZrA5pJkq4uGWpxGgAAACDroSRlQnmf/EDxpl1lrm7W2d3/WR0HAAAAyFIoSZlQuXIVtMaviSQpbOFnFqcBAAAAshZKUiaV64n35TANlY1Yp5D966yOAwAAAGQZlKRMqkLFh7TG5zFJ0qX5HE0CAAAAMgolKRPza/y+nKahcmH/6dKRzVbHAQAAALIESlImVuWhh7XWq64k6fyfHE0CAAAAMgIlKRMzDEPuj70nSSp7eZlCT+yyOBEAAACQ+VGSMrkaD9fRWvdHZDNMnZ73qdVxAAAAgEyPkpTJGYYhs967kqSyFxYq4sx+ixMBAAAAmRslKQt4pHYjrXerLrth6sRcjiYBAAAAd4OSlAXYbIbiar8tSXrg/N+6ev6IxYkAAACAzIuSlEXUqt9Mm+yV5S6Hjs1lpDsAAADgTlGSsgi7zVBkzbckSaXPzFH0pZMWJwIAAAAyJ0pSFlK70VPaaisvDyXo6ByOJgEAAAB3gpKUhbjbbbpcrY8kqcTJPxQbesbaQAAAAEAmREnKYuo83kY7jQfkpTgdnvu51XEAAACATIeSlMV4urvpXOU3JEnFjv6u+IgLFicCAAAAMhdKUhZUp9nz2qsS8lGMDs0dZnUcAAAAIFOhJGVB3p5uOlGhpySpyKHJcly9YnEiAAAAIPOgJGVRtVt01kEVlq+idfDPL62OAwAAAGQalKQsys/LQ4fKviZJKrhvgpzRYRYnAgAAADIHSlIWVqvlyzpqFpC/rurQ3yOsjgMAAABkCpSkLCzQ10t7S3eXJOXd/aPM2EiLEwEAAACuj5KUxT3ydA+dMPMq0AzX4QUjrY4DAAAAuDxKUhaX099HO0u8LEnKteMHmXFRFicCAAAAXBslKRuo8fRrOm3mVg7nFR1dPMbqOAAAAIBLoyRlA3mCArS1cBdJUuCW0VJCrLWBAAAAABdGScomHmrVS+fMHMrlvKhjS8dbHQcAAABwWZSkbKJA7hzaWPBFSZLvhpGSI97iRAAAAIBroiRlI1We+p8umgEKdpzTyX8nWh0HAAAAcEmUpGykcL7cWpv3eUmSx9pvJKfD4kQAAACA66EkZTPln35Ll00/5Y0/rdOrJlsdBwAAAHA5lKRspmTBvFqV+zlJkm3VV5LTaXEiAAAAwLVQkrKhMi3fUpjpo/xxx3V2/XSr4wAAAAAuhZKUDZUpVkj/5WgjSXKuGC6ZpsWJAAAAANdBScqmird4R5GmlwrGHtKFTXOsjgMAAAC4DEpSNlWhVDEtD2wlSYpd9jlHkwAAAID/Q0nKxgo/+Y6iTE8Vit6nS9vnWx0HAAAAcAmUpGysStnSWubXXJJ0dclQjiYBAAAAoiRle3mavqtY011Fru7UlT3/WB0HAAAAsBwlKZurUbGclvo8IUkKXzjE4jQAAACA9ShJ2ZxhGApq/K7iTLuKRmxR+P7/rI4EAAAAWIqSBD36UCUt9WoiSbo0/1OL0wAAAADWoiRBhmHI57F3lGDaVDxsvSIPr7c6EgAAAGAZShIkSXVrVNdSj4aSpAt/D7Y4DQAAAGAdShIkSTabIXv9t+UwDRW/vFLRx7dYHQkAAACwBCUJSRrWqqXl7nUlSWf/4mgSAAAAsidKEpLYbYYSar8tp2moxIVlij290+pIAAAAwH1HSUIyjerV07/2RyRJp+cx0h0AAACyH0oSknG32xT16FuSpGLnFynu/D6LEwEAAAD3FyUJKTRu2Ej/GdVlk6lT8z6zOg4AAABwX1GSkIKnm12h1ftIkoqc/kvxF49YGwgAAAC4jyhJSFWTJk9qjVFFbnLqJNcmAQAAIBuhJCFV3h52hVTpLUkqfGKuHFdOWJwIAAAAuD8oSbipxk88rQ16UO5K0Il5Q6yOAwAAANwXlCTclJ+nm05VfEOSVPDoTDnDzlicCAAAALj3KEm4pUbN2miLWUYeiteJvz63Og4AAABwz1GScEuBPh46XL6nJCn/wWkyI0MsTgQAAADcW5Qk3Faj5h20wywpT8XqxN9fWB0HAAAAuKcoSbitnH6e2vdAD0lSnn2/yrx6yeJEAAAAwL1DSUKaNGjRSXvMYvI2Y3Rq4VdWxwEAAADuGUoS0iRPoLd2lOgmScq1a4IUHWptIAAAAOAeoSQhzeo+9ZIOmIXkY0bp9OJvrY4DAAAA3BOUJKRZwRy+2lzkZUlS4PbxUmyExYkAAACAjEdJQrrUeqqbjpj55eeM0Nl/RlkdBwAAAMhwlCSkS9HgAK0r0EWS5LtljBQXZW0gAAAAIINRkpBuDz/VXSfMYAU4QnV+xVir4wAAAAAZipKEdCuVP6dW5u0kSfJa/70UH2NxIgAAACDjUJJwRx56qqdOm7kU6LikCyt/tDoOAAAAkGEoSbgj5Qrl1orcz0uS3NZ8KyXEWZwIAAAAyBiUJNyxii166bwZpBwJIbq8ZpLVcQAAAIAMQUnCHatUPJ/+ydFekmSu+lpyJFicCAAAALh7lCTclbIteuuiGaBccWcUumGK1XEAAACAu0ZJwl2pVqqgFgW0lSQlrPhScjosTgQAAADcHUoS7lrJJ/+nK6afcseeUNjm6VbHAQAAAO4KJQl3rWbZolrg10qSFLfsC8nptDYQAAAAcBcoSbhrhmGoUNM+Cje9FRx9RJHb51gdCQAAALhjlCRkiLoVS+lv76ckSVf/+VwyTYsTAQAAAHeGkoQMYRiG8jTpo0jTS3mv7tfVXX9bHQkAAAC4I5QkZJiGVcvpb88nJUkRi4dwNAkAAACZEiUJGcZmMxTQ6E1Fmx7KF7FbMfv+sToSAAAAkG6UJGSox2tU1F8eTSVJVxZ+ytEkAAAAZDqUJGQou82QV70+ijXdlD9sm+IO/2d1JAAAACBdKEnIcE/Uekh/uzWWJF2c/6nFaQAAAID0oSQhw7nbbTLq9FG8aVeByxsUd3SN1ZEAAACANKMk4Z5oVudhzbc3kMTRJAAAAGQulCTcE17udsU90kcJpk0FLqxWwslNVkcCAAAA0oSShHumRYPaWmirI0kK+YujSQAAAMgcKEm4Z7w97Iqo/j85TUMFzi+X48wOqyMBAAAAt0VJwj3VsnEDLTYelSSd/5ujSQAAAHB9lCTcU36ebrpYtbckKd/pxXKe32txIgAAAODWKEm451o2aax/zIdlk8nRJAAAALg8ShLuuUAfd52u9LokKc+J+TIvHrI4EQAAAHBzlCTcFy2aNtMK8yHZ5dS5vz+zOg4AAABwU5Qk3Be5/Dx1pFxPSVKeo3NkXj5qcSIAAAAgdZQk3DctnmypVc6KssupkAXDrI4DAAAApIqShPsmT4CX9pd5VZKU6+AMKey0xYkAAACAlChJuK+eaN5G653l5KYEhSzkaBIAAABcDyUJ91XBIG9tL9FdkhS07zcp4rzFiQAAAIDkKEm475q2aKfNztLyMON0YfGXVscBAAAAkqEk4b4rmttPm4p2kyQF7PpFunrR4kQAAADA/0dJgiUatXhe250l5GnG6NI/31gdBwAAAEhCSYIlSuUN0LqCXSVJPtt/lqIuW5wIAAAAuIaSBMvUbdFZe51F5O2M0uXlI62OAwAAAEiiJMFC5QsGakW+zpIkr83jpJhwixMBAAAAlCRY7NEWL+mgs6B8nJEK/XeU1XEAAAAAShKsVaVITv2T+wVJkvuGMVJspMWJAAAAkN1RkmC5as276agzr3wdYQpf9YPVcQAAAJDNUZJguYdL5tHCHB0lSba130vx0RYnAgAAQHZGSYJLqPRkd510Bssv4bIi1/xkdRwAAABkY5QkuIRaD+TTnwHPSZKcq0ZICbHWBgIAAEC2RUmCSzAMQ+WavaozZk4FxF/Q1fWTrI4EAACAbIqSBJfRoHwhzfV5VpKU8N/XkiPe4kQAAADIjihJcBmGYahE09d0wQxUYOxZRW+aYnUkAAAAZEOUJLiUJpWKaZbXM5KkuOXDJUeCxYkAAACQ3VCS4FJsNkMFm/TUZdNPgTGnFLNtutWRAAAAkM1QkuBynqhaSn94PC1Jil76heR0WJwIAAAA2QklCS7HzW5TroZvKMz0UY6oo4rbOdvqSAAAAMhGKElwSS1rltFMt5aSpMgln0tOp8WJAAAAkF1QkuCS3O02+TV4QxGmt3JGHlT83r+tjgQAAIBswqVLksPh0CeffKLixYvL29tbJUuW1ODBg2WaptXRcB88/Uh5zbQ3kyRFLPpM4n0HAADAfeBmdYBbGTZsmMaMGaNJkybpwQcf1KZNm9S1a1cFBgaqd+/eVsfDPeblbpdHnV6K+vdv5QzfK8e+BbKXe9LqWAAAAMjiXPpI0po1a/T000+refPmKlasmNq2bavHH39cGzZssDoa7pPWdSpruu0JSVLUXx9ICbEWJwIAAEBW59IlqVatWlq6dKkOHDggSdq+fbtWrVqlZs2a3fQ+sbGxCg8PT/aDzMvHw01GvXd0wQyU/9Xjil75vdWRAAAAkMW5dEn64IMP1L59e5UtW1bu7u6qWrWq+vTpo44dO970PkOHDlVgYGDST+HChe9jYtwLz9eroJ+9u0qSbCuHS+FnLE4EAACArMylS9L06dM1ZcoUTZ06VVu2bNGkSZP05ZdfatKkSTe9T9++fRUWFpb0c/LkyfuYGPeCu92mem17aZPzAXk6o3Vl7vtWRwIAAEAWZpguPFRc4cKF9cEHH+j1119Pmvbpp59q8uTJ2rdvX5qWER4ersDAQIWFhSkgIOBeRcV9MHzidL19tLtshilHp79kL1HX6kgAAADIRNLaDVz6SFJUVJRstuQR7Xa7nHyxaLbUuc1Tmq4mkqTwWX0kR4K1gQAAAJAluXRJatmypT777DP9/fffOnbsmGbPnq2vv/5arVu3tjoaLJDH30tmgw91xfRTjshDurp6rNWRAAAAkAW59Ol2ERER+uSTTzR79myFhISoQIEC6tChg/r16ycPD480LYPT7bKWBIdTY776WG9EjVK0zU/eb22T/IKtjgUAAIBMIK3dwKVLUkagJGU9m49elMeERqpoO6YLpdspuON4qyMBAAAgE8gS1yQBqalWPLdWlro2wl3wwelKOMGXCwMAACDjUJKQKbVv01Zz1UCSdGXG/ySnw9pAAAAAyDIoSciUcvp6yNmov8JNbwVH7FH4mp+tjgQAAIAsgpKETOvp2lU1w+9FSZJt+SAp6rLFiQAAAJAVUJKQadlshmq2f1/7nYXk5wjX2Tn9rI4EAACALICShEytQuHcWvPAe5KkPAemKP7UdosTAQAAILOjJCHTe6bN81ps1JZdTl2Y0VvK2qPaAwAA4B6jJCHTC/R2l6PxIEWZnioQtk2X1k22OhIAAAAyMUoSsoQnalXTnIAOkiS3f/pJMeEWJwIAAEBmRUlClmAYhmp0+ETHzHwKdFzWiTkDrI4EAACATIqShCyjdIHcWlfm2iAOBfZNVOzZPRYnAgAAQGZESUKW0rJNZ/1n1JCbHDo37X8M4gAAAIB0oyQhS/H1dJPj8SGKNd1VNGyDQjbMtDoSAAAAMhlKErKcBo/U0PzAdpIk2+IPZcZdtTgRAAAAMhNKErIcwzBUtcNAnTZzK7cjRIdnf2p1JAAAAGQilCRkScXyB2tT2XclSYX3jlfUuYMWJwIAAEBmQUlCltW0TTdtsFWWp+J1elofq+MAAAAgk6AkIcvy8nCTo+nnijftKh26Sqc3zLE6EgAAADIBShKytEdr1tLSoDaSJNuivjLjYyxOBAAAAFdHSUKWV6H9pwoxcyi/44z2zBpqdRwAAAC4OEoSsrxC+fNqe7m3JEkl9o5RRMgxawMBAADApVGSkC3Ua9NTO2zl5a1YHZ/6ltVxAAAA4MIoScgWPN3d5HjiCzlMQxVCl+ropgVWRwIAAICLoiQh26j6cF2tCnpakmRf8L6c8XEWJwIAAIAroiQhWyn7/Oe6bPqriOO4ts8ebnUcAAAAuCBKErKVvHnza3e5PpKkUntGKvT8SWsDAQAAwOVQkpDtPNK2j/bbS8tf0To87V2r4wAAAMDFUJKQ7bi7ucnxxDBJUrUrC7R/0z8WJwIAAIAroSQhWypfo5HWBz0pSbIveE+OhASLEwEAAMBVUJKQbZXqMFzh8lEpx2FtmPWN1XEAAADgIihJyLZy5S2kfWXfkCSV2zNCF0POWpwIAAAAroCShGytWtt3ddReTEGK1P6p71kdBwAAAC6AkoRsze7mLkfTa4M4PHrlT+3c+K/FiQAAAGA1ShKyvVIPP6HtQY1lM0zZFr6neAZxAAAAyNYoSYCkYh2+VpS89KBjn1b/McrqOAAAALAQJQmQFJi3qA6W7SlJqrDnK50LOW9xIgAAAFiFkgT8n4ptPtBpe0HlNsK0e+qHVscBAACARShJwP+xuXsq4fHPJUn1r8zSpg2rLU4EAAAAK1CSgOsUrfmU9gbVk5vhlG3RB4qNZxAHAACA7IaSBNygcPtvFCMPPeTYoWV/jLc6DgAAAO4zShJwA798pXSs7CuSpCp7v9Cp8xctTgQAAID7iZIEpKLMMx8rxJ5X+Y3L2j71E6vjAAAA4D6iJAGpMDx85GjymSSpceh0rVq/weJEAAAAuF8oScBN5K/ZVkcCH5GnkSBj0QeKjnNYHQkAAAD3ASUJuBnDUP72IxQvN9V2btaCWROsTgQAAID7gJIE3IJ3/nI6WaarJKn63mE6cpZBHAAAALI6ShJwG8Wf6a8r9lwqYoRo82+DZJqm1ZEAAABwD1GSgNswPP2V0HiQJKlF2G9aun6zxYkAAABwL1GSgDQIfqSjTgVUlbcRJ2PRx4qMTbA6EgAAAO4RShKQFoah4HbfKUE2NTLXau4fk61OBAAAgHuEkgSkkWehSjr7wAuSpJr7h2nfaQZxAAAAyIooSUA6FG49WOG2IJUyzmjDtM8ZxAEAACALoiQB6eEdJEejfpKk1uGTNX/NNmvzAAAAIMNRkoB0yvFoV533ryB/I1r6p5/CouKtjgQAAIAMREkC0stmU85nv5VThpqb/2n6rOlWJwIAAEAGoiQBd8C9SHWFlGonSap9YJh2nrhscSIAAABkFEoScIfytR6qqzZ/lbcd1+rpw+V0MogDAABAVkBJAu6Uby45G3woSWofMUmzV++wOBAAAAAyAiUJuAv+tbvrkt8DCjKuylw6SJciY62OBAAAgLtESQLuht1NgW1GSJKeMZdqyuw5lsYBAADA3aMkAXfJrXhtXSrZWjbDVN2DX2jzsYtWRwIAAMBdoCQBGSBXq88Va/NWVdshrZg+UgkOp9WRAAAAcIcoSUBG8M+nhLrvSZI6Xf1Z0/7baXEgAAAA3ClKEpBBfOv2UphvcQUb4TJXfK6Q8BirIwEAAOAOUJKAjOLmIf9WX0uSOmihfp71t8WBAAAAcCcoSUAGspV+TGHFmsnNcKrBkeFac+iC1ZEAAACQTpQkIIMFtvpCcYanHrHt1dKZYxWXwCAOAAAAmQklCchoQUXkrP2mJKlb9M+atGK3xYEAAACQHpQk4B7wqv+mIn0KK79xWeZ/w3U6NNrqSAAAAEgjShJwL7h7yfepLyRJXYy/9MMfiywOBAAAgLSiJAH3iFGmmSKLPCYPw6HHjn2t5fvOWx0JAAAAaUBJAu4Vw5Df018qwXBXA/t2LZ49UTHxDqtTAQAA4DYoScC9lKuknI+8Lkl6LXq8xi9jEAcAAABXR0kC7jGPhu8p2jufitguyLnqOx2/dNXqSAAAALgFShJwr3n4yqv5UElSD9scjZy1VKZpWhwKAAAAN0NJAu4D48HWii5YS15GvBqf+E6LdjOIAwAAgKuiJAH3g2HI++mv5ZRdT9g3auHcKYqKS7A6FQAAAFJBSQLulzzl5KzxiiTpjdjx+n7JXosDAQAAIDWUJOA+cmv0oWI9c6mk7ayca0frUEiE1ZEAAABwA0oScD95Bcqz2aeSpF72Wfr6j38ZxAEAAMDFUJKA+61Se8Xmqy4/I0aPnxmledvPWJ0IAAAA16EkAfebzSbPp76SKUOt7Gv0958zFR4Tb3UqAAAA/B9KEmCFAlXkfKizJOnN+B81YvEeiwMBAAAgESUJsIi9cX/FewSpnO2EHOt/0p4z4VZHAgAAgChJgHV8csq9ST9J0ltuMzR89io5nQziAAAAYDVKEmClal0Un6eiAo0oNT37g2ZuPmV1IgAAgGyPkgRYyWaXe4uvJEnt7P/qzwV/KjQqzuJQAAAA2RslCbBakZpyVmovm2Hq7YTxGr5wr9WJAAAAsjVKEuACbE0GyeHupyq2I0rY/Ku2nQy1OhIAAEC2RUkCXIF/Xtkf+1CS9J7bNA2dtVYOBnEAAACwBCUJcBUPd1dCrjLKZUSo2YWfNXX9casTAQAAZEuUJMBV2N3l1ny4JOlF+xLNWbRYFyNjLQ4FAACQ/VCSAFdSor6c5VvJbph6z/mThv7NIA4AAAD3GyUJcDG2xz+Vw81bNW37FL99ujYcvWx1JAAAgGyFkgS4mqDCstd7R5L0kfsUDZm9QfEOp8WhAAAAsg9KEuCKar0hR1Bx5TVC9cTlXzVpzTGrEwEAAGQblCTAFbl5yv7kF5Kkl+wLNGfJcp0Li7E4FAAAQPZASQJc1QOPyyzdVB6GQ++ZEzT4r91WJwIAAMgWKEmACzOafS6nzUP17DuVsPtPrTp40epIAAAAWR4lCXBlOUvIVud/kqRP3H/VZ3M2KzbBYXEoAACArI2SBLi6Om/JGVBIhYyLeiJsmn5cedTqRAAAAFkaJQlwdR4+sj0xRJL0qv1PzV62SicvR1kcCgAAIOuiJAGZQbmnZBavL08jXu/pFw38c4/ViQAAALIsShKQGRiGjGZfyLS56XH7ZiXsX6Sle89bnQoAACBLoiQBmUWesjJqvipJ6uf2iz6du03RcQziAAAAkNEoSUBmUv99OX3zqoTtnJ6ImKXRKw5ZnQgAACDLoSQBmYlXgGyPD5Yk9XKbrTn/btTRi1ctDgUAAJC1UJKAzKZSO5mFH5GvEat3bZPVb+4umaZpdSoAAIAsg5IEZDaGIePJ4TINm56yr1X84f80f+c5q1MBAABkGZQkIDPKX0lG9ZckSQPcJmnInzsVGZtgcSgAAICsgZIEZFYNP5LpnVNlbSfVJOpPfbf0oNWJAAAAsgRKEpBZ+eSU0bi/JOkttxmau2qr9p+LsDgUAABA5kdJAjKzqi9K+asowIjW27Zp+oRBHAAAAO4aJQnIzGx26ckvJUnt3P5V/LH1mr31tMWhAAAAMjdKEpDZFa4hVXlBkjTQfaI+/3uXwqLjLQ4FAACQeVGSgKygcX+ZngGqZDuqx2KW6OvF+61OBAAAkGlRkoCswC+PjIYfSZLec5umeet2a9fpMItDAQAAZE6UJCCrqNFNylNeOY1IvWmfoY/n7JLTySAOAAAA6UVJArIKu5vU7AtJUkf7P4o/tU2/bzppcSgAAIDMh5IEZCXF60oV2shumBrgPlHDFuzV5atxVqcCAADIVChJQFbTZLBMd1/VsB1Qg9gVGvzXHqsTAQAAZCqUJCCrCSwoo/67kqQP3adqydaDms5pdwAAAGlGSQKyokd6SjlLKo8RqrfdZqjf3F3ady7c6lQAAACZAiUJyIrcPKUnrw3i0NVtkWo5NqnnlC2KjE2wOBgAAIDroyQBWVWpxlLN1yRJ33iMVfSFE+o7a6dMk2HBAQAAboWSBGRlTQZJBaoqUJH63mOkFmw/oSnrT1idCgAAwKVRkoCszM1DajtB8gxQNdsBve02Q4P+3KNdp8OsTgYAAOCyKElAVpezuPT095Kk19z+VC1zs3pO2aKw6HiLgwEAALgmShKQHZR/Wnq4uyRphMdYxV0+qfdmbuf6JAAAgFRQkoDs4vFPpfyVFaQIfe/xvf7ZfUYTVh+zOhUAAIDLoSQB2YWb57Xrkzz8Vd22X2+6zdSQ+Xu15cQVq5MBAAC4FEoSkJ3kKik99Z0kqafbPNXSNr0xdauuXI2zOBgAAIDroCQB2U2FZ6TqL8smU996jlV86Bm9NX2bnE6uTwIAAJAoSUD21HSIlK+icphhGun5vf7bf04//HfE6lQAAAAugZIEZEfuXtKzkyQPP9U09qq32yx9uXi/1h+5ZHUyAAAAy1GSgOwqV0mp5beSpDfc5ugR7dAbv23VxchYi4MBAABYi5IEZGcV20rVusgmU997jpYZcU59pm2Tg+uTAABANkZJArK7Jz6X8lb4v+uTRmvNoRCNXHbQ6lQAAACWoSQB2Z27t/TsRMndV48Yu/WGfba+XXpQqw9dtDoZAACAJShJAKTcpaUW30iS/uc+S48Yu/W/aVt1PjzG4mAAAAD3HyUJwDWVn5OqviCbTI3yHC1FXtAbv21VgsNpdTIAAID7ipIE4P9rNlwKLqec5hWN9BytTUcv6uslB6xOBQAAcF9RkgD8fx4+UrtJkruPHjV2qqd9rkavOKzl+0KsTgYAAHDfUJIAJBdcRmr+lSTpLfc/VNPYqzenb9Pp0GiLgwEAANwflCQAKVV5Xqr8vGxyarT3aNmjLqrX1C2KS+D6JAAAkPVRkgCkrvmXUu4yyuW8pO+8xmrbicsatnCf1akAAADuOUoSgNR5+F67PsnNW7W1Xa/Z/9RPq45q4a5zVicDAAC4pyhJAG4uTznpyeGSpHfcZ6q6sU/vztyuE5eiLA4GAABw71CSANxa1RekSs/JJod+8B4lt5jL6jl1s2LiHVYnAwAAuCcoSQBuzTCk5l9LuUorl/OSRnr9oN2nQ/XZ33utTgYAAHBPuHxJOn36tF544QXlypVL3t7eqlixojZt2mR1LCB78fT7v+uTvFRHW9XD7W/9uu645m0/Y3UyAACADOfSJenKlSuqXbu23N3dtWDBAu3Zs0dfffWVcuTIYXU0IPvJ+6DUbJgk6T236XrIOKC+f+zQ4QuRFgcDAADIWIZpmqbVIW7mgw8+0OrVq7Vy5co7XkZ4eLgCAwMVFhamgICADEwHZEOmKf3RTdo1UxftwWp89VPly1dAs3vWlreH3ep0AAAAt5TWbuDSR5LmzZun6tWr69lnn1WePHlUtWpVjR8//pb3iY2NVXh4eLIfABnEMKSWI6ScJZXbcUHfeY/TvnPh6j9vl9XJAAAAMoxLl6QjR45ozJgxKl26tBYtWqTXXntNvXv31qRJk256n6FDhyowMDDpp3DhwvcxMZANePpLz06U7J6qZ27WK27zNX3TKc3YdNLqZAAAABnCpU+38/DwUPXq1bVmzZqkab1799bGjRu1du3aVO8TGxur2NjYpH+Hh4ercOHCnG4HZLSNP0l/vyWHYVfbmH7a61ZGc1+vozL5/K1OBgAAkKoscbpd/vz5Vb58+WTTypUrpxMnTtz0Pp6engoICEj2A+AeqP6S9GBr2U2HxvmMlkd8uHpO2ayrsQlWJwMAALgrLl2Sateurf379yebduDAARUtWtSiRACSGIbU8jspR3EFO85rpPePOnwhUh/O3ikXPkANAABwWy5dkt58802tW7dOQ4YM0aFDhzR16lSNGzdOr7/+utXRAEiSV8D/XZ/kofrmBr3stlBzt53Rbxu4PgkAAGReLl2SatSoodmzZ+u3335ThQoVNHjwYI0YMUIdO3a0OhqARAWqSE2HSJI+dP9NlYzDGvDnbu06HWZtLgAAgDvk0gM3ZAS+Jwm4D0xTmtFZ2jNXF9zyqVHkYOXIFaw/36ijAC93q9MBAABIyiIDNwDIJAxDemqkFFRUwQnn9J3PTzp+6aren7mD65MAAECmQ0kCkDG8Aq9dn2RzVwPnOnV1X6IFu85p4ppjVicDAABIF0oSgIxT8CHp8U8lSR+7TVEF44iGzN+rrSeuWBwMAAAg7ShJADJWzR5S2Raym/Ga4DdKXo6r6jV1q0Kj4qxOBgAAkCaUJAAZyzCkp7+XgoooOP6svvP9WadDo/T29O1yOrk+CQAAuD5KEoCM551DajtBsrmpoWONOrsv1dJ9IRq/8ojVyQAAAG6LkgTg3ihUXWoySJLUz/1XPWgc0xeL9mvjscsWBwMAALg1ShKAe+eRnlKZJ2V3xmui3yh5O6+q19QtuhQZa3UyAACAm6IkAbh3DEN6epQUWFjB8af1nd8knQ+PUZ/ft8nB9UkAAMBFuaX3DqGhoZo9e7ZWrlyp48ePKyoqSsHBwapataqaNm2qWrVq3YucADIrn5xS25+lCc30WMJKdfIoq18ONtSo5YfUu1Fpq9MBAACkkOYjSWfOnFG3bt2UP39+ffrpp4qOjlaVKlXUqFEjFSpUSMuXL1eTJk1Uvnx5/f777/cyM4DMpvDDUqP+kqT+bpNUzjiub/45oNWHLlocDAAAIKU0H0mqWrWqOnfurM2bN6t8+fKpzhMdHa05c+ZoxIgROnnypN55550MCwogk3u0l3RslewHF+kX/9FqED5A/5u2VfN711WeAC+r0wEAACQxTNNM04UBly5dUq5cudK84PTOf6+Eh4crMDBQYWFhCggIsDoOkL1FXZbG1pHCT2uZewO9FPGKahbPpSndasrNziWSAADg3kprN0jzbyVpLTyJncsVChIAF5N4fZJh12PxK/Six39af/SyvvnngNXJAAAAktzRn267dOmiq1evpph+7Ngx1atX765DAcjCijwiPfaxJGmA20SVMU5o1PLDWr4/xOJgAAAA19xRSdq+fbsqVaqktWvXJk2bNGmSKleurNy5c2dYOABZVO0+UqnGsjtjNTlgjHwUo7d+36YzodFWJwMAALizkrRhwwY988wzatCggT788EO1a9dOvXr10pdffqnZs2dndEYAWY3NJrX+QfLPr+DY4xoZOEVXouLVa+oWxTucVqcDAADZXLq/J0mS3N3dNXz4cPn4+Gjw4MFyc3PTv//+q0cffTSj8wHIqnxzS21+kia1UKPYpXrBq4wmn6ijLxbu00fNUx9BEwAA4H64oyNJ8fHxevvttzVs2DD17dtXjz76qJ555hnNnz8/o/MByMqK1ZYafihJGmj/WaWNUxq/8qgW7z5ncTAAAJCd3VFJql69uubNm6cVK1bos88+04oVK9SnTx8988wz6tmzZ0ZnBJCV1XlbKtFQdkeMpgaOkbdi9PaM7TpxKcrqZAAAIJu645K0bds2PfLII5IkwzD0/vvva+3atfrvv/8yNCCALM5mk54ZL/nlU3DMUX0f9JsiYhL0+tQtik1wWJ0OAABkQ3dUkn766Sf5+vqmmF61alVt3rz5rkMByGb8gqU2P0qGTY1ilugF7zXaeTpMn/291+pkAAAgG0pzSUrte5FS4+npma75AUCSVLyuVP8DSdIA+88qaZzWL2uP68/tZywOBgAAsps0l6RSpUrp888/19mzZ286j2maWrJkiZo1a6bvvvsuQwICyEbqvSMVry+3hChNCxorL8Wq76ydOnIh0upkAAAgGzFM0zTTMuP+/fv14Ycf6u+//1blypVVvXp1FShQQF5eXrpy5Yr27NmjtWvXys3NTX379lWPHj1kt9vvdf7bCg8PV2BgoMLCwhQQEGB1HAC3ExkijaktXQ3RUu8n9PKVTiqbz19zXq8tL3frtykAACDzSms3SHNJSnTixAlNnz5dq1at0vHjxxUdHa3cuXOratWqatq0qZo1a+YS5SgRJQnIhI6skH5pJcnUR7b/aUpUTbWvUVift6lkcTAAAJCZ3bOSlNlQkoBMavkQ6d9hcrj5qknUIB1x5tdXz1ZWm2qFrE4GAAAyqbR2A7c7Wfhbb72V6nTDMOTl5aVSpUrp6aefVs6cOe9k8QAg1X9fOr5G9mMr9XuOH1Tn0of6eM4uVSwUqAfy+ludDgAAZGF3dCSpYcOG2rJlixwOh8qUKSNJOnDggOx2u8qWLav9+/fLMAytWrVK5cuXz/DQ6cGRJCATizgnja0jXb2gpb7N9fKljiqVx09zX68tX887+hsPAADIxtLaDe7oe5KefvppNW7cWGfOnNHmzZu1efNmnTp1Sk2aNFGHDh10+vRp1atXT2+++eYdPwEAkH8+6Zlxkgw1uvq3Ovpu0qGQSH00e6ey+JnCAADAQnd0JKlgwYJasmRJiqNEu3fv1uOPP67Tp09ry5Ytevzxx3Xx4sUMC3snOJIEZAFLB0srv5TD3U9Nrg7WEWdeDX2mojo8XMTqZAAAIBO5p0eSwsLCFBISkmL6hQsXFB4eLkkKCgpSXFzcnSweAJJr0FcqUkv2+Ej9nvMHeSpO/eft1u4zYVYnAwAAWdAdn2730ksvafbs2Tp16pROnTql2bNn6+WXX1arVq0kSRs2bNADDzyQkVkBZFd2N6ntT5JPLgVH7tPo4NmKS3Dq9SlbFBETb3U6AACQxdxRSfrhhx/UqFEjtW/fXkWLFlXRokXVvn17NWrUSGPHjpUklS1bVj/++GOGhgWQjQUUkFqPkyQ1ipirjv5bdexSlD74g+uTAABAxrqr70mKjIzUkSNHJEklSpSQn59fhgXLKFyTBGQx/wyQVn0jh7u/Ho8arMOOPBr41IPqXKuY1ckAAICLu6fXJCXy8/NTpUqVVKlSJZcsSACyoIYfS4UfkT0+Qr/nHCcPxevTv/do+8lQq5MBAIAs4q5KEgDcd4nXJ3nnVO6IPRqbd67iHaZ6TtmisCiuTwIAAHePkgQg8wksJLX+QZL0WNgsvRC4XadDo/X2jG1cnwQAAO4aJQlA5vTA41Kt3pKkgeYYlXC7qH/2hmj8yiMWBwMAAJkdJQlA5tWon1ToYdnjwjU91zi5K0HDFu7XpmOXrU4GAAAyMUoSgMzL7i61/VnyClLusF0al/9POZymek3dqkuRsVanAwAAmRQlCUDmFlRYan3t+9kaXpmhF4N26Vx4jN6cvl1OJ9cnAQCA9KMkAcj8yjSTHu0lSRrgHKUS7pf034ELGr3ikMXBAABAZkRJApA1NOovFawme1yYZuT+UW5K0NdLDmjN4YtWJwMAAJkMJQlA1uDmIbWdIHkFKteV7fqp0Hw5Tan3b9sUEhFjdToAAJCJUJIAZB05ikpPj5Yk1b84TZ1y7dXFyFj1/m2rHFyfBAAA0oiSBCBrKddCqvmaJKl/wkiV9LiidUcua8Q/BywOBgAAMgtKEoCsp8kgqUBV2WNDk65PGrnskFbsD7E6GQAAyAQoSQCynsTrkzwDlPPyVv1cZJEk6c3ft+lMaLTF4QAAgKujJAHImnIWl57+XpJUL2SKOgcf0JWoeL3x21bFO5wWhwMAAK6MkgQg6yr/tPRwd0lSv/hvVcorTJuPX9HwRfstDgYAAFwZJQlA1vb4p1L+yrLHXNH0XD/KLofG/XdES/actzoZAABwUZQkAFmbm+e165M8/JXz0mZNKvaPJOnt6dt08nKUxeEAAIAroiQByPpylZSe+k6SVPvcL+qS94jCYxLUa+oWxSY4LA4HAABcDSUJQPZQ4Rmp+ssyZOqTuG9U2jtC20+Faej8fVYnAwAALoaSBCD7aDpEyldR9uhLmp77J9nl0MQ1x/T3jrNWJwMAAC6EkgQg+3D3kp6dJHn4KceFDfq15HJJ0vt/7NDRi1ctDgcAAFwFJQlA9pKrpNTyW0nSo6cn6OUCxxQZm6CeU7YoJp7rkwAAACUJQHZUsa1UrYsMmfow5hs94HNVe8+Ga+Cfu61OBgAAXAAlCUD29MTnUt4Kskdd0PTgn2Q3nPptw0nN3nrK6mQAAMBilCQA2ZO7t/TsRMndV0Hn12ly6f8kSR/O2qWD5yOszQYAACxFSQKQfeUuLbX4RpL0yInxeqXQKUXHO9RzyhZFxSVYHA4AAFiFkgQge6v8nFT1BRky1Tf6S5X1i9bBkEh9OGunTNO0Oh0AALAAJQkAmg2XgsvJdjVEvwf/LHebqTnbzmjogn0UJQAAsiFKEgB4+EjtJknuPgo8u1qzKqyTJI3774i+X3bI4nAAAOB+oyQBgCQFl5GafyVJqnhwlEbVjpIkfbXkgH5addTKZAAA4D6jJAFAoirPS5Wfl0ynmu/7UAPreEuSBv+1R79vPGFxOAAAcL9QkgDges2/lPJWkK6GqNPBN/ROTR9J0gezdurP7WcsDgcAAO4HShIAXM/DV3pxtpSrlIywU3r95Nt6paqvTFN68/dtWrbvvNUJAQDAPUZJAoAb+eWROs2TgorIuHxYH178QB0q+irBaerVyVu05vBFqxMCAIB7iJIEAKkJLHitKPnnl3Fhrz6L7K+nyvoqLsGpVyZt0tYTV6xOCAAA7hFKEgDcTM7i14qST27Zzm7TiITP1KiEr67GOdRlwkbtPRtudUIAAHAPUJIA4FaCH5A6zZG8AmU7tUHjPL7SI0V8FRYdrxd/Wq8jFyKtTggAADIYJQkAbidfRemFWZKHn+zH/tOv/t+rUj5vXYyM0ws/rtepK1FWJwQAABmIkgQAaVGouvT875Kbt9wPL9GMPBNUOreXzoTF6IUf1yskIsbqhAAAIINQkgAgrYrVkdpPlmzu8jwwT3OLTFPhIE8duxSlF3/coNCoOKsTAgCADEBJAoD0KNVYenaiZNjls2e65peepzx+Htp/PkKdf96gyNgEqxMCAIC7REkCgPQq10Jq/YMkQ/47J2nRg0uUw9tN20+F6eWJGxUT77A6IQAAuAuUJAC4E5WelVp+K0nKsf0HLay6Vv6eblp/9LJem7xZcQlOiwMCAIA7RUkCgDtVrbP0xOeSpLxbvtH8Glvl5W7T8v0X9Obv25TgoCgBAJAZUZIA4G488pr02CeSpMKbhurPmvvkYbfp751n9cGsnXI6TYsDAgCA9KIkAcDdqveOVPdtSVLpTQM089FjstsMzdx8SoP+2iPTpCgBAJCZUJIAICM89olU81VJUqXNH2pqrbOSpIlrjunrJQesTAYAANKJkgQAGcEwrl2f9FAnyXSq5pb39POjFyVJI5cd0th/D1scEAAApBUlCQAyimFILUZIFZ+VnAl6bMe7+q5mmCTp8wX7NHndcWvzAQCANKEkAUBGstmlVmOksi0kR6ye2vO2hlS7Kkn6ZO4uzd56yuKAAADgdihJAJDR7O5S25+lko2k+Ch1OPS2+laJkWlK78zYoYW7zlmdEAAA3AIlCQDuBTdP6bnJUtHaMmLD1f342+r1YJwcTlO9f9uq/w5csDohAAC4CUoSANwrHj7S879LBavLiL6it8+9p85lEhTncKr7r5u08dhlqxMCAIBUUJIA4F7y9JdemCnlrSjjaogGXOmrZ0o4FRPv1EsTNmrX6TCrEwIAgBtQkgDgXvPOIb04W8r9gIzw0/oy+hM1LWIqIjZBL/60XgfPR1idEAAAXIeSBAD3g1+w1GmulKOYbFeOarRjoOoWkK5ExeuFn9brxKUoqxMCAID/Q0kCgPsloIDUaZ4UUFD2Swc0wW2IHspj6Hx4rDr+tE7nwmKsTggAAERJAoD7K0fRa0eUfIPlFrJLv/t+qXI5DZ28HK0XflqvS5GxVicEACDboyQBwP2Wu/S1ouQVJPezmzU750gVCzB0KCRSnX7eoLDoeKsTAgCQrVGSAMAKeR+UXpwlefjL69Qazc83Xvl9De0+E66XJm5UVFyC1QkBAMi2KEkAYJWC1aSOMyQ3b/mcWKZFhX9RDi9Dm49fUfdfNism3mF1QgAAsiVKEgBYqeijUoepkt1DAccWaGnJ3+XrYWjVoYt647etinc4rU4IAEC2Q0kCAKuVfExq94tkc1POw3O09IG58nAztGTPeb07Y7ucTtPqhAAAZCuUJABwBWWaSc+Mkwyb8h2apn/KL5KbTZqz7Yw+mbtLpklRAgDgfqEkAYCrqNBGemqkJKnIgYmaX/E/GYY0Zf0Jfb5gH0UJAID7hJIEAK6k6gvSk19Kkh7YP1ZzKq2XJP3w3xF9v+yQlckAAMg2KEkA4GoefkVqPFCSVHn/t/qt0nZJ0ldLDujnVUetTAYAQLZASQIAV1Snj1TvPUnSoweGaXyFvZKkQX/t0fSNJy0MBgBA1kdJAgBX1fBD6dFekqTGhz7VN+WvnW73wawd+mvHGSuTAQCQpVGSAMBVGYb0+KdSta4yZKrV0YEaVOa4nKbUZ9o2Ld8XYnVCAACyJEoSALgyw5Cafy1Vai/DdOjFU/31XunTSnCaenXyZq09fMnqhAAAZDmUJABwdTab9PQoqdxTMhxxeu1sP71W/LxiE5zqNmmjtp0MtTohAABZCiUJADIDu5vU5iepVBMZCdF679InerHIBV2Nc6jzzxu092y41QkBAMgyKEkAkFm4eUjP/SoVqysjLlKDwvurdYErCouO14s/bdCRC5FWJwQAIEugJAFAZuLuLXWYJhV6WEZMqL6KGaDH84TpYmSsXvhxvU6HRludEACATI+SBACZjaef1HGGlK+SbFEXNMY5SLVyRepMWIw6jl+nkIgYqxMCAJCpUZIAIDPyDpJenCMFl5U98qx+sX+qKoFXdexSlDr9tEGhUXFWJwQAINOiJAFAZuWbS+o0V8pRXG7hJzTD+3OV9YvWvnMR6jxhoyJjE6xOCABApkRJAoDMzD+f1HmeFFBI7qGHNTfwSxX1jtH2k6HqNmmjYuIdVicEACDToSQBQGYXVORaUfLLK89Le7Ug97fK6xmndUcu67XJmxWX4LQ6IQAAmQolCQCyglwlr516551TPhe2a0neUQpyj9fy/Rf05u/b5HCaVicEACDToCQBQFaRp5z04mzJM0ABIRu1rOB4+doT9PfOs/rgjx1yUpQAAEgTShIAZCUFqkgdZ0ruvsp5bpWWFZ0kDyNBMzaf0qC/9sg0KUoAANwOJQkAspoiNaUOv0l2T+U9s1RLi/8mm5yauOaYvllywOp0AAC4PEoSAGRFJepLz/0q2dxV+MwCLS45U4ac+m7ZIf3w72Gr0wEA4NIoSQCQVT3QVGrzo2TYVOr0HM0t+ZckU0MX7NOU9cetTgcAgMuiJAFAVvZgK+np0ZKkSqenaVrJxZKkj+fs0uytpywMBgCA66IkAUBWV6WD1PxrSdIjpyfpp+IrZJrSOzN2aNHucxaHAwDA9VCSACA7qPGy9PinkqRGZ8dpRNE1cjhNvTF1q1YevGBxOAAAXAslCQCyi1pvSA0+lCS1Ov+9Pi28SXEOp7r/slmbjl22OBwAAK6DkgQA2Un996RavSVJHS98ow8K7lB0vENdJ2zUrtNhFocDAMA1UJIAIDsxDKnJIKlGNxky1ePycL2ef68iYhPU6ecNOhQSYXVCAAAsR0kCgOzGMKRmw6UqHWWYDr0T9rm65Dmoy1fj1PHH9Tp5OcrqhAAAWIqSBADZkc0mPTVSerC1DGe8+kcNVdtcR3U+PFbP/7hO58JirE4IAIBlKEkAkF3Z7FLrcdIDT8hIiNEXcZ+pWdBJnbwcrRd+Wq9LkbFWJwQAwBKUJADIztw8pGcnScXryxYfpVHOz1Tf/4wOhUSq088bFB4Tb3VCAADuO0oSAGR37l5Sh9+kwo/IFheun+1DVN3nvHafCddLEzYqKi7B6oQAANxXlCQAgOThK3WcLuWvInvMZf3mNVTlvS5q0/Er6vHrZsUmOKxOCADAfUNJAgBc4xUovThbylNe7lEhmu03TCU9rmjlwYt6Y+pWJTicVicEAOC+oCQBAP4/n5zSi3OknCXlGXlafwUOVwG3cC3ec17vztwhp9O0OiEAAPccJQkAkJx/XqnzPCmwiLwjjmlxrq+V2xap2VtPq9+8XTJNihIAIGujJAEAUgosJHWeK/nlk1/YAf2T51sFGFGavO6EPl+4j6IEAMjSKEkAgNTlLCF1miv55FJQ6G4tzTdK3orRD/8e0ajlh6xOBwDAPUNJAgDcXJ6y165R8gpU8JWt+if/WHkqTl8uPqAJq49anQ4AgHuCkgQAuLX8laSOf0gefip4ZYMW5P9R7krQwD/3aPqmk1anAwAgw1GSAAC3V7iG9PzvkpuXSlxZpbn5J8ompz74Y4f+3nHW6nQAAGQoShIAIG2K1ZGemyLZ3FX+yjLNyD9ZpulUn9+3avm+EKvTAQCQYShJAIC0K91YenaCZNhV7cpC/ZJvpuIdTr06ebPWHblkdToAADIEJQkAkD7lWkqtx0oyVDd0jsbmnavYBIdenrhR206GWp0OAIC7RkkCAKRfpXZSyxGSpCfCpuvL4IW6GudQ5583aPPxK9ZmAwDgLlGSAAB3ploXqelQSVLbiF81MPdShUXHq8P4dZq77bS12QAAuAuUJADAnXu0p/TYx5KkzpE/6bNC6xWX4NT/pm3TiH8OyDRNiwMCAJB+lCQAwN2p965U5y1JUseL32piqZWSTI3456D+N22bYuId1uYDACCdKEkAgLvXqJ/0aC9JUoNTY/RviSnytcVr3vYzen78Ol2MjLU4IAAAaUdJAgDcPcOQmn4mNf9asrmp6Jn5Wpf/K5XyitCWE6FqNWq19p+LsDolAABpkqlK0ueffy7DMNSnTx+rowAAUlPjZenF2ZJ3Dvlf2qGFvv3VNOi0Tl2JVpsxa7RiP186CwBwfZmmJG3cuFE//PCDKlWqZHUUAMCtFK8nvbJcCi4nt6vnNDb+Y72Vb7siYxP00sSN+mXtMasTAgBwS5miJEVGRqpjx44aP368cuTIYXUcAMDt5CwuvbxYeuAJGY5Y9Q4dpp8KzZdpOtVv7m71n7tLCQ6n1SkBAEhVpihJr7/+upo3b67GjRvfdt7Y2FiFh4cn+wEAWMArQGo/VardR5LU6OJkLSs4Xr6K1qS1x9Xtl02KiIm3NiMAAKlw+ZI0bdo0bdmyRUOHDk3T/EOHDlVgYGDST+HChe9xQgDATdnsUpOBUutxkt1TxS/9q3V5PldJ94tasf+C2oxZo5OXo6xOCQBAMi5dkk6ePKn//e9/mjJliry8vNJ0n759+yosLCzp5+TJk/c4JQDgtio/J3WdL/nllX/4QS3y6a+mvod04HykWo9erS0nrlidEACAJIbpwl+HPmfOHLVu3Vp2uz1pmsPhkGEYstlsio2NTXZbasLDwxUYGKiwsDAFBATc68gAgFsJOy1Ne146u02mzU3fe72qry7XkoebTV8+W1lPVS5gdUIAQBaW1m7g0iUpIiJCx48fTzata9euKlu2rN5//31VqFDhtsugJAGAi4mPlua+Lu36Q5K0LKCVXglpI4fserPxA+rdqJQMw7A4JAAgK0prN3C7j5nSzd/fP0UR8vX1Va5cudJUkAAALsjdW2rzk5SnnLTsUz0WPkf/5DmlViHd9c0/B3TkYqSGtakkL/dbnykAAMC94tLXJAEAsijDkOq9Kz03RXL3VfHwTVqV81OVsZ3R3G1n1PHH9boYGWt1SgBANuXSp9tlBE63AwAXd26X9FsHKeyEEtz91Dv+Dc2PqahCObw1oUsNlc7rb3VCAEAWkdZuwJEkAIC18lWQui+XitSSW3ykRhnD9G7AYp26EqVnRq/RvwcuWJ0QAJDNUJIAANbzzS11mis91EmG6dTrcRM1MccExcZG66WJG/Xr2mNWJwQAZCOUJACAa3DzkFp+Jz0xTDJsahD9jxbn+EI5nVf0ydzdGjBvtxIcTqtTAgCyAUoSAMB1GIb0yKvSC39IXoEqFr1bywMH6kHjmCauOaZuv2xSREy81SkBAFkcJQkA4HpKPiZ1WyblKi2/2POa5zNIT7tv0Ir9F9R2zFqduhJldUIAQBZGSQIAuKbcpaRu/0glG8nuiNG39hH60GeODpwPU6tRa7T1xBWrEwIAsihKEgDAdXkHSc9Plx55XZLU3Tldv/qP1tXIMD03bp3+3H7G2nwAgCyJkgQAcG12N+mJIdJT30s2d9WJX6NFAZ8pd0KI3vhtq75belBZ/Cv/AAD3GSUJAJA5PPSi1OUvyTdYReIOa7Fffz1kHNDXSw7ozd+3KSbeYXVCAEAWQUkCAGQeRR6RXlkm5a0ov4QrmuH9mdq5/ac5287ohR/X61JkrNUJAQBZACUJAJC5BBWRXloolWspuzNeX7iN1UCvqdpy/JJajV6tg+cjrE4IAMjkKEkAgMzH00969hep/vuSpM76S7/5fq3Qy5f0zOg1WnnwgsUBAQCZGSUJAJA52WxSww+lZydKbt6q6diihb4DlCvupLpM2Khf1x23OiEAIJOiJAEAMrcHW187/S6goAo6Tmm+d389qh36ZM4uDfxztxxORr4DAKQPJQkAkPkVqCK9slwqVEM+zkj94vGFOtsXacLqo3rll02KjE2wOiEAIBOhJAEAsgb/vFLnv6TKHWSTQwPdJ2mYx09aue+M2o5Zo9Oh0VYnBABkEpQkAEDW4e4ltRojNRksydBztmX63ftzhZw7rae/X61tJ0OtTggAyAQoSQCArMUwpNq9peenS54Besjco/k+/ZXr6kE998Na/bXjjNUJAQAujpIEAMiaHnhcenmJlKO48jnPa67XQNVzblCvqVs1culBmSYDOgAAUkdJAgBkXXnKSq8sk4rXk5cZrfEeX6unfY6+WrJfb0/frtgEh9UJAQAuiJIEAMjafHJKL8ySarwiSXrPfbq+cx+lv7ce1Qs/rtflq3EWBwQAuBpKEgAg67O7S82/lFp8I9nc9JR9jf7wGqwTxw6r1ajVOhQSYXVCAIALoSQBALKP6i9JL86RvHOqgg7rb+9PlOPKDrUevUYrD16wOh0AwEVQkgAA2UvxuteuUwoup9zmFc3wHKyGcf+qy4SNmrzuuNXpAAAugJIEAMh+chaXXl4sPdBMHorXdx6j9LbtN30yZ4cG/blHDicj3wFAdkZJAgBkT14BUvspUp03JUk93eZpnPvX+n31HnX/ZZMiYxMsDggAsAolCQCQfdnsUuMB0jPjJbunmti3aLZnfx3Yv1Ntx6zRmdBoqxMCACxASQIAoFI7qesCyS+fHjBO6U/PfgoKWa+nR63WtpOhVqcDANxnlCQAACSpUDWp+3KpQFUFKUKTPYaqSdR8PffDWs3fedbqdACA+4iSBABAooAC144oVWgjNzk0xP0nfaif1HvKBo1afkimyYAOAJAdUJIAALieu7fU5ifpsU8kSZ3dlmiS+zCNW7RZb8/YrtgEh8UBAQD3GiUJAIAbGYZU7x2p/VTJ3Ve17bs1z/MTbd+6QS/+uEGXr8ZZnRAAcA9RkgAAuJmyzaVuS6SgIipqnNccj37yObFUrUev1qGQSKvTAQDuEUoSAAC3kvdB6ZXlUpFa8jei9bPHl3o8dLpaj16lVQcvWp0OAHAPUJIAALgd39xSp7nSQ51lk6mP3KdqgON7vTJhlaauP2F1OgBABqMkAQCQFm4eUstvpWZfyDTsamNfqSlug/XN7JUa/NceOZyMfAcAWQUlCQCAtDIMqWYPGS/MlOkVqIdshzTX82OtW71MPX7dpKuxCVYnBABkAEoSAADpVfIxGd2WSblKq4BxWTM9Bspj/zy1HbtWZ0KjrU4HALhLlCQAAO5E7lJSt3+kUo3lbcRptMd3euLCz2r1/UptPxlqdToAwF2gJAEA/l979x0dZZm4ffx6ZiYzSSAJNYGQUAVEaSJdigUJghTL4qo/VndFXQEbr211XWwgNpZdF1FZ1g6KKKJU6TX0Lp3QIRAIkED6zP3+4ZgdXVSCSZ7J5Ps5hz/2mQnnyjn3Yefrk8zgYkVUku6YJHUYIkl62PWlnst9TXe/u0AzNh+1dxsA4KIRSQAA/BYOp5Q0XOr7lozTrZ7OVfrEGqbhn8zWmAW7ZQxv6AAAZQ2RBABAcbjiTll3TZOpUF2XOfZrqudZzf/2az32+SblFfjsXgcAKAIiCQCA4lK7nax7F0g1mqmalaGJ7pfk2Pix/m/8SqWfy7N7HQDgAhFJAAAUp0qJ0p9mS036yG159VrYu+p+8B+6dcxi7Uk7a/c6AMAFIJIAAChu7grS7z6Quj4lSRromqlhmc/rD2O+1bLdJ2weBwD4NUQSAAAlweGQrvmL9Lv3ZVwR6urcpA99T2vYf6Zq4qoDdq8DAPwCIgkAgJJ0+U2y7pktE11LDRxH9UXYXzX9qwkaPn2rvD7e+Q4AghGRBABASavZQta9C2QS2irGytL7Ya8of/lY3f/hGp3LLbB7HQDgJ4gkAABKQ1ScrLunSS3ukMvy6bmwD3Xd7uG6fexiHT2Tbfc6AEAAIgkAgNLi8kj93pK6vyRjOXS7a4GeSf+L7npzhtbsS7d7HQDAj0gCAKA0WZbU8UFZd0ySzx2ldo7t+k/+E3rx3U/08oxtysn32r0QAMo9IgkAADs0vF6Oe+fJV7meEqwT+iLsb4pePkI3/3OBNh86Y/c6ACjXiCQAAOxSvbEc986Xmt4il+XTYNfXGn3mIf1t7AcaNWen8gp8di8EgHKJSAIAwE6RVaRb/yPd9rF8kdXVyHFYk11/U+SiF9R/zAJtT82weyEAlDtEEgAAwaBJbzmGrJKa9ZfTMvqz6xu9cXKwnv3XfzRmwW4VeLmrBAClhUgCACBYRFaRbhkn/X6ivBVi1cBxVJ85n5N73rO6Y+wC7Uk7a/dCACgXiCQAAILNpT3lHLxSpsXv5bCM7nXN0Mjjg/TsP8Zp/NK98vmM3QsBIKQRSQAABKPIKrJueke6Y5K8FWqoviNVHzuflzXrKd39zkIdTM+yeyEAhCwiCQCAYNYoSc4hK2Va/p8cltGfXLP0wtH79czot/XJyv0yhrtKAFDciCQAAIJdRCVZ/cZId36hgorxqus4pg8dzyv/m8d0778X6cjpbLsXAkBIIZIAACgrGnaTa8gKmVZ3SZLudn2rvx0cqGdHv6Uv1h7irhIAFBMiCQCAsiQ8Rlaff0oDpii/Yi3VdqRpvF5Q1pSHNeT9JTqemWP3QgAo84gkAADKogbXKuzBlfJd+UdJ0gDXXP1l3x/1t1H/0rRNR2weBwBlG5EEAEBZ5YmSo/do6Q9fKy8qUQnWCb1tXlTGpEF67KMlOnUuz+6FAFAmEUkAAJR19bvKPWSFvK3vlSTd4VqgR3ffpWff+IfmbD1m8zgAKHuIJAAAQoGnopw3vi7dPV25UbVVyzqpf/leUvqE+/TMxKU6k51v90IAKDOIJAAAQkndTvI8uEIFbe6XkaXbXAs1ZPsAvfDGKC3emWb3OgAoE4gkAABCjbuCXL1elfXHmcqJrquaVrreKBih4x/9SS9+vkzncgvsXggAQY1IAgAgVNXpoPAhycpvN1hGlm51LtZ9W+7Qi2+8rhUpJ+1eBwBBi0gCACCUuSMVdsMIWfd8q6zo+oqzTmtk3stKfW+AXpuSrJx8r90LASDoEEkAAJQHiW0V+eBy5bZ7UD451M+5THdvuE0j3nhV6w+csnsdAAQVIgkAgPIiLEKeG16SY+AcnYu+RNWtM3ohZ6QOjbtdb36zQrkF3FUCAIlIAgCg/ElorQoPLlNO+0fklVO9ncm6fc3v9NqoV7Xl8Bm71wGA7YgkAADKo7Bwhfd4Xs575yozupGqWRn6a9ZIHXj7dxo3c6XyvT67FwKAbYgkAADKs1qtFPXQUmW1HyqvHOrpXKmbV9yiUX8fqZ2pGXavAwBbEEkAAJR3Lo8iewyT474FOhPdWFWtTD159hXte+tmffjtSnl9xu6FAFCqiCQAACBJsuJbKuahpTrb4XEVyKnujtXqvexmvTl6uPamnbV7HgCUGiIJAAD8l8utikl/lfP+hToV3USVrbN6JOM1pfyrjyYtWC0fd5UAlANEEgAA+B9Wzeaq/PASnenwhArk0nXWWiUt7KN33nxJh9LP2T0PAEoUkQQAAM7PGaaYpGfkuH+RTkRfphgrSw+cel0p/+ilqYtXyxjuKgEITUQSAAD4RY6aTVXt4SU61eEvypdLXaz1umZeH43/14s6dibb7nkAUOyIJAAA8OucLlVOekqOB5bqeHRTRVtZGnjyDe3+e5JmL1/DXSUAIYVIAgAAF8wZ10SxDy9SWvtnlKcwXaWN6jj7Rn381gs6kZlj9zwAKBZEEgAAKBqnS9V7PCHHA0t1NKq5oqxsDUgbpV1vXK+FK9fYvQ4AfjMiCQAAXBRX3KWq+ehCpbZ/Vrlyq4M2qfWMXpo09jmdPsddJQBlF5EEAAAunsOpGj0ek/XAUh2KaqGKVo76H/u7dr9+nZLXrLV7HQBcFCIJAAD8Zu64xkp4dKEOtRumHLnV2mxR829u0FfvPKfM7Fy75wFAkRBJAACgeDgcSrhhqKwHlmt/xZaqYOWq39G/a9er12jteu4qASg7iCQAAFCsPHENVWfoAu1r97yyFK5W5jtd9lUPzRj3N2Xl5tk9DwB+FZEEAACKn8Ohujc8Ij2wXCkVWynCylPPw//Q7le6aPMm7ioBCG5EEgAAKDGRcQ1Uf+g87Wrzgs4pXM1929TwiyTNHf+scrirBCBIEUkAAKBkORxq2Oth+R5I1s4KrRVu5avbwX9qz6udtX0zn6sEIPgQSQAAoFRExdVXo8fmamvrl3RWEbrcu131JvfQ4vf+qry8fLvnAUAhIgkAAJQey9JlNz6ogvuXa2tkG3msfHXZ/6b2vtJRe7ZyVwlAcCCSAABAqatUs74ue3yONrYarkxFqrF3pxI/S1LyB0+rIJ/fVQJgLyIJAADYw7LUos8Q5d2XrE2R7eS2CtRh7xjtfaWjDmzjrhIA+xBJAADAVlXj66rZY7O05ooRylAFNSzYpRqfdteaD/8iH3eVANiASAIAALazHA617jtY2fcu17qIDnJbXrVOeUv7XmmvI9tX2T0PQDlDJAEAgKARV6uurnh8hpa1GKnTpqLqF+xR9Yk9tPHjp2QKcu2eB6CcIJIAAEBQsRwOXXXTAzo3cJlWeToqzPKqxe6xOvhKex3fyV0lACWPSAIAAEGpVmJdtX5iuhY2e0XpJkq181NU5ZMkbf3kCZn8HLvnAQhhRBIAAAhaDqdDV9/yZ2X8aamWeTrJZfl02a53dPjVdkrftcLueQBCFJEEAACCXt06ddX+yWmafdmrOmmilZC/T9Gf3KCdHz4k37l0u+cBCDFEEgAAKBOcDktJ/e/XqbuXapG7i1zyqVHKBzr3elOlfDVcys+2eyKAEEEkAQCAMuWSenXU8cmpmt7sTe00tRVlzqn+hleVPrKpDs1/V/J57Z4IoIyzjDHG7hElKSMjQzExMTpz5oyio6PtngMAAIpRema2Fn8xRm32jlUt64Qk6ai7rlzdn1f1K/tKlmXzQgDB5ELbgEgCAABl3sHj6Vo7+TV1PfahKltnJUn7K7ZQ5T4jFN2ok83rAAQLIsmPSAIAoPzYmnJAu6cM1/UZXyrCypMkpVS9WvG3jFR4fBOb1wGwG5HkRyQBAFD+rNy4Waemv6Drc+fIaRl55dC+xJtU55YX5apUy+55AGxCJPkRSQAAlE8+n9H8pUvkXviSuvhWSpJy5NbRS/+oun3/Iiuiss0LAZQ2IsmPSAIAoHzLLfBq9sypSlw7UldohyQp04rSmTYPK6H7Q5LLY/NCAKWFSPIjkgAAgCSdycrT3K/eV4sdo3WJdViSdNIVp4Krn1ZcxwGSw2nzQgAljUjyI5IAAECgo6cytWTym+p8aJxqWunfXwtvoIieL6lSsxt423AghBFJfkQSAAA4n12HjmvjF6+oe/oERVtZkqQDMa1Vrd/LiqzX1uZ1AEoCkeRHJAEAgF+yZtseHfx6uHpmfS2PlS9J2hfXXbVuGaGw2IY2rwNQnIgkPyIJAAD8GmOMFqxap9w5Lykpf4EcllGBnDpU73eqc/PzsqJq2D0RQDEgkvyIJAAAcKHyvT7NmjdPlZJHqLNZJ0nKVrhONL9Xib2elDxRNi8E8FsQSX5EEgAAKKqzuQWaOe1zNdr0ulpYuyVJGY5Kyu4wVHHXPCC53DYvBHAxiCQ/IgkAAFystIwczf1ynNrtHaP61lFJ0omweDm6/U1V2twmORw2LwRQFESSH5EEAAB+q5TUU1rx5T/U7dh7irVOS5KORjZWVO8Rqtikm73jAFwwIsmPSAIAAMVl457D2jrlFd2YOUlRVrYk6VDl9qp+08vy1G5l8zoAv4ZI8iOSAABAcTLGaMmG7Toxc7huzJ0ht+WVJB2o1UsJNw+Xo2o9mxcC+DlEkh+RBAAASoLXZzRryQo5F41QD99iSVK+XDrW6E7V6vOsrIrVbV4I4KeIJD8iCQAAlKTsPK++mT1Ttda8qqusjd9fsyJ1ptUg1UgaKrkr2LwQwA+IJD8iCQAAlIZT5/I0feoEtdwxWk2tvZKkM84q8nZ5QlU6DZScYTYvBEAk+RFJAACgNB08eVbzv3hbVx96R3UcxyVJJz2Jcic9p6grbpEsy+aFQPlFJPkRSQAAwA7fHUjTmi//rl6nPlI1K0OSdCzqclXqM1Kehl1sXgeUT0SSH5EEAADstHzrXu39+hX1y/5SFaxcSdKR6p0Ve9MIueKb27wOKF+IJD8iCQAA2M3nM5q9cpOy545Q74I5CrO88slSat1+qtnvBVmVats9ESgXiCQ/IgkAAASL3AKvvp6/RNHLRypJyZKkPIUp/fK7VaPX01JkFZsXAqGNSPIjkgAAQLA5k52vqdO/UaNNr6u94ztJUpajgrLbPqSq1z4kuSNtXgiEJiLJj0gCAADBKvV0tqZP+Vgd9/5TTRwHJElnwqrLuvovim5/l+R02TsQCDFEkh+RBAAAgt3O1DNa/MVb6nH830qwTkiSTkbUU2TPFxTRtDdvGw4UEyLJj0gCAABlxapdR7T5q1G6+exEVbbOSpKOVWqpKn1fVli9jjavA8o+IsmPSAIAAGWJMUZz1+/SsZmv6Ja8rxVh5UmSUmtep7ibhsuKbWLzQqDsIpL8iCQAAFAW5Xt9mrpkrRyLRqqvb56clpFXDp245FbF9X5Oiqll90SgzCGS/IgkAABQlp3LLdDk2fMVv/ZVXW+tliTlWW5lthioqklPShGV7B0IlCFEkh+RBAAAQkFaZq6mfD1FV+wYpTaOHZKkLGeU8jsOVUyXQVJYuM0LgeBHJPkRSQAAIJTsTTurWV++p+sOj1Ujx2FJ0hl3nMK6PavI1ndIDqfNC4HgRST5EUkAACAUrd93QslTxqjf6fcVb6VLkk5WaKioG1+S+9Ik3jYcOA8iyY9IAgAAocoYo0XfHdCuaaPUP3uSYqwsSVJa1Taq0vdlOWu3sXkhEFyIJD8iCQAAhDqvz+ib5O90dt5r+p13ujxWviQpLTFJ1fq8JKt6I5sXAsGBSPIjkgAAQHmRk+/VpHkrFLXiVfU1i+Twv2346UvvUNVez0pRNeyeCNiKSPIjkgAAQHlz6lyeJs2YrYabR+laxzpJUq4VrpzWf1bMdf9PCuc1EconIsmPSAIAAOXVwfQsfTX1c121959q5dgtSTrnqiR1GqoKHf4keaLsHQiUMiLJj0gCAADl3XeHT2vOl+PVO22cGjiOSpKyHRWV2/xOVbp6iFSpts0LgdJBJPkRSQAAAN9buiNV679+U70yJ6u+I1WS5JVDJ2snqXq3R2XVbmfzQqBkEUl+RBIAAMB/GWOUvDtNa+Z+plZHJ6qT47vCx9Jimin66ofkaX6T5AyzcSVQMogkPyIJAADg/PadOKeZ8+aqxtb/qKeWymMVSJIy3LEybe9TzFUDpYjKNq8Eig+R5EckAQAA/LLMnHx9s2yjclaMU++8GapuZUj6/h3xTje+VbHdHpFVraHNK4HfjkjyI5IAAAAujNdntOi7g9o1/z11Ofm5mjgOSpJ8snQsrouqdntU7kuulizL3qHARbrQNnCU4qYie/nll9WmTRtFRUUpNjZW/fr1044dO+yeBQAAEJKcDkvXNqut+x8eJuuBZRpXb7Tm+1rJIaOaxxbJ/Uk/pb3WRhnJ70sFuXbPBUpMUN9J6tGjh37/+9+rTZs2Kigo0NNPP60tW7Zo69atqlChwgX9HdxJAgAAuHjp5/I0Y+ESha99Vz29CxRpfR9Hmc7Kympxt+KuHSxVrG7zSuDChOSP26WlpSk2NlaLFi1Sly5dLuhriCQAAIDfLt/r09x123V84bu6/uxUxVvpkqQ8helY3T6q2f1RueKb2bwS+GUhGUm7d+9Ww4YNtXnzZjVt2vS8z8nNzVVu7n9v/2ZkZCgxMZFIAgAAKCbr9x3XxtkfquXhCWrp2FN4/VDltqp87SOqcPkNkiOof6sD5VTIRZLP51OfPn10+vRpLV269Gef99xzz+n555//n+tEEgAAQPFKPZ2t+XOnqdqW8brOrJDT+v5lZZqntky7Pyu2092S+8J+RQIoDSEXSQ888IBmzpyppUuXKiEh4Wefx50kAACA0pWT79Wc5auVu3ysuufMVrSVLUk664hSeuPblZD0sByVfv71G1BaQiqShgwZoqlTp2rx4sWqV69ekb6W30kCAAAoHcYYrdyxX3u/fVcdT36uOtZxSZJXDh2o0V01ewxVeN12Nq9EeRYSkWSM0YMPPqgpU6Zo4cKFatiw6B9iRiQBAACUvv1pGUqeNUENdn+gNtbWwusHKzZTZJeHVPXKmyWny8aFKI9CIpIGDRqkCRMmaOrUqWrcuHHh9ZiYGEVERFzQ30EkAQAA2CczJ18LFsyRe+27ujZ/sdyWV5J00hWncy3vUeJ198uKqGTvSJQbIRFJ1s98mvN7772nu++++4L+DiIJAADAfj6f0bINW3RiwVvqkvGNqlqZkqQsRehIvVuUeMOj8sReYvNKhLqQiKTiQCQBAAAEl52HjmvzzHFqfmiCGlqHJEk+WUqp0lVVuz2syk2ukX7mP5YDvwWR5EckAQAABKf0s7laOnuSqm8Zrw5mfeH1Q+ENpfaDlNDp/ySX28aFCDVEkh+RBAAAENzyvT4tXb5MecvGqEv2PEVYeZKkdEcVnWjyB9XvMUSuqOo2r0QoIJL8iCQAAICyY/Ouvdo/+19qkzZZcdZpSVKu3Eqp2UsJNzymqNpN7R2IMo1I8iOSAAAAyp5jpzK0Zvp/VH/3B2qilMLrO6PaqmLXhxV/ZS9+bwlFRiT5EUkAAABlV05egZYvmCbPmrfVIW+FHNb3L10Pu2or84p71ajbQDk8kTavRFlBJPkRSQAAAGWfMUbrNq7Xqflvqv2ZGapo5UiSzlhROlDv92rQ6xFFVk2weSWCHZHkRyQBAACEloNHUrVtxhhddnCiEqw0SVK+nNpe9XpVv/5R1bi0vc0LEayIJD8iCQAAIDSdzc7R6pkfqdqW8Wrm21Z4fWd4c6n9IDXs/DtZTpeNCxFsiCQ/IgkAACC0+XxGa5PnKm/pGLXNWqwwyytJOuqooWNN7laTng/IU6GSvSMRFIgkPyIJAACg/EjZs1P7Z/1TLY9PUWXrrCTprCK1Pb6f6vZ8VNUSGtm8EHYikvyIJAAAgPLn1OnT2jT9bdXd/aHqmMOSJK+xtCW6iyp2fUgNrryOtxAvh4gkPyIJAACg/MovKNC6+ZPlWf22WuavL7y+y9VIZ1vdp2bd/iCX22PjQpQmIsmPSAIAAIAk7di4UunzR6vV6TnyWPmSpOOqqpT6d6hJrwcVUzXO5oUoaUSSH5EEAACAQMdTD2rX9DfV+OBnqqbTkqQs49HmajeoRvdHVadxS1v3oeQQSX5EEgAAAM4nJztLG2f9R9U2/1sNfHsLr28Ibyt1GKTmnfrK4XTYuBDFjUjyI5IAAADwS4zPp63JM5S/bIyan0uWw/r+5fEeRx0da/JHteh5rypUqGjzShQHIsmPSAIAAMCFOrJniw7N/ruaHvtGkVauJOmkorU1/lbV7/mIaiXUsXkhfgsiyY9IAgAAQFGdPX1C26a/qdq7P1acOSFJyjNObYxop9wmN6vp1f1VKSbG5pUoKiLJj0gCAADAxfIV5Gvr/I/lWfOOGuZtK7x+1kRoY8XOslr0V4vOfVQhgrcRLwuIJD8iCQAAAMUhdedaHVn6oWodnK44k1Z4Pc3EaEuVboq88na1bHeNPGEuG1filxBJfkQSAAAAipXPp4ObFuhk8seqd2yOYpRZ+NA+1dSu6j1UpcOdatmytZwOy8ah+CkiyY9IAgAAQEkxBbnau3KastZO1CXpixSuvMLHtloNdKDWjYrvdKeaNW4kyyKY7EYk+RFJAAAAKA3enEztWfKZzKbP1SBzlVzyfX/dWFrnbK4T9Xrrki53qGGdWjYvLb+IJD8iCQAAAKUt78wx7V30sdzbvlC97O8Kr+eaMK0Ka6PMxjepaZdbVTuuio0ryx8iyY9IAgAAgJ2yj+3W/kUfKnrXFMXnHyi8nmEitTKikwouu1VXdrlRsZUq2LiyfCCS/IgkAAAABAVjlLlvvQ4v+VDV93+jqt4ThQ+lmspaE3Wtwlr0V/uO1yqmgtvGoaGLSPIjkgAAABB0fD6d2r5Ax5d9rFpHvlVFc7bwoT0mXpsrd1fFNrerY5vWinTzluLFhUjyI5IAAAAQ1ApylbZ+us6s+kSJaYvlCXiHvI3mEu2K66nY9r9X++ZN5HY5bBxa9hFJfkQSAAAAyoycDKWunKzsdZ+q9pnVcvrfIa/AOLTSaqbDCTeq9lX91aZxHT6D6SIQSX5EEgAAAMoik5mqw0s/kTZPVkLW1sLr2catJY42Olm/j5p0ukkt6sbyGUwXiEjyI5IAAABQ1nnTduvwko8Usf0LVc87WHj9tKmgxWFXKavxzWrVuaca1YixcWXwI5L8iCQAAACEDGOUf2i9jiz5QJX2fKMY78nChw6bqloWfrV8TW/VVR27KrEqbyn+U0SSH5EEAACAkOTzKmfXQh1b/rGqH5ilSJNV+NAOX4JWR10nzxX91bVda8VGhds4NHgQSX5EEgAAAEJefo7ObZmu9BUTVOPYIoUpv/ChNb5G2lKluyq1uU3XtGqimIgwG4fai0jyI5IAAABQrmSfVsb6L3V29UTVOLVaDn3/cj/fOLXMNNeuGjeoVrtbdE2zeopwO20eW7qIJD8iCQAAAOVWxlGdWjVR+RsmKfbstsLLWcaj+Wqtw4k3qmGHPurUOL5cfAYTkeRHJAEAAACS0nbqxIqP5dzyhSrnHiq8nG4qaq7VUekN+qp5hyS1q18tZD+DiUjyI5IAAACAAMbIHFqjtOSPFblzqioWnCp86KCvuua5OiunyS3q0L6TmifEhNRnMBFJfkQSAAAA8DO8BfKmLNLJ5I8Us2+WPL7swoe2+WprkedqOZrfqmvatlLDuCgbhxYPIsmPSAIAAAAuQF6W8rfP0KkVE1TlyCK5VFD40ErfpVpZ4VpVaHWrul/ZRIlVIm0cevGIJD8iCQAAACiirHTlbpqizNUTVe3k6sLLecapRb4W2lSlu+Ja91NSy/qqHuWxcWjREEl+RBIAAADwG5w5pOx1nyln3WeqnLmj8PJZE65vfa21O66n6rXtqe7NEoL+M5iIJD8iCQAAACgmx7fp7JqJMps+V1TOkcLLaSZaM30ddTixl5q1u07XNakRlJ/BRCT5EUkAAABAMTNGOrhKGas/Udi2qYooOF340H5frGZanZRev686tOuoTg2rKcwZHJ/BRCT5EUkAAABACfLmy+yZr4xVExWRMlNuX07hQ5t9dTXH2UVqeouG3nK1fRv9LrQNXKW4CQAAAECocYbJapSkmEZJUt45me3TdWbVREUdWqRmjn1qZvYpdft8yWyRyshnLhFJAAAAAIqHu4Ks5v1VqXl/6dxJebd8qbNrJkoJnctMIEn8uB0AAACAkubzSQ77fy/pQtvA/qUAAAAAQlsQBFJRlK21AAAAAFDCiCQAAAAACEAkAQAAAEAAIgkAAAAAAhBJAAAAABCASAIAAACAAEQSAAAAAAQgkgAAAAAgAJEEAAAAAAGIJAAAAAAIQCQBAAAAQAAiCQAAAAACEEkAAAAAEIBIAgAAAIAARBIAAAAABCCSAAAAACAAkQQAAAAAAYgkAAAAAAhAJAEAAABAACIJAAAAAAIQSQAAAAAQgEgCAAAAgABEEgAAAAAEIJIAAAAAIACRBAAAAAABiCQAAAAACEAkAQAAAEAAIgkAAAAAAhBJAAAAABCASAIAAACAAEQSAAAAAARw2T2gpBljJEkZGRk2LwEAAABgpx+a4IdG+DkhH0mZmZmSpMTERJuXAAAAAAgGmZmZiomJ+dnHLfNrGVXG+Xw+HTlyRFFRUbIsy9YtGRkZSkxM1MGDBxUdHW3rFpQNnBkUFWcGRcWZQVFxZlBUwXRmjDHKzMxUfHy8HI6f/82jkL+T5HA4lJCQYPeMH4mOjrb9gKBs4cygqDgzKCrODIqKM4OiCpYz80t3kH7AGzcAAAAAQAAiCQAAAAACEEmlyOPxaNiwYfJ4PHZPQRnBmUFRcWZQVJwZFBVnBkVVFs9MyL9xAwAAAAAUBXeSAAAAACAAkQQAAAAAAYgkAAAAAAhAJAEAAABAACKpmI0ZM0Z169ZVeHi42rVrp1WrVv3i8z///HNdeumlCg8PV7NmzTRjxoxSWopgUZQzM27cOHXu3FmVK1dW5cqV1a1bt189Ywg9Rf135geffvqpLMtSv379SnYggk5Rz8zp06c1ePBg1axZUx6PR40aNeL/n8qZop6Z0aNHq3HjxoqIiFBiYqIeffRR5eTklNJa2Gnx4sXq3bu34uPjZVmWvvrqq1/9moULF6pVq1byeDy65JJL9P7775f4zqIikorRZ599pqFDh2rYsGFat26dWrRooaSkJB0/fvy8z1++fLluv/123XPPPVq/fr369eunfv36acuWLaW8HHYp6plZuHChbr/9di1YsEDJyclKTExU9+7ddfjw4VJeDrsU9cz8YN++fXrsscfUuXPnUlqKYFHUM5OXl6frr79e+/bt0+TJk7Vjxw6NGzdOtWrVKuXlsEtRz8yECRP01FNPadiwYdq2bZvGjx+vzz77TE8//XQpL4cdzp07pxYtWmjMmDEX9Py9e/eqV69euuaaa7RhwwY98sgjGjhwoGbPnl3CS4vIoNi0bdvWDB48uPB/e71eEx8fb15++eXzPr9///6mV69eP7rWrl07c//995foTgSPop6ZnyooKDBRUVHmgw8+KKmJCDIXc2YKCgpMx44dzb///W9z1113mb59+5bCUgSLop6ZsWPHmvr165u8vLzSmoggU9QzM3jwYHPttdf+6NrQoUPNVVddVaI7EXwkmSlTpvzic5544glz+eWX/+jabbfdZpKSkkpwWdFxJ6mY5OXlae3aterWrVvhNYfDoW7duik5Ofm8X5OcnPyj50tSUlLSzz4foeVizsxPZWVlKT8/X1WqVCmpmQgiF3tmXnjhBcXGxuqee+4pjZkIIhdzZr7++mt16NBBgwcPVlxcnJo2baoRI0bI6/WW1mzY6GLOTMeOHbV27drCH8lLSUnRjBkz1LNnz1LZjLKlrLz+ddk9IFScOHFCXq9XcXFxP7oeFxen7du3n/drUlNTz/v81NTUEtuJ4HExZ+annnzyScXHx//PPzYITRdzZpYuXarx48drw4YNpbAQweZizkxKSormz5+vO++8UzNmzNDu3bs1aNAg5efna9iwYaUxGza6mDNzxx136MSJE+rUqZOMMSooKNCf//xnftwO5/Vzr38zMjKUnZ2tiIgIm5b9GHeSgDJq5MiR+vTTTzVlyhSFh4fbPQdBKDMzUwMGDNC4ceNUrVo1u+egjPD5fIqNjdW7776rK6+8UrfddpueeeYZvf3223ZPQ5BauHChRowYobfeekvr1q3Tl19+qenTp+vFF1+0expw0biTVEyqVasmp9OpY8eO/ej6sWPHVKNGjfN+TY0aNYr0fISWizkzP3j99dc1cuRIzZ07V82bNy/JmQgiRT0ze/bs0b59+9S7d+/Caz6fT5Lkcrm0Y8cONWjQoGRHw1YX8+9MzZo1FRYWJqfTWXitSZMmSk1NVV5entxud4luhr0u5sw8++yzGjBggAYOHChJatasmc6dO6f77rtPzzzzjBwO/ps8/uvnXv9GR0cHzV0kiTtJxcbtduvKK6/UvHnzCq/5fD7NmzdPHTp0OO/XdOjQ4UfPl6Q5c+b87PMRWi7mzEjSq6++qhdffFGzZs1S69atS2MqgkRRz8yll16qzZs3a8OGDYV/+vTpU/iOQomJiaU5Hza4mH9nrrrqKu3evbswqCVp586dqlmzJoFUDlzMmcnKyvqfEPohso0xJTcWZVKZef1r9ztHhJJPP/3UeDwe8/7775utW7ea++67z1SqVMmkpqYaY4wZMGCAeeqppwqfv2zZMuNyuczrr79utm3bZoYNG2bCwsLM5s2b7foWUMqKemZGjhxp3G63mTx5sjl69Gjhn8zMTLu+BZSyop6Zn+Ld7cqfop6ZAwcOmKioKDNkyBCzY8cOM23aNBMbG2teeuklu74FlLKinplhw4aZqKgoM3HiRJOSkmK+/fZb06BBA9O/f3+7vgWUoszMTLN+/Xqzfv16I8mMGjXKrF+/3uzfv98YY8xTTz1lBgwYUPj8lJQUExkZaR5//HGzbds2M2bMGON0Os2sWbPs+hbOi0gqZm+++aapXbu2cbvdpm3btmbFihWFj3Xt2tXcddddP3r+pEmTTKNGjYzb7TaXX365mT59eikvht2Kcmbq1KljJP3Pn2HDhpX+cNimqP/OBCKSyqeinpnly5ebdu3aGY/HY+rXr2+GDx9uCgoKSnk17FSUM5Ofn2+ee+4506BBAxMeHm4SExPNoEGDzKlTp0p/OErdggULzvva5Iczctddd5muXbv+z9e0bNnSuN1uU79+ffPee++V+u5fYxnDfVAAAAAA+AG/kwQAAAAAAYgkAAAAAAhAJAEAAABAACIJAAAAAAIQSQAAAAAQgEgCAAAAgABEEgAAAAAEIJIAAAAAIACRBAAAAAABiCQAAAAACEAkAQAAAEAAIgkAELLS0tJUo0YNjRgxovDa8uXL5Xa7NW/ePBuXAQCCmWWMMXaPAACgpMyYMUP9+vXT8uXL1bhxY7Vs2VJ9+/bVqFGj7J4GAAhSRBIAIOQNHjxYc+fOVevWrbV582atXr1aHo/H7lkAgCBFJAEAQl52draaNm2qgwcPau3atWrWrJndkwAAQYzfSQIAhLw9e/boyJEj8vl82rdvn91zAABBjjtJAICQlpeXp7Zt26ply5Zq3LixRo8erc2bNys2NtbuaQCAIEUkAQBC2uOPP67Jkydr48aNqlixorp27aqYmBhNmzbN7mkAgCDFj9sBAELWwoULNXr0aH300UeKjo6Ww+HQRx99pCVLlmjs2LF2zwMABCnuJAEAAABAAO4kAQAAAEAAIgkAAAAAAhBJAAAAABCASAIAAACAAEQSAAAAAAQgkgAAAAAgAJEEAAAAAAGIJAAAAAAIQCQBAAAAQAAiCQAAAAACEEkAAAAAEOD/A7ix1X6TARIrAAAAAElFTkSuQmCC",
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"%matplotlib inline\n",
"\n",
"import autograd.numpy as np\n",
"from autograd import grad, elementwise_grad\n",
"import autograd.numpy.random as npr\n",
"from matplotlib import pyplot as plt\n",
"\n",
"def sigmoid(z):\n",
" return 1/(1 + np.exp(-z))\n",
"\n",
"# Assuming one input, hidden, and output layer\n",
"def neural_network(params, x):\n",
"\n",
" # Find the weights (including and biases) for the hidden and output layer.\n",
" # Assume that params is a list of parameters for each layer.\n",
" # The biases are the first element for each array in params,\n",
" # and the weights are the remaning elements in each array in params.\n",
"\n",
" w_hidden = params[0]\n",
" w_output = params[1]\n",
"\n",
" # Assumes input x being an one-dimensional array\n",
" num_values = np.size(x)\n",
" x = x.reshape(-1, num_values)\n",
"\n",
" # Assume that the input layer does nothing to the input x\n",
" x_input = x\n",
"\n",
" ## Hidden layer:\n",
"\n",
" # Add a row of ones to include bias\n",
" x_input = np.concatenate((np.ones((1,num_values)), x_input ), axis = 0)\n",
"\n",
" z_hidden = np.matmul(w_hidden, x_input)\n",
" x_hidden = sigmoid(z_hidden)\n",
"\n",
" ## Output layer:\n",
"\n",
" # Include bias:\n",
" x_hidden = np.concatenate((np.ones((1,num_values)), x_hidden ), axis = 0)\n",
"\n",
" z_output = np.matmul(w_output, x_hidden)\n",
" x_output = z_output\n",
"\n",
" return x_output\n",
"\n",
"# The trial solution using the deep neural network:\n",
"def g_trial(x,params, g0 = 10):\n",
" return g0 + x*neural_network(params,x)\n",
"\n",
"# The right side of the ODE:\n",
"def g(x, g_trial, gamma = 2):\n",
" return -gamma*g_trial\n",
"\n",
"# The cost function:\n",
"def cost_function(P, x):\n",
"\n",
" # Evaluate the trial function with the current parameters P\n",
" g_t = g_trial(x,P)\n",
"\n",
" # Find the derivative w.r.t x of the neural network\n",
" d_net_out = elementwise_grad(neural_network,1)(P,x)\n",
"\n",
" # Find the derivative w.r.t x of the trial function\n",
" d_g_t = elementwise_grad(g_trial,0)(x,P)\n",
"\n",
" # The right side of the ODE\n",
" func = g(x, g_t)\n",
"\n",
" err_sqr = (d_g_t - func)**2\n",
" cost_sum = np.sum(err_sqr)\n",
"\n",
" return cost_sum / np.size(err_sqr)\n",
"\n",
"# Solve the exponential decay ODE using neural network with one input, hidden, and output layer\n",
"def solve_ode_neural_network(x, num_neurons_hidden, num_iter, lmb):\n",
" ## Set up initial weights and biases\n",
"\n",
" # For the hidden layer\n",
" p0 = npr.randn(num_neurons_hidden, 2 )\n",
"\n",
" # For the output layer\n",
" p1 = npr.randn(1, num_neurons_hidden + 1 ) # +1 since bias is included\n",
"\n",
" P = [p0, p1]\n",
"\n",
" print('Initial cost: %g'%cost_function(P, x))\n",
"\n",
" ## Start finding the optimal weights using gradient descent\n",
"\n",
" # Find the Python function that represents the gradient of the cost function\n",
" # w.r.t the 0-th input argument -- that is the weights and biases in the hidden and output layer\n",
" cost_function_grad = grad(cost_function,0)\n",
"\n",
" # Let the update be done num_iter times\n",
" for i in range(num_iter):\n",
" # Evaluate the gradient at the current weights and biases in P.\n",
" # The cost_grad consist now of two arrays;\n",
" # one for the gradient w.r.t P_hidden and\n",
" # one for the gradient w.r.t P_output\n",
" cost_grad = cost_function_grad(P, x)\n",
"\n",
" P[0] = P[0] - lmb * cost_grad[0]\n",
" P[1] = P[1] - lmb * cost_grad[1]\n",
"\n",
" print('Final cost: %g'%cost_function(P, x))\n",
"\n",
" return P\n",
"\n",
"def g_analytic(x, gamma = 2, g0 = 10):\n",
" return g0*np.exp(-gamma*x)\n",
"\n",
"# Solve the given problem\n",
"if __name__ == '__main__':\n",
" # Set seed such that the weight are initialized\n",
" # with same weights and biases for every run.\n",
" npr.seed(15)\n",
"\n",
" ## Decide the vales of arguments to the function to solve\n",
" N = 10\n",
" x = np.linspace(0, 1, N)\n",
"\n",
" ## Set up the initial parameters\n",
" num_hidden_neurons = 10\n",
" num_iter = 10000\n",
" lmb = 0.001\n",
"\n",
" # Use the network\n",
" P = solve_ode_neural_network(x, num_hidden_neurons, num_iter, lmb)\n",
"\n",
" # Print the deviation from the trial solution and true solution\n",
" res = g_trial(x,P)\n",
" res_analytical = g_analytic(x)\n",
"\n",
" print('Max absolute difference: %g'%np.max(np.abs(res - res_analytical)))\n",
"\n",
" # Plot the results\n",
" plt.figure(figsize=(10,10))\n",
"\n",
" plt.title('Performance of neural network solving an ODE compared to the analytical solution')\n",
" plt.plot(x, res_analytical)\n",
" plt.plot(x, res[0,:])\n",
" plt.legend(['analytical','nn'])\n",
" plt.xlabel('x')\n",
" plt.ylabel('g(x)')\n",
" plt.show()"
]
},
{
"cell_type": "markdown",
"id": "875a0c0b",
"metadata": {
"editable": true
},
"source": [
"## The network with one input layer, specified number of hidden layers, and one output layer\n",
"\n",
"It is also possible to extend the construction of our network into a more general one, allowing the network to contain more than one hidden layers.\n",
"\n",
"The number of neurons within each hidden layer are given as a list of integers in the program below."
]
},
{
"cell_type": "code",
"execution_count": 2,
"id": "00684827",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [
{
"ename": "ValueError",
"evalue": "setting an array element with a sequence. The requested array has an inhomogeneous shape after 1 dimensions. The detected shape was (3,) + inhomogeneous part.",
"output_type": "error",
"traceback": [
"\u001b[0;31m---------------------------------------------------------------------------\u001b[0m",
"\u001b[0;31mAttributeError\u001b[0m Traceback (most recent call last)",
"File \u001b[0;32m~/miniforge3/envs/myenv/lib/python3.9/site-packages/numpy/core/fromnumeric.py:3255\u001b[0m, in \u001b[0;36msize\u001b[0;34m(a, axis)\u001b[0m\n\u001b[1;32m 3254\u001b[0m \u001b[38;5;28;01mtry\u001b[39;00m:\n\u001b[0;32m-> 3255\u001b[0m \u001b[38;5;28;01mreturn\u001b[39;00m \u001b[43ma\u001b[49m\u001b[38;5;241;43m.\u001b[39;49m\u001b[43msize\u001b[49m\n\u001b[1;32m 3256\u001b[0m \u001b[38;5;28;01mexcept\u001b[39;00m \u001b[38;5;167;01mAttributeError\u001b[39;00m:\n",
"\u001b[0;31mAttributeError\u001b[0m: 'list' object has no attribute 'size'",
"\nDuring handling of the above exception, another exception occurred:\n",
"\u001b[0;31mValueError\u001b[0m Traceback (most recent call last)",
"Cell \u001b[0;32mIn[2], line 146\u001b[0m\n\u001b[1;32m 143\u001b[0m num_iter \u001b[38;5;241m=\u001b[39m \u001b[38;5;241m10000\u001b[39m\n\u001b[1;32m 144\u001b[0m lmb \u001b[38;5;241m=\u001b[39m \u001b[38;5;241m0.001\u001b[39m\n\u001b[0;32m--> 146\u001b[0m P \u001b[38;5;241m=\u001b[39m \u001b[43msolve_ode_deep_neural_network\u001b[49m\u001b[43m(\u001b[49m\u001b[43mx\u001b[49m\u001b[43m,\u001b[49m\u001b[43m \u001b[49m\u001b[43mnum_hidden_neurons\u001b[49m\u001b[43m,\u001b[49m\u001b[43m \u001b[49m\u001b[43mnum_iter\u001b[49m\u001b[43m,\u001b[49m\u001b[43m \u001b[49m\u001b[43mlmb\u001b[49m\u001b[43m)\u001b[49m\n\u001b[1;32m 148\u001b[0m res \u001b[38;5;241m=\u001b[39m g_trial_deep(x,P)\n\u001b[1;32m 149\u001b[0m res_analytical \u001b[38;5;241m=\u001b[39m g_analytic(x)\n",
"Cell \u001b[0;32mIn[2], line 108\u001b[0m, in \u001b[0;36msolve_ode_deep_neural_network\u001b[0;34m(x, num_neurons, num_iter, lmb)\u001b[0m\n\u001b[1;32m 105\u001b[0m \u001b[38;5;66;03m# For the output layer\u001b[39;00m\n\u001b[1;32m 106\u001b[0m P[\u001b[38;5;241m-\u001b[39m\u001b[38;5;241m1\u001b[39m] \u001b[38;5;241m=\u001b[39m npr\u001b[38;5;241m.\u001b[39mrandn(\u001b[38;5;241m1\u001b[39m, num_neurons[\u001b[38;5;241m-\u001b[39m\u001b[38;5;241m1\u001b[39m] \u001b[38;5;241m+\u001b[39m \u001b[38;5;241m1\u001b[39m ) \u001b[38;5;66;03m# +1 since bias is included\u001b[39;00m\n\u001b[0;32m--> 108\u001b[0m \u001b[38;5;28mprint\u001b[39m(\u001b[38;5;124m'\u001b[39m\u001b[38;5;124mInitial cost: \u001b[39m\u001b[38;5;132;01m%g\u001b[39;00m\u001b[38;5;124m'\u001b[39m\u001b[38;5;241m%\u001b[39m\u001b[43mcost_function_deep\u001b[49m\u001b[43m(\u001b[49m\u001b[43mP\u001b[49m\u001b[43m,\u001b[49m\u001b[43m \u001b[49m\u001b[43mx\u001b[49m\u001b[43m)\u001b[49m)\n\u001b[1;32m 110\u001b[0m \u001b[38;5;66;03m## Start finding the optimal weights using gradient descent\u001b[39;00m\n\u001b[1;32m 111\u001b[0m \n\u001b[1;32m 112\u001b[0m \u001b[38;5;66;03m# Find the Python function that represents the gradient of the cost function\u001b[39;00m\n\u001b[1;32m 113\u001b[0m \u001b[38;5;66;03m# w.r.t the 0-th input argument -- that is the weights and biases in the hidden and output layer\u001b[39;00m\n\u001b[1;32m 114\u001b[0m cost_function_deep_grad \u001b[38;5;241m=\u001b[39m grad(cost_function_deep,\u001b[38;5;241m0\u001b[39m)\n",
"Cell \u001b[0;32mIn[2], line 69\u001b[0m, in \u001b[0;36mcost_function_deep\u001b[0;34m(P, x)\u001b[0m\n\u001b[1;32m 66\u001b[0m \u001b[38;5;28;01mdef\u001b[39;00m \u001b[38;5;21mcost_function_deep\u001b[39m(P, x):\n\u001b[1;32m 67\u001b[0m \n\u001b[1;32m 68\u001b[0m \u001b[38;5;66;03m# Evaluate the trial function with the current parameters P\u001b[39;00m\n\u001b[0;32m---> 69\u001b[0m g_t \u001b[38;5;241m=\u001b[39m \u001b[43mg_trial_deep\u001b[49m\u001b[43m(\u001b[49m\u001b[43mx\u001b[49m\u001b[43m,\u001b[49m\u001b[43mP\u001b[49m\u001b[43m)\u001b[49m\n\u001b[1;32m 71\u001b[0m \u001b[38;5;66;03m# Find the derivative w.r.t x of the neural network\u001b[39;00m\n\u001b[1;32m 72\u001b[0m d_net_out \u001b[38;5;241m=\u001b[39m elementwise_grad(deep_neural_network,\u001b[38;5;241m1\u001b[39m)(P,x)\n",
"Cell \u001b[0;32mIn[2], line 59\u001b[0m, in \u001b[0;36mg_trial_deep\u001b[0;34m(x, params, g0)\u001b[0m\n\u001b[1;32m 58\u001b[0m \u001b[38;5;28;01mdef\u001b[39;00m \u001b[38;5;21mg_trial_deep\u001b[39m(x,params, g0 \u001b[38;5;241m=\u001b[39m \u001b[38;5;241m10\u001b[39m):\n\u001b[0;32m---> 59\u001b[0m \u001b[38;5;28;01mreturn\u001b[39;00m g0 \u001b[38;5;241m+\u001b[39m x\u001b[38;5;241m*\u001b[39m\u001b[43mdeep_neural_network\u001b[49m\u001b[43m(\u001b[49m\u001b[43mparams\u001b[49m\u001b[43m,\u001b[49m\u001b[43m \u001b[49m\u001b[43mx\u001b[49m\u001b[43m)\u001b[49m\n",
"Cell \u001b[0;32mIn[2], line 14\u001b[0m, in \u001b[0;36mdeep_neural_network\u001b[0;34m(deep_params, x)\u001b[0m\n\u001b[1;32m 11\u001b[0m \u001b[38;5;28;01mdef\u001b[39;00m \u001b[38;5;21mdeep_neural_network\u001b[39m(deep_params, x):\n\u001b[1;32m 12\u001b[0m \u001b[38;5;66;03m# N_hidden is the number of hidden layers\u001b[39;00m\n\u001b[0;32m---> 14\u001b[0m N_hidden \u001b[38;5;241m=\u001b[39m \u001b[43mnp\u001b[49m\u001b[38;5;241;43m.\u001b[39;49m\u001b[43msize\u001b[49m\u001b[43m(\u001b[49m\u001b[43mdeep_params\u001b[49m\u001b[43m)\u001b[49m \u001b[38;5;241m-\u001b[39m \u001b[38;5;241m1\u001b[39m \u001b[38;5;66;03m# -1 since params consists of\u001b[39;00m\n\u001b[1;32m 15\u001b[0m \u001b[38;5;66;03m# parameters to all the hidden\u001b[39;00m\n\u001b[1;32m 16\u001b[0m \u001b[38;5;66;03m# layers AND the output layer.\u001b[39;00m\n\u001b[1;32m 17\u001b[0m \n\u001b[1;32m 18\u001b[0m \u001b[38;5;66;03m# Assumes input x being an one-dimensional array\u001b[39;00m\n\u001b[1;32m 19\u001b[0m num_values \u001b[38;5;241m=\u001b[39m np\u001b[38;5;241m.\u001b[39msize(x)\n",
"File \u001b[0;32m~/miniforge3/envs/myenv/lib/python3.9/site-packages/autograd/tracer.py:48\u001b[0m, in \u001b[0;36mprimitive..f_wrapped\u001b[0;34m(*args, **kwargs)\u001b[0m\n\u001b[1;32m 46\u001b[0m \u001b[38;5;28;01mreturn\u001b[39;00m new_box(ans, trace, node)\n\u001b[1;32m 47\u001b[0m \u001b[38;5;28;01melse\u001b[39;00m:\n\u001b[0;32m---> 48\u001b[0m \u001b[38;5;28;01mreturn\u001b[39;00m \u001b[43mf_raw\u001b[49m\u001b[43m(\u001b[49m\u001b[38;5;241;43m*\u001b[39;49m\u001b[43margs\u001b[49m\u001b[43m,\u001b[49m\u001b[43m \u001b[49m\u001b[38;5;241;43m*\u001b[39;49m\u001b[38;5;241;43m*\u001b[39;49m\u001b[43mkwargs\u001b[49m\u001b[43m)\u001b[49m\n",
"File \u001b[0;32m~/miniforge3/envs/myenv/lib/python3.9/site-packages/numpy/core/fromnumeric.py:3257\u001b[0m, in \u001b[0;36msize\u001b[0;34m(a, axis)\u001b[0m\n\u001b[1;32m 3255\u001b[0m \u001b[38;5;28;01mreturn\u001b[39;00m a\u001b[38;5;241m.\u001b[39msize\n\u001b[1;32m 3256\u001b[0m \u001b[38;5;28;01mexcept\u001b[39;00m \u001b[38;5;167;01mAttributeError\u001b[39;00m:\n\u001b[0;32m-> 3257\u001b[0m \u001b[38;5;28;01mreturn\u001b[39;00m \u001b[43masarray\u001b[49m\u001b[43m(\u001b[49m\u001b[43ma\u001b[49m\u001b[43m)\u001b[49m\u001b[38;5;241m.\u001b[39msize\n\u001b[1;32m 3258\u001b[0m \u001b[38;5;28;01melse\u001b[39;00m:\n\u001b[1;32m 3259\u001b[0m \u001b[38;5;28;01mtry\u001b[39;00m:\n",
"\u001b[0;31mValueError\u001b[0m: setting an array element with a sequence. The requested array has an inhomogeneous shape after 1 dimensions. The detected shape was (3,) + inhomogeneous part."
]
}
],
"source": [
"import autograd.numpy as np\n",
"from autograd import grad, elementwise_grad\n",
"import autograd.numpy.random as npr\n",
"from matplotlib import pyplot as plt\n",
"\n",
"def sigmoid(z):\n",
" return 1/(1 + np.exp(-z))\n",
"\n",
"# The neural network with one input layer and one output layer,\n",
"# but with number of hidden layers specified by the user.\n",
"def deep_neural_network(deep_params, x):\n",
" # N_hidden is the number of hidden layers\n",
"\n",
" N_hidden = np.size(deep_params) - 1 # -1 since params consists of\n",
" # parameters to all the hidden\n",
" # layers AND the output layer.\n",
"\n",
" # Assumes input x being an one-dimensional array\n",
" num_values = np.size(x)\n",
" x = x.reshape(-1, num_values)\n",
"\n",
" # Assume that the input layer does nothing to the input x\n",
" x_input = x\n",
"\n",
" # Due to multiple hidden layers, define a variable referencing to the\n",
" # output of the previous layer:\n",
" x_prev = x_input\n",
"\n",
" ## Hidden layers:\n",
"\n",
" for l in range(N_hidden):\n",
" # From the list of parameters P; find the correct weigths and bias for this layer\n",
" w_hidden = deep_params[l]\n",
"\n",
" # Add a row of ones to include bias\n",
" x_prev = np.concatenate((np.ones((1,num_values)), x_prev ), axis = 0)\n",
"\n",
" z_hidden = np.matmul(w_hidden, x_prev)\n",
" x_hidden = sigmoid(z_hidden)\n",
"\n",
" # Update x_prev such that next layer can use the output from this layer\n",
" x_prev = x_hidden\n",
"\n",
" ## Output layer:\n",
"\n",
" # Get the weights and bias for this layer\n",
" w_output = deep_params[-1]\n",
"\n",
" # Include bias:\n",
" x_prev = np.concatenate((np.ones((1,num_values)), x_prev), axis = 0)\n",
"\n",
" z_output = np.matmul(w_output, x_prev)\n",
" x_output = z_output\n",
"\n",
" return x_output\n",
"\n",
"# The trial solution using the deep neural network:\n",
"def g_trial_deep(x,params, g0 = 10):\n",
" return g0 + x*deep_neural_network(params, x)\n",
"\n",
"# The right side of the ODE:\n",
"def g(x, g_trial, gamma = 2):\n",
" return -gamma*g_trial\n",
"\n",
"# The same cost function as before, but calls deep_neural_network instead.\n",
"def cost_function_deep(P, x):\n",
"\n",
" # Evaluate the trial function with the current parameters P\n",
" g_t = g_trial_deep(x,P)\n",
"\n",
" # Find the derivative w.r.t x of the neural network\n",
" d_net_out = elementwise_grad(deep_neural_network,1)(P,x)\n",
"\n",
" # Find the derivative w.r.t x of the trial function\n",
" d_g_t = elementwise_grad(g_trial_deep,0)(x,P)\n",
"\n",
" # The right side of the ODE\n",
" func = g(x, g_t)\n",
"\n",
" err_sqr = (d_g_t - func)**2\n",
" cost_sum = np.sum(err_sqr)\n",
"\n",
" return cost_sum / np.size(err_sqr)\n",
"\n",
"# Solve the exponential decay ODE using neural network with one input and one output layer,\n",
"# but with specified number of hidden layers from the user.\n",
"def solve_ode_deep_neural_network(x, num_neurons, num_iter, lmb):\n",
" # num_hidden_neurons is now a list of number of neurons within each hidden layer\n",
"\n",
" # The number of elements in the list num_hidden_neurons thus represents\n",
" # the number of hidden layers.\n",
"\n",
" # Find the number of hidden layers:\n",
" N_hidden = np.size(num_neurons)\n",
"\n",
" ## Set up initial weights and biases\n",
"\n",
" # Initialize the list of parameters:\n",
" P = [None]*(N_hidden + 1) # + 1 to include the output layer\n",
"\n",
" P[0] = npr.randn(num_neurons[0], 2 )\n",
" for l in range(1,N_hidden):\n",
" P[l] = npr.randn(num_neurons[l], num_neurons[l-1] + 1) # +1 to include bias\n",
"\n",
" # For the output layer\n",
" P[-1] = npr.randn(1, num_neurons[-1] + 1 ) # +1 since bias is included\n",
"\n",
" print('Initial cost: %g'%cost_function_deep(P, x))\n",
"\n",
" ## Start finding the optimal weights using gradient descent\n",
"\n",
" # Find the Python function that represents the gradient of the cost function\n",
" # w.r.t the 0-th input argument -- that is the weights and biases in the hidden and output layer\n",
" cost_function_deep_grad = grad(cost_function_deep,0)\n",
"\n",
" # Let the update be done num_iter times\n",
" for i in range(num_iter):\n",
" # Evaluate the gradient at the current weights and biases in P.\n",
" # The cost_grad consist now of N_hidden + 1 arrays; the gradient w.r.t the weights and biases\n",
" # in the hidden layers and output layers evaluated at x.\n",
" cost_deep_grad = cost_function_deep_grad(P, x)\n",
"\n",
" for l in range(N_hidden+1):\n",
" P[l] = P[l] - lmb * cost_deep_grad[l]\n",
"\n",
" print('Final cost: %g'%cost_function_deep(P, x))\n",
"\n",
" return P\n",
"\n",
"def g_analytic(x, gamma = 2, g0 = 10):\n",
" return g0*np.exp(-gamma*x)\n",
"\n",
"# Solve the given problem\n",
"if __name__ == '__main__':\n",
" npr.seed(15)\n",
"\n",
" ## Decide the vales of arguments to the function to solve\n",
" N = 10\n",
" x = np.linspace(0, 1, N)\n",
"\n",
" ## Set up the initial parameters\n",
" num_hidden_neurons = np.array([10,10])\n",
" num_iter = 10000\n",
" lmb = 0.001\n",
"\n",
" P = solve_ode_deep_neural_network(x, num_hidden_neurons, num_iter, lmb)\n",
"\n",
" res = g_trial_deep(x,P)\n",
" res_analytical = g_analytic(x)\n",
"\n",
" plt.figure(figsize=(10,10))\n",
"\n",
" plt.title('Performance of a deep neural network solving an ODE compared to the analytical solution')\n",
" plt.plot(x, res_analytical)\n",
" plt.plot(x, res[0,:])\n",
" plt.legend(['analytical','dnn'])\n",
" plt.ylabel('g(x)')\n",
" plt.show()"
]
},
{
"cell_type": "markdown",
"id": "5420c490",
"metadata": {
"editable": true
},
"source": [
"### Example: Population growth\n",
"\n",
"A logistic model of population growth assumes that a population converges toward an equilibrium.\n",
"The population growth can be modeled by"
]
},
{
"cell_type": "markdown",
"id": "1436ed3c",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{log} \\tag{10}\n",
"\tg'(t) = \\alpha g(t)(A - g(t))\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "a590bdb6",
"metadata": {
"editable": true
},
"source": [
"where $g(t)$ is the population density at time $t$, $\\alpha > 0$ the growth rate and $A > 0$ is the maximum population number in the environment.\n",
"Also, at $t = 0$ the population has the size $g(0) = g_0$, where $g_0$ is some chosen constant.\n",
"\n",
"In this example, similar network as for the exponential decay using Autograd has been used to solve the equation. However, as the implementation might suffer from e.g numerical instability\n",
"and high execution time (this might be more apparent in the examples solving PDEs),\n",
"using a library like TensorFlow is recommended.\n",
"Here, we stay with a more simple approach and implement for comparison, the simple forward Euler method.\n",
"\n",
"Here, we will model a population $g(t)$ in an environment having carrying capacity $A$.\n",
"The population follows the model"
]
},
{
"cell_type": "markdown",
"id": "48d788d6",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{solveode_population} \\tag{11}\n",
"g'(t) = \\alpha g(t)(A - g(t))\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "169c6c25",
"metadata": {
"editable": true
},
"source": [
"where $g(0) = g_0$.\n",
"\n",
"In this example, we let $\\alpha = 2$, $A = 1$, and $g_0 = 1.2$.\n",
"\n",
"We will get a slightly different trial solution, as the boundary conditions are different\n",
"compared to the case for exponential decay.\n",
"\n",
"A possible trial solution satisfying the condition $g(0) = g_0$ could be\n",
"\n",
"$$\n",
"h_1(t) = g_0 + t \\cdot N(t,P)\n",
"$$\n",
"\n",
"with $N(t,P)$ being the output from the neural network with weights and biases for each layer collected in the set $P$.\n",
"\n",
"The analytical solution is\n",
"\n",
"$$\n",
"g(t) = \\frac{Ag_0}{g_0 + (A - g_0)\\exp(-\\alpha A t)}\n",
"$$\n",
"\n",
"The network will be the similar as for the exponential decay example, but with some small modifications for our problem."
]
},
{
"cell_type": "code",
"execution_count": 3,
"id": "6d2e33bf",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [],
"source": [
"import autograd.numpy as np\n",
"from autograd import grad, elementwise_grad\n",
"import autograd.numpy.random as npr\n",
"from matplotlib import pyplot as plt\n",
"\n",
"def sigmoid(z):\n",
" return 1/(1 + np.exp(-z))\n",
"\n",
"# Function to get the parameters.\n",
"# Done such that one can easily change the paramaters after one's liking.\n",
"def get_parameters():\n",
" alpha = 2\n",
" A = 1\n",
" g0 = 1.2\n",
" return alpha, A, g0\n",
"\n",
"def deep_neural_network(P, x):\n",
" # N_hidden is the number of hidden layers\n",
" N_hidden = np.size(P) - 1 # -1 since params consist of parameters to all the hidden layers AND the output layer\n",
"\n",
" # Assumes input x being an one-dimensional array\n",
" num_values = np.size(x)\n",
" x = x.reshape(-1, num_values)\n",
"\n",
" # Assume that the input layer does nothing to the input x\n",
" x_input = x\n",
"\n",
" # Due to multiple hidden layers, define a variable referencing to the\n",
" # output of the previous layer:\n",
" x_prev = x_input\n",
"\n",
" ## Hidden layers:\n",
"\n",
" for l in range(N_hidden):\n",
" # From the list of parameters P; find the correct weigths and bias for this layer\n",
" w_hidden = P[l]\n",
"\n",
" # Add a row of ones to include bias\n",
" x_prev = np.concatenate((np.ones((1,num_values)), x_prev ), axis = 0)\n",
"\n",
" z_hidden = np.matmul(w_hidden, x_prev)\n",
" x_hidden = sigmoid(z_hidden)\n",
"\n",
" # Update x_prev such that next layer can use the output from this layer\n",
" x_prev = x_hidden\n",
"\n",
" ## Output layer:\n",
"\n",
" # Get the weights and bias for this layer\n",
" w_output = P[-1]\n",
"\n",
" # Include bias:\n",
" x_prev = np.concatenate((np.ones((1,num_values)), x_prev), axis = 0)\n",
"\n",
" z_output = np.matmul(w_output, x_prev)\n",
" x_output = z_output\n",
"\n",
" return x_output\n",
"\n",
"\n",
"def cost_function_deep(P, x):\n",
"\n",
" # Evaluate the trial function with the current parameters P\n",
" g_t = g_trial_deep(x,P)\n",
"\n",
" # Find the derivative w.r.t x of the trial function\n",
" d_g_t = elementwise_grad(g_trial_deep,0)(x,P)\n",
"\n",
" # The right side of the ODE\n",
" func = f(x, g_t)\n",
"\n",
" err_sqr = (d_g_t - func)**2\n",
" cost_sum = np.sum(err_sqr)\n",
"\n",
" return cost_sum / np.size(err_sqr)\n",
"\n",
"# The right side of the ODE:\n",
"def f(x, g_trial):\n",
" alpha,A, g0 = get_parameters()\n",
" return alpha*g_trial*(A - g_trial)\n",
"\n",
"# The trial solution using the deep neural network:\n",
"def g_trial_deep(x, params):\n",
" alpha,A, g0 = get_parameters()\n",
" return g0 + x*deep_neural_network(params,x)\n",
"\n",
"# The analytical solution:\n",
"def g_analytic(t):\n",
" alpha,A, g0 = get_parameters()\n",
" return A*g0/(g0 + (A - g0)*np.exp(-alpha*A*t))\n",
"\n",
"def solve_ode_deep_neural_network(x, num_neurons, num_iter, lmb):\n",
" # num_hidden_neurons is now a list of number of neurons within each hidden layer\n",
"\n",
" # Find the number of hidden layers:\n",
" N_hidden = np.size(num_neurons)\n",
"\n",
" ## Set up initial weigths and biases\n",
"\n",
" # Initialize the list of parameters:\n",
" P = [None]*(N_hidden + 1) # + 1 to include the output layer\n",
"\n",
" P[0] = npr.randn(num_neurons[0], 2 )\n",
" for l in range(1,N_hidden):\n",
" P[l] = npr.randn(num_neurons[l], num_neurons[l-1] + 1) # +1 to include bias\n",
"\n",
" # For the output layer\n",
" P[-1] = npr.randn(1, num_neurons[-1] + 1 ) # +1 since bias is included\n",
"\n",
" print('Initial cost: %g'%cost_function_deep(P, x))\n",
"\n",
" ## Start finding the optimal weigths using gradient descent\n",
"\n",
" # Find the Python function that represents the gradient of the cost function\n",
" # w.r.t the 0-th input argument -- that is the weights and biases in the hidden and output layer\n",
" cost_function_deep_grad = grad(cost_function_deep,0)\n",
"\n",
" # Let the update be done num_iter times\n",
" for i in range(num_iter):\n",
" # Evaluate the gradient at the current weights and biases in P.\n",
" # The cost_grad consist now of N_hidden + 1 arrays; the gradient w.r.t the weights and biases\n",
" # in the hidden layers and output layers evaluated at x.\n",
" cost_deep_grad = cost_function_deep_grad(P, x)\n",
"\n",
" for l in range(N_hidden+1):\n",
" P[l] = P[l] - lmb * cost_deep_grad[l]\n",
"\n",
" print('Final cost: %g'%cost_function_deep(P, x))\n",
"\n",
" return P\n",
"\n",
"if __name__ == '__main__':\n",
" npr.seed(4155)\n",
"\n",
" ## Decide the vales of arguments to the function to solve\n",
" Nt = 10\n",
" T = 1\n",
" t = np.linspace(0,T, Nt)\n",
"\n",
" ## Set up the initial parameters\n",
" num_hidden_neurons = [100, 50, 25]\n",
" num_iter = 1000\n",
" lmb = 1e-3\n",
"\n",
" P = solve_ode_deep_neural_network(t, num_hidden_neurons, num_iter, lmb)\n",
"\n",
" g_dnn_ag = g_trial_deep(t,P)\n",
" g_analytical = g_analytic(t)\n",
"\n",
" # Find the maximum absolute difference between the solutons:\n",
" diff_ag = np.max(np.abs(g_dnn_ag - g_analytical))\n",
" print(\"The max absolute difference between the solutions is: %g\"%diff_ag)\n",
"\n",
" plt.figure(figsize=(10,10))\n",
"\n",
" plt.title('Performance of neural network solving an ODE compared to the analytical solution')\n",
" plt.plot(t, g_analytical)\n",
" plt.plot(t, g_dnn_ag[0,:])\n",
" plt.legend(['analytical','nn'])\n",
" plt.xlabel('t')\n",
" plt.ylabel('g(t)')\n",
"\n",
" plt.show()"
]
},
{
"cell_type": "markdown",
"id": "e31ec549",
"metadata": {
"editable": true
},
"source": [
"## Using forward Euler to solve the ODE\n",
"\n",
"A straightforward way of solving an ODE numerically, is to use Euler's method.\n",
"\n",
"Euler's method uses Taylor series to approximate the value at a function $f$ at a step $\\Delta x$ from $x$:\n",
"\n",
"$$\n",
"f(x + \\Delta x) \\approx f(x) + \\Delta x f'(x)\n",
"$$\n",
"\n",
"In our case, using Euler's method to approximate the value of $g$ at a step $\\Delta t$ from $t$ yields"
]
},
{
"cell_type": "markdown",
"id": "2e9ee105",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{aligned}\n",
" g(t + \\Delta t) &\\approx g(t) + \\Delta t g'(t) \\\\\n",
" &= g(t) + \\Delta t \\big(\\alpha g(t)(A - g(t))\\big)\n",
"\\end{aligned}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "e876da16",
"metadata": {
"editable": true
},
"source": [
"along with the condition that $g(0) = g_0$.\n",
"\n",
"Let $t_i = i \\cdot \\Delta t$ where $\\Delta t = \\frac{T}{N_t-1}$ where $T$ is the final time our solver must solve for and $N_t$ the number of values for $t \\in [0, T]$ for $i = 0, \\dots, N_t-1$.\n",
"\n",
"For $i \\geq 1$, we have that"
]
},
{
"cell_type": "markdown",
"id": "b79a3def",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{aligned}\n",
"t_i &= i\\Delta t \\\\\n",
"&= (i - 1)\\Delta t + \\Delta t \\\\\n",
"&= t_{i-1} + \\Delta t\n",
"\\end{aligned}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "9d99cb4e",
"metadata": {
"editable": true
},
"source": [
"Now, if $g_i = g(t_i)$ then"
]
},
{
"cell_type": "markdown",
"id": "3b9dcc24",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation}\n",
" \\begin{aligned}\n",
" g_i &= g(t_i) \\\\\n",
" &= g(t_{i-1} + \\Delta t) \\\\\n",
" &\\approx g(t_{i-1}) + \\Delta t \\big(\\alpha g(t_{i-1})(A - g(t_{i-1}))\\big) \\\\\n",
" &= g_{i-1} + \\Delta t \\big(\\alpha g_{i-1}(A - g_{i-1})\\big)\n",
" \\end{aligned}\n",
"\\end{equation} \\label{odenum} \\tag{12}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "65ce688e",
"metadata": {
"editable": true
},
"source": [
"for $i \\geq 1$ and $g_0 = g(t_0) = g(0) = g_0$.\n",
"\n",
"Equation ([12](#odenum)) could be implemented in the following way,\n",
"extending the program that uses the network using Autograd:"
]
},
{
"cell_type": "code",
"execution_count": 4,
"id": "d5497948",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [],
"source": [
"# Assume that all function definitions from the example program using Autograd\n",
"# are located here.\n",
"\n",
"if __name__ == '__main__':\n",
" npr.seed(4155)\n",
"\n",
" ## Decide the vales of arguments to the function to solve\n",
" Nt = 10\n",
" T = 1\n",
" t = np.linspace(0,T, Nt)\n",
"\n",
" ## Set up the initial parameters\n",
" num_hidden_neurons = [100,50,25]\n",
" num_iter = 1000\n",
" lmb = 1e-3\n",
"\n",
" P = solve_ode_deep_neural_network(t, num_hidden_neurons, num_iter, lmb)\n",
"\n",
" g_dnn_ag = g_trial_deep(t,P)\n",
" g_analytical = g_analytic(t)\n",
"\n",
" # Find the maximum absolute difference between the solutons:\n",
" diff_ag = np.max(np.abs(g_dnn_ag - g_analytical))\n",
" print(\"The max absolute difference between the solutions is: %g\"%diff_ag)\n",
"\n",
" plt.figure(figsize=(10,10))\n",
"\n",
" plt.title('Performance of neural network solving an ODE compared to the analytical solution')\n",
" plt.plot(t, g_analytical)\n",
" plt.plot(t, g_dnn_ag[0,:])\n",
" plt.legend(['analytical','nn'])\n",
" plt.xlabel('t')\n",
" plt.ylabel('g(t)')\n",
"\n",
" ## Find an approximation to the funtion using forward Euler\n",
"\n",
" alpha, A, g0 = get_parameters()\n",
" dt = T/(Nt - 1)\n",
"\n",
" # Perform forward Euler to solve the ODE\n",
" g_euler = np.zeros(Nt)\n",
" g_euler[0] = g0\n",
"\n",
" for i in range(1,Nt):\n",
" g_euler[i] = g_euler[i-1] + dt*(alpha*g_euler[i-1]*(A - g_euler[i-1]))\n",
"\n",
" # Print the errors done by each method\n",
" diff1 = np.max(np.abs(g_euler - g_analytical))\n",
" diff2 = np.max(np.abs(g_dnn_ag[0,:] - g_analytical))\n",
"\n",
" print('Max absolute difference between Euler method and analytical: %g'%diff1)\n",
" print('Max absolute difference between deep neural network and analytical: %g'%diff2)\n",
"\n",
" # Plot results\n",
" plt.figure(figsize=(10,10))\n",
"\n",
" plt.plot(t,g_euler)\n",
" plt.plot(t,g_analytical)\n",
" plt.plot(t,g_dnn_ag[0,:])\n",
"\n",
" plt.legend(['euler','analytical','dnn'])\n",
" plt.xlabel('Time t')\n",
" plt.ylabel('g(t)')\n",
"\n",
" plt.show()"
]
},
{
"cell_type": "markdown",
"id": "fa8f0bb4",
"metadata": {
"editable": true
},
"source": [
"## Solving the one dimensional Poisson equation\n",
"\n",
"The Poisson equation for $g(x)$ in one dimension is"
]
},
{
"cell_type": "markdown",
"id": "f765b0ba",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{poisson} \\tag{13}\n",
" -g''(x) = f(x)\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "bd63b92e",
"metadata": {
"editable": true
},
"source": [
"where $f(x)$ is a given function for $x \\in (0,1)$.\n",
"\n",
"The conditions that $g(x)$ is chosen to fulfill, are"
]
},
{
"cell_type": "markdown",
"id": "c0a7face",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{align*}\n",
" g(0) &= 0 \\\\\n",
" g(1) &= 0\n",
"\\end{align*}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "f71c3cb9",
"metadata": {
"editable": true
},
"source": [
"This equation can be solved numerically using programs where e.g Autograd and TensorFlow are used.\n",
"The results from the networks can then be compared to the analytical solution.\n",
"In addition, it could be interesting to see how a typical method for numerically solving second order ODEs compares to the neural networks.\n",
"\n",
"Here, the function $g(x)$ to solve for follows the equation"
]
},
{
"cell_type": "markdown",
"id": "35aa6a37",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"-g''(x) = f(x),\\qquad x \\in (0,1)\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "f8b35111",
"metadata": {
"editable": true
},
"source": [
"where $f(x)$ is a given function, along with the chosen conditions"
]
},
{
"cell_type": "markdown",
"id": "33813514",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
"g(0) = g(1) = 0\n",
"\\end{aligned}\\label{cond} \\tag{14}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "c70aadd4",
"metadata": {
"editable": true
},
"source": [
"In this example, we consider the case when $f(x) = (3x + x^2)\\exp(x)$.\n",
"\n",
"For this case, a possible trial solution satisfying the conditions could be"
]
},
{
"cell_type": "markdown",
"id": "d5719dee",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"g_t(x) = x \\cdot (1-x) \\cdot N(P,x)\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "a683041b",
"metadata": {
"editable": true
},
"source": [
"The analytical solution for this problem is"
]
},
{
"cell_type": "markdown",
"id": "672cdaff",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"g(x) = x(1 - x)\\exp(x)\n",
"$$"
]
},
{
"cell_type": "code",
"execution_count": 5,
"id": "66e6bebb",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [],
"source": [
"import autograd.numpy as np\n",
"from autograd import grad, elementwise_grad\n",
"import autograd.numpy.random as npr\n",
"from matplotlib import pyplot as plt\n",
"\n",
"def sigmoid(z):\n",
" return 1/(1 + np.exp(-z))\n",
"\n",
"def deep_neural_network(deep_params, x):\n",
" # N_hidden is the number of hidden layers\n",
" N_hidden = np.size(deep_params) - 1 # -1 since params consist of parameters to all the hidden layers AND the output layer\n",
"\n",
" # Assumes input x being an one-dimensional array\n",
" num_values = np.size(x)\n",
" x = x.reshape(-1, num_values)\n",
"\n",
" # Assume that the input layer does nothing to the input x\n",
" x_input = x\n",
"\n",
" # Due to multiple hidden layers, define a variable referencing to the\n",
" # output of the previous layer:\n",
" x_prev = x_input\n",
"\n",
" ## Hidden layers:\n",
"\n",
" for l in range(N_hidden):\n",
" # From the list of parameters P; find the correct weigths and bias for this layer\n",
" w_hidden = deep_params[l]\n",
"\n",
" # Add a row of ones to include bias\n",
" x_prev = np.concatenate((np.ones((1,num_values)), x_prev ), axis = 0)\n",
"\n",
" z_hidden = np.matmul(w_hidden, x_prev)\n",
" x_hidden = sigmoid(z_hidden)\n",
"\n",
" # Update x_prev such that next layer can use the output from this layer\n",
" x_prev = x_hidden\n",
"\n",
" ## Output layer:\n",
"\n",
" # Get the weights and bias for this layer\n",
" w_output = deep_params[-1]\n",
"\n",
" # Include bias:\n",
" x_prev = np.concatenate((np.ones((1,num_values)), x_prev), axis = 0)\n",
"\n",
" z_output = np.matmul(w_output, x_prev)\n",
" x_output = z_output\n",
"\n",
" return x_output\n",
"\n",
"def solve_ode_deep_neural_network(x, num_neurons, num_iter, lmb):\n",
" # num_hidden_neurons is now a list of number of neurons within each hidden layer\n",
"\n",
" # Find the number of hidden layers:\n",
" N_hidden = np.size(num_neurons)\n",
"\n",
" ## Set up initial weigths and biases\n",
"\n",
" # Initialize the list of parameters:\n",
" P = [None]*(N_hidden + 1) # + 1 to include the output layer\n",
"\n",
" P[0] = npr.randn(num_neurons[0], 2 )\n",
" for l in range(1,N_hidden):\n",
" P[l] = npr.randn(num_neurons[l], num_neurons[l-1] + 1) # +1 to include bias\n",
"\n",
" # For the output layer\n",
" P[-1] = npr.randn(1, num_neurons[-1] + 1 ) # +1 since bias is included\n",
"\n",
" print('Initial cost: %g'%cost_function_deep(P, x))\n",
"\n",
" ## Start finding the optimal weigths using gradient descent\n",
"\n",
" # Find the Python function that represents the gradient of the cost function\n",
" # w.r.t the 0-th input argument -- that is the weights and biases in the hidden and output layer\n",
" cost_function_deep_grad = grad(cost_function_deep,0)\n",
"\n",
" # Let the update be done num_iter times\n",
" for i in range(num_iter):\n",
" # Evaluate the gradient at the current weights and biases in P.\n",
" # The cost_grad consist now of N_hidden + 1 arrays; the gradient w.r.t the weights and biases\n",
" # in the hidden layers and output layers evaluated at x.\n",
" cost_deep_grad = cost_function_deep_grad(P, x)\n",
"\n",
" for l in range(N_hidden+1):\n",
" P[l] = P[l] - lmb * cost_deep_grad[l]\n",
"\n",
" print('Final cost: %g'%cost_function_deep(P, x))\n",
"\n",
" return P\n",
"\n",
"## Set up the cost function specified for this Poisson equation:\n",
"\n",
"# The right side of the ODE\n",
"def f(x):\n",
" return (3*x + x**2)*np.exp(x)\n",
"\n",
"def cost_function_deep(P, x):\n",
"\n",
" # Evaluate the trial function with the current parameters P\n",
" g_t = g_trial_deep(x,P)\n",
"\n",
" # Find the derivative w.r.t x of the trial function\n",
" d2_g_t = elementwise_grad(elementwise_grad(g_trial_deep,0))(x,P)\n",
"\n",
" right_side = f(x)\n",
"\n",
" err_sqr = (-d2_g_t - right_side)**2\n",
" cost_sum = np.sum(err_sqr)\n",
"\n",
" return cost_sum/np.size(err_sqr)\n",
"\n",
"# The trial solution:\n",
"def g_trial_deep(x,P):\n",
" return x*(1-x)*deep_neural_network(P,x)\n",
"\n",
"# The analytic solution;\n",
"def g_analytic(x):\n",
" return x*(1-x)*np.exp(x)\n",
"\n",
"if __name__ == '__main__':\n",
" npr.seed(4155)\n",
"\n",
" ## Decide the vales of arguments to the function to solve\n",
" Nx = 10\n",
" x = np.linspace(0,1, Nx)\n",
"\n",
" ## Set up the initial parameters\n",
" num_hidden_neurons = [200,100]\n",
" num_iter = 1000\n",
" lmb = 1e-3\n",
"\n",
" P = solve_ode_deep_neural_network(x, num_hidden_neurons, num_iter, lmb)\n",
"\n",
" g_dnn_ag = g_trial_deep(x,P)\n",
" g_analytical = g_analytic(x)\n",
"\n",
" # Find the maximum absolute difference between the solutons:\n",
" max_diff = np.max(np.abs(g_dnn_ag - g_analytical))\n",
" print(\"The max absolute difference between the solutions is: %g\"%max_diff)\n",
"\n",
" plt.figure(figsize=(10,10))\n",
"\n",
" plt.title('Performance of neural network solving an ODE compared to the analytical solution')\n",
" plt.plot(x, g_analytical)\n",
" plt.plot(x, g_dnn_ag[0,:])\n",
" plt.legend(['analytical','nn'])\n",
" plt.xlabel('x')\n",
" plt.ylabel('g(x)')\n",
" plt.show()"
]
},
{
"cell_type": "markdown",
"id": "d425cba5",
"metadata": {
"editable": true
},
"source": [
"### Comparing with a numerical scheme\n",
"\n",
"The Poisson equation is possible to solve using Taylor series to approximate the second derivative.\n",
"\n",
"Using Taylor series, the second derivative can be expressed as\n",
"\n",
"$$\n",
"g''(x) = \\frac{g(x + \\Delta x) - 2g(x) + g(x-\\Delta x)}{\\Delta x^2} + E_{\\Delta x}(x)\n",
"$$\n",
"\n",
"where $\\Delta x$ is a small step size and $E_{\\Delta x}(x)$ being the error term.\n",
"\n",
"Looking away from the error terms gives an approximation to the second derivative:"
]
},
{
"cell_type": "markdown",
"id": "a2efa110",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{approx} \\tag{15}\n",
"g''(x) \\approx \\frac{g(x + \\Delta x) - 2g(x) + g(x-\\Delta x)}{\\Delta x^2}\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "5011ee25",
"metadata": {
"editable": true
},
"source": [
"If $x_i = i \\Delta x = x_{i-1} + \\Delta x$ and $g_i = g(x_i)$ for $i = 1,\\dots N_x - 2$ with $N_x$ being the number of values for $x$, ([15](#approx)) becomes"
]
},
{
"cell_type": "markdown",
"id": "705ee300",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{aligned}\n",
"g''(x_i) &\\approx \\frac{g(x_i + \\Delta x) - 2g(x_i) + g(x_i -\\Delta x)}{\\Delta x^2} \\\\\n",
"&= \\frac{g_{i+1} - 2g_i + g_{i-1}}{\\Delta x^2}\n",
"\\end{aligned}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "b390796d",
"metadata": {
"editable": true
},
"source": [
"Since we know from our problem that"
]
},
{
"cell_type": "markdown",
"id": "19c9ece4",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{aligned}\n",
"-g''(x) &= f(x) \\\\\n",
"&= (3x + x^2)\\exp(x)\n",
"\\end{aligned}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "6ade1a7a",
"metadata": {
"editable": true
},
"source": [
"along with the conditions $g(0) = g(1) = 0$,\n",
"the following scheme can be used to find an approximate solution for $g(x)$ numerically:"
]
},
{
"cell_type": "markdown",
"id": "78b16d02",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation}\n",
" \\begin{aligned}\n",
" -\\Big( \\frac{g_{i+1} - 2g_i + g_{i-1}}{\\Delta x^2} \\Big) &= f(x_i) \\\\\n",
" -g_{i+1} + 2g_i - g_{i-1} &= \\Delta x^2 f(x_i)\n",
" \\end{aligned}\n",
"\\end{equation} \\label{odesys} \\tag{16}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "f2bfcca4",
"metadata": {
"editable": true
},
"source": [
"for $i = 1, \\dots, N_x - 2$ where $g_0 = g_{N_x - 1} = 0$ and $f(x_i) = (3x_i + x_i^2)\\exp(x_i)$, which is given for our specific problem.\n",
"\n",
"The equation can be rewritten into a matrix equation:"
]
},
{
"cell_type": "markdown",
"id": "a6191528",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{aligned}\n",
"\\begin{pmatrix}\n",
"2 & -1 & 0 & \\dots & 0 \\\\\n",
"-1 & 2 & -1 & \\dots & 0 \\\\\n",
"\\vdots & & \\ddots & & \\vdots \\\\\n",
"0 & \\dots & -1 & 2 & -1 \\\\\n",
"0 & \\dots & 0 & -1 & 2\\\\\n",
"\\end{pmatrix}\n",
"\\begin{pmatrix}\n",
"g_1 \\\\\n",
"g_2 \\\\\n",
"\\vdots \\\\\n",
"g_{N_x - 3} \\\\\n",
"g_{N_x - 2}\n",
"\\end{pmatrix}\n",
"&=\n",
"\\Delta x^2\n",
"\\begin{pmatrix}\n",
"f(x_1) \\\\\n",
"f(x_2) \\\\\n",
"\\vdots \\\\\n",
"f(x_{N_x - 3}) \\\\\n",
"f(x_{N_x - 2})\n",
"\\end{pmatrix} \\\\\n",
"\\boldsymbol{A}\\boldsymbol{g} &= \\boldsymbol{f},\n",
"\\end{aligned}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "aefef707",
"metadata": {
"editable": true
},
"source": [
"which makes it possible to solve for the vector $\\boldsymbol{g}$.\n",
"\n",
"We can then compare the result from this numerical scheme with the output from our network using Autograd:"
]
},
{
"cell_type": "code",
"execution_count": 6,
"id": "471664cd",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [],
"source": [
"import autograd.numpy as np\n",
"from autograd import grad, elementwise_grad\n",
"import autograd.numpy.random as npr\n",
"from matplotlib import pyplot as plt\n",
"\n",
"def sigmoid(z):\n",
" return 1/(1 + np.exp(-z))\n",
"\n",
"def deep_neural_network(deep_params, x):\n",
" # N_hidden is the number of hidden layers\n",
" N_hidden = np.size(deep_params) - 1 # -1 since params consist of parameters to all the hidden layers AND the output layer\n",
"\n",
" # Assumes input x being an one-dimensional array\n",
" num_values = np.size(x)\n",
" x = x.reshape(-1, num_values)\n",
"\n",
" # Assume that the input layer does nothing to the input x\n",
" x_input = x\n",
"\n",
" # Due to multiple hidden layers, define a variable referencing to the\n",
" # output of the previous layer:\n",
" x_prev = x_input\n",
"\n",
" ## Hidden layers:\n",
"\n",
" for l in range(N_hidden):\n",
" # From the list of parameters P; find the correct weigths and bias for this layer\n",
" w_hidden = deep_params[l]\n",
"\n",
" # Add a row of ones to include bias\n",
" x_prev = np.concatenate((np.ones((1,num_values)), x_prev ), axis = 0)\n",
"\n",
" z_hidden = np.matmul(w_hidden, x_prev)\n",
" x_hidden = sigmoid(z_hidden)\n",
"\n",
" # Update x_prev such that next layer can use the output from this layer\n",
" x_prev = x_hidden\n",
"\n",
" ## Output layer:\n",
"\n",
" # Get the weights and bias for this layer\n",
" w_output = deep_params[-1]\n",
"\n",
" # Include bias:\n",
" x_prev = np.concatenate((np.ones((1,num_values)), x_prev), axis = 0)\n",
"\n",
" z_output = np.matmul(w_output, x_prev)\n",
" x_output = z_output\n",
"\n",
" return x_output\n",
"\n",
"def solve_ode_deep_neural_network(x, num_neurons, num_iter, lmb):\n",
" # num_hidden_neurons is now a list of number of neurons within each hidden layer\n",
"\n",
" # Find the number of hidden layers:\n",
" N_hidden = np.size(num_neurons)\n",
"\n",
" ## Set up initial weigths and biases\n",
"\n",
" # Initialize the list of parameters:\n",
" P = [None]*(N_hidden + 1) # + 1 to include the output layer\n",
"\n",
" P[0] = npr.randn(num_neurons[0], 2 )\n",
" for l in range(1,N_hidden):\n",
" P[l] = npr.randn(num_neurons[l], num_neurons[l-1] + 1) # +1 to include bias\n",
"\n",
" # For the output layer\n",
" P[-1] = npr.randn(1, num_neurons[-1] + 1 ) # +1 since bias is included\n",
"\n",
" print('Initial cost: %g'%cost_function_deep(P, x))\n",
"\n",
" ## Start finding the optimal weigths using gradient descent\n",
"\n",
" # Find the Python function that represents the gradient of the cost function\n",
" # w.r.t the 0-th input argument -- that is the weights and biases in the hidden and output layer\n",
" cost_function_deep_grad = grad(cost_function_deep,0)\n",
"\n",
" # Let the update be done num_iter times\n",
" for i in range(num_iter):\n",
" # Evaluate the gradient at the current weights and biases in P.\n",
" # The cost_grad consist now of N_hidden + 1 arrays; the gradient w.r.t the weights and biases\n",
" # in the hidden layers and output layers evaluated at x.\n",
" cost_deep_grad = cost_function_deep_grad(P, x)\n",
"\n",
" for l in range(N_hidden+1):\n",
" P[l] = P[l] - lmb * cost_deep_grad[l]\n",
"\n",
" print('Final cost: %g'%cost_function_deep(P, x))\n",
"\n",
" return P\n",
"\n",
"## Set up the cost function specified for this Poisson equation:\n",
"\n",
"# The right side of the ODE\n",
"def f(x):\n",
" return (3*x + x**2)*np.exp(x)\n",
"\n",
"def cost_function_deep(P, x):\n",
"\n",
" # Evaluate the trial function with the current parameters P\n",
" g_t = g_trial_deep(x,P)\n",
"\n",
" # Find the derivative w.r.t x of the trial function\n",
" d2_g_t = elementwise_grad(elementwise_grad(g_trial_deep,0))(x,P)\n",
"\n",
" right_side = f(x)\n",
"\n",
" err_sqr = (-d2_g_t - right_side)**2\n",
" cost_sum = np.sum(err_sqr)\n",
"\n",
" return cost_sum/np.size(err_sqr)\n",
"\n",
"# The trial solution:\n",
"def g_trial_deep(x,P):\n",
" return x*(1-x)*deep_neural_network(P,x)\n",
"\n",
"# The analytic solution;\n",
"def g_analytic(x):\n",
" return x*(1-x)*np.exp(x)\n",
"\n",
"if __name__ == '__main__':\n",
" npr.seed(4155)\n",
"\n",
" ## Decide the vales of arguments to the function to solve\n",
" Nx = 10\n",
" x = np.linspace(0,1, Nx)\n",
"\n",
" ## Set up the initial parameters\n",
" num_hidden_neurons = [200,100]\n",
" num_iter = 1000\n",
" lmb = 1e-3\n",
"\n",
" P = solve_ode_deep_neural_network(x, num_hidden_neurons, num_iter, lmb)\n",
"\n",
" g_dnn_ag = g_trial_deep(x,P)\n",
" g_analytical = g_analytic(x)\n",
"\n",
" # Find the maximum absolute difference between the solutons:\n",
"\n",
" plt.figure(figsize=(10,10))\n",
"\n",
" plt.title('Performance of neural network solving an ODE compared to the analytical solution')\n",
" plt.plot(x, g_analytical)\n",
" plt.plot(x, g_dnn_ag[0,:])\n",
" plt.legend(['analytical','nn'])\n",
" plt.xlabel('x')\n",
" plt.ylabel('g(x)')\n",
"\n",
" ## Perform the computation using the numerical scheme\n",
"\n",
" dx = 1/(Nx - 1)\n",
"\n",
" # Set up the matrix A\n",
" A = np.zeros((Nx-2,Nx-2))\n",
"\n",
" A[0,0] = 2\n",
" A[0,1] = -1\n",
"\n",
" for i in range(1,Nx-3):\n",
" A[i,i-1] = -1\n",
" A[i,i] = 2\n",
" A[i,i+1] = -1\n",
"\n",
" A[Nx - 3, Nx - 4] = -1\n",
" A[Nx - 3, Nx - 3] = 2\n",
"\n",
" # Set up the vector f\n",
" f_vec = dx**2 * f(x[1:-1])\n",
"\n",
" # Solve the equation\n",
" g_res = np.linalg.solve(A,f_vec)\n",
"\n",
" g_vec = np.zeros(Nx)\n",
" g_vec[1:-1] = g_res\n",
"\n",
" # Print the differences between each method\n",
" max_diff1 = np.max(np.abs(g_dnn_ag - g_analytical))\n",
" max_diff2 = np.max(np.abs(g_vec - g_analytical))\n",
" print(\"The max absolute difference between the analytical solution and DNN Autograd: %g\"%max_diff1)\n",
" print(\"The max absolute difference between the analytical solution and numerical scheme: %g\"%max_diff2)\n",
"\n",
" # Plot the results\n",
" plt.figure(figsize=(10,10))\n",
"\n",
" plt.plot(x,g_vec)\n",
" plt.plot(x,g_analytical)\n",
" plt.plot(x,g_dnn_ag[0,:])\n",
"\n",
" plt.legend(['numerical scheme','analytical','dnn'])\n",
" plt.show()"
]
},
{
"cell_type": "markdown",
"id": "6f02e86d",
"metadata": {
"editable": true
},
"source": [
"## Partial Differential Equations\n",
"\n",
"A partial differential equation (PDE) has a solution here the function\n",
"is defined by multiple variables. The equation may involve all kinds\n",
"of combinations of which variables the function is differentiated with\n",
"respect to.\n",
"\n",
"In general, a partial differential equation for a function $g(x_1,\\dots,x_N)$ with $N$ variables may be expressed as"
]
},
{
"cell_type": "markdown",
"id": "ad5c63e8",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{PDE} \\tag{17}\n",
" f\\left(x_1, \\, \\dots \\, , x_N, \\frac{\\partial g(x_1,\\dots,x_N) }{\\partial x_1}, \\dots , \\frac{\\partial g(x_1,\\dots,x_N) }{\\partial x_N}, \\frac{\\partial g(x_1,\\dots,x_N) }{\\partial x_1\\partial x_2}, \\, \\dots \\, , \\frac{\\partial^n g(x_1,\\dots,x_N) }{\\partial x_N^n} \\right) = 0\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "c7b98797",
"metadata": {
"editable": true
},
"source": [
"where $f$ is an expression involving all kinds of possible mixed derivatives of $g(x_1,\\dots,x_N)$ up to an order $n$. In order for the solution to be unique, some additional conditions must also be given."
]
},
{
"cell_type": "markdown",
"id": "52f9394e",
"metadata": {
"editable": true
},
"source": [
"### Type of problem\n",
"\n",
"The problem our network must solve for, is similar to the ODE case.\n",
"We must have a trial solution $g_t$ at hand.\n",
"\n",
"For instance, the trial solution could be expressed as"
]
},
{
"cell_type": "markdown",
"id": "4d489854",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{align*}\n",
" g_t(x_1,\\dots,x_N) = h_1(x_1,\\dots,x_N) + h_2(x_1,\\dots,x_N,N(x_1,\\dots,x_N,P))\n",
"\\end{align*}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "82311538",
"metadata": {
"editable": true
},
"source": [
"where $h_1(x_1,\\dots,x_N)$ is a function that ensures $g_t(x_1,\\dots,x_N)$ satisfies some given conditions.\n",
"The neural network $N(x_1,\\dots,x_N,P)$ has weights and biases described by $P$ and $h_2(x_1,\\dots,x_N,N(x_1,\\dots,x_N,P))$ is an expression using the output from the neural network in some way.\n",
"\n",
"The role of the function $h_2(x_1,\\dots,x_N,N(x_1,\\dots,x_N,P))$, is to ensure that the output of $N(x_1,\\dots,x_N,P)$ is zero when $g_t(x_1,\\dots,x_N)$ is evaluated at the values of $x_1,\\dots,x_N$ where the given conditions must be satisfied. The function $h_1(x_1,\\dots,x_N)$ should alone make $g_t(x_1,\\dots,x_N)$ satisfy the conditions."
]
},
{
"cell_type": "markdown",
"id": "9d134db4",
"metadata": {
"editable": true
},
"source": [
"### Network requirements\n",
"\n",
"The network tries then the minimize the cost function following the\n",
"same ideas as described for the ODE case, but now with more than one\n",
"variables to consider. The concept still remains the same; find a set\n",
"of parameters $P$ such that the expression $f$ in ([17](#PDE)) is as\n",
"close to zero as possible.\n",
"\n",
"As for the ODE case, the cost function is the mean squared error that\n",
"the network must try to minimize. The cost function for the network to\n",
"minimize is"
]
},
{
"cell_type": "markdown",
"id": "5a463498",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"C\\left(x_1, \\dots, x_N, P\\right) = \\left( f\\left(x_1, \\, \\dots \\, , x_N, \\frac{\\partial g(x_1,\\dots,x_N) }{\\partial x_1}, \\dots , \\frac{\\partial g(x_1,\\dots,x_N) }{\\partial x_N}, \\frac{\\partial g(x_1,\\dots,x_N) }{\\partial x_1\\partial x_2}, \\, \\dots \\, , \\frac{\\partial^n g(x_1,\\dots,x_N) }{\\partial x_N^n} \\right) \\right)^2\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "c40d8997",
"metadata": {
"editable": true
},
"source": [
"If we let $\\boldsymbol{x} = \\big( x_1, \\dots, x_N \\big)$ be an array containing the values for $x_1, \\dots, x_N$ respectively, the cost function can be reformulated into the following:"
]
},
{
"cell_type": "markdown",
"id": "cc033de6",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"C\\left(\\boldsymbol{x}, P\\right) = f\\left( \\left( \\boldsymbol{x}, \\frac{\\partial g(\\boldsymbol{x}) }{\\partial x_1}, \\dots , \\frac{\\partial g(\\boldsymbol{x}) }{\\partial x_N}, \\frac{\\partial g(\\boldsymbol{x}) }{\\partial x_1\\partial x_2}, \\, \\dots \\, , \\frac{\\partial^n g(\\boldsymbol{x}) }{\\partial x_N^n} \\right) \\right)^2\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "ae18b4f4",
"metadata": {
"editable": true
},
"source": [
"If we also have $M$ different sets of values for $x_1, \\dots, x_N$, that is $\\boldsymbol{x}_i = \\big(x_1^{(i)}, \\dots, x_N^{(i)}\\big)$ for $i = 1,\\dots,M$ being the rows in matrix $X$, the cost function can be generalized into"
]
},
{
"cell_type": "markdown",
"id": "44ca21bd",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"C\\left(X, P \\right) = \\sum_{i=1}^M f\\left( \\left( \\boldsymbol{x}_i, \\frac{\\partial g(\\boldsymbol{x}_i) }{\\partial x_1}, \\dots , \\frac{\\partial g(\\boldsymbol{x}_i) }{\\partial x_N}, \\frac{\\partial g(\\boldsymbol{x}_i) }{\\partial x_1\\partial x_2}, \\, \\dots \\, , \\frac{\\partial^n g(\\boldsymbol{x}_i) }{\\partial x_N^n} \\right) \\right)^2.\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "fe94451e",
"metadata": {
"editable": true
},
"source": [
"## Example: The diffusion equation\n",
"\n",
"In one spatial dimension, the equation reads"
]
},
{
"cell_type": "markdown",
"id": "30a42273",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\frac{\\partial g(x,t)}{\\partial t} = \\frac{\\partial^2 g(x,t)}{\\partial x^2}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "fd4077e7",
"metadata": {
"editable": true
},
"source": [
"where a possible choice of conditions are"
]
},
{
"cell_type": "markdown",
"id": "dbbf2e4b",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{align*}\n",
"g(0,t) &= 0 ,\\qquad t \\geq 0 \\\\\n",
"g(1,t) &= 0, \\qquad t \\geq 0 \\\\\n",
"g(x,0) &= u(x),\\qquad x\\in [0,1]\n",
"\\end{align*}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "83653db9",
"metadata": {
"editable": true
},
"source": [
"with $u(x)$ being some given function.\n",
"\n",
"For this case, we want to find $g(x,t)$ such that"
]
},
{
"cell_type": "markdown",
"id": "d2c2ef4f",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation}\n",
" \\frac{\\partial g(x,t)}{\\partial t} = \\frac{\\partial^2 g(x,t)}{\\partial x^2}\n",
"\\end{equation} \\label{diffonedim} \\tag{18}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "8fb27bdb",
"metadata": {
"editable": true
},
"source": [
"and"
]
},
{
"cell_type": "markdown",
"id": "dc9297ab",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{align*}\n",
"g(0,t) &= 0 ,\\qquad t \\geq 0 \\\\\n",
"g(1,t) &= 0, \\qquad t \\geq 0 \\\\\n",
"g(x,0) &= u(x),\\qquad x\\in [0,1]\n",
"\\end{align*}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "ab90784f",
"metadata": {
"editable": true
},
"source": [
"with $u(x) = \\sin(\\pi x)$.\n",
"\n",
"First, let us set up the deep neural network.\n",
"The deep neural network will follow the same structure as discussed in the examples solving the ODEs.\n",
"First, we will look into how Autograd could be used in a network tailored to solve for bivariate functions.\n",
"\n",
"The only change to do here, is to extend our network such that\n",
"functions of multiple parameters are correctly handled. In this case\n",
"we have two variables in our function to solve for, that is time $t$\n",
"and position $x$. The variables will be represented by a\n",
"one-dimensional array in the program. The program will evaluate the\n",
"network at each possible pair $(x,t)$, given an array for the desired\n",
"$x$-values and $t$-values to approximate the solution at."
]
},
{
"cell_type": "code",
"execution_count": 7,
"id": "b07e858c",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [],
"source": [
"def sigmoid(z):\n",
" return 1/(1 + np.exp(-z))\n",
"\n",
"def deep_neural_network(deep_params, x):\n",
" # x is now a point and a 1D numpy array; make it a column vector\n",
" num_coordinates = np.size(x,0)\n",
" x = x.reshape(num_coordinates,-1)\n",
"\n",
" num_points = np.size(x,1)\n",
"\n",
" # N_hidden is the number of hidden layers\n",
" N_hidden = np.size(deep_params) - 1 # -1 since params consist of parameters to all the hidden layers AND the output layer\n",
"\n",
" # Assume that the input layer does nothing to the input x\n",
" x_input = x\n",
" x_prev = x_input\n",
"\n",
" ## Hidden layers:\n",
"\n",
" for l in range(N_hidden):\n",
" # From the list of parameters P; find the correct weigths and bias for this layer\n",
" w_hidden = deep_params[l]\n",
"\n",
" # Add a row of ones to include bias\n",
" x_prev = np.concatenate((np.ones((1,num_points)), x_prev ), axis = 0)\n",
"\n",
" z_hidden = np.matmul(w_hidden, x_prev)\n",
" x_hidden = sigmoid(z_hidden)\n",
"\n",
" # Update x_prev such that next layer can use the output from this layer\n",
" x_prev = x_hidden\n",
"\n",
" ## Output layer:\n",
"\n",
" # Get the weights and bias for this layer\n",
" w_output = deep_params[-1]\n",
"\n",
" # Include bias:\n",
" x_prev = np.concatenate((np.ones((1,num_points)), x_prev), axis = 0)\n",
"\n",
" z_output = np.matmul(w_output, x_prev)\n",
" x_output = z_output\n",
"\n",
" return x_output[0][0]"
]
},
{
"cell_type": "markdown",
"id": "9a167ec1",
"metadata": {
"editable": true
},
"source": [
"The cost function must then iterate through the given arrays\n",
"containing values for $x$ and $t$, defines a point $(x,t)$ the deep\n",
"neural network and the trial solution is evaluated at, and then finds\n",
"the Jacobian of the trial solution.\n",
"\n",
"A possible trial solution for this PDE is\n",
"\n",
"$$\n",
"g_t(x,t) = h_1(x,t) + x(1-x)tN(x,t,P)\n",
"$$\n",
"\n",
"with $A(x,t)$ being a function ensuring that $g_t(x,t)$ satisfies our given conditions, and $N(x,t,P)$ being the output from the deep neural network using weights and biases for each layer from $P$.\n",
"\n",
"To fulfill the conditions, $A(x,t)$ could be:\n",
"\n",
"$$\n",
"h_1(x,t) = (1-t)\\Big(u(x) - \\big((1-x)u(0) + x u(1)\\big)\\Big) = (1-t)u(x) = (1-t)\\sin(\\pi x)\n",
"$$\n",
"since $(0) = u(1) = 0$ and $u(x) = \\sin(\\pi x)$.\n",
"\n",
"The Jacobian is used because the program must find the derivative of\n",
"the trial solution with respect to $x$ and $t$.\n",
"\n",
"This gives the necessity of computing the Jacobian matrix, as we want\n",
"to evaluate the gradient with respect to $x$ and $t$ (note that the\n",
"Jacobian of a scalar-valued multivariate function is simply its\n",
"gradient).\n",
"\n",
"In Autograd, the differentiation is by default done with respect to\n",
"the first input argument of your Python function. Since the points is\n",
"an array representing $x$ and $t$, the Jacobian is calculated using\n",
"the values of $x$ and $t$.\n",
"\n",
"To find the second derivative with respect to $x$ and $t$, the\n",
"Jacobian can be found for the second time. The result is a Hessian\n",
"matrix, which is the matrix containing all the possible second order\n",
"mixed derivatives of $g(x,t)$."
]
},
{
"cell_type": "code",
"execution_count": 8,
"id": "921e5969",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [],
"source": [
"# Set up the trial function:\n",
"def u(x):\n",
" return np.sin(np.pi*x)\n",
"\n",
"def g_trial(point,P):\n",
" x,t = point\n",
" return (1-t)*u(x) + x*(1-x)*t*deep_neural_network(P,point)\n",
"\n",
"# The right side of the ODE:\n",
"def f(point):\n",
" return 0.\n",
"\n",
"# The cost function:\n",
"def cost_function(P, x, t):\n",
" cost_sum = 0\n",
"\n",
" g_t_jacobian_func = jacobian(g_trial)\n",
" g_t_hessian_func = hessian(g_trial)\n",
"\n",
" for x_ in x:\n",
" for t_ in t:\n",
" point = np.array([x_,t_])\n",
"\n",
" g_t = g_trial(point,P)\n",
" g_t_jacobian = g_t_jacobian_func(point,P)\n",
" g_t_hessian = g_t_hessian_func(point,P)\n",
"\n",
" g_t_dt = g_t_jacobian[1]\n",
" g_t_d2x = g_t_hessian[0][0]\n",
"\n",
" func = f(point)\n",
"\n",
" err_sqr = ( (g_t_dt - g_t_d2x) - func)**2\n",
" cost_sum += err_sqr\n",
"\n",
" return cost_sum"
]
},
{
"cell_type": "markdown",
"id": "0bc00b69",
"metadata": {
"editable": true
},
"source": [
"### Setting up the network using Autograd; The full program\n",
"\n",
"Having set up the network, along with the trial solution and cost function, we can now see how the deep neural network performs by comparing the results to the analytical solution.\n",
"\n",
"The analytical solution of our problem is\n",
"\n",
"$$\n",
"g(x,t) = \\exp(-\\pi^2 t)\\sin(\\pi x)\n",
"$$\n",
"\n",
"A possible way to implement a neural network solving the PDE, is given below.\n",
"Be aware, though, that it is fairly slow for the parameters used.\n",
"A better result is possible, but requires more iterations, and thus longer time to complete.\n",
"\n",
"Indeed, the program below is not optimal in its implementation, but rather serves as an example on how to implement and use a neural network to solve a PDE.\n",
"Using TensorFlow results in a much better execution time. Try it!"
]
},
{
"cell_type": "code",
"execution_count": 9,
"id": "20734418",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [],
"source": [
"import autograd.numpy as np\n",
"from autograd import jacobian,hessian,grad\n",
"import autograd.numpy.random as npr\n",
"from matplotlib import cm\n",
"from matplotlib import pyplot as plt\n",
"from mpl_toolkits.mplot3d import axes3d\n",
"\n",
"## Set up the network\n",
"\n",
"def sigmoid(z):\n",
" return 1/(1 + np.exp(-z))\n",
"\n",
"def deep_neural_network(deep_params, x):\n",
" # x is now a point and a 1D numpy array; make it a column vector\n",
" num_coordinates = np.size(x,0)\n",
" x = x.reshape(num_coordinates,-1)\n",
"\n",
" num_points = np.size(x,1)\n",
"\n",
" # N_hidden is the number of hidden layers\n",
" N_hidden = np.size(deep_params) - 1 # -1 since params consist of parameters to all the hidden layers AND the output layer\n",
"\n",
" # Assume that the input layer does nothing to the input x\n",
" x_input = x\n",
" x_prev = x_input\n",
"\n",
" ## Hidden layers:\n",
"\n",
" for l in range(N_hidden):\n",
" # From the list of parameters P; find the correct weigths and bias for this layer\n",
" w_hidden = deep_params[l]\n",
"\n",
" # Add a row of ones to include bias\n",
" x_prev = np.concatenate((np.ones((1,num_points)), x_prev ), axis = 0)\n",
"\n",
" z_hidden = np.matmul(w_hidden, x_prev)\n",
" x_hidden = sigmoid(z_hidden)\n",
"\n",
" # Update x_prev such that next layer can use the output from this layer\n",
" x_prev = x_hidden\n",
"\n",
" ## Output layer:\n",
"\n",
" # Get the weights and bias for this layer\n",
" w_output = deep_params[-1]\n",
"\n",
" # Include bias:\n",
" x_prev = np.concatenate((np.ones((1,num_points)), x_prev), axis = 0)\n",
"\n",
" z_output = np.matmul(w_output, x_prev)\n",
" x_output = z_output\n",
"\n",
" return x_output[0][0]\n",
"\n",
"## Define the trial solution and cost function\n",
"def u(x):\n",
" return np.sin(np.pi*x)\n",
"\n",
"def g_trial(point,P):\n",
" x,t = point\n",
" return (1-t)*u(x) + x*(1-x)*t*deep_neural_network(P,point)\n",
"\n",
"# The right side of the ODE:\n",
"def f(point):\n",
" return 0.\n",
"\n",
"# The cost function:\n",
"def cost_function(P, x, t):\n",
" cost_sum = 0\n",
"\n",
" g_t_jacobian_func = jacobian(g_trial)\n",
" g_t_hessian_func = hessian(g_trial)\n",
"\n",
" for x_ in x:\n",
" for t_ in t:\n",
" point = np.array([x_,t_])\n",
"\n",
" g_t = g_trial(point,P)\n",
" g_t_jacobian = g_t_jacobian_func(point,P)\n",
" g_t_hessian = g_t_hessian_func(point,P)\n",
"\n",
" g_t_dt = g_t_jacobian[1]\n",
" g_t_d2x = g_t_hessian[0][0]\n",
"\n",
" func = f(point)\n",
"\n",
" err_sqr = ( (g_t_dt - g_t_d2x) - func)**2\n",
" cost_sum += err_sqr\n",
"\n",
" return cost_sum /( np.size(x)*np.size(t) )\n",
"\n",
"## For comparison, define the analytical solution\n",
"def g_analytic(point):\n",
" x,t = point\n",
" return np.exp(-np.pi**2*t)*np.sin(np.pi*x)\n",
"\n",
"## Set up a function for training the network to solve for the equation\n",
"def solve_pde_deep_neural_network(x,t, num_neurons, num_iter, lmb):\n",
" ## Set up initial weigths and biases\n",
" N_hidden = np.size(num_neurons)\n",
"\n",
" ## Set up initial weigths and biases\n",
"\n",
" # Initialize the list of parameters:\n",
" P = [None]*(N_hidden + 1) # + 1 to include the output layer\n",
"\n",
" P[0] = npr.randn(num_neurons[0], 2 + 1 ) # 2 since we have two points, +1 to include bias\n",
" for l in range(1,N_hidden):\n",
" P[l] = npr.randn(num_neurons[l], num_neurons[l-1] + 1) # +1 to include bias\n",
"\n",
" # For the output layer\n",
" P[-1] = npr.randn(1, num_neurons[-1] + 1 ) # +1 since bias is included\n",
"\n",
" print('Initial cost: ',cost_function(P, x, t))\n",
"\n",
" cost_function_grad = grad(cost_function,0)\n",
"\n",
" # Let the update be done num_iter times\n",
" for i in range(num_iter):\n",
" cost_grad = cost_function_grad(P, x , t)\n",
"\n",
" for l in range(N_hidden+1):\n",
" P[l] = P[l] - lmb * cost_grad[l]\n",
"\n",
" print('Final cost: ',cost_function(P, x, t))\n",
"\n",
" return P\n",
"\n",
"if __name__ == '__main__':\n",
" ### Use the neural network:\n",
" npr.seed(15)\n",
"\n",
" ## Decide the vales of arguments to the function to solve\n",
" Nx = 10; Nt = 10\n",
" x = np.linspace(0, 1, Nx)\n",
" t = np.linspace(0,1,Nt)\n",
"\n",
" ## Set up the parameters for the network\n",
" num_hidden_neurons = [100, 25]\n",
" num_iter = 250\n",
" lmb = 0.01\n",
"\n",
" P = solve_pde_deep_neural_network(x,t, num_hidden_neurons, num_iter, lmb)\n",
"\n",
" ## Store the results\n",
" g_dnn_ag = np.zeros((Nx, Nt))\n",
" G_analytical = np.zeros((Nx, Nt))\n",
" for i,x_ in enumerate(x):\n",
" for j, t_ in enumerate(t):\n",
" point = np.array([x_, t_])\n",
" g_dnn_ag[i,j] = g_trial(point,P)\n",
"\n",
" G_analytical[i,j] = g_analytic(point)\n",
"\n",
" # Find the map difference between the analytical and the computed solution\n",
" diff_ag = np.abs(g_dnn_ag - G_analytical)\n",
" print('Max absolute difference between the analytical solution and the network: %g'%np.max(diff_ag))\n",
"\n",
" ## Plot the solutions in two dimensions, that being in position and time\n",
"\n",
" T,X = np.meshgrid(t,x)\n",
"\n",
" fig = plt.figure(figsize=(10,10))\n",
" ax = fig.gca(projection='3d')\n",
" ax.set_title('Solution from the deep neural network w/ %d layer'%len(num_hidden_neurons))\n",
" s = ax.plot_surface(T,X,g_dnn_ag,linewidth=0,antialiased=False,cmap=cm.viridis)\n",
" ax.set_xlabel('Time $t$')\n",
" ax.set_ylabel('Position $x$');\n",
"\n",
"\n",
" fig = plt.figure(figsize=(10,10))\n",
" ax = fig.gca(projection='3d')\n",
" ax.set_title('Analytical solution')\n",
" s = ax.plot_surface(T,X,G_analytical,linewidth=0,antialiased=False,cmap=cm.viridis)\n",
" ax.set_xlabel('Time $t$')\n",
" ax.set_ylabel('Position $x$');\n",
"\n",
" fig = plt.figure(figsize=(10,10))\n",
" ax = fig.gca(projection='3d')\n",
" ax.set_title('Difference')\n",
" s = ax.plot_surface(T,X,diff_ag,linewidth=0,antialiased=False,cmap=cm.viridis)\n",
" ax.set_xlabel('Time $t$')\n",
" ax.set_ylabel('Position $x$');\n",
"\n",
" ## Take some slices of the 3D plots just to see the solutions at particular times\n",
" indx1 = 0\n",
" indx2 = int(Nt/2)\n",
" indx3 = Nt-1\n",
"\n",
" t1 = t[indx1]\n",
" t2 = t[indx2]\n",
" t3 = t[indx3]\n",
"\n",
" # Slice the results from the DNN\n",
" res1 = g_dnn_ag[:,indx1]\n",
" res2 = g_dnn_ag[:,indx2]\n",
" res3 = g_dnn_ag[:,indx3]\n",
"\n",
" # Slice the analytical results\n",
" res_analytical1 = G_analytical[:,indx1]\n",
" res_analytical2 = G_analytical[:,indx2]\n",
" res_analytical3 = G_analytical[:,indx3]\n",
"\n",
" # Plot the slices\n",
" plt.figure(figsize=(10,10))\n",
" plt.title(\"Computed solutions at time = %g\"%t1)\n",
" plt.plot(x, res1)\n",
" plt.plot(x,res_analytical1)\n",
" plt.legend(['dnn','analytical'])\n",
"\n",
" plt.figure(figsize=(10,10))\n",
" plt.title(\"Computed solutions at time = %g\"%t2)\n",
" plt.plot(x, res2)\n",
" plt.plot(x,res_analytical2)\n",
" plt.legend(['dnn','analytical'])\n",
"\n",
" plt.figure(figsize=(10,10))\n",
" plt.title(\"Computed solutions at time = %g\"%t3)\n",
" plt.plot(x, res3)\n",
" plt.plot(x,res_analytical3)\n",
" plt.legend(['dnn','analytical'])\n",
"\n",
" plt.show()"
]
},
{
"cell_type": "markdown",
"id": "143f1c80",
"metadata": {
"editable": true
},
"source": [
"## Solving the wave equation with Neural Networks\n",
"\n",
"The wave equation is"
]
},
{
"cell_type": "markdown",
"id": "190bd4f2",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\frac{\\partial^2 g(x,t)}{\\partial t^2} = c^2\\frac{\\partial^2 g(x,t)}{\\partial x^2}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "9719cfc5",
"metadata": {
"editable": true
},
"source": [
"with $c$ being the specified wave speed.\n",
"\n",
"Here, the chosen conditions are"
]
},
{
"cell_type": "markdown",
"id": "f69ec7fd",
"metadata": {
"editable": true
},
"source": [
"$$\n",
"\\begin{align*}\n",
"\tg(0,t) &= 0 \\\\\n",
"\tg(1,t) &= 0 \\\\\n",
"\tg(x,0) &= u(x) \\\\\n",
"\t\\frac{\\partial g(x,t)}{\\partial t} \\Big |_{t = 0} &= v(x)\n",
"\\end{align*}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "6ce8c5a8",
"metadata": {
"editable": true
},
"source": [
"where $\\frac{\\partial g(x,t)}{\\partial t} \\Big |_{t = 0}$ means the derivative of $g(x,t)$ with respect to $t$ is evaluated at $t = 0$, and $u(x)$ and $v(x)$ being given functions.\n",
"\n",
"The wave equation to solve for, is"
]
},
{
"cell_type": "markdown",
"id": "4be700d7",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{equation} \\label{wave} \\tag{19}\n",
"\\frac{\\partial^2 g(x,t)}{\\partial t^2} = c^2 \\frac{\\partial^2 g(x,t)}{\\partial x^2}\n",
"\\end{equation}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "993f93ba",
"metadata": {
"editable": true
},
"source": [
"where $c$ is the given wave speed.\n",
"The chosen conditions for this equation are"
]
},
{
"cell_type": "markdown",
"id": "2cb2a80f",
"metadata": {
"editable": true
},
"source": [
"\n",
"\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
"g(0,t) &= 0, &t \\geq 0 \\\\\n",
"g(1,t) &= 0, &t \\geq 0 \\\\\n",
"g(x,0) &= u(x), &x\\in[0,1] \\\\\n",
"\\frac{\\partial g(x,t)}{\\partial t}\\Big |_{t = 0} &= v(x), &x \\in [0,1]\n",
"\\end{aligned} \\label{condwave} \\tag{20}\n",
"$$"
]
},
{
"cell_type": "markdown",
"id": "3f1dcfd4",
"metadata": {
"editable": true
},
"source": [
"In this example, let $c = 1$ and $u(x) = \\sin(\\pi x)$ and $v(x) = -\\pi\\sin(\\pi x)$.\n",
"\n",
"Setting up the network is done in similar matter as for the example of solving the diffusion equation.\n",
"The only things we have to change, is the trial solution such that it satisfies the conditions from ([20](#condwave)) and the cost function.\n",
"\n",
"The trial solution becomes slightly different since we have other conditions than in the example of solving the diffusion equation. Here, a possible trial solution $g_t(x,t)$ is\n",
"\n",
"$$\n",
"g_t(x,t) = h_1(x,t) + x(1-x)t^2N(x,t,P)\n",
"$$\n",
"\n",
"where\n",
"\n",
"$$\n",
"h_1(x,t) = (1-t^2)u(x) + tv(x)\n",
"$$\n",
"\n",
"Note that this trial solution satisfies the conditions only if $u(0) = v(0) = u(1) = v(1) = 0$, which is the case in this example.\n",
"\n",
"The analytical solution for our specific problem, is\n",
"\n",
"$$\n",
"g(x,t) = \\sin(\\pi x)\\cos(\\pi t) - \\sin(\\pi x)\\sin(\\pi t)\n",
"$$"
]
},
{
"cell_type": "code",
"execution_count": 10,
"id": "230a9aef",
"metadata": {
"collapsed": false,
"editable": true
},
"outputs": [],
"source": [
"import autograd.numpy as np\n",
"from autograd import hessian,grad\n",
"import autograd.numpy.random as npr\n",
"from matplotlib import cm\n",
"from matplotlib import pyplot as plt\n",
"from mpl_toolkits.mplot3d import axes3d\n",
"\n",
"## Set up the trial function:\n",
"def u(x):\n",
" return np.sin(np.pi*x)\n",
"\n",
"def v(x):\n",
" return -np.pi*np.sin(np.pi*x)\n",
"\n",
"def h1(point):\n",
" x,t = point\n",
" return (1 - t**2)*u(x) + t*v(x)\n",
"\n",
"def g_trial(point,P):\n",
" x,t = point\n",
" return h1(point) + x*(1-x)*t**2*deep_neural_network(P,point)\n",
"\n",
"## Define the cost function\n",
"def cost_function(P, x, t):\n",
" cost_sum = 0\n",
"\n",
" g_t_hessian_func = hessian(g_trial)\n",
"\n",
" for x_ in x:\n",
" for t_ in t:\n",
" point = np.array([x_,t_])\n",
"\n",
" g_t_hessian = g_t_hessian_func(point,P)\n",
"\n",
" g_t_d2x = g_t_hessian[0][0]\n",
" g_t_d2t = g_t_hessian[1][1]\n",
"\n",
" err_sqr = ( (g_t_d2t - g_t_d2x) )**2\n",
" cost_sum += err_sqr\n",
"\n",
" return cost_sum / (np.size(t) * np.size(x))\n",
"\n",
"## The neural network\n",
"def sigmoid(z):\n",
" return 1/(1 + np.exp(-z))\n",
"\n",
"def deep_neural_network(deep_params, x):\n",
" # x is now a point and a 1D numpy array; make it a column vector\n",
" num_coordinates = np.size(x,0)\n",
" x = x.reshape(num_coordinates,-1)\n",
"\n",
" num_points = np.size(x,1)\n",
"\n",
" # N_hidden is the number of hidden layers\n",
" N_hidden = np.size(deep_params) - 1 # -1 since params consist of parameters to all the hidden layers AND the output layer\n",
"\n",
" # Assume that the input layer does nothing to the input x\n",
" x_input = x\n",
" x_prev = x_input\n",
"\n",
" ## Hidden layers:\n",
"\n",
" for l in range(N_hidden):\n",
" # From the list of parameters P; find the correct weigths and bias for this layer\n",
" w_hidden = deep_params[l]\n",
"\n",
" # Add a row of ones to include bias\n",
" x_prev = np.concatenate((np.ones((1,num_points)), x_prev ), axis = 0)\n",
"\n",
" z_hidden = np.matmul(w_hidden, x_prev)\n",
" x_hidden = sigmoid(z_hidden)\n",
"\n",
" # Update x_prev such that next layer can use the output from this layer\n",
" x_prev = x_hidden\n",
"\n",
" ## Output layer:\n",
"\n",
" # Get the weights and bias for this layer\n",
" w_output = deep_params[-1]\n",
"\n",
" # Include bias:\n",
" x_prev = np.concatenate((np.ones((1,num_points)), x_prev), axis = 0)\n",
"\n",
" z_output = np.matmul(w_output, x_prev)\n",
" x_output = z_output\n",
"\n",
" return x_output[0][0]\n",
"\n",
"## The analytical solution\n",
"def g_analytic(point):\n",
" x,t = point\n",
" return np.sin(np.pi*x)*np.cos(np.pi*t) - np.sin(np.pi*x)*np.sin(np.pi*t)\n",
"\n",
"def solve_pde_deep_neural_network(x,t, num_neurons, num_iter, lmb):\n",
" ## Set up initial weigths and biases\n",
" N_hidden = np.size(num_neurons)\n",
"\n",
" ## Set up initial weigths and biases\n",
"\n",
" # Initialize the list of parameters:\n",
" P = [None]*(N_hidden + 1) # + 1 to include the output layer\n",
"\n",
" P[0] = npr.randn(num_neurons[0], 2 + 1 ) # 2 since we have two points, +1 to include bias\n",
" for l in range(1,N_hidden):\n",
" P[l] = npr.randn(num_neurons[l], num_neurons[l-1] + 1) # +1 to include bias\n",
"\n",
" # For the output layer\n",
" P[-1] = npr.randn(1, num_neurons[-1] + 1 ) # +1 since bias is included\n",
"\n",
" print('Initial cost: ',cost_function(P, x, t))\n",
"\n",
" cost_function_grad = grad(cost_function,0)\n",
"\n",
" # Let the update be done num_iter times\n",
" for i in range(num_iter):\n",
" cost_grad = cost_function_grad(P, x , t)\n",
"\n",
" for l in range(N_hidden+1):\n",
" P[l] = P[l] - lmb * cost_grad[l]\n",
"\n",
"\n",
" print('Final cost: ',cost_function(P, x, t))\n",
"\n",
" return P\n",
"\n",
"if __name__ == '__main__':\n",
" ### Use the neural network:\n",
" npr.seed(15)\n",
"\n",
" ## Decide the vales of arguments to the function to solve\n",
" Nx = 10; Nt = 10\n",
" x = np.linspace(0, 1, Nx)\n",
" t = np.linspace(0,1,Nt)\n",
"\n",
" ## Set up the parameters for the network\n",
" num_hidden_neurons = [50,20]\n",
" num_iter = 1000\n",
" lmb = 0.01\n",
"\n",
" P = solve_pde_deep_neural_network(x,t, num_hidden_neurons, num_iter, lmb)\n",
"\n",
" ## Store the results\n",
" res = np.zeros((Nx, Nt))\n",
" res_analytical = np.zeros((Nx, Nt))\n",
" for i,x_ in enumerate(x):\n",
" for j, t_ in enumerate(t):\n",
" point = np.array([x_, t_])\n",
" res[i,j] = g_trial(point,P)\n",
"\n",
" res_analytical[i,j] = g_analytic(point)\n",
"\n",
" diff = np.abs(res - res_analytical)\n",
" print(\"Max difference between analytical and solution from nn: %g\"%np.max(diff))\n",
"\n",
" ## Plot the solutions in two dimensions, that being in position and time\n",
"\n",
" T,X = np.meshgrid(t,x)\n",
"\n",
" fig = plt.figure(figsize=(10,10))\n",
" ax = fig.gca(projection='3d')\n",
" ax.set_title('Solution from the deep neural network w/ %d layer'%len(num_hidden_neurons))\n",
" s = ax.plot_surface(T,X,res,linewidth=0,antialiased=False,cmap=cm.viridis)\n",
" ax.set_xlabel('Time $t$')\n",
" ax.set_ylabel('Position $x$');\n",
"\n",
"\n",
" fig = plt.figure(figsize=(10,10))\n",
" ax = fig.gca(projection='3d')\n",
" ax.set_title('Analytical solution')\n",
" s = ax.plot_surface(T,X,res_analytical,linewidth=0,antialiased=False,cmap=cm.viridis)\n",
" ax.set_xlabel('Time $t$')\n",
" ax.set_ylabel('Position $x$');\n",
"\n",
"\n",
" fig = plt.figure(figsize=(10,10))\n",
" ax = fig.gca(projection='3d')\n",
" ax.set_title('Difference')\n",
" s = ax.plot_surface(T,X,diff,linewidth=0,antialiased=False,cmap=cm.viridis)\n",
" ax.set_xlabel('Time $t$')\n",
" ax.set_ylabel('Position $x$');\n",
"\n",
" ## Take some slices of the 3D plots just to see the solutions at particular times\n",
" indx1 = 0\n",
" indx2 = int(Nt/2)\n",
" indx3 = Nt-1\n",
"\n",
" t1 = t[indx1]\n",
" t2 = t[indx2]\n",
" t3 = t[indx3]\n",
"\n",
" # Slice the results from the DNN\n",
" res1 = res[:,indx1]\n",
" res2 = res[:,indx2]\n",
" res3 = res[:,indx3]\n",
"\n",
" # Slice the analytical results\n",
" res_analytical1 = res_analytical[:,indx1]\n",
" res_analytical2 = res_analytical[:,indx2]\n",
" res_analytical3 = res_analytical[:,indx3]\n",
"\n",
" # Plot the slices\n",
" plt.figure(figsize=(10,10))\n",
" plt.title(\"Computed solutions at time = %g\"%t1)\n",
" plt.plot(x, res1)\n",
" plt.plot(x,res_analytical1)\n",
" plt.legend(['dnn','analytical'])\n",
"\n",
" plt.figure(figsize=(10,10))\n",
" plt.title(\"Computed solutions at time = %g\"%t2)\n",
" plt.plot(x, res2)\n",
" plt.plot(x,res_analytical2)\n",
" plt.legend(['dnn','analytical'])\n",
"\n",
" plt.figure(figsize=(10,10))\n",
" plt.title(\"Computed solutions at time = %g\"%t3)\n",
" plt.plot(x, res3)\n",
" plt.plot(x,res_analytical3)\n",
" plt.legend(['dnn','analytical'])\n",
"\n",
" plt.show()"
]
},
{
"cell_type": "markdown",
"id": "a23bd19a",
"metadata": {
"editable": true
},
"source": [
"## Resources on differential equations and deep learning\n",
"\n",
"1. [Artificial neural networks for solving ordinary and partial differential equations by I.E. Lagaris et al](https://pdfs.semanticscholar.org/d061/df393e0e8fbfd0ea24976458b7d42419040d.pdf)\n",
"\n",
"2. [Neural networks for solving differential equations by A. Honchar](https://becominghuman.ai/neural-networks-for-solving-differential-equations-fa230ac5e04c)\n",
"\n",
"3. [Solving differential equations using neural networks by M.M Chiaramonte and M. Kiener](http://cs229.stanford.edu/proj2013/ChiaramonteKiener-SolvingDifferentialEquationsUsingNeuralNetworks.pdf)\n",
"\n",
"4. [Introduction to Partial Differential Equations by A. Tveito, R. Winther](https://www.springer.com/us/book/9783540225515)"
]
}
],
"metadata": {
"language_info": {
"codemirror_mode": {
"name": "ipython",
"version": 3
},
"file_extension": ".py",
"mimetype": "text/x-python",
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"version": "3.9.15"
}
},
"nbformat": 4,
"nbformat_minor": 5
}