{ "cells": [ { "cell_type": "markdown", "id": "49577278", "metadata": {}, "source": [ "# Advanced Model Visualization\n", "\n", "When visualizing a model using the `show` API, there are a lot of layout options. In this notebook we will show how to edit the way that a visualization looks, and how to export it in various formats. There are also visualization features that are specific to schedulers, results and the simulator. These will be explored in the respective notebooks on these topics.\n", "\n", "**Note:** This notebook does not render properly in the HTML docs." ] }, { "cell_type": "markdown", "id": "64ccae4f", "metadata": {}, "source": [ "## Javascript visualization\n", "Remember the car model from the introduction? You will notice that it does not have the same colors as it had in the introduction notebook. The reason for this is that in the introduction, we specified a different **Layout**." ] }, { "cell_type": "code", "execution_count": 1, "id": "ca14c3b7", "metadata": { "execution": { "iopub.execute_input": "2026-03-26T10:42:18.868557Z", "iopub.status.busy": "2026-03-26T10:42:18.868334Z", "iopub.status.idle": "2026-03-26T10:42:19.331066Z", "shell.execute_reply": "2026-03-26T10:42:19.330511Z" } }, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", " \n", " Network\n", " \n", " \n", " \n", " \n", " \n", "
\n", " \n", " \n", " \n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/plain": [ "" ] }, "execution_count": 1, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from stormvogel import *\n", "\n", "show(examples.create_car_mdp())\n", "# show(examples.create_car_mdp(), show_editor=True) # with layout editor" ] }, { "cell_type": "markdown", "id": "9ff8dcab", "metadata": {}, "source": [ "### Basic editing\n", "Let's edit the layout! The first thing that you need to do is open the layout editor by adding `show_editor = True` to the call to `show`.\n", "A menu will open up with a lot of different sections that can be opened by clicking on them. First of all, let's try to alter the colors of states and actions. Click on 'states' or 'actions' and then adjust 'bg color' by clicking on the box with a color. A color picker will open up. You will notice that there are a lot of different options, feel free to play around with them and see the changes to the model in real time.\n", "\n", "### Dragging nodes\n", "You can also change the position of nodes by selecting them in the displayed network, and moving them around. This does not require the editor, but your changes here can only be saved if you are using it.\n", "\n", "### Exploring\n", "Go to 'misc', set 'explore' to True and press the 'Reload' button. Now you can explore the model. Clicking on a node reveals its successors.\n", "\n", "### Edit groups\n", "In the model in the introduction notebook, states with different labels had different colors, but right now we only have a single group for states, and a single group for actions. You can change this by going to 'edit_groups'. By default, there are two groups: one for states and one for actions.\n", "* Remove both of them from the list by pressing the cross next to them. Now press the reload button at the bottom, and you will see that 'states' and 'actions' are removed from the editing menu.\n", "* Now open 'edit_groups' again and press the empty box. It will give you some options that correspond to the labels of the states that are present. Select 'green_light', 'red_light' and 'accident'. Press reload again. Now you can edit these groups and create a similar layout to the introduction notebook.\n", "\n", "### Saving layouts (including node positions)\n", "It is always useful to save your layout so that it won't be gone once you re-execute the cell. An easy way of doing this is by going to 'saving', and providing a path to store the json file that contains your layout. Then press 'Save'. If you re-execute the cell, and go to saving, enter the same name, and press 'Load', your layout will be back. In practice, it is more useful to also be able to load a layout without having to go through the menu. You can do this easily by adding `layout=Layout(\"filename.json\")` the call to show.\n", "\n", "### Exporting visualizations\n", "Visualizations in stormvogel are rendered to HTML. This means that you can also export them and embed them in other web pages. You can also export it to a vector image in svg or pdf format. The latter is easy to include in your latex projects by `\\includegraphics{export.pdf}`.\n", "\n", "**Note:** There are additional model visualization features for schedulers and results, but they will be explained in their respective notebooks." ] }, { "cell_type": "code", "execution_count": 2, "id": "1c1d75df", "metadata": { "execution": { "iopub.execute_input": "2026-03-26T10:42:19.339064Z", "iopub.status.busy": "2026-03-26T10:42:19.338673Z", "iopub.status.idle": "2026-03-26T10:42:19.341499Z", "shell.execute_reply": "2026-03-26T10:42:19.341010Z" } }, "outputs": [], "source": [ "# show(examples.create_car_mdp(), show_editor=True\n", "# This enables the layout in \"layouts/car.json\", and turns on the layout editor.\n", "\n", "# Export the visualization in different formats:\n", "# vis.export(\"html\", \"vis_html\")\n", "# vis.export(\"svg\", \"vis_svg\")\n", "# vis.export(\"pdf\", \"vis_pdf\")" ] }, { "cell_type": "markdown", "id": "b43da4c4", "metadata": {}, "source": [ "### Advanced editing\n", "If the layout editor does not provide a visualization option that you need, it is also possible to edit the layout manually. The following code shows you what the default layout looks like. `Layout.layout` is a dictionary that stores all the layout information. You could edit this directly, but this can get annoying because it is a nested dictionary. We provide a method `set_value` to make this easier. Alternatively, If you have a lot of options that you want to change at the same time, it is probably easier to overwrite `Layout.layout` directly.\n", "\n", "Try outcommenting the third line in the next cell, and see the changes. under \"groups\". Then see the changes in the model by re-executing the final cell.\n", "\n", "The structure of the layout is derived from the vis.js library (that is also used to display the models). There are many other options that can be changed but which are not in the layout editor. For more information, we refer to the [vis.js documentation](https://visjs.github.io/vis-network/docs/network/#options)." ] }, { "cell_type": "code", "execution_count": 3, "id": "6c2287a4", "metadata": { "execution": { "iopub.execute_input": "2026-03-26T10:42:19.343222Z", "iopub.status.busy": "2026-03-26T10:42:19.343038Z", "iopub.status.idle": "2026-03-26T10:42:19.348973Z", "shell.execute_reply": "2026-03-26T10:42:19.348345Z" } }, "outputs": [ { "data": { "text/plain": [ "{'__fake_macros': {'__group_macro': {'borderWidth': 1,\n", " 'color': {'background': 'white',\n", " 'border': 'black',\n", " 'highlight': {'background': 'white', 'border': 'red'}},\n", " 'shape': 'ellipse',\n", " 'mass': 1,\n", " 'font': {'color': 'black', 'size': 14}}},\n", " 'edit_groups': {'groups': ['states', 'actions']},\n", " 'groups': {'actions': {'shape': 'box', 'color': {'background': 'lightblue'}},\n", " 'scheduled_actions': {'shape': 'box',\n", " 'color': {'background': 'pink', 'border': 'red'}},\n", " 'states': {'color': {'background': 'orange'}}},\n", " 'reload_button': False,\n", " 'edges': {'arrows': 'to',\n", " 'font': {'color': 'black',\n", " 'size': 14,\n", " 'strokeColor': 'white',\n", " 'strokeWidth': 2},\n", " 'color': {'color': 'black'},\n", " 'width': 1},\n", " 'numbers': {'visible': True,\n", " 'fractions': True,\n", " 'digits': 5,\n", " 'denominator_limit': 1000},\n", " 'results': {'show_results': True,\n", " 'result_symbol': '☆',\n", " 'result_colors': True,\n", " 'min_result_color': '#ffffff',\n", " 'max_result_color': '#ff0000'},\n", " 'state_properties': {'show_ids': False,\n", " 'show_rewards': True,\n", " 'reward_symbol': '€',\n", " 'show_zero_rewards': True,\n", " 'show_observations': True,\n", " 'observation_symbol': 'ʘ'},\n", " 'layout': {'randomSeed': 5},\n", " 'misc': {'enable_physics': True,\n", " 'width': 800,\n", " 'height': 600,\n", " 'explore': False},\n", " 'saving': {'relative_path': True,\n", " 'filename': 'layouts/NAME.json',\n", " 'save_button': False,\n", " 'load_button': False},\n", " 'positions': {},\n", " 'physics': True,\n", " 'autoResize': True}" ] }, "execution_count": 3, "metadata": {}, "output_type": "execute_result" } ], "source": [ "my_layout = layout.DEFAULT()\n", "my_layout.layout[\"groups\"][\"states\"] = {}\n", "my_layout.set_value([\"groups\", \"states\", \"color\", \"background\"], \"orange\")\n", "my_layout.layout" ] }, { "cell_type": "code", "execution_count": 4, "id": "895f7bd3", "metadata": { "execution": { "iopub.execute_input": "2026-03-26T10:42:19.350764Z", "iopub.status.busy": "2026-03-26T10:42:19.350567Z", "iopub.status.idle": "2026-03-26T10:42:19.382860Z", "shell.execute_reply": "2026-03-26T10:42:19.382242Z" } }, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", " \n", " Network\n", " \n", " \n", " \n", " \n", " \n", "
\n", " \n", " \n", " \n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/plain": [ "" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" } ], "source": [ "show(examples.create_car_mdp())" ] }, { "cell_type": "markdown", "id": "10dae4ff", "metadata": {}, "source": [ "### Javascript injection\n", "If you want to customize the visualization even more, you can modify the source code, or you can use Javascript injection from a notebook. Yous can always use `IPython.display` to execute JavaScript code, and `f\"{vis.network_wrapper}.network\"` to retrieve the `vis.js` Network object. Also see `html_generation.py` and the documentation of `vis.js`.\n", "\n", "Here is a small example of javascript injection that destroys the network." ] }, { "cell_type": "code", "execution_count": 5, "id": "6f65026d", "metadata": { "execution": { "iopub.execute_input": "2026-03-26T10:42:19.390244Z", "iopub.status.busy": "2026-03-26T10:42:19.390018Z", "iopub.status.idle": "2026-03-26T10:42:19.392685Z", "shell.execute_reply": "2026-03-26T10:42:19.392186Z" } }, "outputs": [], "source": [ "# import IPython.display as ipd\n", "# ipd.display(ipd.Javascript(\n", "# f\"\"\"{vis.network_wrapper}.network.destroy()\"\"\"))" ] }, { "cell_type": "markdown", "id": "33802a74", "metadata": {}, "source": [ "## Positioning algorithms\n", "We can use positioning algorithms from `networkx` to set the positions of nodes in the visualization, or create our own. Check out the [networkx documentation](https://networkx.org/documentation/stable/reference/drawing.html#module-networkx.drawing.layout) for a list of positioning algorithms." ] }, { "cell_type": "code", "execution_count": 6, "id": "48e902ca", "metadata": { "execution": { "iopub.execute_input": "2026-03-26T10:42:19.394529Z", "iopub.status.busy": "2026-03-26T10:42:19.394325Z", "iopub.status.idle": "2026-03-26T10:42:19.426694Z", "shell.execute_reply": "2026-03-26T10:42:19.426085Z" } }, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", " \n", " Network\n", " \n", " \n", " \n", " \n", " \n", "
\n", " \n", " \n", " \n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/plain": [ "" ] }, "execution_count": 6, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from stormvogel import *\n", "import networkx as nx\n", "\n", "\n", "def positioning(G):\n", " # return nx.bfs_layout(G, start=0) # Good for DAGs, we have to specify start=0\n", " # return nx.kamada_kawai_layout(G) # Good overal\n", " return nx.circular_layout(G)\n", "\n", "\n", "show(examples.create_car_mdp(), pos_function=positioning, pos_function_scaling=300)" ] }, { "cell_type": "markdown", "id": "1a57a29a", "metadata": {}, "source": [ "## Matplotlib visualization\n", "Alternatively, we can also use matplotlib to display our models if we tell stormvogel to use \"mpl\" as the engine. The support for this is more limited." ] }, { "cell_type": "code", "execution_count": 7, "id": "cd1e678e", "metadata": { "execution": { "iopub.execute_input": "2026-03-26T10:42:19.433886Z", "iopub.status.busy": "2026-03-26T10:42:19.433659Z", "iopub.status.idle": "2026-03-26T10:42:19.934010Z", "shell.execute_reply": "2026-03-26T10:42:19.933493Z" } }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAoAAAAHiCAYAAAB4GX3vAAAAOnRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjEwLjgsIGh0dHBzOi8vbWF0cGxvdGxpYi5vcmcvwVt1zgAAAAlwSFlzAAAPYQAAD2EBqD+naQAAtSVJREFUeJzs3XVYVNsaBvB3hpZGRVFAMDCQEBEU4yDY3S12YmL3sQNMVOzu7hYsRCUUEBuVtEC6Z2bdP7yMcizQmdkD8/2ex+decWbvbzgw+51v7bUWjzHGQAghhBBCFAaf6wIIIYQQQohsUQAkhBBCCFEwFAAJIYQQQhQMBUBCCCGEEAVDAZAQQgghRMFQACSEEEIIUTAUAAkhhBBCFAwFQEIIIYQQBaNcmAeJRCLEx8dDW1sbPB5P2jURQgghhJAiYowhLS0NFSpUAJ//6x5foQJgfHw8TExMJFIcIYQQQgiRnpiYGBgbG//yMYUKgNra2uID6ujo/H1lhBBCCCFEolJTU2FiYiLObb9SqACYP+yro6NDAZAQQgghRI4V5nY9mgRCCCGEEKJgKAASQgghhCgYCoCEEEIIIQqGAiAhhBBCiIKhAEgIIYQQomAoABJCCCGEKBgKgIQQQgghCoYCICGEEEKIgqEASAghhBCiYCgAEkIIIYQoGAqAhBBCCCEKhgIgIYQQQoiCoQBICCGEEKJgKAASQgghhCgYCoCEEEIIIQqGAiAhhBBCiIKhAEgIIQpIIBAgPDwcjDGuSyGEcIACICGEKKBz587B2toadevWxYULFygIEqJgKAASQogCysjIAACEhoaibdu2FAQJUTDKXBdACCGEOyKRCMDXIGhkZIQNGzbgzZs3yM3Nhb6+Pho0aIDatWuDz6eeASElBQVAQghRQHl5eQX+nh8E3717h5MnTyI4OBgfP35EcnIyBAIB9PT00LhxYwwcOBCdO3cGj8fjomxCiITQxzlCCFEgjDGcOnUK06ZNE3+Nz+eDx+Ohe/fuePz4Mfbs2YOIiAh8+vQJqamp8PPzw8SJE5GYmIiuXbvC0dER169f5/BVEEL+FgVAQghREEKhEMOGDUPnzp1Rrlw5AACPx0PXrl0RHh6OI0eOwNLSssBzNDQ04OzsjLlz58Lf3x++vr7g8/lo1qwZRowYAYFAwMVLIYT8JRoCJoQQBZCXl4cBAwbgyJEj2LVrF5o1a4bVq1dj0KBB34W+X2natCkCAgKwfft2jBo1CnFxcTh8+DA0NTWlWD0hRNJ4rBBTvlJTU6Grq4uUlBTo6OjIoi5CCCES5ObmhoMHD+LQoUPo2rWrRI55+fJldOvWDdbW1vDz84OqqqpEjksI+TNFyWs0BEwIISXckSNHsHfvXuzYsUNi4Q8AWrZsiatXryIwMBAzZ86U2HEJIdJHHUBCOMYYQ0aeEMnZeUjNFUAgYuDzgFLKStBTV4GumgqU+DTjkvyZDx8+wNLSEs7Ozjh69KhUZu+uWrUKkyZNwoULF9C6dWuJH58QUjhFyWsUAAnhSJ5QhOjULLxKykBGnhAA8O2lOf8XU4nHg5muBirraUJbjW7bJUUzcuRIHD9+HE+ePEHZsmWlcg6RSIR27dohNDQUr1+/hpqamlTOQwj5NRoCJkTOvUvPxuU3nxD6MVUc/oAvoS//Tz4hY3idnImrbz/h8adUCEW0UwMpnM+fP2PPnj0YP3681MIf8GUZmdWrV+Pdu3fYtWuX1M5DCJEcCoCEyBBjDI/epyAgLgm5QlHhn/f//33xOQPX335C5jehkZCf2bp1K0QiEUaMGCH1c1WvXh3du3fH8uXLaWkYQooBCoCEyAhjDMHvU/A6JfOvjpORJ8SNqAQKgeSXGGPYsmULevfuLdXu37dmzpyJN2/e4MyZMzI5HyHkz1EAJERGXiZlIDo166+PwwDkCEUIiPsM0e9v4SUK6s2bN3j9+jU6d+4ss3Pa2NigVq1aOHv2rMzOSQj5MxQACZGBtBwBIj6lSex4DEBKjgAvPqdL7JikZMnfsaNJkyYyPW/btm1x4cIF8d7ChBD5RAGQEBkI+5gqleM+TUhHtoCGgsn3/Pz8YG9vDz09PZmet127dvj48SNCQkJkel5CSNFQACREyjJyBfiQmQNpDNYyAG9T/n5YmZQ8T58+ha2trczP6+DgAB6Ph9DQUJmfmxBSeBQACZGyqNQsSHMZ5zfJGVI8OimuYmJiYGJiIvPzqqurw8TEBJGRkTI/NyGk8CgAEiJliVm5Uun+5csSiJBDw8DkG1lZWUhISOAkAAJA1apV8erVK07OTQgpHAqAhEgRYwxJ2XlSP09SjvTPQYqPT58+AQDKlSvHyflNTU0RExPDybkJIYVDAZAQKWIABDLYuSNbQDMuyVdKSkoAvnwA4YKysjLNAiZEzlEAJESKZHX9peUAybdUVFQAALm5uRxXQgiRVxQACZEiPg9SnQCST4Uvi7OQ4kJVVRUAkJfHza0BXHUeCSGFRwGQECni8XjQUVOW+nl01VWkfg5SfGhra0NNTQ3x8fGcnP/Tp08wMDDg5NyEkMKhAEiIlBmoq0q1C6jE40FLRUmKZyDFjZKSEiwsLPD8+XNOzv/q1StUrVqVk3MTQgqHAiAhUmasoy61ZWB4AIy11cHj0RAwKahGjRp49uyZzM8rEonw+vVrCoCEyDnpj00RogAEAgEuX76MjIwMMMYgEokgEomQk5OD2NhYOPQdgUwpzNRlACrra0r8uKT4q1WrFry9vSEUCsWzgmXh1atXyM7OhoWFhczOSQgpOgqAhEhAUFAQ2rVr99N/v9SiLaBfQaLn5AEw1FSDPt3/R36gZcuWmD9/Pu7du4eGDRvK7LwXL16EqqoqGjduLLNzEkKKjoaACZGAevXqwcLC4odDsb1790YLRzsYaalJ9F5AJR4PduV1JXhEUpI4ODjA0NAQp0+flul5z58/D2dnZ2hpacn0vISQoqEASIiEtGzZssDyF0pKSqhduzZ27NgBHo8Hu3J6KKWiJLEQaF9BDxrKNPmD/JiSkhLat2+PEydOyGxR5qSkJNy8eRNt27aVyfkIIX+OAiAhf0EkEuHQoUOoXbs2vL29oaWlBT7/y6+ViooKjh8/DnV1dQCAmjIfjU1K/1UI5P3/j4ORHipoqUvkNZCSa/DgwYiMjMTJkydlcj5vb2/w+Xz07NlTJucjhPw5CoCE/AGRSITjx4/D2toavXv3RuXKlREYGIh9+/aJuy1bt2797kb4UipKaFqpDEx0NP7ovJoqSvjHtDSM//D5RLE4OTnB1dUVCxculPrizOnp6Vi7di2GDh3K2R7EhJDCowBISBEwxnD69GnY2dmhW7duqFChAu7evYvz58/D3t4eHTp0QNOmTeHu7o5+/fr98BiqSnzYG+mhobEBSmt8mcDxs45g/tfVlPiwLKMNV7OyMNBQlfwLIyXWnDlzEBoaiqNHj0r1PGvXrkVqaiqmTJki1fMQQiSDxwrxsTA1NRW6urpISUmBjo6OLOoiRK4wxnDx4kXMnTsXwcHBcHZ2xoIFC34405ExVqR1+VJz8vAuPQfJ2XlIzslDanoGkj4nokZlcxhoqKC0hirKaaqBT2v9kT/UpUsX3LhxAy9evECZMmUkfvxnz57BysoKHh4eWL58ucSPTwgpnKLkNeoAEvILjDFcvXoVTk5OaNu2LdTV1eHr6ws/P7+fLnNR1EWZddRUUL20Fhwr6qNlZUNkh97BiKb14GCoidpldWCkpU7hj/yV7du3o3Tp0lBRUZH4UDBjDMrKyqhTpw4WLlwo0WMTQqSHAiAhP3Hjxg38888/aNGiBRhjuHz5Mm7fvo2mTZtK9bza2toAvtxTRYgk6Ovr48KFC9DV1ZX4rjE8Hg9Vq1bFqVOnoKpKtycQUlxQACTkP+7cuQMXFxc0bdoUmZmZOH/+PAICAtCiRQuZbLmWHwDT0tKkfi6iOKpVqya15WBEIhEqVJDsQueEEOmiAEjI/927dw8tW7ZE48aNkZiYiFOnTiEwMBBt2rSR6V67+QvoUgAkkpa/RFFxOS4hRHrot5YovODgYLRt2xYNGjRAbGwsjh49iocPH6Jjx44yDX75aAiYEEKItFEAJAorNDQUnTp1gr29PV69eoUDBw4gLCwM3bp147SjQR1AQggh0kYBkCiciIgIdO/eHba2tnj8+DH27NmDiIgI9O7dG0pK3G+tRh1AQggh0kYBkCiMZ8+eoXfv3rCyskJQUBC2b9+Op0+fon///lBWVua6PDHqABJCCJE2CoCkxHv16hXc3NxgaWmJO3fuwMfHB8+fP8fgwYOhoqLCdXnfUVFRgZqaGgVAQgghUiM/bQ9CJOzNmzdYtGgRdu/eDUNDQ6xduxbDhg2Dmpoa16X9lra2Ng0BE0IIkRoKgKTEiYmJweLFi7F9+3YYGBjAy8sLI0aMgIaGBtelFZqWlhZ1AAkhhEgNBUBSYsTHx2PJkiXYunUrtLW1sWTJEowePRqamppcl1Zk1AEkhBAiTRQASbH3/v17LF++HD4+PihVqhTmzZuHsWPHimfTFkfa2trUASQSIxQKERcXh/Lly9N2bYQQABQASTH26dMnrFixAhs2bICKigpmzpyJ8ePHQ1dXl+vS/hoNAZM/5efnh/PnzyM2NhZv3rxBTEwMPnz4AJFIBHt7ewQGBnJdIiFEDlAAJMXO58+f4eXlhXXr1oHH42HSpEnw8PCAvr4+16VJDA0Bkz+1Zs0anDlzBnw+/7u9fydMmMBNUYQQuUPLwJBiIzk5GfPmzYOZmRnWrl2LMWPG4M2bN1i4cGGJCn8AdQDJn1u8eDGUlZULhD8+n4/27dujb9++HFZGCJEn1AEkci81NRXr1q3DypUrkZ2djdGjR2PatGkwNDTkujSpoQ4g+VM6OjowMzPDq1evxF9TVlbG2rVrOayKECJvqANI5FZ6ejqWLVsGc3NzLFy4EG5ubnj9+jVWrlxZosMfQB1AUnQikQgbNmyApaUlMjMzUbFiRfD5fPD5fMyYMQPm5uZcl0gIkSMUAIncyczMxMqVK1G5cmXMnTsXPXv2RGRkJNauXQsjIyOuy5MJmgVMiuLZs2do0qQJxowZg379+uHJkyc4fvw4GGMwMjLCtGnTuC6RECJnaAiYyI3s7Gxs2bIFS5cuRUJCAgYOHIjZs2ejUqVKXJcmczQETAojLy8Py5cvx8KFC1GpUiXcuHED//zzDwDA0dERBw8eRNWqVYvVIuiEENmgAEg4l5OTgx07dmDx4sV49+4d3NzcMGfOHFSuXJnr0jijpaWF7OxsCAQCKCvTryn5XlBQEIYMGYKIiAhMmTIFc+fO/S7o9ezZk6PqCCHyjoaACWfy8vKwdetWWFhYwN3dHc7Oznj69Cl27typ0OEPgHgRa+oCkv/KzMzElClT4OjoCCUlJQQGBmLp0qXU5SOEFAm1FojMCQQC7Nu3DwsWLMCbN2/Qo0cPXLx4EbVq1eK6NLmhpaUFAEhLS4Oenh63xRC54efnh2HDhiE2NhZLliyBh4cHVFRUuC6LEFIMUQeQyIxQKMS+fftQs2ZNDBo0CHXq1EFYWBgOHz5M4e8/qANIvpWcnIxhw4bBxcUFFStWRFhYGKZNm0bhjxDyxygAEqkTiUQ4fPgwateujf79+6NmzZoICQnB8ePHYWVlxXV5cik/ANJMYHLq1CnUqlULhw8fho+PD/z8/GBhYcF1WYSQYo4CIJEakUiEEydOwMbGBr169YK5uTkePHiAM2fOoE6dOlyXJ9e+HQImiun9+/fo3r07OnfujLp16+LJkycYOXIk+Hx62yaE/D16JyESxxjD2bNnUbduXXTt2hXly5eHv78/Lly4gHr16nFdXrFAQ8CKizGGXbt2oVatWrh58yYOHjyIM2fOwNjYmOvSCCElCAVAIjGMMVy8eBEODg7o0KEDdHR0cOPGDVy9ehVOTk5cl1esUAdQMb19+xYtW7bEoEGD0LZtWzx58gS9evUCj8fjujRCSAlDAZD8NcYYrl27hoYNG6JNmzZQVVXF9evXCyxKS4pGXV0dSkpK1AFUEEKhEGvXroWlpSWePXuGCxcuYO/evShTpgzXpRFCSigKgOSv3Lx5E87OzmjevDmEQiEuXbqEO3fuwMXFhboWf4HH49F2cAoiIiICDRs2xMSJEzF48GBERESgdevWXJdFCCnhKACSP+Lv7w9XV1c4OzsjPT0d586dw71799CyZUsKfhKipaVFAbAEy83Nxfz581GnTh2kpKTgzp078Pb2Ft//SQgh0kQBkBTJgwcP0KpVKzRq1AifPn3CyZMnERQUhLZt21LwkzDaD7jkun//Puzs7LBo0SJMmzYNDx8+pPtkCSEyRQGQFEpISAjat28PR0dHREdH48iRI3j06BE6depEwU9KqANY8mRkZGDixIlo0KABNDQ0EBwcjIULF0JdXZ3r0gghCoYCIPmlsLAw8TpkL168wP79+xEeHo7u3bvTemRSRh3AkuXatWuoXbs2Nm/eDE9PTwQEBMDa2prrsgghCoqu4OSHIiIi0KNHD9jY2CAsLAy7d+9GREQE+vTpAyUlJa7LUwg0CaRk+Pz5MwYNGoTmzZvD3Nwc4eHhmDRpEpSVaSt2QooiMzMT79+/B2OM61JKBAqApIDnz5+jT58+sLKywoMHD7Bt2zY8e/YMbm5udMGSMRoCLt4YYzh27Bhq1aqFkydPYtu2bbh+/TqqVKnCdWmEFAt5eXnw9/fHggUL4OzsDH19faxatQoikYjr0koEuqITAEBkZCQWLFiAffv2wcjICBs3bsTgwYOhqqrKdWkKi4aAi6/4+Hi4u7vj1KlT6NSpEzZs2IAKFSpwXRYhck0kEiE0NBTXr1+Hr68vbt26hYyMDOjq6sLZ2RleXl5o1qwZjUJJCHUAFdzbt28xdOhQVK9eHVeuXMGaNWvw6tUrjBw5ksIfx6gDWPwwxrBt2zbUqlULAQEBOHr0KE6cOEHhj5AfYIzh2bNn2LhxI7p27YqyZcvCzs4Oc+fOhVAoxJw5c/DgwQMkJiZi3759EIlEaN26Na5fv05dQAmgDqCCiomJwZIlS7B9+3bo6+vD09MTI0eOhIaGBtelkf+jDmDxEhkZieHDh8PX1xcDBw7EypUrYWBgwHVZhMiV6OhocYfP19cX8fHxUFZWRv369TFmzBi4urrC0dERampqAID3799jzpw58PHxQXp6Onr16oVKlSrRJEQJoACoYOLj47F06VJs2bIF2traWLRoEdzd3aGpqcl1aeQ/qANYPAgEAqxduxZz5sxBuXLlcOXKFTRv3pzrsgiRCx8/foSfnx98fX1x/fp1REZGgsfjoU6dOujbty9cXFzQqFEj8f7n+Z4+fYqVK1di7969UFVVxfDhwzFhwgSYmJhw9EpKHgqACuLDhw9Yvnw5fHx8oKGhgXnz5mHs2LG064Acy+8AikQi+rQrp8LCwjBkyBAEBwdj/PjxWLRoEX2YIgotJSUFt27dEnf5wsPDAQA1a9ZEq1at4OLiAmdn5x92xxljuH37Nry8vHD27FkYGRlhwYIFGDFiBPT09GT8Sko+CoAlXEJCAjw9PbF+/XooKytj+vTpmDBhAnR1dbkujfxGfjjPzMz87tMx4VZOTg4WLVqEZcuWoXr16rh79y7q16/PdVmEyFxWVhb8/f3FQ7qBgYEQiUQwNTWFq6srpk2bhqZNm/7yPlihUIiTJ0/C09MTDx48gKWlJXbu3Ik+ffrQvehSRAGwhPr8+TNWrVqFtWvXAgAmTpwIDw8PuiepGMkPfWlpaRQA5Yi/vz+GDh2KyMhIzJ49GzNmzKCLFFEYeXl5CAwMFA/p3r17F7m5uTA0NISLiwuGDBkCV1dXmJub/3aXqMzMTOzatQurVq1CZGQkmjZtivPnz6N169a0w5QMUAAsYXJzc7FkyRKsXr0aAoEAY8aMwZQpU1CmTBmuSyNFlN8BpIkg8iEtLQ0zZ87Ehg0b4ODggIcPH8LS0pLrsgiRKpFIhLCwsAJLs6Snp0NHRwfOzs5YsWIFXF1dYWlpWejQ9unTJ6xfvx4bNmxAUlISunfvjkOHDsHe3l7Kr4Z8iwJgCaOqqoqbN29i6NChmDp1KsqVK8d1SeQPfdsBJNy6dOkSRowYgYSEBKxevRpjxoyhtchIicQYw4sXL8RDun5+fkhMTIS6ujoaNWqEWbNmwcXFBXZ2dkXeHODly5dYtWoVdu3aBT6fj6FDh2LChAkwNzeX0qshv0IBsIQRiUQ4f/48SpUqxXUp5C9RB5B7CQkJmDhxIvbt24fmzZvjxo0bdLEiJU5MTIx4SNfX1xdxcXFQVlaGo6MjRo8eDRcXFzRo0EC8NEtRBQQEwNPTE6dOnULZsmUxe/ZsjBo1Sia3JHl4eODq1asICwujYeX/oABYwvD5fAp/JUR+AKQOoOwxxnD48GGMGzcOAoEAu3btgpubG11ASInw6dOnAkuzvHr1CjweD7a2tujVqxdcXV3RqFGjv1olQiQS4ezZs/D09IS/vz+qV6+OzZs3o3///lBXV5fgq/m57OxsbNq0CVlZWbhw4QLatm0rk/MWFxQACZFTNATMjdjYWIwaNQrnzp1D9+7dsW7dOpQvX57rsgj5Y6mpqbh165Y48IWFhQEAqlevjhYtWmDZsmVwdnZG6dKl//pc2dnZ2LNnD1auXIkXL16gUaNGOH36NNq1ayfz5ax2796NrKwsAMDUqVPRunVrWlLrGxQACZFT+evJ0RCwbIhEImzZsgVTp06FlpYWTp48iU6dOnFdFiFFlpWVhYCAAPGQbmBgIIRCIUxMTODq6orJkyfDxcUFFStWlNg5ExMT4ePjA29vb3z69AldunTB7t27OVseSSAQYMmSJeK/P3nyBIcOHUKfPn04qUceUQAkRE7x+XxoampSB1AGXrx4gWHDhuHWrVsYNmwYVqxYQQvPkmJDIBB8tzRLTk4OypQpAxcXFwwaNAguLi6oUqWKxG9jePPmDVatWoUdO3ZAJBJh0KBB8PDwQNWqVSV6nqI6duwYoqOjxX/n8XiYMWMGunXrRss2/R8FQELkGO0HLF0CgQArV67EvHnzYGxsDF9fXzRt2pTrsgj5JZFIhPDwcHHgu3XrFtLS0qCjo4N//vkHy5YtEy/NIq0hz6CgIHh6euLYsWPQ19fHlClT4O7ujrJly0rlfEXBGMOiRYvA4/HAGBN/LTo6Glu3boW7uzvHFcoHCoCEyDFtbW3qAErJw4cPMXToUDx69AgeHh6YP38+TaAicokxhlevXomHdP38/JCQkAB1dXU0bNgQ06dPh6urK+rWrVvkpVmKQiQS4eLFi/D09MTNmzdRpUoVrF+/HgMGDJCr352EhAQ8e/ZMHP6+9fTpUw4qkk8UAAmRY1paWhQAJSwrKwsLFiyAp6cnLC0tcf/+fVqAlsid2NhY8Vp8169fR2xsLJSUlODg4ICRI0eKl2aRxYzanJwcHDhwAF5eXnjy5AkcHR1x7NgxdOrUSS7Xwyxbtizi4uKQnZ2N48ePY9KkSUhJSYG6ujpUVFS4Lk9uUAAkRI7RELBk3bp1C0OHDkVUVBTmz5+PqVOn0gWByIWEhATcuHFD3OV78eIFAMDW1hY9evSAq6srGjdu/FdLsxRVcnIyNm3ahHXr1uHdu3fo0KEDNm3ahEaNGsn9kkj5myDkD0mrqqrSvX//QQGwBGKM4eXLl0hNTUVKSkqBP3w+H8OHD5fZOkzk71AHUDJSU1Mxbdo0bNq0CQ0bNsSZM2dQo0YNrssiCiwtLa3A0iyhoaEAAAsLC7i6umLx4sVwdnbmZBvP6OhorFmzBlu3bkVubi7c3NwwadKkYvk7kx/6cnNz6br3HxQAS6B79+7Bycnpp//esWNHVKpUSYYVkT+lra2NhIQErsso1s6dO4dRo0YhOTkZ69evx6hRo2gtMCJz2dnZCAgIEAe+Bw8eQCgUwtjYGK6urvDw8ICLiwuMjY05q/HRo0fw9PTE4cOHoaOjg/Hjx2PMmDHFeh3M/N1LcnNzOa5E/lAALEEYY+DxeKhTpw6qVauGly9fFvh3JSUlODk5UfgrRrS1tfHmzRuuyyiWPn78iPHjx+PQoUNo3bo1Nm3aBFNTU67LIgpCIBAgODhYPKTr7++P7OxslClTBk2bNsWAAQPg4uKCqlWrcjqcyhjD1atX4enpiWvXrsHMzAyrVq3C4MGDxYvRF2ffdgBJQRQASxAej4fr16/D1dUVAQEBqFevHqKioiASiQAAQqEQenp6iIyMRJUqVTiulhQGDQEXHWMM+/fvx4QJEwAAe/fuRd++feX+niVSvIlEIjx+/Fjc4bt58ybS0tKgra2Nf/75B0uWLIGLiwusrKzkogOdl5eHQ4cOwcvLC2FhYbCzs8PBgwfRrVs3qc4kljUKgD/H/U8hkZhTp06hWbNmGD9+PHR0dHDp0iVoaWmJ32y0tLRw584dVKtWDe3bt8fVq1d/OE2eyA+aBFI00dHRaNu2Lfr3748WLVrg6dOn6NevH4U/InH5S7Ns3rwZPXv2RPny5WFjY4Pp06cjMzMT06ZNQ0BAABITE3H27FlMnDgRNjY2nIe/1NRUrFy5EpUrV4abmxsqVqwIX19fBAUFoVevXiUq/AEUAH+FAmAJ0rFjR6xfvx4bN25E06ZNoa2tjZMnT4ovfnPmzEFsbCy2bNmC6OhotGjRApaWlvDx8aGQIaeoA1g4IpEIGzZsgKWlJcLCwnD27FkcOHBALhalJSVHXFwc9u7di0GDBsHMzAzVqlWDu7s7oqOjMXz4cFy/fh3Jycm4fv06Zs2ahfr168vNLPO4uDhMmzYNJiYmmDFjBlxdXREeHo4LFy6gadOmJfZDEgXAX2CFkJKSwgCwlJSUwjyccMzf359VqFCBlS9fnt26dYvt2LGDVatWjSUkJIgfIxKJ2I0bN1iXLl0Yn89nurq6zMPDg0VGRnJYOfmvjRs3MmVlZSYSibguRW49ffqUNWzYkAFgo0aNovcpIjEJCQns2LFjbNSoUax69eoMAAPAbGxs2MSJE9nZs2fl/uctPDycDRgwgKmoqDAdHR02depUFhsby3VZMhMcHMwAsODgYK5LkYmi5DUKgCXUu3fvWJMmTZiysjJbs2bNLwPE27dv2bRp05iBgQHj8Xisffv27OrVqxQ65MCePXsYAJaVlcV1KXInNzeXLVy4kKmqqjILCwt28+ZNrksixVxaWhq7cOECmzRpEqtTpw7j8XgMAKtWrRobMWIEO3LkCPv48SPXZf6WSCRi169fZ61atWIAmLGxMVu5cqVCXsPDw8MZABYQEMB1KTJBAVABDBo0iBkbG7NPnz799DG5ubnMw8ODAWC9e/dm6enpvzxmRkYG27p1K7OysmIAWK1atZiPj89vn0ek5+TJkwxAsbjoyFJgYCCztrZmSkpKbMaMGRSQyR/Jzs5mfn5+bM6cOczJyYkpKyszAKxixYrMzc2N7dq1i0VHR3NdZqHl5eWxgwcPMjs7OwaAWVtbs71797Lc3FyuS+PM8+fPGQB248YNrkuRCQqACqBu3briN6oXL1788rGHDx9mmpqarHbt2r99LGNfPj36+fmxzp07Mz6fz/T09NikSZPY69evJVU+KaRr164xAPS9/7+MjAw2efJkxufzWZ06dVhISAjXJZFiJC8vj92/f58tWbKENWvWjKmrqzMArHTp0qxbt25s48aN7Pnz58Vu9CMtLY2tXbuWmZmZMQCsWbNm7PLly8XudUjD27dvGQB25coVrkuRCQqACiD/nicej8d0dXXZnTt3fvn4iIgIZmFhwXR0dNipU6cKfZ63b9+yqVOnMn19fcbj8ViHDh3YtWvX6I1FRu7du8cAsNDQUK5L4Zyvry+rUqUKU1dXZ8uWLWN5eXlcl0TknEgkYmFhYWzNmjWsQ4cOTEdHhwFgWlparE2bNmzlypXs4cOHTCgUcl3qH3n37h2bOXMm09fXZ0pKSqxv377s4cOHXJclV+Lj4xkAdu7cOa5LkQkKgAqgRo0a4huS+Xw+U1FRYYcOHfrlc1JSUljnzp0ZADZz5kwmEAgKfb6MjAy2ZcsWVrt2bfHw8KZNm2h4WMoiIiIYAObv7891KZxJSkpiQ4cOZQBYkyZN2PPnz7kuicgpkUjEXr16xbZs2cJ69uzJDA0NGQCmqqrKmjZtyhYuXMj8/f2L/ZDo06dP2dChQ5mqqirT0tJiEydOZFFRUVyXJZcSEhIYAHbixAmuS5EJCoAKoFy5cuIA+O2f37W5RSIRW7ZsGePz+ax58+a/vIfwZ8/39fVlnTp1ouFhGYiKimIA2KVLl7guhRMnT55kRkZGTEdHh23atKnYdmqI9MTFxbF9+/axQYMGsUqVKok/FDs6OrIZM2awa9eusczMTK7L/GsikYjdunWLtW/fngFgRkZGbNmyZSwpKYnr0uRaamoqA/DbBklJQQFQAeTfu/JtF7BTp04sLi6uUM+/du0aK1OmDDM1NWWBgYF/VMObN2/YlClTmJ6eHuPxeKxjx47s+vXrNDwsQZ8/f2YA2LFjx7guRabevXvHunXrxgCw9u3bs5iYGK5LInIiMTGRHT9+nLm7uxcYCbGysmITJkxgZ86cYcnJyVyXKTECgYAdPXqUOTo6ikdfduzYwbKzs7kurVjIzs5mANiePXu4LkUmKACWcPk/0ACYtrY2A8DOnDlT5ONERUWxevXqMTU1NbZt27Y/ric9PZ1t3ryZWVpaMgDM0tKSbd68mYaHJSA3N5cBYDt37uS6FJkQiURs586dTF9fn5UtW5YdOnSIPlAouLS0NHbx4kU2efJkZmdnJ16apWrVqmz48OHs0KFD7MOHD1yXKXEZGRlsw4YNrEqVKgwAc3Z2ZufPn6cueBEJhUIG4K+uccUJBcASTiQSsQULFrCDBw+yzMxMZmZmxgYMGPBHx8rOzmYjRoxgANjQoUP/ajmN/LWnOnXqxHg8HtPX12eTJ09mb968+eNjEsbU1NTYunXruC5D6l6/fs2aN2/OALD+/fsXWLicKI7s7Gx248YNNnfuXNaoUSPx0iwVKlRg/fr1Yzt37mRv377lukyp+fjxI5s3bx4rU6YM4/P5rEePHn88SkO+UFZWZhs3buS6DJmgAKhgli1bxtTU1P7qgrljxw6mpqbG7O3tJfLm+vr1azZ58mSmp6cnHp729fWlbs4fKFOmDFuyZAnXZUiNQCBgq1evZqVKlWKmpqbs4sWLXJdEZEggELAHDx6wZcuWsebNmzMNDQ0GgBkYGLCuXbuyDRs2sGfPnpX4946XL1+ykSNHMnV1dVaqVCk2duxY2plJQkqVKsXWrFnDdRkyQQFQwXz8+JGpqqqyFStW/NVxgoODWaVKlVjp0qXZ1atXJVJbeno627Rpk3h4uHbt2mzLli0sIyNDIsdXBGZmZmzGjBlclyEVjx8/Zo6OjozH47GxY8ey1NRUrksiUiYSidjjx4/Z2rVrWceOHZmuri4DwDQ1NVnr1q2Zp6cnCwkJUZihzoCAANalSxfG4/GYoaEhW7hwIXW/JUxPT48tX76c6zJkggKgAurfvz8zNzf/6zfNhIQE1rJlS8bn89nSpUsl9qk7f3i4Y8eO4uHhKVOm0PBwIVhZWbGxY8dyXYZE5eTksH///ZepqKiwGjVqKPQyN4ogMjKSbd26lfXu3Vu8goGqqir7559/2IIFC9idO3eK/dIsRSEUCtmpU6fE67laWFiwLVu20I42UlKuXDm2cOFCrsuQCQqACiggIIABYBcuXPjrYwkEAjZnzhwGgHXq1EniM+oiIyPZpEmTmK6uLuPz+axz5840PPwLTk5ObODAgVyXITH37t1jlpaWTFlZmc2ZM4dmM5ZA8fHxbP/+/Wzw4MHi3Sn4fD5zcHBg06dPZ1evXlXIUYCsrCy2ZcsWVr16dQaANWzYkJ06dUphup1cMTExYXPmzOG6DJmgAKiARCIRq1OnDmvXrp3EjnnmzBmmq6vLLCws2OPHjyV23Hz5w8O1atWi4eFfaNGiBevatSvXZfy19PR0NmHCBMbj8Zi9vT3tblKCfP78mZ04cYKNGTNG/Puc/zs9fvx4dvr0aYVery4xMZEtXLiQGRoaMh6Px7p06cLu3r3LdVkKo0qVKmzatGlclyETFAAV1NatWxmPx5PooswvX75kVlZWrFSpUlJbSFMkErFr166xDh06iIeHp06dWqJn+hVF165dWcuWLbku469cuXKFmZmZMQ0NDebl5UXbuBVz6enp7NKlS2zq1Kmsbt264qVZKleuzIYNG8YOHjzI3r9/z3WZnHv9+jUbO3YsK1WqFFNXV2cjR44s1H7sRLJq1qzJJk6cyHUZMkEBUEFlZGQwXV1diX/SSU9PZ3369GEA2MSJE6V6r05kZCTz8PAQDw936dKF+fn5KfTw8IABA5iTkxPXZfyRxMRENnDgQAaAubi4sFevXnFdEvkDOTk57NatW2zevHmscePGTEVFRbwbRd++fdmOHTvoft5vBAYGsp49ezI+n89Kly7N5s6dWyLXKiwubGxsmLu7O9dlyAQFQAU2YcIEVqZMGYnfTCwSidi6deuYsrIya9y4MXv37p1Ej/9faWlpzMfHh9WsWVO8yv/WrVsVcnh4zJgxzNramusyikQkErGjR4+ycuXKMV1dXbZt2zaFDvHFjUAgYIGBgWz58uWsZcuWrFSpUgwA09fXZ126dGHr169nT548of+m3xAKhez8+fPM2dlZ3A3dsGGDQr5nyZt69eqxYcOGcV2GTFAAVGDPnj1jANjevXulcvw7d+4wIyMjZmRkxO7cuSOVc3xLJBKxq1evsvbt2zMej8cMDAzYtGnTFGrj8xkzZjBzc3Ouyyi0uLg41qlTJwaAde7cudDbExLuiEQiFhERwby9vVmnTp2Ynp4eA8BKlSrFWrVqxVasWMGCg4OZQCDgulS5k52dzXbs2CG+99HBwYEdPXqUvldypGHDhn+8WUJxQwFQwTVr1ozVr19fasd/9+4da9y4MVNWVmbr1q2TWRfgR8PDN27cKPFdiMWLF7MyZcpwXcZviUQitnXrVqarq8vKlSuncPsXFzdv3rxh27ZtY3369GHly5dnAJiKigpr0qQJmz9/Prt9+zbLycnhuky5lZSUxJYtW8aMjIzEe1bfunWrxL8fFUdNmzZlvXr14roMmaAAqOBOnjzJALDg4GCpnSM3N5dNnDiRAWB9+/aV6b6/aWlpbOPGjeKN4K2trdm2bdtYZmamzGqQpXXr1jF1dXWuy/illy9fsqZNmzIAbNCgQSwxMZHrksh/vHv3jh04cIANHTqUmZubi5dmsbe3Z9OmTWOXL1+m4cpCiIqKYh4eHkxLS4upqqqyIUOGsCdPnnBdFvmFVq1asS5dunBdhkxQAFRweXl5zNjYmA0dOlTq5zp48CArVaoUs7KyYi9fvpT6+b4lEonYlStXCgwPT58+vcQND+/YsYMBkMuZs3l5eczT05NpaGgwc3Nzie0gQ/5eUlISO3XqFBs7dqx4Jx4AzNLSko0dO5adOnWKff78mesyi41Hjx6xvn37MmVlZaanp8dmzpwp9XuhiWR06NBBokukyTMKgIQtXLiQaWhoyGTtrcePH7Nq1aoxXV1ddubMGamf70devXrFJk6cyHR0dJiSkhLr2rUru3nzZokYjjl69CgDIHfrqIWGhjJ7e3vG5/PZxIkTZdoFJt/LyMhgly9fZtOmTWP16tVjfD6fAWDm5uZs6NCh7MCBAxRYiij/Q2bz5s0ZAFapUiW2Zs0alpaWxnVppAi6devGWrRowXUZMkEBkLB3794xFRUVtnr1apmcLzk5WXzj/+zZszm7ATotLY1t2LBBPDxsY2PDtm/fXqyHhy9evMgAsOjoaK5LYYx92c1g1qxZTFlZmVlaWrJ79+5xXZJCysnJYbdv32bz589nTZo0ES/NUr58edanTx+2bds2ia4Jqkhyc3PZ3r17mY2NDQPA7Ozs2MGDB+WyC09+r0+fPszZ2ZnrMmSCAiBhjDHWq1cvVq1aNZltMyQUCtmSJUsYn89nLVu25HRDc6FQyC5fvszatWvHeDweK126NJs+fbrchKiiuHPnDgPAIiIiivzcHIGQpeXksbScPJYr+Pufgzt37rAaNWowFRUVNn/+fJokIEMCgYAFBwezFStWsFatWjFNTU0GgOnp6bFOnToxb29vFhERUSK63lxJSUlhXl5ezNjYmAFgrVu3ZtevX6fvaTE3cODAYruWalEVJa8pg5RYo0ePRpMmTeDr64tmzZpJ/Xx8Ph8zZsyAvb09evfuDXt7exw/fhx2dnZSP/ePamnRogVatGiBV69eYcOGDdi4cSM8PT3RuXNnjBs3Do0aNQKPx5N5bUWlra0NAEhPT//tYxljeJeRg5iULCRm5yJbICrw7xrKfJTWUIWpjgbKaaoV+vWnpaVh5syZ2LBhAxwdHfHw4UNYWloW/cWQQmOM4dmzZ/D19YWvry/8/PyQlJSEUqVKoXHjxpg7dy5cXFxQp04dKCkpcV1usRYfH4+1a9di8+bNyMzMRJ8+fTB58mTUrl2b69KIBKiqqiI3N5frMuQOjzHGfveg1NRU6OrqIiUlBTo6OrKoi0gAYwzW1taoVq0aTpw4IdNzR0VFoVu3bggPD4ePjw8GDRok0/P/SFpaGvbs2QNvb288f/4ctra2GDt2LHr37g0NDQ2uy/up169fo0qVKrh27RpcXV1/+BjGGGLTshH+MRXZQhF4+HLH/4/k/5uGMh/WhjqoqP3r137x4kWMGDECiYmJWLp0Kdzd3SlwSElUVBR8fX1x/fp1+Pr64t27d1BRUUH9+vXh4uICV1dXODo6QlVVletSS4SIiAh4eXlh//790NDQwIgRIzB+/HhUrFiR69KIBI0dOxa3bt1CaGgo16VIXVHyGl9GNREO8Hg8uLu74/Tp04iJiZHpuStVqoTbt2+jf//+GDx4MEaMGIGcnByZ1vBf2tracHd3x5MnT3D58mVUrFgRQ4YMgYmJCWbOnCnz71Fh/a4DmCMUISAuCYHvkpEt/NLx+9Wnuvx/yxKIcD8+GffikpArFH33uISEBPTv3x9t2rRBzZo1ERERgXHjxlH4k6CPHz/i0KFDGD58OKpUqQIzMzMMGTIEz549Q//+/XHp0iUkJSXh1q1b+Pfff9G4cWMKf3+JMQY/Pz+0adMGtWvXxrVr17B06VLExMRgxYoVFP5KIOoA/hgFwBKub9++0NTUxJYtW2R+bnV1dWzduhVbt27F7t270bhxY7kIWfnDw+fOncOLFy/Qr18/bNiwAebm5ujRowfu3LmDQjTGZUZLSwvAlw7mf2ULhLgZlYAPGX8ert+lZ+NWdCJy/j9czBjDwYMHUatWLZw/fx67du3CpUuXYGZm9sfnIF+kpKTgzJkzGD9+PKysrFCuXDn07t0b/v7+aNOmDU6cOIHExEQEBQVh+fLlaNmyJTQ1Nbkuu0QQCAQ4fPgw6tWrBxcXF8TGxmLPnj2IjIzEpEmTaHSrBFNTU+O8ASGPKACWcNra2nBzc8PWrVs5+wQ0dOhQ3LlzBx8+fICdnR2uX7/OSR0/Uq1aNaxZswaxsbFYu3YtQkND0bhxY9StWxc7d+5EdnY21yVCXV0dSkpK33UAhSKG2zGfkZEn/GXH73cYgLRcAe7EJiI6JhYdOnRAnz594OzsjKdPn2LAgAHF4l5JeZSZmYlr165hxowZcHR0hIGBATp27IjTp0/DwcEB+/fvR3x8PCIiIuDt7Y3OnTtDX1+f67JLlPT0dKxbtw7VqlVDr169oK+vj8uXLyM0NBT9+/enjqoCoA7gj1EAVACjRo3Chw8fcPLkSc5qsLe3R3BwMOrUqYMWLVpg+fLlctVlyx8efvr0KS5dugQjIyMMHjwYJiYmmDVrFmJjYzmrjcfjQVtb+7sOYERCGtJyBX8V/vIxACnZeZjrvRkhISE4deoUjhw5gnLlykng6IojLy8P/v7+WLhwIZydnaGvr4/mzZtj586dqFKlCjZv3ozXr1/j7du32L59O/r06QMjIyOuyy6R3r9/j9mzZ8PU1BQeHh5wcnJCSEgIrl69ihYtWtCHGgVCAfDHaBKIgmjatCmEQiFu3brFaR1CoRBz587FkiVL0LlzZ+zatUtuf6ZevnyJ9evXY+fOncjMzETXrl0xbtw4ODk5yfziYWJigkGDBmHBggUAgKTsXPhFJUr8PEwkgmMZDRiXNZD4sUsikUiE0NBQ8cSNW7duISMjA7q6unB2dhZP3KhVqxYFDhl59uwZVq5cib1790JFRQXDhg3DhAkTYGpqynVphCNeXl5YtGgRkpOTuS5F6mgSCPnO6NGjcfv2bYSHh3Nah5KSEhYvXoxTp07h+vXrqFevHp48ecJpTT9TrVo1rF27FnFxcVizZg0ePXqERo0aoW7duti1a5dMh4e1tbULDAG//JwBacQJPp+PDwJ6W/gZxhieP3+OjRs3olu3bihbtizs7OwwZ84cCAQCzJkzBw8ePEBiYiJOnTqFcePGwdLSksKflDHGcOfOHXTs2BE1a9bEuXPn8O+//yI6OhqrVq2i8KfgqAP4Y/ROryA6deqE8uXLw8fHh+tSAAAdO3ZEYGAgVFRU4ODggCNHjnBd0k9pa2tjzJgxePr0KS5evIjy5ctj0KBBMDExwezZsxEXFyf1GrS0tMRDwNkCIeLSsiUy9PtfDEBMatYPZwUrqujoaOzatQv9+/eHsbExatSogfHjx+PDhw8YM2YMbt68iaSkJFy5cgXTpk1DvXr1aKa0jAiFQhw/fhxOTk5o3LgxXr58ie3bt+Pt27eYPn063U9JAFAA/BkKgApCRUUFw4cPx969e5Gamsp1OQAACwsL3L9/H+3bt0fPnj0xadIkCAQCrsv6KT6fj1atWuHChQt4/vw5+vTpg3Xr1qFSpUro1asX/P39pXZf47cdwITMXKmEv3wiAAlZivtm+fHjRxw+fBgjRoxAtWrVUKlSJQwePBhPnjxB3759cfHiRSQlJeH27duYP38+mjRpAjU1Na7LVihZWVnw8fFBjRo10K1bN6ipqeHcuXN4/PgxBg8eTP89SAGqqqoQCoUQCoVclyJXKAAqkOHDhyMrKwt79+7luhQxTU1NHDhwAGvWrMG6devQrFkzfPjwgeuyfsvCwgJr165FbGwsVq9ejZCQEDRq1Aj29vbYvXu3xIeHv50EkpSdJ5Xh33w8AMnZeVI8g3xJTU3F2bNnMXHiRFhbW6NcuXLo1asXbt26hZYtW+L48eNISEhAcHAwVqxYgVatWomX5iGy9enTJ8yfPx+mpqYYM2YM7Ozs8ODBA9y4cQNt27YFn0+XNPK9/JneeXmK875WGPTbokAqVqyITp06YePGjXI1A5fH42H8+PHw9fXF8+fPYWdnh7t373JdVqHo6Ohg7NixePbsGS5cuABDQ0MMHDgQpqammDNnjsSGh78dApbUzN+fyV8WpqTKysrC9evXMWvWLNSvXx8GBgbo0KEDTpw4AXt7e+zduxdxcXF4+vQp1q9fjy5dusDAgCbFcOnVq1cYPXo0TE1NsWLFCvTq1QsvX74Ur+tHyK/kd4RpGLggCoAKZvTo0Xjy5Anns4F/pHHjxggJCYG5uTmcnZ2xYcMGuQqqv8Ln89G6dWtcvHgRz549Q69evbBmzRqYmZmhV69euHv37l+9lm+HgAUi6X9PhDI4h6zk5eUhICAAixYtgouLC/T19dGsWTNs3boVZmZm8PHxwatXr/D27Vvs2LED/fr1Q4UKFbgumwC4d+8eunXrBgsLCxw/fhyzZs1CdHQ0vL29UblyZa7LI8VEfgeQFoMuiAKggmnatClq1KiBDRs2cF3KDxkZGcHPzw+jRo3CmDFj4ObmhszMTK7LKpLq1atj3bp1iIuLw8qVKxEcHIyGDRuiXr162LNnzx+9CX3bAVSSwYRSfjGetSoSifDo0SOsWrUKbdu2hYGBAZycnODp6QltbW0sX74c4eHh+PDhAw4dOoRhw4ahSpUqNFNXTohEIpw5cwaNGzdGgwYNEB4ejk2bNuHt27eYPXs2SpcuzXWJpJjJD4DUASyIAqCC4fF4GD16NE6ePIn4+Hiuy/khFRUVrF27Fvv378eJEyfQoEEDREZGcl1Wkeno6GDcuHF4/vw5Lly4gLJly2LAgAHi4eGifP+/7QBqqSpL/R5ALdXiM4uVMYYXL17Ax8cH3bt3h6GhIerUqYNZs2YhNzcXs2bNwv3795GYmIjTp09j/PjxqF27NgU+OZOdnY1t27bB0tISHTt2hEgkwsmTJ/H06VMMHz4cGhoaXJdIiikKgD9GAVABubm5QVVVFdu2beO6lF/q06cP7t27h8zMTNStWxfnzp3juqQ/8t/h4R49emDNmjWoVKkSevfujYCAgN8OD3/bAdRTV5H6PYB66ipSPMPfi42Nxe7du8WBunr16hg3bhzi4+MxevRo+Pn5ITk5GVevXsX06dPh4OAAZWVlrssmP/D582csXrwYZmZmGD58OGrWrAl/f3/4+/ujU6dONLGD/DUKgD9Gv1kKSFdXF/369cPmzZvlflaUlZUVAgMD0aRJE7Rv3x7z5s0r1lP5q1evDm9vb8TGxsLLywtBQUFwcnKCg4MD9u7d+9Ph4fwOoEgkQtlS0t+7tLSGfO2P+unTJxw9ehQjR46EhYWFeGeU8PBw9OzZExcuXMDnz5/h7++PBQsWwNnZmZYCkXNv3rzB+PHjYWpqikWLFqFz58549uwZTpw4AScnJ67LIyUIBcAfowCooEaPHo34+HicOXOG61J+S09PD6dOncKiRYuwcOFCtGvXDp8/f+a6rL+iq6uL8ePH4/nz5zh//jxKly4NNzc3mJqaYu7cud8ND2trawMAMjMzUUpFGeVKqUllGJgHoIKWGjSUuR0CTk1Nxblz5+Dh4QFbW1sYGhqiR48euHHjBpo1a4Zjx47h06dPCAkJgZeXF1q3bi3+HhH5FhwcjF69eqFq1arYv38/Jk2ahKioKPj4+MDCwoLr8kgJRAHwx2gvYAXWqFEjqKmp4fr161yXUmhXrlxB7969oaOjgxMnTqBOnTpclyQxz549w/r167Fr1y7k5OSge/fuGDduHBwdHXH+/Hm0b98e8fHxMDIywoeMHPjHSicENzEpjTIy6DJ+Kzs7G3fv3hXvqRsYGAihUAgTExO4urrCxcUFLi4uqFixokzrIpLBGMOlS5fg6ekJPz8/VK5cGR4eHhg0aBBKlSrFdXmkhIuIiEDt2rVx9+5dNGjQgOtypIr2AiaFMnr0aPj6+uLp06dcl1JoLVq0QHBwMEqXLg0nJyfs3r2b65IkpkaNGli/fj3i4uLg6emJBw8eoEGDBnB0dERAQAAAiCeClNNUg7G2ukS7gDwAlXQ0ZBL+BAIB7t27h8WLF8PV1RV6enpwdXXF5s2bYWpqio0bN+Lly5eIiorCzp070b9/fwp/xVBubi527doFKysrtGnTBhkZGTh69ChevHgBd3d3Cn9EJmgdwB+jAKjAunbtirJly8rN/sCFZWZmhjt37qBPnz4YOHAgRo8eXaLWd9LV1cWECRPw4sULnDt3Dvr6+liyZAkAwNPTE+/evQMA2JTThaoSXyIhkAdAXZkPa0PpdPhFIhHCwsKwevVqtG/fHgYGBmjQoAGWL18OTU1NLFu2DKGhofjw4QMOHz6M4cOHo2rVqjRTt5hKSUnBihUrYG5ujkGDBsHc3Bw3b94Ur+tHeyUTWaIh4B+jIWAFN3PmTGzYsAFxcXHFcnurrVu3YsyYMahTpw6OHTsGY2NjrkuSiosXL6JNmzbQ0NBAXl4eevTogXHjxqGmrR1uRSciT8T+eGYwD4CqEh//mJaGlqpkZsoyxvDq1SvxkK6fnx8SEhKgrq6Ohg0bwsXFBa6urqhbty7Nzi1BYmJisGbNGmzduhU5OTno378/PDw8UKtWLa5LIwrs/fv3MDIywtmzZ9GuXTuuy5EqGgImhTZixAikp6fjwIEDXJfyR4YNG4Y7d+4gPj4ednZ28PPz47okqbC1tQUA7Ny5E56enrh37x7q16+PZo0bIuWRP7RU/ryjoqOmDOdKfx/+4uLisGfPHgwcOBCVKlWChYUF3N3dERsbi5EjR8LX1xdJSUm4du0aZs6cCUdHRwp/JURoaCj69++PypUrY8eOHRgzZgzevn2Lbdu2UfgjnKMO4I9RAFRwlSpVQrt27YrVtmv/Va9ePQQHB8Pa2hrNmjWDp6dnsX0tP5PfnWWMiYeHz549Cz09PfTr0Q0DGtvhfXhQkYaD+TzAsow2mlYqA02VogexhIQEHDt2DKNHj0b16tVhbGyMAQMGIDQ0FN27d8e5c+eQlJSEu3fvYuHChWjatCnU1dWLfB4inxhjuHr1Klq0aAFbW1vcvn0bXl5eiImJwZIlS2BkZMR1iYQAoAD4M/Txm2D06NFo1aoV7t69i4YNG3Jdzh8pW7YsLl++jDlz5mDq1Km4f/8+du7cWWKWBtHU1ATwdRKIkpIS2rVrh3bt2uHp06dYv349pg7sDRV1DYyftwh2rq0gVFL9bliYhy8dPzPdUjDV0YCKUuE/A6alpeH27du4fv06fH198ejRIwCAhYUFXFxcsHjxYjg7O6NMmTISeMVEXuXl5eHIkSPw8vLCo0ePUKdOHRw4cADdu3enji6RSxQAf4IVQkpKCgPAUlJSCvNwUswIhUJWtWpV1qdPH65LkYgTJ04wbW1tVqNGDfbkyROuy5EYTU1NtmrVqp/+e1JSElu1ahWrXLkyA8DqOzmxVp27sQdPXrD36dnsc1YuEwhFhT5fVlYW8/X1ZbNnz2ZOTk5MWVmZAWAVK1Zkbm5ubPfu3Sw6OloSL40UA6mpqWzlypXMxMSEAWCtWrVi165dYyJR4X+mCOGCSCRiANjWrVu5LkXqipLXaAiYgM/nY9SoUTh69Cg+fvzIdTl/rXPnzggKCgKfz4eDgwOOHTvGdUkS8e1+wD+ip6eHiRMn4sWLFzhz5gziY2Nx6eQxNLGzxiavZchJToQS/+eDxAKBAPfv38fSpUvRrFkz6Ovrw8XFBT4+PqhYsSK8vb3x4sULxMTEYPfu3XBzc4OJiYk0XiqRI/Hx8Zg+fTpMTEwwbdo0NG3aFGFhYbh48SJcXV1ppjaRezweDyoqKtQB/A8KgAQAMHDgQCgpKWHbtm3IyBMgNi0Ljz+lIuR9Ch6+T0HEpzTEpWUjM694bMNmYWGB+/fvo23btujevTumTp0KgUDAdVl/RVtbW7wf8K8oKSmhRo0aBXYTWbFiBUxNTdGvXz88ePAAwJelWcLDw7FmzRp06NABpUuXRv369bFkyRKoq6tjyZIlePToET5+/IgjR45g5MiRqFatGl3wFURERAQGDx4MMzMzbNy4EcOGDcObN2+we/duWFlZcV0eIUWiqqpKAfA/6IYNAgDQ09fH5IXLoFG1Fi6//gQA300oyL+frIyGKqrol0IFLXW5DgNaWlo4ePAg6tevj8mTJyMwMBCHDx+GoaEh16X9ES0trUIFQMYYhg4dCpFIBODLLhvHjh3D27dvsXbtWuzfvx8GBgbIy8tDWloa1NTU4OTkhKlTp8LFxQX29vZQUVGR9sshcogxhps3b8LT0xMXLlxAxYoVsWTJEgwbNgy6urpcl0fIH1NTU6MA+B8UAAmSs/MQ9C4Zddr3APt/aADw03XlErNykZCVC311FdQz0pPY2nHSwOPxMGHCBNjZ2aFHjx6ws7PDsWPHUL9+fa5LK7LfDQHn2717N27duiX+O5/Px+TJkyESiRATEwM+nw+hUIi0tDQYGBhg9OjRGDNmDMqVKyfN8okcEwgEOH78OLy8vBAUFAQrKyvs2bMHPXv2FN9AT0hxRh3A79EQsIJ7k5wJv6gEpOV+GR7l8X//I5EfDJOz83Dt7SfEpWVJsULJaNKkCUJCQlCpUiU0adIEPj4+xW6pmMJ0AJ8/fw53d/cCXxOJRHj79i3atm2Ls2fPIikpCcnJyXj8+DF69OiBVatWwcTEBP3790dgYKA0XwKRMxkZGfD29oaFhQV69eoFXV1dXLp0SbyuH4U/UlKoqqqWqB2jJIECoAJ7nZyBhx9SwPDzbt+vMAAiBtyPTy4WIbBChQrw8/PDiBEjMHr0aAwaNAhZWfJfd74fdQDT09Nx8eJFTJkyBXZ2dqhRowYyMzMLPCZ/mL5evXpo166deHV4S0tL+Pj4IDY2FkuXLsWdO3fg4OCABg0a4ODBg/RpuQT78OED5syZA1NTU0ycOBH169dHcHAwrl27hpYtW8r1rR2E/AnqAH6PAqCCSszKxaMPqRI73oP4ZKTm5EnseNKiqqoKb29v7N27F0eOHIGTkxNev37NdVmFoqWlhdTUVNy8eRNz585Fo0aNoK+vjzZt2uDAgQOoXbs2du3ahSdPnuD58+eoU6cOHB0dsWLFCkyZMgVOTk4/PK6+vj4mTZqEV69e4dSpU9DU1ESfPn1gZmaGhQsX4sOHDzJ+pURanj9/juHDh6NSpUpYvXo13NzcEBkZiQMHDsDOzo7r8giRGgqA36O9gBWQUMRw7e0nZOYJ/3j/2P/iAdBVU4ZzpTLgF5PuQWhoKLp06YKkpCTs378frVu35rqk7wiFQgQHB8PX1xc+Pj6IiYkBYwylS5dG06ZN4eLiAhcXF1hYWHzXtalZsyZatWqF1atXF/m8jx8/xvr167Fnzx4IhUL07NkT48aNg729vaReGpERxhj8/f3h5eWFM2fOoFy5chg3bhxGjhwJfX19rssjRCbq1KkDJycnbNiwgetSpIr2Aia/9Do5AxkSDH/Al+Hg5BwBYlOLz5CqjY0NgoKC0LBhQ7Rt2xbz588Xz5zlCmMMjx8/xrp169CxY0eULl0ajo6OWLx4MVRVVaGrq4uHDx/i48ePOHr0KEaNGoXq1av/cMguPj4eFSpU+KM6ateujU2bNiE2NhaLFy/GrVu3UK9ePTg5OeHQoUPIy5P/bq+iEwqFOHHiBJycnNC4cWO8ePEC27Ztw9u3bzFjxgwKf0ShUAfwexQAFQxjDJFJmb9/4B96JcVjS4O+vj5Onz6N+fPnY/78+Wjfvj2SkpJkdn7GGF6/fo2tW7eid+/eKF++PKysrDBlyhSkpqZi8uTJ8Pf3x+fPnzFs2DAAgK2tLfi/mayTnp6O1NTUPw6A+QwMDDB58mRERkbi1KlT0NDQQO/evWl4WI5lZWVh06ZNqFGjBrp27Qo1NTWcPXsWjx8/xuDBg6GmpsZ1iYTIHAXA78nv+h1EKhKz8pApkN5izsk5eUjLEUBbrfj8aPH5fMyZMwf16tVDnz59YG9vj+PHj8PW1lYq53v37h18fX3h6+uL69evIyoqCnw+H/Xq1cOQIUPg4uKChg0bQkNDo8Dz8ieBMMZ+e5P+u3fvAOCvA2A+JSUldOzYER07dsTjx4/h7e2NpUuXYtGiRejVqxfGjRuHunXrSuRc5M8kJCRgw4YNWL9+PT5//oyuXbti//79cHBw4Lo0QjhH6wB+jzqACuZztvR/AWRxDmlo1aoVgoODoauriwYNGmDv3r0SOe7nz59x8uRJjBkzBrVq1UKFChXQr18/BAYGolOnTjhz5gw+f/6Me/fuYcmSJWjWrNl34Q/4MglEIBAUaikDSQfAb9WuXRubN29GbGwsFi1ahJs3b8Le3h4NGzak4WEOREZGwt3dHaampli+fDl69uyJFy9e4MiRIxT+CPk/6gB+jwKggknOzvtuhw9J4v3/HMWVubk5/P390atXL7i5ucHd3b3IbxoZGRm4dOkSpk6dCnt7e5QpUwZdunTBpUuX0KhRIxw6dAjv379HWFgY1qxZg/bt2xdqlwVtbW0AKNRi0PnbwEkjAOYzMDDAlClTEBkZiZMnT0JNTU08PLxo0aISsa+0PLt//z66deuGatWq4ejRo5gxYwaio6Oxfv16VKlShevyCJErtA7g94rPOB2RiCyBZCd//BcDkC3kdiLF39LQ0MCOHTtQv359jB07FiEhITh27BgqVqz4w8fn5OTg/v374iHd+/fvIy8vD0ZGRnB1dYW7uztcXFxQqVKlv6orPwCmpaWhTJkyv3xsfHw8tLS0xM+RJiUlJXTq1AmdOnVCeHg4vL29sWTJEixcuBC9e/fG2LFjaXhYQkQiEc6fPw9PT0/cvn0b1apVg4+PD9zc3H7YNSaEfKGqqvrdGqmKjjqARPKK1wYbP8Tj8TBixAjcvn0bsbGxsLOzw40bNwB8mV0ZFBSE5cuXo2XLltDX18c///yDdevWwdDQEGvWrMHTp08RFxeHvXv3YtCgQX8d/oAvQ8AACrUf8N/MAP4bVlZW2LJlC2JiYrBw4UL4+fmJh4cPHz5Mw8N/KDs7G9u2bYOlpSU6dOgAoVCIkydP4tmzZxgxYgSFP0J+g4aAv0cBUMGoFmKrt7/BA6CiVDzWASwMR0dHBAUFwczMDC4uLrCyskKZMmVQr149LFy4EHw+HwsWLEBwcDASEhJw/PhxjB49GjVq1JD4bgpFHQLmIgDmK126NKZOnYrIyEicOHECqqqq6NWrF8zMzLB48WJ8+vSJs9qKk6SkJCxZsgRmZmYYPnw4atSoAX9/f/j7+6NTp06/nQ1OCPmCAuD3aAhYweiqq+B9Ro7UmnQMgK6aipSOLjtv3rwRD+n6+vriw4cPUFJSwuPHj2FpaYkjR47gn3/+keleqcWhA/hfysrK6Ny5Mzp37oywsDB4e3tj0aJFBYaHaQeK7719+xarV6/G9u3bIRAIMHDgQHh4eMDCwoLr0ggpligAfo8+PioYfXUVqY/Q6qsXvwD4/v17HDhwAEOHDkXlypVRuXJlDB8+HK9evcKgQYNw5coVpKam4tixY4iKisL48eNlvoVcceoA/oi1tTW2bt2K2NhYLFiwAL6+vqhbty4aNWqEI0eO0PAwgJCQEPTu3RtVq1bFvn374OHhgejoaGzatInCHyF/gQLg9ygAKhjDUmpQ5ktviFZDmV8sAmBycjJOnTqFcePGwdLSEkZGRujbty/u3buH9u3b49SpU0hMTMSDBw+wdOlSNG/eHKVKlULXrl0RGBgIAHBwcMCJEydkVnNhO4CMMbkMgPm+HR4+fvw4lJWV0bNnT5ibm2PJkiUKNzzMGMPFixfh6uqKunXr4v79+1izZg2io6OxYMECGBoacl0iIcUerQP4PQqACkaJz4O5bimpLQVTRV9T4ve+SUJGRgauXLmCadOmoV69eihdujQ6d+6M8+fPw8nJCQcPHsT79+/x+PFjrF27Fh07doSent4Pj1WjRg3cv38frVq1QteuXTFt2jQIBAKpvwYVFRWoqan9NgCmpaUhIyNDbgNgPmVlZXTp0gU3btxAaGgoWrdujYULF8LExASDBw/Gw4cPuS5RqnJzc7F7925YW1ujTZs2SEtLw5EjR/Dy5UuMGTMGmpqaXJdISIlBHcDv0T2ACqiqgSbeJGdCwCQ7GKymxIe5bimJHvNP5ebmipdm8fX1RUBAAPLy8lC+fHm4urpi1KhRcHFxgZmZ2R8dX1tbG4cPH4ajoyOmTZuGoKAgHDx4UOrdmvzdQH5FFmsASlr+8PCyZcuwbds2bNiwATt37kSjRo0wbtw4dOrUCSoq8t9ZLoyUlBRs3rwZa9euRXx8PNq1a4cNGzagcePGcvnhiZCSgALg96gDqIA0lJVgW05H4seta6QLFSVufqSEQiGCg4Ph6emJVq1aQV9fH02aNMGaNWtQunRprFq1Ck+ePEF8fDz27duHwYMH/3H4y8fj8TBp0iRcu3YNjx8/Fg/fSZOWltZvO4DFMQDmK126NKZNm4bXr1/j2LFj4PP56NGjBypXroylS5ciISGB6xL/WExMDCZPngwTExPMmTMHrVq1QkREBM6ePYsmTZpQ+CNEimgh6O9RAFRQJjoaqKQjubXDLAw0UV5TXWLH+x3GGJ4+fYr169ejS5cuKFu2LOzt7fHvv/8CAP79918EBQUhISEBJ06cwJgxY1CzZk2pXGSdnZ0RHBwMY2NjNGnSBJs3bwaTcHc1X1E6gEZGRlKpQRaUlZXRtWtX3Lx5E48ePULLli2xYMECGBsbY/DgwXj06BHXJRZaWFgY3NzcULlyZWzbtg3u7u54+/Yttm/fjlq1anFdHiEKgTqA36MAqKB4PB7syutKJARW09eEZRnp7zjx9u1b7NixA/369UPFihVRq1YteHh4IDExEePHj8etW7eQlJSES5cuYcqUKahbty6UlJSkXhcAGBsb4+bNmxg2bBhGjhyJwYMHIysrS+LnKWwHUFdXt8TcQ2ZjY4Nt27YhJiYG//77L65evYo6deqgSZMmOHbsmEzuvywqxhiuXbuGli1bwsbGBjdv3oSnpydiYmKwdOnSYh3OCSmOKAB+j+4BVGD5IbB0KVWEfkiFiLFCLxHDA6DM56FOeV0Ya0tnF4IPHz7Az89PvBbf69evwePxULduXfTv3x+urq5o2LCh3AQdVVVVrF+/Hg4ODhgxYgRCQ0Nx/PhxmJubS+wc2trahQqAxXH493fKlCmD6dOnY/LkyTh16hS8vb3RvXt3GBsbw93dHUOHDv3tFnnSlpeXh6NHj8LT0xOPHj2Cra0t9u/fj+7du5eYexgJKY4oAH6POoAKjsfjwUy3FJqbl4W5Xinkb+Lxo4HS/K8p83moqq+J5uZlJRr+kpOTcfr0aYwfPx5WVlYoX748evfujbt376Jt27Y4efIkEhMTERgYiOXLl6NFixZyE/6+5ebmhoCAAKSkpKBu3bq4dOmSxI5d2CHgkhgA8ykrK6Nbt264efMmHj58iBYtWuDff/+FiYkJhgwZwsnwcFpaGlavXo2qVauib9++KFeuHK5du4aQkBD06dOHwh8hHFNVVYVIJIJQKOS6FLlBHUACACilogTbcrqwLKuN9+k5SMrOQ1J2LnIEIvB4gJqSEvTVVWCgoYLymupQksBagpmZmfD39xfvuBEcHAyRSAQzMzO4urpixowZcHFxQfny5SXwCmXL1tYWQUFB6NevH9q0aYP58+dj1qxZf711l5aWFt69e/fLx8THx6Ny5cp/dZ7iwtbWFtu3b8fy5cuxdetWbNy4ETt27ECTJk0wbtw4dOzYEcrK0nubi4+Px7p167Bp0yZkZGSgT58+mDRpEqytraV2TkJI0ampqQH4skIE7Z39BQVAUoAKnw8THQ2Y6GggOzsbZcuWxYABA7B+/fq/PnZeXh4ePHggHtINCAhAbm4uypUrBxcXF4wYMQIuLi4SHTLlkr6+Ps6ePYuFCxdi3rx5ePDgAfbu3fvT9QULozAdwHfv3qFRo0Z/fI7iqEyZMpgxY0aB4eFu3brBxMQEo0ePlvjw8JMnT+Dl5YV9+/ZBXV0dI0aMwPjx42FsbCyxcxBCJCd/204KgF/REDD5qc2bNyM9PR27du1CdnZ2kZ8vEokQEhICLy8vtGnTBvr6+mjUqBFWrVoFPT09eHl54fHjx3j37h0OHDiAIUOGlJjwl4/P52PevHk4d+4c7ty5A3t7e4SFhf3x8X43CUTedwGRNhUVFXTv3h23bt1CSEgImjVrJh4eHjp0KEJDQ//42Iwx3Lx5E+3atYOlpSWuXLmCxYsXIyYmBp6enhT+CJFj3wZA8gUFQPJDGRkZWLBggfj/79y587fPYYzh2bNn2LhxI7p27YqyZcuibt26mDt3LoRCIebMmYPAwEAkJibi1KlTGDt2LCwtLRVi/bM2bdogODgY2traqF+/Pvbv3/9Hx/ldBzA5ORnZ2dkKGwC/VadOHezYsQMxMTGYM2cOLl26BFtbWzg7O+P48eOFnj0sEAhw5MgRODo6wtnZGVFRUdi9ezdev36NKVOmQFdXV8qvhBDytygAfo8CIPkhb29vJCUlif++ePFi5OXlffe46Oho7Ny5E/3794exsTFq1qyJ8ePH4+PHjxg7dixu3ryJpKQkXL58GdOmTYO9vb3MlmaRN5UrV4a/vz+6d++Ofv36Ydy4cUV+M/rdLODivAi0tJQtWxYzZ87EmzdvcOTIEQiFQnTr1g2VK1fG8uXLkZiY+MPnZWRkYP369bCwsEDPnj2hra2Nixcvitf1y7+gEELkX/7vKy0G/Q1WCCkpKQwAS0lJKczDSTGXnJzMdHR0GIACf3bu3Mk+fPjADh06xIYPH86qVKnCADAej8fs7OzYlClT2MWLF1laWhrXL0GuiUQitnHjRqaiosKcnJxYXFxcoZ+7Y8cOBoDl5eX98N+vXLnCALA3b95IqNqSKTg4mA0cOJCpqqoydXV1NnToUBYaGsoYY+z9+/ds9uzZzMDAgCkpKbHevXuz4OBgjismhPyN27dvMwDs6dOnXJciVUXJazQJhHxn9erVSE1N/e7rw4cPF3cBa9asiVatWsHV1RX//PMPDAwMZF1mscXj8TBq1CjUqVMH3bp1g52dHY4cOYImTZr89rna2l8W3E5PT//hZJL8DmBxnDktS3Z2dti5c6d49rCPjw+2bdsGIyMjfPr0Caqqqhg2bBgmTJjw11sGEkK4R0PA36MhYFJAVlYWnj17BnV19e+GapWUlLB161bExcXhyZMnWL9+PTp37kzh7w/Vr18fISEhqFmzJlxcXLB69erfbiGnpaUFAD8dBo6Pj4eBgQHU1WW3LV9xZmhoCGdnZ9jZ2QEAEhISIBAIYGBggAoVKkBHR/J7ZhNCZI8C4PcoACq4vLw83L17F4sWLULTpk2hp6eHw4cPQ0dHB127dgUAeHl5QSQSISsrC0OHDqX7yyTI0NAQV69ehYeHBzw8PNC7d+9fTvL4tgP4I4o8A7gohEIhTp48CScnJzRq1AgvX77Etm3bkJaWhqCgILi6umLOnDkwNjbG8OHDER4eznXJhJC/8O06gOQLCoAKRiQS4dGjR1i5ciXatm0LAwMDNGzYEJ6entDR0YGnpyfCw8Px/v178cxfIyMjhZipyxVlZWWsWLECR48exfnz51G/fn28ePHih4/ND4C/6gBSAPy5rKwsbNq0CTVr1kSXLl2goqKCM2fOICIiAkOGDIGamhrq1q2LXbt2ISYmBjNnzsT58+dhbW2Npk2b4uTJk7STACHFEHUAv0cBsIRjjOH58+fw8fFB9+7dYWhoiDp16mDOnDnIy8vDrFmzcP/+fSQmJuL06dMYN24cateuDR6PJ14mQ5o7KZCvunXrhgcPHkAoFMLe3h6nTp367jGFGQI2MjKSZpnFUkJCAhYsWIBKlSrB3d0dNjY2uHfvHm7evIn27dv/cIcWQ0NDzJ49G2/fvsWhQ4eQm5uLLl26oEqVKvD09MTnz585eCWEkD9BAfB7FABLoJiYGOzevRtubm4wMTFBjRo1MG7cOLx79w6jR4/GjRs3kJSUhCtXrmD69OlwcHD4YcjL73RQAJSdmjVr4sGDB2jRogU6d+6MGTNmFOg4FWYIuGLFijKptTiIjIyEu7s7TE1NsWzZMvTo0QMvXrzA0aNH4ejoWKhjqKiooGfPnvD390dQUBCcnZ0xe/ZsGBsbY8SIEXj8+LGUXwUh5G9RAPweXdlLgE+fPsHPz0+8p+6rV6/A4/Fga2uL3r17w8XFBY0bNxZ3jworvwOoqOv2cUVbWxtHjx6Fl5cXpk+fjqCgIBw4cABly5b9ZQdQJBLh3bt3NAQM4MGDB/D09MSJEydQunRpTJ8+HaNHj/7r7eDyh4dXrFiBLVu2YOPGjdiyZQuaNm2KcePGoX379vT7QogcogD4PYXsADLGkJknQEpOHlJz8pArFHFdUpGkpqbi3Llz8PDwgI2NDQwNDdGzZ0/cvHkTLVq0wLFjx/Dp0yeEhITA09MTrVu3LnL4A6gDyCUej4cpU6bg6tWrCA0NRd26dREYGCienf2jDmBiYiLy8vIUNgCKRCKcPXsW//zzDxwdHREaGoqNGzciKioKc+fOlehewN8ODx88eBDZ2dno3LkzqlatCi8vrwKLqBNCuEcLQX9PYa7seSIRYlKyEJuWjeTsPAj+s9yGhjIfZTRUYaZXCmU0VOVq0kNWVhYCAgJw/fp1+Pr6IjAwEEKhECYmJnB1dcWUKVPQtGlTiQ/9UQeQey4uLggODka3bt3QqFEjrF+//qf7ASvqLiA5OTnYt28fVq5ciadPn6JBgwY4ceIEOnToIPWfXVVVVfTq1Qu9evVCUFAQvL29MWvWLMydOxf9+/fH2LFjUbt2banWQAj5PeoAfq/EB0ARY3iWmI6Xn9Mh/MUSa1kCEWLTshGTlg0tVSXUKaeLsqXUZFfoNwQCAQIDA+Hr6wtfX1/4+/sjJycHZcuWhYuLCwYNGgQXFxdUqVJFqkGVJoHIBxMTE9y6dQsTJkzA8OHDoamp+cMOk6IFwKSkJGzatAnr1q3Dhw8f0KFDB2zduhUNGzbkpB57e3vs3r1bPDzs4+ODLVu2wMXFBePGjUO7du3owxQhHMm/jlEA/KpEDwGn5OTh+ttPeJb46/CXL/8h6blC3I75jEcfUiD6zcK8kiASiRAaGorVq1ejXbt2MDAwgJOTE1asWAFNTU0sW7YMYWFheP/+PQ4dOoThw4ejatWqUu9S0hCw/FBTU4OPjw927tyJzMxMbN++HW/fvi3wGEXZBSQqKgoTJkyAiYkJ5s+fjw4dOuDp06c4deoUZ+HvW+XKlcOcOXPw9u1bHDhwAJmZmejUqRMNDxPCIR6PBzU1NQqA3yixAfBzVi5uRiUiPffP1+x6nZyJu7GfIRRJNgQyxvDy5Uts2rQJPXr0QLly5WBra4uZM2ciOzsbM2bMwL1795CYmIgzZ85gwoQJsLKy+uFSFdJEQ8DyZ+DAgahVqxYyMzNRt25dXLlyRfxv7969g6GhIVRUVDisUHpCQkLQu3dvVKlSBXv37sXEiRMRFRWFzZs3o3r16lyX9x1VVVX07t0bAQEBePDgARo3boyZM2fC2NgYI0eOREREBNclEqJQVFVVKQB+o0QGwIxcAe7EfoaAMfxtdPuYmYug98k/3aIrOTkZs2bNwocPH355nNjYWOzZswcDBw6EqakpLCwsMGbMGMTFxWHkyJHw9fVFUlISrl27hhkzZsDR0ZHzzht1AOVTuXLl0KJFCzg4OKBVq1ZYvHgxRCJRiVwEmjGGS5cuwdXVFXXr1sX9+/exZs0aREdHY+HChShXrhzXJRZKvXr1sGfPHkRHR2PatGk4ffo0ateujWbNmuHMmTO0uDQhMkABsKASd2VnjCHofbJEu3ZxadmI1cqGiY5Gga9HRUWhRYsWePHiBXR1dTF16lTxvyUkJODGjRviiRv5OzvY2tqiR48ecHV1RePGjcXruskj6gDKJy0tLeTk5ODcuXNYsGABZs+ejQcPHkAgEJSYAJibm4tDhw7By8sL4eHhsLe3x+HDh9GlS5di/YGkfPnymDt3LqZPn45jx47B29sbHTt2hLm5Odzd3TF48GDo6+tzXSYhJRIFwIKK7zvpT7xNyUJiVp7Ej/vwQwrKaapBVelL0zQ4OBitWrVCUlISeDweLl68CEtLS/HEjUePHgEALCws4OrqisWLF8PZ2VmiS1FIG00CkU/a2tqIjY2FkpIS5s+fj3r16qF///7IyspC27ZtuS7vr6SkpGDLli1Yu3Yt4uLi0LZtW3h7e6NJkyZyNTP/b6mqqqJPnz7o06cPHjx4AG9vb8yYMQNz586Fm5sbxo4di1q1aknl3AKRCEnZeUjOzkNGnhAiBijzedBWVYa+ugp01ZRL1PeakHwUAAsqUVd2xhhefP7xDgl/SyBiiErJRDUDLZw/fx7dunVDbm4uRKIvawjeuHEDN27cgLGxMVxdXTFx4kS4uLjA2NhYKvXIAg0Byydtbe0Cy8C0a9cOQUFBqFmzJs6cOYODBw+id+/eHFZYdLGxsVi7di02b96M7Oxs9OvXD5MmTYKlpSXXpUmdg4MD9u7dC09PT2zevBk+Pj7YtGkTmjVrhnHjxqFNmzYS6cKn5OQhMikT0amZyB8g+Tbm5Y+ZqCvxUVm/FMx0S0Fdmbr/pOSgAFhQiboHMCErFxl50ruXJjI5EzNmzEC7du2QnZ0tDn/59u/fj+joaOzatQtubm7FOvwBNAQsr360DqCZmRlEIhHs7OzQp08fjB8/Hnl5ku+ES1pYWBjc3Nxgbm6OrVu3wt3dHW/fvsWOHTsUIvx9q3z58pg3bx6io6Oxb98+pKWloUOHDqhWrRpWrVqF5OTkPzquQMQQ9jEV198mICrla/gDvoS+/D/5soUiPElIx5XXnxCdkvnT+58JKW5UVVVpIehvlKgA+CEjB9IcuMjMEyLm/ccCs3G/7Y69ePGiRA2dUAdQPmlra3+3E8inT58gFAoxa9YsrF+/Hhs3bkTTpk3x7t07jqr8OcYYrl27hlatWsHGxgY3btzAihUrEBMTg6VLl5aY+xj/lKqqKvr27Yt79+7h3r17cHJywvTp01GxYkWMHj0aT548KfSxMvMEuP72E14lZQBAkSbFCRhD0PsUPHiXLJPlsAiRNuoAFlSiAmBSVt5fz/r9neXr1iM3NxePHz/G9u3bMWTIEFhaWoLP5yMuLk7KZ5ct6gDKpx91APPXAKxYsSLc3d1x8+ZNvHnzBnZ2drh9+zYXZX4nLy8PBw4cQN26ddG8eXN8+PAB+/fvR2RkJCZOnCjXE6K44ujoiH379iEqKgpTpkzBiRMnYGlpiebNm+Ps2bO/nD2cmSfEjahEZP7lqEhcWjbuxSVRCCTFHgXAgkpUAEzNFUj1+DwAabkCKCkpwdLSEoMHD8amTZvw+PFjpKenY/PmzVI9v6zRJBD5pK2tjYyMjAK3IPx3FxAnJycEBwfDwsICLi4uWLt2LWdDeWlpaVizZg2qVq2Kvn37omzZsrh69SpCQkLQp0+fErtuoSQZGRnh33//RVRUFPbt24eUlBR06NABFhYWWL169XfDwyLGEBD3GTlCkUQ+FL/PyMGThO+3HySkOKGFoAsqUQFQFp9QhaIff11DQ0PmCzVLGw0ByydtbW0wxpCZmSn+Wnx8PPh8PgwNDcVfK1++PK5du4bx48djwoQJ6Nu3LzIyMmRW57t37zBjxgyYmppiypQp+Oeff/Do0SNcvnwZzZo1K1G3S8iKmpoa+vbtiwcPHuDevXuoX78+pk2bBmNjY7i7u+Pp06cAgJefM5CSI5DoiMiLzxn4nEUXT1J8UQewoBKVWPgyuKDwFeiaRUPA8klLSwsACgwDx8fHo3z58t/9t1JRUYGXlxcOHz6MM2fOoH79+nj58qVU63vy5AmGDBkCMzMzbNiwAUOGDMHr16+xZ88e2NjYSPXcisTR0RH79+9HVFQUJk+ejGPHjqFWrVro0LkLIj6lSPx8PABhH1MlflxCZIUCYEElKgBqqUo3qDAAS/6diyFDhmDdunW4desWUlIk/0YrL2gIWD7l3yv37USQ3+0C0qNHDzx48AC5ubmwt7fH6dOnJVoTYww3b95Eu3btYGlpiUuXLmHhwoWIiYmBl5cXTExMJHo+8lX+8HB0dDT27t0LUxt7SHj3SgBf3v8+Z+chJUf+Z5cT8iM0C7igEnVlN1BXxWcpTwTRV1fB3Xuh2L9/v/gHydzcHDY2NrC1tRX/MTU1LfZDXPlDwNQBlC8/6wAaGRn98nm1atVCYGAgBg4ciE6dOmHmzJlYsGDBX/33FQgEOHnyJDw9PREYGIjatWtj165d6N27N1RVVf/4uKTo1NTU0K9fP5R9/VFqy2HxAESlZMHakO7bJMWPqqqqTG+DkXclKgCWLaWKl0nS+4+rrsTHWs/l4PF4yMvLw/PnzxEaGopHjx7h0aNHWL9+PRISEgAAenp6BUKhjY0NatWqBTU1NanVJ2nUAZRPP+sAOjg4/Pa5Ojo6OH78OFasWIGZM2ciMDAQBw4cKPIONRkZGdi5cydWrVqFN2/ewMXFBRcuXECrVq2K/Qef4ixPKJLqWqgMQCLdB0iKKeoAFlSiruzlNNWgocxHluAnMzX+UhV9TfHFTUVFBbVr10bt2rXRt29fAF+Gwd69eycOhKGhobh48SLWrVsHxhiUlZVRq1YtcSDM/9/SpUtLpd6/RZNA5NPPOoCFXT+Px+Nh2rRpsLe3R69evWBvb4/jx4+jbt26v33ux48fsX79emzYsAEpKSno3r07jh49WqjnEulLlsHwbEpOHhhjFPRJsUP3ABZUoq7sPB4P1Qy0pHKjshIPqKSr8dvzV6hQARUqVECbNm3EX09PT0d4eHiBbuHRo0eRlZUFADAxMfmuW1i5cmXOZxXTJBD5lN8BzA+AAoEAHz9+LPICyq6urggODka3bt3QsGFD8YSNH3nx4gVWrVqF3bt3Q0lJCUOGDMHEiRNhZmb2V6+FSFa2lD78fkvEgDwRg6oSBUBSvFAALKhEBUAAqKxXClEpmUiV8BIIVoY6f7wvppaWFho0aIAGDRqIvyYUCvHq1StxIHz06BG2b98u3rlBS0urQJfQ1tYWtWvXhobGr0OoJNEQsHzS1NQE8HUI+MOHD2CM/dEOGqamprh9+zbGjx+PoUOH4v79+1i3bh3U1dUBAHfv3oWnpydOnz4NQ0NDzJkzByNHjoSBgYHkXhApEm9vb+zatQvt2rVD27ZtYW9vz/mHRUKKA1oHsKASd2Xn83ioZ6QH36gESGJZQB6+3Ftorlvq7w/2DSUlJVSvXh3Vq1dHz549xV//8OEDQkNDxd1CPz8/+Pj4QCQSgc/no0aNGt91C8uVKyfR2vLlDwHTxUW+8Pl8aGpqijuA/10EuqjU1NSwadMmODo6YtSoUQgJCcHw4cOxa9cuBAQEoHr16tiyZQv69esnDoaEO2/fvkVISAhCQ0OxYMECGBgYoF27dmjSpAmatu8skxqUFWk9LFJiUAewoBIXAAFAR00FThUNcDfu818th8ADoKeuAseK+jK736VcuXJo0aIFWrRoIf5aVlYWIiIiCnQLz507Jw4A5cuXLxAIbW1tUa1atb8euhUIvux6Qvf6yJ9v9wP+2wCYr1evXnj16hVWrFiBESNGwMrKCmfOnEHbtm3pQ4AcsbS0BPD1A9rnz5+xZ88e7NmzB87NjmDs+l1SPb+2qpJM1lwlRNIoABZUIgMgABhqqqGxSWk8iE/640khFbTVUbe8LpQ5vvhpaGjA3t4e9vb24q+JRCK8efOmwIST/fv3Y9myZeLnWFtbF+gWWllZiScQFIZQKKThXzn17X7A8fHxUFZWLvJM3nyJiYnYuHEjvL29kZCQgHbt2uHjx48IDAxEREQE2rVrJ8nSSSExxvD+/XuEhYUhLCwMoaGhCAsLw5MnT374eAsLC2xavw4vlfjI/dmWRX+Jhy/LbRFSHFEALKhEX91La6iimXlZRHxMw5uUzN/eE8jDl2UO1JT4sC2ng4rasrvfrqj4fD6qVKmCKlWqoGvXruKvJyYmFhhCvnfvHnbs2AGBQAAej4eqVasWWK/QxsYGFSpU+GGXL78DSOTPfzuARkZGRe7SvX79GqtWrcKOHTsAAIMGDYKHhweqVKkCoVCI+fPnY8aMGbh//z527doFXV1dib8O8kV2djaePHkiDnv5gS9/WSlNTU1YW1vDyckJQ4YMgYeHB0Qikfj3dsaMGZg/fz6UlZWR8zEVkUkZUlkPlQEw1pHf90VCfoUCYEElOgACgAqfD9vyuqhRRgtvUzIRk5qNtFzBd49T5vFgoKECc71SMNJSL7ZDHKVLl4aLiwtcXFzEX8vJycHTp08LdAs9PT3FG8iXKVOmwPCxra0tqlevDoFAQB1AOaWtrV2gA1iU4d8HDx7Ay8sLx48fh4GBAaZNmwZ3d/cCHUQlJSUsWLAA9erVQ//+/eHg4IATJ06Ihx/Jn2GMIS4urkBHLywsDM+fPxcP6VapUgU2NjYYM2YMrK2tYW1tDXNz8wIB38fHB8+fP4eenh4OHTpU4JYRc71SeCWl9VBLKSvBsBR1AEnxROsAFqQwV3d1ZSXUKK2NGqW1IRQxpOYKIBCJwAMP6sp8aKqU3Hvd1NTUxMEuH2MM0dHR4kD46NEjnDhxAitXrhQ/p0yZMsjOzoa3tzdsbW1hbW1NXSAO5eXl4erVq0hOTsbnz5+RmJiIf//9F35+fqhateovnysSiXDhwgV4enri1q1bqFq1KjZs2AA3NzeUKvXzCU7t27dHUFAQunTpAgcHB+zYsaPApCXyc5mZmYiIiPhuCDcpKQnAl0W5ra2t4ezsjPHjx8Pa2hq1a9cu1G0avXr1QkBAAHbu3Pld+NdWVYaJtjpi07Il3gW0LKtdYt8nSclHHcCCeIz9fq5samoqdHV1kZKSAh0dHVnURTiSkpKCsLAwPHr0CLt370ZoaCj4fL74l8bc3Py7CSclYdu74uDo0aPo0aNHga8pKSlBKBSiWbNmuHr16nfPycnJwb59+7By5Uo8ffoU9evXx5QpU9CxY8ciDe9nZGRg+PDhOHDgACZOnIjly5dDRYW2AwO+fpj6tqMXFhaGly9fiodpLSwsxN28/Htzpfl7kysU4cqbj8gVSiYC8gCU11RDfRlOiCNE0rZs2YKRI0dCKBSW2J/jouQ1hekAksLR1dVF48aN0bhxYyQnJyM+Ph5RUVF4/vx5gW5h/oQB4Ptt72xtbVGrVi3aC1bC2rRpg3LlyuHjx4/I/9yW/0bWsGHDAo9NSkrCpk2bsG7dOrx//x4dOnTAli1b0LBhwz9649PU1MS+fftQv359eHh4ICgoCEeOHEH58uUl8tqKi/T0dDx+/Pi7IdzU1C+Lz+vr68Pa2hotW7bElClTYG1tDUtLy192WaVBVYkPxwr6uBPz+a+7gDwApVSUYFdet8ReNIliUFVVBWOMJjj+H30HyE/lTwL5dtu7fv36AfjS9YiPjy+wu8mFCxd+uO1dfrdQnre9Kw40NTWxYsUKDBgwQPy1/A5g/o4cUVFRWLNmDbZu3QqBQAA3NzdMmjQJ1atX/+vz83g8jB07FnXq1EH37t1hZ2eHo0ePfhc+SwKRSIS3b99+19WLjIwEY0y8jqe1tTXatGkDGxsbWFtbo2LFinITksqWUoOTsQEC4j6DMfxxECylooTGJqWh9ocL4RMiL9TU1AAAubm5FABBAZD8wq8mgfB4PFSsWBEVK1b84bZ33044+dW2d7a2tt/d4E5+rl+/fli5ciXCw8PBGBN3AjMzM9GnTx8cOXIEOjo6mDhxIsaMGSOVRcIbNWqEkJAQ9OzZE87Ozli1ahXGjBkjN8GnqFJTUxEeHl6gqxceHi6eZV2mTBnY2Nigffv24iHcWrVqFYtFsctpqsGlUhkEvUsp0j7B+SsiVNLRgLWhDlSU6PeTFH/5o1K5ubky78rLIwqA5KeEQmGRl4H52bZ3L1++LNAt3LZtG96/fy9+zn93N5H1tnfFBZ/Px7p16+Ds7AwAsLW1RUhICNzd3WFmZobVq1dj8ODB4u3ipMXIyAjXr1/H1KlTMW7cONy/fx+bN2+W+nn/hlAoRGRk5HdLrbx9+xbAly0Pa9asCWtra3Tq1Enc1StfvnyxDbfAl4XxnSuVxtvkTLxMykBGnlAc8L717dfKllKFhYEWDDXVZFssIVL0bQAkFADJL0hqGRglJSXUqFEDNWrU+OG2d/mh8Efb3v13eRpDQ8O/rqe4a9CgAUxMTBATE4OQkBAAwLZt2zBgwACZDmuoqKhg9erVcHR0xJAhQxAWFoYTJ078dkayLCQlJSE8PLzAEO7jx4+RmZkJ4MvuOdbW1ujWrZt4UkaNGjVK7H2rfB4PlfU1Ya5XColZeUjIykFSVh7S84QQMQYlPg96airQU1dBeU01aKnSpYGUPBQAC6LfcvJT0r5R9mfb3j1+/LjAhJMzZ86Ih+O+3fYuPxxKYtu74iAlJQVbt27Fzp07UaVKFbRt2xZ169bFoUOHMHjwYM66VL169ULt2rXRpUsX2NvbY+/evWjfvr1Mzi0QCPDy5cvvllqJiYkB8OUNv1atWrCxsUHPnj3FQ7iK+kGCx+OhTClVlKG1/IgCyg+AtBbgF7QMDPmpsWPH4tatWwgNDeW0jv9ue5cfDvMv8vnb3n3bLSzqtnfyLDY2Fjt37gSfz0efPn1gbm7OdUk/lJKSggEDBuD06dOYPXs2/v33X4kG84SEhALDt2FhYYiIiEB2djYAoGLFigWWWbG2toaFhQUtV0MIAQD4+/ujUaNGePLkCWrWrMl1OVJBy8AQiZCXnUAKu+1dQEAAtm/f/kfb3smj8PBwrF27FpaWlpgxYwb4fL5cT5bR1dXFiRMnsHz5csyePRuBgYHYv39/kWd+5+Xl4fnz598ttRIfHw8AUFdXR+3atWFjY4P+/fuLQx/NMCeE/AoNARfE/dWdyK0/mQQiS5Lc9k5eukSMMfj6+sLLywuxsbE4d+4cTExM5Dr4fYvP52PGjBmwt7dH7969YW9vj+PHj8POzu6Hj//w4cN3kzKePHmCvLwvM1ZNTU1hbW2NQYMGiYNe1apV5eKDCSGkeKEAWBC9i5KfkpcOYFH86bZ3lpaWBbqFst72TiAQ4OjRo/D09MTDhw/Rs2dPnDlzBsrKysWmY/mt5s2bIzg4GN26dYOTkxPWrVsHR0fH79bV+/DhAwCgVKlSsLKygoODA4YOHQobGxtYWVlBT0+P2xdCCCkxvl0HkFAAJL9QHAPgj/B4PFSqVAmVKlVCx44dxV//dtu7/D/79u2T6bZ36enp2LZtG1avXo3o6Gg0b94cN27cQJMmTYpl8GOM4d27d+KAV6VKFURGRmLEiBHix5ibm8PGxgYjRowQd/WqVKlSbLqchJDiiTqABRX/qzuRGnkfAv5b3257ly///jNpbnu3a9cuVKtWDefPn4ePjw/S09PRq1cvTJ48GTY2NhJ/ndKSnZ2NiIiI74ZwExMTAXxZ39Ha2ho9e/ZEWloajhw5AisrK5w6dQomJiYcV08IUTQUAAuiWcDkp3r27InPnz/j6tWrXJfCqR9te/fo0SO8evWqyNve+fn5ie9ZVFNTg7u7OyZMmCDXgYgxhtjY2O8mZTx//hwikUg84Sa/m5c/C7dSpUoFunpBQUHo2rUrMjMzcejQIbi6unL4qgghiubjx48oV64czpw5I7OlqmSNZgETiSjpHcDC+ttt72xsbKCmpgY/Pz/4+fmJn5+Tk4Ps7Gy5WpMuIyOjQFcvP/DlT6LR1dWFtbU1XF1dMXHiRFhbW8PS0rJQS+7Y29sjODgYffr0QYsWLbBkyRJMnTq1WA51E0KKH1oHsCAKgOSnSso9gNLyu23vQkJCcOXKFVy+fFk8q1VZWRkCgUD8eB8fH9y+fRunT5+W6fp+jDFERUV9Nynj5cuXYIyBz+fDwsIC1tbWaNGihXhdPRMTk78KbGXKlMHFixcxd+5cTJ8+HQ8ePMDOnTtpZIEQInU0BFwQXd3JT1EALDolJSWYmpri+vXrOHbsGF6/fo2mTZti6NChKF26NCZPnoyIiAjk33nBGEN4eDiqVq2KV69eST0EbtmyBXv27EF4eDhSU1MBAAYGBrCxsUHr1q0xbdo0cVdPWnsxKykpYfHixXBwcICbmxscHBxw4sQJ1KpVSyrnI4QQgALgf9HVnfyUUCgUT5snv/fx40esX78eGzduRFJSErp3747Dhw/D3t5e/JgRI0aIw5+SkhKEQiHU1dVRpUoVlClTRqr15S+QbWpqinbt2om7elwtjt2xY0cEBgaiS5cucHBwwM6dO9G9e3eZ10EIUQxKSkrg8XgUAP+PAiD5KeoAFs7Lly+xcuVK7N69G3w+H0OHDsWECRO+6+aJRCK8f/8eAGBtbY0OHTqgdevWcHBwkMn3WVlZGcOGDcOwYcOkfq7CsrCwwP379zF06FD06NEDkyZNwrJly+jnjhAicTweD6qqqhQA/4/eZclP0SSQXwsICICnpydOnTqFsmXLYvbs2Rg1ahQMDAx++Hg+n48HDx7A0NAQ5cuXl3G18ktTUxMHDhxA/fr1MXnyZAQFBeHw4cMoV64c16URQkoYNTU1CoD/Ryuvkp+iDuD3RCIRTp06hYYNG8LJyQlPnjzB5s2bERUVhVmzZv00/OWztram8PcDPB4P48ePh6+vL54/fw47OzsEBARwXRYhpIShDuBXFADJT1EA/CorKwubN29GjRo10LlzZ/D5fJw+fRpPnjzBsGHDoK6uznWJJULjxo0REhICc3Nz/PPPP9i4cSMKsVQpIYQUCgXArygAkp+iIWAgMTERCxcuRKVKlTBq1ChYW1sjICAAt2/fRocOHWj7MikwMjKCn58fRo0aBXd3dwwYMACZmZlcl0UIKQFUVVVpHcD/o/YO+SlF7gC+fv0aq1evxo4dOyASiTBo0CB4eHigatWqXJemEFRUVLB27Vo4Ojpi2LBhCAsLw/Hjx1GlShWuSyOEFGPUAfyK2hfkpxSxAxgYGIgePXqgWrVqOHjwIKZMmYLo6Ghs3LiRwh8H+vTpg3v37iE9PR329vY4f/481yURQooxCoBfUQAkP6UoHUCRSITz58/D2dkZDg4OCAkJwfr16xEdHY1///0XZcuW5bpEhWZlZYWgoCA0btwY7dq1w7///guRSMR1WYSQYogC4FcUAMlPlfQAmJOTgx07dsDKygrt2rVDdnY2jh07hufPn2PUqFEoVaoU1yWS/9PT08OpU6ewaNEiLFiwAO3atcPnz5+5LosQUsxQAPyKAiD5qZI6BJyUlIRly5bB3NwcQ4YMQdWqVXH79m0EBASga9euJfI1lwR8Ph+zZs3CxYsXcf/+fdjb2+Phw4dcl0UIKUYoAH5FAZD8VEnrAEZFRWHixIkwNTXFvHnz0LZtWzx9+hSnT59Go0aNONkOjRRdy5YtERwcDH19fTg5OWH37t1cl0QIKSZoIeivKACSnxIIBCWiG/bw4UP07dsXVapUwe7duzF+/HhERUVh69atqFGjBtflkT9gZmaGO3fuoHfv3hg4cCBGjx5NSzsQQn6LOoBfUQAkPyUUCottB5AxhsuXL6NZs2aws7PD3bt3sWrVKkRHR2PRokW0G0cJoKGhge3bt2PLli3Yvn07/vnnH8TGxnJdFiFEjtE6gF9RACQ/VRyHgPPy8rB3717Y2tqiVatWSEpKwsGDB/Hy5UuMGzcOWlpaXJdIJIjH42HYsGG4ffs24uPjYWdnBz8/P67LIoTIKeoAfkUBkPxUcZoEkpqaCi8vL1SuXBlubm6oWLEifH19ERQUhF69ehW7IEuKxsHBAcHBwbC2tkazZs3g6elJW8gRQr5DAfArCoDkp4pDBzAuLg5Tp06FiYkJZs6cCVdXV4SHh+PChQto2rQpTexQIGXLlsWlS5cwdepUTJ06Fd27d0daWhrXZRFC5AgFwK8oAJKfkudJIOHh4RgwYADMzMywefNmjBw5Em/evMGuXbtQu3ZtrssjHFFWVsbSpUtx4sQJXLlyBQ4ODnj69CnXZRFC5AQFwK8oAJKfkrdJIIwx+Pr6onXr1rC2toavry+WL1+OmJgYLF++HBUrVuS6RCInOnfujMDAQPD5fDg4OODYsWNcl0QIkQMUAL+iAEh+Sl6GgAUCAQ4ePAh7e3u4uroiPj4ee/fuxevXr+Hh4QEdHR2uSyRyqHr16rh//z7atGmD7t27Y+rUqRAIBFyXRQjhEK0D+BX3V3cilxhjnE8CSU9Px/bt27F69WpERUWhWbNmuHz5Mpo3b0739pFC0dLSwqFDh1C/fn1MmTIFgYGBOHz4MAwNDbkujRDCAeoAfkUdQPJDIpEIADjpAL5//x4zZ86EiYkJJk2ahEaNGuHhw4e4evUqWrRoQeGPFAmPx8PEiRNx/fp1PHnyBHZ2drh37x7XZRFCOEAB8CsKgOSH8ofKZNkBfPr0KYYOHYpKlSrB29sbgwYNwuvXr7Fv3z7Y2trKrA5SMv3zzz8ICQmBqakpmjRpgk2bNtFSMYQoGFoI+isKgOSHhEIhAOl3ABljuHXrFjp06IBatWrhwoULWLBgAWJiYrBq1SqYmppK9fxEsVSsWBE3btzAiBEjMGrUKAwaNAhZWVlcl0UIkRHqAH5FAZD8UH4HUFoBUCgU4tixY6hfvz7++ecfREZGYseOHXjz5g2mTZsGPT09qZyXEFVVVXh7e2Pv3r04cuQInJyc8ObNG67LIoTIAAXArygAkh/K7wBKegg4MzMTGzduRPXq1dG9e3eUKlUK58+fR3h4OAYNGgQ1NTWJno+Qn+nXrx8CAgKQmpqKunXr4uLFi1yXRAiRsvwASLd/UAAkPyHpDuCnT58wb948mJqaYuzYsahbty4CAwPh5+eHNm3agM+nH0UiezY2NggKCkLDhg3Rtm1bLFiwQDwBihBS8qiqqgIALQkFCoDkJyQ1CeTly5cYNWoUTE1N4eXlhT59+uDly5c4fPgw7O3tJVEqIX9FX18fp0+fxvz58/Hvv/+iQ4cOSEpK4rosQogU5AdAGgamAEh+4m8ngQQEBKBLly6oXr06Tpw4gVmzZiE6Ohrr1q1D5cqVJVkqIX+Nz+djzpw5uHDhAu7evQt7e3uEhoZyXRYhRMLybzOiAEgBkPzEnwwBi0QinD59Go0aNYKTkxMiIiKwefNmREVFYfbs2ShdurS0yiVEIlq1aoXg4GDo6uqiQYMG2LdvH9clEUIkiDqAX1EAJD9UlEkg2dnZ2LJlC2rWrIlOnToBAE6dOoWnT59i2LBhUFdXl2aphEiUubk5/P390bNnT/Tv3x9jxoyhiwUhJUR+AKS1AGkrOPIThekAJiYmwsfHB97e3vj06RM6d+6MXbt2oUGDBrIqkxCp0NDQwI4dO+Do6Ihx48YhJCQER48eRcWKFbkujRDyF6gD+BV1AMkP/WoSyJs3bzB27FiYmppi8eLF6NKlC54/f47jx49T+CMlBo/Hw8iRI3H79m1ER0fDzs4ON2/e5LosQshfoAD4FQVA8kM/mgQSFBSEnj17omrVqjh48CAmT56MqKgo+Pj4oFq1alyVSohUOTo6IiQkBJaWlnB1dcWqVatoDTFCiikKgF9RACQ/lN8B5PP5OH/+PJydnVGvXj0EBQXB29sb0dHRmD9/PgwNDTmulBDpMzQ0xJUrVzBp0iRMmjQJvXr1Qnp6OtdlEUKKiALgVxQAyQ9lZmYCAHr27Il27dohKysLR48exYsXLzB69GiUKlWK4woJkS1lZWUsX74cx44dw4ULF+Dg4IDnz59zXRYhpAgoAH5FAZAUkJycjGXLlqFz584AAFNTU9y6dQv37t1Dt27dJL41HCHFTdeuXREYGAjGGOrVq4cTJ05wXRIhpJBoHcCvKAASAEB0dDQ8PDxgYmKCefPmwdHREQDg4+ODxo0bg8fjcVwhIfKjRo0aePDgAVq2bImuXbti+vTptLUUIcUAdQC/ogCo4B49eoS+ffuicuXK2LlzJ8aNG4eoqChMnjwZgOT2AiakpNHW1saRI0fg6ekJT09PtGzZEp8+feK6LELIL9A6gF9RAFRAjDFcuXIFzZs3R506deDv74+VK1ciJiYGixcvRvny5f9oJxBCFA2Px8PkyZNx7do1hIeHw87ODg8ePOC6LELIT1AH8CsKgAokLy8Pe/fuha2tLVq2bInPnz/j4MGDePXqFcaPHw8tLS3xY3+1DiAhpKCmTZsiJCQExsbGaNy4MbZs2UJLxRAihygAfkUBUAGkpqZi5cqVqFy5Mtzc3FChQgVcv34dQUFB6NWr1w+7fD9aB5AQ8nPGxsa4ceMGhg4dihEjRmDIkCHIysriuixCyDcoAH5FV/cSLC4uDuvWrcOmTZuQlZWFPn36YNKkSbCysvrtc6kDSEjRqampYcOGDXB0dMSIESMQGhqK48ePw8zMjOvSCCH4ck3j8/kUAEEdwBLp8ePHGDhwIMzNzbFp0yaMGDECb968wa5duwoV/gDqABLyN9zc3BAQEICkpCTUrVsXly9f5rokQsj/qaqqUgAEBcASgzEGX19ftG7dGlZWVrh+/TqWLl2KmJgYrFixosib2NMkEEL+jq2tLYKDg1G/fn20bt0aixYtgkgk4rosQhQeBcAvKAAWcwKBAIcOHYK9vT1cXV0RFxeHPXv2IDIyEpMmTYKOjs4fHxegIWBC/oa+vj7Onj2LefPmYe7cuejUqROSk5O5LosQhaampkYBEBQAi6309HSsW7cO1apVQ+/evWFgYIBLly4hNDQU/fv3F9/o+qdoCJgQyeDz+Zg3bx7OnTuH27dvo169eggPD+e6LEIUlqqqKq0DCAqAxc779+8xa9YsmJqawsPDA05OTggJCcHVq1fRsmVLie3YQR1AQiSrTZs2CA4OhqamJhwdHXHgwAGuSyJEIdEQ8BcUAIuJZ8+eYdiwYahUqRLWrVuHgQMHIjIyEvv370edOnUkfr78DiAFQEIkp3Llyrh79y66deuGvv9r777DoyrTNoDfkzbpCQmQAgklITMCSzH0jyIdMUIazAhKWQVEET96EwsICEhW1mURdV0/8ZKZEEAEWVREFLCByCqiJIQEQighdZJMypTz/TGbs0aCApmZM+X+XZcXMZyc8wyQvPc87znvO3ky5s6dy4GIyM4YAC04v+fABEHAsWPHsHHjRuzbtw+RkZF44YUXMGvWLLRo0cKm1zYajfD09OQewERW5u/vj//7v/9D//798fTTT+PUqVPIzMxEdHS01KURuQUGQAt2AB2QyWRCVlYW+vfvj8GDB+P8+fP4xz/+gfz8fCxdutTm4Q/4bwAkIuuTyWSYPXs2Pv/8c+Tl5SExMRFHjx6Vuiwit8AAaMEA6ED0ej3+/ve/Q6FQYMKECfD19cX+/ftx5swZ/PnPf4ZcLrdbLSaTiQ+AENlY//79cerUKSiVSgwdOhSvvPIKt5AjsjEGQAuO8L9hMgsoqalHWa0BujoDjIIAGWTw9/ZEqK83wv28EeBt3T+2GzduYMuWLdiyZQtKS0uRlpaGHTt2oHfv3la9zp1gB5DIPiIiIvDJJ59g2bJlmDdvHr755hu88cYbjfbmJiLrYQC0YAD8D73BhNyyauRV6GE0C2i4863hvbjsVx+38vdBfIsARAbI//AeOaPRCLPZ3OSyLDk5OcjIyMDbb78NmUyGRx99FPPmzUPHjh2t9bLumtFoZAeQyE68vLywceNG9O3bF9OnT0e/fv2we/duJCQkSF0akcthALRw+ylgQRBwobwan+QV4XxZNYxmS8wT8N/Ah998XKyvx1eFZfiysAw1RtMtz11VVYUePXogLS2t0ee/+uorpKWlQaFQYNeuXVi+fDkKCgrw6quvOkT4AzgFTCSF9PR0fPvttzAajejduzf27t0rdUlELkcul3MdQLh5ADSZBXx9pQynr+tgEhqHvN/TcFxRdR0+ybuBkpqb30kIgoApU6bgp59+wv79+3H69Gns3bsXAwcOxIABA3DmzBm89tpruHjxIlauXInw8HCrvS5r4BQwkTTuuecefPvttxgxYgSSk5OxfPlycVkmImo+dgAt3DYAmgVL+LtadffvAgQARrOAYwUlKP1NCFyzZg327NkDwLITwJAhQ5CcnAxBELBnzx78/PPPmDlzJvz8/JrzMmyGHUAi6QQHByMrKwvr16/H+vXrMWbMGBQXF0tdFpFLYAC0cNsA+EtJFa5XW6cFbBKArwrLYDBZNnrft28fnn32WfH3zWYzKisrsWfPHhw/fhzJycnw8HDsP3reA0gkLZlMhsWLF+OTTz7B6dOnkZiYiBMnTkhdFpHTYwC0cOwUYiNltQb8UlJl1XPWm8z4oUiH48ePIzU1tcmlHI4dO2bVa9oSp4CJHMOwYcNw6tQpREZGYuDAgXjzzTelLonIqTEAWrhlADxzQwdr728hALioq8Hf//G2uI9uo98XBGg0Gitf1XY4BUzkOGJiYvDFF19g+vTpmDFjBh577DHU1tZKXRaRU2IAtHC7Eb6q3ogbetv8xcsALFr3Mjasfh61tbWoqalp9F+bNm1scl1bYAeQyLHI5XK89tpr6Nu3L2bPno3Tp09j165daNeundSlETkVBkALtwuAl3Q1jdb0syYBwKWKGnTvFO30e+iyA0jkmKZPn47u3bsjLS0NiYmJ2LFjB0aOHCl1WUROgwHQwu2mgEtr6m0S/hoYBQFVBudfsoEPgRA5rnvvvRcnT55Er169MHr0aKxduxZms1nqsoicAtcBtHC7AFhea3CJa9gap4CJHFt4eDg+/PBDPPPMM1ixYgVSU1NRUVEhdVlEDo8dQAu3CoCCIKDebPuN1utNzv9OnFPARI7P09MTq1atwr59+3DkyBH06tULZ86ckbosIofGAGjhVgHQXmwfMW2PHUAi55GUlISTJ0/C398fffv2xY4dO6QuichhMQBauFUAlMlk8Paw/cMZPp7O/8fKDiCRc4mPj8dXX32FlJQUTJo0Cf/7v/8Lg8H5b0chsjYGQAvnTyp3KNTX2/bXkDt/cOJDIETOx9/fH9u3b8err76KLVu2YNiwYbh69arUZRE5FB8fHxgMhiY3bHAnbhcAw3x9rL4I9K95ymQI8nH+4MQpYCLnJJPJMGfOHHz++efIzc3Fvffe22gXouLiYrzzzjtuP/iR+/Lx8QEAt++Qu10AjAn2tdk9ejIAscF+Tr8GIMApYCJnN2DAAJw6dQoJCQkYOnQo/vrXv8JgMCAlJQVTp07FgQMHpC6RSBINAdDdp4HdLgAGy70R7mebaWABQIdQf5uc297YASRyfpGRkTh06BDmzp2Lp59+Gt26dcPx48fh4eGBVatW/W4XUBAEVNcbcbmyBmeLK/FDkQ4/FumQW1aNkpp6mOywogKRLTQEQHdfC9AtWzxdWwXj80slVj2nDECbIF+73GNoD0ajEXK5XOoyiKiZvL29sWnTJphMJmzevBmAJdx9++23OHr0KAYPHtzoeKPZjEu6GuSWVaOy3rKo/a/nNBpin4cMaBfsj46h/ghxkZ975B4axjZ2AN1QuJ8POrUIsOo5vTxk6B4RYtVzSolTwESu4+zZs9i2bVuj21M8PDywevXqRsddr67Dxxdu4PR1nRj+AEvoa/ivgVkA8iv0+PRiMf59vQJG7kRCToJTwBZuGQABoHPLILT0s84DIR4A+rdpAbkLLP/SgFPARK5jw4YNqK2tbfQ9bTabcejQIZw4cQKCIODHIh2OXy5F7R0sZN8QCHPL9TiUV4yqeqOVKyeyPgZAC9dJLHfI00OGAW1boKW/z12fQwbAUwYMaBuGlv6uNV3KDiCR69i4cSPefvttPP744+jVq5c4AALAjBkzcPq6Djll1c26Ro3RhCOXGALJ8TEAWrj1CO/l4YGBbcOQU1aNn25UArizXTzqykvwYE8lAlxg2Zff4jqARK6jVatWmDp1KqZOnQrAsvzF2bNnkZmZiW5DRiKvQt/sawgADCYBX14uxfD2reBph0X3ie4GA6CF23YAG8hkMiSEBWJEh1ZoH+KPhp9Zv/3R9ev/b+HrjVMfaPFU0lAY9FX2KtWuOAVM5Lq8vb3RvXt3LH/uBcjbK6x2XgFAlcGEn0sqrXZOImtjALRw+wDYIMjHCz0jQ/BAXAT6RociISwAkQFytPTzRit/H8SG+KFHRDCGt2+Joe1a4onJE6HX67FmzRqpS7cJTgETub4zxZWwxXrQ2aXVqDZwKpgcEwOgBUf43/D29ECbID+0CfL73eOio6OxZMkSrFmzBo8//jji4uLsVKF9sANI5NpqjCZcqay1ycL4MgB55Xp0bRVsg7MTNQ/XAbRgB7AZFi5ciFatWmHp0qVSl2J17AASubYCXY3NdkUSAOSX67ndHDkkdgAtGACbwd/fH+vWrUNWVhaOHj0qdTlWxYdAiFxbSY1tB796swC9wfTHBxLZGReCtmAAbKbJkycjMTER8+fPh9mFFkLlFDCRayurMdj+GnW2vwbRnWIH0IIBsJk8PDyQkZGBkydP4r333pO6HKvhFDCRa6u7gwWf71at0XXeFJPrYAC0YAC0gsGDByM1NRXLli2DXt/89bQcATuARK7NHnfn8R5AckTe3pa9qxkAySo2bNiA69evIyMjQ+pSrIIdQCLX5mWHhZq9XWh7THIdnp6e8PT0ZACUugBXERcXh7lz5+Kll17ClStXpC6n2fgQCJFrC5Xb/vs7RO5t82sQ3Q0fHx8GQKkLcCXPPPMMfH19sXLlSqlLaTZOARO5rtLSUlzO+QWCDR9ckwEIsUPIJLobPj4+XAdQ6gJcSWhoKJ5//nn885//xOnTp6Uup1k4BUzkWnQ6Hd59910kJSUhMjISz817CjIP2wwBMgDRQb7wkHE/YHJM7AAyAFrdrFmzoFAosGDBAqe+AZodQCLnp9frsXPnTqSlpSEiIgKPPPIIysrKsGnTJnzx0QGbdegEAB1D/W1ybiJrkMvlbh8A2eKxMm9vb7z88stISkrC/v378eCDD0pd0l3hPYBEzqmurg4fffQRtFot9u7di+rqaiQmJmL16tWYOHEiYmNjxWNlVbX4srDMqteXAQj380ZLPx+rnpfImtgBZAC0ibFjx2LEiBFYuHAhRo8eLa455Ew4BUzkPAwGAw4fPgytVovdu3ejoqICXbt2xbJly6BSqRAfH9/k10UG+iI22BcFOuvtCSyTAYmRoZBx+pccGAMgA6BNyGQybNq0CT179sRrr72GuXPnSl3SHREEASaTiVPARA7MZDLh2LFj0Gg0yMrKQnFxMeLj4/HUU09BpVKha9eut3We7q1DUFZrQFW9ySohsFdkKAJ8OLSQY2MABGTCbdyoptPpEBISgoqKCgQHB9ujLpcwc+ZMZGVl4fz58wgLC5O6nNvW0P176623MH36dKnLIaL/EAQB33zzDTQaDTIzM3H16lXExsZCpVJBrVajZ8+ed9V5qzWacKygFLp6413VJYPlvr/EyBC0C+G9f+R46kxmXNbVoKSmHqU1Buj0NfDw9ITc2wshcm+E+XmjTZAvWvg634zdr91JXuPbNBtatWoVduzYgRdffNGpFog2Gi2DAKeAiaQnCAJOnz4NjUYDrVaLixcvIjIyEhMnToRarUbfvn3h0cyneX29PDGkXTjOFOmQV1EjBrrb5eftiV6RoWjp79yDJ7meGqMJP92oRIGuBgL++2bF6z+3ZhnMAopr6lFSU4/s0mqEyL3QuWUQogJ9pSzbLjjC21BkZCSWLVuG559/HrNnz0anTp2kLum2NARATgETSefs2bPQarXQaDTIzs5GeHg40tPToVarMWjQIKt/f3p7eKBnZCjaBvvhl5Iq3NBbpseaCoMNn5N7eqBjqD86hQXaZWcRojtxsUKPf1/XwSQI4r/hW72xafh8RZ0RXxWWISbIF90jQuDjwrvZMADa2Lx58/Daa69h8eLF2LNnj9Tl3BaTyQSAHUAie8vNzRVD348//ojg4GCkpqZi8+bNGD58uLiHqS218pejlb8cVfVGXK2qRVmtAeW1BhjNAmQyIMDbCy18vRHu54PIQDnX+iOHIwgCfiquRHZp9V2f43Kl5d/+oNhw+Hm5ZjOEI7yN+fn54aWXXsLkyZNx5MgR3HfffVKX9IfYASSyn4KCAmRmZkKj0eDkyZPw9/fHuHHjsHr1aowePRq+vtJMRQX6eKFTWKAk1yZqjl9KqpoV/gBLR7DaYMLRSyUY2q6lS+5r7XqvyAE99NBD6Nu3L+bPnw+zDbdeshZ2AIls69q1a/jb3/6GgQMHIjY2FitWrEBMTAy0Wi2KioqwY8cOjB8/XrLwR+SsSvT1+LmkyirnagiBPxTprHI+R8MR3g5kMhkyMjLwP//zP9i+fTumTp0qdUm/iw+BEFlfSUkJdu/eDa1Wi88++wweHh4YNWoU3nnnHYwfP54rLBA1k8ks4MS18jt+iOn3CAAu6mrQNtgPEQFyK53VMXCEt5MBAwZg4sSJWL58OdLT0xEQECB1SbfEKWAi69DpdHj//feh1Wrx8ccfw2w2Y+jQodi2bRtSUlIQHh4udYlELqOwsgZ6g8km5/65pNLlAiCngO3opZdeQnFxMTZu3Ch1Kb+LU8BEd6+6uhqZmZlITU1F69atMXXqVOh0OvzlL39BYWEhDh06hMcee4zhj8jKcsv1Njt3aY0BFXUGm51fChzh7ahDhw6YN28eNmzYgBkzZqBNmzZSl9QkdgCJ7kxdXR0OHjwIjUaDDz74AHq9Hr169cKaNWswceJExMTESF0ikUurNZpQVmu7gCYDcLWqFiFy2z+Jby/sANrZsmXLEBgYiBUrVkhdyi3xHkCiP2YwGHDw4EFMmzYNERERSE5Oxk8//YQVK1bg/PnzOHHiBBYsWMDwR2QHtgx/gOVewLIadgCpGUJCQrBq1SrMnj0bTz31FBITE6Uu6SacAiZqmslkwhdffAGtVousrCyUlJQgISEBTz/9NFQqFTp37ix1iURuSVdntOrDH00p5xQwNddjjz2Gv/3tb5g/fz6OHDlyV3t32hKngIn+y2w24+uvv4ZWq0VmZiauXbuGdu3a4bHHHoNKpUKPHj0c7nuYyBWtXbsWubm5SEtLw/DhwyGX//ehDKPZltHPftewJwZACXh5eWHTpk0YM2YM3n//faSkpEhdUiPsAJK7EwQB33//vbj/7qVLlxAVFQWVSiXuv8vQR2RfBw4cwPHjx/HWW2+JC6anpaVhzJgxsMe3o6t9z/MeQImMHj0aY8aMwaJFi1BfXy91OY3wHkByVz/99BNWrlyJhIQEJCYm4p///CfGjh2LI0eOoKCgAK+88gr69evncgMBkTPo0qWLOC7p9XpotVpMmDABwcHBOH7kM5tO/wKAv4ttCccRXkIvv/wyunXrhi1btmDevHlSlyPiFDC5k5ycHGi1Wmi1Wpw5cwYhISFITU3Fli1bMGzYML4RIrIzg8GACxcu4Ny5c/jll1/EX0+fPi2OT4ClUw8AoaGh6NwhFtdtWJMMQJif6zwBDDAASqpLly6YOXMmVq1ahSlTpjjMumCcAiZXd+nSJXH/3e+++w4BAQEYP3481q5di1GjRjW6t4iIbKOkpATnzp27Kejl5uaKQS8oKAgKhQJKpRJxcXHYvn07AMt0rCAIeOqpp7B+/XrIfX2xL+c6TIJt+oACgHA/H5ucWyoc4SX2wgsv4L333sMLL7yAv/71r1KXA4AdQHJN165dw86dO6HRaPDll19CLpcjKSkJS5YswQMPPAB/f3+pSyRyOUajsclu3rlz51BcXAzAEubatWsHhUKBMWPGiIFPoVAgKipKvOUiNzcX27dvh0wmQ1hYGN59912MGTNGvFb7UD9cKNPbZCrYy0OG6EDX2pubAVBirVu3xooVK7B8+XI88cQTUCqVUpfEDiC5jOLiYuzevRsajQZHjhyBl5cXRo0ahe3bt2PcuHHcf5fISsrKym4KeA3dPIPBsnxKYGCgGO5Gjx4tftypUyf4+fn94TXat2+PyMhI8f7cVq1aNfr9jqEByC2z/m4gMgAdQ/3h6eFa9/5yhHcAc+fOxdatW7F48WJ88MEHUpfDh0DIqVVUVOD999+HRqPBoUOHYDabMWzYMLzxxhtISUlBWFiY1CUSOSWj0Yj8/Pwmg96NGzfE4xq6eaNGjWrUzYuOjm7WA1Senp64fPnyLWengny80KlFAHLKqu/6Gk2Re3pAERZo1XM6Ao7wDsDX1xfr16+HSqXCp59+iuHDh0taD6eAydlUV1dj37590Gg0+Ne//oX6+noMGjQImzdvRlpaGiIiIqQukchplJeXi+Hu10EvJydH7OYFBARAoVBAoVBgxIgRjbp5tryd4o/Gpc4tg3ClqhZ6g8lqU8GJUaHw9nS9RVNkgvDHd0zqdDqEhISgoqKCUyY2IggCBg4ciKqqKpw6dUrS8LV3714kJyejqKjophY7kaOora3Fv/71L2g0Guzfvx96vR59+vSBWq3GhAkT0LZtW6lLJHJYJpPplt28oqIi8biYmBixg/frX9u0aeOwyyFV1xtx5FIJ6k3mZofA7q2DEdciwCp12cOd5DV2AB2ETCZDRkYG+vXrh7fffhuPPvqoZLWwA0iOymAw4JNPPoFWq8WePXtQWVmJ7t2745lnnoFKpULHjh2lLpHIoVRUVDT5AEZOTo64Bq2/v7/YzRs2bFijbl5AgPOEnwYBPl64LzYcxy+XospguuOvb4i1PSNC0D7UdR8OYwfQwUyePBmHDx9GdnY2goKCJKkhMzMTKpWKf9/kEEwmEz7//HNoNBrs2rULpaWlUCgUUKvVUKlUuOeee6QukUhSJpMJFy9ebDLoXbt2TTyubdu2t+zmeXi43hSnySzg55JKZJdW39Y+wQ3HtJB7o1dUKILkztcjYwfQia1btw4KhQIbNmzA6tWrJamBD4GQ1MxmM7766itoNBrs3LkT169fR/v27TFz5kyo1Wp069bNYaefiGxFp9M1CncNH+fk5KCurg4A4Ofnh4SEBCiVSgwZMkQMegkJCQgMdL0HGX6Pp4cMXVsFo0OoP/LK9cgr18Pwn/18G356/DoURgTIEdciAK39fdzi5wtHeAcTGxuL+fPn4+WXX8bMmTMRExNj9xo4BUxSEAQB3333nbj/7uXLlxEdHY2HHnoIarUaffr0cYsfyuTeTCYTLl261GQ37+rVq+Jxbdq0gUKhwODBgzFjxgwx6MXExLhkN685Ary90LVVMLq0DEK1wYTyWgNqjJaHRLw8ZAiVeyNY7g0vF1vm5Y8wADqgpUuX4h//+AeWLVuGd9991+7X5zqAZC+CIODMmTNi6MvNzUWrVq2Qnp4OtVqNgQMHcjAjl1RZWdnkLhg5OTmora0FYFkhoqGbN2jQoEbdPKluEXJmMpkMgT5eCPTh2AYwADqkoKAgvPjii5gxYwbmzp2LPn362PX6DR1ADrxkK9nZ2dBqtdBoNDh79ixCQ0ORmpqKrVu3YujQoXzzQS7BbDajoKCgySdtr1y5Ih4XHR0NhUKBgQMH4tFHHxWDXmxsLH8Ok83wIRAHZTKZ0LNnTwQHB+Po0aN2nfraunUrnnrqqUabbhM1V35+vrj/7vfff4/AwECMHz8earUao0aNgo+Pa+2zSe6jqqrqpm7euXPnkJ2djZqaGgCAXC5HQkLCTQ9gJCQkcFwlq+FDIC7A09MTGRkZGDlyJHbt2oX09HS7XdtkMrEDQ1Zx5coVcf/dr7/+Gr6+vkhKSsLy5csxduxY7r9LTsNsNuPy5ctNdvMKCwvF46KioqBQKNCvXz9MmzZNDHqxsbG8r5ocCkd5BzZixAg88MADWLx4MZKSkuDra5+NqI1GI39Q0V27ceMGdu3aBY1Ggy+++AJeXl4YPXo03n33XYwbN473LpFDq66uRnZ29k1B79y5c2I3z8fHR+zm/TrkJSQkICQkROJXQHR7GAAd3Msvv4yuXbvi1VdfxaJFi+xyTXYA6U6Vl5djz5490Gq1OHToEABg2LBhePPNN5GSkoIWLVpIXCHRfwmCgMuXLzf5pG1BQYF4XEREBJRKJfr06YMpU6aIQa9du3Z8k0xOj6O8g1MqlZg9ezZefPFFTJs2zS5bsxmNRgZA+kNVVVXi/rsHDx6EwWDAoEGD8OqrryItLQ2tW7eWukRyc3q9/pbdPL1eD8DSzYuPj4dSqcTDDz8s3p+nUCgQGhoq7QsgsiGO8k7gueeew/bt2/H8889jy5YtNr8ep4DpVmpqahrtv1tTU4O+ffti/fr1mDBhAtq0aSN1ieRmBEFAYWFhk928S5cuice1bt0aSqUSvXr1wsMPPyyGvPbt2/MNL7kl/qt3Ai1btsTKlSuxZMkSPPnkk+jcubNNr8cpYPq1+vp6fPLJJ9BoNNi7dy8qKyvRo0cPPPvss1CpVOjQoYPUJZIb0Ov1yMnJuSnoZWdno6qqCgDg7e0tdvMmTZrUqJvH2xCIGuMo7yTmzJmDrVu3YuHChThw4IBNr8UOIBmNRhw5cgRarRa7du1CWVkZlEolFixYAJVKBaVSKXWJ5IIEQcCVK1eaXCD50qVLaFi1rFWrVlAoFLj33nvx0EMPiUGvQ4cOfPNKdJv4neIk5HI5NmzYgLS0NHz00UcYPXq0za7FDqB7MpvNOH78OLRaLXbu3ImioiJ06NABs2bNwkMPPYQ//elP3IqNrKKmpqbJbt65c+fEbp6Xlxfi4+OhUCigVqsbrZ8XFhYm8Ssgcn4c5Z1ISkoKBg0ahAULFmD48OE2C2l8CMR9CIKAkydPiluxFRYWok2bNnj44YehVqvRq1cvhj66K4Ig4Nq1a02um3fx4kWxm9eyZUsoFAr06NFD7C43dPO8vb0lfhVEroujvBORyWTIyMhA79698dZbb2HmzJk2uQ6ngF2bIAj48ccfxdB34cIFtG7dGhMmTIBarcaAAQO4/RTdttraWpw/f77JoFdZWQnA0s2Li4uDQqHAxIkTG3XzwsPDJX4FRO6JAdDJ9OrVC4888ghWrlwJtVptky2EOAXsms6dOyeGvp9//hktWrRAWloaXn/9dQwZMoR/53RLgiDg+vXrjZZRafg4Ly9P7OaFhYVBqVSia9euSE9PF4Nex44d2c0jcjD8ie+E1q5di6ysLKxbtw7r1q2z+vnZAXQdeXl50Gq10Gq1OH36NIKCgpCcnIyNGzdi5MiR3H+XGqmrq7tlN0+n0wGwbFPZsWNHKJVKpKamNtrXtmXLlhK/AiK6XQyATqht27ZYtGgR1q9fj1mzZqF9+/ZWPT87gM6tsLBQ3H/3m2++gZ+fH5KSkrBy5Urcf//98PPzk7pEkpAgCCgqKmryAYy8vDyYzWYAQIsWLaBUKtG5c2ekpqY26ubxjQOR8+Mo76QWLVqEN954A8uWLcOOHTusem4+BOJ8ioqKxP13jx49Ci8vL9x///1477338OCDDyIwMFDqEsnO6uvrcf78+SaDXnl5OQDAw8ND7OYlJyff1M3jA0BEroujvJMKDAzEmjVr8Oc//xlz585F//79rXZuTgE7h7KyMuzZswcajQaHDx8GAIwYMQJvvfUWkpOTuY2VGxAEATdu3Lhpm7NffvkFeXl5MJlMAIDQ0FAx2I0fP14MenFxcZDL5RK/CiKSgkxouHv3d+h0OoSEhKCiosImDx3Q3TGZTOjVqxd8fX3x5ZdfWu3d+pQpU5Cfn48vvvjCKucj66msrGy0/67RaMSQIUOgVquRmppql72iyf7q6+uRm5vbZDevrKwMgKWb16FDh0ZP2Db82rp1a3bziNzAneQ1dgCdmKenJzIyMjBs2DBotVqo1WqrnJcdQMdSU1ODAwcOiPvv1tbWon///ti4cSMmTJiA6OhoqUskKykuLm7yAYwLFy6I3byQkBAx3D344INiyIuPj2c3j4huGwOgkxs6dCjGjx+PJUuWYPz48Va5wZ/3AEqvvr4eH3/8sbj/blVVFXr27IkXXngBEydOtPqDP2Q/BoMBFy5caDLolZaWArCs+dnQzUtKSmrUzYuIiGA3j4iajaO8C9iwYQO6dOmCzZs3Y+nSpc0+H58ClobRaMRnn30GjUaD3bt3o7y8HPfccw8WL14MlUqFhIQEqUukO1BSUnLLbp7RaAQABAcHQ6FQQKFQYOzYsWLQi4+Ph6+vr8SvgIhcGUd5F5CQkIAnn3wSa9euxfTp0xEREdGs83EK2H7MZjOOHTsm7r9748YNxMXF4cknn4RKpULXrl3Z7XFgBoMBeXl5TQa9kpISAJZuXvv27W8KeQqFApGRkfz7JSJJMAC6iGeffRbvvPMOnn32WWzbtq1Z52IH0LYEQcCJEyeg0WiQmZmJwsJCxMTEYOrUqVCpVEhMTGQocDClpaVNPoBx/vx5sZsXGBgoBrsxY8Y06uZx7UUicjQc5V1EWFgYnnvuOcyfPx9z5szBn/70p7s+l9Fo5PSTlQmCgB9++EHcii0vLw8RERHi/rv9+/fn/rsSMxqNyMvLazLo3bhxA4ClmxcbGwulUolRo0Zh7ty5YtCLiopicCcip8EA6EJmz56NLVu2YMGCBfjoo4/uejDiFLD1/PLLL9BoNNBoNDh37hzCwsKQlpYGtVqNIUOG8M9ZAmVlZbfs5hkMBgBAQECA2M0bNWqUGPI6derEbh4RuQQGQBfi4+ODjRs3Ijk5GQcPHsT9999/V+fhFHDzXLhwQdx/99///jeCgoKQkpKCv/zlLxgxYgS8vb2lLtHlGY1G5OfnNxn0ioqKxOMaunkjRozAnDlzxKAXHR3Nbh4RuTSO8i5m3LhxuO+++7BgwYK7DhvsAN65y5cvi/vvfvvtt/D398eDDz6I559/HmPGjOGUuo2Ul5c32v2i4dfz58+jvr4eAODv7y8Gu+HDh4udvU6dOiEgIEDiV0BEJA0GQBcjk8mQkZGBxMREvPHGG3jiiSfu+BzsAN6eoqIiZGVlifvv+vj4YOzYsdBoNEhKSmK4sBKTySR2834b9K5fvy4eFxMTA4VCgWHDhmH27Nli0GvTpg3vryQi+g2O8i6oZ8+emDZtGp577jlMmjTpjveE5ULQt1ZaWtpo/10PDw+MHDkSb7/9NpKTkxESEiJ1iU6roqLilt28uro6AJZuXkJCApRKJe677z4x5CUkJDBwExHdAY7yLurFF1+EVqvF2rVrsWHDhjv6Wk4BN1ZZWYm9e/dCo9Hg448/htFoxNChQ7F161akpqaiZcuWUpfoNEwmEy5dutTkunnXrl0Tj2vbti0UCgXuu+8+zJo1Swx6bdu2ZTePiMgKGABdVHR0NJYsWYI1a9bg8ccfR8eOHW/7azkFDOj1enz44YfQarX48MMPUVtbiwEDBmDTpk1IT09HVFSU1CU6tMrKyiYfwMjOzha7eb6+vuIuGIMHDxbv00tISEBgYKDEr4CIyLXJBEEQ/uggnU6HkJAQVFRUIDg42B51kRVUV1dDoVCgf//+2Llz521/XZcuXTBy5Ei88sortivOAdXV1TXaf7e6uhqJiYlQq9WYOHEiYmNjpS7RoZjN5ia7eefOncOVK1fE49q0aSMGvYZOnlKpRExMDLt5RERWdCd5zb3bPC4uICAA69atw5QpU3Ds2DEMHDjwtr7OnTqARqMRhw8fFvffraioQNeuXbFs2TKoVCrEx8dLXaLkKisrkZ2d3WQ3r7a2FoClm5eQkACFQoGBAwc26uYFBQVJ/AqIiOi32AF0cWazGX369IGHhwe+/vrr2+q4xMfHIz09HS+99JIdKrQ/k8mEY8eOQaPRICsrC8XFxYiPj4darRb333U3ZrMZBQUFTU7bFhYWisdFRUU16uI1/BobG8tuHhGRxNgBJJGHhwcyMjIwZMgQ7NixA5MnT/7Dr3HFh0AEQcA333wDjUaDnTt34sqVK4iNjcX06dOhVqvRs2dPt1j4t6qqCtnZ2TcFvezsbNTU1AAA5HI5OnXqBKVSiWnTpolBT6FQ8A0gEZGLYAB0A4MHD0ZqaiqWLl2KlJQUfP/993jzzTexcePGJp9gdZUpYEEQcPr0aXFXjvz8fERGRmLixIlQq9Xo27evS3atzGYzLl++3GQ37/Lly+JxkZGRUCqV6NevH6ZNmyaGvHbt2rncGwAiImrM+Ud5ui3r16/HPffcg969e+Ps2bMAgLS0NCQlJd10rLN3AM+ePQutVguNRoPs7GyEh4cjPT0darUagwYNcurX9mvV1dW37Obp9XoAlu0BG7p5U6ZMadTN45qFRETuiwHQDVRUVOD111+H2WwWwx9gmQ5sijMuBJ2bmyuGvh9//BHBwcFITU3F5s2bMXz4cKfdf1cQBBQWFja5bl5BQYF4XEREBBQKBfr06YNHHnlEDHrt27d3mcBLRETW41yjPN2V4cOH47vvvrvp85WVlU0e7yxTwAUFBcjMzIRWq8WJEyfg7++PcePGYfXq1Rg9erRT7b+r1+uRk5PT5JIq1dXVAABvb2906tQJCoUCDz/8cKMHMe50txciInJvjj/KU7MtWrQIjz76KOrq6mA0GgFYHg65VQB05Cng69evY+fOndBqtTh27BjkcjnGjh2LhQsX4oEHHnDo7cAEQcCVK1ea7OZdunRJPK5169ZQKBRITEzEpEmTGnXznCGYExGR4+No4gZUKhUGDBiAadOm4fDhwwAsDwo4SwewtLQUu3fvhkajwWeffQYPDw+MGjUK77zzDsaPH+9wT6bW1NTcspvXMO3u7e2N+Ph4KBQKTJo0qVE3r0WLFhK/AiIicnWOM8qTTcXExODQoUN4/fXXMXfuXNTX1+OHH35o8thdu3ahU6dOdq6wMZ1O12j/XbPZjKFDh2Lbtm1ISUlBeHi4pPUJgoCrV682CncNH1+8eBENy2u2bNkSSqUSPXr0gFqtFoNehw4dHCpkExGRe+FC0G7owoULGDFiBObMmYP58+c3eYwgCHZfF0+v12P//v3QaDQ4cOAA6urqMHDgQKhUKqSnpyMyMtKu9QBAbW3tLbt5DR1ULy8vxMXF3bRAskKhkDyoEhGR+7iTvMYASJKqq6vDwYMHodFosG/fPlRXV6N3795Qq9WYMGECYmJibF6DIAi4du1ak+vm5efni9288PDwJnfB6NChg9M+ZUxERK6DO4GQpARBwHvvvYdhw4YhKirqpt83GAz49NNPodVqsWfPHlRUVKBbt25Yvnw5VCoV4uLibFJXbW0tzp8/32TQ0+l0AABPT0+xm5eent6om9fUotlERETOiAGQrEoQBCxcuBAZGRmYOXMmtm3bBsDyYMnRo0fF/XdLSkqQkJCAp59+GiqVCp07d7ba9a9fv37Lbp7ZbAYAhIWFQalUomvXrkhLSxODXseOHeHj42OVWoiIiBwVp4DJagRBwNKlS7FhwwYAQGhoKD744ANkZWUhMzMT165dQ7t27aBWq6FWq9G9e/e7vs+wrq7ult28iooKAJZuXseOHZuctmU3j4iIXA3vASS7EwQBzzzzDNauXXvT70VFRUGlUkGtVqNPnz63HfoEQcCNGzeaXDcvLy9P7OaFhoZCqVTeFPTi4uLYzSMiIrfBewDJ7ubMmYO///3vjT4nk8kwatQofPjhh7+7sHR9fT1yc3ObDHrl5eUALAtXd+zYEQqFAsnJyY2CXqtWrez+xDIREZEzYweQmu3HH39Et27dAFhC36//SQUGBqK4uBg+Pj4oLi6+ZTfPZDIBAEJCQm7ZzZPL5ZK8PiIiImfADiDZVdeuXfHKK6+gpqYG+fn5+OGHH3D+/HkUFxejqqoK/fv3R35+PsrKygBYunkdOnSAQqHAuHHjGgW91q1bs5tHRERkYwyA1GxmsxlHjhzB2bNnkZubK3bzgoKC0KlTJ3Tp0gXp6eli0IuPj2c3j4iISEIMgNRsnp6eiIqKQvv27RtN3UZERLCbR0RE5IAYAMkqfvsACBERETkuD6kLICIiIiL7YgAkIiIicjMMgERERERuhgGQiIiIyM0wABIRERG5GQZAIiIiIjfDAEhERETkZhgAiYiIiNwMAyARERGRm2EAJCIiInIzDIBEREREboYBkIiIiMjNMAASERERuRkGQCIiIiI3wwBIRERE5GYYAImIiIjcDAMgERERkZthACQiIiJyMwyARERERG6GAZCIiIjIzTAAEhEREbkZBkAiIiIiN8MASERERORmGACJiIiI3AwDIBEREZGbYQAkIiIicjMMgERERERuhgGQiIiIyM0wABIRERG5GQZAIiIiIjfDAEhERETkZhgAiYiIiNwMAyARERGRm2EAJCIiInIzDIBEREREboYBkIiIiMjNMAASERERuRkGQCIiIiI3wwBIRERE5Ga8bucgQRAAADqdzqbFEBEREdHdachpDbnt99xWAKysrAQAxMTENKMsIiIiIrK1yspKhISE/O4xMuE2YqLZbMaVK1cQFBQEmUxmtQKJiIiIyDoEQUBlZSWio6Ph4fH7d/ndVgAkIiIiItfBh0CIiIiI3AwDIBEREZGbYQAkIiIicjMMgERERERuhgGQiIiIyM0wABIRERG5GQZAIiIiIjfz/xsNqySDx/UpAAAAAElFTkSuQmCC", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/plain": [ "" ] }, "execution_count": 7, "metadata": {}, "output_type": "execute_result" } ], "source": [ "show(examples.create_car_mdp(), engine=\"mpl\")" ] } ], "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.12.13" }, "widgets": { "application/vnd.jupyter.widget-state+json": { "state": { "1c5f5b8840254a159b230bda1921ba61": { "model_module": "@jupyter-widgets/output", "model_module_version": "1.0.0", "model_name": "OutputModel", "state": { "_dom_classes": [], "_model_module": "@jupyter-widgets/output", "_model_module_version": "1.0.0", "_model_name": "OutputModel", "_view_count": null, "_view_module": "@jupyter-widgets/output", "_view_module_version": "1.0.0", "_view_name": "OutputView", "layout": "IPY_MODEL_46d0d3f9d30a4ebbb84358b0a823d34c", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "359f08a9ea8446df8647a5cd1765e67d": { "model_module": "@jupyter-widgets/base", "model_module_version": "2.0.0", "model_name": "LayoutModel", "state": { "_model_module": "@jupyter-widgets/base", "_model_module_version": "2.0.0", "_model_name": "LayoutModel", "_view_count": null, "_view_module": "@jupyter-widgets/base", "_view_module_version": "2.0.0", "_view_name": "LayoutView", "align_content": null, "align_items": null, "align_self": null, "border_bottom": null, "border_left": null, "border_right": null, "border_top": null, "bottom": null, "display": null, "flex": null, "flex_flow": null, "grid_area": null, "grid_auto_columns": null, "grid_auto_flow": null, "grid_auto_rows": null, "grid_column": null, "grid_gap": null, "grid_row": null, "grid_template_areas": null, "grid_template_columns": null, "grid_template_rows": null, "height": null, "justify_content": null, "justify_items": null, "left": null, "margin": null, "max_height": null, "max_width": null, "min_height": null, "min_width": null, "object_fit": null, "object_position": null, "order": null, "overflow": null, "padding": null, "right": null, "top": null, "visibility": null, "width": null } }, "3a68bb3c407c4e66a347f67379f475e5": { "model_module": "@jupyter-widgets/output", "model_module_version": "1.0.0", "model_name": "OutputModel", "state": { "_dom_classes": [], "_model_module": "@jupyter-widgets/output", "_model_module_version": "1.0.0", "_model_name": "OutputModel", "_view_count": null, "_view_module": "@jupyter-widgets/output", "_view_module_version": "1.0.0", "_view_name": "OutputView", "layout": "IPY_MODEL_359f08a9ea8446df8647a5cd1765e67d", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "3d96e90d4961464780f0678e28fcc8c0": { "model_module": "@jupyter-widgets/base", "model_module_version": "2.0.0", "model_name": "LayoutModel", "state": { "_model_module": "@jupyter-widgets/base", "_model_module_version": "2.0.0", "_model_name": "LayoutModel", "_view_count": null, "_view_module": "@jupyter-widgets/base", "_view_module_version": "2.0.0", "_view_name": "LayoutView", "align_content": null, "align_items": null, "align_self": null, "border_bottom": null, "border_left": null, "border_right": null, "border_top": null, "bottom": null, "display": null, "flex": null, "flex_flow": null, "grid_area": null, "grid_auto_columns": null, "grid_auto_flow": null, "grid_auto_rows": null, "grid_column": null, "grid_gap": null, "grid_row": null, "grid_template_areas": null, "grid_template_columns": null, "grid_template_rows": null, "height": null, "justify_content": null, "justify_items": null, "left": null, "margin": null, "max_height": null, "max_width": null, "min_height": null, "min_width": null, "object_fit": null, "object_position": null, "order": null, "overflow": null, "padding": null, "right": null, "top": null, "visibility": null, "width": null } }, "46d0d3f9d30a4ebbb84358b0a823d34c": { "model_module": "@jupyter-widgets/base", "model_module_version": "2.0.0", "model_name": "LayoutModel", "state": { "_model_module": "@jupyter-widgets/base", "_model_module_version": "2.0.0", "_model_name": "LayoutModel", "_view_count": null, "_view_module": "@jupyter-widgets/base", "_view_module_version": "2.0.0", "_view_name": "LayoutView", "align_content": null, "align_items": null, "align_self": null, "border_bottom": null, "border_left": null, "border_right": null, "border_top": null, "bottom": null, "display": null, "flex": null, "flex_flow": null, "grid_area": null, "grid_auto_columns": null, "grid_auto_flow": null, "grid_auto_rows": null, "grid_column": null, "grid_gap": null, "grid_row": null, "grid_template_areas": null, "grid_template_columns": null, "grid_template_rows": null, "height": null, "justify_content": null, "justify_items": null, "left": null, "margin": null, "max_height": null, "max_width": null, "min_height": null, "min_width": null, "object_fit": null, "object_position": null, "order": null, "overflow": null, "padding": null, "right": null, "top": null, "visibility": null, "width": null } }, "76287499d23c4a61be633b980992929b": { "model_module": "@jupyter-widgets/base", "model_module_version": "2.0.0", "model_name": "LayoutModel", "state": { "_model_module": "@jupyter-widgets/base", "_model_module_version": "2.0.0", "_model_name": "LayoutModel", "_view_count": null, "_view_module": "@jupyter-widgets/base", "_view_module_version": "2.0.0", "_view_name": "LayoutView", "align_content": null, "align_items": null, "align_self": null, "border_bottom": null, "border_left": null, "border_right": null, "border_top": null, "bottom": null, "display": null, "flex": null, "flex_flow": null, "grid_area": null, "grid_auto_columns": null, "grid_auto_flow": null, "grid_auto_rows": null, "grid_column": null, "grid_gap": null, "grid_row": null, "grid_template_areas": null, "grid_template_columns": null, "grid_template_rows": null, "height": null, "justify_content": null, "justify_items": null, "left": null, "margin": null, "max_height": null, "max_width": null, "min_height": null, "min_width": null, "object_fit": null, "object_position": null, "order": null, "overflow": null, "padding": null, "right": null, "top": null, "visibility": null, "width": null } }, "7997f13c103b4ca4954b86206ece3be7": { "model_module": "@jupyter-widgets/base", "model_module_version": "2.0.0", "model_name": "LayoutModel", "state": { "_model_module": "@jupyter-widgets/base", "_model_module_version": "2.0.0", "_model_name": "LayoutModel", "_view_count": null, "_view_module": "@jupyter-widgets/base", "_view_module_version": "2.0.0", "_view_name": "LayoutView", "align_content": null, "align_items": null, "align_self": null, "border_bottom": null, "border_left": null, "border_right": null, "border_top": null, "bottom": null, "display": null, "flex": null, "flex_flow": null, "grid_area": null, "grid_auto_columns": null, "grid_auto_flow": null, "grid_auto_rows": null, "grid_column": null, "grid_gap": null, "grid_row": null, "grid_template_areas": null, "grid_template_columns": null, "grid_template_rows": null, "height": null, "justify_content": null, "justify_items": null, "left": null, "margin": null, "max_height": null, "max_width": null, "min_height": null, "min_width": null, "object_fit": null, "object_position": null, "order": null, "overflow": null, "padding": null, "right": null, "top": null, "visibility": null, "width": null } }, "a5e2635aa671472bb625155f0ecc09cf": { "model_module": "@jupyter-widgets/base", "model_module_version": "2.0.0", "model_name": "LayoutModel", "state": { "_model_module": "@jupyter-widgets/base", "_model_module_version": "2.0.0", "_model_name": "LayoutModel", "_view_count": null, "_view_module": "@jupyter-widgets/base", "_view_module_version": "2.0.0", "_view_name": "LayoutView", "align_content": null, "align_items": null, "align_self": null, "border_bottom": null, "border_left": null, "border_right": null, "border_top": null, "bottom": null, "display": null, "flex": null, "flex_flow": null, "grid_area": null, "grid_auto_columns": null, "grid_auto_flow": null, "grid_auto_rows": null, "grid_column": null, "grid_gap": null, "grid_row": null, "grid_template_areas": null, "grid_template_columns": null, "grid_template_rows": null, "height": null, "justify_content": null, "justify_items": null, "left": null, "margin": null, "max_height": null, "max_width": null, "min_height": null, "min_width": null, "object_fit": null, "object_position": null, "order": null, "overflow": null, "padding": null, "right": null, "top": null, "visibility": null, "width": null } }, "ae85acce838d4db981b6a09ad62747b6": { "model_module": "@jupyter-widgets/output", "model_module_version": "1.0.0", "model_name": "OutputModel", "state": { "_dom_classes": [], "_model_module": "@jupyter-widgets/output", "_model_module_version": "1.0.0", "_model_name": "OutputModel", "_view_count": null, "_view_module": "@jupyter-widgets/output", "_view_module_version": "1.0.0", "_view_name": "OutputView", "layout": "IPY_MODEL_3d96e90d4961464780f0678e28fcc8c0", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "d36add79f2654eb38d4450cd61af85a7": { "model_module": "@jupyter-widgets/output", "model_module_version": "1.0.0", "model_name": "OutputModel", "state": { "_dom_classes": [], "_model_module": "@jupyter-widgets/output", "_model_module_version": "1.0.0", "_model_name": "OutputModel", "_view_count": null, "_view_module": "@jupyter-widgets/output", "_view_module_version": "1.0.0", "_view_name": "OutputView", "layout": "IPY_MODEL_a5e2635aa671472bb625155f0ecc09cf", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "f2b569ff8bf84c5e9a11eb7dd50de550": { "model_module": "@jupyter-widgets/output", "model_module_version": "1.0.0", "model_name": "OutputModel", "state": { "_dom_classes": [], "_model_module": "@jupyter-widgets/output", "_model_module_version": "1.0.0", "_model_name": "OutputModel", "_view_count": null, "_view_module": "@jupyter-widgets/output", "_view_module_version": "1.0.0", "_view_name": "OutputView", "layout": "IPY_MODEL_7997f13c103b4ca4954b86206ece3be7", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "faebc919f3d94327af58a97501f36355": { "model_module": "@jupyter-widgets/output", "model_module_version": "1.0.0", "model_name": "OutputModel", "state": { "_dom_classes": [], "_model_module": "@jupyter-widgets/output", "_model_module_version": "1.0.0", "_model_name": "OutputModel", "_view_count": null, "_view_module": "@jupyter-widgets/output", "_view_module_version": "1.0.0", "_view_name": "OutputView", "layout": "IPY_MODEL_76287499d23c4a61be633b980992929b", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } } }, "version_major": 2, "version_minor": 0 } } }, "nbformat": 4, "nbformat_minor": 5 }