tutorials/mpbn/Bladder_Remy2015.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Application of MPBNs to the Bladder Tumorigenesis model by Remy et al. 2015\n",
    "\n",
    "We use Most Permissive Boolean Networks to analyze *reachable* attractors in the logical model published in [(Remy et al., 2015)](https://doi.org/10.1158/0008-5472.CAN-15-0602), by reproducing part of the experiments performed in [Estimating Attractor Reachability in Asynchronous Logical Models (Mendes et al, 2018](https://doi.org/10.3389/fphys.2018.01161) (Table 3).\n",
    "\n",
    "Note that, currently, the `mpbn` tool does not provide quantification of the propensity of reachable attractors. However, it guarantees their exhaustive identification."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import biolqm\n",
    "import ginsim\n",
    "import mpbn\n",
    "from colomoto_jupyter import tabulate"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Model\n",
    "\n",
    "### Original multivalued model"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/markdown": [
       "Downloading http://ginsim.org/sites/default/files/Bladder_Model.zginml"
      ],
      "text/plain": [
       "<IPython.core.display.Markdown object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "text/html": [
       "<img class=\"unconfined\" width=\"100%\" src=\"data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPCFET0NUWVBFIHN2ZyBQVUJMSUMgIi0vL1czQy8vRFREIFNWRyAyMDAwMTEwMi8vRU4iICJodHRwOi8vd3d3LnczLm9yZy9UUi8yMDAwL0NSLVNWRy0yMDAwMTEwMi9EVEQvc3ZnLTIwMDAxMTAyLmR0ZCI+Cjxzdmcgd2lkdGg9IjE0NzEuMCIgaGVpZ2h0PSI1OTMuMCIgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIiB2ZXJzaW9uPSIxLjEiPgogIDxzdHlsZSB0eXBlPSJ0ZXh0L2NzcyI+CnRleHQgewogIGZvbnQtZmFtaWx5OiAnU2Fuc1NlcmlmJzsKICBmb250LXNpemU6IDEycHg7Cn0KLm5vZGUgLnNoYXBlIHsKZmlsbDogI2ZmZmZmZjsKc3Ryb2tlOiAjMDAwMDAwOwp9Ci5ub2RlIHRleHQgewpmaWxsOiAjMDAwMDAwOwp9Ci5ub2RlX25vZGVfc3R5bGUgLnNoYXBlIHsKZmlsbDogI2ZmZmZmZjsKc3Ryb2tlOiAjMDAwMDAwOwp9Ci5ub2RlX25vZGVfc3R5bGUgdGV4dCB7CmZpbGw6ICMwMDAwMDA7Cn0KLm5vZGVfbm9kZV9zdHlsZV8yIC5zaGFwZSB7CmZpbGw6ICNmZmZmZmY7CnN0cm9rZTogIzAwMDAwMDsKfQoubm9kZV9ub2RlX3N0eWxlXzIgdGV4dCB7CmZpbGw6ICMwMDAwMDA7Cn0KLm5vZGVfbm9kZV9zdHlsZV8zIC5zaGFwZSB7CmZpbGw6ICNjY2NjY2M7CnN0cm9rZTogI2ZmZmZmZjsKfQoubm9kZV9ub2RlX3N0eWxlXzMgdGV4dCB7CmZpbGw6ICMwMDAwMDA7Cn0KLm5vZGVfbm9kZV9zdHlsZV80IC5zaGFwZSB7CmZpbGw6ICNjY2NjY2M7CnN0cm9rZTogI2ZmZmZmZjsKfQoubm9kZV9ub2RlX3N0eWxlXzQgdGV4dCB7CmZpbGw6ICMwMDAwMDA7Cn0KLmVkZ2UgewpzdHJva2U6ICMwMDAwMDA7CmZpbGw6IG5vbmU7CnN0cm9rZS13aWR0aDogMTsKfQouZWRnZV9QT1NJVElWRSB7CnN0cm9rZTogIzAwYzgwMDsKfQouZWRnZV9ORUdBVElWRSB7CnN0cm9rZTogI2M4MDAwMDsKfQouZWRnZV9EVUFMIHsKc3Ryb2tlOiAjMDAwMGM4Owp9Ci5lZGdlX2VkZ2Vfc3R5bGUgewpzdHJva2U6ICMwMGNjMDA7CmZpbGw6IG5vbmU7CnN0cm9rZS13aWR0aDogMjsKfQouZWRnZV9lZGdlX3N0eWxlXzIgewpzdHJva2U6ICNmZjAwMzM7CmZpbGw6IG5vbmU7CnN0cm9rZS13aWR0aDogMjsKfQouZWRnZV9lZGdlX3N0eWxlXzMgewpzdHJva2U6ICNjODAwMDA7CmZpbGw6IG5vbmU7CnN0cm9rZS13aWR0aDogMTsKfQo8L3N0eWxlPgogIDxkZWZzPgogICAgPG1hcmtlciBpZD0iTWFya2VyX1BPU0lUSVZFXzAwY2MwMCIgdmlld0JveD0iLTcgLTcgMTIgMTUiIG9yaWVudD0iYXV0byIgbWFya2VySGVpZ2h0PSI5IiBtYXJrZXJXaWR0aD0iOSI+CiAgICAgIDxwYXRoIHN0cm9rZT0iIzAwY2MwMCIgZmlsbD0iIzAwY2MwMCIgZD0iTSAtNCAtNSBMIC0yIDAgTCAtNCA1IEwgMiAwIHoiLz4KICAgIDwvbWFya2VyPgogIDwvZGVmcz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAxMzkxLjAgMjM3LjAgTCAxMzkxLjAgMjgxLjAgTCAxMzY0LjAgMjgxLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAxMTA4LjAgMjEzLjAgTCAxMTA4LjAgMjcxLjAgTCAxMTM5LjAgMjcxLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAxMDc5LjAgMTc5LjAgTCAxMDc5LjAgODcuMCBMIDU1MC4wIDg3LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAxMDkwLjAgMjEzLjAgTCAxMDkwLjAgMjcwLjAgTCA3MTUuMCAyNzAuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDExMjEuMCAyMTMuMCBMIDExMjEuMCAyMjAuMCBMIDEzNjAuMCAyMjAuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDExMjcuMCAxNzkuMCBMIDExMjcuMCAxNjQuMCBMIDEyMDQuMCAxNjQuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDEyMDcuMCAxNTkuMCBMIDExMTIuMCAxNTkuMCBMIDExMTIuMCA5My4wIi8+CiAgPGRlZnM+CiAgICA8bWFya2VyIGlkPSJNYXJrZXJfTkVHQVRJVkVfYzgwMDAwIiB2aWV3Qm94PSItNyAtNyAxMiAxNSIgb3JpZW50PSJhdXRvIiBtYXJrZXJIZWlnaHQ9IjkiIG1hcmtlcldpZHRoPSI5Ij4KICAgICAgPHBhdGggc3Ryb2tlPSIjYzgwMDAwIiBmaWxsPSIjYzgwMDAwIiBkPSJNIC0xIC00IEwgLTEgNCBMIDEgNCBMIDEgLTQgeiIvPgogICAgPC9tYXJrZXI+CiAgPC9kZWZzPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzMiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2M4MDAwMCkiIGQ9Ik0gMTI1MC4wIDE0Ni4wIEwgMTI1MC4wIDEyOS4wIi8+CiAgPGRlZnM+CiAgICA8bWFya2VyIGlkPSJNYXJrZXJfTkVHQVRJVkVfZmYwMDMzIiB2aWV3Qm94PSItNyAtNyAxMiAxNSIgb3JpZW50PSJhdXRvIiBtYXJrZXJIZWlnaHQ9IjkiIG1hcmtlcldpZHRoPSI5Ij4KICAgICAgPHBhdGggc3Ryb2tlPSIjZmYwMDMzIiBmaWxsPSIjZmYwMDMzIiBkPSJNIC0xIC00IEwgLTEgNCBMIDEgNCBMIDEgLTQgeiIvPgogICAgPC9tYXJrZXI+CiAgPC9kZWZzPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gMTQwNS4wIDM1MS4wIEwgMTQwNS4wIDIzNy4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gNzEyLjAgMjkzLjAgTCA3ODQuMCAyOTMuMCBMIDc4NC4wIDQwOS4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gNjg5LjAgMjkzLjAgTCA2ODkuMCAzMDguMCBMIDY4OS4wIDMxMy4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gNjQ3LjAgMjU5LjAgTCA2NDcuMCAyMjYuMCBMIDI3Mi4wIDIyNi4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gNjI4LjAgMjg5LjAgTCAyMTkuMCAyODkuMCBMIDIxOS4wIDMyNS4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gNjQ2LjAgMjkzLjAgTCA2NDYuMCAzMzguMCBMIDM1MS4wIDMzOS4wIEwgMzUxLjAgNDI1LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA2MjguMCAyNzIuMCBMIDUzNy4wIDI3Mi4wIEwgNDU0LjAgMjcyLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA3MTIuMCAyNzUuMCBMIDg3Ni4wIDI3NS4wIEwgODc2LjAgMzQ0LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA2NTEuMCAyOTMuMCBMIDY1MS4wIDQ5NS4wIEwgNDQ3LjAgNDk3LjAgTCA0NDcuMCA1NDguMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gNjgyLjAgMTc3LjAgTCA2ODIuMCAyMjAuMCBMIDY4Mi4wIDI1Ni4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9ORUdBVElWRSBlZGdlX2VkZ2Vfc3R5bGVfMiIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfTkVHQVRJVkVfZmYwMDMzKSIgZD0iTSA2OTEuMCAxNDMuMCBMIDY5MS4wIDk0LjAgTCA1NTAuMCA5NC4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gNzI5LjAgMTc3LjAgTCA3MjkuMCA0OTIuMCBMIDk2NS4wIDQ5My4wIEwgOTY1LjAgNTU0LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDcyNC4wIDE0My4wIEwgNzI0LjAgMTI3LjAgTCA4NTguMCAxMjcuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzMiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2M4MDAwMCkiIGQ9Ik0gNjY0LjAgMTU5LjAgTCA1NzQuMCAxNTkuMCBMIDU3NC4wIDM4Mi4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gMTc4LjAgMzI4LjAgTCAxNzguMCA4MC4wIEwgNDYwLjAgODAuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDE5My4wIDM2Mi4wIEwgMTkzLjAgNDQ3LjAgTCAzMjQuMCA0NDcuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDIzMi4wIDM0Ni4wIEwgNjM5LjAgMzQ2LjAgTCA2MzkuMCAyOTYuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gMjA4LjAgMzI4LjAgTCAyMDguMCAyNjUuMCBMIDM2NC4wIDI2NS4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gMjE4LjAgMjguMCBMIDIxOC4wIDEyNi4wIEwgMjE4LjAgMjAzLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA0ODcuMCAxMDQuMCBMIDQ4Ny4wIDI2My4wIEwgNjI1LjAgMjYzLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA0NzcuMCAxMDQuMCBMIDQ3Ny4wIDQzMy4wIEwgNzQ4LjAgNDMzLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA0NjMuMCA5My4wIEwgMzkwLjAgOTMuMCBMIDM5MC4wIDI0NS4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gNTEyLjAgMTA0LjAgTCA1MTIuMCAzNjUuMCBMIDg1NS4wIDM2NS4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gNDMxLjAgMjgyLjAgTCA0MzEuMCAzNTYuMCBMIDc2Mi4wIDM1Ni4wIEwgNzYyLjAgNDA5LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA0MjIuMCAyODIuMCBMIDQyMi4wIDM3Ny4wIEwgODU1LjAgMzc3LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDkyNS4wIDE0OC4wIEwgOTI1LjAgMjc5LjAgTCAxMTM5LjAgMjc5LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDg2MS4wIDEyMC4wIEwgNzA1LjAgMTIwLjAgTCA3MDUuMCAxNDAuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gNTQ2LjAgNDAwLjAgTCAzNzQuMCA0MDAuMCBMIDM3NC4wIDQyNS4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9ORUdBVElWRSBlZGdlX2VkZ2Vfc3R5bGVfMiIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfTkVHQVRJVkVfZmYwMDMzKSIgZD0iTSAxMzE4LjAgMjk4LjAgTCAxMzE4LjAgNDI3LjAgTCAxMjI0LjAgNDI3LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAxMjg5LjAgMjk4LjAgTCAxMjg5LjAgNDAyLjAgTCA2MzMuMCA0MDIuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDEyNzkuMCAyODIuMCBMIDEyMjYuMCAyODIuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDE0MTguMCAzMS4wIEwgMTQxOC4wIDU2LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA0MTEuMCA0NDkuMCBMIDExODcuMCA0NDkuMCBMIDExODcuMCA0NDIuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDQxMS4wIDQzOC4wIEwgNTc1LjAgNDM4LjAgTCA1NzUuMCA0MjEuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDQxMS4wIDQ1OC4wIEwgMTQwNS4wIDQ1OC4wIEwgMTQwNS4wIDM4Ni4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gMzYyLjAgNDYyLjAgTCAzNjIuMCA0OTkuMCBMIDQxMy4wIDQ5OS4wIEwgNDEzLjAgNTQ4LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAxOTYuMCAyNDAuMCBMIDE5Ni4wIDI5My4wIEwgMTk2LjAgMzI1LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAyNjkuMCAyMzMuMCBMIDYzOC4wIDIzMy4wIEwgNjM4LjAgMjU2LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAyNDcuMCAyNDAuMCBMIDI0Ny4wIDQzNS4wIEwgMzI0LjAgNDM1LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDIzNy4wIDI0MC4wIEwgMjM3LjAgMjU3LjAgTCAyMzguMCAzMTYuMCBMIDIzOS4wIDM5MC4wIEwgMjc1LjAgMzkwLjAgTCA1NDMuMCAzOTAuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gMTE4MS4wIDQwNS4wIEwgMTE4MS4wIDMyNS4wIEwgMTE4MS4wIDMwNC4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9ORUdBVElWRSBlZGdlX2VkZ2Vfc3R5bGVfMiIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfTkVHQVRJVkVfZmYwMDMzKSIgZD0iTSAxMTM3LjAgNDE3LjAgTCAxMDExLjAgNDE3LjAgTCA4MzguMCA0MTcuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gMTE0Ny4wIDQwNS4wIEwgMTE0Ny4wIDM2Mi4wIEwgOTQ1LjAgMzYyLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAxMTk0LjAgNDM5LjAgTCAxMTk0LjAgNDkwLjAgTCAxMDE5LjAgNDkxLjAgTCAxMDE5LjAgNTU0LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAxMjkzLjAgMTI3LjAgTCAxMzc0LjAgMTI3LjAgTCAxMzc0LjAgMjAwLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDEyMDkuMCAxMTAuMCBMIDExMjAuMCAxMTAuMCBMIDExMjAuMCA5My4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gMTIwOS4wIDEyMS4wIEwgMTEyMC4wIDEyMS4wIEwgMTEyMS4wIDE3MC4wIEwgMTEyMS4wIDE3Ni4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9ORUdBVElWRSBlZGdlX2VkZ2Vfc3R5bGVfMiIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfTkVHQVRJVkVfZmYwMDMzKSIgZD0iTSAxMjc2LjAgOTYuMCBMIDEyNzYuMCA4My4wIEwgMTMwNi4wIDgzLjAgTCAxMzA2LjAgMTEzLjAgTCAxMjk2LjAgMTEzLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDEyOTMuMCAxMDEuMCBMIDEzODguMCAxMDEuMCBMIDEzODguMCA5My4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9ORUdBVElWRSBlZGdlX2VkZ2Vfc3R5bGVfMiIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfTkVHQVRJVkVfZmYwMDMzKSIgZD0iTSAxMTQyLjAgMjkwLjAgTCAxMTQwLjAgMjkwLjAgTCA3MzcuMCAyODguMCBMIDczOC4wIDE4MC4wIEwgNzM4LjAgMTgwLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDExNTkuMCAyNjcuMCBMIDExNTkuMCAyMjcuMCBMIDkwOC4wIDIyNy4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9ORUdBVElWRSBlZGdlX2VkZ2Vfc3R5bGVfMiIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfTkVHQVRJVkVfZmYwMDMzKSIgZD0iTSA2NzYuMCAzNTAuMCBMIDY3Ni4wIDM5Ni4wIEwgNjMzLjAgMzk2LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA5MDUuMCAyMzkuMCBMIDEwMDIuMCAyMzkuMCBMIDEwMDIuMCA1NTQuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gODg2LjAgMjQxLjAgTCA4ODYuMCAyNTguMCBMIDg4Ni4wIDM0NC4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9ORUdBVElWRSBlZGdlX2VkZ2Vfc3R5bGVfMiIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfTkVHQVRJVkVfZmYwMDMzKSIgZD0iTSA4MjEuMCAyMTkuMCBMIDQyOC4wIDIxOS4wIEwgNDI4LjAgMjQ1LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDg2MC4wIDI0MS4wIEwgODYwLjAgMzEzLjAgTCA4MDkuMCAzMTQuMCBMIDgwOS4wIDQwOS4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9ORUdBVElWRSBlZGdlX2VkZ2Vfc3R5bGVfMiIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfTkVHQVRJVkVfZmYwMDMzKSIgZD0iTSA4MjEuMCAyMjkuMCBMIDY5Ny4wIDIyOS4wIEwgNjk3LjAgMjU2LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSA5MTQuMCAzODEuMCBMIDkxNC4wIDQ3OS4wIEwgODU0LjAgNDgwLjAgTCA4NTQuMCA1NTMuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gOTIwLjAgMzQ3LjAgTCA5MjAuMCAxNTQuMCBMIDc1MS4wIDE1NC4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gMTEwMS4wIDg4LjAgTCAxMTAxLjAgMTc5LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDExNDIuMCA2My4wIEwgMTIwNi4wIDYzLjAgTCAxMzEyLjAgNjMuMCBMIDEzNzQuMCA2My4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gMTEyNy4wIDkwLjAgTCAxMTI3LjAgMTAyLjAgTCAxMjA2LjAgMTAyLjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX05FR0FUSVZFIGVkZ2VfZWRnZV9zdHlsZV8yIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9ORUdBVElWRV9mZjAwMzMpIiBkPSJNIDEzNzcuMCA3Ny4wIEwgMTMxOS4wIDc3LjAgTCAxMTQ1LjAgNzcuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfUE9TSVRJVkUgZWRnZV9lZGdlX3N0eWxlIiBtYXJrZXItZW5kPSJ1cmwoI01hcmtlcl9QT1NJVElWRV8wMGNjMDApIiBkPSJNIDE0MzQuMCA5MC4wIEwgMTQzNC4wIDE5MC4wIEwgMTE0Ny4wIDE5MC4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gMTM5Ni4wIDkwLjAgTCAxMzk2LjAgMTE4LjAgTCAxMjk2LjAgMTE4LjAiLz4KICA8cGF0aCBjbGFzcz0iZWRnZSBlZGdlX1BPU0lUSVZFIGVkZ2VfZWRnZV9zdHlsZSIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfUE9TSVRJVkVfMDBjYzAwKSIgZD0iTSAxMDk5LjAgMjcuMCBMIDEwOTkuMCA1Ni4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gNzg2LjAgNDQ2LjAgTCA3ODYuMCA0ODEuMCBMIDgzMC4wIDQ4Mi4wIEwgODMwLjAgNTAyLjAgTCA4MzAuMCA1NTMuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gNzcxLjAgNDEyLjAgTCA3NzEuMCAxNjYuMCBMIDc1MS4wIDE2Ni4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9ORUdBVElWRSBlZGdlX2VkZ2Vfc3R5bGVfMiIgbWFya2VyLWVuZD0idXJsKCNNYXJrZXJfTkVHQVRJVkVfZmYwMDMzKSIgZD0iTSA4MzUuMCA0MjUuMCBMIDEwMjAuMCA0MjUuMCBMIDExMzQuMCA0MjUuMCIvPgogIDxwYXRoIGNsYXNzPSJlZGdlIGVkZ2VfTkVHQVRJVkUgZWRnZV9lZGdlX3N0eWxlXzIiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX05FR0FUSVZFX2ZmMDAzMykiIGQ9Ik0gNzk5LjAgNDEyLjAgTCA3OTkuMCAyMzguMCBMIDgxOC4wIDIzOC4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gOTY5LjAgMjkuMCBMIDk2OS4wIDQwOC4wIEwgMTEzNC4wIDQwOC4wIi8+CiAgPHBhdGggY2xhc3M9ImVkZ2UgZWRnZV9QT1NJVElWRSBlZGdlX2VkZ2Vfc3R5bGUiIG1hcmtlci1lbmQ9InVybCgjTWFya2VyX1BPU0lUSVZFXzAwY2MwMCkiIGQ9Ik0gOTA3LjAgMjkuMCBMIDkwNy4wIDM3LjAgTCA5MDcuMCAxMDQuMCBMIDkwNy4wIDExMS4wIi8+CiAgPGcgaWQ9IkVHRlJfc3RpbXVsdXMiIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZSI+CiAgICA8ZWxsaXBzZSBpZD0iRUdGUl9zdGltdWx1c19zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iMTA5OS41IiBjeT0iMTQuNSIgcng9IjQ3LjUiIHJ5PSIxMi41Ii8+CiAgICA8dGV4dCAgaWQ9IkVHRlJfc3RpbXVsdXNfdGV4dCIgeD0iMTA5OSIgeT0iMTciIHRleHQtYW5jaG9yPSJtaWRkbGUiPkVHRlJfc3RpbXVsdXM8L3RleHQ+CiAgPC9nPgogIDxnIGlkPSJGR0ZSM19zdGltdWx1cyIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlIj4KICAgIDxlbGxpcHNlIGlkPSJGR0ZSM19zdGltdWx1c19zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iMTQxOC41IiBjeT0iMTguNSIgcng9IjQ3LjUiIHJ5PSIxMi41Ii8+CiAgICA8dGV4dCAgaWQ9IkZHRlIzX3N0aW11bHVzX3RleHQiIHg9IjE0MTgiIHk9IjIxIiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5GR0ZSM19zdGltdWx1czwvdGV4dD4KICA8L2c+CiAgPGcgaWQ9IkROQWRhbWFnZSIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlIj4KICAgIDxlbGxpcHNlIGlkPSJETkFkYW1hZ2Vfc2hhcGUiIGNsYXNzPSJzaGFwZSIgY3g9IjIwNi41IiBjeT0iMTMuNSIgcng9IjQ3LjUiIHJ5PSIxMi41Ii8+CiAgICA8dGV4dCAgaWQ9IkROQWRhbWFnZV90ZXh0IiB4PSIyMDYiIHk9IjE2IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5ETkFkYW1hZ2U8L3RleHQ+CiAgPC9nPgogIDxnIGlkPSJHcm93dGhJbmhpYml0b3JzIiBjbGFzcz0ibm9kZSBub2RlX25vZGVfc3R5bGUiPgogICAgPGVsbGlwc2UgaWQ9Ikdyb3d0aEluaGliaXRvcnNfc2hhcGUiIGNsYXNzPSJzaGFwZSIgY3g9IjkyNi41IiBjeT0iMTQuNSIgcng9IjQ3LjUiIHJ5PSIxMi41Ii8+CiAgICA8dGV4dCAgaWQ9Ikdyb3d0aEluaGliaXRvcnNfdGV4dCIgeD0iOTI2IiB5PSIxNyIgdGV4dC1hbmNob3I9Im1pZGRsZSI+R3Jvd3RoSW5oaWJpdG9yczwvdGV4dD4KICA8L2c+CiAgPGcgaWQ9IlByb2xpZmVyYXRpb24iIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZSI+CiAgICA8ZWxsaXBzZSBpZD0iUHJvbGlmZXJhdGlvbl9zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iODMzLjUiIGN5PSI1NzAuNSIgcng9IjQ3LjUiIHJ5PSIxMi41Ii8+CiAgICA8dGV4dCAgaWQ9IlByb2xpZmVyYXRpb25fdGV4dCIgeD0iODMzIiB5PSI1NzMiIHRleHQtYW5jaG9yPSJtaWRkbGUiPlByb2xpZmVyYXRpb248L3RleHQ+CiAgPC9nPgogIDxnIGlkPSJBcG9wdG9zaXMiIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZV8yIj4KICAgIDxyZWN0IGlkPSJBcG9wdG9zaXNfc2hhcGUiIGNsYXNzPSJzaGFwZSIgd2lkdGg9IjEyMCIgaGVpZ2h0PSIzNSIgeD0iMzcwIiB5PSI1NTMiLz4KICAgIDx0ZXh0ICBpZD0iQXBvcHRvc2lzX3RleHQiIHg9IjQzMCIgeT0iNTczIiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5BcG9wdG9zaXM8L3RleHQ+CiAgPC9nPgogIDxnIGlkPSJHcm93dGhfQXJyZXN0IiBjbGFzcz0ibm9kZSBub2RlX25vZGVfc3R5bGUiPgogICAgPGVsbGlwc2UgaWQ9Ikdyb3d0aF9BcnJlc3Rfc2hhcGUiIGNsYXNzPSJzaGFwZSIgY3g9Ijk5My41IiBjeT0iNTcxLjUiIHJ4PSI0Ny41IiByeT0iMTIuNSIvPgogICAgPHRleHQgIGlkPSJHcm93dGhfQXJyZXN0X3RleHQiIHg9Ijk5MyIgeT0iNTc0IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5Hcm93dGhfQXJyZXN0PC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iRUdGUiIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzMiPgogICAgPGVsbGlwc2UgaWQ9IkVHRlJfc2hhcGUiIGNsYXNzPSJzaGFwZSIgY3g9IjExMDAuMCIgY3k9IjczLjAiIHJ4PSI0MC4wIiByeT0iMTUuMCIvPgogICAgPHRleHQgIGlkPSJFR0ZSX3RleHQiIHg9IjExMDAiIHk9Ijc2IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5FR0ZSPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iRkdGUjMiIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZV8zIj4KICAgIDxlbGxpcHNlIGlkPSJGR0ZSM19zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iMTQxOS4wIiBjeT0iNzMuMCIgcng9IjQwLjAiIHJ5PSIxNS4wIi8+CiAgICA8dGV4dCAgaWQ9IkZHRlIzX3RleHQiIHg9IjE0MTkiIHk9Ijc2IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5GR0ZSMzwvdGV4dD4KICA8L2c+CiAgPGcgaWQ9IlJBUyIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzMiPgogICAgPGVsbGlwc2UgaWQ9IlJBU19zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iMTEwMi4wIiBjeT0iMTk2LjAiIHJ4PSI0MC4wIiByeT0iMTUuMCIvPgogICAgPHRleHQgIGlkPSJSQVNfdGV4dCIgeD0iMTEwMiIgeT0iMTk5IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5SQVM8L3RleHQ+CiAgPC9nPgogIDxnIGlkPSJFMkYxIiBjbGFzcz0ibm9kZSBub2RlX25vZGVfc3R5bGVfNCI+CiAgICA8cmVjdCBpZD0iRTJGMV9zaGFwZSIgY2xhc3M9InNoYXBlIiB3aWR0aD0iODAiIGhlaWdodD0iMzAiIHg9IjYzMCIgeT0iMjYxIi8+CiAgICA8dGV4dCAgaWQ9IkUyRjFfdGV4dCIgeD0iNjcwIiB5PSIyNzkiIHRleHQtYW5jaG9yPSJtaWRkbGUiPkUyRjE8L3RleHQ+CiAgPC9nPgogIDxnIGlkPSJFMkYzIiBjbGFzcz0ibm9kZSBub2RlX25vZGVfc3R5bGVfNCI+CiAgICA8cmVjdCBpZD0iRTJGM19zaGFwZSIgY2xhc3M9InNoYXBlIiB3aWR0aD0iODAiIGhlaWdodD0iMzAiIHg9IjQ2NSIgeT0iNzIiLz4KICAgIDx0ZXh0ICBpZD0iRTJGM190ZXh0IiB4PSI1MDUiIHk9IjkwIiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5FMkYzPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iQ3ljbGluRDEiIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZV8zIj4KICAgIDxlbGxpcHNlIGlkPSJDeWNsaW5EMV9zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iMTE4NC4wIiBjeT0iMjg0LjAiIHJ4PSI0MC4wIiByeT0iMTUuMCIvPgogICAgPHRleHQgIGlkPSJDeWNsaW5EMV90ZXh0IiB4PSIxMTg0IiB5PSIyODciIHRleHQtYW5jaG9yPSJtaWRkbGUiPkN5Y2xpbkQxPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iQ3ljbGluRTEiIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZV8zIj4KICAgIDxlbGxpcHNlIGlkPSJDeWNsaW5FMV9zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iNzkzLjAiIGN5PSI0MjkuMCIgcng9IjQwLjAiIHJ5PSIxNS4wIi8+CiAgICA8dGV4dCAgaWQ9IkN5Y2xpbkUxX3RleHQiIHg9Ijc5MyIgeT0iNDMyIiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5DeWNsaW5FMTwvdGV4dD4KICA8L2c+CiAgPGcgaWQ9IkN5Y2xpbkEiIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZV8zIj4KICAgIDxlbGxpcHNlIGlkPSJDeWNsaW5BX3NoYXBlIiBjbGFzcz0ic2hhcGUiIGN4PSI5MDAuMCIgY3k9IjM2NC4wIiByeD0iNDAuMCIgcnk9IjE1LjAiLz4KICAgIDx0ZXh0ICBpZD0iQ3ljbGluQV90ZXh0IiB4PSI5MDAiIHk9IjM2NyIgdGV4dC1hbmNob3I9Im1pZGRsZSI+Q3ljbGluQTwvdGV4dD4KICA8L2c+CiAgPGcgaWQ9IkNEQzI1QSIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzMiPgogICAgPGVsbGlwc2UgaWQ9IkNEQzI1QV9zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iNDA5LjAiIGN5PSIyNjUuMCIgcng9IjQwLjAiIHJ5PSIxNS4wIi8+CiAgICA8dGV4dCAgaWQ9IkNEQzI1QV90ZXh0IiB4PSI0MDkiIHk9IjI2OCIgdGV4dC1hbmNob3I9Im1pZGRsZSI+Q0RDMjVBPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0icDE2SU5LNGEiIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZV8zIj4KICAgIDxlbGxpcHNlIGlkPSJwMTZJTks0YV9zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iOTAzLjAiIGN5PSIxMzEuMCIgcng9IjQwLjAiIHJ5PSIxNS4wIi8+CiAgICA8dGV4dCAgaWQ9InAxNklOSzRhX3RleHQiIHg9IjkwMyIgeT0iMTM0IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5wMTZJTks0YTwvdGV4dD4KICA8L2c+CiAgPGcgaWQ9IlJCMSIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzMiPgogICAgPGVsbGlwc2UgaWQ9IlJCMV9zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iNzA2LjAiIGN5PSIxNjAuMCIgcng9IjQwLjAiIHJ5PSIxNS4wIi8+CiAgICA8dGV4dCAgaWQ9IlJCMV90ZXh0IiB4PSI3MDYiIHk9IjE2MyIgdGV4dC1hbmNob3I9Im1pZGRsZSI+UkIxPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iUkJMMiIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzMiPgogICAgPGVsbGlwc2UgaWQ9IlJCTDJfc2hhcGUiIGNsYXNzPSJzaGFwZSIgY3g9Ijg2My4wIiBjeT0iMjI0LjAiIHJ4PSI0MC4wIiByeT0iMTUuMCIvPgogICAgPHRleHQgIGlkPSJSQkwyX3RleHQiIHg9Ijg2MyIgeT0iMjI3IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5SQkwyPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0icDIxQ0lQIiBjbGFzcz0ibm9kZSBub2RlX25vZGVfc3R5bGVfMyI+CiAgICA8ZWxsaXBzZSBpZD0icDIxQ0lQX3NoYXBlIiBjbGFzcz0ic2hhcGUiIGN4PSIxMTc5LjAiIGN5PSI0MjIuMCIgcng9IjQwLjAiIHJ5PSIxNS4wIi8+CiAgICA8dGV4dCAgaWQ9InAyMUNJUF90ZXh0IiB4PSIxMTc5IiB5PSI0MjUiIHRleHQtYW5jaG9yPSJtaWRkbGUiPnAyMUNJUDwvdGV4dD4KICA8L2c+CiAgPGcgaWQ9IkFUTSIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzQiPgogICAgPHJlY3QgaWQ9IkFUTV9zaGFwZSIgY2xhc3M9InNoYXBlIiB3aWR0aD0iODAiIGhlaWdodD0iMzAiIHg9IjE4NyIgeT0iMjA4Ii8+CiAgICA8dGV4dCAgaWQ9IkFUTV90ZXh0IiB4PSIyMjciIHk9IjIyNiIgdGV4dC1hbmNob3I9Im1pZGRsZSI+QVRNPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iQ0hFSzFfMiIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzQiPgogICAgPHJlY3QgaWQ9IkNIRUsxXzJfc2hhcGUiIGNsYXNzPSJzaGFwZSIgd2lkdGg9IjgwIiBoZWlnaHQ9IjMwIiB4PSIxNTAiIHk9IjMzMCIvPgogICAgPHRleHQgIGlkPSJDSEVLMV8yX3RleHQiIHg9IjE5MCIgeT0iMzQ4IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5DSEVLMV8yPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iTURNMiIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzMiPgogICAgPGVsbGlwc2UgaWQ9Ik1ETTJfc2hhcGUiIGNsYXNzPSJzaGFwZSIgY3g9IjU4OC4wIiBjeT0iNDAxLjAiIHJ4PSI0MC4wIiByeT0iMTUuMCIvPgogICAgPHRleHQgIGlkPSJNRE0yX3RleHQiIHg9IjU4OCIgeT0iNDA0IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5NRE0yPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iVFA1MyIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzMiPgogICAgPGVsbGlwc2UgaWQ9IlRQNTNfc2hhcGUiIGNsYXNzPSJzaGFwZSIgY3g9IjM2OS4wIiBjeT0iNDQ1LjAiIHJ4PSI0MC4wIiByeT0iMTUuMCIvPgogICAgPHRleHQgIGlkPSJUUDUzX3RleHQiIHg9IjM2OSIgeT0iNDQ4IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5UUDUzPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0icDE0QVJGIiBjbGFzcz0ibm9kZSBub2RlX25vZGVfc3R5bGVfMyI+CiAgICA8ZWxsaXBzZSBpZD0icDE0QVJGX3NoYXBlIiBjbGFzcz0ic2hhcGUiIGN4PSI2OTIuMCIgY3k9IjMzMy4wIiByeD0iNDAuMCIgcnk9IjE1LjAiLz4KICAgIDx0ZXh0ICBpZD0icDE0QVJGX3RleHQiIHg9IjY5MiIgeT0iMzM2IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5wMTRBUkY8L3RleHQ+CiAgPC9nPgogIDxnIGlkPSJQVEVOIiBjbGFzcz0ibm9kZSBub2RlX25vZGVfc3R5bGVfMyI+CiAgICA8ZWxsaXBzZSBpZD0iUFRFTl9zaGFwZSIgY2xhc3M9InNoYXBlIiBjeD0iMTQwNi4wIiBjeT0iMzY2LjAiIHJ4PSI0MC4wIiByeT0iMTUuMCIvPgogICAgPHRleHQgIGlkPSJQVEVOX3RleHQiIHg9IjE0MDYiIHk9IjM2OSIgdGV4dC1hbmNob3I9Im1pZGRsZSI+UFRFTjwvdGV4dD4KICA8L2c+CiAgPGcgaWQ9IlBJM0siIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZV8zIj4KICAgIDxlbGxpcHNlIGlkPSJQSTNLX3NoYXBlIiBjbGFzcz0ic2hhcGUiIGN4PSIxNDA1LjAiIGN5PSIyMjAuMCIgcng9IjQwLjAiIHJ5PSIxNS4wIi8+CiAgICA8dGV4dCAgaWQ9IlBJM0tfdGV4dCIgeD0iMTQwNSIgeT0iMjIzIiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5QSTNLPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iQUtUIiBjbGFzcz0ibm9kZSBub2RlX25vZGVfc3R5bGVfMyI+CiAgICA8ZWxsaXBzZSBpZD0iQUtUX3NoYXBlIiBjbGFzcz0ic2hhcGUiIGN4PSIxMzE5LjAiIGN5PSIyODEuMCIgcng9IjQwLjAiIHJ5PSIxNS4wIi8+CiAgICA8dGV4dCAgaWQ9IkFLVF90ZXh0IiB4PSIxMzE5IiB5PSIyODQiIHRleHQtYW5jaG9yPSJtaWRkbGUiPkFLVDwvdGV4dD4KICA8L2c+CiAgPGcgaWQ9IkdSQjIiIGNsYXNzPSJub2RlIG5vZGVfbm9kZV9zdHlsZV8zIj4KICAgIDxlbGxpcHNlIGlkPSJHUkIyX3NoYXBlIiBjbGFzcz0ic2hhcGUiIGN4PSIxMjUxLjAiIGN5PSIxMTMuMCIgcng9IjQwLjAiIHJ5PSIxNS4wIi8+CiAgICA8dGV4dCAgaWQ9IkdSQjJfdGV4dCIgeD0iMTI1MSIgeT0iMTE2IiB0ZXh0LWFuY2hvcj0ibWlkZGxlIj5HUkIyPC90ZXh0PgogIDwvZz4KICA8ZyBpZD0iU1BSWSIgY2xhc3M9Im5vZGUgbm9kZV9ub2RlX3N0eWxlXzMiPgogICAgPGVsbGlwc2UgaWQ9IlNQUllfc2hhcGUiIGNsYXNzPSJzaGFwZSIgY3g9IjEyNDkuMCIgY3k9IjE2MS4wIiByeD0iNDAuMCIgcnk9IjE1LjAiLz4KICAgIDx0ZXh0ICBpZD0iU1BSWV90ZXh0IiB4PSIxMjQ5IiB5PSIxNjQiIHRleHQtYW5jaG9yPSJtaWRkbGUiPlNQUlk8L3RleHQ+CiAgPC9nPgo8L3N2Zz4K\">"
      ],
      "text/plain": [
       "<IPython.core.display.HTML object>"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "lrg = ginsim.load(\"http://ginsim.org/sites/default/files/Bladder_Model.zginml\")\n",
    "ginsim.show(lrg)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "We use `biolqm` to convert it to a pure Boolean model."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "35"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "bn = biolqm.to_minibn(biolqm.booleanize(lrg.getModel()))\n",
    "mbn = mpbn.MPBooleanNetwork(bn)\n",
    "len(mbn) # display number of components"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "['DNAdamage', 'EGFR_stimulus', 'FGFR3_stimulus', 'GrowthInhibitors']"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "inputs = bn.inputs()\n",
    "inputs"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "outputs = [\"Apoptosis_b1\", \"Growth_Arrest\", \"Proliferation\"]\n",
    "non_outputs = [n for n in bn if n not in outputs]"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Attractors\n",
    "\n",
    "We first compute the full list of attractors of the Most Permissive semantics.\n",
    "We recover exactly the same number as reported in the original publication."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 6.12 ms, sys: 1.01 ms, total: 7.14 ms\n",
      "Wall time: 6.82 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>AKT</th>\n",
       "      <th>ATM_b1</th>\n",
       "      <th>ATM_b2</th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Apoptosis_b2</th>\n",
       "      <th>CDC25A</th>\n",
       "      <th>CHEK1_2_b1</th>\n",
       "      <th>CHEK1_2_b2</th>\n",
       "      <th>CyclinA</th>\n",
       "      <th>CyclinD1</th>\n",
       "      <th>CyclinE1</th>\n",
       "      <th>DNAdamage</th>\n",
       "      <th>E2F1_b1</th>\n",
       "      <th>E2F1_b2</th>\n",
       "      <th>E2F3_b1</th>\n",
       "      <th>E2F3_b2</th>\n",
       "      <th>EGFR</th>\n",
       "      <th>EGFR_stimulus</th>\n",
       "      <th>FGFR3</th>\n",
       "      <th>FGFR3_stimulus</th>\n",
       "      <th>GRB2</th>\n",
       "      <th>GrowthInhibitors</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>MDM2</th>\n",
       "      <th>PI3K</th>\n",
       "      <th>PTEN</th>\n",
       "      <th>Proliferation</th>\n",
       "      <th>RAS</th>\n",
       "      <th>RB1</th>\n",
       "      <th>RBL2</th>\n",
       "      <th>SPRY</th>\n",
       "      <th>TP53</th>\n",
       "      <th>p14ARF</th>\n",
       "      <th>p16INK4a</th>\n",
       "      <th>p21CIP</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>3</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>4</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>5</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>6</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>7</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>8</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>9</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>10</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>11</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>12</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>13</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>14</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>15</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>16</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>17</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>18</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>19</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>20</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>21</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>22</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>23</th>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>*</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>24</th>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   AKT  ATM_b1  ATM_b2  Apoptosis_b1  Apoptosis_b2 CDC25A  CHEK1_2_b1  \\\n",
       "0    0       0       0             0             0      0           0   \n",
       "1    0       0       0             0             0      0           0   \n",
       "2    0       0       0             0             0      0           0   \n",
       "3    0       0       0             0             0      0           0   \n",
       "4    0       0       0             0             0      0           0   \n",
       "5    0       0       0             0             0      0           0   \n",
       "6    0       0       0             0             0      0           0   \n",
       "7    0       0       0             0             0      1           0   \n",
       "8    0       0       0             0             0      1           0   \n",
       "9    0       0       0             0             0      1           0   \n",
       "10   0       0       0             0             0      1           0   \n",
       "11   0       1       0             1             0      0           1   \n",
       "12   0       1       0             1             0      0           1   \n",
       "13   0       1       0             1             0      0           1   \n",
       "14   0       1       0             1             0      0           1   \n",
       "15   0       1       0             1             0      0           1   \n",
       "16   0       1       0             1             0      0           1   \n",
       "17   0       1       0             1             0      0           1   \n",
       "18   0       1       0             1             0      0           1   \n",
       "19   0       1       0             1             0      0           1   \n",
       "20   0       1       0             1             0      0           1   \n",
       "21   0       1       0             1             0      0           1   \n",
       "22   0       1       0             1             0      0           1   \n",
       "23   *       0       0             0             0      0           0   \n",
       "24   *       0       0             0             0      *           0   \n",
       "\n",
       "    CHEK1_2_b2 CyclinA CyclinD1 CyclinE1  DNAdamage E2F1_b1  E2F1_b2 E2F3_b1  \\\n",
       "0            0       0        0        0          0       0        0       0   \n",
       "1            0       0        0        0          0       0        0       0   \n",
       "2            0       0        0        0          0       0        0       0   \n",
       "3            0       0        0        0          0       0        0       0   \n",
       "4            0       0        0        0          0       0        0       0   \n",
       "5            0       0        0        0          0       0        0       1   \n",
       "6            0       0        0        0          0       0        0       1   \n",
       "7            0       1        0        1          0       1        0       1   \n",
       "8            0       1        0        1          0       1        0       1   \n",
       "9            0       1        1        1          0       1        0       1   \n",
       "10           0       1        1        1          0       1        0       1   \n",
       "11           0       0        0        0          1       0        0       0   \n",
       "12           0       0        0        0          1       0        0       0   \n",
       "13           0       0        0        0          1       0        0       0   \n",
       "14           0       0        0        0          1       0        0       0   \n",
       "15           0       0        0        0          1       0        0       0   \n",
       "16           0       0        0        0          1       0        0       0   \n",
       "17           0       0        0        0          1       0        0       0   \n",
       "18           0       0        0        0          1       0        0       0   \n",
       "19           0       0        0        0          1       0        0       0   \n",
       "20           0       0        0        0          1       0        0       1   \n",
       "21           0       0        0        0          1       0        0       1   \n",
       "22           0       0        0        0          1       0        0       *   \n",
       "23           0       0        0        0          0       0        0       *   \n",
       "24           0       *        *        *          0       *        0       *   \n",
       "\n",
       "    E2F3_b2 EGFR  EGFR_stimulus  FGFR3  FGFR3_stimulus GRB2  GrowthInhibitors  \\\n",
       "0         0    0              0      0               0    0                 0   \n",
       "1         0    0              0      0               0    0                 1   \n",
       "2         0    0              0      0               0    0                 1   \n",
       "3         0    0              0      1               1    0                 1   \n",
       "4         0    0              1      1               1    0                 1   \n",
       "5         0    0              0      1               1    0                 1   \n",
       "6         0    0              1      1               1    0                 1   \n",
       "7         0    0              0      1               1    0                 1   \n",
       "8         0    0              1      1               1    0                 1   \n",
       "9         0    0              0      1               1    0                 0   \n",
       "10        0    0              1      1               1    0                 0   \n",
       "11        0    0              0      0               0    0                 0   \n",
       "12        0    0              0      0               0    0                 1   \n",
       "13        0    0              0      0               0    0                 1   \n",
       "14        0    0              0      1               1    0                 0   \n",
       "15        0    0              0      1               1    0                 1   \n",
       "16        0    0              1      1               1    0                 0   \n",
       "17        0    0              1      1               1    0                 1   \n",
       "18        0    *              1      0               0    *                 0   \n",
       "19        0    *              1      0               0    *                 1   \n",
       "20        0    0              0      1               1    0                 1   \n",
       "21        0    0              1      1               1    0                 1   \n",
       "22        0    *              1      0               0    *                 1   \n",
       "23        0    *              1      0               0    *                 1   \n",
       "24        0    *              1      0               0    *                 0   \n",
       "\n",
       "   Growth_Arrest MDM2 PI3K  PTEN Proliferation RAS RB1 RBL2 SPRY  TP53 p14ARF  \\\n",
       "0              1    0    0     0             0   0   1    1    0     0      0   \n",
       "1              1    0    0     0             0   0   0    1    0     0      0   \n",
       "2              1    0    0     0             0   0   1    1    0     0      0   \n",
       "3              1    0    0     0             0   1   1    1    1     0      0   \n",
       "4              1    0    0     0             0   1   1    1    1     0      0   \n",
       "5              1    0    0     0             0   1   0    1    1     0      0   \n",
       "6              1    0    0     0             0   1   0    1    1     0      0   \n",
       "7              0    0    0     0             1   1   0    0    1     0      1   \n",
       "8              0    0    0     0             1   1   0    0    1     0      1   \n",
       "9              0    0    0     0             1   1   0    0    1     0      1   \n",
       "10             0    0    0     0             1   1   0    0    1     0      1   \n",
       "11             1    0    0     1             0   0   1    1    0     1      0   \n",
       "12             1    0    0     1             0   0   0    1    0     1      0   \n",
       "13             1    0    0     1             0   0   1    1    0     1      0   \n",
       "14             1    0    0     1             0   1   1    1    1     1      0   \n",
       "15             1    0    0     1             0   1   1    1    1     1      0   \n",
       "16             1    0    0     1             0   1   1    1    1     1      0   \n",
       "17             1    0    0     1             0   1   1    1    1     1      0   \n",
       "18             1    0    0     1             0   *   1    1    *     1      0   \n",
       "19             1    0    0     1             0   *   1    1    *     1      0   \n",
       "20             1    0    0     1             0   1   0    1    1     1      0   \n",
       "21             1    0    0     1             0   1   0    1    1     1      0   \n",
       "22             1    0    0     1             0   *   0    1    *     1      0   \n",
       "23             1    *    *     0             0   *   0    1    *     0      0   \n",
       "24             *    *    *     0             *   *   *    *    *     0      *   \n",
       "\n",
       "    p16INK4a p21CIP  \n",
       "0          0      0  \n",
       "1          1      1  \n",
       "2          0      1  \n",
       "3          0      1  \n",
       "4          0      1  \n",
       "5          1      1  \n",
       "6          1      1  \n",
       "7          1      0  \n",
       "8          1      0  \n",
       "9          0      0  \n",
       "10         0      0  \n",
       "11         0      1  \n",
       "12         1      1  \n",
       "13         0      1  \n",
       "14         0      1  \n",
       "15         0      1  \n",
       "16         0      1  \n",
       "17         0      1  \n",
       "18         0      1  \n",
       "19         0      1  \n",
       "20         1      1  \n",
       "21         1      1  \n",
       "22         1      1  \n",
       "23         1      *  \n",
       "24         0      0  "
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "%time a = list(mbn.attractors())\n",
    "tabulate(a)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "To have a better overview of the input/output behaviour, we display the attractors by selecting only input and output components and then only output components."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>DNAdamage</th>\n",
       "      <th>EGFR_stimulus</th>\n",
       "      <th>FGFR3_stimulus</th>\n",
       "      <th>GrowthInhibitors</th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>3</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>4</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>5</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>6</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>7</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>8</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>9</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>10</th>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>11</th>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>12</th>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>13</th>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>14</th>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>15</th>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>16</th>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>17</th>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "    DNAdamage  EGFR_stimulus  FGFR3_stimulus  GrowthInhibitors  Apoptosis_b1  \\\n",
       "0           0              0               0                 0             0   \n",
       "1           0              0               0                 1             0   \n",
       "2           0              0               1                 0             0   \n",
       "3           0              0               1                 1             0   \n",
       "4           0              0               1                 1             0   \n",
       "5           0              1               0                 0             0   \n",
       "6           0              1               0                 1             0   \n",
       "7           0              1               1                 0             0   \n",
       "8           0              1               1                 1             0   \n",
       "9           0              1               1                 1             0   \n",
       "10          1              0               0                 0             1   \n",
       "11          1              0               0                 1             1   \n",
       "12          1              0               1                 0             1   \n",
       "13          1              0               1                 1             1   \n",
       "14          1              1               0                 0             1   \n",
       "15          1              1               0                 1             1   \n",
       "16          1              1               1                 0             1   \n",
       "17          1              1               1                 1             1   \n",
       "\n",
       "   Growth_Arrest Proliferation  \n",
       "0              1             0  \n",
       "1              1             0  \n",
       "2              0             1  \n",
       "3              0             1  \n",
       "4              1             0  \n",
       "5              *             *  \n",
       "6              1             0  \n",
       "7              0             1  \n",
       "8              0             1  \n",
       "9              1             0  \n",
       "10             1             0  \n",
       "11             1             0  \n",
       "12             1             0  \n",
       "13             1             0  \n",
       "14             1             0  \n",
       "15             1             0  \n",
       "16             1             0  \n",
       "17             1             0  "
      ]
     },
     "execution_count": 7,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "tabulate(a, columns=inputs+outputs)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>3</th>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1 Growth_Arrest Proliferation\n",
       "0             0             0             1\n",
       "1             0             1             0\n",
       "2             0             *             *\n",
       "3             1             1             0"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "tabulate(a, columns=outputs)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Reachable attractors\n",
    "\n",
    "For different input settings, and starting from all the other nodes being inactive, we compute the reachable attractors in the wild-type model."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [],
   "source": [
    "all_zero = dict([(n,0) for n in bn])"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 8.46 ms, sys: 27 µs, total: 8.48 ms\n",
      "Wall time: 7.92 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "      <th>AKT</th>\n",
       "      <th>ATM_b1</th>\n",
       "      <th>ATM_b2</th>\n",
       "      <th>Apoptosis_b2</th>\n",
       "      <th>CDC25A</th>\n",
       "      <th>CHEK1_2_b1</th>\n",
       "      <th>CHEK1_2_b2</th>\n",
       "      <th>CyclinA</th>\n",
       "      <th>CyclinD1</th>\n",
       "      <th>CyclinE1</th>\n",
       "      <th>DNAdamage</th>\n",
       "      <th>E2F1_b1</th>\n",
       "      <th>E2F1_b2</th>\n",
       "      <th>E2F3_b1</th>\n",
       "      <th>E2F3_b2</th>\n",
       "      <th>EGFR</th>\n",
       "      <th>EGFR_stimulus</th>\n",
       "      <th>FGFR3</th>\n",
       "      <th>FGFR3_stimulus</th>\n",
       "      <th>GRB2</th>\n",
       "      <th>GrowthInhibitors</th>\n",
       "      <th>MDM2</th>\n",
       "      <th>PI3K</th>\n",
       "      <th>PTEN</th>\n",
       "      <th>RAS</th>\n",
       "      <th>RB1</th>\n",
       "      <th>RBL2</th>\n",
       "      <th>SPRY</th>\n",
       "      <th>TP53</th>\n",
       "      <th>p14ARF</th>\n",
       "      <th>p16INK4a</th>\n",
       "      <th>p21CIP</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1  Growth_Arrest  Proliferation  AKT  ATM_b1  ATM_b2  \\\n",
       "0             0              1              0    0       0       0   \n",
       "1             0              1              0    0       0       0   \n",
       "\n",
       "   Apoptosis_b2  CDC25A  CHEK1_2_b1  CHEK1_2_b2  CyclinA  CyclinD1  CyclinE1  \\\n",
       "0             0       0           0           0        0         0         0   \n",
       "1             0       0           0           0        0         0         0   \n",
       "\n",
       "   DNAdamage  E2F1_b1  E2F1_b2  E2F3_b1  E2F3_b2  EGFR  EGFR_stimulus  FGFR3  \\\n",
       "0          0        0        0        0        0     0              0      0   \n",
       "1          0        0        0        0        0     0              0      0   \n",
       "\n",
       "   FGFR3_stimulus  GRB2  GrowthInhibitors  MDM2  PI3K  PTEN  RAS  RB1  RBL2  \\\n",
       "0               0     0                 1     0     0     0    0    0     1   \n",
       "1               0     0                 1     0     0     0    0    1     1   \n",
       "\n",
       "   SPRY  TP53  p14ARF  p16INK4a  p21CIP  \n",
       "0     0     0       0         1       1  \n",
       "1     0     0       0         0       1  "
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "init = all_zero.copy()\n",
    "init[\"GrowthInhibitors\"] = 1\n",
    "%time a = list(mbn.attractors(reachable_from=init))\n",
    "tabulate(a, columns=outputs+non_outputs)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 10.2 ms, sys: 60 µs, total: 10.2 ms\n",
      "Wall time: 9.19 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "      <th>AKT</th>\n",
       "      <th>ATM_b1</th>\n",
       "      <th>ATM_b2</th>\n",
       "      <th>Apoptosis_b2</th>\n",
       "      <th>CDC25A</th>\n",
       "      <th>CHEK1_2_b1</th>\n",
       "      <th>CHEK1_2_b2</th>\n",
       "      <th>CyclinA</th>\n",
       "      <th>CyclinD1</th>\n",
       "      <th>CyclinE1</th>\n",
       "      <th>DNAdamage</th>\n",
       "      <th>E2F1_b1</th>\n",
       "      <th>E2F1_b2</th>\n",
       "      <th>E2F3_b1</th>\n",
       "      <th>E2F3_b2</th>\n",
       "      <th>EGFR</th>\n",
       "      <th>EGFR_stimulus</th>\n",
       "      <th>FGFR3</th>\n",
       "      <th>FGFR3_stimulus</th>\n",
       "      <th>GRB2</th>\n",
       "      <th>GrowthInhibitors</th>\n",
       "      <th>MDM2</th>\n",
       "      <th>PI3K</th>\n",
       "      <th>PTEN</th>\n",
       "      <th>RAS</th>\n",
       "      <th>RB1</th>\n",
       "      <th>RBL2</th>\n",
       "      <th>SPRY</th>\n",
       "      <th>TP53</th>\n",
       "      <th>p14ARF</th>\n",
       "      <th>p16INK4a</th>\n",
       "      <th>p21CIP</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1 Growth_Arrest Proliferation AKT  ATM_b1  ATM_b2  Apoptosis_b2  \\\n",
       "0             0             *             *   *       0       0             0   \n",
       "\n",
       "  CDC25A  CHEK1_2_b1  CHEK1_2_b2 CyclinA CyclinD1 CyclinE1  DNAdamage E2F1_b1  \\\n",
       "0      *           0           0       *        *        *          0       *   \n",
       "\n",
       "   E2F1_b2 E2F3_b1  E2F3_b2 EGFR  EGFR_stimulus  FGFR3  FGFR3_stimulus GRB2  \\\n",
       "0        0       *        0    *              1      0               0    *   \n",
       "\n",
       "   GrowthInhibitors MDM2 PI3K  PTEN RAS RB1 RBL2 SPRY  TP53 p14ARF  p16INK4a  \\\n",
       "0                 0    *    *     0   *   *    *    *     0      *         0   \n",
       "\n",
       "   p21CIP  \n",
       "0       0  "
      ]
     },
     "execution_count": 11,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "init = all_zero.copy()\n",
    "init[\"EGFR_stimulus\"] = 1\n",
    "%time a = list(mbn.attractors(reachable_from=init))\n",
    "tabulate(a, columns=outputs+non_outputs)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 10.3 ms, sys: 7 µs, total: 10.3 ms\n",
      "Wall time: 9.25 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "      <th>AKT</th>\n",
       "      <th>ATM_b1</th>\n",
       "      <th>ATM_b2</th>\n",
       "      <th>Apoptosis_b2</th>\n",
       "      <th>CDC25A</th>\n",
       "      <th>CHEK1_2_b1</th>\n",
       "      <th>CHEK1_2_b2</th>\n",
       "      <th>CyclinA</th>\n",
       "      <th>CyclinD1</th>\n",
       "      <th>CyclinE1</th>\n",
       "      <th>DNAdamage</th>\n",
       "      <th>E2F1_b1</th>\n",
       "      <th>E2F1_b2</th>\n",
       "      <th>E2F3_b1</th>\n",
       "      <th>E2F3_b2</th>\n",
       "      <th>EGFR</th>\n",
       "      <th>EGFR_stimulus</th>\n",
       "      <th>FGFR3</th>\n",
       "      <th>FGFR3_stimulus</th>\n",
       "      <th>GRB2</th>\n",
       "      <th>GrowthInhibitors</th>\n",
       "      <th>MDM2</th>\n",
       "      <th>PI3K</th>\n",
       "      <th>PTEN</th>\n",
       "      <th>RAS</th>\n",
       "      <th>RB1</th>\n",
       "      <th>RBL2</th>\n",
       "      <th>SPRY</th>\n",
       "      <th>TP53</th>\n",
       "      <th>p14ARF</th>\n",
       "      <th>p16INK4a</th>\n",
       "      <th>p21CIP</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>1</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>*</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>*</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1  Growth_Arrest  Proliferation AKT  ATM_b1  ATM_b2  \\\n",
       "0             0              1              0   *       0       0   \n",
       "\n",
       "   Apoptosis_b2  CDC25A  CHEK1_2_b1  CHEK1_2_b2  CyclinA  CyclinD1  CyclinE1  \\\n",
       "0             0       0           0           0        0         0         0   \n",
       "\n",
       "   DNAdamage  E2F1_b1  E2F1_b2 E2F3_b1  E2F3_b2 EGFR  EGFR_stimulus  FGFR3  \\\n",
       "0          0        0        0       *        0    *              1      0   \n",
       "\n",
       "   FGFR3_stimulus GRB2  GrowthInhibitors MDM2 PI3K  PTEN RAS  RB1  RBL2 SPRY  \\\n",
       "0               0    *                 1    *    *     0   *    0     1    *   \n",
       "\n",
       "   TP53  p14ARF  p16INK4a p21CIP  \n",
       "0     0       0         1      *  "
      ]
     },
     "execution_count": 12,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "init = all_zero.copy()\n",
    "init[\"EGFR_stimulus\"] = 1\n",
    "init[\"GrowthInhibitors\"] = 1\n",
    "%time a = list(mbn.attractors(reachable_from=init))\n",
    "tabulate(a, columns=outputs+non_outputs)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 11 ms, sys: 0 ns, total: 11 ms\n",
      "Wall time: 9.83 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "      <th>AKT</th>\n",
       "      <th>ATM_b1</th>\n",
       "      <th>ATM_b2</th>\n",
       "      <th>Apoptosis_b2</th>\n",
       "      <th>CDC25A</th>\n",
       "      <th>CHEK1_2_b1</th>\n",
       "      <th>CHEK1_2_b2</th>\n",
       "      <th>CyclinA</th>\n",
       "      <th>CyclinD1</th>\n",
       "      <th>CyclinE1</th>\n",
       "      <th>DNAdamage</th>\n",
       "      <th>E2F1_b1</th>\n",
       "      <th>E2F1_b2</th>\n",
       "      <th>E2F3_b1</th>\n",
       "      <th>E2F3_b2</th>\n",
       "      <th>EGFR</th>\n",
       "      <th>EGFR_stimulus</th>\n",
       "      <th>FGFR3</th>\n",
       "      <th>FGFR3_stimulus</th>\n",
       "      <th>GRB2</th>\n",
       "      <th>GrowthInhibitors</th>\n",
       "      <th>MDM2</th>\n",
       "      <th>PI3K</th>\n",
       "      <th>PTEN</th>\n",
       "      <th>RAS</th>\n",
       "      <th>RB1</th>\n",
       "      <th>RBL2</th>\n",
       "      <th>SPRY</th>\n",
       "      <th>TP53</th>\n",
       "      <th>p14ARF</th>\n",
       "      <th>p16INK4a</th>\n",
       "      <th>p21CIP</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1  Growth_Arrest  Proliferation  AKT  ATM_b1  ATM_b2  \\\n",
       "0             0              0              1    0       0       0   \n",
       "1             0              1              0    0       0       0   \n",
       "2             0              1              0    0       0       0   \n",
       "\n",
       "   Apoptosis_b2  CDC25A  CHEK1_2_b1  CHEK1_2_b2  CyclinA  CyclinD1  CyclinE1  \\\n",
       "0             0       1           0           0        1         0         1   \n",
       "1             0       0           0           0        0         0         0   \n",
       "2             0       0           0           0        0         0         0   \n",
       "\n",
       "   DNAdamage  E2F1_b1  E2F1_b2  E2F3_b1  E2F3_b2  EGFR  EGFR_stimulus  FGFR3  \\\n",
       "0          0        1        0        1        0     0              1      1   \n",
       "1          0        0        0        0        0     0              1      1   \n",
       "2          0        0        0        1        0     0              1      1   \n",
       "\n",
       "   FGFR3_stimulus  GRB2  GrowthInhibitors  MDM2  PI3K  PTEN  RAS  RB1  RBL2  \\\n",
       "0               1     0                 1     0     0     0    1    0     0   \n",
       "1               1     0                 1     0     0     0    1    1     1   \n",
       "2               1     0                 1     0     0     0    1    0     1   \n",
       "\n",
       "   SPRY  TP53  p14ARF  p16INK4a  p21CIP  \n",
       "0     1     0       1         1       0  \n",
       "1     1     0       0         0       1  \n",
       "2     1     0       0         1       1  "
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "init = all_zero.copy()\n",
    "init[\"EGFR_stimulus\"] = 1\n",
    "init[\"FGFR3_stimulus\"] = 1\n",
    "init[\"GrowthInhibitors\"] = 1\n",
    "%time a = list(mbn.attractors(reachable_from=init))\n",
    "tabulate(a, columns=outputs+non_outputs)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Attractors with model perturbations\n",
    "\n",
    "We reproduce the analysis of attractors under various mutations, focusing when `DNAdamage` is off. They match with Table 2 of [(Remy et al., 2015)](https://doi.org/10.3389/fbioe.2014.00086)."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 7.73 ms, sys: 1.04 ms, total: 8.77 ms\n",
      "Wall time: 7.45 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "      <td>*</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1 Growth_Arrest Proliferation\n",
       "0             0             0             1\n",
       "1             0             1             0\n",
       "2             0             *             *"
      ]
     },
     "execution_count": 14,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "%time a = list(mbn.attractors(constraints={\"DNAdamage\":0}))\n",
    "tabulate(a, columns=outputs)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 6.33 ms, sys: 905 µs, total: 7.24 ms\n",
      "Wall time: 6.42 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1  Growth_Arrest  Proliferation\n",
       "0             0              0              1\n",
       "1             0              1              0"
      ]
     },
     "execution_count": 15,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "bn_mut = mbn.copy()\n",
    "bn_mut[\"FGFR3\"] = 1\n",
    "%time a = list(bn_mut.attractors(constraints={\"DNAdamage\":0}))\n",
    "tabulate(a, columns=outputs)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 7.59 ms, sys: 6 µs, total: 7.6 ms\n",
      "Wall time: 6.67 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>*</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>3</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1  Growth_Arrest Proliferation\n",
       "0             0              0             0\n",
       "1             0              0             1\n",
       "2             0              0             *\n",
       "3             0              1             0"
      ]
     },
     "execution_count": 16,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "bn_mut = mbn.copy()\n",
    "bn_mut[\"PI3K\"] = 1\n",
    "%time a = list(bn_mut.attractors(constraints={\"DNAdamage\":0}))\n",
    "tabulate(a, columns=outputs)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 8.13 ms, sys: 6 µs, total: 8.14 ms\n",
      "Wall time: 7.05 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1  Growth_Arrest  Proliferation\n",
       "0             0              0              1\n",
       "1             0              1              0"
      ]
     },
     "execution_count": 17,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "bn_mut = mbn.copy()\n",
    "bn_mut[\"PI3K\"] = 1\n",
    "bn_mut[\"FGFR3\"] = 1\n",
    "%time a = list(bn_mut.attractors(constraints={\"DNAdamage\":0}))\n",
    "tabulate(a, columns=outputs)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 6.14 ms, sys: 65 µs, total: 6.2 ms\n",
      "Wall time: 5.33 ms\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>Apoptosis_b1</th>\n",
       "      <th>Growth_Arrest</th>\n",
       "      <th>Proliferation</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>1</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "   Apoptosis_b1  Growth_Arrest  Proliferation\n",
       "0             0              0              1"
      ]
     },
     "execution_count": 18,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "bn_mut = mbn.copy()\n",
    "bn_mut[\"PI3K\"] = 1\n",
    "bn_mut[\"FGFR3\"] = 1\n",
    "bn_mut[\"p16INK4a\"] = 0\n",
    "%time a = list(bn_mut.attractors(constraints={\"DNAdamage\":0}))\n",
    "tabulate(a, columns=outputs)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "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.7.7"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}