Frequentist vs. Bayesian Statistics with Tensorflow.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "b4bc7609-81a6-4552-bf4a-992ae21e7490",
   "metadata": {},
   "source": [
    "# Introduction"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "ce163f9f-7cda-442f-98ae-556b92b08024",
   "metadata": {},
   "source": [
    "This article belongs to the series \"Probabilistic Deep Learning\". This weekly series covers probabilistic approaches to deep learning. The main goal is to extend deep learning models to quantify uncertainty, i.e. know what they do not know.\n",
    "\n",
    "The frequentist approach to statistics is based on the idea of repeated sampling and long-run relative frequency. It involves constructing hypotheses about a population and testing them using sample data. On the other hand, the Bayesian approach is based on subjective probability and involves updating an initial belief about a population using collected data. Both methods have their strengths and limitations and which one to use depends on the problem and analysis goals. In this article, we will explore the differences between the frequentist and the Bayesian approach and discuss how they can be implemented using TensorFlow and TensorFlow Probability."
   ]
  },
  {
   "cell_type": "markdown",
   "id": "093e675c-3984-416a-8db6-9e1fe0e6899a",
   "metadata": {},
   "source": [
    "# Frequentist vs. Bayesian Approach to Problems\n",
    "Frequentist statistics and Bayesian statistics are two main approaches to statistical inference, which is the process of using data to draw conclusions about a population. Both approaches are used to estimate unknown quantities, make predictions, and test hypotheses, but they differ in their interpretation of probability and how they incorporate prior knowledge and evidence.\n",
    "\n",
    "In frequentist statistics, probability is interpreted as the long-run relative frequency of an event in an infinite number of trials. This approach is based on the idea that the true value of a population parameter is fixed, but is unknown and must be estimated from data. In this framework, statistical inferences are drawn from the observed data by making assumptions about the underlying data-generating process and using techniques such as point estimation, confidence intervals, and hypothesis testing.\n",
    "\n",
    "On the other hand, Bayesian statistics interprets probability as a measure of belief or degree of certainty about an event. This approach allows for the incorporation of prior knowledge and evidence into statistical analysis through the use of Bayes' theorem. In this framework, the true value of a population parameter is treated as a random variable and is updated as new data is collected. This results in a full distribution over the parameter space, known as a posterior distribution, which can be used to make probabilistic predictions and to quantify uncertainty.\n",
    "\n",
    "One key difference between the two approaches is how they handle uncertainty. In frequentist statistics, uncertainty is quantified through the use of confidence intervals, which provide an estimate of the likely range of the true population parameter based on the observed data. In Bayesian statistics, uncertainty is represented by the full posterior distribution, which allows for a more complete characterization of the uncertainty surrounding the true value of the parameter.\n",
    "\n",
    "Another difference is that Bayesian statistics allows for the incorporation of prior knowledge, which can be particularly useful in cases where there is limited data or when the data-generating process is complex. However, the choice of prior distribution can significantly influence the results of a Bayesian analysis, and it is important to choose a prior that is appropriate for the problem at hand."
   ]
  },
  {
   "cell_type": "markdown",
   "id": "be697aaf-c600-4039-8fca-cdd1ff4111a0",
   "metadata": {},
   "source": [
    "# The Problem\n",
    "\n",
    "As an example of applying a frequentist approach to a problem, consider the task of estimating the mean income of a population based on a sample of data. In this case, the goal is to use the sample data to make inferences about the true mean income of the population (we are going to assume that the standard deviation of the income of the population is known for now).\n",
    "\n",
    "Let's generate some data:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "id": "9966e2ad-b918-48a1-991e-341485eb1ffd",
   "metadata": {},
   "outputs": [],
   "source": [
    "import tensorflow as tf\n",
    "import tensorflow_probability as tfp\n",
    "import matplotlib.pyplot as plt\n",
    "from scipy.stats import t\n",
    "import numpy as np\n",
    "\n",
    "tfd = tfp.distributions"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "id": "e2757b92-2f3d-4032-9887-78d521607f33",
   "metadata": {},
   "outputs": [],
   "source": [
    "# Sample data\n",
    "sample_size = 30.\n",
    "sample_mean = 50000.\n",
    "sample_stddev = 10000.\n",
    "sample_data = tfd.Normal(loc=sample_mean, scale=sample_stddev).sample(sample_size)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "id": "0f5c4162-168b-448c-b04e-d862e4d38919",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAhYAAAGsCAYAAACB/u5dAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjYuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8o6BhiAAAACXBIWXMAAA9hAAAPYQGoP6dpAAAf+UlEQVR4nO3de5DV5X348c/Kskco7HK/xZWACsg1KJFsvVQLXhhjTdqxhpKEWMdUS+qFaA22DdpWIWmbS1NLjG1CO1WJdoraxkuJKdAkQABLBDFclAwEQazKLhDdKDy/P/LbU1cWyIFnWc7u6zVzZjzn+5zzfZ79Lu57zu1bkVJKAQCQwUltPQEAoP0QFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyERYAQDZtFhZLly6NK664IgYNGhQVFRXx6KOPtur+7rzzzqioqGh2GTFiRKvuEwA6mjYLi3379sW4cePi3nvvPW77HDVqVOzYsaN4+f73v3/c9g0AHUFlW+14ypQpMWXKlENub2xsjD/5kz+Jhx56KHbv3h2jR4+OL3zhC3HhhRce9T4rKytjwIABR31/AODwTtj3WHzmM5+JZcuWxYIFC+K5556Lq666Ki677LLYtGnTUT/mpk2bYtCgQTF06NCYNm1abN26NeOMAYCKE+G06RUVFbFw4cL4yEc+EhERW7dujaFDh8bWrVtj0KBBxXGTJ0+Oc845J+65556S9/Hkk0/G3r17Y/jw4bFjx4646667Yvv27bFu3bro3r17rqUAQIfWZi+FHM7atWtj//79MWzYsGa3NzY2Ru/evSMi4ic/+UmceeaZh32c22+/PebOnRsR0exll7Fjx8bEiRNj8ODB8fDDD8e1116beQUA0DGdkGGxd+/e6NSpU6xevTo6derUbFu3bt0iImLo0KHxwgsvHPZxmiKkJT169Ihhw4bF5s2bj33CAEBEnKBhMX78+Ni/f3/s2rUrzj///BbHVFVVHdPHRffu3RsvvvhifOITnzjqxwAAmmuzsNi7d2+zZwu2bNkSa9asiV69esWwYcNi2rRp8clPfjL+5m/+JsaPHx+vvvpqPPPMMzF27Ni4/PLLS97frbfeGldccUUMHjw4Xn755Zg9e3Z06tQppk6dmnNZANChtdmbNxcvXhwXXXTRQbdPnz495s+fH2+//Xb85V/+ZfzzP/9zbN++Pfr06RMf+tCH4q677ooxY8aUvL+PfexjsXTp0njttdeib9++cd5558Xdd98dp512Wo7lAABxgnwqBABoH07Y77EAAMqPsAAAsjnub948cOBAvPzyy9G9e/eoqKg43rsHAI5CSin27NkTgwYNipNOOvTzEsc9LF5++eWora093rsFADLYtm1bnHLKKYfcftzDounrs7dt2xbV1dXHe/cAwFFoaGiI2traI54G47iHRdPLH9XV1cICAMrMkd7G4M2bAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBsjvtp0wFONF9etLGtp1CyWy4e1tZTgBZ5xgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGRTclhs3749Pv7xj0fv3r2jS5cuMWbMmFi1alVrzA0AKDOVpQx+44034txzz42LLroonnzyyejbt29s2rQpevbs2VrzAwDKSElh8YUvfCFqa2vjW9/6VvG2IUOGZJ8UAFCeSnop5PHHH48JEybEVVddFf369Yvx48fH/ffff9j7NDY2RkNDQ7MLANA+lRQWL730UsybNy/OOOOMePrpp+OGG26IG2+8Mf7pn/7pkPeZM2dO1NTUFC+1tbXHPGkA4MRUkVJKv+rgqqqqmDBhQvzwhz8s3nbjjTfGypUrY9myZS3ep7GxMRobG4vXGxoaora2Nurr66O6uvoYpg6Qx5cXbWzrKZTslouHtfUU6GAaGhqipqbmiH+/S3rGYuDAgTFy5Mhmt5155pmxdevWQ96nUChEdXV1swsA0D6VFBbnnntubNiwodltGzdujMGDB2edFABQnkoKi1tuuSWWL18e99xzT2zevDkefPDB+MY3vhEzZsxorfkBAGWkpLD44Ac/GAsXLoyHHnooRo8eHX/xF38RX/nKV2LatGmtNT8AoIyU9D0WEREf/vCH48Mf/nBrzAUAKHPOFQIAZCMsAIBshAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIpKSzuvPPOqKioaHYZMWJEa80NACgzlaXeYdSoUfHd7373/x6gsuSHAADaqZKroLKyMgYMGNAacwEAylzJ77HYtGlTDBo0KIYOHRrTpk2LrVu3HnZ8Y2NjNDQ0NLsAAO1TSWExceLEmD9/fjz11FMxb9682LJlS5x//vmxZ8+eQ95nzpw5UVNTU7zU1tYe86QBgBNTRUopHe2dd+/eHYMHD44vfelLce2117Y4prGxMRobG4vXGxoaora2Nurr66O6uvpodw2QzZcXbWzrKZTslouHtfUU6GAaGhqipqbmiH+/j+mdlz169Ihhw4bF5s2bDzmmUChEoVA4lt0AAGXimL7HYu/evfHiiy/GwIEDc80HAChjJYXFrbfeGkuWLImf/vSn8cMf/jA++tGPRqdOnWLq1KmtNT8AoIyU9FLIz372s5g6dWq89tpr0bdv3zjvvPNi+fLl0bdv39aaHwBQRkoKiwULFrTWPACAdsC5QgCAbIQFAJCNsAAAshEWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyOaawmDt3blRUVMTNN9+caToAQDk76rBYuXJl3HfffTF27Nic8wEAythRhcXevXtj2rRpcf/990fPnj1zzwkAKFNHFRYzZsyIyy+/PCZPnnzEsY2NjdHQ0NDsAgC0T5Wl3mHBggXx7LPPxsqVK3+l8XPmzIm77rqr5IkBAOWnpGcstm3bFjfddFM88MADcfLJJ/9K95k1a1bU19cXL9u2bTuqiQIAJ76SnrFYvXp17Nq1K84666zibfv374+lS5fG3/3d30VjY2N06tSp2X0KhUIUCoU8swUATmglhcWkSZNi7dq1zW675pprYsSIEXH77bcfFBUAQMdSUlh07949Ro8e3ey2X/u1X4vevXsfdDsA0PH45k0AIJuSPxXyXosXL84wDQCgPfCMBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyOeav9IZy8OVFG9t6CkfllouHtfUUOEGV4++03+eOwTMWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANiWFxbx582Ls2LFRXV0d1dXVUVdXF08++WRrzQ0AKDMlhcUpp5wSc+fOjdWrV8eqVaviN3/zN+PKK6+M559/vrXmBwCUkcpSBl9xxRXNrt99990xb968WL58eYwaNSrrxACA8lNSWLzb/v3745FHHol9+/ZFXV3dIcc1NjZGY2Nj8XpDQ8PR7hIAOMGV/ObNtWvXRrdu3aJQKMT1118fCxcujJEjRx5y/Jw5c6KmpqZ4qa2tPaYJAwAnrpLDYvjw4bFmzZpYsWJF3HDDDTF9+vRYv379IcfPmjUr6uvri5dt27Yd04QBgBNXyS+FVFVVxemnnx4REWeffXasXLkyvvrVr8Z9993X4vhCoRCFQuHYZgkAlIVj/h6LAwcONHsPBQDQcZX0jMWsWbNiypQpceqpp8aePXviwQcfjMWLF8fTTz/dWvMDAMpISWGxa9eu+OQnPxk7duyImpqaGDt2bDz99NNx8cUXt9b8AIAyUlJY/OM//mNrzQMAaAecKwQAyEZYAADZCAsAIBthAQBkIywAgGyO+iRkJ6IvL9rY1lMo2S0XD2vrKXAC8zsNbcu/wdJ5xgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBsSgqLOXPmxAc/+MHo3r179OvXLz7ykY/Ehg0bWmtuAECZKSkslixZEjNmzIjly5fHokWL4u23345LLrkk9u3b11rzAwDKSGUpg5966qlm1+fPnx/9+vWL1atXxwUXXJB1YgBA+SkpLN6rvr4+IiJ69ep1yDGNjY3R2NhYvN7Q0HAsuwQATmBH/ebNAwcOxM033xznnntujB49+pDj5syZEzU1NcVLbW3t0e4SADjBHXVYzJgxI9atWxcLFiw47LhZs2ZFfX198bJt27aj3SUAcII7qpdCPvOZz8R//Md/xNKlS+OUU0457NhCoRCFQuGoJgcAlJeSwiKlFH/0R38UCxcujMWLF8eQIUNaa14AQBkqKSxmzJgRDz74YDz22GPRvXv32LlzZ0RE1NTURJcuXVplggBA+SjpPRbz5s2L+vr6uPDCC2PgwIHFy7e//e3Wmh8AUEZKfikEAOBQnCsEAMhGWAAA2RzTN2/SMX150ca2ngInML8fHIrfjY7BMxYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANiWHxdKlS+OKK66IQYMGRUVFRTz66KOtMC0AoByVHBb79u2LcePGxb333tsa8wEAylhlqXeYMmVKTJkypTXmAgCUuZLDolSNjY3R2NhYvN7Q0NDauwQA2kirv3lzzpw5UVNTU7zU1ta29i4BgDbS6mExa9asqK+vL162bdvW2rsEANpIq78UUigUolAotPZuAIATgO+xAACyKfkZi71798bmzZuL17ds2RJr1qyJXr16xamnnpp1cgBAeSk5LFatWhUXXXRR8frMmTMjImL69Okxf/78bBMDAMpPyWFx4YUXRkqpNeYCAJQ577EAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2wgIAyEZYAADZCAsAIBthAQBkIywAgGyEBQCQjbAAALIRFgBANsICAMhGWAAA2QgLACAbYQEAZCMsAIBshAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2wgIAyOaowuLee++N97///XHyySfHxIkT40c/+lHueQEAZajksPj2t78dM2fOjNmzZ8ezzz4b48aNi0svvTR27drVGvMDAMpIyWHxpS99Ka677rq45pprYuTIkfH1r389unbtGt/85jdbY34AQBmpLGXwL37xi1i9enXMmjWreNtJJ50UkydPjmXLlrV4n8bGxmhsbCxer6+vj4iIhoaGo5nvYb21b2/2x2xtrfFzaG3l+HMG6Cha6+9K0+OmlA47rqSw+N///d/Yv39/9O/fv9nt/fv3j5/85Cct3mfOnDlx1113HXR7bW1tKbtut+5o6wkA0K609t+VPXv2RE1NzSG3lxQWR2PWrFkxc+bM4vUDBw7E66+/Hr17946Kiops+2loaIja2trYtm1bVFdXZ3vcctBR127dHWvdER137R113REdd+0n4rpTSrFnz54YNGjQYceVFBZ9+vSJTp06xSuvvNLs9ldeeSUGDBjQ4n0KhUIUCoVmt/Xo0aOU3Zakurr6hDkIx1tHXbt1dzwdde0ddd0RHXftJ9q6D/dMRZOS3rxZVVUVZ599djzzzDPF2w4cOBDPPPNM1NXVlT5DAKBdKfmlkJkzZ8b06dNjwoQJcc4558RXvvKV2LdvX1xzzTWtMT8AoIyUHBZXX311vPrqq/H5z38+du7cGR/4wAfiqaeeOugNncdboVCI2bNnH/SyS0fQUddu3R1r3REdd+0ddd0RHXft5bzuinSkz40AAPyKnCsEAMhGWAAA2QgLACAbYQEAZNNmYTFv3rwYO3Zs8cs/6urq4sknnyxuf+utt2LGjBnRu3fv6NatW/zO7/zOQV/MtXXr1rj88suja9eu0a9fv7jtttvinXfeaTZm8eLFcdZZZ0WhUIjTTz895s+ff9Bcjvdp4I+09gsvvDAqKiqaXa6//vpmj1Gua3+3uXPnRkVFRdx8883F29rzcW/S0rrb6zG/8847D1rXiBEjitvb6/E+0rrb6/Fusn379vj4xz8evXv3ji5dusSYMWNi1apVxe0ppfj85z8fAwcOjC5dusTkyZNj06ZNzR7j9ddfj2nTpkV1dXX06NEjrr322ti7t/l5ip577rk4//zz4+STT47a2tr44he/eNBcHnnkkRgxYkScfPLJMWbMmHjiiSdaZ9Fx5HV/6lOfOui4X3bZZc0eoxzXfZDURh5//PH0ne98J23cuDFt2LAh3XHHHalz585p3bp1KaWUrr/++lRbW5ueeeaZtGrVqvShD30o/fqv/3rx/u+8804aPXp0mjx5cvqf//mf9MQTT6Q+ffqkWbNmFce89NJLqWvXrmnmzJlp/fr16Wtf+1rq1KlTeuqpp4pjFixYkKqqqtI3v/nN9Pzzz6frrrsu9ejRI73yyitttvbf+I3fSNddd13asWNH8VJfX98u1t7kRz/6UXr/+9+fxo4dm2666abi7e35uB9u3e31mM+ePTuNGjWq2bpeffXV4vb2eryPtO72erxTSun1119PgwcPTp/61KfSihUr0ksvvZSefvrptHnz5uKYuXPnppqamvToo4+mH//4x+m3fuu30pAhQ9Kbb75ZHHPZZZelcePGpeXLl6f//u//TqeffnqaOnVqcXt9fX3q379/mjZtWlq3bl166KGHUpcuXdJ9991XHPODH/wgderUKX3xi19M69evT3/6p3+aOnfunNauXdsm654+fXq67LLLmh33119/vdnjlNu6W9JmYdGSnj17pn/4h39Iu3fvTp07d06PPPJIcdsLL7yQIiItW7YspZTSE088kU466aS0c+fO4ph58+al6urq1NjYmFJK6Y//+I/TqFGjmu3j6quvTpdeemnx+jnnnJNmzJhRvL5///40aNCgNGfOnFZZ46E0rT2lX/5P591/dN6r3Ne+Z8+edMYZZ6RFixY1W2t7P+6HWndK7feYz549O40bN67Fbe35eB9u3Sm13+OdUkq33357Ou+88w65/cCBA2nAgAHpr/7qr4q37d69OxUKhfTQQw+llFJav359ioi0cuXK4pgnn3wyVVRUpO3bt6eUUvr7v//71LNnz+LPo2nfw4cPL17/3d/93XT55Zc32//EiRPTH/zBHxzbIltwpHWn9MuwuPLKKw+5vRzX3ZIT4j0W+/fvjwULFsS+ffuirq4uVq9eHW+//XZMnjy5OGbEiBFx6qmnFk/PvmzZshgzZkyzL+a69NJLo6GhIZ5//vnimHc/RtOYpsdoOg38u8cc6TTwub137U0eeOCB6NOnT4wePTpmzZoVP//5z4vbyn3tM2bMiMsvv/yg+bX3436odTdpr8d806ZNMWjQoBg6dGhMmzYttm7dGhHt/3gfat1N2uvxfvzxx2PChAlx1VVXRb9+/WL8+PFx//33F7dv2bIldu7c2WxeNTU1MXHixGbHvUePHjFhwoTimMmTJ8dJJ50UK1asKI654IILoqqqqjjm0ksvjQ0bNsQbb7xRHHO4n9HxXHeTxYsXR79+/WL48OFxww03xGuvvVbcVo7rbkmrn930cNauXRt1dXXx1ltvRbdu3WLhwoUxcuTIWLNmTVRVVR10srL+/fvHzp07IyJi586dLZ6+vWnb4cY0NDTEm2++GW+88UbJp4HP5VBrj4j4vd/7vRg8eHAMGjQonnvuubj99ttjw4YN8W//9m+HXVfTtsONaeu1L1iwIJ599tlYuXLlQdt27tzZbo/74dYd0X6P+cSJE2P+/PkxfPjw2LFjR9x1111x/vnnx7p169r18T7curt3795uj3dExEsvvRTz5s2LmTNnxh133BErV66MG2+8MaqqqmL69OnF+bc0r3evrV+/fs22V1ZWRq9evZqNGTJkyEGP0bStZ8+eh/wZNT1GTkdad0TEZZddFr/9278dQ4YMiRdffDHuuOOOmDJlSixbtiw6depUlutuSZuGxfDhw2PNmjVRX18f//qv/xrTp0+PJUuWtOWUjptDrX3kyJHx6U9/ujhuzJgxMXDgwJg0aVK8+OKLcdppp7XhrI/Ntm3b4qabbopFixbFySef3NbTOW5+lXW312M+ZcqU4n+PHTs2Jk6cGIMHD46HH344unTp0oYza12HW/e1117bbo93xC9PTDlhwoS45557IiJi/PjxsW7duvj6179e/APbHv0q6/7Yxz5WHD9mzJgYO3ZsnHbaabF48eKYNGlSm8y7NbTpSyFVVVVx+umnx9lnnx1z5syJcePGxVe/+tUYMGBA/OIXv4jdu3c3G//u07MPGDCgxdO3N2073Jjq6uro0qXLUZ0GPpdDrb0lEydOjIiIzZs3R0T5rn316tWxa9euOOuss6KysjIqKytjyZIl8bd/+7dRWVkZ/fv3b5fH/Ujr3r9//0H3aS/H/L169OgRw4YNi82bN3eIf+dN3r3ulrSn4z1w4MDis69NzjzzzOJLQU37Pty8BgwYELt27Wq2/Z133onXX389y+9Ga6z/SOtuydChQ6NPnz7Njnu5rbslJ8R7LJocOHAgGhsb4+yzz47OnTs3Oz37hg0bYuvWrcX3IdTV1cXatWubHYRFixZFdXV18eDW1dU1e4ymMU2PcSKdBr5p7S1Zs2ZNRPzyFzeifNc+adKkWLt2baxZs6Z4mTBhQkybNq343+3xuB9p3Z06dTroPu3lmL/X3r1748UXX4yBAwd2qH/n7153S9rT8T733HNjw4YNzW7buHFjDB48OCIihgwZEgMGDGg2r4aGhlixYkWz47579+5YvXp1ccz3vve9OHDgQDHC6urqYunSpfH2228XxyxatCiGDx8ePXv2LI453M8opyOtuyU/+9nP4rXXXmt23Mtt3S06Lm8RbcHnPve5tGTJkrRly5b03HPPpc997nOpoqIi/ed//mdK6ZcfQzv11FPT9773vbRq1apUV1eX6urqivdv+jjWJZdcktasWZOeeuqp1Ldv3xY/jnXbbbelF154Id17770tfhyrUCik+fPnp/Xr16dPf/rTqUePHs3ejX0817558+b053/+52nVqlVpy5Yt6bHHHktDhw5NF1xwQbtY+3u9993x7fm4H2rd7fmYf/azn02LFy9OW7ZsST/4wQ/S5MmTU58+fdKuXbtSSu33eB9u3e35eKf0y49UV1ZWprvvvjtt2rQpPfDAA6lr167pX/7lX4pj5s6dm3r06JEee+yx9Nxzz6Urr7yyxY+bjh8/Pq1YsSJ9//vfT2eccUazj13u3r079e/fP33iE59I69atSwsWLEhdu3Y96GOXlZWV6a//+q/TCy+8kGbPnt1qH7s80rr37NmTbr311rRs2bK0ZcuW9N3vfjedddZZ6YwzzkhvvfVW2a67JW0WFr//+7+fBg8enKqqqlLfvn3TpEmTilGRUkpvvvlm+sM//MPUs2fP1LVr1/TRj3407dixo9lj/PSnP01TpkxJXbp0SX369Emf/exn09tvv91szH/913+lD3zgA6mqqioNHTo0fetb3zpoLl/72tfSqaeemqqqqtI555yTli9f3iprbnK4tW/dujVdcMEFqVevXqlQKKTTTz893Xbbbc0+455S+a79vd4bFu35uL/bu9fdno/51VdfnQYOHJiqqqrS+973vnT11Vc3+1x/ez3eh1t3ez7eTf793/89jR49OhUKhTRixIj0jW98o9n2AwcOpD/7sz9L/fv3T4VCIU2aNClt2LCh2ZjXXnstTZ06NXXr1i1VV1ena665Ju3Zs6fZmB//+MfpvPPOS4VCIb3vfe9Lc+fOPWguDz/8cBo2bFiqqqpKo0aNSt/5znfyL/j/O9y6f/7zn6dLLrkk9e3bN3Xu3DkNHjw4XXfddQdFXjmu+72cNh0AyOaEeo8FAFDehAUAkI2wAACyERYAQDbCAgDIRlgAANkICwAgG2EBAGQjLACAbIQFAJCNsAAAshEWAEA2/w9r9X+HliIrPgAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 640x480 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plt.hist(sample_data, density=True, alpha=0.5);"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "57d455ce-a06c-4e0d-a076-a5e592b09ce7",
   "metadata": {},
   "source": [
    "\n",
    "## The Frequentist Way\n",
    "\n",
    "One way to approach this problem using a frequentist approach is through point estimation. Point estimation involves using a single point estimate, such as the sample mean, to represent the unknown population parameter. The sample mean is a commonly used point estimate for the population mean, and it is calculated as the sum of the sample values divided by the sample size.\n",
    "\n",
    "The sample mean, $\\hat{\\mu}$, is a commonly used point estimate for the population mean, $\\mu$. It is calculated as the sum of the sample values, $x_1, x_2, ..., x_n$, divided by the sample size, $n$:\n",
    "\n",
    "$\\hat{\\mu} = \\frac{1}{n} \\sum_{i=1}^n x_i$"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "id": "fd51e6dd-3b16-46d0-bb6c-c99c047b0e28",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "<tf.Tensor: shape=(), dtype=float32, numpy=50097.785>"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "sample_mean = tf.reduce_mean(sample_data)\n",
    "sample_mean"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "6a1bd719-bd44-4c54-89c7-0e03f34d3612",
   "metadata": {},
   "source": [
    "However, point estimates alone do not provide a complete characterization of the uncertainty surrounding the estimate. To quantify this uncertainty, we can use a confidence interval. A confidence interval is an estimate of the likely range of the true population parameter based on the observed data, and it is constructed by adding and subtracting a margin of error to the point estimate. The margin of error is determined by the desired level of confidence and the sample size, and it reflects the variability in the sample data. For example, a 95% confidence interval indicates that we are 95% confident that the true population parameter falls within the interval.\n",
    "\n",
    "A confidence interval for the population mean is constructed by adding and subtracting a margin of error, $m$, to the point estimate:\n",
    "\n",
    "$\\hat{\\mu} \\pm m = [\\hat{\\mu} - m, \\hat{\\mu} + m]$\n",
    "\n",
    "The margin of error is determined by the desired level of confidence, $1-\\alpha$, and the sample size, $n$. It reflects the variability in the sample data and is typically calculated using the standard error, $SE$, of the point estimate:\n",
    "\n",
    "$m = t_{1-\\frac{\\alpha}{2}, n-1} \\times SE$\n",
    "\n",
    "where $t_{1-\\frac{\\alpha}{2}, n-1}$ is the critical value of the $t$-distribution with $n-1$ degrees of freedom for the desired level of confidence.\n",
    "\n",
    "The standard error of the sample mean is calculated as the standard deviation of the sample, $\\sigma$, divided by the square root of the sample size:\n",
    "\n",
    "$SE = \\frac{\\sigma}{\\sqrt{n}}$\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "id": "8aa0722b-4b02-4e91-b59f-0cedc0c5ec90",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(46550.523, 53645.047)"
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "# Standard error of the sample mean\n",
    "sample_stddev = tf.math.reduce_std(sample_data)\n",
    "standard_error = sample_stddev / tf.sqrt(sample_size)\n",
    "\n",
    "# Margin of error\n",
    "confidence_level = 0.95\n",
    "degrees_of_freedom = sample_size - 1\n",
    "t_distribution = tfp.distributions.StudentT(df=degrees_of_freedom, loc=0., scale=1.)\n",
    "\n",
    "# t_distribution.quantile() seems to have a bug\n",
    "t_value = t.ppf(confidence_level+(1-confidence_level)/2, df=sample_size-1)\n",
    "margin_of_error = t_value * standard_error\n",
    "\n",
    "confidence_interval_lower = sample_mean - margin_of_error\n",
    "confidence_interval_upper = sample_mean + margin_of_error\n",
    "confidence_interval = (confidence_interval_lower.numpy(), confidence_interval_upper.numpy())\n",
    "confidence_interval"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "c01eb0a7-e5ae-4fe3-9ec1-1083f0badb01",
   "metadata": {},
   "source": [
    "We can define a helper function to plot our predicting mean and confidence interval overlayed on sampled data."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "id": "acc51172-387d-4309-a8f6-ff5b97a1aa79",
   "metadata": {},
   "outputs": [],
   "source": [
    "def visualize_output(sample_data, sample_mean, interval, type_interval):\n",
    "    plt.hist(sample_data, density=True, alpha=0.5)\n",
    "    plt.axvline(x=sample_mean, color='r', linestyle='dashed', linewidth=2)\n",
    "    plt.axvline(x=interval[0], color='g', linewidth=2)\n",
    "    plt.axvline(x=interval[1], color='g', linewidth=2)\n",
    "    plt.legend(['Sample Mean', f'{type_interval} interval'])\n",
    "    plt.show()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "id": "503ec788-9f8f-4b5d-a8dd-3ef89b63d755",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAhYAAAGsCAYAAACB/u5dAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjYuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8o6BhiAAAACXBIWXMAAA9hAAAPYQGoP6dpAAA1ZElEQVR4nO3de1xVVf7/8fcR5AhxU0EEQ9G8oYh5SWM00zQvXzMrSzNyyMqmtCmji1GTZpPXZrQaHS0bxWYs05ksv03p11TUTE1tvKWpII5oGuaFiygSrN8f/jh15KLoxnMOvJ6Px37gOXudvT+LjfJ2r733shljjAAAACxQw9UFAACAqoNgAQAALEOwAAAAliFYAAAAyxAsAACAZQgWAADAMgQLAABgGYIFAACwDMECAABYhmABAAAs47JgsXbtWg0YMEARERGy2Wz65JNPKnV/r776qmw2m9PSsmXLSt0nAADVjcuCxZkzZ9S2bVvNnDnzmu2zdevWOnr0qGP56quvrtm+AQCoDrxdteN+/fqpX79+Za7Pz8/Xyy+/rA8//FCnT59WTEyMpkyZou7du1/xPr29vVW/fv0r/jwAACif215j8eSTT2rDhg1auHChduzYofvuu099+/bV/v37r3ib+/fvV0REhJo0aaL4+HgdOnTIwooBAIDNHaZNt9lsWrJkie666y5J0qFDh9SkSRMdOnRIERERjna9evVSp06dNHHixArv44svvlBubq5atGiho0ePavz48Tpy5Ih27dqlgIAAq7oCAEC15rKhkPLs3LlThYWFat68udP7+fn5qlu3riTp+++/V3R0dLnbGTNmjCZPnixJTsMusbGx6ty5sxo1aqRFixbpkUcesbgHAABUT24ZLHJzc+Xl5aWtW7fKy8vLaZ2/v78kqUmTJtqzZ0+52ykOIaUJDg5W8+bNlZqaevUFAwAASW4aLNq1a6fCwkJlZmbqlltuKbWNj4/PVd0umpubq7S0NA0bNuyKtwEAAJy5LFjk5uY6nS1IT0/Xtm3bVKdOHTVv3lzx8fH67W9/qz//+c9q166djh8/rpUrVyo2Nlb9+/ev8P6ee+45DRgwQI0aNdIPP/ygcePGycvLS0OHDrWyWwAAVGsuu3gzJSVFPXr0KPF+QkKCkpOTVVBQoNdff13vv/++jhw5opCQEN18880aP3682rRpU+H93X///Vq7dq1OnDih0NBQde3aVRMmTNANN9xgRXcAAIDc5K4QAABQNbjtcywAAIDnIVgAAADLXPOLN4uKivTDDz8oICBANpvtWu8eAABcAWOMcnJyFBERoRo1yj4vcc2DxQ8//KDIyMhrvVsAAGCBjIwMXX/99WWuv+bBovjx2RkZGQoMDLzWuwdwkZYzWupozlGFB4Tr+ye/d3U5lzZvnnTmjHTdddLw4a6u5pI87vsLlCE7O1uRkZGXnAbjmgeL4uGPwMBAggXgBmrUqiEVXPjqEX8nn37a1RVUiMd9f4FLuNRlDFy8CQAALEOwAAAAlnHLuUIAoExHj0qFhZKXlxQe7upqAFzELYNFYWGhCgoKXF0GYAkvLy95e3tze7VVbrpJOnJEatBAOnzY1dUAuIjbBYvc3FwdPnxYPGkcVYmfn5/Cw8Pl4+Pj6lIAoFK5VbAoLCzU4cOH5efnp9DQUP6HB49njNH58+d1/Phxpaenq1mzZuU+WAYAPJ1bBYuCggIZYxQaGipfX19XlwNYwtfXVzVr1tR///tfnT9/XrVq1XJ1SQBQadzyv06cqUBVw1kKANUF/9oBAADLECwAAIBlCBbVgM1m0yeffOLqMgAA1QDBwgLHjx/XE088oYYNG8put6t+/frq06eP1q9f7+rSLHHw4EHZbDZ5eXnpyJEjTuuOHj3qeEbDwYMHXVMgAMBtECwsMGjQIP3nP//R/PnztW/fPi1dulTdu3fXiRMnXF2apRo0aKD333/f6b358+erQYMGLqoIAOBuCBZX6fTp01q3bp2mTJmiHj16qFGjRurUqZOSkpJ05513OtpNmzZNbdq00XXXXafIyEiNHDlSubm5jvXJyckKDg7WZ599phYtWsjPz0/33nuv8vLyNH/+fEVFRal27dp66qmnVFhY6PhcVFSU/vjHP2ro0KG67rrr1KBBA82cObPcmjMyMjR48GAFBwerTp06Gjhw4GWdbUhISNC8efOc3ps3b54SEhJKtN21a5f69esnf39/hYWFadiwYfrpp58c65ctW6auXbsqODhYdevW1R133KG0tDTH+uKzJB9//LF69OghPz8/tW3bVhs2bLhknajiVq6Udu268BWA23Gr51iUadq0C8ultG8vLV3q/N6dd0rffnvpzyYmXlgqyN/fX/7+/vrkk0908803y263l9quRo0aevvtt9W4cWMdOHBAI0eO1AsvvKC//vWvjjZ5eXl6++23tXDhQuXk5Oiee+7R3XffreDgYH3++ec6cOCABg0apC5dumjIkCGOz73xxht66aWXNH78eC1fvlxPP/20mjdvrttvv71EHQUFBerTp4/i4uK0bt06eXt76/XXX1ffvn21Y8eOcp8Meeedd2r27Nn66quv1LVrV3311Vc6deqUBgwYoD/+8Y+OdqdPn9Ztt92mRx99VNOnT9fZs2c1ZswYDR48WKtWrZIknTlzRomJiYqNjVVubq7Gjh2ru+++W9u2bXO6NfPll1/Wn/70JzVr1kwvv/yyhg4dqtTUVHl7e8aPLipBixaWb3L6in2Wb7NYbv7Pjq9W7ueZ25tbti3ASp7xr3N29oW5AS4lMrLke8ePX95ns7MrXpckb29vJScna8SIEZo9e7bat2+vW2+9Vffff79iY2Md7UaPHu34c1RUlF5//XU9/vjjTsGioKBAs2bN0g033CBJuvfee/X3v/9dP/74o/z9/dWqVSv16NFDq1evdgoWXbp00YsvvihJat68udavX6/p06eXGiw++ugjFRUV6b333nM8L2TevHkKDg5WSkqKevfuXWZfa9asqQcffFBz585V165dNXfuXD344IOqWbOmU7sZM2aoXbt2mjhxouO9uXPnKjIyUvv27VPz5s01aNAgp8/MnTtXoaGh2r17t2JiYhzvP/fcc+rfv78kafz48WrdurVSU1PVsmXLMusEALiOZwyFBAZemHDoUktoaMnPhoZe3mcDA6+4vEGDBumHH37Q0qVL1bdvX6WkpKh9+/ZKTk52tPnyyy/Vs2dPNWjQQAEBARo2bJhOnDihvLw8Rxs/Pz9HqJCksLAwRUVFyd/f3+m9zMxMp/3HxcWVeL1nz55Sa92+fbtSU1MVEBDgONtSp04dnTt3zmkooiwPP/ywFi9erGPHjmnx4sV6+OGHS93H6tWrHdv39/d3BIHifezfv19Dhw5VkyZNFBgYqKioKEnSoUOHnLb163AW/v9nsry4/wAA9+EZZyyucJhCUsmhkUpSq1Yt3X777br99tv1yiuv6NFHH9W4ceP00EMP6eDBg7rjjjv0xBNPaMKECapTp46++uorPfLIIzp//rz8/PwkqcT//G02W6nvFRUVXXGdubm56tChgxYsWFBiXWhpwewibdq0UcuWLTV06FBFR0crJiZG27ZtK7GPAQMGaMqUKSU+XxwOBgwYoEaNGmnOnDmKiIhQUVGRYmJidP78eaf2v+5/8RmWq+k/qoAPPpDy8iQ/P+mBB1xdDYCLeEaw8ECtWrVyPDti69atKioq0p///GfH9QOLFi2ybF8bN24s8To6OrrUtu3bt9dHH32kevXqKfAKz9I8/PDDGjlypGbNmlXmPv71r38pKiqq1GshTpw4ob1792rOnDm65ZZbJElfffXVFdWCauiFF36ZNp1gAbgdzxgKcWMnTpzQbbfdpn/84x/asWOH0tPTtXjxYk2dOlUDBw6UJDVt2lQFBQX6y1/+ogMHDujvf/+7Zs+ebVkN69ev19SpU7Vv3z7NnDlTixcv1tNPP11q2/j4eIWEhGjgwIFat26d0tPTlZKSoqeeekqHDx++rP2NGDFCx48f16OPPlrq+lGjRunkyZMaOnSoNm/erLS0NC1fvlzDhw9XYWGhateurbp16+rdd99VamqqVq1apcQrPSMFAHArBIur5O/vr86dO2v69Onq1q2bYmJi9Morr2jEiBGaMWOGJKlt27aaNm2apkyZopiYGC1YsECTJk2yrIZnn31WW7ZsUbt27fT6669r2rRp6tOnT6lt/fz8tHbtWjVs2FD33HOPoqOj9cgjj+jcuXOXfQbD29tbISEhZd6ZERERofXr16uwsFC9e/dWmzZtNHr0aAUHB6tGjRqqUaOGFi5cqK1btyomJkbPPPOM3njjjSvuPwDAfdiMMeZa7jA7O1tBQUHKysoq8Yvs3LlzSk9PV+PGjZla+jJFRUVp9OjRTnedwP2488/29dOu15GcI2oQ0ECHEy/vrJVLXX/9L0Mhl3mW7VIq83bT8Vu6Kev8jwryCdO4jmst2y63m+JaK+/3969xxgIAAFiGYAEAACzDXSEejom/AADuhDMWAADAMgQLAABgGYZCAHiW+vWdvwJwKwQLAJ5lyxZXVwCgHAyFAAAAyxAsAACAZQgWHiIvL0+DBg1SYGCgbDabTp8+raioKL355pvlfs5mszkmQ3NXycnJCg4OdnUZV+XgwYOy2WwlZnoFgOqGayw8xPz587Vu3Tp9/fXXCgkJUVBQkDZv3qzrrrvO1aVdtSFDhuh//ud/KvSZ7t2768Ybb7xksEIV9LvfSSdPSnXqSO+84+pqAFyEYOEh0tLSFB0drZiYGMd7oaGhLqzIOr6+vvL19XXJvs+fPy8fHx+X7BtX6N///mWuEABuh6EQCxQVFWnq1Klq2rSp7Ha7GjZsqAkTJjjW79y5U7fddpt8fX1Vt25dPfbYY8rNzXWsf+ihh3TXXXfpT3/6k8LDw1W3bl2NGjVKBQUFki787/zPf/6z1q5dK5vNpu7du0tSiaGQ/fv3q1u3bqpVq5ZatWqlFStWlKg1IyNDgwcPVnBwsOrUqaOBAwc6Pb3zUrVIUn5+vsaMGaPIyEjZ7XY1bdpUf/vb3xzrd+3apX79+snf319hYWEaNmyYfvrppzK/fxcPhbz66qu68cYb9fe//11RUVEKCgrS/fffr5ycHEeNa9as0VtvvSWbzSabzebow6X23b17dz355JMaPXq0QkJC1KdPHz3wwAMaMmSIU00FBQUKCQnR+++/L0latmyZunbtquDgYNWtW1d33HGH0tLSyuwTAFRXFT5jceTIEY0ZM0ZffPGF8vLy1LRpU82bN08dO3asjPrU8d2OOpZ7rFK2XZ76/vW15bHLu60tKSlJc+bM0fTp09W1a1cdPXpU33//vSTpzJkz6tOnj+Li4rR582ZlZmbq0Ucf1ZNPPqnk5GTHNlavXq3w8HCtXr1aqampGjJkiG688UaNGDFCH3/8sV588UXt2rVLH3/8can/wy4qKtI999yjsLAwbdq0SVlZWSVmPC0oKHDUsm7dOnl7e+v1119X3759tWPHDsd2y6tFkn77299qw4YNevvtt9W2bVulp6c7fnmfPn1at912mx599FFNnz5dZ8+e1ZgxYzR48GCtWrXqsr//aWlp+uSTT/TZZ5/p1KlTGjx4sCZPnqwJEyborbfe0r59+xQTE6PXXntN0oWzN5e77/nz5+uJJ57Q+vXrJUmpqam67777lJubK39/f0nS8uXLlZeXp7vvvttxHBMTExUbG6vc3FyNHTtWd999t7Zt26YaNcjnAFCsQsHi1KlT6tKli3r06KEvvvhCoaGh2r9/v2rXrl1Z9elY7jEdyTlSadu/Wjk5OXrrrbc0Y8YMJSQkSJJuuOEGde3aVZL0wQcf6Ny5c3r//fcd10PMmDFDAwYM0JQpUxQWFiZJql27tmbMmCEvLy+1bNlS/fv318qVKzVixAjVqVNHfn5+8vHxUf0yHgr05Zdf6vvvv9fy5csVEREhSZo4caL69evnaPPRRx+pqKhI7733nmw2myRp3rx5Cg4OVkpKinr37n3JWvbt26dFixZpxYoV6tWrlySpSZMmjn3MmDFD7dq108SJEx3vzZ07V5GRkdq3b5+aN7+8qZ6LioqUnJysgIAASdKwYcO0cuVKTZgwQUFBQfLx8ZGfn5/T9+Ny992sWTNNnTrV0eaGG27QddddpyVLlmjYsGGO43bnnXc69j9o0CCn+ubOnavQ0FDt3r3baXgKAKq7CgWLKVOmKDIyUvPmzXO817hxY8uL+rX6/q55ut7l7nfPnj3Kz89Xz549y1zftm1bp4ssu3TpoqKiIu3du9cRLFq3bi0vLy9Hm/DwcO3cufOy692zZ48iIyMdoUKS4uLinNps375dqampjl+Wxc6dO+d0Wr+8WrZt2yYvLy/deuutpdaxfft2rV692vE//19LS0u77GARFRXlVGd4eLgyMzPL/czl7rtDhw5O67y9vTV48GAtWLBAw4YN05kzZ/Tpp59q4cKFjjb79+/X2LFjtWnTJv30008qKiqSJB06dIhgAQC/UqFgsXTpUvXp00f33Xef1qxZowYNGmjkyJGOU+Slyc/PV35+vuN1dnZ2hQq83OEIV7HqosOaNWs6vbbZbI5fXlbJzc1Vhw4dtGDBghLrfn0haHm1XKq/ubm5jrMxFwsPD7/sWq/k+3G5+y7tTpr4+HjdeuutyszM1IoVK+Tr66u+ffs61g8YMECNGjXSnDlzFBERoaKiIsXExOj8+fOX3ScAqA4qNDh84MABzZo1S82aNdPy5cv1xBNP6KmnntL8+fPL/MykSZMUFBTkWCIjI6+6aHfSrFkz+fr6auXKlaWuj46O1vbt23XmzBnHe+vXr1eNGjXUokULy+qIjo5WRkaGjh496nhv48aNTm3at2+v/fv3q169emratKnTEhQUdFn7adOmjYqKirRmzZpS17dv317fffedoqKiSuzDyltjfXx8VFhYaNm+f/Ob3ygyMlIfffSRFixYoPvuu88Rbk6cOKG9e/fqD3/4g3r27Kno6GidOnXKsr4AQFVSoWBRVFSk9u3ba+LEiWrXrp0ee+wxjRgxQrNnzy7zM0lJScrKynIsGRkZV120O6lVq5bGjBmjF154Qe+//77S0tK0ceNGx10S8fHxqlWrlhISErRr1y6tXr1av//97zVs2DDHMIgVevXqpebNmyshIUHbt2/XunXr9PLLLzu1iY+PV0hIiAYOHKh169YpPT1dKSkpeuqpp3T48OHL2k9UVJQSEhL08MMP65NPPnFsY9GiRZKkUaNG6eTJkxo6dKg2b96stLQ0LV++XMOHDy8RBK5GVFSUNm3apIMHDzqGJq523w888IBmz56tFStWKD4+3vF+7dq1VbduXb377rtKTU3VqlWrlJiYaFlfAKAqqVCwCA8PV6tWrZzei46O1qFDh8r8jN1uV2BgoNNS1bzyyit69tlnNXbsWEVHR2vIkCGO6wH8/Py0fPlynTx5UjfddJPuvfde9ezZUzNmzLC0hho1amjJkiU6e/asOnXqpEcffdTpltfiWtauXauGDRvqnnvuUXR0tB555BGdO3euQsdl1qxZuvfeezVy5Ei1bNlSI0aMcJyRiYiI0Pr161VYWKjevXurTZs2Gj16tIKDgy29e+K5556Tl5eXWrVqpdDQUB06dOiq9x0fH6/du3erQYMG6tKli+P9GjVqaOHChdq6datiYmL0zDPP6I033rCsLwBQldiMMeZyGz/wwAPKyMjQunXrHO8988wz2rRpk77++uvL2kZ2draCgoKUlZVV4pfZuXPnlJ6ersaNG6tWrVqXWxbg9tz5Z/v6adfrSM4RNQhooMOJl3fmyqWef146dUqqXVuyKOBNX7HPku2UZvyWbso6/6OCfMI0ruNay7b7zO2XdyE0YJXyfn//WoUu3nzmmWf0m9/8RhMnTtTgwYP1zTff6N1339W777571QUDwGXhbBHg1ip0bvqmm27SkiVL9OGHHyomJkZ//OMf9eabbzqNRwMAgOqrwk/evOOOO3THHXdURi0AAMDD8SxiAABgGbcMFhW4nhTwCPxMW6hlSykw8MJXAG7HrYJF8WOkeZohqpq8vDxJJZ8oiiuQmyvl5Fz4CsDtVPgai8rk7e0tPz8/HT9+XDVr1mTWSHg8Y4zy8vKUmZmp4OBgpzlYAKAqcqtgYbPZFB4ervT0dP33v/91dTmAZYKDg8ucmRYAqhK3ChbShTkgmjVrxnAIqoyaNWtypgJAteF2wUK68Ahld3s6IQAAuDQuYgAAAJYhWAAAAMsQLAAAgGUIFgAAwDJuefEmAJRp9mzp7FnJ19fVlQAoBcECgGdhEkTArTEUAgAALEOwAAAAlmEoBIBn2bpVOn9e8vGROnRwdTUALkKwAOBZBg6UjhyRGjSQDh92dTUALsJQCAAAsAzBAgAAWIZgAQAALEOwAAAAliFYAAAAyxAsAACAZQgWAADAMgQLAABgGYIFAACwDE/eBOBZ9uyRjJFsNldXAqAUBAsAniUgwNUVACgHQyEAAMAyBAsAAGAZhkIAeJZp06TsbCkwUEpMdHU1AC5CsADgWaZN+2XadIIF4HYYCgEAAJYhWAAAAMsQLAAAgGUIFgAAwDIECwAAYBmCBQAAsAzBAgAAWIZgAQAALMMDsgB4lvbtpchIKTTU1ZUAKAXBAoBnWbrU1RUAKAdDIQAAwDIECwAAYJkKBYtXX31VNpvNaWnZsmVl1QYAADxMha+xaN26tb788stfNuDNZRoArqE775SOH79w8SbXWwBup8KpwNvbW/Xr16+MWgDg0r799pdp0wG4nQpfY7F//35FRESoSZMmio+P16FDh8ptn5+fr+zsbKcFAABUTRUKFp07d1ZycrKWLVumWbNmKT09XbfccotycnLK/MykSZMUFBTkWCIjI6+6aAAA4J4qFCz69eun++67T7GxserTp48+//xznT59WosWLSrzM0lJScrKynIsGRkZV100AABwT1d15WVwcLCaN2+u1NTUMtvY7XbZ7far2Q0AAPAQV/Uci9zcXKWlpSk8PNyqegAAgAerULB47rnntGbNGh08eFBff/217r77bnl5eWno0KGVVR8AAPAgFRoKOXz4sIYOHaoTJ04oNDRUXbt21caNGxXKZEAAAEAVDBYLFy6srDoAAEAVwGMzAXiWxEQpO1sKDHR1JQBKQbAA4FkSE11dAYByMLspAACwDMECAABYhqEQAJ4lJ0cyRrLZpIAAV1cD4CKcsQDgWaKjpaCgC18BuB2CBQAAsAzBAgAAWIZgAQAALEOwAAAAliFYAAAAyxAsAACAZQgWAADAMgQLAABgGYIFAACwDI/0BuBZPv1UOn9e8vFxdSUASkGwAOBZOnRwdQUAysFQCAAAsAzBAgAAWIahEACe5bPPpLNnJV9f6Y47XF0NgIsQLAB4lscfl44ckRo0kA4fdnU1AC7CUAgAALAMwQIAAFiGYAEAACxDsAAAAJYhWAAAAMsQLAAAgGUIFgAAwDIECwAAYBmCBQDP4u8vBQRc+ArA7fDkTQCe5fvvXV0BgHJwxgIAAFiGYAEAACxDsAAAAJbhGgsAnuX556VTp6TataU33nB1NQAuQrAA4Fk+/PCXadMJFoDbYSgEAABYhmABAAAsQ7AAAACWIVgAAADLECwAAIBlCBYAAMAyBAsAAGCZqwoWkydPls1m0+jRoy0qBwAAeLIrfkDW5s2b9c477yg2NtbKegCgfP37SydPSnXquLoSAKW4omCRm5ur+Ph4zZkzR6+//rrVNQFA2d55x9UVACjHFQ2FjBo1Sv3791evXr0u2TY/P1/Z2dlOCwAAqJoqfMZi4cKF+vbbb7V58+bLaj9p0iSNHz++woUBAADPU6EzFhkZGXr66ae1YMEC1apV67I+k5SUpKysLMeSkZFxRYUCAAD3V6EzFlu3blVmZqbat2/veK+wsFBr167VjBkzlJ+fLy8vL6fP2O122e12a6oFgI4dpWPHpPr1pS1bXF0NgItUKFj07NlTO3fudHpv+PDhatmypcaMGVMiVACA5Y4duzBtOgC3VKFgERAQoJiYGKf3rrvuOtWtW7fE+wAAoPrhyZsAAMAyV/yArGIpKSkWlAEAAKoCzlgAAADLECwAAIBlCBYAAMAyBAsAAGAZggUAALDMVd8VAgDX1NSpUl6e5Ofn6koAlIJgAcCzPPCAqysAUA6GQgAAgGUIFgAAwDIMhQDwLHv3Sj//LHl7Sy1auLoaABchWKBamL5in6tLuCLP3N7c1SW4n549L8xu2qCBdPiwq6txGU/8mebnuXpgKAQAAFiGYAEAACxDsAAAAJYhWAAAAMsQLAAAgGUIFgAAwDIECwAAYBmCBQAAsAzBAgAAWIYnbwLwLJs3S4WFkpeXqysBUAqCBQDPEh7u6goAlIOhEAAAYBmCBQAAsAxDIQA8y7vvSrm5kr+/9Nhjrq4GwEUIFgA8y2uv/TJtOsECcDsMhQAAAMsQLAAAgGUIFgAAwDIECwAAYBmCBQAAsAzBAgAAWIZgAQAALEOwAAAAluEBWQA8S/PmUlCQFBbm6koAlIJgAcCzrFrl6goAlIOhEAAAYBmCBQAAsAzBAgAAWIZrLAB4lvh46aefpJAQacECV1cD4CIECwCeZc2aX6ZNB+B2GAoBAACWIVgAAADLECwAAIBlKhQsZs2apdjYWAUGBiowMFBxcXH64osvKqs2AADgYSoULK6//npNnjxZW7du1ZYtW3Tbbbdp4MCB+u677yqrPgAA4EEqdFfIgAEDnF5PmDBBs2bN0saNG9W6dWtLCwMAAJ7nim83LSws1OLFi3XmzBnFxcWV2S4/P1/5+fmO19nZ2Ve6SwAA4OYqfPHmzp075e/vL7vdrscff1xLlixRq1atymw/adIkBQUFOZbIyMirKhgAALivCp+xaNGihbZt26asrCz985//VEJCgtasWVNmuEhKSlJiYqLjdXZ2NuECwJUbMULKyrowdToAt1PhYOHj46OmTZtKkjp06KDNmzfrrbfe0jvvvFNqe7vdLrvdfnVVAkCxceNcXQGAclz1cyyKioqcrqEAAADVV4XOWCQlJalfv35q2LChcnJy9MEHHyglJUXLly+vrPoAAIAHqVCwyMzM1G9/+1sdPXpUQUFBio2N1fLly3X77bdXVn0AAMCDVChY/O1vf6usOgDg8lx//S+zmx4+7OpqAFyEuUIAAIBlCBYAAMAyBAsAAGAZggUAALAMwQIAAFjmiichc0fTV+xzdQkV9sztzV1dAtzYtfiZzs3/2fHViv3xM42qhN8rFccZCwAAYBmCBQAAsAzBAgAAWKZKXWMBoBr4xz+k/HyJWZMBt0SwAOBZund3dQUAysFQCAAAsAzBAgAAWIahEACeJSXll2ssGBYB3A7BAoBnefBBpk0H3BhDIQAAwDIECwAAYBmCBQAAsAzBAgAAWIZgAQAALEOwAAAAliFYAAAAyxAsAACAZQgWAADAMjx5E4Bn4WmbgFvjjAUAALAMwQIAAFiGYAEAACzDNRYAPMv48VJWlhQUJI0b5+pqAFyEYAHAs8yZ88u06QQLwO0wFAIAACxDsAAAAJYhWAAAAMsQLAAAgGUIFgAAwDIECwAAYBmCBQAAsAzBAgAAWIYHZAHwLLfeKv30kxQS4upKAJSCYAHAsyxY4OoKAJSDoRAAAGAZggUAALAMwQIAAFimQsFi0qRJuummmxQQEKB69erprrvu0t69eyurNgAo6bbbpNatL3wF4HYqFCzWrFmjUaNGaePGjVqxYoUKCgrUu3dvnTlzprLqAwBn+/ZJu3df+ArA7VTorpBly5Y5vU5OTla9evW0detWdevWzdLCAACA57mq202zsrIkSXXq1CmzTX5+vvLz8x2vs7Ozr2aXAADAjV3xxZtFRUUaPXq0unTpopiYmDLbTZo0SUFBQY4lMjLySncJAADc3BUHi1GjRmnXrl1auHBhue2SkpKUlZXlWDIyMq50lwAAwM1d0VDIk08+qc8++0xr167V9ddfX25bu90uu91+RcUBAADPUqFgYYzR73//ey1ZskQpKSlq3LhxZdUFAAA8UIWCxahRo/TBBx/o008/VUBAgI4dOyZJCgoKkq+vb6UUCAAAPEeFrrGYNWuWsrKy1L17d4WHhzuWjz76qLLqAwAAHqTCQyEA4FJjx0q5uZK/v6srAVAKpk0H4Fkee8zVFQAoB5OQAQAAy3DGAhU2fQVzNKBs/HygLPxsVA8ECwAe5boTmbIVFcnUqKEzdeu5uhwAFyFYAPAoQ39/rwJ++lE5IWF674O1ri4HwEW4xgIAAFiGYAEAACxDsAAAAJYhWAAAAMsQLAAAgGUIFgAAwDIECwAAYBmCBQAAsAzBAgAAWIYnbwLwKP+akqwahYUq8vJydSkASkGwAOBRTkU2cXUJAMrBUAgAALAMwQIAAFiGoRAAHqXFqv9VzfxzKrDX0t7bBri6HAAXIVgA8Ci3vPeGY9p0ggXgfhgKAQAAliFYAAAAyxAsAACAZQgWAADAMgQLAABgGYIFAACwDMECAABYhmABAAAswwOyAHiUvNohTl8BuBeCBQCP8sHMj11dAoByMBQCAAAsQ7AAAACWIVgAAADLcI0FAI/S882xqpVzWucCgrVy9GuuLgfARQgWADxK429SHNOmA3A/DIUAAADLECwAAIBlCBYAAMAyBAsAAGAZggUAALAMwQIAAFiGYAEAACxDsAAAAJbhAVkAPMre7v1lz81Wvn+gq0sBUIoKB4u1a9fqjTfe0NatW3X06FEtWbJEd911VyWUBgAlrXtsjKtLAFCOCg+FnDlzRm3bttXMmTMrox4AAODBKnzGol+/furXr19l1AIAADxcpV9jkZ+fr/z8fMfr7Ozsyt4lAABwkUq/K2TSpEkKCgpyLJGRkZW9SwBVWMLDfTXyrvZKeLivq0sBUIpKDxZJSUnKyspyLBkZGZW9SwBVWM1zebLnnVHNc3muLgVAKSp9KMRut8tut1f2bgAAgBvgAVkAAMAyFT5jkZubq9TUVMfr9PR0bdu2TXXq1FHDhg0tLQ4AAHiWCgeLLVu2qEePHo7XiYmJkqSEhAQlJydbVhgAAPA8FQ4W3bt3lzGmMmoBAAAejmssAACAZQgWAADAMgQLAABgGaZNB+BRVj41Xt7nz+lnn1quLgVAKQgWADxK+s09Lt0IgMswFAIAACxDsAAAAJZhKASAR6m3b5e8fi5QoXdNZTaPcXU5AC5CsADgUe58daQCfvpROSFheu+Dta4uB8BFGAoBAACWIVgAAADLECwAAIBlCBYAAMAyBAsAAGAZggUAALAMwQIAAFiGYAEAACxDsAAAAJbhyZsAPMr89z6XzUjG5upKAJSGYAHAoxT4+bu6BADlYCgEAABYhmABAAAsw1AIAI/S/p/z5JOXq/N+/vr23uGuLgfARQgWADxK+4/nOaZNJ1gA7oehEAAAYBmCBQAAsAzBAgAAWIZgAQAALEOwAAAAliFYAAAAyxAsAACAZQgWAADAMjwgC4BHyWzaSjmh4TobVNvVpQAoBcECgEdZ+tpsV5cAoBwMhQAAAMsQLAAAgGUIFgAAwDJcYwHAo9w59nH5Zp3S2aDaXG8BuCGCBQCPUi91t2PadADuh6EQAABgGYIFAACwDMECAABYhmABAAAsc0XBYubMmYqKilKtWrXUuXNnffPNN1bXBQAAPFCFg8VHH32kxMREjRs3Tt9++63atm2rPn36KDMzszLqAwAAHqTCwWLatGkaMWKEhg8frlatWmn27Nny8/PT3LlzK6M+AADgQSr0HIvz589r69atSkpKcrxXo0YN9erVSxs2bCj1M/n5+crPz3e8zsrKkiRlZ2dfSb3lOncm1/JtVrbK+D5UNk/8PqNs5lyRdF4yRUUecWyzi4pkJOV4SL2e9v2F56us3yvF2zXGlN/QVMCRI0eMJPP11187vf/888+bTp06lfqZcePGGUksLCwsLCwsVWDJyMgoNytU+pM3k5KSlJiY6HhdVFSkkydPqm7durLZbJbtJzs7W5GRkcrIyFBgYKBl2/UE1bXv9Lt69Vuqvn2vrv2Wqm/f3bHfxhjl5OQoIiKi3HYVChYhISHy8vLSjz/+6PT+jz/+qPr165f6GbvdLrvd7vRecHBwRXZbIYGBgW5zEK616tp3+l39VNe+V9d+S9W37+7W76CgoEu2qdDFmz4+PurQoYNWrlzpeK+oqEgrV65UXFxcxSsEAABVSoWHQhITE5WQkKCOHTuqU6dOevPNN3XmzBkNHz68MuoDAAAepMLBYsiQITp+/LjGjh2rY8eO6cYbb9SyZcsUFubamQbtdrvGjRtXYtilOqiufaff1avfUvXte3Xtt1R9++7J/baZS943AgAAcHmYKwQAAFiGYAEAACxDsAAAAJYhWAAAAMu4LFjMmjVLsbGxjod/xMXF6YsvvnCsP3funEaNGqW6devK399fgwYNKvFgrkOHDql///7y8/NTvXr19Pzzz+vnn392apOSkqL27dvLbreradOmSk5OLlHLtZ4G/lJ97969u2w2m9Py+OOPO23DU/v+a5MnT5bNZtPo0aMd71Xl416stH5X1WP+6quvluhXy5YtHeur6vG+VL+r6vEuduTIET344IOqW7eufH191aZNG23ZssWx3hijsWPHKjw8XL6+vurVq5f279/vtI2TJ08qPj5egYGBCg4O1iOPPKLcXOe5Vnbs2KFbbrlFtWrVUmRkpKZOnVqilsWLF6tly5aqVauW2rRpo88//7xyOq1L9/uhhx4qcdz79u3rtA1P7HcJFZkrxEpLly41//73v82+ffvM3r17zUsvvWRq1qxpdu3aZYwx5vHHHzeRkZFm5cqVZsuWLebmm282v/nNbxyf//nnn01MTIzp1auX+c9//mM+//xzExISYpKSkhxtDhw4YPz8/ExiYqLZvXu3+ctf/mK8vLzMsmXLHG0WLlxofHx8zNy5c813331nRowYYYKDg82PP/7osr7feuutZsSIEebo0aOOJSsrq0r0vdg333xjoqKiTGxsrHn66acd71fl415ev6vqMR83bpxp3bq1U7+OHz/uWF9Vj/el+l1Vj7cxxpw8edI0atTIPPTQQ2bTpk3mwIEDZvny5SY1NdXRZvLkySYoKMh88sknZvv27ebOO+80jRs3NmfPnnW06du3r2nbtq3ZuHGjWbdunWnatKkZOnSoY31WVpYJCwsz8fHxZteuXebDDz80vr6+5p133nG0Wb9+vfHy8jJTp041u3fvNn/4wx9MzZo1zc6dO13S74SEBNO3b1+n437y5Emn7Xhav0vjsmBRmtq1a5v33nvPnD592tSsWdMsXrzYsW7Pnj1GktmwYYMxxpjPP//c1KhRwxw7dszRZtasWSYwMNDk5+cbY4x54YUXTOvWrZ32MWTIENOnTx/H606dOplRo0Y5XhcWFpqIiAgzadKkSuljWYr7bsyFf3R+/UvnYp7e95ycHNOsWTOzYsUKp75W9eNeVr+NqbrHfNy4caZt27alrqvKx7u8fhtTdY+3McaMGTPGdO3atcz1RUVFpn79+uaNN95wvHf69Gljt9vNhx9+aIwxZvfu3UaS2bx5s6PNF198YWw2mzly5Igxxpi//vWvpnbt2o7vR/G+W7Ro4Xg9ePBg079/f6f9d+7c2fzud7+7uk6W4lL9NuZCsBg4cGCZ6z2x36Vxi2ssCgsLtXDhQp05c0ZxcXHaunWrCgoK1KtXL0ebli1bqmHDho7p2Tds2KA2bdo4PZirT58+ys7O1nfffedo8+ttFLcp3kbxNPC/bnOpaeCtdnHfiy1YsEAhISGKiYlRUlKS8vLyHOs8ve+jRo1S//79S9RX1Y97Wf0uVlWP+f79+xUREaEmTZooPj5ehw4dklT1j3dZ/S5WVY/30qVL1bFjR913332qV6+e2rVrpzlz5jjWp6en69ixY051BQUFqXPnzk7HPTg4WB07dnS06dWrl2rUqKFNmzY52nTr1k0+Pj6ONn369NHevXt16tQpR5vyvkfXst/FUlJSVK9ePbVo0UJPPPGETpw44Vjnif0uTaXPblqenTt3Ki4uTufOnZO/v7+WLFmiVq1aadu2bfLx8SkxWVlYWJiOHTsmSTp27FiJp30Wv75Um+zsbJ09e1anTp1SYWFhqW2+//57K7taQll9l6QHHnhAjRo1UkREhHbs2KExY8Zo7969+vjjj8vtV/G68tq4uu8LFy7Ut99+q82bN5dYd+zYsSp73Mvrt1R1j3nnzp2VnJysFi1a6OjRoxo/frxuueUW7dq1q0of7/L6HRAQUGWPtyQdOHBAs2bNUmJiol566SVt3rxZTz31lHx8fJSQkOCov7S6ft23evXqOa339vZWnTp1nNo0bty4xDaK19WuXbvM71HxNqx0qX5LUt++fXXPPfeocePGSktL00svvaR+/fppw4YN8vLy8sh+l8alwaJFixbatm2bsrKy9M9//lMJCQlas2aNK0u6Zsrqe6tWrfTYY4852rVp00bh4eHq2bOn0tLSdMMNN7iw6quTkZGhp59+WitWrFCtWrVcXc41czn9rqrHvF+/fo4/x8bGqnPnzmrUqJEWLVokX19fF1ZWucrr9yOPPFJlj7d0YWLKjh07auLEiZKkdu3aadeuXZo9e7bjF2xVdDn9vv/++x3t27Rpo9jYWN1www1KSUlRz549XVJ3ZXDpUIiPj4+aNm2qDh06aNKkSWrbtq3eeust1a9fX+fPn9fp06ed2v96evb69euXOn178bry2gQGBsrX1/eKpoG3Sll9L03nzp0lSampqZI8t+9bt25VZmam2rdvL29vb3l7e2vNmjV6++235e3trbCwsCp53C/V78LCwhKfqSrH/GLBwcFq3ry5UlNTq8Xf82K/7ndpqtLxDg8Pd5x9LRYdHe0YCired3l11a9fX5mZmU7rf/75Z508edKSn43K6P+l+l2aJk2aKCQkxOm4e1q/S+MW11gUKyoqUn5+vjp06KCaNWs6Tc++d+9eHTp0yHEdQlxcnHbu3Ol0EFasWKHAwEDHwY2Li3PaRnGb4m240zTwxX0vzbZt2yRd+MGVPLfvPXv21M6dO7Vt2zbH0rFjR8XHxzv+XBWP+6X67eXlVeIzVeWYXyw3N1dpaWkKDw+vVn/Pf93v0lSl492lSxft3bvX6b19+/apUaNGkqTGjRurfv36TnVlZ2dr06ZNTsf99OnT2rp1q6PNqlWrVFRU5AhhcXFxWrt2rQoKChxtVqxYoRYtWqh27dqONuV9j6x0qX6X5vDhwzpx4oTTcfe0fpfqmlwiWooXX3zRrFmzxqSnp5sdO3aYF1980dhsNvN///d/xpgLt6E1bNjQrFq1ymzZssXExcWZuLg4x+eLb8fq3bu32bZtm1m2bJkJDQ0t9Xas559/3uzZs8fMnDmz1Nux7Ha7SU5ONrt37zaPPfaYCQ4Odroa+1r2PTU11bz22mtmy5YtJj093Xz66aemSZMmplu3blWi7xe7+Or4qnzcy+p3VT7mzz77rElJSTHp6elm/fr1plevXiYkJMRkZmYaY6ru8S6v31X5eBtz4ZZqb29vM2HCBLN//36zYMEC4+fnZ/7xj3842kyePNkEBwebTz/91OzYscMMHDiw1NtN27VrZzZt2mS++uor06xZM6fbLk+fPm3CwsLMsGHDzK5du8zChQuNn59fidsuvb29zZ/+9CezZ88eM27cuEq77fJS/c7JyTHPPfec2bBhg0lPTzdffvmlad++vWnWrJk5d+6cx/a7NC4LFg8//LBp1KiR8fHxMaGhoaZnz56OUGGMMWfPnjUjR440tWvXNn5+fubuu+82R48eddrGwYMHTb9+/Yyvr68JCQkxzz77rCkoKHBqs3r1anPjjTcaHx8f06RJEzNv3rwStfzlL38xDRs2ND4+PqZTp05m48aNldLnYuX1/dChQ6Zbt26mTp06xm63m6ZNm5rnn3/e6R53Yzy37xe7OFhU5eP+a7/ud1U+5kOGDDHh4eHGx8fHNGjQwAwZMsTpvv6qerzL63dVPt7F/vd//9fExMQYu91uWrZsad59912n9UVFReaVV14xYWFhxm63m549e5q9e/c6tTlx4oQZOnSo8ff3N4GBgWb48OEmJyfHqc327dtN165djd1uNw0aNDCTJ08uUcuiRYtM8+bNjY+Pj2ndurX597//bX2H/7/y+p2Xl2d69+5tQkNDTc2aNU2jRo3MiBEjSoQ8T+z3xZg2HQAAWMatrrEAAACejWABAAAsQ7AAAACWIVgAAADLECwAAIBlCBYAAMAyBAsAAGAZggUAALAMwQIAAFiGYAEAACxDsAAAAJYhWAAAAMv8P64QgbPBicM/AAAAAElFTkSuQmCC\n",
      "text/plain": [
       "<Figure size 640x480 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "visualize_output(sample_data, sample_mean, confidence_interval, 'confidence')"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "7663a3a2-0441-4584-aaad-52cc517aba55",
   "metadata": {},
   "source": [
    "## The Bayesian Way"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "4e597e38-6c5e-4236-b90d-e599a5b310c8",
   "metadata": {},
   "source": [
    "As an example of applying a Bayesian approach to a problem, consider the task of estimating the mean income of a population based on a sample of data. In this case, the goal is to use the sample data and any available prior knowledge to make inferences about the true mean income of the population.\n",
    "\n",
    "One way to approach this problem using a Bayesian approach is through the use of Bayes' theorem, which allows us to update our belief about the value of the population mean income based on the observed data. Bayes' theorem states that the posterior probability of a hypothesis given some data is equal to the prior probability of the hypothesis multiplied by the likelihood of the data given the hypothesis, normalized by the marginal probability of the data. This can be written mathematically as:\n",
    "\n",
    "$P(\\theta|x) = \\frac{P(\\theta)P(x|\\theta)}{P(x)}$\n",
    "\n",
    "where $\\theta$ is the population mean income, $x$ is the observed data (i.e., the sample of income values), and $P(\\theta|x)$, $P(x|\\theta)$, $P(\\theta)$, and $P(x)$ are the posterior probability, likelihood, prior probability, and marginal probability, respectively.\n",
    "\n",
    "To apply this approach to the income example, we must first specify a prior distribution over the population mean income, $P(\\theta)$. This prior distribution represents our belief about the value of the population mean income before we observe the data. The choice of prior distribution will depend on any available prior knowledge and the characteristics of the data-generating process. For example, if we have strong prior knowledge that the population mean income is normally distributed with a mean of $40,000$ and a standard deviation of $5,000$, we could use a normal prior distribution with these parameters."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "id": "cd97561b-86df-4198-9b5e-507711d47b93",
   "metadata": {},
   "outputs": [],
   "source": [
    "mu_prior = 40000.\n",
    "sigma_prior = 5000.\n",
    "prior = tfd.Normal(loc=mu_prior, scale=sigma_prior)"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "7fc3bde9-3841-42a6-99f2-9ed9bc9dd1ca",
   "metadata": {},
   "source": [
    "The likelihood function, $P(x|\\theta)$, represents the probability of observing the sample data, $x$, given a particular value of the population mean income, $\\theta$. Since the sample data are assumed to be independent and identically distributed (i.i.d.), the likelihood function is simply the product of the individual probability density functions of the sample values. For example, if the sample data are normally distributed with a known standard deviation, $\\sigma$, the likelihood function is a normal distribution with mean equal to the population mean income, $\\theta$, and standard deviation equal to the sample standard deviation:\n",
    "\n",
    "$P(x|\\theta) = \\prod_{i=1}^n \\mathcal{N}(x_i|\\theta, \\sigma)$"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "id": "c7fc2315-75e5-4167-8c4a-7ebd392e8ece",
   "metadata": {},
   "outputs": [],
   "source": [
    "mu_likelihood = np.mean(sample_data)\n",
    "sigma_likelihood = np.std(sample_data)\n",
    "likelihood = tfd.Normal(loc=np.mean(sample_data), scale=np.std(sample_data))"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "b4432af2-f2da-4503-8fba-6ce52256e67a",
   "metadata": {},
   "source": [
    "Next, we use Bayes' theorem to compute the posterior distribution:\n",
    "\n",
    "$P(\\theta|x) = \\frac{ \\mathcal{N}(\\theta)\\prod_{i=1}^n \\mathcal{N}(x_i|\\theta)}{P(x)}$\n",
    "\n",
    "The posterior distribution can be used to make probabilistic predictions and to quantify the uncertainty surrounding the estimate of the population mean income. For example, we can use the posterior distribution to compute the posterior mean and posterior standard deviation as estimates of the population mean income and the uncertainty around the estimate, respectively.\n",
    "\n",
    "As we saw above, the posterior distribution is a result of multiplying two Gaussian distributions. For us to accomplish that, we need to introduce one more concept - conjugate distributions. In our case, we have a normal-normal conjugate family which is a parametric family of distributions where the prior distribution and the likelihood function are both normal distributions. This class of models has several attractive properties, including the ability to analytically compute the posterior distribution and the closed-form solution for the maximum a posteriori (MAP) estimate.\n",
    "\n",
    "The posterior distribution is defined as the distribution of the model parameters (in this case, the mean $\\mu$ and standard deviation $\\sigma$ of the normal distribution) given the observed data $y$. The mean and standard deviation of the posterior distribution can be calculated using the following equations:\n",
    "\n",
    "$$\\sigma_{\\text{post}}^2 = \\frac{1}{\\frac{n}{\\sigma^2} + \\frac{1}{\\sigma_0^2}}$$\n",
    "\n",
    "\n",
    "$$\\mu_{\\text{post}} = \\sigma_{\\text{post}}^2 \\big( \\frac{\\mu_0}{\\sigma_0^2} + \\frac{n \\mu_l}{\\sigma_l^2} \\big)$$\n",
    "\n",
    "where $\\mu_0$ and $\\sigma_0^2$ are the mean and variance of the prior distribution, respectively, $mu_l$ and $\\sigma_l^2$ are the mean and the variance of the likelihood function and $n$ is the sample size.\n",
    "\n",
    "These equations assume that the prior distribution and the likelihood function are both normal distributions, as is the case in a normal-normal conjugate model. If the prior and likelihood are not normal, or if the posterior distribution does not have a closed-form solution, these parameters can be approximated using techniques such as Markov Chain Monte Carlo (MCMC) sampling.\n",
    "\n",
    "We are ready to implement our new equations."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "id": "bd65f8f2-e9c2-4dc7-abd9-97f5069e3429",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(45801.615148780984, 52224.89311258316)"
      ]
     },
     "execution_count": 18,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "# Compute the posterior distribution using Bayes' theorem\n",
    "var_posterior = 1 / ((sample_size/(sigma_likelihood**2)) + (1/(sigma_prior**2)))\n",
    "mu_posterior = var_posterior * (mu_prior/(sigma_prior**2) + (sample_size*mu_likelihood)/(sigma_likelihood**2))\n",
    "posterior = tfd.Normal(mu_posterior, tf.sqrt(var_posterior))\n",
    "credible_interval = (posterior.quantile(0.025).numpy(), posterior.quantile(0.975).numpy())\n",
    "credible_interval"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "df7538ed-88ce-4581-ba44-862c7759895e",
   "metadata": {},
   "source": [
    "We can see how updating our prior belief with data resulted in our posterior distribution."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "id": "8e1e272d-f50b-4b3b-8c3a-3da933876f58",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAkYAAAGdCAYAAAD3zLwdAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjYuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8o6BhiAAAACXBIWXMAAA9hAAAPYQGoP6dpAAB+bUlEQVR4nO3dd3xT5eIG8CejSbrSQemCUgqUsimrtYCgl2oZCjgBUYYIDlS8uMB7FdcV5+9y9argAgeKclVApliWQilQNoWyyu6iI+luxvv74zSBQIEWmmY938/nWJvz5pz3NDR5+q4jE0IIEBERERHkjq4AERERkbNgMCIiIiKqxWBEREREVIvBiIiIiKgWgxERERFRLQYjIiIioloMRkRERES1GIyIiIiIaikdXQFXYzabce7cOfj7+0Mmkzm6OkRERFQPQgiUlpYiMjIScvmV24UYjBro3LlziIqKcnQ1iIiI6DqcPn0aLVu2vOJ+BqMG8vf3ByD9YLVarYNrQ0RERPWh1+sRFRVl/Ry/EgajBrJ0n2m1WgYjIiIiF3OtYTDXNfj6448/RuvWraHRaJCYmIht27ZdtfzixYvRoUMHaDQadO3aFStXrrTZL4TAK6+8goiICHh7eyM5ORlHjhyxKVNUVISxY8dCq9UiMDAQkyZNQllZmXX/hg0bMGLECERERMDX1xfx8fFYuHChzTEWLFgAmUxms2k0muv5ERAREZEbanAw+vHHHzF9+nTMmjULO3fuRPfu3ZGSkoL8/Pw6y2/ZsgVjxozBpEmTsGvXLowcORIjR47E/v37rWXeffddfPjhh5g7dy7S09Ph6+uLlJQUVFVVWcuMHTsWBw4cwNq1a7F8+XJs2rQJU6ZMsTlPt27d8PPPP2Pv3r2YOHEixo0bh+XLl9vUR6vVIicnx7qdPHmyoT8CIiIicleigRISEsTUqVOt35tMJhEZGSlmz55dZ/n7779fDBs2zOaxxMRE8eijjwohhDCbzSI8PFy899571v0lJSVCrVaLH374QQghRGZmpgAgtm/fbi2zatUqIZPJxNmzZ69Y16FDh4qJEydav58/f74ICAio/8XWQafTCQBCp9Pd0HGIiIio6dT387tBY4xqamqQkZGBmTNnWh+Ty+VITk5GWlpanc9JS0vD9OnTbR5LSUnBkiVLAADZ2dnIzc1FcnKydX9AQAASExORlpaG0aNHIy0tDYGBgejdu7e1THJyMuRyOdLT03HXXXfVeW6dToeOHTvaPFZWVobo6GiYzWb07NkTb731Fjp37nzFa66urkZ1dbX1e71ef8WyRETkGkwmEwwGg6OrQY1IoVBAqVTe8FI6DQpG58+fh8lkQlhYmM3jYWFhOHToUJ3Pyc3NrbN8bm6udb/lsauVCQ0Nta24Uong4GBrmUv99NNP2L59O+bNm2d9LC4uDl999RW6desGnU6H999/H3379sWBAweuOHVv9uzZeO211+rcR0RErqesrAxnzpyBEMLRVaFG5uPjg4iICKhUqus+hlvOSlu/fj0mTpyIzz//3KY1KCkpCUlJSdbv+/bti44dO2LevHl444036jzWzJkzbVq8LNP9iIjI9ZhMJpw5cwY+Pj5o3rw5F+p1E0II1NTUoKCgANnZ2YiNjb3qIo5X06BgFBISAoVCgby8PJvH8/LyEB4eXudzwsPDr1re8jUvLw8RERE2ZeLj461lLh3cbTQaUVRUdNl5N27ciDvvvBP//ve/MW7cuKtej5eXF3r06IGjR49esYxarYZarb7qcYiIyDUYDAYIIdC8eXN4e3s7ujrUiLy9veHl5YWTJ0+ipqbmumedNyhOqVQq9OrVC6mpqdbHzGYzUlNTbVpiLpaUlGRTHgDWrl1rLR8TE4Pw8HCbMnq9Hunp6dYySUlJKCkpQUZGhrXMunXrYDabkZiYaH1sw4YNGDZsGN555x2bGWtXYjKZsG/fPptARkRE7o8tRe7peluJLtbgrrTp06dj/Pjx6N27NxISEjBnzhyUl5dj4sSJAIBx48ahRYsWmD17NgBg2rRpGDhwID744AMMGzYMixYtwo4dO/DZZ58BkP5xPvPMM3jzzTcRGxuLmJgYvPzyy4iMjMTIkSMBAB07dsTgwYMxefJkzJ07FwaDAU8++SRGjx6NyMhIAFL32R133IFp06bhnnvusY49UqlUCA4OBgC8/vrruOmmm9CuXTuUlJTgvffew8mTJ/HII4/c2E+RiIiI3MP1THn76KOPRKtWrYRKpRIJCQli69at1n0DBw4U48ePtyn/008/ifbt2wuVSiU6d+4sVqxYYbPfbDaLl19+WYSFhQm1Wi0GDRoksrKybMoUFhaKMWPGCD8/P6HVasXEiRNFaWmpdf/48eMFgMu2gQMHWss888wz1nqHhYWJoUOHip07dzbo2jldn4jIdVVWVorMzExRWVnp6KqQHVzt9a3v57dMCA7Lbwi9Xo+AgADodDreEoSIyMVUVVUhOzsbMTExbn/ng9atW+OZZ57BM8884+iqNJmrvb71/fy+8c44IiIisqsJEyZYb2WlUqnQrl07vP766zAajVd8zvbt2+s13pZsueV0fSIiANiVvwubzmxCp2adkNwqmQNuyaUNHjwY8+fPR3V1NVauXImpU6fCy8vLZtFlQFqMWaVSoXnz5jd0PstxPA1bjIjILf127DeMWzUOX+z7AtM3TMd7O95zdJXICQkhUFFjdMjW0JEsarUa4eHhiI6OxuOPP47k5GQsW7YMEyZMwMiRI/Gvf/0LkZGRiIuLAyB1pc2ZM8f6/FOnTmHEiBHw8/ODVqvF/fffb7Oczquvvor4+Hh88cUXHtHVeCVsMSIit1NYWYi30t8CAPQI7YFd+bvwbea3uD36dsSHxju2cuRUKg0mdHpljUPOnfl6CnxU1/8x7O3tjcLCQgBAamoqtFot1q5dW2dZs9lsDUUbN26E0WjE1KlTMWrUKGzYsMFa7ujRo/j555/xyy+/QKFQXHfdXBmDERG5nc/2foYyQxk6BnfE/JT5eGPrG/j5yM/4d8a/8fWQrx1dPaIbIoRAamoq1qxZg6eeegoFBQXw9fXFF198ccWur9TUVOzbtw/Z2dnWuzd888036Ny5M7Zv344+ffoAkLrPvvnmmxvuhnNlDEZE5FaqjFX47dhvAIBnej4DhVyBJ+KfwNJjS7EzfyeOFB9BbFCsg2tJzsLbS4HM11Mcdu6GWL58Ofz8/GAwGGA2m/HAAw/g1VdfxdSpU9G1a9erjgc6ePAgoqKibG5p1alTJwQGBuLgwYPWYBQdHe3RoQhgMCIiN7P25FqUGkrRwq8Fboq8CQAQ6hOKAS0GYN3pdVh2bBme7f2sg2tJzkImk91Qd1ZTuvXWW/Hpp59CpVIhMjISSuWFevv6+jbKORrrOK6Mg6+JyK38cfIPAMDwtsMhl114ixvebjgAYFX2Kt5VnVySr68v2rVrh1atWtmEovro2LEjTp8+jdOnT1sfy8zMRElJCTp16tTYVXVpDEZE5DZqTDVIy0kDANwSdYvNvn6R/aBWqJFXkYejJVe+cTSRO0pOTkbXrl0xduxY7Ny5E9u2bcO4ceMwcOBA9O7d29HVcyoMRkTkNjLyMlBprESIdwg6BHew2adRatA7XPoA2Hx2syOqR+QwMpkMS5cuRVBQEAYMGIDk5GS0adMGP/74o6Or5nRco2OViKgetuVuAyC1Dl3cjWbRP7I/Np/djM3nNmNClwlNXDui67dgwYIG7ztx4oTN961atcLSpUuveJxXX30Vr776asMr52bYYkREbmNPwR4AQM+wnnXuT4hIAADsLdgLo/nKt1IgIs/FYEREbsFoNmL/+f0AgO7Nu9dZpm1AW/h5+aHCWIEjxUeasnpE5CIYjIjILRwuPoxKYyX8Vf6ICYips4xCrrCGpl35u5qyekTkIhiMiMgt7M7fDQDo1rxbneOLLCy3BLF0uxERXYzBiIjcgiXoXKkbzaJzs84AgENFh+xeJyJyPQxGROQWDhQeAAB0D7l6MLJM4z+hP4FKY6Xd60VEroXBiIhcXqWxEqf0pwAA7YPbX7VsiHcIgjXBMAszjhZzoUcissVgREQu71jJMQgIBGuCEeIdctWyMpnM2mqUVZzVFNUjIhfCYERELs8y9T42KLZe5eOC4wBwnBG5B5lMhiVLlgCQFnWUyWTYvXu3XY63YcMGyGQylJSU3FCdr8err76K+Ph4u5+HK18Tkcs7XHwYANA+6OrdaBZxQVIwyipiixG5hgkTJqCkpMQaWC6Wk5ODoKAgu5w3KioKOTk5CAm5ekusO2EwIiKXZ20xCqxfi9HFXWlmYb7q9H4iZxceHm63YysUCrse3xnx3YCIXJoQ4kKL0TUGXltEa6OhlCtRaaxEbnmuPatHZHcXd31dymQy4eGHH0aHDh1w6pQ0QWHp0qXo2bMnNBoN2rRpg9deew1GY923yLlS11xGRgZ69+4NHx8f9O3bF1lZtq2vn376Kdq2bQuVSoW4uDh8++23NvtPnTqFESNGwM/PD1qtFvfffz/y8vJsyrz99tsICwuDv78/Jk2ahKqqqgb8VK4fgxERubTCqkIUVxdDLpOjbUDbej1HKVci2j8aAJCty7Zn9cjZCQHUlDtmE8Kul1ZdXY377rsPu3fvxp9//olWrVrhzz//xLhx4zBt2jRkZmZi3rx5WLBgAf71r3816Nj/+Mc/8MEHH2DHjh1QKpV4+OGHrft+/fVXTJs2Dc8++yz279+PRx99FBMnTsT69esBAGazGSNGjEBRURE2btyItWvX4vjx4xg1apT1GD/99BNeffVVvPXWW9ixYwciIiLwySefNM4P5hrYlUZELs0SbFr4tYBGqan381oHtMYx3TGc0J9Avxb97FU9cnaGCuCtSMec+6VzgMrXLocuKyvDsGHDUF1djfXr1yMgIAAA8Nprr2HGjBkYP348AKBNmzZ444038MILL2DWrFn1Pv6//vUvDBw4EAAwY8YMDBs2DFVVVdBoNHj//fcxYcIEPPHEEwCA6dOnY+vWrXj//fdx6623IjU1Ffv27UN2djaioqIAAN988w06d+6M7du3o0+fPpgzZw4mTZqESZMmAQDefPNN/PHHH03SasQWIyJyaSf0JwAArbWtG/Q8y/3U2GJE7mjMmDEoLy/H77//bg1FALBnzx68/vrr8PPzs26TJ09GTk4OKioq6n38bt26Wf8/IiICAJCfnw8AOHjwIPr1s/1jo1+/fjh48KB1f1RUlDUUAUCnTp0QGBhoUyYxMdHmGElJSfWu341gixERubSTupMApHFDDWEJUid0Jxq5RuRSvHyklhtHndtOhg4diu+++w5paWn429/+Zn28rKwMr732Gu6+++7LnqPR1L/F1cvLy/r/MpkMgNRF5g4YjIjIpbHFiG6ITGa37ixHevzxx9GlSxcMHz4cK1assHZ79ezZE1lZWWjXrp3dzt2xY0ds3rzZ2l0HAJs3b0anTp2s+0+fPo3Tp09bW40yMzNRUlJiUyY9PR3jxo2zHmPr1q12q/PFGIyIyKWd1EstRq0DWjfoeZby+ZX5KDeUw9fL/T4cyb3odLrLZoc1a9bsiuWfeuopmEwm3HHHHVi1ahX69++PV155BXfccQdatWqFe++9F3K5HHv27MH+/fvx5ptvNko9n3/+edx///3o0aMHkpOT8dtvv+GXX37BH3/8AQBITk5G165dMXbsWMyZMwdGoxFPPPEEBg4ciN69ewMApk2bhgkTJqB3797o168fFi5ciAMHDqBNmzaNUserYTAiIpdlMBtwpvQMgIZ3pWlVWjTTNENhVSFO6E6gc0hne1SRqNFs2LABPXr0sHnMMjj5Sp555hmYzWYMHToUq1evRkpKCpYvX47XX38d77zzDry8vNChQwc88sgjjVbPkSNH4j//+Q/ef/99TJs2DTExMZg/fz5uueUWAFLX29KlS/HUU09hwIABkMvlGDx4MD766CPrMUaNGoVjx47hhRdeQFVVFe655x48/vjjWLNmTaPV80pkQth5vqCb0ev1CAgIgE6ng1ardXR1iDzaSf1J3PHrHfBWemPrA1sbvFDjhNUTkJGXgbf6v4U7295pp1qSM6mqqkJ2djZiYmIaNKaGXMPVXt/6fn5zVhoRuSxLN1or/1bXtXq1pZXpTNmZRq0XEbkuBiMiclmWgdMNHV9k0dKvJQBYu+OIiBiMiMhlWQJNlH/UNUrWraU/gxER2WIwIiKXdbbsLABp1evrwRYjIroUgxERuawbDUaWlqb8ynxUGZvmBpVE5NwYjIjIJQkhcK5MWrH4eoNRgDoAfl5+AC6ELCLybAxGROSSCqsKUWWqggwyRPhGXNcxZDIZxxkRkQ0GIyJySZYWnjDfMHgpvK5R+sos3WmnS083Sr2IyLUxGBGRS7J0o0X6Rt7QcawDsLmWERGBwYiIXJSlxcjSFXa9LM9nixHRjXv11VcRHx/v6GrcEAYjInJJljFBkX431mJkeX5Oec4N14nIXiZMmACZTAaZTAaVSoV27drh9ddfh9FovKHjbtiwATKZDCUlJY1Sz+eeew6pqamNcixH4U1kicgl3ehUfQvLwO3cstwbrhORPQ0ePBjz589HdXU1Vq5cialTp8LLywszZ850dNUghIDJZIKfnx/8/Pxu6FgGgwFeXtc/bvBGscWIiFzSjU7Vt7AEo1JDKUprSm+4XkT2olarER4ejujoaDz++ONITk7GsmXLUFxcjHHjxiEoKAg+Pj4YMmQIjhw5Yn3eyZMnceeddyIoKAi+vr7o3LkzVq5ciRMnTuDWW28FAAQFBUEmk2HChAkAALPZjNmzZyMmJgbe3t7o3r07/ve//1mPaWlpWrVqFXr16gW1Wo2//vrrsq40s9mM119/HS1btoRarUZ8fDxWr15t3X/ixAnIZDL8+OOPGDhwIDQaDRYuXGjfH+Q1sMWIiFyOyWzCufLGCUY+Xj4IUAdAV61DTnkO/FX+jVFFchFCCFQaKx1ybm+lN2Qy2fU/39sbhYWFmDBhAo4cOYJly5ZBq9XixRdfxNChQ5GZmQkvLy9MnToVNTU12LRpE3x9fZGZmQk/Pz9ERUXh559/xj333IOsrCxotVp4e3sDAGbPno3vvvsOc+fORWxsLDZt2oQHH3wQzZs3x8CBA611mDFjBt5//320adMGQUFB2LBhg00d//Of/+CDDz7AvHnz0KNHD3z11VcYPnw4Dhw4gNjYWJvjfPDBB+jRowc0Gs11/0waA4MREbmcgsoCGM1GKGVKhPqE3vDxInwjoKvWIbc8F+2D2jdCDclVVBorkfh9okPOnf5AOny8fBr8PCEEUlNTsWbNGgwZMgRLlizB5s2b0bdvXwDAwoULERUVhSVLluC+++7DqVOncM8996Br164AgDZt2liPFRwcDAAIDQ1FYGAgAKC6uhpvvfUW/vjjDyQlJVmf89dff2HevHk2wej111/HbbfddsW6vv/++3jxxRcxevRoAMA777yD9evXY86cOfj444+t5Z555hncfffdDf5Z2AODERG5nIvXMFLKb/xtLNw3HIeKDiGnjAOwyXktX74cfn5+MBgMMJvNeOCBB3D33Xdj+fLlSEy8EO6aNWuGuLg4HDx4EADw9NNP4/HHH8fvv/+O5ORk3HPPPejWrdsVz3P06FFUVFRcFnhqamrQo0cPm8d69+59xePo9XqcO3cO/fr1s3m8X79+2LNnT72P09QYjIjI5TTW+CILyzgjzkzzPN5Kb6Q/kO6wczfErbfeik8//RQqlQqRkZFQKpVYtmzZNZ/3yCOPICUlBStWrMDvv/+O2bNn44MPPsBTTz1VZ/mysjIAwIoVK9Cihe3vmFqttvne19e3QddwJY11nMbAYERELievIg+A1NLTGBiMPJdMJruu7ixH8PX1Rbt27Wwe69ixI4xGI9LT061daYWFhcjKykKnTp2s5aKiovDYY4/hsccew8yZM/H555/jqaeegkqlAgCYTCZr2U6dOkGtVuPUqVM23WYNpdVqERkZic2bN9scZ/PmzUhISLju49obgxERuZzccmlqfZhPWKMcL8Ivwua4RK4iNjYWI0aMwOTJkzFv3jz4+/tjxowZaNGiBUaMGAFAGr8zZMgQtG/fHsXFxVi/fj06duwIAIiOjoZMJsPy5csxdOhQeHt7w9/fH8899xz+/ve/w2w2o3///tDpdNi8eTO0Wi3Gjx9f7/o9//zzmDVrFtq2bYv4+HjMnz8fu3fvdvjMs6thMCIil5NXzhYjIov58+dj2rRpuOOOO1BTU4MBAwZg5cqV1rWATCYTpk6dijNnzkCr1WLw4MH497//DQBo0aIFXnvtNcyYMQMTJ07EuHHjsGDBArzxxhto3rw5Zs+ejePHjyMwMBA9e/bESy+91KC6Pf3009DpdHj22WeRn5+PTp06YdmyZTYz0pyNTAghHF0JV6LX6xEQEACdTgetVuvo6hB5pPt/ux8Hiw7i40EfY0DLATd8vPyKfAxaPAgKmQI7HtzRKAO6yTlVVVUhOzsbMTExDp8WTo3vaq9vfT+/ucAjEbmcxu5KC/EOgVKuhEmYcL7yfKMck4hcE4MREbmUKmMViquLATReV5pcJreGLHanEXk2BiMicin5FfkApKnOWlXjdWdbxhlZlgIgIs/EYERELuXibrQbuZ3CpSL9IgGwxYjI0zEYEZFLsaxhFObbOOOLLCxdaZyyT+TZGIyIyKVYgku4T+OML7Kw3HOtoKKgUY9LzokTst1TY7yu1xWMPv74Y7Ru3RoajQaJiYnYtm3bVcsvXrwYHTp0gEajQdeuXbFy5Uqb/UIIvPLKK4iIiIC3tzeSk5Nx5MgRmzJFRUUYO3YstFotAgMDMWnSJOuy5QCwYcMGjBgxAhEREfD19UV8fHydC0hdqy5E5NysXWmN3GJkCUaWMUzknhQKBQDpvl/kfioqKgDAuobT9WjwYh0//vgjpk+fjrlz5yIxMRFz5sxBSkoKsrKyEBp6+V2ut2zZgjFjxmD27Nm444478P3332PkyJHYuXMnunTpAgB499138eGHH+Lrr79GTEwMXn75ZaSkpCAzM9O6DsHYsWORk5ODtWvXwmAwYOLEiZgyZQq+//5763m6deuGF198EWFhYVi+fDnGjRuHgIAA3HHHHfWuCxE5t8a+HYiFpSuNwci9KZVK+Pj4oKCgAF5eXpDL2XHiDoQQqKioQH5+PgIDA60B+Ho0eIHHxMRE9OnTB//9738BAGazGVFRUXjqqacwY8aMy8qPGjUK5eXlWL58ufWxm266CfHx8Zg7dy6EEIiMjMSzzz6L5557DgCg0+kQFhaGBQsWYPTo0Th48CA6deqE7du3W+/Au3r1agwdOhRnzpxBZGRknXUdNmwYwsLC8NVXX9WrLvXBBR6JHOveZfciqzgLnwz6BDe3vLnRjltQUYC/Lf4b5DI5Mh7M4CKPbqympgbZ2dkwm82Orgo1ssDAQISHh9c5MaO+n98N+s2vqalBRkYGZs6caX1MLpcjOTkZaWlpdT4nLS0N06dPt3ksJSUFS5YsAQBkZ2cjNzcXycnJ1v0BAQFITExEWloaRo8ejbS0NAQGBlpDEQAkJydDLpcjPT0dd911V53n1ul01vvB1KcudamurkZ1dbX1e71ef8WyRGR/9hp8HawJhkKmgEmYUFRVZO1aI/ejUqkQGxvL7jQ34+XldUMtRRYNCkbnz5+HyWRCWJjtG1JYWBgOHTpU53Nyc3PrLJ+bm2vdb3nsamUu7aZTKpUIDg62lrnUTz/9hO3bt2PevHn1rktdZs+ejddee+2K+4mo6VQaK1FSXQKg8bvSFHIFmnk3Q35FPvIr8hmM3JxcLuctQahObtm5un79ekycOBGff/45OnfufEPHmjlzJnQ6nXU7ffp0I9WSiBrKMmPMW+kNfy//Rj++ZZyRpVWKiDxPg4JRSEgIFAoF8vJs3zTy8vIQHl73X2/h4eFXLW/5eq0y+fm2AyKNRiOKioouO+/GjRtx55134t///jfGjRvXoLrURa1WQ6vV2mxE5BiWgdGhPqGNurijBWemEVGDgpFKpUKvXr2QmppqfcxsNiM1NRVJSUl1PicpKcmmPACsXbvWWj4mJgbh4eE2ZfR6PdLT061lkpKSUFJSgoyMDGuZdevWwWw2IzEx0frYhg0bMGzYMLzzzjuYMmVKg+tCRM6toFJqMWru3dwux+daRkTU4GkX06dPx/jx49G7d28kJCRgzpw5KC8vx8SJEwEA48aNQ4sWLTB79mwAwLRp0zBw4EB88MEHGDZsGBYtWoQdO3bgs88+AwDIZDI888wzePPNNxEbG2udrh8ZGYmRI0cCADp27IjBgwdj8uTJmDt3LgwGA5588kmMHj3aOiNt/fr1uOOOOzBt2jTcc8891nFDKpUKwcHB9aoLETk3S0tOcx/7BiN2pRF5MHEdPvroI9GqVSuhUqlEQkKC2Lp1q3XfwIEDxfjx423K//TTT6J9+/ZCpVKJzp07ixUrVtjsN5vN4uWXXxZhYWFCrVaLQYMGiaysLJsyhYWFYsyYMcLPz09otVoxceJEUVpaat0/fvx4AeCybeDAgQ2qy7XodDoBQOh0ugY9j4hu3Hvb3hNdFnQR7217zy7HX3p0qeiyoIt4ZM0jdjk+ETlOfT+/G7yOkafjOkZEjvPCphewKnsVnuv9HMZ3Ht/ox9+asxWTf5+MNgFtsHTk0kY/PhE5Tn0/v91yVhoRuSfL2B97TaXnGCMiYjAiIpdxvvI8APsNvrZM1y81lKLCUGGXcxCRc2MwIiKXcfF0fXvw9fKFj9LH5lxE5FkYjIjIJZQbylFhlFpxQrxD7HYermVE5NkYjIjIJViCip+XH3y8fOx2Hkt3Wn4lgxGRJ2IwIiKXYBkQba81jCzYYkTk2RiMiMglWFpwQr3te3NXBiMiz8ZgREQuoalajCzHZzAi8kwMRkTkEqz3SbNzMLKMMeJtQYg8E4MREbkE6+KOdu5KswSvwspCu56HiJwTgxERuQR730DWwrIUQEFFAXjHJCLPw2BERC7B0pVmr8UdLSzBqMZcg1JDqV3PRUTOh8GIiJyeEOLC4Gs73Q7EQq1Qw1/lD+DCLUiIyHMwGBGR0ys1lKLKVAXA/l1pwIVWo/MVDEZEnobBiIicnqW1SKvSQq1Q2/18llYpthgReR4GIyJyeva+eeylmnk3A3BhXBMReQ4GIyJyepaWG3vePPZilhYjTtkn8jwMRkTk9CzByN4Dry2sU/bZYkTkcRiMiMjpNXWLkXXwNccYEXkcBiMicnqWgGIZ+2NvDEZEnovBiIicXmGVNNaHwYiI7I3BiIicnmUQdFMPvi6pLoHBZGiScxKRc2AwIiKnZx1jpGmaYBSgDoBSrgRwobWKiDwDgxEROTWD2YCS6hIATdeVJpPJbG4mS0Seg8GIiJxaUWURAEApUyJAHdBk57W0TnGcEZFnYTAiIqd2vkoKJsHewZDLmu4tK8QnxOb8ROQZGIyIyKlZBl430zRNN5oFbyRL5JkYjIjIqTX1jDQLTtkn8kwMRkTk1Jp61WsLy5R93haEyLMwGBGRU3NUMLLMgOONZIk8C4MRETm1pr4diAVbjIg8E4MRETm1pr4diMXFY4yEEE16biJyHAYjInJq1sHXTbTqtYUlGBnMBuhr9E16biJyHAYjInJqjupKUylU0Kq0NnUgIvfHYERETqvKWIUyQxmAph98DXCcEZEnYjAiIqdlGV+kVqjh5+XX5OfnWkZEnofBiIiclrUbTdMMMpmsyc9v6b7j6tdEnoPBiIiclqPWMLKwdKWxxYjIczAYEZHTst4nrYkHXltYApmlS4+I3B+DERE5LUfdJ83C2pXGFiMij8FgREROy1FT9S0YjIg8D4MRETktSxdWUy/uaGHtSuP90og8BoMRETktRw++tpy3uLoYBrPBIXUgoqbFYERETsvRXWmB6kAoZAoAQFFlkUPqQERNi8GIiJySEMLhs9LkMjmaaWrHGVVxnBGRJ2AwIiKnVGGsQJWpCgCs4cQRLKGM44yIPAODERE5JUs3mo/SBz5ePg6rBwdgE3kWBiMickqOHnhtwSn7RJ6FwYiInJKjF3e04I1kiTwLgxEROSVHz0izYDAi8iwMRkTklKzByIEDrwF2pRF5GgYjInJK1lWvHd2VpuGNZIk8CYMRETklZxtjxFlpRJ6BwYiInJKzjTEqM5Sh0ljp0LoQkf0xGBGRU3KW6fq+Xr5QK9QA2GpE5AkYjIjI6QghnGaMkUwm48w0Ig/CYERETkdfo4fRbAQABGuCHVwb3haEyJMwGBGR07G0zGhVWqgUKgfX5sLMNLYYEbm/6wpGH3/8MVq3bg2NRoPExERs27btquUXL16MDh06QKPRoGvXrli5cqXNfiEEXnnlFURERMDb2xvJyck4cuSITZmioiKMHTsWWq0WgYGBmDRpEsrKyqz7q6qqMGHCBHTt2hVKpRIjR468rB4bNmyATCa7bMvNzb2eHwMR2YmzjC+ysHalVTEYEbm7BgejH3/8EdOnT8esWbOwc+dOdO/eHSkpKcjPz6+z/JYtWzBmzBhMmjQJu3btwsiRIzFy5Ejs37/fWubdd9/Fhx9+iLlz5yI9PR2+vr5ISUlBVVWVtczYsWNx4MABrF27FsuXL8emTZswZcoU636TyQRvb288/fTTSE5Ovuo1ZGVlIScnx7qFhoY29MdARHbkLFP1LThln8iDiAZKSEgQU6dOtX5vMplEZGSkmD17dp3l77//fjFs2DCbxxITE8Wjjz4qhBDCbDaL8PBw8d5771n3l5SUCLVaLX744QchhBCZmZkCgNi+fbu1zKpVq4RMJhNnz5697Jzjx48XI0aMuOzx9evXCwCiuLi43td7KZ1OJwAInU533ccgoqv7ev/XosuCLuL5Dc87uipCCCF+PPSj6LKgi3gq9SlHV4WIrlN9P78b1GJUU1ODjIwMmxYZuVyO5ORkpKWl1fmctLS0y1pwUlJSrOWzs7ORm5trUyYgIACJiYnWMmlpaQgMDETv3r2tZZKTkyGXy5Gent6QSwAAxMfHIyIiArfddhs2b9581bLV1dXQ6/U2GxHZl6XLytFrGFmwxYjIczQoGJ0/fx4mkwlhYWE2j4eFhV1xnE5ubu5Vy1u+XqvMpd1dSqUSwcHBDRofFBERgblz5+Lnn3/Gzz//jKioKNxyyy3YuXPnFZ8ze/ZsBAQEWLeoqKh6n4+Iro+zdaXxfmlEnkPp6Ao0pbi4OMTFxVm/79u3L44dO4Z///vf+Pbbb+t8zsyZMzF9+nTr93q9nuGIyM4swcjZWozOV56HEAIymczBNSIie2lQi1FISAgUCgXy8vJsHs/Ly0N4eHidzwkPD79qecvXa5W5dHC30WhEUVHRFc9bXwkJCTh69OgV96vVami1WpuNiOzL2WalNdNIAa3GXINSQ6mDa0NE9tSgYKRSqdCrVy+kpqZaHzObzUhNTUVSUlKdz0lKSrIpDwBr1661lo+JiUF4eLhNGb1ej/T0dGuZpKQklJSUICMjw1pm3bp1MJvNSExMbMglXGb37t2IiIi4oWMQUeOy3idN4xwtRhqlBv5e/gDYnUbk7hrclTZ9+nSMHz8evXv3RkJCAubMmYPy8nJMnDgRADBu3Di0aNECs2fPBgBMmzYNAwcOxAcffIBhw4Zh0aJF2LFjBz777DMA0nL7zzzzDN58803ExsYiJiYGL7/8MiIjI61rEXXs2BGDBw/G5MmTMXfuXBgMBjz55JMYPXo0IiMjrXXLzMxETU0NioqKUFpait27dwOQBlsDwJw5cxATE4POnTujqqoKX3zxBdatW4fff//9en9+RNTITGYTiquLAThPixEgdeuVGkpRWFmINgFtHF0dIrKTBgejUaNGoaCgAK+88gpyc3MRHx+P1atXWwdPnzp1CnL5hYaovn374vvvv8c///lPvPTSS4iNjcWSJUvQpUsXa5kXXngB5eXlmDJlCkpKStC/f3+sXr0aGo3GWmbhwoV48sknMWjQIMjlctxzzz348MMPbeo2dOhQnDx50vp9jx49AEgLSALSrLpnn30WZ8+ehY+PD7p164Y//vgDt956a0N/DERkJ8XVxTALM2SQIUgT5OjqWIV4h+CE/gRnphG5OZmwpAaqF71ej4CAAOh0Oo43IrKDrKIs3PvbvQjWBGPjqI2Oro7V8xufx+oTq/FinxfxYKcHHV0dImqg+n5+815pRORUnG1GmgWn7BN5BgYjInIqhVW1axhpnGd8EWA7ZZ+I3BeDERE5FeuMNGdrMaqdIccbyRK5NwYjInIqzraGkQVvC0LkGRiMiMipWLrSnGUNIwsGIyLPwGBERE7FWbvSLMGoqKoIJrPJwbUhInthMCIip+Kss9KCNEGQQQaTMKGkusTR1SEiO2EwIiKnYglGzjbGSClXWhec5Mw0IvfFYERETsNgNlhbY5xtjBFwoRWL44yI3BeDERE5jeKqYggIKGQKBKoDHV2dy1jWVuKUfSL3xWBERE7D0hITpAmCQq5wcG0ux0UeidwfgxEROQ1nXcPIglP2idwfgxEROQ1nnapvwfulEbk/BiMichrOurijBVuMiNwfgxEROQ1nnapvwTFGRO6PwYiInIZ1cUcnbTHijWSJ3B+DERE5DUvgcPYWI121DjWmGgfXhojsgcGIiJyGs94OxEKr1kIpVwKQ7plGRO6HwYiInIazT9eXy+TW7jQOwCZyTwxGROQUakw10NfoATjvGCOAA7CJ3B2DERE5BUvXlFKuhFatdXBtrozBiMi9MRgRkVOwLu6oaQa5zHnfmhiMiNyb8777EJFHcfaB1xbBmmAADEZE7orBiIicgrMPvLawrn5dxcHXRO6IwYiInIKz3w7Egl1pRO6NwYiInILLtRhxuj6RW2IwIiKn4CpjjNhiROTeGIyIyClYZ6W5SDCqMFagwlDh4NoQUWNjMCIip2BZx8jZxxj5ePnAW+kNgN1pRO6IwYiInIKrjDECLoQ3y01vich9MBgRkcNVGatQZigD4BrBiOOMiNwXgxEROZxlqr5KroKfl5+Da3NtDEZE7ovBiIgc7uJuNJlM5uDaXJtlgDjHGBG5HwYjInI4V5mqb8EWIyL3xWBERA7nKlP1LbjII5H7YjAiIodzlduBWLDFiMh9MRgRkcNZWl5cYUYawOn6RO6MwYiIHM5VxxgVVhZCCOHg2hBRY2IwIiKHc6XFHYELAc5gNkBfo3dwbYioMTEYEZHDuVowUilU0Kq0ADgAm8jdMBgRkUMJIVxu8DXAAdhE7orBiIgcqtxQjkpjJQDXaTECGIyI3BWDERE5VEFlAQDA18sXPl4+Dq5N/VnGGTEYEbkXBiMicihLsGju3dzBNWkYa4sRp+wTuRUGIyJyqIIKqcXIlbrRgAvjoTj4msi9MBgRkUNZutJctcWIwYjIvTAYEZFDWafq+7hWixEHXxO5JwYjInIoV28xYjAici8MRkTkUOcragdf+7hWMLLMSiuuLobJbHJwbYiosTAYEZFD5VfmA3C9FqMgdRDkMjnMwozi6mJHV4eIGgmDERE5lLXFyMWCkUKuQLAmGAC704jcCYMRETlMlbEKpYZSAK43+Bq4MGWfwYjIfTAYEZHDWAZeqxVq+Hv5O7g2Dccp+0Tuh8GIiBzGOlXfOwQymczBtWk43haEyP0wGBGRw1hWvXa18UUWnLJP5H4YjIjIYaxrGLnYVH0LdqURuR8GIyJymIu70lwRbyRL5H4YjIjIYdiVRkTO5rqC0ccff4zWrVtDo9EgMTER27Ztu2r5xYsXo0OHDtBoNOjatStWrlxps18IgVdeeQURERHw9vZGcnIyjhw5YlOmqKgIY8eOhVarRWBgICZNmoSysjLr/qqqKkyYMAFdu3aFUqnEyJEj66zLhg0b0LNnT6jVarRr1w4LFiy4nh8BETUCV+9K43R9IvfT4GD0448/Yvr06Zg1axZ27tyJ7t27IyUlBfn5+XWW37JlC8aMGYNJkyZh165dGDlyJEaOHIn9+/dby7z77rv48MMPMXfuXKSnp8PX1xcpKSmoqqqylhk7diwOHDiAtWvXYvny5di0aROmTJli3W8ymeDt7Y2nn34aycnJddYlOzsbw4YNw6233ordu3fjmWeewSOPPII1a9Y09MdARI3AVe+TZmGZlVZaU4oaU42Da0NEjUI0UEJCgpg6dar1e5PJJCIjI8Xs2bPrLH///feLYcOG2TyWmJgoHn30USGEEGazWYSHh4v33nvPur+kpESo1Wrxww8/CCGEyMzMFADE9u3brWVWrVolZDKZOHv27GXnHD9+vBgxYsRlj7/wwguic+fONo+NGjVKpKSkXOOqL9DpdAKA0Ol09X4OEdXt5h9uFl0WdBGHCg85uirXxWw2ix7f9BBdFnQR50rPObo6RHQV9f38blCLUU1NDTIyMmxaZORyOZKTk5GWllbnc9LS0i5rwUlJSbGWz87ORm5urk2ZgIAAJCYmWsukpaUhMDAQvXv3tpZJTk6GXC5Henp6vet/rbrUpbq6Gnq93mYjohtnMBms9xhz1a40mUzGcUZEbqZBwej8+fMwmUwICwuzeTwsLAy5ubl1Pic3N/eq5S1fr1UmNDTUZr9SqURwcPAVz9uQuuj1elRWVtb5nNmzZyMgIMC6RUVF1ft8RHRlhVXSFHelTIlAdaBjK3MDGIyI3AtnpV3DzJkzodPprNvp06cdXSUit2CZkdbMuxnkMtd9K7Kufs0p+0RuoUHvRiEhIVAoFMjLy7N5PC8vD+Hh4XU+Jzw8/KrlLV+vVebSwd1GoxFFRUVXPG9D6qLVauHt7V3nc9RqNbRarc1GRDfO1QdeW1hbjCoYjIjcQYOCkUqlQq9evZCammp9zGw2IzU1FUlJSXU+JykpyaY8AKxdu9ZaPiYmBuHh4TZl9Ho90tPTrWWSkpJQUlKCjIwMa5l169bBbDYjMTGx3vW/Vl2IqOlYF3f0cc3FHS0swc4S9IjItSkb+oTp06dj/Pjx6N27NxISEjBnzhyUl5dj4sSJAIBx48ahRYsWmD17NgBg2rRpGDhwID744AMMGzYMixYtwo4dO/DZZ58BkAYvPvPMM3jzzTcRGxuLmJgYvPzyy4iMjLSuRdSxY0cMHjwYkydPxty5c2EwGPDkk09i9OjRiIyMtNYtMzMTNTU1KCoqQmlpKXbv3g0AiI+PBwA89thj+O9//4sXXngBDz/8MNatW4effvoJK1asuN6fHxFdp/wKqRXY1VuMQn2k8Y+W6yEi19bgYDRq1CgUFBTglVdeQW5uLuLj47F69WrroOZTp05BLr/QENW3b198//33+Oc//4mXXnoJsbGxWLJkCbp06WIt88ILL6C8vBxTpkxBSUkJ+vfvj9WrV0Oj0VjLLFy4EE8++SQGDRoEuVyOe+65Bx9++KFN3YYOHYqTJ09av+/RowcAaQFJQGqdWrFiBf7+97/jP//5D1q2bIkvvvgCKSkpDf0xENENsrQYuUswyqvIu0ZJInIFMmFJDVQver0eAQEB0Ol0HG9EdAOe+OMJ/Hn2T8xKmoV729/r6Opct6yiLNz7270I1gRj46iNjq4OEV1BfT+/XXcqCBG5NEvXU5hP2DVKOjdLi1FRVRFXvyZyAwxGROQQlmBkCRauKlAdCJVcBYADsIncAYMRETW5alO1ddVrV28xkslkHIBN5EYYjIioyVkChFqhRoA6wMG1uXHWAdjlHIBN5OoYjIioyV3cjSaTyRxcmxtnafXizDQi18dgRERNzl3GF1mwK43IfTAYEVGTs3Q5MRgRkbNhMCKiJmfpcgr3qf+9Dp1ZmK/UlcZgROT6GIyIqMm5W1caxxgRuQ8GIyJqcpYA4S7B6OKuNN5MgMi1MRgRUZOzrnrt69prGFlY7vdmMBus6zMRkWtiMCKiJmUWZhRUSCtEu/rijhZeCi8Ea4IBcJwRkatjMCKiJlVUVQSjMEIGGZp5N3N0dRqNJeQxGBG5NgYjImpSlvFFzbybwUvu5eDaNB5LMMotz3VwTYjoRjAYEVGTyi+vHV/kJt1oFlzLiMg9MBgRUZNyt6n6FgxGRO6BwYiImpS7TdW3YDAicg8MRkTUpKyrXvu6x6rXFlzkkcg9MBgRUZNy1640y5pMDEZEro3BiIialLsGI8v1lNaUotJY6eDaENH1Ujq6AkSuxmQWOFlYjoM5pThTXIHzZdUoLKuBwSzdCkIpl6GZrwqhWjVaBPqgY4Q/WjfzhVwuc3DNHU8IYW1RcbdZaX5efvBWeqPSWIn8inxEa6MdXSUiug4MRkTXIITA4bwybDycjz+PnMeOE8WoNJgadAxflQI9WgVhYPvmuCWuOdqF+kEm87ygVGooRbmhHID7jTGSyWQI8wnDCf0J5JXnMRgRuSgGI6IryNVV4dddZ/HrrjM4nFdms0+tlKNDuD9iQnzR3F+NZn5qqBRyCABGkxnny6qRX1qNE4UVOJSjR3mNCX8dPY+/jp7Hv1YeRGyoH+7p1RJ39WiBMK3GMRfoADllOQCAYE0wvJXeDq5N44vwjcAJ/QnklOc4uipEdJ0YjIgusf+sDp//eRzL9+bAVNs9plLK0bdtM9wc2xz924WgXagfFPXsGjOazDhaUIbNRwux8XABth4vxJH8Mry96hDeW5OFO7tFYMqAtugUqbXnZTkFS2Bwt9Yiiwi/CABgMCJyYQxGRLX2n9XhvTVZ2Hi4wPpYn9ZBuKdnSwzpGoEA7+u7fYVSIUeHcC06hGsxqX8M9FUGrNibg/9lnEHGyWIs2X0OS3afwy1xzfF8Shw6RwY01iU5HUtgiPCNcHBN7MMS+BiMiFwXgxF5vLMllXh39SEs3X0OAKCQy3BHtwhMvrkNurRo/JCi1XhhTEIrjElohf1ndZi36ThW7D2HDVkF2Hi4ACPjW+D5lDhEBrpfV5O7B6NI30gAF7oMicj1MBiRxzKazFiw5QT+b+1hVNRIg6mHd4/Es7e3R3Qz3yapQ5cWAfhoTA88d3t7vP/7Yfy25xx+3XUWaw7k4tnb4zChb+t6d9m5gtwy6QarbtuV5suuNCJXx2BEHmn/WR1e+N9eZOboAQC9o4Pw6vDOdmkhqo/oZr74aEwPTL45Bq//lokdJ4vxxvJMLNl1Fm/f09VtutfOlUutcu7aYmQZY5RbngshhEfOPCRydVzgkTyK2Swwd+Mx3PXJZmTm6BHg7YW37+6Knx5Nclgouli3loH46dEkzL67K/w1Suw7q8PIjzfjs03HYK4dCO7KLC0pkX6RDq6JfYT5hEEGGapMVSiuLnZ0dYjoOjAYkcfI1VXhwS/T8faqQzCYBAZ3DkfqswMxOqGVUy2+KJfLMCahFVKfHYiUzmEwmATeWnkI4+dvQ76+ytHVu24GswEFFdLAdnftSlMpVAjxDgHAcUZErorBiDzC1uOFGPbhn9hyrBDeXgq8c09XfPpgT4T4qR1dtSsK9ddg7oO9MPvurtB4yfHnkfMY8p8/sfV4oaOrdl3yK/IhIKCSqxCsCXZ0deyGU/aJXBuDEbk1IQTmb87G2C/SUVheg04RWqx4uj9G9WnlEuM/ZDKp9Wj5UzejY4QWheU1GPtFOhZszoYQrtW1ZmlBCfcNh1zmvm89HIBN5Nrc992JPF6VwYRnF+/Ba79lwmQWGBEfiZ8f74s2zf0cXbUGaxfqh18e74sR8ZEwmQVe/S0Tzy3ei2pjw25N4kjuPlXfwnJ958rOObgmRHQ9GIzILZVU1OChL9Pxy86zkMuAfw7riDmj4uGtUji6atfNW6XAnFHx+OewjpDLgJ93nsH4r7ZBV2lwdNXqxRqM/DwjGOWW5zq4JkR0PRiMyO2cLqrAPZ9uwfYTxfDXKPHNw4l45OY2LtF1di0ymQyP3NwGXz+cAD+1EluPF+HeT7fgbEmlo6t2TZ7WYsSuNCLXxGBEbmX/WR3u/nQLjhWUIyJAg/891hf9Y0McXa1Gd3Nsc/z0aBLCtGocyS/DXR9vxoFzOkdX66o8JRhZliJgMCJyTQxG5Da2nyjC6M+2oqC0Gh3C/fHLE30RF+7v6GrZTadILX59oh/ah/khv7Qaoz/bioyTzrt2jruvem1hub6iqiJUGV13eQUiT8VgRG5h89HzGPflNpRVG5EYE4yfHktCRID73WvsUpGB3lj8WF8ktA5GaZURD32ZjrRjzjedXwjhMS1GWpUWPkofAGw1InJFDEbk8tYfysfEBdtRaTBhYPvm+PrhBGg1Xo6uVpMJ8PbCgof74ObYEFTUmDBh/jZsyMp3dLVs6Gv0qDBWAHD/FiOZTMbuNCIXxmBELm31/lxM+XYHaoxm3NYpDJ+N6wWNl+vOPLtePiolPh/XG8kdQ1FtNGPyNzuw5oDzzIqyTF0P1gRDo9Q4uDb2Zwl/nJlG5HoYjMhlrTmQi6nf74TBJHBHtwh8MrYn1ErPC0UWGi8FPhnbC8O6RsBgEpi6cCdSD+Y5uloAgLNlZwEALf1aOrgmTSPSV2oxslw3EbkOBiNySeuz8vHk9zthMgvc3aMF/jO6B7wU/OesUsrxn9HxGN49EkazwOPf7cSfRwocXS2cKT0DAGjh18LBNWkaLfyl62QwInI9/CQhl7Pl6Hk89m0GDCaBYd0i8O693aBwopvAOppSIccH93fH4M7hqDFJ3WqOvr/amTIpGLX094wWI0vLmCUQEpHrYDAil7LjRBEmfb0D1UYzkjuGYc6oeCjZUnQZL4UcH47pgb91CEWVwYyHF2x36FR+SzDylBYjSwBkixGR6+EnCrmMvWdKMGG+NPvs5tgQ/PcBdp9djUopxydje6J/u9rZal9tw/6zjlkE8mxp7RgjD2kxsgTA85XnUWl0/lXJiegCfqqQSzheUIYJ87db1yn67KHeHjn7rKE0Xgp8Nq4XEmKCUVptxIT523CysLxJ62AW5guDrz0kGAWoA+CvkhYXtYRCInINDEbk9PL1VRj31TYUldega4sAfDmhj0vfDLap+aiU+HJ8b3SK0OJ8WQ0e+nIb8kubbkXm/Ip8GMwGKGQKhPmENdl5Hc06zqiM44yIXAmDETk1fZUB477ahjPFlWjdzAfzJ/aBn1rp6Gq5HH+NtAhkq2AfnCqqwISvtkNfZWiSc1taiyJ8I6CUe85rx3FGRK6JwYicVpXBhMlf78Ch3FKE+KnxzcOJCPFTO7paLivUX4NvJyUgxE+FzBw9pnyzA1UGk93Pa52q7+8ZA68tODONyDUxGJFTMpkF/v7jbqRnF8FPrcTXD/dBq2Y+jq6Wy4tu5osFExPgp1Zi6/Ei/P3H3TCZhV3P6WmLO1pYWowYjIhcC4MROR0hBF5ddgCr9udCpZDjs3G90DkywNHVchtdWgTgs4d6QaWQY9X+XLyxPNOu57MEA08ZeG3BMUZEronBiJzO538ex7dbT0ImA/49Kh5924Y4ukpup2+7EPzfqO4AgAVbTuCrv7Ltdi7r4o4e2mJ0tuwshLBvqxwRNR4GI3Iqq/fnYvaqQwCAfw7rhGHdIhxcI/d1R7dIzBzSAQDwxopMu9101jJd3VMWd7SI8I2ADDJUGitRWOXYlceJqP4YjMhp7D1Tgmd+3AUhgIduisbD/Vo7ukpub8qANhib2ApCANMW7cLu0yWNevxKYyXyK/MBeF5XmpfCC+G+4QA4zojIlTAYkVM4W1KJSV/vQJXBjIHtm2PWnZ0gk/H+Z/Ymk8nw2vDOuCWuOaoMZjzy9XacLqpotOOf0p8CAGhVWgSqAxvtuK4iyj8KAHC69LSDa0JE9cVgRA5XWmXApAXbUVBajQ7h/vjvAz14/7MmpFTI8d8HeloXgJy4YDt0FY2zxtGpUikYRWujPTLoRmujAQAn9CccWxEiqjd++pBDGU1mPPXDLutaRV9O6AN/jZejq+Vx/NRKfDWhD8K1GhzNL8Oj3+1AjdF8w8c9qT8J4EJA8DSW67a0nBGR82MwIod6Y3kmNmQVQOMlx5fje6NFoLejq+SxwgM01pXFtx4vwoyf997wbCpLMGqlbdUYVXQ5lmBk+TkQkfO7rmD08ccfo3Xr1tBoNEhMTMS2bduuWn7x4sXo0KEDNBoNunbtipUrV9rsF0LglVdeQUREBLy9vZGcnIwjR47YlCkqKsLYsWOh1WoRGBiISZMmoayszKbM3r17cfPNN0Oj0SAqKgrvvvuuzf4FCxZAJpPZbBqN5np+BNQI5m/Oxtdp0gfGnFHx6B4V6NgKETpGaPHx2J5QyGX4ZddZfJh69IaOZ2kpifb37BajE/oTnLJP5CIaHIx+/PFHTJ8+HbNmzcLOnTvRvXt3pKSkID8/v87yW7ZswZgxYzBp0iTs2rULI0eOxMiRI7F//35rmXfffRcffvgh5s6di/T0dPj6+iIlJQVVVRdudDl27FgcOHAAa9euxfLly7Fp0yZMmTLFul+v1+P2229HdHQ0MjIy8N577+HVV1/FZ599ZlMfrVaLnJwc63byJP+Sc4TUg3nWhQVnDOmAwV04Ld9ZDGzfHG+O7AIA+Pcfh7Fk1/Xf68sytiY6wDODUUu/llDIFKg0VqKgssDR1SGi+hANlJCQIKZOnWr93mQyicjISDF79uw6y99///1i2LBhNo8lJiaKRx99VAghhNlsFuHh4eK9996z7i8pKRFqtVr88MMPQgghMjMzBQCxfft2a5lVq1YJmUwmzp49K4QQ4pNPPhFBQUGiurraWubFF18UcXFx1u/nz58vAgICGnrJNnQ6nQAgdDrdDR3Hk+0/WyI6vrxKRL+4XLz4vz3CbDY7ukpUh7dWZIroF5eL2JdWivTjhQ1+vr5aL7os6CK6LOgiSqtL7VBD1zDk5yGiy4IuYlvONkdXhcij1ffzu0EtRjU1NcjIyEBycrL1MblcjuTkZKSlpdX5nLS0NJvyAJCSkmItn52djdzcXJsyAQEBSExMtJZJS0tDYGAgevfubS2TnJwMuVyO9PR0a5kBAwZApVLZnCcrKwvFxcXWx8rKyhAdHY2oqCiMGDECBw4cuOo1V1dXQ6/X22x0/fL0VZi0YAcqakzo164Z3hjZxSNnK7mCFwd3wJAu4agxmTHl2x3IPl/eoOdbutGaaZrBT+Vnjyq6BI4zInItDQpG58+fh8lkQlhYmM3jYWFhyM2te9Xc3Nzcq5a3fL1WmdDQUJv9SqUSwcHBNmXqOsbF54iLi8NXX32FpUuX4rvvvoPZbEbfvn1x5syVF1+bPXs2AgICrFtUVNQVy9LVVdQYMenr7cjVV6FdqB8+GdsLXpyW77Tkchn+735p7FdJhQEPL9iO4vKaej/f02ekWbTWtgbAYETkKjzqUykpKQnjxo1DfHw8Bg4ciF9++QXNmzfHvHnzrvicmTNnQqfTWbfTp7lQ2/UwmQWe/mE39p/Vo5mvCvMn9EGAN6flOztvlQKfj+uFFoHeyD5fjke/y0C10VSv554sZTACuJYRkatpUDAKCQmBQqFAXl6ezeN5eXkIDw+v8znh4eFXLW/5eq0ylw7uNhqNKCoqsilT1zEuPselvLy80KNHDxw9euWZN2q1Glqt1majhpu98iD+OJgHlVKOz8b1RlSwj6OrRPUU6q/BVxP6wF+txLbsIsz4eV+9Zlh5+lR9C8v1s8WIyDU0KBipVCr06tULqamp1sfMZjNSU1ORlJRU53OSkpJsygPA2rVrreVjYmIQHh5uU0av1yM9Pd1aJikpCSUlJcjIyLCWWbduHcxmMxITE61lNm3aBIPBYHOeuLg4BAUF1Vk3k8mEffv2ISKCM6Ls6butJ/FF7d3bP7ivO3pF1/16kPOKC/fHJw9K0/h/rec0/pM6thgBF7rSTpeehtFsdGxliOjaGjqqe9GiRUKtVosFCxaIzMxMMWXKFBEYGChyc3OFEEI89NBDYsaMGdbymzdvFkqlUrz//vvi4MGDYtasWcLLy0vs27fPWubtt98WgYGBYunSpWLv3r1ixIgRIiYmRlRWVlrLDB48WPTo0UOkp6eLv/76S8TGxooxY8ZY95eUlIiwsDDx0EMPif3794tFixYJHx8fMW/ePGuZ1157TaxZs0YcO3ZMZGRkiNGjRwuNRiMOHDhQ7+vnrLSG2ZCVL9rMXCGiX1wuPvzjsKOrQzdo4daTIvrF5SL6xeXi151nrljObDaLPt/1EV0WdBHHio81YQ2dj8lsEr2+7SW6LOgiTupOOro6RB6rvp/fyoYGqVGjRqGgoACvvPIKcnNzER8fj9WrV1sHOp86dQpy+YWGqL59++L777/HP//5T7z00kuIjY3FkiVL0KVLF2uZF154AeXl5ZgyZQpKSkrQv39/rF692mbxxYULF+LJJ5/EoEGDIJfLcc899+DDDz+07g8ICMDvv/+OqVOnolevXggJCcErr7xis9ZRcXExJk+ejNzcXAQFBaFXr17YsmULOnXq1NAfA9VDVm4pnly4EyazwD09W+LJv7VzdJXoBj2Q2AonC8sxb9NxvPC/vYgM9EZCTPBl5XLLc1FprIRSrkSU1rMnLMhlcsQExOBQ0SEcLTnq8V2LRM5OJgSXY20IvV6PgIAA6HQ6jje6ivzSKtz18RacLalEQkwwvpuUCJXSo8b6uy2zWeCJhTux+kAugny88OsT/dA6xNemzF9n/8LjfzyOdoHt8OuIXx1UU+cx488ZWHF8Bab1nIZHuj7i6OoQeaT6fn7zk4oaXWWNCZO/3oGzJZVoE+KLzx7qxVDkRuRyGf49Kh7dWwaguMKAiXVM4z9WcgwA0CagjSOq6HTaBUqtpUdLbuwWK0Rkf/y0okZlNgs88+Mu7DmjQ5CPF76a0AeBPqprP5FcirdKgc9rb/pb1zR+SzBqG9jWUVV0KpaAaPm5EJHzYjCiRvX26kNYcyAPKoU0Lf/SLhZyH5dO45950TT+YzoGo4tZWoyyddkwmeu3DhQROUaDB18TXcn36afw2abjAID37uuGPq0vH5RL7iUu3B8fj+2JiQu245ddZ9E6xBdP/a0djpdI/w7aBjgwGAkBVJcCVTqgWi99rdIBhgrAWAMYqwBTDWCsBkzVgMmy1IcMkMkBmaz2/2WAXAF4+QBe3hd9rf1/lR/gEwx4BwNemjqr0sKvBdQKNapN1ThbdpYDsImcGIMRNYpNhwvw8tL9AIC/J7fHiPgWDq4RNZUB7ZvjjRFd8NKv+/B/aw8j0L8cZYYyKGQK+6xhVFMBlJwCdGeAsjygLBcoy5f+vzRP+lpRKIUhYW7881+Nl48UkHyCpK9+oYB/BBTaSMSognCoMhdHz6WjlW8EoODK70TOiMGIblhWbimeqJ2Wf3ePFnh6EKfle5oHElvhRGE5Ptt0HP9auxGqltKKz17X8+EvhBR0zmcBRceB4pNAycnar6eA8vxrH+Nici/AOxDQBABqLaDyBRQqQKmWNoUaUKqkxyCrDVNC+iosX81SS5Oh8qKvlUBNudQqVVkMCFPtvgpAf/n9F9s2b4ZDfr44vmo6/rZoMhDQEghqDQS3AYJjpK9BMdL/q/0b/nMjokbBYEQ3JL+0Cg8v2I6yaiMSYoIx+56ukMlkjq4WOcCMwR1wsrAc6879BQCI8G599ScIIbX65B+UQlBBFnD+MFBwSOryuhq1FgiIAvzDpc0vFPALu7D5NLsQhpSa2m4xOzKbpRaqyiIpJFUUS/9fmguU5gD6c2hXdgRAKY6qVAAEoDstbSf+vPx4/hFAaEegeUfpa2gnoHkcoPaz73UQEYMRXb+KGqN1Wn5MiC/mPdgLaqXC0dUiB5HLZZgzqgcGff05SgHsPqZGSUWNNCvRbALOHwFy9wI5e2q/7gWqSq5wNJnUmtKsHRAUDQRG2371drLbysjlUhDzDrxikTan1gHrp+FYVA9g3MdA8QmgOFtqFSuyfD1eG6hypO3YOtuDBLYCQjsDkfFAZA8gIh7wD7PfdRF5IAYjui5GkxlPfS9Nyw+snZYf5Mtp+Z7OW6VARGgRSkuANiXnsfW/k3B70DnI8w4AxsrLnyD3AkJigZD2UotISHugeQcpEF1hILOrig2KBQAc12XD4BsML/8woFXi5QUrS6SWs/yDtVum1IpWlid1JZacAg6vulDeP9I2KLXoBfg2a4pLInJLDEbUYEII/HPJfqQeyodaKceX43sjhtPyPVdNBXBuJ3BmOwyntiG75iAgk+Fd81JEVZiAitpyXr5AeBcgvBsQ0R2I6CaFIKXaodVvKi38WsDPyw9lhjJk67LRPqh93QW9A4GoBGm7WEWRFJJy9wPndgE5u6Xux9JzQNY5IGvlhbLNYqXQFXUTEJUohU92cRPVC4MRNdh/Uo9g0fbTkMuAD8f0QK9oTsv3KFV64NRWaWzMib+krjEhrc2T7eUFQ8sI+JnN8A/ojPn5kdhlaofeSbdg3LC/SdPePZRcJkdccBwy8jJwqOjQlYPRlfgEA637S5tFdRmQu08KSed2Sdv5w0DhEWnb9Z1UzjtYCkitEoHoflLrEmfFEdWJwYga5IdtpzDnjyMAgNdHdEFK53AH14jsrkpXRxC6ZBq8fwTQsg8OBQQCeRsQF94LgUO+gSr9JJb9uh/LNtfAv2UO7urR0iGX4Cw6BndERl4GDhYexPC2w2/8gGo/IDpJ2iwqioAz26XX7HQ6cDZDGrd0eNWFLjiVH9AqCYgZIG3hXT06tBJdjMGI6i31YB7+8es+AMBTf2uHB2+ywxo15HjGGukD9dg64Pj6uoNQcJva1oubpQ/YgJaATIZD298F8oAOzToBAMYmRuNkYQU+23Qczy/ei0AfFW6NC3XARTmHuOA4AMChokP2O4lPMNA+RdoA6fXM3SsFpVNpwMktUlA6ulbaAEATKL2elqDUvAO73shjMRhRvew8VYyp3++EWQD39WqJ6bc1sBuAnJcQ0myoo6nAsVQg+0/AUG5b5uIgFN0PCKh7Ac+soiwAQIfgDtbHZgzugHx9FZbsPofHv8vAwkcSPbb7tWNwRwDSz0kI0TRLWyhVQMve0tb3SWlpgfwDQPYmaTuxWZodeGi5tAHSgO52g4B2yUCbW646247I3TAY0TUdySvFpAXbUWUw45a45njrbq5V5PKqdNKHoiUMlZyy3e8TArT9m7TFDLhiELqYEAIHiw4CsA1GcrkM793XHSWVBmzIKsDE+dux+LG+iAv3vEUM2wS2gZfcC6WGUpwpO4Mo/6imr4RcLnWdhXcFkqYCJqPUKpi9Ufo3cSpNGtC961tpkymAln2kkNRukDTzTc7bbJL7kgnLXR+pXvR6PQICAqDT6aDVah1dHbs7XVSBe+duQZ6+Gt1bBuD7yTfBV8087ZIKjwGHV0vbyS2A2Xhhn9wLaHWTFITaDQLCujb4w+9c2Tmk/JwCpVyJbQ9su2zV64oaIx78Ih07T5UgTKvG/x7ri6hgn8a4Mpdy/2/342DRQfzfLf+H26Jvc3R1LmeolP59HE0Fjv4hLb55MZ+Q2tak24DYZOdbU4roCur7+c1POLqiPH0Vxn6Rjjx9NeLC/LFgYgJDkSsxGaWxQodXAYfXSLOVLtasHdB2kPQhF93vhldVtrQWtQtsV+etQHxUSnw1oQ/un5eGw3lleOjLdPzv8b4I8fOM6foWHZt1xMGigzhYeNA5g5GXd23wGQTgLak10RKSjm8EKs4De3+UNpkCiO4LxA2RtuA2jq490Q3jpxzVqbi8Bg99mY5TRRVoFeyDbyclcAFHV1BZLH2IHV4NHFlru7K0XCl9iLUfLG3N2jbqqQ+cPwDgwjiaugT6qPDNw4m4d+4WnCiswPivtuGHKTdBq/GcqeOWbkZLkHR6ga2A3hOlzVgDnNkm/ds68ru0rtKJP6VtzUtASFxtSBoqjWniTDdyQQxGdJmyaiMmzN+Gw3llCNOqsfCRRIRq3WsVYreiPwcc/E3aTm6xrikEQOrmiL1dCkJt/2bXQbR7C/YCALo3737VcuEBGnw7KRH3zd2CA+f0mDh/O7552HNaI7uGdAUA7Du/r+kGYDcWperCWkq3vSbdyuTwamlxyZNbpG6381nA5jnS/eraD5aCUptbeZ83chkcY9RA7j7GqMpgwvivtiE9uwhBPl746dEkxIZ53iBZp1eUDRxcJoWhM9tt94XEAXGDgfZDpEGzCvsHDpPZhL4/9EWFsQK/DP/FevuLq9l/VocHPt8KfZURiTHBWDAxAd4q929hMJgMSPohCdWmavw28je0Dmjt6Co1jsoSqbsta5W0DMDFNwJWqKVg3vFOKSj5eOasRHIsjjGiBqsymDDl2wykZxfBT63ENw8nMhQ5k/xDtS1DS6XVji8WlQh0HA50GOqQcR7HdMdQYayAr5cv2gTU7/xdWgTg20mJePCLdKRnF2HyNzvwxfje0Hi5dzjyUnihU7NO2JW/C3sK9rhPMPIOBLreK20mgzS7LWuV1JpUfOLCApMyBRBzsxSSOtwB+HORWHIuDEYE4EIo2nS4AN5eCnw1oQ+6tgxwdLU8mxDSwnyZy6TWoYsHT8vkUndGx+HSh4s2wnH1xIVutC4hXaBowLiS7lGBWPBwHzz05Tb8dfQ8HvsuA/Me6gW10r3DUffm3bErfxf2FuzFiHYjHF2dxqfwurBYZMpb0s1wD/4m/TvO2w8c3yBtK56T7gnX8U5pC2rt4IoTMRgRLg9FCyb2QUIMm7odwmwGzu4AMpdKHyQlJy/sk3tJi+11Gg7EDXOqO6jvKdgDAOgW0q3Bz+0VHYz5E/pg/Pxt2JBVgKkLd+GTsT2hUrrvWjmWcViWn5tbk8mAsE7SdsuL0rIRh5Zf6AY+nS5tv/9TWlup4wgpJDWP4+rb5BAcY9RA7jbGqK5QlNjGeT5wPYLJCJzaUvsX9XJpcT0LZe3U6U4jpFs8aJyzFW/EkhE4rjuO//7tvxgYNfC6jrH56Hk8vGA7qo1mJHcMxX8f6Om23Wr5FfkYtHgQ5DI50sakwcfL89ZzAiBNHDi0QmpJOvGX7a1nmsVeaEmK7MGQRDesvp/fDEYN5E7BiKHIgYw10irDB5dKHwwVhRf2qfylENRpuLTasMrXcfWsB32NHv1+6AcA2DhqI4I119/auPFwAaZ8swPVRjNujg3BZw/1dtsB2bf/73bklOfgy9u/REJEgqOr43jlhdJ4pIO/SffoM9Vc2BcQVRuShkvj6bjyNl0HDr6mqyqrNuKRr7dj6/EihqKmYqiU1hg6+Js0KLX6olk73kFS91jHO6XuMi/XWR5hd/5uAECUf9QNhSIAGNi+ORZMTMCkr7fjzyPnMf6rbfhqYh/4ueFU/u7NuyOnPAe7C3YzGAFS13DPh6StSi+tk3RwmbRmku40sPUTafMLk8bVdRoORPdvklmX5Fn4L8oDFZXXYML8bdh7Rgc/tRJfju/NUGQv1aXSG3xm7Rv8xTdn9Q0FOt4h/RXcur80YNUF7cjdAQDoE96nUY6X1LYZvp2UiAlfbcO2E0UY+0U6vpmYgAAf1/z5XEnPsJ5YfWI1tudux5RuUxxdHeei0V6Y4Wb9g2IZkLUaKMsDdnwpbZY/KDoNl/6gUHrWKupkHwxGHiZXV4WHvkzHkfwyBPl44ZuHEzn7rLFVFEmL3mUuA46tA0zVF/bZdAkkuMXKwNtzpXWUeof1brRj9ooOwveTb8JDX6Vjz+kSjPl8K76ZlOBWtw9JDE8EAOzK34VqUzXUCve5tkbl5V37B8QddXdB7/5O2lysC5qcF8cYNZArjzE6WViOB79Mx+miSoRrNfjukQS0C+U6RY2iLF+aaZO5TLo9wsU3aA1uK71Zd7wTiOzpVoNIy2rK0G9RP5iFGWvvXYtw38Zdk+ZQrh4PfrEN58uqEd3MB19PTEDrEPf4wBNCYNDiQSioLMBXKV81Woubx7BMWshcJv3uleZc2Kf0lm5w23G4U09aoKbFMUZkY++ZEjy8YAfOl1WjdTMffDsp0SPvbN6oSk5fCEOn0gBc9DdGaGcpCHUaDoR2cqswdLGd+TthFma08m/V6KEIADqEa7H4sSSM+yodJwsrcM+nW/DVhD7oHhXY6OdqajKZDAkRCVhxfAW25mxlMGoohfLCWklD3r1omYtl0o1vLbfJUaikbraOw6V7uDnRMhfknBiMPMAfmXl46oddqDSY0DFCi68f7oNQf9cZ3OtUzh+VmvEP/gac22W7L7KH9ObbcTgQ0s4x9Wti23K2AQB6hzdeN9qlYkJ88fPjffHwgu3Yf1aP0Z9txScP9sStcaF2O2dTSQxPxIrjK6SfYw9H18aFyeVS13RUAnD7m5cvjHrkd2mTKYDW/Wp/T+/kqttUJ3alNZCrdaV9veUEXvvtAMwCGNC+OT5+oAf8PehO5jdMCOn2G5a/PgsuviO6TLpbveXWBoFRDqumo4xcMhLHdMfw3sD3MLj1YLueq6zaiMe/y8CfR85DIZdh9l1dcX8f1/6Znys7h5SfU6CUKfHXmL/g6+Ue3YRO5Yq30pHVrrpdG5KCoh1WRWoaXMfITlwlGJnNAm+tPIgv/soGAIzuE4U3RnaBl4Lrf1yTZfVpy01ai09c2CdXAjEDa8PQMMDP9VstrldOWQ5u//l2yGVybBq1CQFq+4/jqDGa8eLPe/HrrrMAgEf6x2Dm0I5QyF23q3LIz0NwpuzMDS2OSfVUdFz6nc5cJv2OXyyiuxSSOo0AQq59E2RyPRxj5MH0VQY8s2g31h3KBwA8nxKHJ25pC5mbjnNpFCYjcHKz9KZ52UBOjTTLpeNwoP3t0hRhwp9n/wQg3QakKUIRAKiUcvzf/d0RFeSND9cdxRd/ZeNIfhk+eqAHtC7aEtqvRT/8mPUjNpzZwGBkb8FtgH7TpE139qIxgluAnD3Stu4NoHnHC2MEw7q47RhBqhtbjBrI2VuMjuaXYco3O3D8fDnUSjnevbcbRsS3cHS1nFOVHjj6h7TY4pHfgaqSC/tU/kDcYOnNkVN/6/T0uqex/vR6PBn/JB7t/miTn3/53nN4bvEeVBnMaNvcF1+M74MYF5yxtuXsFjz6x6MI8Q5B6n2pkMvYqtvkygqArBVSSMreaDurNCimdlbpcGlWKVfddlnsSrMTZw5GazPz8Pcfd6Os2ojIAA3mPdSbaxRdquS0tMZQ1kog+0/AbLiwz6eZNGul43CgzUAuFncVVcYqDPhxACqNlVh0xyJ0btbZIfXYd0aHKd/uQI6uClqNEnNGx+NvHcIcUpfrVWOqwYAfB6DcUI6FQxeiW/OG34iXGlFlsbSQ5MHfpD+cLl6HzC9Mmv7ffog0003Fmb2uhF1pHsRoMmPOH0fw3/VHAQAJMcH4ZGxPt1oM77oJITWPZ62UNpvBl5BuVBk3RApEbrLgYlPYfG4zKo2ViPCNQKfgTg6rR9eWAVj6ZD88+m0Gdp2SlqR44pa2mH5beyhdZDydSqFC/xb9sebEGmw4vYHByNG8g4D4MdJWXWZ7a5KyPGDnN9Km1EjjDeMGA+0HA9pIR9ecGgmDkYvL0VXi6R92YfuJYgDA+KRo/POOTp49yNpQKd2pO2uVtF18t3qZXLoJpSUMcZDldVl7ci0AYFCrQQ4fuxbqr8GiKTfhrRUH8XXaSXyy4RgyThbjozE9EKp1jWUpbom6BWtOrMH60+vxdM+nHV0dslD7AV3uljZjtbR4a9ZqqdVZdxo4skba8Hdp8Hb7IVJQiojnuCQXxq60BnKmrrR1h/Lw7E97UFxhgJ9aidl3d8Wd3T30r5aibOkvuqNrpS4yY+WFfV4+QNu/SUGofQrgG+K4erqBGlMNBv44EGWGMnw9+Gv0DOvp6CpZ/bbnHGb8vBflNSaE+Knw/n3dcYsLrHekq9bhlh9vgVEY8dvI39A6oLWjq0RXIwSQdwA4vEoKSmczYLPAq39EbZfbYKD1zVLAIofjGCM7cYZgVFljwjurD2HBlhMAgK4tAvDRmB5uc6uEejFUSbPILGGo8Kjtfv9IaQZZ3DBpZVwXulu9s9twegOeWveU0w4WPl5QhicW7sSh3FIAwEM3ReOloR3hrXLubtLH/3gcf539C492exRP9njS0dWhhijLBw6vkVqSjq0DDBUX9ilUQKskaRJHu2QgtCNbkxyEwchOHB2MMk4W4bnFe5F9XrpL+4S+rTFzaAeolc79pt8oik/UBqE/pBtJXvzmI1NIbz6xyUC724CwznzzsZPpG6Zj7cm1eKjTQ3ihzwuOrk6dqgwmvL3qwh8PbUJ88X+j4hHvxLcSWXF8BWb8OQMt/Fpg1d2rHN5FSdfJUFXb5bZKer/SnbLd7x8JtPubFJLa3MLlP5oQg5GdOCoYVRlM+Pcfh/H5puMwCyBcq8E793bDwPbNm6wOTa6iSHqDOb5B2oqO2+73j5DeXGJvk95geKNIuyupKsGti2+F0WzE/+78H+KC4xxdpav680gBnlu8B3n6aijkMjw6oA2eHhQLjZfz/SFRaazELT/eggpjBb4Z8g16hPIeIS5PCKk1++gfwNFU6f3MWHVhv0wOtOwjvY+1HQRExnMCiB0xGNmJI4LR5qPn8fKS/The20p0d88WmHVnZwR4u+aCdldkqAJOb70QhM7thk2/vUwhDZyOvU3auPBak/vh0A94K/0tdAjugMV3LnZ0deqlpKIG/1iyHyv2Sot2tm7mg7fu6oq+7ZxvrNk//voHlh1bhpHtRuKNfm84ujrU2AyVwMktUkg6+gdwPst2vzoAaN1fWi4kZgDQvAPf4xoRg5GdNGUwKiitxpsrMrF0tzSrqrm/Gv8a2QW3d3aTGx+ajEDuHqlb7PgG4NRW27+mAOmNoc0t0hbdD9A419pRnkQIgbuX3Y2jJUfxYp8X8WCnBx1dpQZZvT8Xs5btR55eWpfmvl4tMXNoRwT7qhxcswt25+/GQ6seglqhRup9qU22ojg5SMlp4FhtSDq+EajW2+73DZUCkmULjnFMPd0Eg5GdNEUwMpjMWLj1JD5YexilVUbIZMC4m6LxbEqcy972AIA03fXcLmkq/cktwOl0oKbMtox/xIUgFDMQ0EY4oqZUh605WzH598nwVnoj9b5U+Kv8HV2lBtNXGfDe6ix8l34SQgBajRLTkttjXFK0UyxxIYTAfb/dh6ziLDzX+zmM7zze0VWipmL5Q/H4RumPxVNbbWfXAkBgKykgRfcHopOAwGi2KDUAg5Gd2DMYCSHwe2Ye3l51yDq4uksLLd66qyu6tQxs1HM1iZoK6UaNJzZLM8jObL+8RUgTILUEWcJQSHv+ojupp9Y9hQ2nN2B03Gj846Z/OLo6NyTjZBH+ueQADuZIf6G3ae6Ll4d1wq0dHD+1/3+H/4fX0l5DC78W+O2u3+Ald+E/huj6Gaul98zsTdJ2ZrvtrUoA6Q/JVklAdF+g1U1AaCeOUboKBiM7sVcw2numBP9acRDp2UUAgGa+Kvz9tvYYk9DKde4crj8n/fKe3iZ9PbvT9pYbAOATIv0St+4vfQ3tzHsPuYAjxUdw97K7AQDLRi5DTIDrN+mbzAI/7TiN99dkobC8BgDQt20zPHt7HHpFO26mUKWxEoN/HoyiqiL8q/+/MLztcIfVhZxIdZnUipS9ETiVJrW+XxqU1AHSCv7RSUCrvkBkDy5VchEGIzuxRzCqNprQ7+31OF9WDbVSjkn9Y/D4LW3h78zdZsZqIGevFIDObANObwf0Zy4v5x8htQi17id9ZYuQS7JM0b89+nZ8cMsHjq5Oo9JXGfDfdUcxf3M2DCbp7fBvHUIx/bb26NLCMWN8vtz3JebsnIPW2tZYMmIJFGwFoEvVVEgLS55Kk7bT2y4fmiD3AsK7Ai17Ay16S1+D23jsezCDkZ3Yq8VoYfpJbM8uwvODO6BFoHejHbdRmM3SlNOc3dJMsTPbpfuPXXxzRUCaehraGYjqI01BbXWTdGdqD/0ldBdZRVm497d7IYMMPw//GbFB7nkblTPFFfgo9Sj+t/MMTGbpbTG5YygeHdgWvaODmnRdobKaMqT8nAJ9jR6v930dd8Xe1WTnJhdlMgJ5+6WQdHKL1LpUnn95OU0g0KLXhbDUohfg26zJq+sIDEZ24ugFHu3ObALOH7kQgnJ2SzdevfQvEUC6G33L2hAUlSA126pdb0AuXZkQAg+veRg78nZgcOvBeG/ge46ukt1lny/Hf/44jKV7zsHy7tijVSAeHdAGt3UKb7Ku7QX7F+CDjA8Q4h2CFXetgI8X7+RODSAEUHISOLNDalk6s6PuP2gBaRB3RDfpfm/h3aX/93eT2c8XYTCyE7cKRtVlQP5BIP8AkJcp/dLk7gMM5ZeXVXpLTbKR8bV/bfTx6CZZT7E6ezWe3/Q8NAoNlo5cikg/z7kX37GCMnzx53H8vPMsaoxmANIaSGMSWuHeXi3RzE9t1/PXmGowculInC49jYldJmJ6r+l2PR95AGON1KpkCUpnM4DCI3WX9Q2VAlJ4twtfg2Jcekwog5GduGQwMhmBomPSTQ/zM6UQlH9AusVGXbx8pF+CyHjpLtER3aWxQQplE1aaHK2wshB3L7sbRVVFeKL7E3g8/nFHV8khCkqr8fWWE/gm7QT0VdJgV5VCjpQu4RiTEIWkNs3s1s1muS+dXCbHwqEL0SWki13OQx6sslgaL5q7V/rjOGevFJaE+fKyKj+geZx0v7fmHYHQDtJMOP8Il/gjmcHITpw6GNVUSAHo/GHg/NHar1lAweG6m08BwC9M+ocd1llqEYqIB0JiOeXTwwkh8PT6p7Hh9AbEBsVi0bBFUCmcZyFERyivNuK3Pefw/bZT2HtGZ328ZZA37uweiRHxkegQ3vjvCS9segGrslchJiAGPwz7Ab5eHnSzaHKMmgrpD+ncPRdCU17mlT9H1AG1IemiwNQsVgpMTtTCxGBkJw4PRmYTUJoDFNYGoMKjF4LQpTcrvJiXr/SPNayzNEA6rJP01UMG3VHDfLb3M3y06yMo5UosGrbI6e+J1tT2n9Xh+22nsHTXWZTXmKyPtw/zw53dIpHcKQwdwv0bpSWpuKoY9y67F/mV+bgt+jZ8MPAD3mCWmp7JIN2vMv+gtBXUfi08BghT3c9RegPN2kpbcFugWbsLm09wk7cyMRjZSZMEoyq91M116VZyEig5BZhqrvxc7yCp26tZrNTyExIrpfjA1k6V3Ml5rcpehRc2vQAAmJU0C/e2v9fBNXJelTUmpB7Kw7Ld57AhqwA1pgvdD5EBGvytYygGdQxDUptmN3Tj2t35uzFxzUQYzUZM7DwRf+/1d4Yjcg7GaukPdEtgyj8IFBySPq8uXWfpYpoAKSAFxQBBrS/aogFtC7v0WjAY2YndgtHK56XBcMUngMqiq5eVK6VZBCHtgZB2FwWh9mwBohuyKnsVZv45EyZhwgMdHsDMxJmOrpLL0FUasOZALn4/kIu/jp5HleFCSFIr5egVHYSb2jTDTW2aoXtUANTKhr3x/3rkV7yy5RUAwCNdH8HTPZ5mOCLnZTJIf8gXHpValQqPSlvRcUB3+urPlXsBD/4s3Uy3ETEY2YndgtFXQ4BTWy587xNim6AvTtR2StPkuYQQmLt3Lj7Z/QkAYETbEXi93+uQy9jKeD0qa0xIO34eqQfzse5QPnJ0trfC0XjJER8ViO5RgejeMhDdWgagRaD3NYPO1we+xvs73gcADI0Zitf6vgaNkisbk4upqQCKs6XAdFnPyCnpjglPpEvDPxoRg5Gd2C0YHflDuo+YJQhxPSBqIqdLT+P1tNexNWcrAODBjg/iud7PcbXlRiKEwLGCcmw9Xoi044VIP16I82WXd4c381WhW8sAxIVr0T7MD+3D/NG2uR+8Vbavwy9HfsHraa/DJEyICYjBm/3eRLfm3ZrqcojsyzKO1i8MUDTu3R/q+/l9XX8Ofvzxx2jdujU0Gg0SExOxbdu2q5ZfvHgxOnToAI1Gg65du2LlypU2+4UQeOWVVxAREQFvb28kJyfjyBHbtRWKioowduxYaLVaBAYGYtKkSSgrs110cO/evbj55puh0WgQFRWFd999t8F1cZjYZKDjHUB4F4YiahKFlYX4YMcHuHvp3diasxVqhRqvJr2KFxNeZChqRDKZDO1C/fDgTdH4+IGe2P6PZKz9+wC8c09XPJDYCl1aaKGUy1BYXoP1WQWYu/EYpv+0B3d89Bc6zVqNge+txyNfb8drvx3A/M3Z0Br64R+9/o0Q7xBk67Lx4MoH8eKmF3FCd8LRl0p04+QKIKBlo4eihmhwi9GPP/6IcePGYe7cuUhMTMScOXOwePFiZGVlITT08jtTb9myBQMGDMDs2bNxxx134Pvvv8c777yDnTt3oksXaU2Od955B7Nnz8bXX3+NmJgYvPzyy9i3bx8yMzOh0UjNxEOGDEFOTg7mzZsHg8GAiRMnok+fPvj+++8BSEmwffv2SE5OxsyZM7Fv3z48/PDDmDNnDqZMmVLvulyLw2elEd2AspoypOekY/nx5dh4ZiMMtTf57RPeB7OSZiFaG+3gGnqmKoMJmTl67D+rw+G8UhzOK8ORvFIUVxiu/CR5BQJaroTZd4f1oXBVF8QH3Yo+Yf0Q2ywSzXzVCPDxgr9aCbmr3IyayE7s1pWWmJiIPn364L///S8AwGw2IyoqCk899RRmzJhxWflRo0ahvLwcy5cvtz520003IT4+HnPnzoUQApGRkXj22Wfx3HPPAQB0Oh3CwsKwYMECjB49GgcPHkSnTp2wfft29O7dGwCwevVqDB06FGfOnEFkZCQ+/fRT/OMf/0Bubi5UKmm9lRkzZmDJkiU4dOhQvepSHwxG5OyEECgzlKGgsgD5Ffk4XnIcx0qO4WDRQWQWZsJ00dTabiHd8Gj3R3Fzi5s5kNcJnS+rxuG8UhwrKMeZogqcKqrA6eIKnC6qhK5SCk1y9Vmom/8Bhd8hyGQX3s5N1aEwV7aAqToSqGkOH0UIArxCEKjRItBHjQBvL/hrlPBVKeCjUsJHpYCPWgkfLwV81Qp4q6R93ioF1Eo5VAoFVEo5vBQyqJRyaVPI+e+GXEZ9P78btJRxTU0NMjIyMHPmhZkqcrkcycnJSEtLq/M5aWlpmD7ddin7lJQULFmyBACQnZ2N3NxcJCcnW/cHBAQgMTERaWlpGD16NNLS0hAYGGgNRQCQnJwMuVyO9PR03HXXXUhLS8OAAQOsochynnfeeQfFxcUICgq6Zl3qUl1djerqC4ta6fX6K/+AbsC3md/ibNlZm8cuzawCl2fYunJtXeXqUt/n1ve81/s8e1/XjVxTnees86HrO8eNvlZVxipUGiutW4WxAvpqPapMVXUcRdLKvxUGtRqEO9regfZB7et1fnKMED81QvzU6Ns25LJ9ukoDThdVIL+0Cvn6wThWfBq7i//AmeqdKBPZUKjzoVDnwwu7AABmAMUAioQCwqQByjQQOg2EWQ0IBSAUEEIBQAEIee33cgAXB59LQ5AMcpkMchmgkMkhl1u+l0EOGVC7TyaTQQZp2RqZTCaN4aj9KpPJah8HpEat2udYziW79IzSf2QXPXJZNJNdWmvZZY9d9n0dV+coDJvAP/pPQe+W7Rxy7gYFo/Pnz8NkMiEsLMzm8bCwMGurzKVyc3PrLJ+bm2vdb3nsamUu7aZTKpUIDg62KRMTE3PZMSz7goKCrlmXusyePRuvvfbaFfc3ljUn1mBPwR67n4c8h5+XH0K8Q9Ba2xptA9siNigWvcJ6IdzX/W4O6YkCvL0Q0CIAQEDtI60A9AMgjR/bf35/bSvhQZzWn0VeRS5KDTrIZCbIlOUA6rgn4g0QAEy1W6McrK7/J49xvHi4awQjTzRz5kybVia9Xo+oqKhGP8/wtsOREJ5w2eN1/eVQx99H9S9X199EdT7UyOet519AN3IOR567Sc5Rx2NqpRo+Sh94K72lzcsbWi8tQnxC4K30rledyP00826GgVEDMTDKdh2YCkMFdNU6lBpKUVZThjJDGcoN5TCYDTCajTCajTb/bxIma2ulpXXTLARMZgGT2Qyj2Vz7/wImIWA0SY8JAGazgICAWQgIIbV6CiE9X0C6+bsZF/aZLWVwoYXU0lBqzUbC8v8X0tLFjanC5rFLSoq6ylx8ZZccxIM5w4+gfbMWDjt3g4JRSEgIFAoF8vLybB7Py8tDeHjdf4WGh4dftbzla15eHiIiImzKxMfHW8vk5+fbHMNoNKKoqMjmOHWd5+JzXKsudVGr1VCr7XsXbQC4P+5+u5+DiDybj5cPfLx8EIGIaxcm8lANmq6vUqnQq1cvpKamWh8zm81ITU1FUlJSnc9JSkqyKQ8Aa9eutZaPiYlBeHi4TRm9Xo/09HRrmaSkJJSUlCAjI8NaZt26dTCbzUhMTLSW2bRpEwwGg8154uLiEBQUVK+6EBERkYcTDbRo0SKhVqvFggULRGZmppgyZYoIDAwUubm5QgghHnroITFjxgxr+c2bNwulUinef/99cfDgQTFr1izh5eUl9u3bZy3z9ttvi8DAQLF06VKxd+9eMWLECBETEyMqKyutZQYPHix69Ogh0tPTxV9//SViY2PFmDFjrPtLSkpEWFiYeOihh8T+/fvFokWLhI+Pj5g3b16D6nItOp1OABA6na6hPzoiIiJykPp+fjc4GAkhxEcffSRatWolVCqVSEhIEFu3brXuGzhwoBg/frxN+Z9++km0b99eqFQq0blzZ7FixQqb/WazWbz88ssiLCxMqNVqMWjQIJGVlWVTprCwUIwZM0b4+fkJrVYrJk6cKEpLS23K7NmzR/Tv31+o1WrRokUL8fbbb19W92vV5VoYjIiIiFxPfT+/eUuQBuI6RkRERK7HrrcEISIiInJHDEZEREREtRiMiIiIiGoxGBERERHVYjAiIiIiqsVgRERERFSLwYiIiIioFoMRERERUS0GIyIiIqJaSkdXwNVYFgrX6/UOrgkRERHVl+Vz+1o3/GAwaqDS0lIAQFRUlINrQkRERA1VWlqKgICAK+7nvdIayGw249y5c/D394dMJmu04+r1ekRFReH06dNuew82d79GXp/rc/dr5PW5Pne/RntenxACpaWliIyMhFx+5ZFEbDFqILlcjpYtW9rt+Fqt1i3/sV/M3a+R1+f63P0aeX2uz92v0V7Xd7WWIgsOviYiIiKqxWBEREREVIvByEmo1WrMmjULarXa0VWxG3e/Rl6f63P3a+T1uT53v0ZnuD4OviYiIiKqxRYjIiIioloMRkRERES1GIyIiIiIajEYEREREdViMLpOn376Kbp162ZdhCopKQmrVq2y7q+qqsLUqVPRrFkz+Pn54Z577kFeXp7NMU6dOoVhw4bBx8cHoaGheP7552E0Gm3KbNiwAT179oRarUa7du2wYMGCy+ry8ccfo3Xr1tBoNEhMTMS2bdua5BpvueUWyGQym+2xxx5zqWu82Ntvvw2ZTIZnnnnG+pg7vI5Xuz5Xfw1fffXVy+rfoUMH635Xf/2udX2u/vpZnD17Fg8++CCaNWsGb29vdO3aFTt27LDuF0LglVdeQUREBLy9vZGcnIwjR47YHKOoqAhjx46FVqtFYGAgJk2ahLKyMpsye/fuxc033wyNRoOoqCi8++67l9Vl8eLF6NChAzQaDbp27YqVK1fa/fomTJhw2es4ePBgl7i+1q1bX1Z3mUyGqVOnAnDR30FB12XZsmVixYoV4vDhwyIrK0u89NJLwsvLS+zfv18IIcRjjz0moqKiRGpqqtixY4e46aabRN++fa3PNxqNokuXLiI5OVns2rVLrFy5UoSEhIiZM2dayxw/flz4+PiI6dOni8zMTPHRRx8JhUIhVq9ebS2zaNEioVKpxFdffSUOHDggJk+eLAIDA0VeXp7dr3HgwIFi8uTJIicnx7rpdDqXukaLbdu2idatW4tu3bqJadOmWR93h9fxatfn6q/hrFmzROfOnW3qX1BQYN3v6q/fta7P1V8/IYQoKioS0dHRYsKECSI9PV0cP35crFmzRhw9etRa5u233xYBAQFiyZIlYs+ePWL48OEiJiZGVFZWWssMHjxYdO/eXWzdulX8+eefol27dmLMmDHW/TqdToSFhYmxY8eK/fv3ix9++EF4e3uLefPmWcts3rxZKBQK8e6774rMzEzxz3/+U3h5eYl9+/bZ9frGjx8vBg8ebPM6FhUV2RzHWa8vPz/fpt5r164VAMT69euFEK75O8hg1IiCgoLEF198IUpKSoSXl5dYvHixdd/BgwcFAJGWliaEEGLlypVCLpeL3Nxca5lPP/1UaLVaUV1dLYQQ4oUXXhCdO3e2OceoUaNESkqK9fuEhAQxdepU6/cmk0lERkaK2bNn2/UahZDelC/+kL2Uq1xjaWmpiI2NFWvXrrW5Jnd5Ha90fUK4/ms4a9Ys0b179zr3ucPrd7XrE8L1Xz8hhHjxxRdF//79r7jfbDaL8PBw8d5771kfKykpEWq1Wvzwww9CCCEyMzMFALF9+3ZrmVWrVgmZTCbOnj0rhBDik08+EUFBQdbrtpw7Li7O+v39998vhg0bZnP+xMRE8eijj9rt+oSQgtGIESOuuN+Zr+9S06ZNE23bthVms9llfwfZldYITCYTFi1ahPLyciQlJSEjIwMGgwHJycnWMh06dECrVq2QlpYGAEhLS0PXrl0RFhZmLZOSkgK9Xo8DBw5Yy1x8DEsZyzFqamqQkZFhU0YulyM5Odlaxl7XaLFw4UKEhISgS5cumDlzJioqKqz7XOUap06dimHDhl1WD3d5Ha90fRau/hoeOXIEkZGRaNOmDcaOHYtTp04BcJ/X70rXZ+Hqr9+yZcvQu3dv3HfffQgNDUWPHj3w+eefW/dnZ2cjNzfX5vwBAQFITEy0eR0DAwPRu3dva5nk5GTI5XKkp6dbywwYMAAqlcrmOrOyslBcXFyvn4U9rs9iw4YNCA0NRVxcHB5//HEUFhZa9znz9V2spqYG3333HR5++GHIZDKX/R3kTWRvwL59+5CUlISqqir4+fnh119/RadOnbB7926oVCoEBgbalA8LC0Nubi4AIDc31+YfgmW/Zd/Vyuj1elRWVqK4uBgmk6nOMocOHbLrNQLAAw88gOjoaERGRmLv3r148cUXkZWVhV9++cVlrnHRokXYuXMntm/fftm+3Nxcl38dr3Z9gOu/homJiViwYAHi4uKQk5OD1157DTfffDP279/vFq/f1a7P39/f5V8/ADh+/Dg+/fRTTJ8+HS+99BK2b9+Op59+GiqVCuPHj7fWs67zX3wNoaGhNvuVSiWCg4NtysTExFx2DMu+oKCgK/4sLMewx/UBwODBg3H33XcjJiYGx44dw0svvYQhQ4YgLS0NCoXCqa/vYkuWLEFJSQkmTJhgPa8r/g4yGN2AuLg47N69GzqdDv/73/8wfvx4bNy40dHValRXusZOnTphypQp1nJdu3ZFREQEBg0ahGPHjqFt27YOrHX9nD59GtOmTcPatWuh0WgcXZ1GV5/rc/XXcMiQIdb/79atGxITExEdHY2ffvoJ3t7eDqxZ47ja9U2aNMnlXz8AMJvN6N27N9566y0AQI8ePbB//37MnTvXGhxcWX2ub/To0dbyXbt2Rbdu3dC2bVts2LABgwYNcki9r8eXX36JIUOGIDIy0tFVuSHsSrsBKpUK7dq1Q69evTB79mx0794d//nPfxAeHo6amhqUlJTYlM/Ly0N4eDgAIDw8/LKR+Zbvr1VGq9XC29sbISEhUCgUdZaxHMNe11iXxMREAMDRo0evWn/LvquVaYprzMjIQH5+Pnr27AmlUgmlUomNGzfiww8/hFKpRFhYmEu/jte6PpPJdNlzXO01vFRgYCDat2+Po0ePutXvocXF11cXV3z9IiIirK3QFh07drR2GVrOcbXzh4eHIz8/32a/0WhEUVFRo7zWN3Kd17q+urRp0wYhISE2r6OzXp/FyZMn8ccff+CRRx6xPuaqv4MMRo3IbDajuroavXr1gpeXF1JTU637srKycOrUKev4nKSkJOzbt8/mH/vatWuh1Wqtv0RJSUk2x7CUsRxDpVKhV69eNmXMZjNSU1NtxgHZ4xrrsnv3bgDSGwHg/Nc4aNAg7Nu3D7t377ZuvXv3xtixY63/78qv47WuT6FQXPYcV3sNL1VWVoZjx44hIiLCLX8PL76+urji69evXz9kZWXZPHb48GFER0cDAGJiYhAeHm5zfr1ej/T0dJvXsaSkBBkZGdYy69atg9lstobFpKQkbNq0CQaDweY64+LiEBQUVK+fhT2ury5nzpxBYWGhzevorNdnMX/+fISGhmLYsGHWx1z2d7DBw7VJCCHEjBkzxMaNG0V2drbYu3evmDFjhpDJZOL3338XQkhTFFu1aiXWrVsnduzYIZKSkkRSUpL1+ZYpirfffrvYvXu3WL16tWjevHmdUxSff/55cfDgQfHxxx/XOUVRrVaLBQsWiMzMTDFlyhQRGBhoM8LfHtd49OhR8frrr4sdO3aI7OxssXTpUtGmTRsxYMAAl7rGS106y8cdXscrXZ87vIbPPvus2LBhg8jOzhabN28WycnJIiQkROTn5wshXP/1u9r1ucPrJ4S0lIRSqRT/+te/xJEjR8TChQuFj4+P+O6776xl3n77bREYGCiWLl0q9u7dK0aMGFHndP0ePXqI9PR08ddff4nY2Fib6ewlJSUiLCxMPPTQQ2L//v1i0aJFwsfH57Lp7EqlUrz//vvi4MGDYtasWTc8nf1a11daWiqee+45kZaWJrKzs8Uff/whevbsKWJjY0VVVZXTX58Q0gywVq1aiRdffPGyfa74O8hgdJ0efvhhER0dLVQqlWjevLkYNGiQNRQJIURlZaV44oknRFBQkPDx8RF33XWXyMnJsTnGiRMnxJAhQ4S3t7cICQkRzz77rDAYDDZl1q9fL+Lj44VKpRJt2rQR8+fPv6wuH330kWjVqpVQqVQiISFBbN261e7XeOrUKTFgwAARHBws1Gq1aNeunXj++edt1lBxhWu81KXByB1exytdnzu8hqNGjRIRERFCpVKJFi1aiFGjRtmsD+Pqr9/Vrs8dXj+L3377TXTp0kWo1WrRoUMH8dlnn9nsN5vN4uWXXxZhYWFCrVaLQYMGiaysLJsyhYWFYsyYMcLPz09otVoxceJEUVpaalNmz549on///kKtVosWLVqIt99++7K6/PTTT6J9+/ZCpVKJzp07ixUrVtj1+ioqKsTtt98umjdvLry8vER0dLSYPHnyZR/oznx9a9asEQAue02EcM3fQZkQQjS8nYmIiIjI/XCMEREREVEtBiMiIiKiWgxGRERERLUYjIiIiIhqMRgRERER1WIwIiIiIqrFYERERERUi8GIiIiIqBaDEREREVEtBiMiIiKiWgxGRERERLUYjIiIiIhq/T/x+GC0yhvJlwAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 640x480 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "x = np.linspace(30000, 70000, 1000)\n",
    "\n",
    "y_prior = prior.prob(x)\n",
    "y_likelihood = likelihood.prob(x)\n",
    "y_posterior = posterior.prob(x)\n",
    "\n",
    "plt.plot(x,y_prior, label=\"Prior\")\n",
    "plt.plot(x,y_likelihood, label=\"Likelihood\")\n",
    "plt.plot(x,y_posterior, label=\"Posterior\")\n",
    "\n",
    "plt.legend();"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "fea52b87-dc31-4af0-bb38-8ed523466b25",
   "metadata": {},
   "source": [
    "Finally, as we did for the frequentist case, we can plot our estimate for the mean of the population. Notice that we are actually computing the credible interval and not the confidence interval with the Bayesian approach."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "id": "57cef556-a63a-4865-8599-f811199c2e79",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAhYAAAGsCAYAAACB/u5dAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjYuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8o6BhiAAAACXBIWXMAAA9hAAAPYQGoP6dpAAAzZ0lEQVR4nO3deXxU1f3/8XfIMknMxhIIgbDJTgiCCKYggoBAUXFHjJYqYhWsYFwwWkXqAmiF1mpBsRJbwSBWlFbBL6IBRFBAERBkDSUgCGXJQiSE5Pz+4JfRIQsMnOEmk9fz8biPMPeemfs5cwfy5p479wQYY4wAAAAsqOV0AQAAwH8QLAAAgDUECwAAYA3BAgAAWEOwAAAA1hAsAACANQQLAABgDcECAABYQ7AAAADWECwAAIA1jgWLpUuX6uqrr1Z8fLwCAgL0/vvv+3R/Tz31lAICAjyWtm3b+nSfAADUNI4Fi6NHj6pTp0565ZVXzts+O3TooL1797qXzz///LztGwCAmiDIqR0PGjRIgwYNqnB7YWGhHn/8cb399ts6cuSIEhMTNXnyZPXu3fus9xkUFKS4uLizfj4AAKhclb3G4r777tOKFSuUkZGhdevW6aabbtLAgQO1devWs37NrVu3Kj4+Xi1atFBKSop27dplsWIAABBQFaZNDwgI0Lx583TttddKknbt2qUWLVpo165dio+Pd7fr16+funXrpueee87rfSxYsED5+flq06aN9u7dqwkTJmjPnj3asGGDIiMjbXUFAIAazbGhkMqsX79excXFat26tcf6wsJC1a1bV5L0/fffq127dpW+zrhx4zRp0iRJ8hh2SUpKUvfu3dW0aVO98847GjFihOUeAABQM1XJYJGfn6/AwECtWbNGgYGBHtsiIiIkSS1atNCmTZsqfZ3SEFKemJgYtW7dWtu2bTv3ggEAgKQqGiw6d+6s4uJi7d+/X5dddlm5bUJCQs7p66L5+fnavn27br/99rN+DQAA4MmxYJGfn+9xtiArK0tr165VnTp11Lp1a6WkpOg3v/mNXnzxRXXu3FkHDhzQ4sWLlZSUpMGDB3u9v4ceekhXX321mjZtqh9++EHjx49XYGCghg0bZrNbAADUaI5dvJmZmak+ffqUWT98+HClp6erqKhIzzzzjP7xj39oz549qlevni699FJNmDBBHTt29Hp/t9xyi5YuXaqDBw8qNjZWPXv21LPPPqsLL7zQRncAAICqyLdCAACAf6iy97EAAADVD8ECAABYc94v3iwpKdEPP/ygyMhIBQQEnO/dAwCAs2CMUV5enuLj41WrVsXnJc57sPjhhx+UkJBwvncLAAAsyM7OVuPGjSvcft6DRents7OzsxUVFXW+dw/UGG1fbqu9eXvVMLKhvr/ve6fLKWvmTOnoUemCC6Q77nC6mnJV+fcQOI9yc3OVkJBw2mkwznuwKB3+iIqKIlgAPlQrtJZUdPJnlfy7NmaM0xWcVpV/DwEHnO4yBi7eBAAA1hAsAACANVVyrhAANcDevVJxsRQYKDVs6HQ1ACypksGiuLhYRUVFTpeBGiowMFBBQUF8HdrXLrlE2rNHatRI2r3b6WoAWFLlgkV+fr52794t7jQOJ4WHh6thw4YKCQlxuhQAqFaqVLAoLi7W7t27FR4ertjYWP7HiPPOGKPjx4/rwIEDysrKUqtWrSq9EQwAwFOVChZFRUUyxig2NlZhYWFOl4MaKiwsTMHBwfrvf/+r48ePKzQ01OmSAKDaqJL/FeNMBZzGWQoAODv86wkAAKwhWAAAAGsIFjVAQECA3n//fafLAADUAAQLCw4cOKB7771XTZo0kcvlUlxcnAYMGKDly5c7XZoVO3fuVEBAgAIDA7Vnzx6PbXv37nXf82Hnzp3OFAgAqDIIFhbccMMN+uabb/Tmm29qy5Ytmj9/vnr37q2DBw86XZpVjRo10j/+8Q+PdW+++aYaNWrkUEUAgKqGYHGOjhw5omXLlmny5Mnq06ePmjZtqm7duiktLU3XXHONu92UKVPUsWNHXXDBBUpISNCoUaOUn5/v3p6enq6YmBj95z//UZs2bRQeHq4bb7xRBQUFevPNN9WsWTPVrl1b999/v4qLi93Pa9asmZ5++mkNGzZMF1xwgRo1aqRXXnml0pqzs7N18803KyYmRnXq1NGQIUPO6GzD8OHDNXPmTI91M2fO1PDhw8u03bBhgwYNGqSIiAg1aNBAt99+u/73v/+5ty9cuFA9e/ZUTEyM6tatq6uuukrbt293by89S/Lee++pT58+Cg8PV6dOnbRixYrT1olqYvFiacOGkz8B+I0qdR+LCk2ZcnI5nS5dpPnzPdddc4309denf25q6snFSxEREYqIiND777+vSy+9VC6Xq9x2tWrV0ksvvaTmzZtrx44dGjVqlB555BH97W9/c7cpKCjQSy+9pIyMDOXl5en666/Xddddp5iYGH300UfasWOHbrjhBvXo0UNDhw51P++FF17QY489pgkTJujjjz/WmDFj1Lp1a/Xv379MHUVFRRowYICSk5O1bNkyBQUF6ZlnntHAgQO1bt26Su80ec0112j69On6/PPP1bNnT33++ec6fPiwrr76aj399NPudkeOHNEVV1yhu+66S1OnTtVPP/2kcePG6eabb9ann34qSTp69KhSU1OVlJSk/Px8Pfnkk7ruuuu0du1aj696Pv744/rTn/6kVq1a6fHHH9ewYcO0bds2BQVVj48uKtGmjdMVuE1dtKXc9fmFJ9w/K2rjlAf6t3a6BKBc1eNf59zck3MKnE5CQtl1Bw6c2XNzc72vS1JQUJDS09M1cuRITZ8+XV26dNHll1+uW265RUlJSe52Y8eOdf+5WbNmeuaZZ3TPPfd4BIuioiJNmzZNF154oSTpxhtv1D//+U/9+OOPioiIUPv27dWnTx999tlnHsGiR48eevTRRyVJrVu31vLlyzV16tRyg8WcOXNUUlKi119/3X2/kJkzZyomJkaZmZm68sorK+xrcHCwbrvtNr3xxhvq2bOn3njjDd12220KDg72aPfyyy+rc+fOeu6559zr3njjDSUkJGjLli1q3bq1brjhBo/nvPHGG4qNjdXGjRuVmJjoXv/QQw9p8ODBkqQJEyaoQ4cO2rZtm9q2bVthnQAA51SPoZCoqJMTFZ1uiY0t+9zY2DN7blTUWZd3ww036IcfftD8+fM1cOBAZWZmqkuXLkpPT3e3+eSTT9S3b181atRIkZGRuv3223Xw4EEVFBS424SHh7tDhSQ1aNBAzZo1U0REhMe6/fv3e+w/OTm5zONNmzaVW+u3336rbdu2KTIy0n22pU6dOjp27JjHUERF7rzzTs2dO1f79u3T3Llzdeedd5a7j88++8z9+hEREe4gULqPrVu3atiwYWrRooWioqLUrFkzSdKuXbs8XuuX4azh/58B89T+AwCqjupxxuIshykklR0a8ZHQ0FD1799f/fv31xNPPKG77rpL48eP129/+1vt3LlTV111le699149++yzqlOnjj7//HONGDFCx48fV3h4uCSV+Z9/QEBAuetKSkrOus78/HxdfPHFmjVrVpltseUFs1N07NhRbdu21bBhw9SuXTslJiZq7dq1ZfZx9dVXa/LkyWWeXxoOrr76ajVt2lQzZsxQfHy8SkpKlJiYqOPHj3u0/2X/S8+wnEv/UYXMni0VFEjh4dKttzpdDQBLqkewqIbat2/vvnfEmjVrVFJSohdffNF9/cA777xjbV8rV64s87hdu3bltu3SpYvmzJmj+vXrK+osz9LceeedGjVqlKZNm1bhPv71r3+pWbNm5V4LcfDgQW3evFkzZszQZZddJkn6/PPPz6oWVGOPPPLztOkEC8BvVI+hkCrs4MGDuuKKK/TWW29p3bp1ysrK0ty5c/X8889ryJAhkqSWLVuqqKhIf/3rX7Vjxw7985//1PTp063VsHz5cj3//PPasmWLXnnlFc2dO1djxowpt21KSorq1aunIUOGaNmyZcrKylJmZqbuv/9+7d69+4z2N3LkSB04cEB33XVXudtHjx6tQ4cOadiwYVq1apW2b9+ujz/+WHfccYeKi4tVu3Zt1a1bV6+99pq2bdumTz/9VKlne0YKAFClECzOUUREhLp3766pU6eqV69eSkxM1BNPPKGRI0fq5ZdfliR16tRJU6ZM0eTJk5WYmKhZs2Zp4sSJ1mp48MEHtXr1anXu3FnPPPOMpkyZogEDBpTbNjw8XEuXLlWTJk10/fXXq127dhoxYoSOHTt2xmcwgoKCVK9evQq/mREfH6/ly5eruLhYV155pTp27KixY8cqJiZGtWrVUq1atZSRkaE1a9YoMTFRDzzwgF544YWz7j8AoOoIMMaY87nD3NxcRUdHKycnp8wvsmPHjikrK0vNmzdnquoz1KxZM40dO9bjWyc4d/7wWWw8pbH25O1Ro8hG2p16ZmejzqvGjX8eCjnDs2W+UtFXSSes7qWc4z8qOqSBxnddep6rqhxfN8X5Vtnv71/ijAUAALCGYAEAAKzhWyHVHBN/AQCqEs5YAAAAawgWAADAGoZCADgjLs7zJwC/QLAA4IzVq52uAIAPMBQCAACsIVgAAABrCBbVyM6dOxUQEOCeTTQzM1MBAQE6cuSIJCk9PV0xMTGVvsZTTz2liy666Jzq6N27d7W/06eN9wEAUBbXWFRjv/rVr7R3715FR0ef1/2+9957ZaZzr8zOnTvVvHlzffPNN/wyx89+9zvp0CGpTh3p1VedrgaAJQQLBxQVFXn1i7kiISEhinPgivo6deqc932WsvXeoQr48MOf5woB4DcYCrGgpKREzz//vFq2bCmXy6UmTZro2WeflfTz8MWcOXN0+eWXKzQ0VLNmzZIkvf7662rXrp1CQ0PVtm1b/e1vf/N43a+++kqdO3dWaGiounbtqm+++cZj+6lDIaXef/99tWrVSqGhoRowYICys7Mrrf90dZzq1KGQZs2a6bnnntOdd96pyMhINWnSRK+99pp7e/PmzSVJnTt3VkBAgHr37n1G+y7vvZs2bZrCwsK0YMECj5rmzZunyMhIFRQUSJLGjRun1q1bKzw8XC1atNATTzyhoqKiSvsFADh3Xp+x2LNnj8aNG6cFCxaooKBALVu21MyZM9W1a1df1Keur3XVvvx9PnntysRFxGn13Wf2dbi0tDTNmDFDU6dOVc+ePbV37159//33Hm0effRRvfjii+6gMGvWLD355JN6+eWX1blzZ33zzTcaOXKkLrjgAg0fPlz5+fm66qqr1L9/f7311lvKysrSmDFjTltLQUGBnn32Wf3jH/9QSEiIRo0apVtuuUXLly8vt/3p6jhTL774op5++mk99thjevfdd3Xvvffq8ssvV5s2bfTVV1+pW7du+uSTT9ShQweFhIR4te9T37tly5Zp9uzZGjRokEc/rr32WoWHh0uSIiMjlZ6ervj4eK1fv14jR45UZGSkHnnkkTPuEwDAe14Fi8OHD6tHjx7q06ePFixYoNjYWG3dulW1a9f2VX3al79Pe/L2+Oz1z1VeXp7+8pe/6OWXX3b/MrzwwgvVs2dPj3Zjx47V9ddf7348fvx4vfjii+51zZs318aNG/Xqq69q+PDhmj17tkpKSvT3v/9doaGh6tChg3bv3q1777230nqKior08ssvq3v37pKkN998U+3atXP/cj/V6eo4U7/+9a81atQoSSfPFkydOlWfffaZ2rRpo9jYWElS3bp1PYZuznTfp753KSkpuv3221VQUKDw8HDl5ubqww8/1Lx589xt/vCHP7j/3KxZMz300EPKyMggWACAj3kVLCZPnqyEhATNnDnTva70NLevxEU4c1e+M93vpk2bVFhYqL59+1ba7pdndI4ePart27drxIgRGjlypHv9iRMn3Bdibtq0SUlJSQoNDXVvT05OPm09QUFBuuSSS9yP27Ztq5iYGG3atKlMsDiTOs5UUlKS+88BAQGKi4vT/v37K2zvzb5PPRv261//WsHBwZo/f75uueUW/etf/1JUVJT69evnbjNnzhy99NJL2r59u/Lz83XixAlFRUV51ScAgPe8Chbz58/XgAEDdNNNN2nJkiVq1KiRRo0a5fGL4VSFhYUqLCx0P87NzfWqwDMdjnBKWFjYGbW74IIL3H/Oz8+XJM2YMcN9ZqFUYGCgveJOw2Ydp15QGRAQoJKSEiv7/uV7J528aPXGG2/U7Nmzdcstt2j27NkaOnSogoJOfpxXrFihlJQUTZgwQQMGDFB0dLQyMjL04osvetUnAID3vLp4c8eOHZo2bZpatWqljz/+WPfee6/uv/9+vfnmmxU+Z+LEiYqOjnYvCQkJ51x0VdKqVSuFhYVp8eLFZ/ycBg0aKD4+Xjt27FDLli09ltIzQO3atdO6det07Ngx9/NWrlx52tc+ceKEVv/iVsmbN2/WkSNH1K5du7Oqw4bSayqKi4ut7TslJUULFy7Ud999p08//VQpKSnubV988YWaNm2qxx9/XF27dlWrVq303//+11p/AAAV8+qMRUlJibp27arnnntO0smr/Dds2KDp06dXOB6flpam1NRU9+Pc3Fy/ChehoaEaN26cHnnkEYWEhKhHjx46cOCAvvvuO40YMaLC502YMEH333+/oqOjNXDgQBUWFmr16tU6fPiwUlNTdeutt+rxxx/XyJEjlZaWpp07d+pPf/rTaesJDg7W73//e7300ksKCgrSfffdp0svvbTc6yvOpA4b6tevr7CwMC1cuFCNGzdWaGiooqOjz2nfvXr1UlxcnFJSUtS8eXOPsx6tWrXSrl27lJGRoUsuuaTM9RcAAN/x6oxFw4YN1b59e4917dq1065duyp8jsvlUlRUlMfib5544gk9+OCDevLJJ9WuXTsNHTq00usLJOmuu+7S66+/rpkzZ6pjx466/PLLlZ6e7v7fekREhP79739r/fr16ty5sx5//HFNnjz5tLWEh4dr3LhxuvXWW9WjRw9FRERozpw5Z12HDUFBQXrppZf06quvKj4+XkOGDDnnfQcEBGjYsGH69ttvPc5WSNI111yjBx54QPfdd58uuugiffHFF3riiSes9QcAULEAY4w508a33nqrsrOztWzZMve6Bx54QF9++aW++OKLM3qN3NxcRUdHKycnp0zIOHbsmLKystS8eXOPixaB880fPouNpzTWnrw9ahTZSLtTdztdTlkPPywdPizVri298IKjpUxdtKXc9RNW91LO8R8VHdJA47suPc9VVe6B/q2dLgE1TGW/v3/Jq6GQBx54QL/61a/03HPP6eabb9ZXX32l1157zeNmSABwRhwOEwB8w6uhkEsuuUTz5s3T22+/rcTERD399NP685//XOZUNAAAqJm8vvPmVVddpauuusoXtQAAgGqOuUIAAIA1VTJYeHE9KeATfAbPg7Ztpaiokz8B+I0qFSxK77h4/PhxhytBTVc6SypTtPtQfr6Ul3fyJwC/4fU1Fr4UFBSk8PBwHThwQMHBwapVq0rlHtQAxhgVFBRo//79iomJOa+3WAcAf1ClgkVAQIAaNmyorKwsbsEMR8XExHjMxAoAODNVKlhIJ+eVaNWqFcMhcExwcDBnKgDgLFW5YCFJtWrVqrZ3OwQAoCbjIgYAAGANwQIAAFhDsAAAANYQLAAAgDVV8uJNADXA9OnSTz9JYWFOVwLAIoIFAGcwmSHglxgKAQAA1hAsAACANQyFAHDGmjXS8eNSSIh08cVOVwPAEoIFAGcMGSLt2SM1aiTt3u10NQAsYSgEAABYQ7AAAADWECwAAIA1BAsAAGANwQIAAFhDsAAAANYQLAAAgDUECwAAYA3BAgAAWMOdNwE4Y9MmyRgpIMDpSgBYRLAA4IzISKcrAOADDIUAAABrCBYAAMAahkIAOGPKFCk3V4qKklJTna4GgCUECwDOmDLl52nTCRaA32AoBAAAWEOwAAAA1hAsAACANQQLAABgDcECAABYQ7AAAADWECwAAIA1BAsAAGANN8gC4IwuXaSEBCk21ulKAFhEsADgjPnzna4AgA8wFAIAAKwhWAAAAGu8ChZPPfWUAgICPJa2bdv6qjYAAFDNeH2NRYcOHfTJJ5/8/AJBXKYB4Cxcc4104MDJize53gLwG16ngqCgIMXFxfmiFgA1yddf/zxtOgC/4fU1Flu3blV8fLxatGihlJQU7dq1q9L2hYWFys3N9VgAAIB/8ipYdO/eXenp6Vq4cKGmTZumrKwsXXbZZcrLy6vwORMnTlR0dLR7SUhIOOeiAQBA1eRVsBg0aJBuuukmJSUlacCAAfroo4905MgRvfPOOxU+Jy0tTTk5Oe4lOzv7nIsGAABV0zldeRkTE6PWrVtr27ZtFbZxuVxyuVznshsAAFBNnNN9LPLz87V9+3Y1bNjQVj0AAKAa8ypYPPTQQ1qyZIl27typL774Qtddd50CAwM1bNgwX9UHAACqEa+GQnbv3q1hw4bp4MGDio2NVc+ePbVy5UrFMokQAACQl8EiIyPDV3UAAAA/wG0zATgjNVXKzZWiopyuBIBFBAsAzkhNdboCAD7A7KYAAMAaggUAALCGoRAAzsjLk4yRAgKkyEinqwFgCWcsADijXTspOvrkTwB+g2ABAACsIVgAAABrCBYAAMAaggUAALCGYAEAAKwhWAAAAGsIFgAAwBqCBQAAsIZgAQAArOGW3gCc8cEH0vHjUkiI05UAsIhgAcAZF1/sdAUAfIChEAAAYA3BAgAAWMNQCABn/Oc/0k8/SWFh0lVXOV0NAEsIFgCccc890p49UqNG0u7dTlcDwBKGQgAAgDUECwAAYA3BAgAAWEOwAAAA1hAsAACANQQLAABgDcECAABYQ7AAAADWECwAOCMiQoqMPPkTgN/gzpsAnPH9905XAMAHOGMBAACsIVgAAABrCBYAAMAarrEA4IyHH5YOH5Zq15ZeeMHpagBYQrAA4Iy33/552nSCBeA3GAoBAADWECwAAIA1BAsAAGANwQIAAFhDsAAAANYQLAAAgDUECwAAYM05BYtJkyYpICBAY8eOtVQOAACozs76BlmrVq3Sq6++qqSkJJv1AKgpBg+WDh2S6tRxuhIAFp1VsMjPz1dKSopmzJihZ555xnZNAGqCV191ugIAPnBWQyGjR4/W4MGD1a9fv9O2LSwsVG5urscCAAD8k9dnLDIyMvT1119r1apVZ9R+4sSJmjBhgteFAQCA6serMxbZ2dkaM2aMZs2apdDQ0DN6TlpamnJyctxLdnb2WRUKAACqPq/OWKxZs0b79+9Xly5d3OuKi4u1dOlSvfzyyyosLFRgYKDHc1wul1wul51qAfiPrl2lffukuDhp9WqnqwFgiVfBom/fvlq/fr3HujvuuENt27bVuHHjyoQKAKjQvn0np00H4Fe8ChaRkZFKTEz0WHfBBReobt26ZdYDAICahztvAgAAa876BlmlMjMzLZQBAAD8AWcsAACANQQLAABgDcECAABYQ7AAAADWECwAAIA15/ytEAA4K88/LxUUSOHhTlcCwCKCBQBn3Hqr0xUA8AGGQgAAgDUECwAAYA1DIQCcsXmzdOKEFBQktWnjdDUALCFYoEaYumiL0yWclQf6t3a6BN/p2/fk7KaNGkm7dztdTbVTHT/Tfv15hhtDIQAAwBqCBQAAsIZgAQAArCFYAAAAawgWAADAGoIFAACwhmABAACsIVgAAABrCBYAAMAa7rwJwBmrVknFxVJgoNOVALCIYAHAGQ0bOl0BAB9gKAQAAFhDsAAAANYwFALAGa+9JuXnSxER0t13O10NAEsIFgCc8cc//jxtOsEC8BsMhQAAAGsIFgAAwBqCBQAAsIZgAQAArCFYAAAAawgWAADAGoIFAACwhmABAACs4QZZAJzRurUUHS01aOB0JQAsIlgAcMannzpdAQAfYCgEAABYQ7AAAADWECwAAIA1XGMBwBkpKdL//ifVqyfNmuV0NQAsIVgAcMaSJT9Pmw7AbzAUAgAArCFYAAAAawgWAADAGq+CxbRp05SUlKSoqChFRUUpOTlZCxYs8FVtAACgmvEqWDRu3FiTJk3SmjVrtHr1al1xxRUaMmSIvvvuO1/VBwAAqhGvvhVy9dVXezx+9tlnNW3aNK1cuVIdOnSwWhgAAKh+zvrrpsXFxZo7d66OHj2q5OTkCtsVFhaqsLDQ/Tg3N/dsdwkAAKo4ry/eXL9+vSIiIuRyuXTPPfdo3rx5at++fYXtJ06cqOjoaPeSkJBwTgUDAICqy+szFm3atNHatWuVk5Ojd999V8OHD9eSJUsqDBdpaWlKTU11P87NzSVcAJBGjpRyck5OnQ7Ab3gdLEJCQtSyZUtJ0sUXX6xVq1bpL3/5i1599dVy27tcLrlcrnOrEoD/GT/e6QoA+MA538eipKTE4xoKAABQc3l1xiItLU2DBg1SkyZNlJeXp9mzZyszM1Mff/yxr+oDAADViFfBYv/+/frNb36jvXv3Kjo6WklJSfr444/Vv39/X9UHAACqEa+Cxd///ndf1QGgpmnc+OfZTXfvdroaAJYwVwgAALCGYAEAAKwhWAAAAGsIFgAAwBqCBQAAsOasJyGriqYu2uJ0CV57oH9rp0tAFXYun+n8whPun+fz7wafafgTfq94jzMWAADAGoIFAACwhmABAACs8atrLABUI2+9JRUWSsx+DPgVggUAZ/Tu7XQFAHyAoRAAAGANwQIAAFjDUAgAZ2Rm/nyNBcMigN8gWABwxm23MW064IcYCgEAANYQLAAAgDUECwAAYA3BAgAAWEOwAAAA1hAsAACANQQLAABgDcECAABYQ7AAAADWcOdNAM7gbpuAX+KMBQAAsIZgAQAArCFYAAAAa7jGAoAzJkyQcnKk6Ghp/HinqwFgCcECgDNmzPh52nSCBeA3GAoBAADWECwAAIA1BAsAAGANwQIAAFhDsAAAANYQLAAAgDUECwAAYA3BAgAAWMMNsgA44/LLpf/9T6pXz+lKAFhEsADgjFmznK4AgA8wFAIAAKwhWAAAAGsIFgAAwBqvgsXEiRN1ySWXKDIyUvXr19e1116rzZs3+6o2AP7siiukDh1O/gTgN7wKFkuWLNHo0aO1cuVKLVq0SEVFRbryyit19OhRX9UHwF9t2SJt3HjyJwC/4dW3QhYuXOjxOD09XfXr19eaNWvUq1cvq4UBAIDq55y+bpqTkyNJqlOnToVtCgsLVVhY6H6cm5t7LrsEAABV2FlfvFlSUqKxY8eqR48eSkxMrLDdxIkTFR0d7V4SEhLOdpcAAKCKO+tgMXr0aG3YsEEZGRmVtktLS1NOTo57yc7OPttdAgCAKu6shkLuu+8+/ec//9HSpUvVuHHjStu6XC65XK6zKg4AAFQvXgULY4x+//vfa968ecrMzFTz5s19VRcAAKiGvAoWo0eP1uzZs/XBBx8oMjJS+/btkyRFR0crLCzMJwUCAIDqw6trLKZNm6acnBz17t1bDRs2dC9z5szxVX0AAKAa8XooBACsePJJKT9fiohwuhIAFjFtOgBn3H230xUA8AEmIQMAANZwxgJem7qIuR1QMT4fqAifjZqBYAHAERcc3K+AkhKZWrV0tG59p8sBYAnBAoAjhv3+RkX+70fl1Wug12cvdbocAJZwjQUAALCGYAEAAKwhWAAAAGsIFgAAwBqCBQAAsIZgAQAArCFYAAAAawgWAADAGoIFAACwhjtvAnDEvyanq1ZxsUoCA50uBYBFBAsAjjic0MLpEgD4AEMhAADAGoIFAACwhqEQAI5o8+m/FVx4TEWuUG2+4mqnywFgCcECgCMue/0F97TpBAvAfzAUAgAArCFYAAAAawgWAADAGoIFAACwhmABAACsIVgAAABrCBYAAMAaggUAALCGG2QBcERB7XoePwH4B4IFAEfMfuU9p0sA4AMMhQAAAGsIFgAAwBqCBQAAsIZrLAA4ou+fn1Ro3hEdi4zR4rF/dLocAJYQLAA4ovlXme5p0wH4D4ZCAACANQQLAABgDcECAABYQ7AAAADWECwAAIA1BAsAAGANwQIAAFhDsAAAANZwgywAjtjce7Bc+bkqjIhyuhQAFnkdLJYuXaoXXnhBa9as0d69ezVv3jxde+21PigNgD9bdvc4p0sA4ANeD4UcPXpUnTp10iuvvOKLegAAQDXm9RmLQYMGadCgQb6oBQAAVHM+v8aisLBQhYWF7se5ubm+3iUAAHCIz78VMnHiREVHR7uXhIQEX+8SQDUw/M6BGnVtFw2/c6DTpQCwyOfBIi0tTTk5Oe4lOzvb17sEUA0EHyuQq+Cogo8VOF0KAIt8PhTicrnkcrl8vRsAAFAFcIMsAABgjddnLPLz87Vt2zb346ysLK1du1Z16tRRkyZNrBYHAACqF6+DxerVq9WnTx/349TUVEnS8OHDlZ6ebq0wAABQ/XgdLHr37i1jjC9qAQAA1RzXWAAAAGsIFgAAwBqCBQAAsIZp0wE4YvH9ExR0/JhOhIQ6XQoAiwgWAByRdWmf0zcCUO0wFAIAAKwhWAAAAGsYCgHgiPpbNijwRJGKg4K1v3Wi0+UAsIRgAcAR1zw1SpH/+1F59Rro9dlLnS4HgCUMhQAAAGsIFgAAwBqCBQAAsIZgAQAArCFYAAAAawgWAADAGoIFAACwhmABAACsIVgAAABruPMmAEe8+fpHCjCSCXC6EgA2ESwAOKIoPMLpEgD4AEMhAADAGoIFAACwhqEQAI7o8u5MhRTk63h4hL6+8Q6nywFgCcECgCO6vDfTPW06wQLwHwyFAAAAawgWAADAGoIFAACwhmABAACsIVgAAABrCBYAAMAaggUAALCGYAEAAKzhBlkAHLG/ZXvlxTbUT9G1nS4FgEUECwCOmP/H6U6XAMAHGAoBAADWECwAAIA1BAsAAGAN11gAcMQ1T96jsJzD+im6NtdbAH6EYAHAEfW3bXRPmw7AfzAUAgAArCFYAAAAawgWAADAGoIFAACw5qyCxSuvvKJmzZopNDRU3bt311dffWW7LgAAUA15HSzmzJmj1NRUjR8/Xl9//bU6deqkAQMGaP/+/b6oDwAAVCNeB4spU6Zo5MiRuuOOO9S+fXtNnz5d4eHheuONN3xRHwAAqEa8uo/F8ePHtWbNGqWlpbnX1apVS/369dOKFSvKfU5hYaEKCwvdj3NyciRJubm5Z1NvpY4dzbf+mr7mi/fB16rj+1wTmWMl0nHJlJRUyWOWW1IiIymvitYnVf33ECiPr36vlL6uMabyhsYLe/bsMZLMF1984bH+4YcfNt26dSv3OePHjzeSWFhYWFhYWPxgyc7OrjQr+PzOm2lpaUpNTXU/Likp0aFDh1S3bl0FBARY209ubq4SEhKUnZ2tqKgoa69bHdTUvtPvmtVvqeb2vab2W6q5fa+K/TbGKC8vT/Hx8ZW28ypY1KtXT4GBgfrxxx891v/444+Ki4sr9zkul0sul8tjXUxMjDe79UpUVFSVOQjnW03tO/2ueWpq32tqv6Wa2/eq1u/o6OjTtvHq4s2QkBBdfPHFWrx4sXtdSUmJFi9erOTkZO8rBAAAfsXroZDU1FQNHz5cXbt2Vbdu3fTnP/9ZR48e1R133OGL+gAAQDXidbAYOnSoDhw4oCeffFL79u3TRRddpIULF6pBA2dnKHS5XBo/fnyZYZeaoKb2nX7XrH5LNbfvNbXfUs3te3Xud4A57fdGAAAAzgxzhQAAAGsIFgAAwBqCBQAAsIZgAQAArHEsWEybNk1JSUnum38kJydrwYIF7u3Hjh3T6NGjVbduXUVEROiGG24oc2OuXbt2afDgwQoPD1f9+vX18MMP68SJEx5tMjMz1aVLF7lcLrVs2VLp6ellajnf08Cfru+9e/dWQECAx3LPPfd4vEZ17fsvTZo0SQEBARo7dqx7nT8f91Ll9dtfj/lTTz1Vpl9t27Z1b/fX4326fvvr8S61Z88e3Xbbbapbt67CwsLUsWNHrV692r3dGKMnn3xSDRs2VFhYmPr166etW7d6vMahQ4eUkpKiqKgoxcTEaMSIEcrP95yvZd26dbrssssUGhqqhIQEPf/882VqmTt3rtq2bavQ0FB17NhRH330kW86rdP3+7e//W2Z4z5w4ECP16iO/S7Dm7lCbJo/f7758MMPzZYtW8zmzZvNY489ZoKDg82GDRuMMcbcc889JiEhwSxevNisXr3aXHrppeZXv/qV+/knTpwwiYmJpl+/fuabb74xH330kalXr55JS0tzt9mxY4cJDw83qampZuPGjeavf/2rCQwMNAsXLnS3ycjIMCEhIeaNN94w3333nRk5cqSJiYkxP/74o2N9v/zyy83IkSPN3r173UtOTo5f9L3UV199ZZo1a2aSkpLMmDFj3Ov9+bhX1m9/Pebjx483HTp08OjXgQMH3Nv99Xifrt/+eryNMebQoUOmadOm5re//a358ssvzY4dO8zHH39stm3b5m4zadIkEx0dbd5//33z7bffmmuuucY0b97c/PTTT+42AwcONJ06dTIrV640y5YtMy1btjTDhg1zb8/JyTENGjQwKSkpZsOGDebtt982YWFh5tVXX3W3Wb58uQkMDDTPP/+82bhxo/nDH/5ggoODzfr16x3p9/Dhw83AgQM9jvuhQ4c8Xqe69bs8jgWL8tSuXdu8/vrr5siRIyY4ONjMnTvXvW3Tpk1GklmxYoUxxpiPPvrI1KpVy+zbt8/dZtq0aSYqKsoUFhYaY4x55JFHTIcOHTz2MXToUDNgwAD3427dupnRo0e7HxcXF5v4+HgzceJEn/SxIqV9N+bkPzq//KVzqure97y8PNOqVSuzaNEij776+3GvqN/G+O8xHz9+vOnUqVO52/z5eFfWb2P893gbY8y4ceNMz549K9xeUlJi4uLizAsvvOBed+TIEeNyuczbb79tjDFm48aNRpJZtWqVu82CBQtMQECA2bNnjzHGmL/97W+mdu3a7vejdN9t2rRxP7755pvN4MGDPfbfvXt387vf/e7cOlmO0/XbmJPBYsiQIRVur479Lk+VuMaiuLhYGRkZOnr0qJKTk7VmzRoVFRWpX79+7jZt27ZVkyZN3NOzr1ixQh07dvS4MdeAAQOUm5ur7777zt3ml69R2qb0NUqngf9lm9NNA2/bqX0vNWvWLNWrV0+JiYlKS0tTQUGBe1t17/vo0aM1ePDgMvX5+3GvqN+l/PWYb926VfHx8WrRooVSUlK0a9cuSf5/vCvqdyl/Pd7z589X165dddNNN6l+/frq3LmzZsyY4d6elZWlffv2edQVHR2t7t27exz3mJgYde3a1d2mX79+qlWrlr788kt3m169eikkJMTdZsCAAdq8ebMOHz7sblPZe3Q++10qMzNT9evXV5s2bXTvvffq4MGD7m3Vsd/l8fnsppVZv369kpOTdezYMUVERGjevHlq37691q5dq5CQkDKTlTVo0ED79u2TJO3bt6/M3T5LH5+uTW5urn766ScdPnxYxcXF5bb5/vvvbXa1jIr6Lkm33nqrmjZtqvj4eK1bt07jxo3T5s2b9d5771Xar9JtlbVxuu8ZGRn6+uuvtWrVqjLb9u3b57fHvbJ+S/57zLt376709HS1adNGe/fu1YQJE3TZZZdpw4YNfn28K+t3ZGSk3x5vSdqxY4emTZum1NRUPfbYY1q1apXuv/9+hYSEaPjw4e76y6vrl32rX7++x/agoCDVqVPHo03z5s3LvEbpttq1a1f4HpW+hk2n67ckDRw4UNdff72aN2+u7du367HHHtOgQYO0YsUKBQYGVst+l8fRYNGmTRutXbtWOTk5evfddzV8+HAtWbLEyZLOm4r63r59e919993udh07dlTDhg3Vt29fbd++XRdeeKGDVZ+b7OxsjRkzRosWLVJoaKjT5Zw3Z9Jvfz3mgwYNcv85KSlJ3bt3V9OmTfXOO+8oLCzMwcp8q7J+jxgxwm+Pt3RyYsquXbvqueeekyR17txZGzZs0PTp092/YP3RmfT7lltucbfv2LGjkpKSdOGFFyozM1N9+/Z1pG5fcHQoJCQkRC1bttTFF1+siRMnqlOnTvrLX/6iuLg4HT9+XEeOHPFo/8vp2ePi4sqdvr10W2VtoqKiFBYWdlbTwNtSUd/L0717d0nStm3bJFXfvq9Zs0b79+9Xly5dFBQUpKCgIC1ZskQvvfSSgoKC1KBBA7887qfrd3FxcZnn+MsxP1VMTIxat26tbdu21Yi/56V+2e/y+NPxbtiwofvsa6l27dq5h4JK911ZXXFxcdq/f7/H9hMnTujQoUNWPhu+6P/p+l2eFi1aqF69eh7Hvbr1uzxV4hqLUiUlJSosLNTFF1+s4OBgj+nZN2/erF27drmvQ0hOTtb69es9DsKiRYsUFRXlPrjJycker1HapvQ1qtI08KV9L8/atWslnfzgStW373379tX69eu1du1a99K1a1elpKS4/+yPx/10/Q4MDCzzHH855qfKz8/X9u3b1bBhwxr19/yX/S6PPx3vHj16aPPmzR7rtmzZoqZNm0qSmjdvrri4OI+6cnNz9eWXX3oc9yNHjmjNmjXuNp9++qlKSkrcISw5OVlLly5VUVGRu82iRYvUpk0b1a5d292msvfIptP1uzy7d+/WwYMHPY57det3uc7LJaLlePTRR82SJUtMVlaWWbdunXn00UdNQECA+b//+z9jzMmvoTVp0sR8+umnZvXq1SY5OdkkJye7n1/6dawrr7zSrF271ixcuNDExsaW+3Wshx9+2GzatMm88sor5X4dy+VymfT0dLNx40Zz9913m5iYGI+rsc9n37dt22b++Mc/mtWrV5usrCzzwQcfmBYtWphevXr5Rd9PderV8f583Cvqtz8f8wcffNBkZmaarKwss3z5ctOvXz9Tr149s3//fmOM/x7vyvrtz8fbmJNfqQ4KCjLPPvus2bp1q5k1a5YJDw83b731lrvNpEmTTExMjPnggw/MunXrzJAhQ8r9umnnzp3Nl19+aT7//HPTqlUrj69dHjlyxDRo0MDcfvvtZsOGDSYjI8OEh4eX+dplUFCQ+dOf/mQ2bdpkxo8f77OvXZ6u33l5eeahhx4yK1asMFlZWeaTTz4xXbp0Ma1atTLHjh2rtv0uj2PB4s477zRNmzY1ISEhJjY21vTt29cdKowx5qeffjKjRo0ytWvXNuHh4ea6664ze/fu9XiNnTt3mkGDBpmwsDBTr1498+CDD5qioiKPNp999pm56KKLTEhIiGnRooWZOXNmmVr++te/miZNmpiQkBDTrVs3s3LlSp/0uVRlfd+1a5fp1auXqVOnjnG5XKZly5bm4Ycf9viOuzHVt++nOjVY+PNx/6Vf9tufj/nQoUNNw4YNTUhIiGnUqJEZOnSox/f6/fV4V9Zvfz7epf7973+bxMRE43K5TNu2bc1rr73msb2kpMQ88cQTpkGDBsblcpm+ffuazZs3e7Q5ePCgGTZsmImIiDBRUVHmjjvuMHl5eR5tvv32W9OzZ0/jcrlMo0aNzKRJk8rU8s4775jWrVubkJAQ06FDB/Phhx/a7/D/V1m/CwoKzJVXXmliY2NNcHCwadq0qRk5cmSZkFcd+30qpk0HAADWVKlrLAAAQPVGsAAAANYQLAAAgDUECwAAYA3BAgAAWEOwAAAA1hAsAACANQQLAABgDcECAABYQ7AAAADWECwAAIA1BAsAAGDN/wPnHcFkYx19SQAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 640x480 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "visualize_output(sample_data, posterior.mean(), (posterior.quantile(0.025), posterior.quantile(0.975)), 'credible')"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "d140c216-b9c2-4228-99a8-2630ce1e4501",
   "metadata": {},
   "source": [
    "# Conclusion\n",
    "In conclusion, the frequentist and Bayesian approaches are two different ways of analyzing data and making predictions. The frequentist approach is based on the idea of statistical significance and involves constructing hypotheses about a population and testing them using sample data. The Bayesian approach is based on subjective probability and involves updating an initial belief about a population using collected data.\n",
    "Using TensorFlow and TensorFlow Probability, we demonstrated how to compute the mean and confidence interval for the frequentist approach and the mean and credible interval for the Bayesian approach. Both approaches can be useful for different types of problems and it is important to understand the strengths and limitations of each one in order to choose the most appropriate method for a given situation."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "ea280cc8-1a89-4029-a655-28a7ac4d911c",
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3 (ipykernel)",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.9.15"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}