From 465210cbc95885779acf3dad7155492f910b1969 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 17 Jan 2025 21:46:43 +0100
Subject: [PATCH] python: improve ACD's CSS

Some colleagues complained that the highlighting of edges and nodes
in the ACD display where not very readable, especially when sharing
screen during some video call.  This should improve it.

* python/spot/__init__.py (acd): Fill the contents of the nodes when
they are highlighted.  Add some glowing effect the the highlighted
edges.
* tests/python/zlktree.ipynb: Adjust.
---
 python/spot/__init__.py    |   6 +-
 tests/python/zlktree.ipynb | 276 +++++++++++++++++++------------------
 2 files changed, 148 insertions(+), 134 deletions(-)

diff --git a/python/spot/__init__.py b/python/spot/__init__.py
index 126d7e625..91b77c7e9 100644
--- a/python/spot/__init__.py
+++ b/python/spot/__init__.py
@@ -517,8 +517,10 @@ class acd:
         num = _acdnum
         _acdnum += 1
         style = '''
-.acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}
-.acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}
+.acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}
+.acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}
+.acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}
+.acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}
 .acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}
 .acdrej polygon{fill:red;}
 .acdacc polygon{fill:green;}
diff --git a/tests/python/zlktree.ipynb b/tests/python/zlktree.ipynb
index 3eb6f013f..5cd797fc7 100644
--- a/tests/python/zlktree.ipynb
+++ b/tests/python/zlktree.ipynb
@@ -48,7 +48,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"560pt\" height=\"278pt\"\n",
@@ -219,7 +219,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"560pt\" height=\"278pt\"\n",
@@ -387,7 +387,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01ddfe70> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f71814838d0> >"
       ]
      },
      "execution_count": 2,
@@ -640,7 +640,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"510pt\" height=\"276pt\"\n",
@@ -814,7 +814,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"510pt\" height=\"276pt\"\n",
@@ -985,7 +985,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d01decab0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f718149d980> >"
       ]
      },
      "execution_count": 10,
@@ -1010,12 +1010,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"581pt\" height=\"360pt\"\n",
        " viewBox=\"0.00 0.00 581.40 360.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.4504504504504504 0.4504504504504504) rotate(0) translate(4 794)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.45 0.45) rotate(0) translate(4 794)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-794 1284.76,-794 1284.76,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"525.88\" y=\"-775.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"548.88\" y=\"-775.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -1411,12 +1411,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"581pt\" height=\"360pt\"\n",
        " viewBox=\"0.00 0.00 581.40 360.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.4504504504504504 0.4504504504504504) rotate(0) translate(4 794)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.45 0.45) rotate(0) translate(4 794)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-794 1284.76,-794 1284.76,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"525.88\" y=\"-775.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"548.88\" y=\"-775.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -1809,7 +1809,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d01decd50> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f718149f750> >"
       ]
      },
      "execution_count": 11,
@@ -1876,7 +1876,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"492pt\" height=\"181pt\"\n",
@@ -2005,7 +2005,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"492pt\" height=\"181pt\"\n",
@@ -2131,7 +2131,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d01ded4d0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f718149fc90> >"
       ]
      },
      "execution_count": 13,
@@ -2156,12 +2156,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"520pt\" height=\"360pt\"\n",
        " viewBox=\"0.00 0.00 520.25 360.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.4310344827586207 0.4310344827586207) rotate(0) translate(4 830)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.43 0.43) rotate(0) translate(4 830)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-830 1201.25,-830 1201.25,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"453.13\" y=\"-811.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"476.13\" y=\"-811.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -2579,12 +2579,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"520pt\" height=\"360pt\"\n",
        " viewBox=\"0.00 0.00 520.25 360.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.4310344827586207 0.4310344827586207) rotate(0) translate(4 830)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.43 0.43) rotate(0) translate(4 830)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-830 1201.25,-830 1201.25,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"453.13\" y=\"-811.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"476.13\" y=\"-811.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -2999,7 +2999,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d01dedc50> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814bc870> >"
       ]
      },
      "execution_count": 14,
@@ -3082,7 +3082,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"650pt\" height=\"422pt\"\n",
@@ -3397,7 +3397,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"650pt\" height=\"422pt\"\n",
@@ -3709,7 +3709,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01defb10> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f71814bd680> >"
       ]
      },
      "metadata": {},
@@ -3728,7 +3728,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"542pt\" height=\"406pt\"\n",
@@ -4043,7 +4043,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"542pt\" height=\"406pt\"\n",
@@ -4355,7 +4355,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01defb40> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f71814bd740> >"
       ]
      },
      "metadata": {},
@@ -4374,7 +4374,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"117pt\" height=\"334pt\"\n",
@@ -4444,7 +4444,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"117pt\" height=\"334pt\"\n",
@@ -4511,7 +4511,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01def180> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f7182532610> >"
       ]
      },
      "metadata": {},
@@ -4530,7 +4530,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"228pt\" height=\"278pt\"\n",
@@ -4625,7 +4625,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"228pt\" height=\"278pt\"\n",
@@ -4717,7 +4717,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01defb10> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f7182532700> >"
       ]
      },
      "metadata": {},
@@ -4736,7 +4736,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"62pt\" height=\"46pt\"\n",
@@ -4758,7 +4758,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"62pt\" height=\"46pt\"\n",
@@ -4777,7 +4777,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01defb40> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f718149dfb0> >"
       ]
      },
      "metadata": {},
@@ -4796,7 +4796,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"79pt\" height=\"62pt\"\n",
@@ -4818,7 +4818,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"79pt\" height=\"62pt\"\n",
@@ -4837,7 +4837,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01def180> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f718149e100> >"
       ]
      },
      "metadata": {},
@@ -4911,7 +4911,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"358pt\" height=\"278pt\"\n",
@@ -5068,7 +5068,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"358pt\" height=\"278pt\"\n",
@@ -5222,7 +5222,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01deff30> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f71814be5b0> >"
       ]
      },
      "execution_count": 18,
@@ -5298,7 +5298,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"1356pt\" height=\"458pt\"\n",
@@ -5526,20 +5526,22 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: (FGp0 &amp; ((XFp0 &amp; F!p1) | F(Gp1 &amp;\\nXG!p0))) | G(F!p0 &amp;\\n(XFp0 | F!p1) &amp; F(Gp1 | G!p0)) Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"253pt\"\n",
        " viewBox=\"0.00 0.00 729.00 252.93\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"acdaut0\" class=\"graph\" transform=\"scale(0.5376344086021505 0.5376344086021505) rotate(0) translate(4 467)\">\n",
+       "<g id=\"acdaut0\" class=\"graph\" transform=\"scale(0.54 0.54) rotate(0) translate(4 467)\">\n",
        "<title>(FGp0 &amp; ((XFp0 &amp; F!p1) | F(Gp1 &amp;\\nXG!p0))) | G(F!p0 &amp;\\n(XFp0 | F!p1) &amp; F(Gp1 | G!p0))</title>\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-467 1353.5,-467 1353.5,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"503.75\" y=\"-448.8\" font-family=\"Lato\" font-size=\"14.00\">(Fin(</text>\n",
@@ -6106,7 +6108,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"1356pt\" height=\"458pt\"\n",
@@ -6510,7 +6512,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d01deefa0> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f7182532370> >"
       ]
      },
      "execution_count": 20,
@@ -6789,12 +6791,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"253pt\"\n",
        " viewBox=\"0.00 0.00 729.00 252.58\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.3333333333333333 0.3333333333333333) rotate(0) translate(4 754)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.33 0.33) rotate(0) translate(4 754)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-754 2183.78,-754 2183.78,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1008.39\" y=\"-735.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1031.39\" y=\"-735.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -7388,12 +7390,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"253pt\"\n",
        " viewBox=\"0.00 0.00 729.00 252.58\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.3333333333333333 0.3333333333333333) rotate(0) translate(4 754)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.33 0.33) rotate(0) translate(4 754)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-754 2183.78,-754 2183.78,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1008.39\" y=\"-735.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1031.39\" y=\"-735.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -7984,7 +7986,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005206c0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814d4a80> >"
       ]
      },
      "execution_count": 29,
@@ -8047,12 +8049,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"245pt\"\n",
        " viewBox=\"0.00 0.00 729.00 245.25\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.3333333333333333 0.3333333333333333) rotate(0) translate(4 732)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.33 0.33) rotate(0) translate(4 732)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-732 2183.78,-732 2183.78,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1039.39\" y=\"-713.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1062.39\" y=\"-713.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -8626,12 +8628,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"245pt\"\n",
        " viewBox=\"0.00 0.00 729.00 245.25\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.3333333333333333 0.3333333333333333) rotate(0) translate(4 732)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.33 0.33) rotate(0) translate(4 732)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-732 2183.78,-732 2183.78,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1039.39\" y=\"-713.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1062.39\" y=\"-713.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -9202,7 +9204,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005207b0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814d68b0> >"
       ]
      },
      "execution_count": 31,
@@ -9412,7 +9414,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"1356pt\" height=\"458pt\"\n",
@@ -9640,20 +9642,22 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: (FGp0 &amp; ((XFp0 &amp; F!p1) | F(Gp1 &amp;\\nXG!p0))) | G(F!p0 &amp;\\n(XFp0 | F!p1) &amp; F(Gp1 | G!p0)) Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"253pt\"\n",
        " viewBox=\"0.00 0.00 729.00 252.93\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"acdaut1\" class=\"graph\" transform=\"scale(0.5376344086021505 0.5376344086021505) rotate(0) translate(4 467)\">\n",
+       "<g id=\"acdaut1\" class=\"graph\" transform=\"scale(0.54 0.54) rotate(0) translate(4 467)\">\n",
        "<title>(FGp0 &amp; ((XFp0 &amp; F!p1) | F(Gp1 &amp;\\nXG!p0))) | G(F!p0 &amp;\\n(XFp0 | F!p1) &amp; F(Gp1 | G!p0))</title>\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-467 1353.5,-467 1353.5,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"503.75\" y=\"-448.8\" font-family=\"Lato\" font-size=\"14.00\">(Fin(</text>\n",
@@ -10220,7 +10224,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"1356pt\" height=\"458pt\"\n",
@@ -10624,7 +10628,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00520b40> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f71814e82a0> >"
       ]
      },
      "execution_count": 40,
@@ -10749,12 +10753,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"312pt\"\n",
        " viewBox=\"0.00 0.00 729.00 311.94\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.2610966057441253 0.2610966057441253) rotate(0) translate(4 1192)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.26 0.26) rotate(0) translate(4 1192)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-1192 2791,-1192 2791,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1343\" y=\"-1173.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1366\" y=\"-1173.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -11540,12 +11544,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"312pt\"\n",
        " viewBox=\"0.00 0.00 729.00 311.94\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.2610966057441253 0.2610966057441253) rotate(0) translate(4 1192)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.26 0.26) rotate(0) translate(4 1192)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-1192 2791,-1192 2791,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1343\" y=\"-1173.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1366\" y=\"-1173.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -12328,7 +12332,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00521bc0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814e9b60> >"
       ]
      },
      "execution_count": 45,
@@ -12392,7 +12396,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"283pt\"\n",
@@ -12448,15 +12452,17 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"242pt\" height=\"163pt\"\n",
@@ -12562,7 +12568,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"283pt\"\n",
@@ -12687,7 +12693,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00522160> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f71814ea760> >"
       ]
      },
      "execution_count": 47,
@@ -12716,7 +12722,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"618pt\" height=\"250pt\"\n",
@@ -12900,7 +12906,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"618pt\" height=\"250pt\"\n",
@@ -13081,7 +13087,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005214d0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814ea370> >"
       ]
      },
      "execution_count": 48,
@@ -13123,7 +13129,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"283pt\"\n",
@@ -13179,15 +13185,17 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"242pt\" height=\"163pt\"\n",
@@ -13293,7 +13301,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"283pt\"\n",
@@ -13418,7 +13426,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00521e60> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f71814eafa0> >"
       ]
      },
      "execution_count": 49,
@@ -13442,7 +13450,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"606pt\" height=\"230pt\"\n",
@@ -13605,7 +13613,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"606pt\" height=\"230pt\"\n",
@@ -13765,7 +13773,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00522310> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814eac70> >"
       ]
      },
      "execution_count": 50,
@@ -13801,7 +13809,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"356pt\" height=\"233pt\"\n",
@@ -13920,7 +13928,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"356pt\" height=\"233pt\"\n",
@@ -14036,7 +14044,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00522970> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814ebba0> >"
       ]
      },
      "execution_count": 51,
@@ -14080,7 +14088,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"140pt\" height=\"262pt\"\n",
@@ -14151,7 +14159,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"140pt\" height=\"262pt\"\n",
@@ -14219,7 +14227,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d00522c40> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f7180d08060> >"
       ]
      },
      "execution_count": 52,
@@ -14243,7 +14251,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"366pt\" height=\"238pt\"\n",
@@ -14388,7 +14396,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"366pt\" height=\"238pt\"\n",
@@ -14530,7 +14538,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00522ac0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d08360> >"
       ]
      },
      "execution_count": 53,
@@ -14564,7 +14572,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"147pt\" height=\"283pt\"\n",
@@ -14604,15 +14612,17 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"356pt\" height=\"233pt\"\n",
@@ -14753,7 +14763,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"147pt\" height=\"283pt\"\n",
@@ -14850,7 +14860,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00522760> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f7180d08570> >"
       ]
      },
      "execution_count": 55,
@@ -14897,7 +14907,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"220pt\" height=\"237pt\"\n",
@@ -14997,7 +15007,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"220pt\" height=\"237pt\"\n",
@@ -15094,7 +15104,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00523150> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814ebd80> >"
       ]
      },
      "execution_count": 57,
@@ -15118,7 +15128,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"378pt\" height=\"160pt\"\n",
@@ -15244,7 +15254,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"378pt\" height=\"160pt\"\n",
@@ -15367,7 +15377,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00523240> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d08ab0> >"
       ]
      },
      "execution_count": 58,
@@ -15411,7 +15421,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"152pt\" height=\"283pt\"\n",
@@ -15467,15 +15477,17 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"500pt\" height=\"190pt\"\n",
@@ -15615,7 +15627,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"152pt\" height=\"283pt\"\n",
@@ -15738,7 +15750,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00523ab0> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f71814eaa60> >"
       ]
      },
      "execution_count": 60,
@@ -15769,7 +15781,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"486pt\" height=\"166pt\"\n",
@@ -15869,7 +15881,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"486pt\" height=\"166pt\"\n",
@@ -15966,7 +15978,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005239c0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d0a160> >"
       ]
      },
      "execution_count": 61,
@@ -15990,7 +16002,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"494pt\" height=\"165pt\"\n",
@@ -16099,7 +16111,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"494pt\" height=\"165pt\"\n",
@@ -16205,7 +16217,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005238a0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d0a580> >"
       ]
      },
      "execution_count": 62,
@@ -16229,12 +16241,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"342pt\"\n",
        " viewBox=\"0.00 0.00 729.00 342.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.8064516129032259 0.8064516129032259) rotate(0) translate(4 420)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.81 0.81) rotate(0) translate(4 420)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-420 899.79,-420 899.79,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"400.4\" y=\"-401.8\" font-family=\"Lato\" font-size=\"14.00\">Inf(</text>\n",
        "<text text-anchor=\"start\" x=\"421.4\" y=\"-401.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -16488,12 +16500,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"342pt\"\n",
        " viewBox=\"0.00 0.00 729.00 342.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.8064516129032259 0.8064516129032259) rotate(0) translate(4 420)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.81 0.81) rotate(0) translate(4 420)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-420 899.79,-420 899.79,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"400.4\" y=\"-401.8\" font-family=\"Lato\" font-size=\"14.00\">Inf(</text>\n",
        "<text text-anchor=\"start\" x=\"421.4\" y=\"-401.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -16744,7 +16756,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00523720> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d0aa60> >"
       ]
      },
      "execution_count": 63,
@@ -16778,7 +16790,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"137pt\"\n",
@@ -16841,7 +16853,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"137pt\"\n",
@@ -16901,7 +16913,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00523fc0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814e94d0> >"
       ]
      },
      "execution_count": 64,
@@ -16959,7 +16971,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"163pt\" height=\"117pt\"\n",
@@ -17015,7 +17027,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"163pt\" height=\"117pt\"\n",
@@ -17068,7 +17080,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00550090> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d0b720> >"
       ]
      },
      "execution_count": 66,
@@ -17126,7 +17138,7 @@
    "name": "python",
    "nbconvert_exporter": "python",
    "pygments_lexer": "ipython3",
-   "version": "3.11.8"
+   "version": "3.12.7"
   }
  },
  "nbformat": 4,