{ "cells": [ { "cell_type": "markdown", "metadata": { "id": "aiFoINOVTq5m" }, "source": [ "# Введение в анализ данных\n", "## Домашнее задание 8. Вероятность.\n" ] }, { "cell_type": "markdown", "metadata": { "id": "AmfXdrLokdOg" }, "source": [ "**Правила, прочитайте внимательно:**\n", "\n", "* Выполненную работу нужно отправить телеграм-боту `@thetahat_ds25_bot`. Для начала работы с ботом каждый раз отправляйте `/start`. Дождитесь подтверждения от бота, что он принял файл. Если подтверждения нет, то что-то не так. **Работы, присланные иным способом, не принимаются.**\n", "* Дедлайн см. в боте. После дедлайна работы не принимаются кроме случаев наличия уважительной причины.\n", "* Прислать нужно **ноутбук в формате `ipynb`**. Если вы строите интерактивные графики, их стоит прислать в формате html.\n", "* Следите за размером файлов. **Бот не может принимать файлы весом более 20 Мб.** Если файл получается больше, заранее разделите его на несколько.\n", "* Выполнять задание необходимо полностью самостоятельно. **При обнаружении списывания всем участникам списывания дается штраф -2 балла к итоговой оценке за семестр.**\n", "* Решения, размещенные на каких-либо интернет-ресурсах, не принимаются. Кроме того, публикация решения в открытом доступе может быть приравнена к предоставлении возможности списать.\n", "* Обратите внимание на правила использования ИИ-инструментов при решении домашнего задания.\n", "* **Код из рассказанных на занятиях ноутбуков** можно использовать без ограничений.\n", "* Для выполнения задания используйте этот ноутбук в качестве основы, ничего не удаляя из него. Можно добавлять необходимое количество ячеек.\n", "* Комментарии к решению пишите в markdown-ячейках.\n", "* Выполнение задания (ход решения, выводы и пр.) должно быть осуществлено на русском языке.\n", "* Решение проверяется системой ИИ-проверки **ThetaGrader**. Результат проверки валидируется и исправляется человеком, после чего комментарии отправляются студентам.\n", "* Если код будет не понятен проверяющему, оценка может быть снижена.\n", "* Никакой код из данного задания при проверке запускаться не будет. *Если код студента не выполнен, недописан и т.д., то он не оценивается.*\n", "* **Код из рассказанных на занятиях ноутбуков** можно использовать без ограничений.\n", "\n", "**Правила оформления теоретических задач:**\n", "\n", "* Решения необходимо оформить в виде $\\LaTeX$ в markdown-ячейках. Иные способы (в т.ч. фотографии) не принимаются.\n", "* Если вы не знаете $\\LaTeX$, используйте ИИ-инструменты для оформления черновика решения. Примеры были показаны на лекции 2 по ИИ-инструментам.\n", "* **В решениях поясняйте, чем вы пользуетесь**, хотя бы кратко.\n", "* Решение, в котором есть только ответ, и отсутствуют вычисления, оценивается в 0 баллов.\n", "\n", "\n", "Важно!!! Правила заполнения ноутбука:\n", "* Запрещается удалять имеющиеся в ноутбуке ячейки, менять местами положения задач.\n", "* Сохраняйте естественный линейный порядок повествования в ноутбуке сверху-вниз.\n", "* Отвечайте на вопросы, а также добавляйте новые ячейки в предложенных местах, которые обозначены `...`.\n", "* В markdown-ячейка, содержащих описание задачи, находятся специальные отметки, которые запрещается модифицировать.\n", "* При нарушении данных правил работа может получить 0 баллов.\n", "\n", "**Баллы за задание:**\n", "\n", "Легкая часть (достаточно на \"хор\"):\n", "* Задача 1 — 40 баллов за контест и 20 баллов за ноутбук\n", "* Задача 2 — 40 баллов\n", "\n", "Сложная часть (необходимо на \"отл\"):\n", "* Задача 3 — 80 баллов\n", "* Задача 4 — 20 баллов" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "R4ED62s8Tq5o" }, "outputs": [], "source": [ "# Bot check\n", "\n", "# HW_ID: fpmi_ad8\n", "# Бот проверит этот ID и предупредит, если случайно сдать что-то не то.\n", "\n", "# Status: not final\n", "# Перед отправкой в финальном решении удали \"not\" в строчке выше.\n", "# Так бот проверит, что ты отправляешь финальную версию, а не промежуточную.\n", "# Никакие значения в этой ячейке не влияют на факт сдачи работы." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "8F29PUfCTq5p" }, "outputs": [], "source": [ "import numpy as np\n", "import pandas as pd\n", "import matplotlib.pyplot as plt\n", "import seaborn as sns\n", "\n", "sns.set(style='whitegrid', font_scale=1.3, palette='Set2')" ] }, { "cell_type": "markdown", "metadata": { "id": "xJAyQY3ATq5p" }, "source": [ "---\n", "### Легкая часть\n", "---" ] }, { "cell_type": "markdown", "metadata": { "id": "qcz3psobTq5p" }, "source": [ "\n", "### Задача 1.\n", "\n", "**При решении данной задачи можно использовать ИИ-инструменты только для построения графиков и оформления документации к коду. Использование ИИ-инструментов для решения контеста запрещено.**\n", "\n", "\n", "**Части 1-3**\n", "\n", "Условие задачи в контесте, ссылка на который отправлена через бот.\n", "Далее можно использовать как свою реализацию функций, так и библиотечную." ] }, { "cell_type": "markdown", "metadata": { "id": "1R6wzJlMTq5p" }, "source": [ "**Часть 4**\n", "\n", "\n", "Для $U[0, 1]$ сгенерируйте $200$ независимых случайных величин, постройте график плотности на отрезке $[-0.25, 1.25]$, а также гистограмму по сгенерированным случайным величинам. Для построения графика необходимо брать достаточно большое количество точек сетки." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "uXVsnolnTq5q" }, "outputs": [], "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "4tIOchWZTq5q" }, "source": [ "Исследуйте, как меняются значения случайных величин в зависимости от `precision` в написанной ранее вами функции." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "N-wNF6CRTq5q" }, "outputs": [], "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "dhuHtvYfTq5q" }, "source": [ "Для $\\mathcal{N}(0, 1)$ сгенерируйте $200$ независимых случайных величин, постройте график плотности на отрезке $[-3, 3]$, а также гистограмму по сгенерированным случайным величинам." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "v_IhIurbTq5q" }, "outputs": [], "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "BPr1203cTq5q" }, "source": [ "Для $Exp(1)$ сгенерируйте выборку размера 100 и постройте график плотности этого распределения на отрезке $[-0.5, 5]$." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true, "id": "UJDJLFdiTq5q" }, "outputs": [], "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "AE4jC8vjTq5q" }, "source": [ "**Выводы:**" ] }, { "cell_type": "markdown", "metadata": { "id": "LrcaQQR0Tq5q" }, "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "J9SjaXmSTq5q" }, "source": [ "---\n", "\n", "### Задача 2.\n", "\n", "Рассмотрим распределение Коши с плотностью\n", "$$p(x) = \\frac{1}{\\pi(1+x^2)}$$\n", "для $x\\in\\mathbb{R}$, которое известно своими тяжелыми хвостами. Иначе говоря, плотность убывает медленно при $x \\to \\infty$ (точное определение может различаться для разных источников). Сравните, например, с нормальным или экспоненциальным распределениями. В частности, из-за этого у распределения Коши даже не существует математического ожидания.\n", "\n", "За распределение Коши отвечает класс `scipy.stats.cauchy`.\n", "\n", "**1.** Визуализируйте на одном графики плотности нормального распределения и распределения Коши. Что можно сказать?" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "oHqeGmb8Tq5q" }, "outputs": [], "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "gn6H7XQxTq5q" }, "source": [ "**2.** Повторите эксперимент с занятия про закон больших чисел для распределения Коши. Выполняется ли закон?" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "WcoYpW21Tq5q" }, "outputs": [], "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "86G9FyA5Tq5r" }, "source": [ "**3.** Аналогичным образом проведите эксперимент по изучению зависимости *выборочной* медианы от размера выборки. Медиану по выборке можно посчитать с помощью `np.median`." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "Velx3va-Tq5r" }, "outputs": [], "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "aURaYcxfTq5r" }, "source": [ "**Вывод:**" ] }, { "cell_type": "markdown", "metadata": { "id": "tGmiqdAHTq5r" }, "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "a_XbholOTq5r" }, "source": [ "---\n", "### Сложная часть\n", "---" ] }, { "cell_type": "markdown", "metadata": { "id": "ggDHNma7Tq5r" }, "source": [ "### Задача 3.\n", "\n", "Перед выполнением этой задачи настоятельно рекомендуется посмотреть ноутбук с лекции про закон больших чисел.\n", "\n", "На практике не редко возникает вопрос — **сколько времени потребуется на сбор данных, чтобы оценить среднее с достаточной точностью**. Для ответа на этот вопрос можно использовать различные теоретические оценки, в частности, неравенство Чебышева.\n", "\n", "Другой способ — смоделировать большое количество выборок.\n", "Возьмем в качестве меры отклонения от среднего *среднее значение модуля отклонения от среднего*, то есть\n", "$$F(n) = \\frac{1}{K}\\sum\\limits_{j=1}^{K} \\left| S_{nj} - a \\right|,$$\n", "где $a$ — математическое ожидание элемента выборки, $S_{nj}$ — *выборочное* среднее $n$ элементов в $j$-й выборке, а $K$ — общее количество выборок.\n", "\n", "**1.** Рассмотрим распределения $Bern(a)$ для $a=0.5$. Пусть для нас допустимо отклонение на 0.02, иначе говоря при *истинном* среднем 0.5 мы считаем достаточно точными значения *выборочного* среднего от 0.48 до 0.52. Тогда в качестве *приближения* необходимого размера выборок можно взять наименьшее значение $n$, при котором $F(n) \\leqslant 0.02$.\n", "\n", "Реализуйте данный эксперимен для $K=500$ и найдите значение $n$. Визуализируйте зависимость $F(n)$ от $n$ в обычном и логарифмическом масштабах (по тем осям, по которым это имеет смысл).\n", "\n", "Для реализации без циклов стоит генерировать достаточно большие выборки и использовать функцию `np.where`." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "bAZI4IDPTq5r" }, "outputs": [], "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "Na3Nnml0Tq5r" }, "source": [ "**2.** Повторите данный эксперимент для значений $a$ от 0.05 до 0.95 с шагом 0.05. Визуализируйте зависимость необходимого размера выборки $n$ от значения $a$.\n", "\n", "При реализации можно сделать цикл по значениям $a$." ] }, { "cell_type": "code", "execution_count": null, "metadata": { "id": "5ymS7Tw7Tq5r" }, "outputs": [], "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "FyqXii71Tq5r" }, "source": [ "**Выводы:**" ] }, { "cell_type": "markdown", "metadata": { "id": "zRomTciYTq5r" }, "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "YVcXXRUIT4D-" }, "source": [ "---\n", "### Задача 4." ] }, { "cell_type": "markdown", "metadata": { "id": "O6XoPK6ei8cb" }, "source": [ "Перед выполнением этой задачи настоятельно рекомендуется посмотреть ноутбук с лекции про условное математическое ожидание и условное распределение.\n" ] }, { "cell_type": "markdown", "metadata": { "id": "zIW7_lGyTwTI" }, "source": [ "Рассмотрим следующее вероятностное пространство:\n", "* $\\Omega = \\{1, 2, 3, 4, 5, 6, 7, 8\\}$ – номера точек на единичной окружности.\n", "\n", "![download (1) (1).png](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAbIAAAGyCAYAAACBc0EcAAAAOnRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjEwLjAsIGh0dHBzOi8vbWF0cGxvdGxpYi5vcmcvlHJYcgAAAAlwSFlzAAAPYQAAD2EBqD+naQAASChJREFUeJzt3Xl4XPd93/v3mRkMMDPYF2LhBpAUaUgmFVG7LHmBvNBrU8ly7Dhp0qaN8zx1EufeJm2eqmlvY7u3vW2T3Ovn3jiJkyduEjuxrSSObdEKRW+ytZKUREkQRZEAFxAkAAKDbQaY7dw/fgC44RwMgJkzODOf1/PwkcjfDPgjwTmf89u+x7Jt20ZERMSnAqXugIiIyHooyERExNcUZCIi4msKMhER8TUFmYiI+JqCTEREfE1BJiIivqYgExERX1OQiYiIrynIRAro0KFD3HzzzRw6dKjUXRGpGJZKVIkUhm3b3H333Tz//PPceeedPPvss1iWVepuiZQ9jchECuSJJ57g+eefB+D555/niSeeKHGPRCqDRmQiBbA4Gjt69CjZbJZgMMj+/fs1KhPxgEZkIgWwOBrLZrMAZLNZjcpEPKIRmcg6XT8aW6RRmYg3NCITWafrR2OLNCoT8YZGZCLrsDgaO3LkCLlcji9+8YsAfOpTnwIgEAhw++23a1QmUkShUndAxM9SqRRnz54ll8sB0N7efk17Lpfj3LlzpFIpqqurS9FFkbKnEZnIOp07d47R0VHAjNCAa0ZfmzZtYsuWLSXpm0glUJCJFNDx48cB2Lt3b4l7IlI5tNlDRER8TUEmIiK+piATERFfU5CJiIivKchERMTXFGQiIuJr2n4vsk6XX53j+f80wuiRJDPDKQI10LY3xm2/2UrPh+tL3T2RsqcRmcg6TZ9Jk57OsecXmtj5W7D9l82vf+cjZ3n1j8ZL2zmRCqARmUgBLR6IvuXmt/I3t58iO5fjk6/vLnGvRMqbRmQiRRAIWtRtrWI+nit1V0TKnooGixRIejZHegIyM/DioTHOPD7Nrp9pKHW3RMqegkykQH78vw/z6hdNsWArcJEdD9Xz9i90lbhXIuVPQSZSILd+ppXA7eOkRmDu6XrsLORSWoIWKTatkYkUSNNbqmm6B9o/Ah/61nbSM1m+/eEzaD+VSHEpyESKZOdHGxh5Pkn8jVSpuyJS1hRkIkWSSZodi6nJbIl7IlLeFGQi65QYydzwa9m0zYkvxwlFLJpuri5Br0QqhzZ7iKzT9z81RGoqR9fbY8RtSF2G44feZOL1ed72PzoI1wZL3UWRsqbKHiLrdPKrcV770gSXj88zdzlNMAodd9Wy71db6PmIai2KFJuCTKSAFktU7d27t8Q9EakcWiMTERFfU5CJiIivKchECsS2bdIzaeYuzzE/Na+D0CIe0RqZyDqlZlMMPDlA/2P9nD12FrIQrYvSuqeV3od66Xmwh3AsXOpuipQtBZnIOgwfHebwo4eJD8bBglxVDitoEa2JkownwYbG7kb6PttH5/7OUndXpCwpyKSinTlzhi996Uu89NJLnDx5kh07dvCtb30rr/cOHx3m4GcOkhhL0LC1gWA4yNTUFAD19WbbfTaVZfLcJNG2KAd+74DCTKQItEYmFe3kyZP84Ac/YPv27ezcuTPv96VmUxx+9DCJsQRNO5oIhpc/9BwMB2na0URiNMHhRw+TmlXdRZFC04hMKloulyMQMPdz//63f5NTJ17iq//rjyE9bZ6QmZmBbApy85BLmR/ZeU784zSH/vsMDR02warFr2YzlWsBoD5wGbAWft0im4HJixbv/s169rynHgLVEAibH8FqCEagqg5CdRCqNf8fjIBlXd9lEbmOSlRJ5cilYX7c1JCaNz8C6cmF0JrmXZue5hZG4NSfuX4Z24b+g+b/gyFguVtB276mIRg0P+3/zji77xnPL5+sIFTVmnCrqofqZgi3QHULVLcq6EQWKMik/GRTMHcRkhdhfuxKcKUnFwJmfVKzMDYIkbrVvS9SZ96XSkB1LI832FlITZofywlFrgq2Fqhph0iXGc2JVBAFmfjbUmgNQ/KC+e/8aEECy0lm3mSMtcqi9lYQ7HnIzOUZZCt2JAmZ85A4f+2vV9WaQIt0LvxX4SblTUEm/pKehtkzMDsIs2eLHlrLCVUvhNIqHzNmZ837QjXF6deS9Ayk34CpN678WlUtRLZAbTfEus3oTdOSUiYUZLKxpWcWQmsQZgbNVGGJhWPQ2g1Dr0CkIf/3Jadh81shHC1a15ylZyD9Oky9bn4eikB0O9T2LATbJgWb+JaCTDaWXBYSZ2HqBMycgrnRUvfoBpYFvQ/C0HHIplnYtXh9CCz+3IwWs2nzs94HN0heZJIm1K4OtlgP1O+BupsgVIq0FVkbBZmUXnYOpt804TV90vy8BDK5IFPzYTNKWdwCH6o1uwODV22XD1TTs9Wi8fGDxAenaNrZhGUtHMlcOBBN/e6lr2vnckwOTNB4Ux09n3wPRGyznT+7uJ1/DrKzZtp0YQel2fo/6920aSYJk6+ZH5YF0W0m1Or3mI0kIhuYgkxKIzW5MCI4YaYN7Vzxf08rAOEmc2Fe2O03Z8f48XOvkLFq+MsXT3HunEX3G+0A3HXXHTQ3Ny/7pcIR6Pvcezj4GweZOB1fquxxvSuVPWL0/Zf3Em5ZRWUPO2cCLT0NqfGlIwNLuzCz82v6a1j597UX1iHPwPATZqt//W6ofwtEt26QIaXIFToQLd7Jzpk7/vjL5iJZzH961c1Xdu5Vt5nwqmqEwLVhc/78eR588MFlv8SXv/xl7r77btffJu9ai5/ro/O2Apansm0zYktdNuuGyYWdm3MXIZcp3O9zvXAjNO6Fxn1Q01a830dkFRRkUly5jJkujL9sdtGtdqtfPq4OrcX/Bou9NfCK1GyKgcMD9H9jmer3D/fS0+dh9ftc1uzkvPo4QrHCLdJpAq3xrdreLyWlIJPCs21IDsH4MZh8tfBrXpF2s9Mu1g2x7RtmY4Jt2xx79hjZuSz7bt9HuDaMtRGm4XJZE2qLuz9nz5oqJ4ViWWajSNOt0HALBLRiId5SkEnh5NIQPw6XnzcjgUKp2WRCq7ZnQwXXco4fPw7A3r17S9wTF7msudFYPNKQOFe4YAtFoek2aLnDrEeKeEBBJus3f9mE18SLhRl9BUJQu2NhK/huX01b+SLIrpfLwMwATJ8wm2/S0+v/mpYFtbug5U6o22U22ogUiYJM1sbOmYve5edh5vT6v14oZnbG1e0xIRb05xOVfRlkV7NtM5qefsN8fwsxsg43QvMd0Lx/Q4+mxb8UZLI6uYzZuDH6YzMSW4+qWmjYCw03Q3RLWWzr9n2QXW/xmET8+I01HVcrUGXCrPU+CK+iJIrIChRkkp9sCsaPwNhP1jf1FAxDfa/Z7VbbU3ZTTmUXZFebv2wCLf6yeRzOWlkB8/1vux9qWgvXP6lYCjJxl0nA5efg8rOm+sNaWAGzTtK4z6x7BapWfo9PlXWQLVrclRo/DvFXzHm2tbAsc1PTdj9EuwrbR6koCjJZXiYBo0/B+AtmNLYW4QazNtJ0m5lGrAAVEWRXy2XNetp610rrdkL7u8wUs8gq6cCHXCubgsvPmDWwtZZAqlvcrXZT2U0dynUCQWjoNT/mxmB8cffqKv/tTJ8yPxp6ob1PVUNkVTQiEyOXNWtgoz80j/xYrVDEjLya7zCVNipUxY3IlpNNweTiecKLq3+/ZZl/S5veoU0hkheNyCqdbcPkK3DxMKQmVv/+cBO0vc1UdSjjtS9ZhWAYmm+Hpv3msPXoU9c+5HMltg3jR82mkpa7oO0Bc6Mk4kAjsko2ewYuPL62u+ZIu1mkb7hF04dX0YjMQfKSCbTJV1ZfLDpYA5segJZ7bij6LAIKssqUnjaP54gfX/17Y9tMgNXdVBbnvgpNQbaC+XFzhGP82OoLSFe3wuYPmAPzIldRkFWSXNZsox/5/up3ItbthE1vN7UOxZGCLE/paRh72qyjrbbOY+Mt0PFerZ/JEgVZpZgZhAvfhrnR1b0vuhk63m0OL8uKFGSrlJ6GkR+YNbHVPFw1UGU2g7Teq+lGUZCVvfQ0DH/XHFxdjepW6OgzB1Y1hZg3BdkazV+GS4ch/urq3lfdAps/qOnGCqcgK1e2bXZ9XXh8dRXpq+qh/Z3Q9FPaxLEGCrJ1SlyAi4dWf7i6eT90vg+C1cXpl2xo2n5fjtLTMPQtU708X8Gw2ebceo+20UvpRLtgxz8zQXbhIMyN5Pe+8aMwcwo2f8Ss50pF0YisnKx1FNZ4i7mbraovXt8qhEZkBZTLmkohl763ukohGp1VHI3IysVaRmE1bdD1fq0vyMYUCJoZgoZb4OI/wsTL+b1Po7OKoxFZOYi/CkP/kP8oLBiGTe+Elru146vANCIrotkzcOE75nB1vppvh64Dmi4vcxqR+VkubdYRxo/k/x5NI4pfxbbDrk+ZxwpdOpzfWcjxI6ZM1raPQs2m4vdRSkJB5ldzo3D2a/kvhodiZptyw83F7ZdIMVkBM91YvwfOfxNmBlZ+z9wIvPnHZhq96TYdJylDCrICeeFzIzz76AjNt1TziVduKt5vZNvmMRkXvpN/RYTGt0LXByAULV6/RLwUboKef2ael3fxH1ceneXSV4Jv84eKuhHk0vMJTvx5nPPfm2V6MEVNS4j2eyLc89l2GndrA0oxKMgKYOZ8miOfHyUUK/K5q+y8qc6R76K3RmFSzixr4bl3u/IfncWPm6dbb3sEIp1F6dax/zrG8I8T7HykntZ9LSQuZnj5C+P89f5TfPSZHbS8taYov28l02aPAvjux8+RHM1gZ23mxrLFGZHNjcCZvzYVEPKhUVhJaLNHidh2/qMzACtoNoE031HwqcbhnyTYdEcNwfCVG9v4yXm+uvdNdn60nvf8xdaC/n4CKt2wThd+OMupr0/ywO8X5+4OgMnX4dSf5BdiwWrY9rBZ3FaISaVYHJ3t+hVzqHoldhaGvm2OrORWWYV/BZ33Ra8JMYDGm6ppvqWaif41PnVdXCnI1iGXtfnhrw5z879somVvEaYLbBtGfghnvprfXWak0+zqatRoQCpUdTPs+CVTTDgf40dg4MuQmS1qt2zbJnEpQ02rVnOKQUG2Dq/+4TjTZ1Lc/bvthf/iuTSc+4Z5cnM+Wu+Bnb9kPsgilSwQhK73Qfcn8nuy9OwZePOP1vaA2Ty98ZeTzA5l2PUzevRMMSjI1mjucoZnf2eEO/7DJiJtBb7LSk3CqT/Nr2J9KALbP75w6FN3eyJL6veYqcbYtpVfm5qEU1+CydcK3o2J1+f54b++QMe9Ed7yC40F//qiIFuzZx4doaY5yL5fLfAIaPbcwt3h8MqvjW01H9SGtxS2DyLlItwAO37RPBR2pU0duTSc+RtT27FAe+BmL6b51gcHCTcEOfD1bQSCOsNWDLqFX4P4yXle+6Nx7v/9TmYvZJZ+PTtnk0vbTA2mCNcHqGle5V/vZL+ZTsxlVn5ty53QeUAlpkRWYgXMs/WiW8zna6UCxJd+AKm4qdW4js/X/GSWb73/DPPxHA/9qIdYl8pkFYu236/B0Pdn+Lt3Dbq+Zt+vt6xuJ+PlF8wZsZW+HVbAbKtvuSP/ry2e0fb7DW5uFM58BebHV35t3U3mvFkwvOrfJjOX45vvHWT0SJJ/cqiHjnu1g7iYFGRrkBzLMPxU4oZff/bRS6SmczzwB5007Aznt5NxcWfipe+t/NpQFLb/jKk5JxuSgswHMklT3i2fh3dGN0P3J1d1lCWXtXn8obOc/c407//77XR/oG4dnZV8KMgK6G/fedr1QLRt26SmU2TmMoRqQoRrQ1jDj5vR2Eoi7bD9ExBuLGynpaAUZD5h52D4CRh7ZuXXVrdCz89hVzVc+/mtC2Mts+72o88M8/IfXKb7w3Xs+tiNuxT3/FxjAf4AcjWtkXkgNZti4MkB+h/rZ+zEGHbWNrVPt8zQ+/ZJeu6CsNsNX0MvbPmna5riEJFlWAGz07em3RyKtp0PRacmxhg49EX6n9nG2Juz5vMbtGjd00rvQ730PNhDOHblszn2YhKAwX+YZvAfpm/4egqywtOIrMiGjw5z+NHDxAfjYEGkMYIVsLETIyTj82BD42bo+zR09i7zBdreBh3vVsVun9CIzIdmz8DgV5Z9nt9wPxz+AsSHgECASGsbVrgGO2uTjCfN57e7kb7P9tG5v4jVfcSVgqyIho8Oc/AzB0mMJWjY2kAwHDR3fokhyJq7tmwaJi9CtAkO/NZ1Ydb5PmjLs0KBbAgKMp9KXoLBvzBPWl8w3A8H/xskJqChA4JVmJFcZPPSmlk2lWXy3CTRtigHfu+AwqxEdI6sSFKzKQ4/epjEWIKmHU1Xhdj5pRAD8+Fo2mI+LIe/AKkE5sOy9SGFmIhXIu0LlXFaAPM5PPwF87ls2rIQYmDW1pJDkDGbvYLhIE07mkiMJjj86GFSs3mUkpOCU5AVycCTA8QH4zRsbTALwkshduP0hWWZO774BRg4EjK7pJr2laDXIhUs3GjCLLqZgefMdGJDxzKz+nYOkueX6jNalkXD1gbig3EGDufxKBkpOAVZEdi2Tf9j/QDXjcRuDLFFi9MW/U/vwK7d4VFPReQaoSh29z+j/4d1YF01Eruebd8wMsOC/m/0o9Ua7ynIiiA1nWLsxBiRpkheIQZAoIpIWztjpxKkZjQ9IVIqqQSMnW8g0rTC2bHrwizSGGHsxJg+vyWgICuCzFxmaYu92dixcogR3YpVFcbO2mSSeZSoEpGiyMxlsHM2VrTN1Gp0s7hmlk1iBS19fktEQVYEoZoQVsDCToxcs7FjWYEwRLdCoGrpfEooouN9IqUSqgkthRI17fmFWWIIOzWvz2+JKMiKIFxbRevWWZLxlUZiYVPINGAm4pPxJK17WgnX6uCzSKmE68K07mk158SwFsKs0f1Ndpbk2AitN9Xr81sCCrJCs22si0/Q+8AE2Oac2LICVdeEWDaVBRt6H+5dtuyNiHjDsix6H+o1n99UFhNmm1xHZtk0YOfovfc81kqzMFJwCrJCG/sJjD1Dz12mYsfkxWUK2i+siS2GmG3bTJ6bpLG7kZ6+Hu/7LCLX6Hmwh8buRibPTS7sQrQcpxlt23zOG7ug57YpGPxLyGrDh5cUZIU08SIM/yNgaif2fdpU7Jg4f9XILBC6JsSyqSwTpyeItkXp+1zfNTXbRKQ0wrEwfZ/tI9oWZeL0xFUjs3aoql96XTZtPt/RJvN5D0cxG7zOfg1yzvUbpbBUoqpQpt6AM181C79XWarVdgGwAkTaNmFVVd9Yq+1zfXTepvI2fqcSVeVl+VqpFnbi0tIaeGOXQ63Uplthy0+rTqoHFGSFkLwIp75kHpW+jFQCBl4I0v/MDsZOJa+tnv1wLz19PRqJlQkFWflJzaYYODxA/zeue3pF1wS970y4P72i/R3Q/i5P+1uJFGTrlZmFN//YPBrdiWXB9o9j1+0mNZMik8wQioQI1y7/PCPxLwVZ+bJt+9rPb00G6/Sfwvxl9zdu/xg03OxNJyuU1sjWI5eFM3/jHmIAmz8M9XuwLIvqumpim2JU11UrxER85IbPb1UMen4eqlZ4AvS5vzWzNlI0CrK1sm248B3zLCM3HX3QvN+bPomIt8KN0P1zEKxxfk0uDWe+slRkWApPQbZW4y/A+BH317TcCW0PeNMfESmNSDt0fwKsoPNrUpNm9kY7GYtCQbYWMwNw4XH319TugK73a8eSSCWIbYfNH3J/zewZM4ujbQkFpyBbrVTcnBG5bpv9NaqbYdtHzQMyRaQyNN8Grfe4v2b8iJnNkYLSlXY1clkTYguPbVhWsBq2f3zpUegiUkE632tmY9xcOAjJYW/6UyEUZKtx6Ulzat+JZcHWh0xdNhGpPFYAtj1iZmWc2As3xNl57/pV5hRk+Zo6CaM/cX9N+4NQv8eb/ojIxhSKwPZPmNkZJ/PjMPQtrZcViIIsH+kpOP+37q9pfCu0vc2b/ojIxlbTBlsfdt/sFT8OE8e861MZU5CtxM7B2W+4r4tVt8Lmj2iHoohcUb975eM3Fx6HuRFv+lPGFGQrGfmB+6HnQMjMiQdVK1FErtP+Tohtc27PpRcq5Ts9uFDyoSBzM3sGRn7o/pqu95sDkSIi17MCZooxFHF+zdyo2ckoa6Ygc5JNwbm/c1+MbbwFmlR+SkRchBvM41zcjB+B6VOedKccKcicXHoSUhPO7eEmUwxY62IispL6PSsflh76JmTnvOlPmVGQLWdmEMaedW63gqZyh1uhUBGRq3W8B6Jdzu2pyaUnzMvqKMiul03B+b93f03HgxDd7E1/RKQ8BIKw9aPuG8M0xbgmCrLrrTSlGNu68hSBiMhyqpvNyMyNphhXTUF2tZWmFAMhs2irYsAislbNd0Btj3O7phhXTVfkRbm0uRNy0/4gVLd40x8RKU+WBVs+svIU48xp7/rkcwqyRaM/NvXPnMS2Quvd3vVHRMpXuCmPKcbv6EGceVKQgQmw0aec2zWlKCKFttIU4/wYjD3tXX98TFdmgOGDkMs4t2tKUUQKLZ8pxtEfmjUzcaUgm3rD/HAS7dKUoogUR7gJ2vuc27MpuPiEd/3xqcoOslzaVJ92YlnQ9UFNKYpI8bTc5V6vNf6qNn6soLKv0KM/dj8z1rRfB59FpLisAHR9wP012vjhqnKDLBV33+ARipgKHiIixRbbDk37nNvnx+DyM971x2cqN8guHV55g0co6l1/RKSydbwHgtXO7SM/gkzSu/74SGUGWfKiecy4k2gXNOvxLCLioao62PRO5/bsnPssUgWrzCC7+KT7c8a6PqANHiLivZa7oGaTc/vlZyE95V1/fKLyrtYzgzB90rm96VaIbvGsOyIiSwJB6Hyfc3suA5e+71l3/KKygsy24eIh53YrCO3v8q4/IiLXq9sJtTuc2yeOwdyYd/3xgcoKsqkTkDjv3N5yJ4QbPeuOiMiyOt7t3Gbb5nFTsqRygszOuX/zg2HY9IB3/RERcRLtgsZbnNsn+91vyitM5QRZ/BWYG3Vub70PQjHv+iMi4qa9z33T2aXvedeXDa4ygsy2Vzj8HIPWe73rj4jISqpboOk25/bpU5C44F1/NrDKCLLpN2BuxLl909vdDyKKiJRC+zvNY6Sc6FwZUAlBZtvmRLyTqnpovt27/oiI5KuqzpwtczLVrx2MVEKQzZ5xXxRtu8/9jkdEpJRa7zVHg5Zj2zD2Y2/7swGVf5CNuozGQlFT4V5EZKOqqoOmn3Jun3ip4h++Wd5BlrhgFkSdtNzt/nRWEZGNoO1t5vmIy7FzMPa0t/3ZYMo7yNwWQoNh97lnEZGNoroZGlzOlY0fgUzCu/5sMOUbZKlJsxDqpPkO88wxERE/aLvfuS2XhvGj3vVlgynfIBs/4lzh3grq3JiI+EukA+pucm4ff8FMM1ag8gyyXNYEmZOmnzILqCIifrLJZVSWisP0m551ZSMpzyCb6ofMrHO71sZExI+i28zIzMnl573rywZSnkHm9s2MbYNIu3d9EREpFMsyT+lwMvMmpCa8688GUX5BNjdiDkE7cftHICKy0TXsdS6pZ9tw+QVv+7MBlF+QuY3GQjGo7/WuLyIihRYMr3BA+ph5knQFKa8gy6Yg/pJze/N+laMSEf9rdplZyiRg8lXv+rIBlFeQTb1uwmw5lqXiwCJSHmpaobbHuT3+snd92QDKK8jcvnl1uyHc6FlXRESKynXTx2lIT3vXlxIrnyBLz8CMS13FZhUHFpEyUrfHFD5fjm1D/BVv+1NC5RNkk684V/IIRaF2l7f9EREppkAQGt7q3F5B04vlE2Ru37SGW8w3XUSknDTtc25LDsPcqHd9KaHyCLK5MfPIFieNLt9sERG/imw2lfGdxI9715cSKo8gcxuNhZsgusW7voiIeMWyoHGvc3v8ZecllzLi/yCzbfe7jqZ9zg+kExHxO7cZp1QcEuc960qp+D/I5kbca4s1uNytiIj4XXULRDc7t0+97l1fSsT/QTZ9wrkt2mUODoqIlDO3UdmUyzWyTPg/yNy+SaqrKCKVoP4tzm3zYzB/2bu+lIC/gyw9A4kh5/b6Pd71RUSkVMIN7s8pK/NRmb+DbPoN57ZwE1S3edcXEZFScrtxV5BtYK7Tinu0W1FEKkedS5Alzpqq+GXKv0GWS7vXVqzf7V1fRERKLdIJVXXLt9k2TJ/0tj8e8m+QzZx2fnhcsAai273tj4hIKVlWxU4v+jjIBpzb6naptqKIVB636cXZwbKt8uHfIJsddG6r07SiiFSg2h4IVC3flkmYAhJlyJ9BlklA8qJzu9uTU0VEylUgBNGtzu1uAwAf82eQzZ5xbqtucV7wFBEpd7Xdzm0Ksg3E7ZsR6/aqFyIiG4/bNbBM18nKL8g0rSgilSyy2WWdLFmW62T+C7JMApKXnNtj2nYvIhUsEFxhncxlx7dP+S/IXNfHWrU+JiLitk42M+hVLzzjvyBze0ic2zdPRKRSxFyWWJIuhdZ9yn9Blrzg3KZpRRERiHSZrfjLSU+bH2XEX0Fm25Acdm6PdHnXFxGRjSoQhJp253a3AYEP+SvIUhOQnVu+LVgN4WZv+yMislG53di7DQh8yF9B5joa69RjW0REFkU6nds0Iisht7/8GpdvmohIpdGIbINyC7Ko1sdERJZUt1XMhg//BJk2eoiI5K+CNnz4J8jSU9roISKyGm43+HMuFZJ8xj9Blrrs3FbTro0eIiLXi3Q4t827XFN9xj9B5vaXXt3qXT9ERPwi3OLcpiArAdcgc/lmiYhUKrdro9ssl8+UR5C53XWIiFSqUK3ZQ7CcTNI8TaQM+CjIxpzbNCITEbmRZblfH8tketEfQZbLQDq+fJtlQbjJ0+6IiPiG24xVmUwv+iPIUhPOj+euanQ+9CciUuk0ItsgUuPObZpWFBFxpiDbINJTzm06CC0i4sztGpkpjzJV/giyzIxzW1Wdd/0QEfEbt2tkmdRb9EeQuf1lK8hERJwFY86Vj9LTzvsPfMT/QRZSkImIOAoEIRhdvs3OQjbpbX+KwB9BpqlFEZG1c7tOul1ffcInQeY2Iqv1rh8iIn7kNnNVButkGz/I7BxkZpdvs4IQjHjbHxERv6lyueEvg52LGz/IMjMuh6Hr9PgWEZGVaERWYhmXhchQzLt+iIj4ldsSjDZ7eCCXcm4L1njXDxERv3KqgA/u11if8EGQzTu3BcLe9UNExK8CLkGWdbnG+oQPgszlbkFBJiKysqDLtVIjMg+43S243WWIiIjhdtNfBkFW1OefDH1/hr971+CybQ8/vYOOexxOm19t4S/ZtiE1C5l5CFVDOAaW212GiIgYV93033AtjcyR797v1EyWY//XGCPPJrn0XJL5iSx9f7aZ3l8s7TMhPXmQ175fa2HTndee92rYlV8IpaaTDHwf+p+EsUFTUcUKQms39D48Rc/DKcIxBZqIiKNAmFQCBp5b5lq6Y5zef36Cngd7VryWzo1leeE/j1K7rYrWW2sY+r7DGV+PeRJknQ9E2fXRhlW/b/joMId/8yXiA4AFkTqwqs03YOgVGHr9NI1f/Rp9n+2jc39n4TsuIlIGhl8c5/BvQnyIG6+lxzMM/btDNHY3rngtjXWG+MXhPcQ6qhh5IcnX7jzl3R/ChWdrZKnpLLlM/lWWh48Oc/AzB4mfnaOhA5q3QKQBamrNf5u3QMOWKPHBOAd/4yDDR4eL2HsREX8aPjrMwX/zPeJDOF9LtzbkdS0NVgeIdVQVrG/z8/PYBai+70mQHf7nQ/xxfT9/WPMqf/euAUZecD+Al5pNcfjRwyTGEjRtDxN0+HsLVgVo2tFEYjTB4UcPk5r1/6KliEihXLmWJmnagsO11CYYDnp+LT137hzbt2/n7rvv5rvf/e66Aq2oQRYIB9j5cD33/0EnH/j7bdz92XYuH5/jsQdOM3rMOcwGnhwgPhinYWsDlmsJKgvLspbuJgYODxT+DyEi4lP5X0vx/Fo6OjrKpUuXOHLkCAcOHFhXoBU1yDrvi3Lg69u4+V800fORem7/d208/MwOLAue+e1Ly77Htm36H+sHIBgOAiv/oYLhIFjQ/43+ggxTRUT87sZrqeMrl/6vFNfSXC4HwNGjR9ccaJadx6tPnDhBKlW4oWb/b8HYk3D/c2bXzNXSM2me+pWnsCyLcEMYyJoK+MuxgixmcWoyhW3b3P/F+6mKFW4OV2Q1Fj8n4bB20kpp3XAttdPOL7auXDPzvZZOvwrHPmGx+3dtOv7J6vuXSqU4cuQIn/rUp6759WAwSDab5c477+Tzn/887373u1f8WiU5EF3dAXbaWrZWZXY+C1mwgquram8FLchCdi5boF6KiPiXX6+l2az5fZ9//nl+7dd+La/35LX9fs+ePWvv1TKGps8SrJnmp+6+BStw7V/y/NQ8L9W9RCAQIFIfgbmLkJpc/gtFOqGqHoBkJkkunGPf7fuorlPFDymN48ePA7B3794S90Qq3Q3X0qk3WHapxgpA3U1LP833Wjoyn+QYp9iyZQu9e1d/IPro0aM3jMbgxhFZPoo6IkuOZm74tbGXkgx8c5qt7629IcQAwnVhWve0kowvDtfyu5tIxpO07mklXKspHRGRG6+l+SnVtTQYNOtM+/fv5+DBgzz77LN5TStCkQ9Ef/dnzhGKWHTcFyWyKcTEa/O8+kfjhKIW9/6f7cu+x7Iseh/qZei5IbKpLG5LlIt3F9lUFmzofbh3xZ05IiKV4NpraYZgHhvn8rmWvvyFy6TiWWYvmIHK4D9MM3verL/t/dUWqhvcr9rXCwQC5HI59u/fz+/+7u/y3ve+d9XX8aIGWc9P1/PGX8Z58X9eJj2VpaYtxI6H6rnzP26icZfzkLXnwR4auxuJD8Zp6nIbk9nYts3kuUkauxvp6espxh9DRMSXlq6lAxM0tcHy+WB+Md9r6Yv/fYzpM1c2jpx+bIrTj00BsPvnGvMOsk2bNtHR0cHWrVvXHGBLf4J8di2WwvDRYQ7+xkESw6M0tCaWPciXDbYweTFAtC3Kgd8/QOdtKlMlpaU1Mtloho8Oc/DXv0Ni6BwNHcscig5UkQ1vZ/LcpOfX0vn5ecLh8Lpn0jZskMFCrcXf+gbxgTFgoT5Y0NQHS04DoRiNO7vo+1yfQkw2BAWZbETDz57g8L/5CvEL5ufXXEtnQhBuMrUWfXot3dBBBpA6+zQDf/fd5avfP/QWej76kKrfy4ahIJMNKXmR1Et/uHz1+10xen/xI/T0rVz9fqPypPr9eoTrYux5J+x+B6QSkJmDUA2Eo2C1xMCnf/EiIp7JpQhHWf5a2t6OtaOwR6y8tuGDbPHJppYF1THzY0kZPNlURKTorrpW3nAtDfr/3G1JKnusittfsoJMRGRl2XnntoCCrPgCLlOHOZdvjoiIGG43/W7XWJ/wQZC53C0sV6xRRESu5XatDCrIii8Uc25Lz3jXDxERv0pPO7eFar3rR5Fs/M0ewRoIhCB3bd3Gs+fO0t/fz//49YOcOXueT37yk/zO7/xOiTopIrKBZWaIT8Y5duwYFy9eZHx8nKamJn72Ez8LobpS927dNv6IzLKW/Ys+e/YsY2Nj3HfXrdTX15egYyIiPpGZZvzyOIODgzQ2NtLUdFW1+ir/B9nGH5EBVNVCauKaX3rbfW/j/rfdD7v+FT98+sXS9EtExA/S0/T09LBjxw4ADj15iJGREdNWBlOLG39EBsuOyJZqc7nN/YqICGRmnOsZlsGIzB9B5vYXnVGQiYg4yqacz5EFayCwTEV2n/FHkLkNfTPauSgi4sjtZr8MRmOwgdbIpqenr8zZXic8Gyc2MQ5AQ33D0pNEAUhNetE9ERF/Sk85t5XB+hhsoCA7ePAgjz766LJtWxrT/PStJrA++clP0tzUfKUxddmL7omI+NO8yzWyqsG7fhTRhgmyRx55hEceeWT5xvQU9P/P5dvcvkkiIpXO7RpZ3epdP4rIJ2tkdc4LkpkE4WDW2/6IiPiF26xVdYt3/SiiDTMic2VZ5i88eXHpl6ampxi5ZNbUwvY0Z8+e5eDBgwAcOHCgJN0UEdlwFkZk6UyaM4NnAJiamiKVSnH4xy+RCpzhrrvuorm52e2rbGj+CDIwQ+Crgmzo/BCHnjxkfpKq40c/+hE/+tGPADhx4kQpeigisrHkskvFJJKJJI8ffHypycbi0//b75C1Lb785S9z9913l6qX62bZtm2XuhN5ufQ9uPSD5ds2vR06+rztj8gyjh8/DsDevXtL3BMRYG4M3vjC8m3hRnjLZ7zsTdH4Y40MIOwyl6udiyIiN6qA9THwU5C5/aXPjXrXDxERv5gfc25zGxz4THkE2fwo5NLe9UVExA+SF5zbymTrPfgpyII1EG5avs22r9kIIiIiQHLYuS3S6V0/isw/QQYQ7XJuc/uGiYhUmuwczI8v32ZZEOnwtj9F5K8gi7gFmcsQWkSk0rjd3Fe3lUXV+0U+CzKXobCCTETkCrdrotugwIf8FWQ1LkGmDR8iIle4Bln5rI+B34IsFNGGDxGRfLhu9NCIrLRcN3wMedcPEZGNKpOomI0e4Mcgc7uTmBn0rBsiIhvW7BnntjLb6AF+DLLoNue2xBkzxSgiUslmB53bYi7XUJ/yX5BFulyeTZaEuUve9kdEZKOZGXBui3V71g2v+C/IAkH3Owq3OxERkXKXmYW5Eed2BdkG4faN0DqZiFQyt/WxmjaoqvWuLx4pvyCbHQQ751VPREQ2Freb+TIcjYFfg8xtnSw7p3UyEalcrhs9ur3qhaf8GWQrrZNNn/KuLyIiG0V6eoX1se3e9cVD/gwygFiPc9v0G971Q0Rko5g64dxWputj4Ocgq9vp3JY4Z3buiIhUEreb+FqXa6bP+TfIajqgqn75NtuG6ZPe9kdEpJSyKZg57dxev8e7vnjMv0FmWe7fGLchtohIuZk5DbnM8m3BGveqSD7n3yAD9yCbOeX8TRURKTfTLjfvdTeZTXJlyt9BFuuGYHj5tmzKvUyLiEi5sHMw5bI+VsbTiuD3IAuEoHaXc7vbHYqISLlIDDlvcLMCUOdynSwD/g4ycL/TmOxXlQ8RKX+Trzq3xbrNGlkZ83+Q1d1kNn4sJzPrvotHRMTv7BxMvuLcXubTilAOQRaKupddib/sWVdERDw3cxrSM8u3WRbUv8Xb/pSA/4MMoHGfc9tkv9n4ISJSjuLHndti3RBu8KwrpVIeQdbQazZ+LCeXhqnXve2PiIgXsimY6ndub9zrXV9KqDyCLFjjPg+s6UURKUfTJ5xnnAIhaLjZ2/6USHkEGbhPL86ccp5DFhHxqwmXm/S63WW/W3FR+QRZ7S4IRZZvs233eWQREb9Jz5ibdCduN/dlpnyCLBCEhrc6t48fMYEmIlIOJo45n5MNRcr+EPTVyifIwH1hc37M/cmpIiJ+Yedg/AXn9vqbnTfAlaHyCrLoVqhudW6//Lx3fRERKZbpk5CadG5vvs27vmwA5RVklgUtdzq3T70O6Snv+iMiUgxuN+XRLohs9q4vG0B5BRlA060QqFq+zc7B+FFv+yMiUkjzl2H6Tef25judy/aVqfILsmCN+26d8SOQy3rXHxGRQrrssjYWrIFGl01vZar8ggzcpxfT03q8i4j4Uy4N8Red25tuc56RKmPlGWSRDohtdW4fe1pb8UXEfyZehEzSub3lDs+6spGUZ5CBmSd2MnsOZs941xcRkfWyczD6E+f2up1Q3eJdfzaQ8g2yhpvNI16cjD7lXV9ERNZr8lVITTi3u928l7nyDbJACFrucm6ffhOSw971R0RkrWzb/ea7ugXqd3vXnw2mfIMMoOVuCIad2zUqExE/mD4JyUvO7W1vA6u8L+duyvtPHopA0+3O7ZOvmTMZIiIblW3D6I+c26vqofFW7/qzAZV3kAG03QtWcPk224bRH3vbHxGR1UicNRvUnLTea4qmV7DyD7KqelPtw8nES5CKe9YdEZFVufQD57ZQBJpdZp0qRPkHGSzMHzuUbLGzcOn7nnZHRCQvM6fNDycr7QOoEJURZNUt0HCLc3v8JZgb8a4/IiIrsW24eMi5PRg2QSYVEmQAbQ84t9k2XHzSu76IiKxkqh8SF5zbm+8wU4tSQUEWaXd/8ObUCZg9611/RESc2Dn3m+tgNbTd711/NrjKCTKA9ne5n7W4eEg1GEWk9CaOuR8Nanube+WiClNZQVbd7L7DZ/asOXgoIlIqubT7BrSqWmi5x7Pu+EFlBRnApne4P+bg4iEzrBcRKYWxZ8zjppxseod2Kl6n8oKsqtYcIHQyN+L+GHERkWJJTcLID53bq5uhab93/fGJygsygLb73OeXLx2G9Ix3/RERAbj4hJladNLeV/FVPJZTmUEWrHHfjp+ddz+/ISJSaDOnIf6qc3uk0/08bAWrzCADaLnT/SF0Ey+61zcTESmUXBaGvuP+mq4DzhWKKlzlBlkgBF0fcH/NhW9r44eIFN/lZ2B+zLm9aR/EtnvXH5+p3CAD82jwhl7n9uRFuPyCd/0RkcqTnoIRl8LAwWroeI93/fGhyg4ygM4D7tvxLx123worIrIew9+FbMq5fdM7oarOs+74kYIs3ACb3DZ+zMHQt1TxQ0QKb/I19w0eNZug5S7v+uNTCjKA1vvM+QwnUycgfty7/ohI+cvMwtC33V/T9QFtt8+Dggzy2/gx/LimGEWkcC58x4SZk8a9UNvtWXf8TEG2qG4XNL7VuT2T1BSjiBTGSlOKoQh0vte7/vicguxqXe+HUMy5XVOMIrJe+Uwpdr5fGzxWQUF2tVAMNn/Q/TWaYhSR9VhpSrF+j/uzE+UGCrLrNdwMjS5lYDJJOP9NTTGKyOrFj688pbj5Q6rgsUoKsuV0fcB9inH6JIw97V1/RMT/5i/D0D+4v0ZTimuiIFtOPlOMFw9B4rw3/RERf8tl4OzX3Q8+a0pxzRRkTlaaYrRzC/8w57zrk4j408V/hOSwc7umFNdFQeam64Puw/xUXOtlIuJu8nUYe9b9NV0f0pTiOijI3ISisPVh97ukyddgXIWFRWQZqTic/zv317Tc4T77IytSkK2kttsU7XQz/F1TKV9EZFEuC+e+4b78EGmHzvd516cypSDLx6YHoLbHuT2XgTNfdT8bIiKVZfhx94fzBqpg60fdn74heVGQ5cMKwNaH3Lfkp+Jw5m/MXZiIVLbLz6/8LMPNH4SaNm/6U+YUZPmqqoOt/9T9NbNnzF2YiFSumUG4sMJ1oOlWaLzVk+5UAgXZatTtgk33u7/m8gvmbkxEKk9qAs7+jTme46S6xeyI1lb7glGQrVZ7H9TucH/NhcdhZsCb/ojIxpBNLayVJ5xfEwzD9p8x/5WCUZCtlhWAbR91fxCnnYOzXzN3ZyJS/mwbzv8tJC85v8ayzHGemk3e9atCKMjWIhSF7R+HYLXzazIJGPhL97szESkPFw/BZL/7a9r7TBkqKTgF2VrVbDI7Gd3muefHYPCv3OuriYi/jf4ERn/s/prGt0LbCuvrsmYKsvWo32PustwkzsO5r2tbvkg5mngZhp9wf02kE7b8E23uKCIF2Xq13W/uttxMvWEe36CajCLlY/rNlctPVdWaZQgdei6qUKk74HuWZe62UhOQGHJ+3cSL2KEYqdjbycxlCNWECNeFsXSXJuILtm2Tmk6Zz29uhPDoV7HcttkHQrDtZyDc4F0nK5SCrBACVdD9s3DqSzA/fkNzKgEDz0H/kz9mbOhV7EAMK2jRuqeV3od66Xmwh3BM23FFNqLUbIqBJwfof6yfsRNj2Ok0VmaU1u05eh+EnrsgHL3uTZZlyk/Ftpakz5XGsm3NdxVMasKEWXpm6ZeG++HwFyA+BFgQqQMr2oJtxUjGk2BDY3cjfZ/to3N/Z+n6LgVx/PhxAPbu1QMSy8Hw0WEOP3qY+GDcfH7rq7DSI9iZDMlpzOd3M/R9Gjp7r3rjlg9D8+0l6nXlUZAVWvIinP4zyM4z3A8H/xskJqChA4JL0+QWRDqgqp5sKsvkuUmibVEO/N4BhZnPKcjKx/DRYQ5+5iCJsQQNWxsIhnKQOAe59NJrsmmYvAjRJjjwWwth1v4uaH9H6TpegbTZo9AiHbD9E6SSAQ5/wYRY05arQwzANoGXniIYDtK0o4nEaILDjx4mNaut+iKllppNcfjRwyTGEjTtaFoIsfPXhBiYz3XTFvM5P/wFSEX2w6a3l6jXlUtBVgy13Qycvo/4kEVDh9Ou2ythZlkWDVsbiA/GGTis0lYipTbw5ADxwTgNWxuw7MxCiC1/k2lZZsYlfrGagf7d2mZfAgqyIrBtm/7vzkBV7LqR2A2vvGZkhgX93+hHs70ipWPbNv2PmSodV6YT3WdKgpEoVNXT/9jr+vyWgIKsCFLTKcZOjBFpbc7jeUOLYTZJpDHC2IkxUjOaXhQplaXPb0PohjWxZQUjEOki0qTPb6koyIogM5fBztpYQQvCzVDdusI7TJhZuRnsrE0mmfGknyJyo8xcBjudwkqP5BFiNRDdDFYQK2jp81siOkdWBKGa0NI/asA8fwhM7UUXdnIcK1hHqCZY5B6KiJNQ9gJWegzbcjnsDAshtgUs83ldvHkNRXRZ9ZpGZEUQrgvTuqfVnBNbVN2y4sgsOQ2tW6YJxx9XbUaRUph8nfDYV2ntzplzYk6uCzGAZDxJ655WwrUqbuA1BVkRWJZF70O9YEM2dVUguYRZdmEGo/dBsOIvwdm/XnlaQ0QKZ/wInP1rLDtL74OYz+9yH8Fg5IYQy6ayYEPvw70qO1cCGgOvw+jRJM/9pxGGn0qQnctRvyPMzb/czK2/1kLPgz00djcSH4zTtKPpyj/u6hbAgvnRpa9j2+ZQZeNmU+4GMIWGT/+5KX0Vur7+jYgUjG3DyA/h0veWfqnnLvN5jA+Zc2JL2RSMLK2JXXm7zeS5SRq7G+np6wEgfnKeZ//DCMNPzTI/nqV2WxW7f7aRn/o3rVRFNX4oNP2NrtHZJ6b5+r2nSY5kuOM/tHH/H3TS/aE6Zs+bW7hwLEzfZ/uItkWZOD1x3cisGWraAYtsGibOm8oAfZ++rmZb4jyc+lM9aVqkWHJZuPCda0IMzOew79PmczlxfmFkFootOxKbOD1BtC1K3+f6CMfCTJ9L8fW7TnHpmQR7P93C/b/fSce9UZ77jyM88YlzHv8BK4NKVK1BairLX+w+Sed9UQ58fStWwHkq4YZabY2RpY0gyctxSE/T2GXfWKvtaqEIbPsY1PYU448jBaQSVT6SScDZr8GMcxGCpVqpF2ugqo5I01Wf36trpX6uj87bTHm5Fz4/wrP/foSPv7KLlltqlr7WoV84z4kvx/ml8V5qmrShq5A0tbgGb/zVJMlLGe7+3CasgEV6NkcoYi0baJ37O3nka48wcHiA/m8sVs82u5s237OD3g+00NPzI8LVLmdPMkkY+F/Q9X5oubOIfzKRCjE3AoNfWXG2o7MXHvmzuxh4bQf9j71+7ef3zs30PtxLT9+1T69IT5ndjtH2ay+vsc4QVgCCYa2hFZqCbA3OH5ohXB9gdijD4z/9BvE3UoRiAfb8fCP3/14HoZprZ2zDsTB7PryH3R/aTWomRSaZIRQJEa5deB5Z8iYY/ItrqubfwM7B0Ldh7hJ0vh8CuqMTWZOpE3DuG5DN4+By53sJt93Hnl2w+8N7lv/8XqfrnTGO/tcxDv/SEHf9H5uoaQly8SdJXvn/xtn3ay1UxbSiU2iaWlyDr976JpNvzgPQ+0tNbH5njKHvz3L8/xnnpo838N6vrOEZRKkJM+pa5nlmN4hth+0fM3P2sqFoanEDs20YfQouHV75ae1WwDwwt+nWNf1WL3x2hCOfHyWTvPL73P7v27jns+1r+nriTiOyNUjPZMkkbG75lWbe/n93AbDzoQZyKZtXvzjBXf95E403Va/ui4abYOcvweBfuT9pGmD2DLz5x+YR6pGONf4pRCpINgVD34T4Kyu/NhiGrY9A/U1r/u3qusN0vT3GjofrqWkJcubb0xz5/CjRjhD7Pt2y5q8ry1OQrUEoYqYGdn/i2keY7/7ZRl794gQXn06sPsjAjLB2/CKc/ybEj7u/NhWHU38Cne+D5jtUcVvESfKS2dSxQmUdAMKNsP0TEFn7yOnkV+N8/5eH+OQbu6ndYqqG73yoATsHT//bi+z+RAM1Lbr0FpIma9cg1mX+EUauW8yNbDI/n59YR1WOQBVsfQg63r1yOOUyZt3s7NcgO7f231OkHNk2XH4BTv1xfiFW2w27/tW6Qgzg+P87TuttkaUQW9TzkXoyCZvRY/qsFpqCbA3abo8AMDt07bH/2Qvm55G2dd5tWRZsut9MHQbzGNlNvgYn/9CcOxMRc2N37usw9C1zw7eSljug++cLsu6cvJS5Umf16i6lza/lMtqWUGgKsjXY9TEzpfjal67duvvan0wQCMHmdxZoE0b9Htj5L80B6pWk4ubw9OhPVl7IFilniSE4+UWIv7rya60AbP4gbP5QwXYCN+6uZvTYHPE35q/59ZNfiWMFoHVfjcM7Za00UbsGbbdF6P0XjfT/aRw7Y9P1DrNr8dTXptj/263Eulyfprk6NW2w818tHNw87f5aOwfDT5gDnls+AlV1heuHyEZn52Dsabh4GOw8pvdD0YVCA90F7cZtv9nKmceneeyB0+z9dAs1LUEGvzXN2cdnuPlfNhX2+iCAtt+vWTZtc+Tzo7z+ZxPMXshQt72Kvf+6mVs/s9Kzx9bIzpltwyNP5ff6UMScN2vcq40gHtL2+xKZG4Ohv4fZPEtARbfAto+azR1FcOm5BM/9pxHGjs0xdzlLfU8Ve36hkf2/1UYgpM9joSnI/Gb6TTj3t5CZze/19XvMtIlGZ55QkHnMzsHYM+YmL5+1MIC2t0F7n4oKlBFNLfpN3S646Vfg3GOuNeKWTJ2AxFmNzqT8rHYUForCln+6rvNhsjEpyPyoqg56fh5GfgQj3195c0cmaYJv8lWNzsT/1jIKq+2GrQ/r336ZUpD5lRWA9neYD+jZr0Pa7XG2C6ZOmKog7X1mu7GlTaviM4khuPBtSFzI7/WWBZveAZvern/vZUxrZOUgkzDPVMqn/M6iSAd0fQBi24rXrwqkNbIiySTg4iGYOJb/8ZJwE2z9aVObVMqagqycTL5mKn3kuxEETFHUjvdAVW3x+lVBFGQFZudg/IiZRswk839f693Q/qCpmyhlT1OL5aThZnP3eeHx/EdnEy/B1OsL0413avpFNo7EeXNjlhzO/z3VzaZqvUZhFUUjsnK1ltFZzSZT47HuJu1uXCONyAogNQGXvgcTL6/ufRqFVSyNyMpVw80Q617d2tnciHmMTGybCTStn4mXMrMw8kNT6DefyhyLNAqreBqRVYLpN02g5fPQzqvV7zFTjuusBl5JNCJbg+y8KS019pP8ntq8KBCCtvvNAeeAyj5VMgVZpchlzMVi5IeQS6/8+kWWBY37oP1dRSvnU04UZKuQy8D4C+bfZCaxuvfW74GuA2ZnolQ8TS1WikAINj1gQmn4u2YNLR+2bTaExF+Bpn3mDrhaT7iVdcimzE7EsachPbW694aboOv9UL+7OH0TX1KQVZpwA2z/GEyfWphuvJzf++wsjB+DiRehvteEYqSzqF2VMpNJwuVnzY/VbKWHhWnEBxamEXXZkmtparGS5TJw+XkY/dHqp3YA6naai0tsu3Y5LtDU4jLSUzD6NEwcWd0aGCxMbe81a7Wa2hYHurWpZIEQtN0LzbctLLY/vboLzfQp8yO2FVrugfq3qKK4XJG8CJefM1PTq9mFuKh+t9lOr81GsgIFmUCwxmzmaL7TLLyPv2AqKuRr9pz5UVUHzfuh+Xaoqi9ef2XjymVgqt+M9GfPru1rxLYuHP/QdnrJj6YW5Ubz4+ZAavz42t5vBcyuspY7IdZTUdOOFTu1mIqbDRzjR1d3CP9qNZug40Go211R/2Zk/RRk4ix5yayfTb6af6HW61W3mhFa496KqOdYUUGWy8LMmya8pt9Y+7+Rmk1mN2zjW1UiTdZEQSYrmx+H0R+bHYtrWesAc4ddu9Ns/69/S9mWESr7ILNtSJwzo/XJV1a/+/Bqsa0mwDQCk3VSkEn+0tNmQ8j4C6vffXa1QJUJs8Z9ZudjGd2Fl22QzY1B/GUTYKmJ9X2tul0mwLTbVQpEQSarl0ma3WiXn13btv2rhWLQ0At1e6C2x/dnhMomyGzb1N6cPgGT/aurQL8cyzL1P9vu1/lDKTgFmaxdLmMqhIw/b3YtrlcwbKYf6/eYCvyh2Pq/psd8HWS5LCTOmCeJT50wGzjWq6rWrJE27TeH8UWKwN+3v1JagZApW9W0z9yxX37BTD+tppbj1bIpc/c/2W/u4KNbzfpJ3U6oaS+rKcgNIz0FM4Nms8b0SVPAtxBqu81xDp0tFA9oRCaFlZ0zB2AvPw/zY4X7usEas6YS6zYXyZqODbm+suFHZOlpmB004TU7mH+JsnwEq6HxVmi5w+xEFPGIgkyKw7bNE37jL5vt++tdS7teKALR7SbUIpsh0lHyR3nYts2xZ46Rnc+yb/8+wnVhrFKGrW2boEpegMRZmBkobHBBxexGlY1NQSbFt3jeKP6yWXvJZQr/e1gWVLdBpMtsJoh0eRZuqdkUA08O0P9YP2ePnYUsROuitO5ppfehXnoe7CEcK/IFfjG05oYhccGE19zFwk0VXi+62YRXwy0VcT5QNjYFmXgrO29KGE28DLMDaz9Em4/FcKtuNY+eqW4x/x9uMSO6Ahg+OszhRw8TH4yDBbmqHFbQIloTJRlPgg2N3Y30fbaPzv0F2K2Xy5jt7/NjJrhSlxcC7FLxQmtRdbM52N6wF2pai/t7iayCgkxKJ5MwGwymTpgR23rOpq1WKMrJsxM89dxrvHryHIPnL/Ou936Ef/3r/xZCdRCqXXGTwvDRYQ5+5iCJsQQNWxsIhoNMTZnna9XXm1qT2VSWyXOTRNuiHPi9A+5hZtuQTZp1rMw0ZGbM/6enITVuAisdL274X82yzLRt/R7zo7ptQ65LiijIZGPIZczmg8Wt36t94OIaPPXjpzhz5gzt7e2cPn2aPXv28I63v+PKC0JRUwg5GIFAGALVC/8Nk5oL8bVf7id+bo6m7hjWwo7KqaQptlwfWdxhaWPbNhODszRureaRP9pNuDoDuZT5kZ2H3PxCaM2svXJKoQSqoHbHwhGI3Zo2FF9QkMnGY9tmfWf6lAm3xNmijNZs217ajPHnX/5zuru7rw0yFye+D4d+Hxo6IHjVMtyUbabc6q1rd2xm0zB5Cd7967DnnQXofKFYljnaEOs2B9Jrd5R804zIaukcmWw8lrWwYaMTuN9sFpkbXtgyPmAeD7LWs2rX/DZrmyazbeh/ErCuDTE3i6/rfxJ2v6PEM3SRDhNcsW5zpKFA64UipaIgk40vEIToFvNjMdgWt5QnL5jD2PPjnnUnNQtjgxCpW937InXmfakEVHtVtCRYY3ZwRrvMeldsu5kyFSkjCjLxn0DQVE6Pbb3ya9k5E2jJC0UPt8y8Wcqyqlf3PisI9jxk5ooUZFeHVk2n+W9VozZoSNlTkEl5CNYwbbcyMpUDOiAEVmCeQGaCYCZOIG3+G8zEaYrZhKy1b6oIVS+E0iq/hJ017wvVrPm3NqEUbjJHCKqv+hFuMU/lVmhJBVKQSdk4ePAgjz766Iqv+863v83O7e3mLFZ6EtIz9I/8LbGuNohtu7L93eHgdjgGrd0w9ApEVlEHNzkNm98KYaeZPcsyhZJDdWa3ZKh24b8LPw+3mBBT7UKRayjIpGw88sgjPPLII/m/oerKItdz51uI7nor7PwX5hds22yLT8+Y/161Xd7Kpej96HmG+t8ga1URrLpqFJRa2HYfbgAWf90im7EhlKb3Y2/B2rb1hu38hKImxFQYWWTVFGQiy7Ess+YUXH4esOehfTR+ZZb4YJymHU1XdkCmFs6/1XQsvda2bSaHJmjc2UbPT78Pil2uSqTCKMikYg0NDS1Vq08mk5w9e5aDBw8CcODAAdf3hmNh+j7bx8HfOMjE6Ymlyh7Xu7qyR9/n+opfc1GkAulAtFSsxx57jN/+7d9etu3EiRN5fY28ay1+ro/O2/RkZJFiUJCJrFNqNsXA4QH6v7FM9fuHe+np86D6vUgFU5CJFIht2xx79hjZuSz7bt9HuLbEzyMTqRBaIxMpEMuyqIpVURWrorpulaelRWTNNCITWacnf/E8r/953LH9F87voXazCvGKFItGZCLrdMunmtnybvO4k3PnzgGwdcsWvv8rF6jrDivERIpMQSayTh33Rum415TrSB03QVY3GSaTsNn9yVWU/hCRNVEZAZEiOPlXk2DB7p9tLHVXRMqegkykwHJpePNvJum8L0p9t7bdixSbgkykwCZ+AnOXs5pWFPGIgkykwEa+A4Eqi10fU5CJeEFBJlJA2QRc/h5se18tNS3aSyXiBQWZSAGNHYbcnKVpRREPKchECmjk2xCM2nR/pL7UXRGpGAoykQJJjmaIPwstfVAV1UdLxCv6tIkUyMm/nsTOWGz6YKl7IlJZFGQiBfLGX8aparZpuqfUPRGpLCoaLFJAi0+c3rt3b4l7IlI5NCITERFfU5CJiIivKchERMTXFGQiIuJrCjIREfE1BZmIiPiagkxERHxNQSYiIr6mIBMREV9TkImIiK/pyX8iBRQOh0vdBZGKo1qLIiLia5paFBERX1OQiYiIrynIRETE1xRkIiLiawoyERHxNQWZiIj4moJMRER8TUEmIiK+9v8DcXspzCx9fHQAAAAASUVORK5CYII=)\n", "* $\\sigma$-алгебра $\\mathscr{F}$, которая включает все подмножества множества $\\Omega$, $\\mathscr{F} = 2^{\\{1, 2, 3, 4, 5, 6, 7, 8\\}}$\n", "* $\\mathsf{P}$ - равномерное распределение:\n", "$$\n", "\\mathsf{P}(\\omega = \\{k\\}) = \\frac{1}{8}, \\quad k = 1, 2, \\ldots, 8.\n", "$$\n", "\n", "Определим случайную величину следующим образом:\n", "$$\n", "X(\\omega) = \\sin\\left(\\frac{2\\pi (\\omega - 1)}{8}\\right) = \\sin\\left(\\frac{\\pi (\\omega - 1)}{4}\\right)$$\n", "Интерпретация: значение координаты $y$ для точки с номером $w$ на единичной окружности.\n", "\n", "\n", "Пусть случайная величина $Y$ определяется следующим образом:\n", "$$ Y(\\omega) = \\begin{cases}\n", "1, & \\text{если } \\sin\\left(\\frac{\\pi (\\omega - 1)}{4}\\right) \\geq 0, \\\\\n", "0, & \\text{иначе.}\n", "\\end{cases} $$\n" ] }, { "cell_type": "markdown", "metadata": { "id": "OfJCMMsoVD0y" }, "source": [ "Какому наблюдению соответствует случайная величина $Y$?" ] }, { "cell_type": "markdown", "metadata": { "id": "M6SJi5zjVEnW" }, "source": [ "..." ] }, { "cell_type": "markdown", "metadata": { "id": "nuFJQ_kWU-mG" }, "source": [ "\n", "\n", "Найдите:\n", "* Условное распределение $X|Y$;\n", "* Условное математическое ожидание $\\mathsf{E}(X|Y=1)$;\n", "* Условное математическое ожидание $\\mathsf{E}(X|Y=0)$.\n", "\n", "Визуализируйте условное распределение $X|Y$." ] }, { "cell_type": "markdown", "metadata": { "id": "3VSlWOgkVPYQ" }, "source": [ "..." ] } ], "metadata": { "colab": { "provenance": [] }, "hide_input": false, "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.11.6" } }, "nbformat": 4, "nbformat_minor": 0 }