{ "cells": [ { "cell_type": "markdown", "id": "d52b8528-837c-4dd2-82d1-63106302bc94", "metadata": {}, "source": [ "# Generating GIFs\n", "If you provide a function that renders each state of a model to an image, you can extract a GIF from this. The previous notebook with gymnasium was an example of this, but you can do it for any model! You can either provide a scheduler, or a path.\n", "\n", "In this example, we will generate an image from the die dtmc; the initial state is a question mark and the outcomes of the die are a picture of the die." ] }, { "cell_type": "code", "execution_count": 1, "id": "371ccbc1-6284-4714-92d8-bdcdf25ccc12", "metadata": { "execution": { "iopub.execute_input": "2025-04-24T14:32:33.664875Z", "iopub.status.busy": "2025-04-24T14:32:33.664671Z", "iopub.status.idle": "2025-04-24T14:32:37.850597Z", "shell.execute_reply": "2025-04-24T14:32:37.850010Z" } }, "outputs": [ { "data": { "image/jpeg": "/9j/4AAQSkZJRgABAQAAAQABAAD/2wBDAAgGBgcGBQgHBwcJCQgKDBQNDAsLDBkSEw8UHRofHh0aHBwgJC4nICIsIxwcKDcpLDAxNDQ0Hyc5PTgyPC4zNDL/2wBDAQkJCQwLDBgNDRgyIRwhMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjL/wAARCACAAIADASIAAhEBAxEB/8QAHwAAAQUBAQEBAQEAAAAAAAAAAAECAwQFBgcICQoL/8QAtRAAAgEDAwIEAwUFBAQAAAF9AQIDAAQRBRIhMUEGE1FhByJxFDKBkaEII0KxwRVS0fAkM2JyggkKFhcYGRolJicoKSo0NTY3ODk6Q0RFRkdISUpTVFVWV1hZWmNkZWZnaGlqc3R1dnd4eXqDhIWGh4iJipKTlJWWl5iZmqKjpKWmp6ipqrKztLW2t7i5usLDxMXGx8jJytLT1NXW19jZ2uHi4+Tl5ufo6erx8vP09fb3+Pn6/8QAHwEAAwEBAQEBAQEBAQAAAAAAAAECAwQFBgcICQoL/8QAtREAAgECBAQDBAcFBAQAAQJ3AAECAxEEBSExBhJBUQdhcRMiMoEIFEKRobHBCSMzUvAVYnLRChYkNOEl8RcYGRomJygpKjU2Nzg5OkNERUZHSElKU1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6goOEhYaHiImKkpOUlZaXmJmaoqOkpaanqKmqsrO0tba3uLm6wsPExcbHyMnK0tPU1dbX2Nna4uPk5ebn6Onq8vP09fb3+Pn6/9oADAMBAAIRAxEAPwD1vxr4103wHo0OqapBdzQS3C26raorMGKs2TuZRjCHv6Vwf/DR3g//AKBuuf8AfiH/AOO0ftHf8k80/wD7Csf/AKKlrP8Ahb8LfBviP4caTq2raN9ovp/O8yX7VMm7bM6jhXAHAA4FAGh/w0d4P/6Buuf9+If/AI7R/wANHeD/APoG65/34h/+O10H/Ckvh5/0L3/k7cf/AByj/hSXw8/6F7/yduP/AI5QBz//AA0d4P8A+gbrn/fiH/47R/w0d4P/AOgbrn/fiH/47XQf8KS+Hn/Qvf8Ak7cf/HKP+FJfDz/oXv8AyduP/jlAHP8A/DR3g/8A6Buuf9+If/jtH/DR3g//AKBuuf8AfiH/AOO10H/Ckvh5/wBC9/5O3H/xyj/hSXw8/wChe/8AJ24/+OUAc/8A8NHeD/8AoG65/wB+If8A47R/w0d4P/6Buuf9+If/AI7XQf8ACkvh5/0L3/k7cf8Axyj/AIUl8PP+he/8nbj/AOOUAc//AMNHeD/+gbrn/fiH/wCO0f8ADR3g/wD6Buuf9+If/jtdB/wpL4ef9C9/5O3H/wAco/4Ul8PP+he/8nbj/wCOUAc//wANHeD/APoG65/34h/+O0f8NHeD/wDoG65/34h/+O10H/Ckvh5/0L3/AJO3H/xyj/hSXw8/6F7/AMnbj/45QBz/APw0d4P/AOgbrn/fiH/47XYeBfiPo/xA+3/2TbX0P2Hy/M+1oi537sY2s39w9cdq5fxZ8IPAmmeDdcv7PQvLurXT7iaF/tc52usbFTgvg4IHWuX/AGZf+Zp/7dP/AGtQB0H7R3/JPNP/AOwrH/6KlroPgl/ySHQv+3j/ANKJK5/9o7/knmn/APYVj/8ARUtdB8Ev+SQ6F/28f+lElAHoFeR+K/2gPDmh3BtdGt5NbnR9sjxyeVAuCwOHIJY5A6KVIbIbtR+0B4rm0PwdBo1qZEn1h2R5FyNsKbS4yCDliyLjBBUuD2r5coA+l/D37RmhaheGDXNMn0iM/cnSQ3KDgk7gFDDoAMBs55wBmvZIJ4bq3iuLeWOaCVA8ckbBldSMggjggjnNfAlfQf7OXiuaZNQ8KXBkdIUN7asckIu4LInJ4G5lYADqXJPIoA98ooooAKKKKACvI/Ff7QHhzQ7g2ujW8mtzo+2R45PKgXBYHDkEscgdFKkNkN2o/aA8VzaH4Og0a1MiT6w7I8i5G2FNpcZBByxZFxggqXB7V8uUAfS/h79ozQtQvDBrmmT6RGfuTpIblBwSdwChh0AGA2c84AzXskE8N1bxXFvLHNBKgeOSNgyupGQQRwQRzmvgSvoP9nLxXNMmoeFLgyOkKG9tWOSEXcFkTk8DcysAB1LknkUAeueO/wDknniX/sFXX/opq8f/AGZf+Zp/7dP/AGtXsHjv/knniX/sFXX/AKKavH/2Zf8Amaf+3T/2tQB0H7R3/JPNP/7Csf8A6KlroPgl/wAkh0L/ALeP/SiSuf8A2jv+Seaf/wBhWP8A9FS10HwS/wCSQ6F/28f+lElAHL/tGeHrjUPC+na5A2Y9LlZJ0wOElKAPknsyqMAHO/PABr5or77nghureW3uIo5oJUKSRyKGV1IwQQeCCOMV4P4r/ZyWa4Nx4U1OOBHfLWl+WKoCWPyyKCcD5QFIJ6kselAHz5XvH7N3h64bUdW8Ss221SL7BGMA+Y5KSN3yNoVO3O/rwaPD37N1414W8S6zAlqvSPTSWeTg/wATqAmDt/hbPI46173pWlWOh6Xb6ZpltHbWdumyKJOij+ZJOSSeSSSck0AXKKKKACiiigDxf9ozw9cah4X07XIGzHpcrJOmBwkpQB8k9mVRgA5354ANfNFffc8EN1by29xFHNBKhSSORQyupGCCDwQRxivB/Ff7OSzXBuPCmpxwI75a0vyxVASx+WRQTgfKApBPUlj0oA+fK94/Zu8PXDajq3iVm22qRfYIxgHzHJSRu+RtCp2539eDR4e/ZuvGvC3iXWYEtV6R6aSzycH+J1ATB2/wtnkcda970rSrHQ9Lt9M0y2jtrO3TZFEnRR/MknJJPJJJOSaAMvx3/wAk88S/9gq6/wDRTV4/+zL/AMzT/wBun/tavYPHf/JPPEv/AGCrr/0U1eP/ALMv/M0/9un/ALWoA6D9o7/knmn/APYVj/8ARUtdB8Ev+SQ6F/28f+lElc/+0d/yTzT/APsKx/8AoqWug+CX/JIdC/7eP/SiSgD0CvI/Ff7QHhzQ7g2ujW8mtzo+2R45PKgXBYHDkEscgdFKkNkN2o/aA8VzaH4Og0a1MiT6w7I8i5G2FNpcZBByxZFxggqXB7V8uUAfS/h79ozQtQvDBrmmT6RGfuTpIblBwSdwChh0AGA2c84AzXskE8N1bxXFvLHNBKgeOSNgyupGQQRwQRzmvgSvoP8AZy8VzTJqHhS4MjpChvbVjkhF3BZE5PA3MrAAdS5J5FAHvlFFFABRRRQAV5H4r/aA8OaHcG10a3k1udH2yPHJ5UC4LA4cgljkDopUhshu1H7QHiubQ/B0GjWpkSfWHZHkXI2wptLjIIOWLIuMEFS4PavlygD6X8PftGaFqF4YNc0yfSIz9ydJDcoOCTuAUMOgAwGznnAGa9kgnhureK4t5Y5oJUDxyRsGV1IyCCOCCOc18CV9B/s5eK5pk1DwpcGR0hQ3tqxyQi7gsicngbmVgAOpck8igD1zx3/yTzxL/wBgq6/9FNXj/wCzL/zNP/bp/wC1q9g8d/8AJPPEv/YKuv8A0U1eP/sy/wDM0/8Abp/7WoA6D9o7/knmn/8AYVj/APRUtdB8Ev8AkkOhf9vH/pRJXP8A7R3/ACTzT/8AsKx/+ipa6D4Jf8kh0L/t4/8ASiSgDl/2jPD1xqHhfTtcgbMelysk6YHCSlAHyT2ZVGADnfngA180V99zwQ3VvLb3EUc0EqFJI5FDK6kYIIPBBHGK8H8V/s5LNcG48KanHAjvlrS/LFUBLH5ZFBOB8oCkE9SWPSgD58r3j9m7w9cNqOreJWbbapF9gjGAfMclJG75G0Knbnf14NHh79m68a8LeJdZgS1XpHppLPJwf4nUBMHb/C2eRx1r3vStKsdD0u30zTLaO2s7dNkUSdFH8ySckk8kkk5JoAuUUUUAFFFFAHi/7Rnh641Dwvp2uQNmPS5WSdMDhJSgD5J7MqjABzvzwAa+aK++54Ibq3lt7iKOaCVCkkcihldSMEEHggjjFeD+K/2clmuDceFNTjgR3y1pfliqAlj8signA+UBSCepLHpQB8+V7x+zd4euG1HVvErNttUi+wRjAPmOSkjd8jaFTtzv68Gjw9+zdeNeFvEuswJar0j00lnk4P8AE6gJg7f4WzyOOte96VpVjoel2+maZbR21nbpsiiToo/mSTkknkkknJNAGX47/wCSeeJf+wVdf+imrx/9mX/maf8At0/9rV7B47/5J54l/wCwVdf+imrx/wDZl/5mn/t0/wDa1AHQftHf8k80/wD7Csf/AKKlroPgl/ySHQv+3j/0okrn/wBo7/knmn/9hWP/ANFS10HwS/5JDoX/AG8f+lElAHoFeR+K/wBoDw5odwbXRreTW50fbI8cnlQLgsDhyCWOQOilSGyG7UftAeK5tD8HQaNamRJ9YdkeRcjbCm0uMgg5Ysi4wQVLg9q+XKAPpfw9+0ZoWoXhg1zTJ9IjP3J0kNyg4JO4BQw6ADAbOecAZr2SCeG6t4ri3ljmglQPHJGwZXUjIII4II5zXwJX0H+zl4rmmTUPClwZHSFDe2rHJCLuCyJyeBuZWAA6lyTyKAPfKKKKACiiigAryPxX+0B4c0O4Nro1vJrc6PtkeOTyoFwWBw5BLHIHRSpDZDdqP2gPFc2h+DoNGtTIk+sOyPIuRthTaXGQQcsWRcYIKlwe1fLlAH0v4e/aM0LULwwa5pk+kRn7k6SG5QcEncAoYdABgNnPOAM17JBPDdW8VxbyxzQSoHjkjYMrqRkEEcEEc5r4Er6D/Zy8VzTJqHhS4MjpChvbVjkhF3BZE5PA3MrAAdS5J5FAHrnjv/knniX/ALBV1/6KavH/ANmX/maf+3T/ANrV7B47/wCSeeJf+wVdf+imrx/9mX/maf8At0/9rUAdB+0d/wAk80//ALCsf/oqWug+CX/JIdC/7eP/AEokrn/2jv8Aknmn/wDYVj/9FS10HwS/5JDoX/bx/wClElAHL/tGeHrjUPC+na5A2Y9LlZJ0wOElKAPknsyqMAHO/PABr5or77nghureW3uIo5oJUKSRyKGV1IwQQeCCOMV4P4r/AGclmuDceFNTjgR3y1pfliqAlj8signA+UBSCepLHpQB8+V7x+zd4euG1HVvErNttUi+wRjAPmOSkjd8jaFTtzv68Gjw9+zdeNeFvEuswJar0j00lnk4P8TqAmDt/hbPI46173pWlWOh6Xb6ZpltHbWdumyKJOij+ZJOSSeSSSck0AXKKKKACiiigDxf9ozw9cah4X07XIGzHpcrJOmBwkpQB8k9mVRgA5354ANfNFffc8EN1by29xFHNBKhSSORQyupGCCDwQRxivB/Ff7OSzXBuPCmpxwI75a0vyxVASx+WRQTgfKApBPUlj0oA+fK94/Zu8PXDajq3iVm22qRfYIxgHzHJSRu+RtCp2539eDR4e/ZuvGvC3iXWYEtV6R6aSzycH+J1ATB2/wtnkcda970rSrHQ9Lt9M0y2jtrO3TZFEnRR/MknJJPJJJOSaAMvx3/AMk88S/9gq6/9FNXj/7Mv/M0/wDbp/7Wr2Dx3/yTzxL/ANgq6/8ARTV4/wDsy/8AM0/9un/tagDoP2jv+Seaf/2FY/8A0VLVj4QeLPDemfC3RrO/8QaVaXUfn74Z72ON1zPIRlScjIIP411HxH8C/wDCwPD1vpP9o/YPJu1ufN8jzc4R1243L/fznPavL/8AhmX/AKm7/wApv/22gD2D/hO/B/8A0Neh/wDgxh/+Ko/4Tvwf/wBDXof/AIMYf/iq8f8A+GZf+pu/8pv/ANto/wCGZf8Aqbv/ACm//baAPYP+E78H/wDQ16H/AODGH/4qj/hO/B//AENeh/8Agxh/+Krx/wD4Zl/6m7/ym/8A22j/AIZl/wCpu/8AKb/9toA9g/4Tvwf/ANDXof8A4MYf/iqP+E78H/8AQ16H/wCDGH/4qvH/APhmX/qbv/Kb/wDbaP8AhmX/AKm7/wApv/22gD2D/hO/B/8A0Neh/wDgxh/+Ko/4Tvwf/wBDXof/AIMYf/iq8f8A+GZf+pu/8pv/ANto/wCGZf8Aqbv/ACm//baAPYP+E78H/wDQ16H/AODGH/4qj/hO/B//AENeh/8Agxh/+Krx/wD4Zl/6m7/ym/8A22j/AIZl/wCpu/8AKb/9toA9g/4Tvwf/ANDXof8A4MYf/iqP+E78H/8AQ16H/wCDGH/4qvH/APhmX/qbv/Kb/wDbaP8AhmX/AKm7/wApv/22gD0Txp408K3XgXxDb2/iXRpp5dMuUjjjv4mZ2MTAAANkknjFed/sy/8AM0/9un/taj/hmX/qbv8Aym//AG2vQPhl8Mv+Fc/2p/xN/wC0Pt/lf8u3lbNm/wD22znf7dKAP//Z", "image/png": "iVBORw0KGgoAAAANSUhEUgAAAIAAAACACAIAAABMXPacAAAEqUlEQVR4Ae2Z247cMAxDO0X//5e3XhgwDGOSSCJlOQD75GR0oXji5rKfn5+fP/pX58Dfutbq/OuAABRfBwIgAMUOFLf/t/T/fD7LGR3SHZgffPRfEN1eX0EB8PlFjxYAuqW+ggLg84sevd6Elwbz7WL5SYd2B24ebbQD7DamRApAiq32ogJg9yolUgBSbLUXFQC7VymRApBiq72oANi9SokUgBRb7UUFwO5VSuTDm3C459d3vxe9V2/TzwfwVXoH2X86HMNm/UwAN9LnnXQshhL9tHuAUf0g4Y0fiUkLrx5v/JVsDoCYmljW1STI+ZiSWNaikwAA0YHkLpOEDxENSG4XTAAQnlyJzQEUAH4J4BUQkHh3sAIKABleuegOAOEPAKw6o6BxweqL1NEOMMLKChOALGeNdQXAaFRWmABkOWusKwBGo7LCBCDLWWNdCADrwzKrjnHmEcbqi9SBAIxJtAg7gAJA4HfReIXw8C0R7w5WQAEgwyu3OUAAgFwCSC6LH6IBye36CQBaoZiOWBbL97lOTEksa+7b1hwArZBXjTd+0U0/9Orxxl8JZv5Rvmt6/DTIkn41Uvh8iX4mgD75zRjHWj8z26yfD2DGMA/2rvW2a4V2D3iXv+eoFYBiFgIgAMUOFLfXDhCAYgeK22c9hn59Hdv2bIebuk0/H8BX6d2R/tPhGDbrZwK4kT5fksdiKNFPuwkb1Q8S3viRmLTw6vHGX8nmAIipiWVdTYKcjymJZS06CQAQHUjuMkn4ENGA5HbBBADhyZXYHEAB4JcAXgEBiXcHK6AAkOGVi+4AEP4AwKozChoXrL5IHe0AI6ysMAHIctZYVwCMRmWFCUCWs8a6AmA0KitMALKcNdaFALA+LLPqGGceYay+SB0IwJhEi7ADKAAEfheNVwgP3xLx7mAFFAAyvHKbAwQAyCWA5LL4IRqQ3K6fAKAViumIZbF8n+vElMSy5r5tzQHQCnnVeOMX3fRDrx5v/JVg5h/lu6bHT4Ms6Vcjhc+X6GcC6JPfjHGs9TOzzfr5AGYM82DvWm+7Vmj3gHf5e45aAShmIQACUOxAcXvtAAEodqC4fdZj6NfXsW3Pdrip2/TzAXyV3h3pPx2OYbN+JoAb6fMleSyGEv20m7BR/SDhjR+JSQuvHm/8lWwOgJiaWNbVJMj5mJJY1qKTAADRgeQuk4QPEQ1IbhdMABCeXInNARQAfgngFRCQeHewAgoAGV656A4A4Q8ArDqjoHHB6ovU0Q4wwsoKE4AsZ411BcBoVFaYAGQ5a6wrAEajssIEIMtZY10IAOvDMquOceYRxuqL1IEAjEm0CDuAAkDgd9F4hfDwLRHvDlZAASDDK7c5QACAXAJILosfogHJ7foJAFqhmI5YFsv3uU5MSSxr7tvWHACtkFeNN37RTT/06vHGXwlm/lG+a3r8NMiSfjVS+HyJfiaAPvnNGMdaPzPbrJ8PYMYwD/au9bZrhXYPeJe/56gVgGIWAiAAxQ4Ut9cOEIBiB4rbawcIQLEDxe21A4oBPLwJP37YKZb//vbaAcUMBUAAih0obq8dUAzgs+27a/Ggp7bXDigmIwACUOxAcfv/veJRI3L78MUAAAAASUVORK5CYII=", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "from stormvogel import *\n", "from time import sleep\n", "import IPython.display as ipd\n", "\n", "for i in range(7):\n", " ipd.clear_output(wait=True)\n", " ipd.display(examples.generate_dice_image(i))\n", " sleep(0.5)" ] }, { "cell_type": "code", "execution_count": 2, "id": "31120984-8811-42b5-b0c5-41482cba9ae1", "metadata": { "execution": { "iopub.execute_input": "2025-04-24T14:32:37.853212Z", "iopub.status.busy": "2025-04-24T14:32:37.852786Z", "iopub.status.idle": "2025-04-24T14:32:37.855857Z", "shell.execute_reply": "2025-04-24T14:32:37.855427Z" } }, "outputs": [], "source": [ "def state_to_image(s: State):\n", " if s.is_initial():\n", " return examples.generate_dice_image(0) # Question mark.\n", " else:\n", " return examples.generate_dice_image(s.valuations[\"rolled\"]) # Die image" ] }, { "cell_type": "code", "execution_count": 3, "id": "10adbc0d-33ad-4194-94e6-b75f511e36a8", "metadata": { "execution": { "iopub.execute_input": "2025-04-24T14:32:37.857902Z", "iopub.status.busy": "2025-04-24T14:32:37.857503Z", "iopub.status.idle": "2025-04-24T14:32:39.915522Z", "shell.execute_reply": "2025-04-24T14:32:39.914942Z" } }, "outputs": [ { "data": { "application/vnd.jupyter.widget-view+json": { "model_id": "108fdbbf34244a0b930c4aa7016aebd2", "version_major": 2, "version_minor": 0 }, "text/plain": [ "Output()" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/html": [ "" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "application/javascript": [ "return_id_result('http://127.0.0.1:8889', 'HAqdtNtaORJiaQghFaFA', 'test message')" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" }, { "name": "stdout", "output_type": "stream", "text": [ "Test request failed. See 'Communication server remark' in docs. Disable warning by use_server=False.\n" ] }, { "data": { "application/vnd.jupyter.widget-view+json": { "model_id": "c03a4d19620c4acea35381b213079683", "version_major": 2, "version_minor": 0 }, "text/plain": [ "Output()" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/html": [ "\n", "\n", "\n", " \n", " Network\n", " \n", " \n", " \n", " \n", "
\n", " \n", " \n", " \n", "\n" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "mdp = examples.create_die_dtmc()\n", "vis = show(mdp, layout=Layout(\"layouts/die.json\"))" ] }, { "cell_type": "markdown", "id": "4af83b89-8a74-48fb-95c2-e367ea732d72", "metadata": {}, "source": [ "Now when we roll the die, we start in the initial state (question mark), and we go to a state where we rolled a result." ] }, { "cell_type": "code", "execution_count": 4, "id": "4eb483a9-de47-48ad-9917-ca10ae0ade3d", "metadata": { "execution": { "iopub.execute_input": "2025-04-24T14:32:39.952860Z", "iopub.status.busy": "2025-04-24T14:32:39.952661Z", "iopub.status.idle": "2025-04-24T14:32:39.983094Z", "shell.execute_reply": "2025-04-24T14:32:39.982541Z" } }, "outputs": [ { "data": { "text/html": [ "" ], "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# Try reloading this cell, it may give a different dice roll.\n", "\n", "import IPython.display as ipd\n", "filename = extensions.render_model_gif(mdp, state_to_image, filename=\"die\")\n", "extensions.embed_gif(filename)" ] }, { "cell_type": "code", "execution_count": null, "id": "387ff4cc-8aed-4401-bd04-15f19cf3a484", "metadata": {}, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.12.3" }, "widgets": { "application/vnd.jupyter.widget-state+json": { "state": { "09c938fdbffd4aada39a703aef444775": { "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 } }, "108fdbbf34244a0b930c4aa7016aebd2": { "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_9fd77a9451594a6f9f9a492ea7d68937", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "3e71fd5a5f1440e4a6a79d5bc18485f8": { "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 } }, "49519473f21d41fea429a8320e23846d": { "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_3e71fd5a5f1440e4a6a79d5bc18485f8", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "4e22850d45104fb9ab6fe86a0286b649": { "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 } }, "51a42935acac4da09856c543968c0f56": { "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_9eacfff54fdb4abcb4b4b0cc51501c87", "msg_id": "", "outputs": [ { "data": { "text/html": "\n\n\n \n Network\n \n \n \n \n
\n \n \n \n\n", "text/plain": "" }, "metadata": {}, "output_type": "display_data" } ], "tabbable": null, "tooltip": null } }, "6d1e7cb1fda949d8ac3257504925bedd": { "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_8fb267de99e0414ebfda3c000bdd3cf0", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "7311ad83af4948d8a6d85379ffd20059": { "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 } }, "757a8984ea6d433f85b2f5597d2fa512": { "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_7311ad83af4948d8a6d85379ffd20059", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "772db6365e184a0cb02c03650472c173": { "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_4e22850d45104fb9ab6fe86a0286b649", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "85171b1782964588b21a847b0628c477": { "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 } }, "8fb267de99e0414ebfda3c000bdd3cf0": { "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 } }, "960267cb509745ddbd86558ec19c9333": { "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_09c938fdbffd4aada39a703aef444775", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "9ced6313223e46cdbaee75f79d40bc63": { "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_dd51deb61f67473a9f4f9227f5c9a818", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "9eacfff54fdb4abcb4b4b0cc51501c87": { "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 } }, "9fd77a9451594a6f9f9a492ea7d68937": { "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 } }, "a78c36c7a1344edca7c0079a7fd33b1f": { "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 } }, "af85c2eaf6de4f2e826a80526a31b830": { "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_85171b1782964588b21a847b0628c477", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "c03a4d19620c4acea35381b213079683": { "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_dd2539fc0e5b477680b1d23d239f2393", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "d0e3948595a14736ae259bebcacb3c45": { "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_a78c36c7a1344edca7c0079a7fd33b1f", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "dd2539fc0e5b477680b1d23d239f2393": { "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 } }, "dd51deb61f67473a9f4f9227f5c9a818": { "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 } }, "fc4fd3baa79c4ed0ac30ebc20a5a7802": { "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_fd96e81b2952456dab0f1d1f66c91b14", "msg_id": "", "outputs": [], "tabbable": null, "tooltip": null } }, "fd96e81b2952456dab0f1d1f66c91b14": { "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 } } }, "version_major": 2, "version_minor": 0 } } }, "nbformat": 4, "nbformat_minor": 5 }