{
"cells": [
{
"cell_type": "markdown",
"id": "454725c9",
"metadata": {},
"source": [
"# Parametric models\n",
"Instead of setting numeric values as transition probabilities, we may also use parameters, polynomials or even rational functions in multiple variables."
]
},
{
"cell_type": "code",
"execution_count": 1,
"id": "27c5f14f",
"metadata": {
"execution": {
"iopub.execute_input": "2025-11-05T16:14:24.905072Z",
"iopub.status.busy": "2025-11-05T16:14:24.904857Z",
"iopub.status.idle": "2025-11-05T16:14:25.281250Z",
"shell.execute_reply": "2025-11-05T16:14:25.280719Z"
}
},
"outputs": [],
"source": [
"from stormvogel import parametric"
]
},
{
"cell_type": "markdown",
"id": "3a715820",
"metadata": {},
"source": [
"Polynomials are represented as dictionaries where the keys are the exponents and the values are coefficients. In addition, we must also supply a list of variable names. Rational functions are then represented as a pair of two polynomials (numerator and denominator)."
]
},
{
"cell_type": "code",
"execution_count": 2,
"id": "29c8793f",
"metadata": {
"execution": {
"iopub.execute_input": "2025-11-05T16:14:25.283117Z",
"iopub.status.busy": "2025-11-05T16:14:25.282890Z",
"iopub.status.idle": "2025-11-05T16:14:25.286735Z",
"shell.execute_reply": "2025-11-05T16:14:25.286312Z"
}
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"x^2 + y^2\n",
"2.0*1 + z + 6.0*z^3\n",
"(x^2 + y^2)/(2.0*1 + z + 6.0*z^3)\n"
]
}
],
"source": [
"polynomial1 = parametric.Polynomial([\"x\",\"y\"])\n",
"polynomial1.add_term((2,0),1)\n",
"polynomial1.add_term((0,2),1)\n",
"\n",
"print(polynomial1)\n",
"\n",
"polynomial2 = parametric.Polynomial([\"z\"])\n",
"polynomial2.add_term((0,),2)\n",
"polynomial2.add_term((1,),1)\n",
"polynomial2.add_term((3,),6)\n",
"\n",
"print(polynomial2)\n",
"\n",
"rational_function = parametric.RationalFunction(polynomial1, polynomial2)\n",
"\n",
"print(rational_function)"
]
},
{
"cell_type": "markdown",
"id": "1efd5dfc",
"metadata": {},
"source": [
"To create a parametric model (e.g. pmc or pmdp) we simply have to set such a value as a transition probability. As an example, we provide the knuth yao dice, but with parameters instead of concrete probabilities."
]
},
{
"cell_type": "code",
"execution_count": 3,
"id": "85ed0ed2",
"metadata": {
"execution": {
"iopub.execute_input": "2025-11-05T16:14:25.288304Z",
"iopub.status.busy": "2025-11-05T16:14:25.288114Z",
"iopub.status.idle": "2025-11-05T16:14:25.469865Z",
"shell.execute_reply": "2025-11-05T16:14:25.469284Z"
}
},
"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"
}
],
"source": [
"from stormvogel import model, bird\n",
"from stormvogel.show import show\n",
"\n",
"#we first make polynomials 'x' and '1-x'\n",
"x = parametric.Polynomial([\"x\"])\n",
"x.add_term((1,),1)\n",
"\n",
"invx = parametric.Polynomial([\"x\"])\n",
"invx.add_term((1,),-1)\n",
"invx.add_term((0,),1)\n",
"\n",
"#we build the knuth yao dice using the bird model builder\n",
"def delta(s: bird.State):\n",
" match s.s:\n",
" case 0:\n",
" return [(x, bird.State(s=1)), (invx, bird.State(s=2))]\n",
" case 1:\n",
" return [(x, bird.State(s=3)), (invx, bird.State(s=4))]\n",
" case 2:\n",
" return [(x, bird.State(s=5)), (invx, bird.State(s=6))]\n",
" case 3:\n",
" return [(x, bird.State(s=1)), (invx, bird.State(s=7, d=1))]\n",
" case 4:\n",
" return [\n",
" (x, bird.State(s=7, d=2)),\n",
" (invx, bird.State(s=7, d=3)),\n",
" ]\n",
" case 5:\n",
" return [\n",
" (x, bird.State(s=7, d=4)),\n",
" (invx, bird.State(s=7, d=5)),\n",
" ]\n",
" case 6:\n",
" return [(x, bird.State(s=2)), (invx, bird.State(s=7, d=6))]\n",
" case 7:\n",
" return [(1, s)]\n",
"\n",
"def labels(s: bird.State):\n",
" if s.s == 7:\n",
" return f\"rolled{str(s.d)}\"\n",
"\n",
"knuth_yao_pmc = bird.build_bird(\n",
" delta=delta,\n",
" init=bird.State(s=0),\n",
" labels=labels,\n",
" modeltype=model.ModelType.DTMC,\n",
")\n",
"\n",
"vis = show(knuth_yao_pmc)"
]
},
{
"cell_type": "markdown",
"id": "1b7879df",
"metadata": {},
"source": [
"We can now evaluate the model by assigning the variable x to any concrete value. This induces a regular dtmc with fixed probabilities."
]
},
{
"cell_type": "code",
"execution_count": 4,
"id": "8cea8380",
"metadata": {
"execution": {
"iopub.execute_input": "2025-11-05T16:14:25.477687Z",
"iopub.status.busy": "2025-11-05T16:14:25.477443Z",
"iopub.status.idle": "2025-11-05T16:14:25.507267Z",
"shell.execute_reply": "2025-11-05T16:14:25.506671Z"
}
},
"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"
}
],
"source": [
"p = 1/2\n",
"\n",
"\n",
"eval_knuth_yao_pmc = knuth_yao_pmc.parameter_valuation({\"x\":p})\n",
"vis = show(eval_knuth_yao_pmc)"
]
},
{
"cell_type": "markdown",
"id": "9fd22bed",
"metadata": {},
"source": [
"# Interval Models\n",
"We can also set an interval between two values x and y as transition value, meaning that we don't know the probability precisely, but we know it is between x and y. We represent intervals using a class in model.py, where we have two attributes: bottom and top. Both of these should be an element of type Number, i.e., int, float or fraction."
]
},
{
"cell_type": "code",
"execution_count": 5,
"id": "4fcedee8",
"metadata": {
"execution": {
"iopub.execute_input": "2025-11-05T16:14:25.515046Z",
"iopub.status.busy": "2025-11-05T16:14:25.514804Z",
"iopub.status.idle": "2025-11-05T16:14:25.517995Z",
"shell.execute_reply": "2025-11-05T16:14:25.517493Z"
}
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[0.3333333333333333,0.6666666666666666]\n"
]
}
],
"source": [
"interval = model.Interval(1/3, 2/3)\n",
"print(interval)"
]
},
{
"cell_type": "markdown",
"id": "15d383fa",
"metadata": {},
"source": [
"Similar to parametric models, creating an interval model is as straightforward as just setting some interval objects as transition values."
]
},
{
"cell_type": "code",
"execution_count": 6,
"id": "0981a579",
"metadata": {
"execution": {
"iopub.execute_input": "2025-11-05T16:14:25.519588Z",
"iopub.status.busy": "2025-11-05T16:14:25.519434Z",
"iopub.status.idle": "2025-11-05T16:14:25.551189Z",
"shell.execute_reply": "2025-11-05T16:14:25.550615Z"
}
},
"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"
}
],
"source": [
"from stormvogel import bird\n",
"from stormvogel.show import show\n",
"\n",
"#We create our interval values\n",
"interval = model.Interval(2/7,6/7)\n",
"inv_interval = model.Interval(1/7,5/7)\n",
"\n",
"#we build the knuth yao dice using the bird model builder\n",
"def delta(s: bird.State):\n",
" match s.s:\n",
" case 0:\n",
" return [(interval, bird.State(s=1)), (inv_interval, bird.State(s=2))]\n",
" case 1:\n",
" return [(interval, bird.State(s=3)), (inv_interval, bird.State(s=4))]\n",
" case 2:\n",
" return [(interval, bird.State(s=5)), (inv_interval, bird.State(s=6))]\n",
" case 3:\n",
" return [(interval, bird.State(s=1)), (inv_interval, bird.State(s=7, d=1))]\n",
" case 4:\n",
" return [\n",
" (interval, bird.State(s=7, d=2)),\n",
" (invx, bird.State(s=7, d=3)),\n",
" ]\n",
" case 5:\n",
" return [\n",
" (interval, bird.State(s=7, d=4)),\n",
" (invx, bird.State(s=7, d=5)),\n",
" ]\n",
" case 6:\n",
" return [(interval, bird.State(s=2)), (inv_interval, bird.State(s=7, d=6))]\n",
" case 7:\n",
" return [(1, s)]\n",
"\n",
"def labels(s: bird.State):\n",
" if s.s == 7:\n",
" return f\"rolled{str(s.d)}\"\n",
"\n",
"knuth_yao_imc = bird.build_bird(\n",
" delta=delta,\n",
" init=bird.State(s=0),\n",
" labels=labels,\n",
" modeltype=model.ModelType.DTMC,\n",
")\n",
"\n",
"vis = show(knuth_yao_imc)"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "2b1e0a57",
"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": {
"03d4c5aafa2b4975b8b65ae596188740": {
"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
}
},
"094c819eff8343b2b788ff5e186454fe": {
"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_28e618bfc27e47dbb3661869dc18c4b5",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"1168402e17dd4dbfb7dcb542b1965710": {
"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_c98a446351f7431b8a0346c4111eeee4",
"msg_id": "",
"outputs": [
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "094c819eff8343b2b788ff5e186454fe",
"version_major": 2,
"version_minor": 0
},
"text/plain": "Output()"
},
"metadata": {},
"output_type": "display_data"
}
],
"tabbable": null,
"tooltip": null
}
},
"17a561a9d1044ffda9d17e28399a18e8": {
"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
}
},
"28e618bfc27e47dbb3661869dc18c4b5": {
"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
}
},
"529eedfafe8c4519bce4c087038a8838": {
"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_5c47f1d6fe954e429676137c3c727030",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"5c47f1d6fe954e429676137c3c727030": {
"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
}
},
"5f38277563614fd08edf56fa4b790144": {
"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_67541b2007af47bc8d7e302cd23135f5",
"msg_id": "",
"outputs": [
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "c99f7357530d4c47bb99ba43526ce4a8",
"version_major": 2,
"version_minor": 0
},
"text/plain": "Output()"
},
"metadata": {},
"output_type": "display_data"
}
],
"tabbable": null,
"tooltip": null
}
},
"67541b2007af47bc8d7e302cd23135f5": {
"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
}
},
"698a7af23df5441faea7f16ebdcf8657": {
"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
}
},
"ae3f3739205b4f98bdd3084f886efaa8": {
"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
}
},
"b15a8a436422469f94dd2a15143b4579": {
"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_03d4c5aafa2b4975b8b65ae596188740",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"bdf14174c9e64649a1e3603e226826e8": {
"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_df668585cf1b42faaaf6cf58ea713acd",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"c98a446351f7431b8a0346c4111eeee4": {
"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
}
},
"c99f7357530d4c47bb99ba43526ce4a8": {
"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_17a561a9d1044ffda9d17e28399a18e8",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"db647a04829f40a08fd1b54481e9203f": {
"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_ae3f3739205b4f98bdd3084f886efaa8",
"msg_id": "",
"outputs": [],
"tabbable": null,
"tooltip": null
}
},
"df668585cf1b42faaaf6cf58ea713acd": {
"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
}
},
"e35216adf3b64955ac5d3c9ed02943f1": {
"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_698a7af23df5441faea7f16ebdcf8657",
"msg_id": "",
"outputs": [
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "db647a04829f40a08fd1b54481e9203f",
"version_major": 2,
"version_minor": 0
},
"text/plain": "Output()"
},
"metadata": {},
"output_type": "display_data"
}
],
"tabbable": null,
"tooltip": null
}
}
},
"version_major": 2,
"version_minor": 0
}
}
},
"nbformat": 4,
"nbformat_minor": 5
}