{
"cells": [
{
"cell_type": "markdown",
"id": "b5594ded-98b7-4aaa-8007-32f22e6b6bd6",
"metadata": {},
"source": [
"# End component elimination\n",
"End Components (ECs) are sets of states in an MDP where:\n",
"* Every state can reach every other state. (Strongly Connected Component)\n",
"* All actions always lead to a state that is also in the MEC (there is no escape)\n",
"\n",
"For analysis, it is often useful to eliminate these MECs to a single state. We will show how to do this using stormpy and stormvogel."
]
},
{
"cell_type": "code",
"execution_count": 1,
"id": "b4889445-5f24-48a4-a5ec-31452dad1e24",
"metadata": {
"execution": {
"iopub.execute_input": "2025-07-21T08:30:16.760334Z",
"iopub.status.busy": "2025-07-21T08:30:16.760127Z",
"iopub.status.idle": "2025-07-21T08:30:19.993062Z",
"shell.execute_reply": "2025-07-21T08:30:19.992469Z"
}
},
"outputs": [
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "638966d8ade743fca3e67d3e1d2be5e7",
"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": [
"\n",
"function return_id_result(url, id, data) {\n",
" fetch(url, {\n",
" method: 'POST',\n",
" body: JSON.stringify({\n",
" 'id': id,\n",
" 'data': data\n",
" })\n",
" })\n",
" }\n"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"application/javascript": [
"return_id_result('http://127.0.0.1:8889', 'lKZGScbmZyFKHuozhQHN', 'test message')"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"Test request failed. See 'Implementation details' in docs. Disable warning by use_server=False.\n"
]
},
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "f75926583fd54c9f9360930bd4f802a2",
"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",
"\n"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"from stormvogel import *\n",
"\n",
"init = \"init\"\n",
"\n",
"def available_actions(s: pgc.State):\n",
" if s == \"init\":\n",
" return [[\"one\"], [\"two\"]]\n",
" elif s == \"mec1\" or s == \"mec2\":\n",
" return [[\"one\"], [\"two\"]]\n",
" return [[]]\n",
"\n",
"def delta(s: pgc.State, a: pgc.Action):\n",
" if s == \"init\" and \"one\" in a:\n",
" return [(0.5, \"mec1\"), (0.5, \"mec2\")]\n",
" elif s == \"mec1\":\n",
" return [(1, \"mec2\")]\n",
" elif s == \"mec2\":\n",
" return [(1, \"mec1\")]\n",
" elif s == \"init\" and \"two\" in a:\n",
" return [(1, \"mec1\")]\n",
" return [(1,s)]\n",
"\n",
"labels = lambda s: s\n",
"\n",
"mdp = pgc.build_pgc(\n",
" delta=delta,\n",
" initial_state_pgc=init,\n",
" available_actions=available_actions,\n",
" labels=labels,\n",
" modeltype=ModelType.MDP,)\n",
"vis = show(mdp, layout=Layout(\"layouts/mec.json\"))"
]
},
{
"cell_type": "markdown",
"id": "92b22cf0-5a12-4652-b1ef-4b3bb5a66842",
"metadata": {},
"source": [
"First, let's show the maximal end components of this model."
]
},
{
"cell_type": "code",
"execution_count": 2,
"id": "44b631e1-add4-4f45-9c4f-635fd8a12d34",
"metadata": {
"execution": {
"iopub.execute_input": "2025-07-21T08:30:20.043697Z",
"iopub.status.busy": "2025-07-21T08:30:20.043484Z",
"iopub.status.idle": "2025-07-21T08:30:20.050441Z",
"shell.execute_reply": "2025-07-21T08:30:20.049990Z"
}
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[(frozenset({1, 2}), frozenset({(1, Action(labels=frozenset({'one'}))), (2, Action(labels=frozenset({'two'}))), (2, Action(labels=frozenset({'one'}))), (1, Action(labels=frozenset({'two'})))}))]\n"
]
}
],
"source": [
"def stormvogel_get_maximal_end_components(sv_model):\n",
" sp_model = stormpy_utils.mapping.stormvogel_to_stormpy(sv_model)\n",
" f = extensions.choice_mapping(sv_model, sp_model)\n",
" decomposition = stormpy.get_maximal_end_components(sp_model)\n",
" res = []\n",
" for mec in decomposition:\n",
" states = set()\n",
" actions = set()\n",
" for s_id, choices in mec:\n",
" states.add(s_id)\n",
" actions = actions | set(map(lambda x: f.inverse[x], choices))\n",
" res.append((frozenset(states), frozenset(actions)))\n",
" return res\n",
"\n",
"decomp = stormvogel_get_maximal_end_components(mdp)\n",
"print(decomp)"
]
},
{
"cell_type": "code",
"execution_count": 3,
"id": "ac2073e9-1c88-4c64-937c-05eb7473933f",
"metadata": {
"execution": {
"iopub.execute_input": "2025-07-21T08:30:20.053995Z",
"iopub.status.busy": "2025-07-21T08:30:20.053579Z",
"iopub.status.idle": "2025-07-21T08:30:20.064560Z",
"shell.execute_reply": "2025-07-21T08:30:20.064142Z"
}
},
"outputs": [],
"source": [
"vis.highlight_decomposition(decomp)"
]
},
{
"cell_type": "markdown",
"id": "66cbaa0a-1165-48c9-8529-1aa2c967defc",
"metadata": {},
"source": [
"Now we perform end component elimination by converting to stormpy and back."
]
},
{
"cell_type": "code",
"execution_count": 4,
"id": "84392fb7-ab3c-4d28-993f-bebe4f72a179",
"metadata": {
"execution": {
"iopub.execute_input": "2025-07-21T08:30:20.066369Z",
"iopub.status.busy": "2025-07-21T08:30:20.065985Z",
"iopub.status.idle": "2025-07-21T08:30:20.071671Z",
"shell.execute_reply": "2025-07-21T08:30:20.071222Z"
}
},
"outputs": [],
"source": [
"import stormpy\n",
"\n",
"def map_state_labels(m, res):\n",
" \"\"\"Based on the result of EC elimination, create a new state labeling that can be used for a new model that captures the result.\n",
" Args:\n",
" m: stormpy model\n",
" res (EndComponentEliminatorReturnTypeDouble): EC result\n",
" \"\"\"\n",
" old_nr_columns = m.transition_matrix.nr_columns\n",
" new_nr_columns = res.matrix.nr_columns\n",
" sl = stormpy.StateLabeling(new_nr_columns)\n",
"\n",
" for s_old in range(old_nr_columns):\n",
" s_new = res.old_to_new_state_mapping[s_old]\n",
" for l in m.labeling.get_labels_of_state(s_old):\n",
" sl.add_label(l)\n",
" sl.add_label_to_state(l, s_new)\n",
" return sl\n",
"\n",
"def map_choice_labels(m_old, m_new, res):\n",
" \"\"\"Based on the result of EC elimination, create a new choice labeling that can be used for a new model that captures the result.\n",
" Args:\n",
" m_old: old stormpy model\n",
" m_new: new strompy model that is based on res\n",
" res (EndComponentEliminatorReturnTypeDouble): EC result\n",
" \"\"\"\n",
" new_nr_rows = m_new.transition_matrix.nr_rows\n",
" cl = stormpy.storage.ChoiceLabeling(new_nr_rows)\n",
" old_nr_columns = m_old.transition_matrix.nr_columns\n",
"\n",
" for s_old in range(old_nr_columns):\n",
" s_new = res.old_to_new_state_mapping[s_old]\n",
" old_no_choices = m_old.get_nr_available_actions(s_old)\n",
" new_no_choices = m_new.get_nr_available_actions(s_new)\n",
" if (old_no_choices == new_no_choices):\n",
" for action_no in range(old_no_choices):\n",
" old_index = m_old.get_choice_index(s_old, action_no)\n",
" labels = m_old.choice_labeling.get_labels_of_choice(old_index)\n",
" new_index = m_new.get_choice_index(s_new, action_no)\n",
" for l in labels:\n",
" cl.add_label(l)\n",
" cl.add_label_to_choice(l, new_index)\n",
" return cl\n",
"\n",
"def simple_ec_elimination(m):\n",
" \"\"\"Perform EC elimination on a stormpy model while preserving labels. \n",
" Label sets of merged states are unified. \n",
" Action labels are preserved when possible.\n",
" Args:\n",
" m: stormpy model\n",
" \"\"\"\n",
" # Keep all states, and consider ecs to be possible anywhere in the model\n",
" subsystem = stormpy.BitVector(m.nr_states, True)\n",
" possible_ec_rows = stormpy.BitVector(m.nr_choices, True)\n",
" res = stormpy.eliminate_ECs(\n",
" matrix = m.transition_matrix, \n",
" subsystem = subsystem,\n",
" possible_ecs = possible_ec_rows,\n",
" add_sink_row_states = subsystem,\n",
" add_self_loop_at_sink_states=True\n",
" )\n",
" new_labels = map_state_labels(m, res)\n",
" components = stormpy.SparseModelComponents(transition_matrix=res.matrix, state_labeling=new_labels)\n",
" m_new = stormpy.storage.SparseMdp(components)\n",
" components.choice_labeling = map_choice_labels(m, m_new, res)\n",
" m_updated = stormpy.storage.SparseMdp(components)\n",
" return m_updated"
]
},
{
"cell_type": "code",
"execution_count": 5,
"id": "50ee6296-c604-4c1a-a395-52d34ad2f11c",
"metadata": {
"execution": {
"iopub.execute_input": "2025-07-21T08:30:20.073163Z",
"iopub.status.busy": "2025-07-21T08:30:20.072993Z",
"iopub.status.idle": "2025-07-21T08:30:20.155294Z",
"shell.execute_reply": "2025-07-21T08:30:20.154777Z"
}
},
"outputs": [
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "ec55ae55f933477f9c7195bb8ed2e54e",
"version_major": 2,
"version_minor": 0
},
"text/plain": [
"Output()"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "636e153fc6cd42cabd14994175df7627",
"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",
"\n"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"sp_mdp = stormpy_utils.mapping.stormvogel_to_stormpy(mdp)\n",
"sp_mdp_elim = simple_ec_elimination(sp_mdp)\n",
"sv_mdp_elim = stormpy_utils.mapping.stormpy_to_stormvogel(sp_mdp_elim)\n",
"vis = show(sv_mdp_elim)"
]
},
{
"cell_type": "markdown",
"id": "4d2c5fd5-d566-4b6b-bb8c-729fbfac9a28",
"metadata": {},
"source": [
"These functions are also available under stormvogel.extensions.ec_elimination."
]
},
{
"cell_type": "code",
"execution_count": 6,
"id": "067a6684-26b9-4ef6-ab1a-1ee969f83f8c",
"metadata": {
"execution": {
"iopub.execute_input": "2025-07-21T08:30:20.206592Z",
"iopub.status.busy": "2025-07-21T08:30:20.206408Z",
"iopub.status.idle": "2025-07-21T08:30:20.212643Z",
"shell.execute_reply": "2025-07-21T08:30:20.212141Z"
}
},
"outputs": [
{
"data": {
"text/plain": [
"True"
]
},
"execution_count": 6,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"sp_mdp_elim2 = extensions.simple_ec_elimination(sp_mdp)\n",
"sv_mdp_elim2 = stormpy_utils.mapping.stormpy_to_stormvogel(sp_mdp_elim2)\n",
"sv_mdp_elim == sv_mdp_elim2"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "261b3e07-7a13-4f53-abb9-997ed645b5b2",
"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.13.3"
},
"widgets": {
"application/vnd.jupyter.widget-state+json": {
"state": {
"0044ed82970148278897410a4e4086c8": {
"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_b7bc43f8826442cfb0d36d4d2670c6ec",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"1e2dd7ea08734394bc305319cb7a76e0": {
"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_d70a2fdeb91e47c9839f987467ae4d6b",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"28f04774b64545c890757af67d362d35": {
"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_ac76980b0d5547709d759214ca6b2a46",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"374c0b0a2817433ba5175e71532bfb1e": {
"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
}
},
"402c5b634f5b49bea0c80a73bdd1b28d": {
"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_cf648da9608147b095af742071c8a7cc",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"4e998c9c0a2b4933872c6d61c7b468bc": {
"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_5179e9b431c048729b564c46b53200c2",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"4f495aadc2ed45dbbb537dce0c0d5254": {
"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
}
},
"5179e9b431c048729b564c46b53200c2": {
"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
}
},
"62738ebea8b2416a8ef32f09063fb71e": {
"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
}
},
"636e153fc6cd42cabd14994175df7627": {
"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_aaa1e5bb86b0458badd2e28b8c0d49a1",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"638966d8ade743fca3e67d3e1d2be5e7": {
"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_8aeb13e1fd814685aacc3108112a3498",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"7db5f97569434db380097bd0801182b9": {
"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_4f495aadc2ed45dbbb537dce0c0d5254",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"8aeb13e1fd814685aacc3108112a3498": {
"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
}
},
"9ad7928b80f84a769215383a1261d362": {
"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_62738ebea8b2416a8ef32f09063fb71e",
"msg_id": "",
"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"
}
],
"tabbable": null,
"tooltip": null
}
},
"aaa1e5bb86b0458badd2e28b8c0d49a1": {
"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
}
},
"ac76980b0d5547709d759214ca6b2a46": {
"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
}
},
"ad86471f53d94100828c3fff80eca57a": {
"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
}
},
"b7bc43f8826442cfb0d36d4d2670c6ec": {
"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
}
},
"bd2e7c6fb3d74912a3860676abc5ae85": {
"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
}
},
"c1d5a8b9ee274ea8b2157477e4d970e5": {
"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_fbd0e314f3db4f7bb98ea4a7e4dc980f",
"msg_id": "",
"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"
}
],
"tabbable": null,
"tooltip": null
}
},
"cf648da9608147b095af742071c8a7cc": {
"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
}
},
"d70a2fdeb91e47c9839f987467ae4d6b": {
"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
}
},
"d77443c5a96d444291f9968694170572": {
"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_f7b4bbb2e7df403eb7d377732836d865",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"ec55ae55f933477f9c7195bb8ed2e54e": {
"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_374c0b0a2817433ba5175e71532bfb1e",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"f75926583fd54c9f9360930bd4f802a2": {
"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_bd2e7c6fb3d74912a3860676abc5ae85",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"f7b4bbb2e7df403eb7d377732836d865": {
"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
}
},
"fbd0e314f3db4f7bb98ea4a7e4dc980f": {
"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
}
},
"fd0242074fea43e1b44e0dc42e1326b0": {
"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_ad86471f53d94100828c3fff80eca57a",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
}
},
"version_major": 2,
"version_minor": 0
}
}
},
"nbformat": 4,
"nbformat_minor": 5
}