diff --git a/NEWS b/NEWS
index b1f7c2d79..0ac838737 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,8 @@
 New in spot 2.11.3.dev  (not yet released)
 
-  Nothing yet.
+  Python:
+
+  - spot.acd() no longer depends on jQuery for interactivity.
 
 New in spot 2.11.3  (2022-12-09)
 
diff --git a/python/spot/__init__.py b/python/spot/__init__.py
index edbf4a4e6..ef4cd772e 100644
--- a/python/spot/__init__.py
+++ b/python/spot/__init__.py
@@ -502,51 +502,57 @@ class acd:
 .acdacc polygon{fill:green;}
 '''
         js = '''
-function acd{num}_clear(){{
-        $("#acd{num} .node,#acdaut{num} .node,#acdaut{num} .edge")
-        .removeClass("acdhigh acdbold acdacc acdrej");
+function acdremclasses(sel, classes) {{
+document.querySelectorAll(sel).forEach(n=>{{n.classList.remove(...classes)}});}}
+function acdaddclasses(sel, classes) {{
+document.querySelectorAll(sel).forEach(n=>{{n.classList.add(...classes)}});}}
+function acdonclick(sel, fn) {{
+  document.querySelectorAll(sel).forEach(n=>
+        {{n.addEventListener("click", fn)}});
+}}
+function acd{num}_clear() {{
+  acdremclasses("#acd{num} .node,#acdaut{num} .node,#acdaut{num} .edge",
+                ["acdhigh", "acdbold", "acdacc", "acdrej"]);
 }};
 function acd{num}_state(state){{
-        acd{num}_clear();
-        $("#acd{num} .acdS" + state).addClass("acdhigh acdbold");
-        $("#acdaut{num} #S" + state).addClass("acdbold");
+  acd{num}_clear();
+  acdaddclasses("#acd{num} .acdS" + state, ["acdhigh", "acdbold"]);
+  acdaddclasses("#acdaut{num} #S" + state, ["acdbold"]);
 }};
 function acd{num}_edge(edge){{
-        acd{num}_clear();
-        var theedge = $('#acdaut{num} #E' + edge)
-        var classList = theedge.attr('class').split(/\s+/);
-        $.each(classList, function(index, item) {{
-           if (item.startsWith('acdN')) {{
-        $("#acd{num} #" + item.substring(3)).addClass("acdhigh acdbold");
-           }}
-        }});
-        theedge.addClass("acdbold");
+  acd{num}_clear();
+  var theedge = document.querySelector('#acdaut{num} #E' + edge);
+  theedge.classList.forEach(function(item, index) {{
+    if (item.startsWith('acdN')) {{
+       acdaddclasses("#acd{num} #" + item.substring(3), ["acdhigh", "acdbold"]);
+    }}
+  }});
+  theedge.classList.add("acdbold");
 }};
 function acd{num}_node(node, acc){{
         acd{num}_clear();
-        $("#acdaut{num} .acdN" + node).addClass(acc
-                                                ? "acdacc acdbold"
-                                                : "acdrej acdbold");
-        $("#acd{num} #N" + node).addClass("acdbold acdhigh");
+        acdaddclasses("#acdaut{num} .acdN" + node,
+                      [acc ? "acdacc" : "acdrej", "acdbold"]);
+        acdaddclasses("#acd{num} #N" + node, ["acdbold", "acdhigh"]);
 }};'''.format(num=num)
         me = 0
         for n in range(self.node_count()):
             for e in self.edges_of_node(n):
                 me = max(e, me)
-                js += '$("#acdaut{num} #E{e}").addClass("acdN{n}");'\
+                js += 'acdaddclasses("#acdaut{num} #E{e}", ["acdN{n}"]);\n'\
                       .format(num=num, e=e, n=n)
         for e in range(1, me + 1):
-            js += '$("#acdaut{num} #E{e}")'\
-                  '.click(function(){{acd{num}_edge({e});}});'\
+            js += 'acdonclick("#acdaut{num} #E{e}",'\
+                  'function(){{acd{num}_edge({e});}});\n'\
                   .format(num=num, e=e)
         for s in range(self.get_aut().num_states()):
-            js += '$("#acdaut{num} #S{s}")'\
-                  '.click(function(){{acd{num}_state({s});}});'\
+            js += 'acdonclick("#acdaut{num} #S{s}",'\
+                  'function(){{acd{num}_state({s});}});\n'\
                   .format(num=num, s=s)
         for n in range(self.node_count()):
             v = int(self.node_acceptance(n))
-            js += '$("#acd{num} #N{n}")'\
-                  '.click(function(){{acd{num}_node({n}, {v});}});'\
+            js += 'acdonclick("#acd{num} #N{n}",'\
+                  'function(){{acd{num}_node({n}, {v});}});\n'\
                   .format(num=num, n=n, v=v)
         html = '<style>{}</style><div>{}</div><div>{}</div><script>{}</script>'\
                .format(style,
diff --git a/tests/python/zlktree.ipynb b/tests/python/zlktree.ipynb
index ae44ad37d..c9eb3503d 100644
--- a/tests/python/zlktree.ipynb
+++ b/tests/python/zlktree.ipynb
@@ -216,7 +216,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f14702729c0> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f82c02bf0c0> >"
       ]
      },
      "execution_count": 2,
@@ -640,7 +640,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f14701b7510> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c009d7a0> >"
       ]
      },
      "execution_count": 10,
@@ -1063,7 +1063,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1470220960> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c009c630> >"
       ]
      },
      "execution_count": 11,
@@ -1256,7 +1256,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f14701b75d0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c009c6c0> >"
       ]
      },
      "execution_count": 13,
@@ -1701,7 +1701,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1470142240> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c009c480> >"
       ]
      },
      "execution_count": 14,
@@ -2096,7 +2096,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f147014b780> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f82c009dd10> >"
       ]
      },
      "metadata": {},
@@ -2427,7 +2427,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f147014b750> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f82c009c6f0> >"
       ]
      },
      "metadata": {},
@@ -2513,7 +2513,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f147014b1e0> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f82c009f690> >"
       ]
      },
      "metadata": {},
@@ -2624,7 +2624,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f147014b2a0> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f82c009cd80> >"
       ]
      },
      "metadata": {},
@@ -2662,7 +2662,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f147014b150> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f82c009f6c0> >"
       ]
      },
      "metadata": {},
@@ -2700,7 +2700,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f147014b2d0> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f82c009e670> >"
       ]
      },
      "metadata": {},
@@ -2928,7 +2928,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f147014bd20> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f82c009e6a0> >"
       ]
      },
      "execution_count": 18,
@@ -4064,36 +4064,159 @@
        "</g>\n",
        "</svg>\n",
        "</div><script>\n",
-       "function acd0_clear(){\n",
-       "        $(\"#acd0 .node,#acdaut0 .node,#acdaut0 .edge\")\n",
-       "        .removeClass(\"acdhigh acdbold acdacc acdrej\");\n",
+       "function acdremclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.remove(...classes)});}\n",
+       "function acdaddclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.add(...classes)});}\n",
+       "function acdonclick(sel, fn) {\n",
+       "  document.querySelectorAll(sel).forEach(n=>\n",
+       "        {n.addEventListener(\"click\", fn)});\n",
+       "}\n",
+       "function acd0_clear() {\n",
+       "  acdremclasses(\"#acd0 .node,#acdaut0 .node,#acdaut0 .edge\",\n",
+       "                [\"acdhigh\", \"acdbold\", \"acdacc\", \"acdrej\"]);\n",
        "};\n",
        "function acd0_state(state){\n",
-       "        acd0_clear();\n",
-       "        $(\"#acd0 .acdS\" + state).addClass(\"acdhigh acdbold\");\n",
-       "        $(\"#acdaut0 #S\" + state).addClass(\"acdbold\");\n",
+       "  acd0_clear();\n",
+       "  acdaddclasses(\"#acd0 .acdS\" + state, [\"acdhigh\", \"acdbold\"]);\n",
+       "  acdaddclasses(\"#acdaut0 #S\" + state, [\"acdbold\"]);\n",
        "};\n",
        "function acd0_edge(edge){\n",
-       "        acd0_clear();\n",
-       "        var theedge = $('#acdaut0 #E' + edge)\n",
-       "        var classList = theedge.attr('class').split(/\\s+/);\n",
-       "        $.each(classList, function(index, item) {\n",
-       "           if (item.startsWith('acdN')) {\n",
-       "        $(\"#acd0 #\" + item.substring(3)).addClass(\"acdhigh acdbold\");\n",
-       "           }\n",
-       "        });\n",
-       "        theedge.addClass(\"acdbold\");\n",
+       "  acd0_clear();\n",
+       "  var theedge = document.querySelector('#acdaut0 #E' + edge);\n",
+       "  theedge.classList.forEach(function(item, index) {\n",
+       "    if (item.startsWith('acdN')) {\n",
+       "       acdaddclasses(\"#acd0 #\" + item.substring(3), [\"acdhigh\", \"acdbold\"]);\n",
+       "    }\n",
+       "  });\n",
+       "  theedge.classList.add(\"acdbold\");\n",
        "};\n",
        "function acd0_node(node, acc){\n",
        "        acd0_clear();\n",
-       "        $(\"#acdaut0 .acdN\" + node).addClass(acc\n",
-       "                                                ? \"acdacc acdbold\"\n",
-       "                                                : \"acdrej acdbold\");\n",
-       "        $(\"#acd0 #N\" + node).addClass(\"acdbold acdhigh\");\n",
-       "};$(\"#acdaut0 #E9\").addClass(\"acdN0\");$(\"#acdaut0 #E10\").addClass(\"acdN0\");$(\"#acdaut0 #E11\").addClass(\"acdN0\");$(\"#acdaut0 #E12\").addClass(\"acdN0\");$(\"#acdaut0 #E13\").addClass(\"acdN0\");$(\"#acdaut0 #E14\").addClass(\"acdN0\");$(\"#acdaut0 #E15\").addClass(\"acdN0\");$(\"#acdaut0 #E16\").addClass(\"acdN0\");$(\"#acdaut0 #E21\").addClass(\"acdN0\");$(\"#acdaut0 #E22\").addClass(\"acdN0\");$(\"#acdaut0 #E23\").addClass(\"acdN0\");$(\"#acdaut0 #E24\").addClass(\"acdN0\");$(\"#acdaut0 #E25\").addClass(\"acdN0\");$(\"#acdaut0 #E26\").addClass(\"acdN0\");$(\"#acdaut0 #E27\").addClass(\"acdN0\");$(\"#acdaut0 #E28\").addClass(\"acdN0\");$(\"#acdaut0 #E33\").addClass(\"acdN0\");$(\"#acdaut0 #E34\").addClass(\"acdN0\");$(\"#acdaut0 #E35\").addClass(\"acdN0\");$(\"#acdaut0 #E36\").addClass(\"acdN0\");$(\"#acdaut0 #E31\").addClass(\"acdN1\");$(\"#acdaut0 #E32\").addClass(\"acdN1\");$(\"#acdaut0 #E39\").addClass(\"acdN1\");$(\"#acdaut0 #E40\").addClass(\"acdN1\");$(\"#acdaut0 #E5\").addClass(\"acdN2\");$(\"#acdaut0 #E7\").addClass(\"acdN2\");$(\"#acdaut0 #E17\").addClass(\"acdN2\");$(\"#acdaut0 #E1\").addClass(\"acdN3\");$(\"#acdaut0 #E10\").addClass(\"acdN4\");$(\"#acdaut0 #E12\").addClass(\"acdN4\");$(\"#acdaut0 #E13\").addClass(\"acdN4\");$(\"#acdaut0 #E15\").addClass(\"acdN4\");$(\"#acdaut0 #E21\").addClass(\"acdN4\");$(\"#acdaut0 #E22\").addClass(\"acdN4\");$(\"#acdaut0 #E23\").addClass(\"acdN5\");$(\"#acdaut0 #E24\").addClass(\"acdN5\");$(\"#acdaut0 #E34\").addClass(\"acdN5\");$(\"#acdaut0 #E36\").addClass(\"acdN5\");$(\"#acdaut0 #E14\").addClass(\"acdN6\");$(\"#acdaut0 #E15\").addClass(\"acdN6\");$(\"#acdaut0 #E22\").addClass(\"acdN6\");$(\"#acdaut0 #E23\").addClass(\"acdN6\");$(\"#acdaut0 #E14\").addClass(\"acdN7\");$(\"#acdaut0 #E16\").addClass(\"acdN7\");$(\"#acdaut0 #E26\").addClass(\"acdN7\");$(\"#acdaut0 #E9\").addClass(\"acdN8\");$(\"#acdaut0 #E40\").addClass(\"acdN9\");$(\"#acdaut0 #E5\").addClass(\"acdN10\");$(\"#acdaut0 #E23\").addClass(\"acdN11\");$(\"#acdaut0 #E14\").addClass(\"acdN12\");$(\"#acdaut0 #E23\").addClass(\"acdN13\");$(\"#acdaut0 #E14\").addClass(\"acdN14\");$(\"#acdaut0 #E1\").click(function(){acd0_edge(1);});$(\"#acdaut0 #E2\").click(function(){acd0_edge(2);});$(\"#acdaut0 #E3\").click(function(){acd0_edge(3);});$(\"#acdaut0 #E4\").click(function(){acd0_edge(4);});$(\"#acdaut0 #E5\").click(function(){acd0_edge(5);});$(\"#acdaut0 #E6\").click(function(){acd0_edge(6);});$(\"#acdaut0 #E7\").click(function(){acd0_edge(7);});$(\"#acdaut0 #E8\").click(function(){acd0_edge(8);});$(\"#acdaut0 #E9\").click(function(){acd0_edge(9);});$(\"#acdaut0 #E10\").click(function(){acd0_edge(10);});$(\"#acdaut0 #E11\").click(function(){acd0_edge(11);});$(\"#acdaut0 #E12\").click(function(){acd0_edge(12);});$(\"#acdaut0 #E13\").click(function(){acd0_edge(13);});$(\"#acdaut0 #E14\").click(function(){acd0_edge(14);});$(\"#acdaut0 #E15\").click(function(){acd0_edge(15);});$(\"#acdaut0 #E16\").click(function(){acd0_edge(16);});$(\"#acdaut0 #E17\").click(function(){acd0_edge(17);});$(\"#acdaut0 #E18\").click(function(){acd0_edge(18);});$(\"#acdaut0 #E19\").click(function(){acd0_edge(19);});$(\"#acdaut0 #E20\").click(function(){acd0_edge(20);});$(\"#acdaut0 #E21\").click(function(){acd0_edge(21);});$(\"#acdaut0 #E22\").click(function(){acd0_edge(22);});$(\"#acdaut0 #E23\").click(function(){acd0_edge(23);});$(\"#acdaut0 #E24\").click(function(){acd0_edge(24);});$(\"#acdaut0 #E25\").click(function(){acd0_edge(25);});$(\"#acdaut0 #E26\").click(function(){acd0_edge(26);});$(\"#acdaut0 #E27\").click(function(){acd0_edge(27);});$(\"#acdaut0 #E28\").click(function(){acd0_edge(28);});$(\"#acdaut0 #E29\").click(function(){acd0_edge(29);});$(\"#acdaut0 #E30\").click(function(){acd0_edge(30);});$(\"#acdaut0 #E31\").click(function(){acd0_edge(31);});$(\"#acdaut0 #E32\").click(function(){acd0_edge(32);});$(\"#acdaut0 #E33\").click(function(){acd0_edge(33);});$(\"#acdaut0 #E34\").click(function(){acd0_edge(34);});$(\"#acdaut0 #E35\").click(function(){acd0_edge(35);});$(\"#acdaut0 #E36\").click(function(){acd0_edge(36);});$(\"#acdaut0 #E37\").click(function(){acd0_edge(37);});$(\"#acdaut0 #E38\").click(function(){acd0_edge(38);});$(\"#acdaut0 #E39\").click(function(){acd0_edge(39);});$(\"#acdaut0 #E40\").click(function(){acd0_edge(40);});$(\"#acdaut0 #S0\").click(function(){acd0_state(0);});$(\"#acdaut0 #S1\").click(function(){acd0_state(1);});$(\"#acdaut0 #S2\").click(function(){acd0_state(2);});$(\"#acdaut0 #S3\").click(function(){acd0_state(3);});$(\"#acdaut0 #S4\").click(function(){acd0_state(4);});$(\"#acdaut0 #S5\").click(function(){acd0_state(5);});$(\"#acdaut0 #S6\").click(function(){acd0_state(6);});$(\"#acdaut0 #S7\").click(function(){acd0_state(7);});$(\"#acdaut0 #S8\").click(function(){acd0_state(8);});$(\"#acdaut0 #S9\").click(function(){acd0_state(9);});$(\"#acd0 #N0\").click(function(){acd0_node(0, 0);});$(\"#acd0 #N1\").click(function(){acd0_node(1, 1);});$(\"#acd0 #N2\").click(function(){acd0_node(2, 1);});$(\"#acd0 #N3\").click(function(){acd0_node(3, 1);});$(\"#acd0 #N4\").click(function(){acd0_node(4, 1);});$(\"#acd0 #N5\").click(function(){acd0_node(5, 1);});$(\"#acd0 #N6\").click(function(){acd0_node(6, 1);});$(\"#acd0 #N7\").click(function(){acd0_node(7, 1);});$(\"#acd0 #N8\").click(function(){acd0_node(8, 1);});$(\"#acd0 #N9\").click(function(){acd0_node(9, 0);});$(\"#acd0 #N10\").click(function(){acd0_node(10, 0);});$(\"#acd0 #N11\").click(function(){acd0_node(11, 0);});$(\"#acd0 #N12\").click(function(){acd0_node(12, 0);});$(\"#acd0 #N13\").click(function(){acd0_node(13, 0);});$(\"#acd0 #N14\").click(function(){acd0_node(14, 0);});</script>"
+       "        acdaddclasses(\"#acdaut0 .acdN\" + node,\n",
+       "                      [acc ? \"acdacc\" : \"acdrej\", \"acdbold\"]);\n",
+       "        acdaddclasses(\"#acd0 #N\" + node, [\"acdbold\", \"acdhigh\"]);\n",
+       "};acdaddclasses(\"#acdaut0 #E9\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E10\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E11\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E12\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E13\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E14\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E15\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E16\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E21\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E22\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E23\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E24\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E25\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E26\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E27\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E28\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E33\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E34\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E35\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E36\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E31\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E32\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E39\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E40\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E5\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E7\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E17\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E1\", [\"acdN3\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E10\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E12\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E13\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E15\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E21\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E22\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E23\", [\"acdN5\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E24\", [\"acdN5\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E34\", [\"acdN5\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E36\", [\"acdN5\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E14\", [\"acdN6\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E15\", [\"acdN6\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E22\", [\"acdN6\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E23\", [\"acdN6\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E14\", [\"acdN7\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E16\", [\"acdN7\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E26\", [\"acdN7\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E9\", [\"acdN8\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E40\", [\"acdN9\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E5\", [\"acdN10\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E23\", [\"acdN11\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E14\", [\"acdN12\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E23\", [\"acdN13\"]);\n",
+       "acdaddclasses(\"#acdaut0 #E14\", [\"acdN14\"]);\n",
+       "acdonclick(\"#acdaut0 #E1\",function(){acd0_edge(1);});\n",
+       "acdonclick(\"#acdaut0 #E2\",function(){acd0_edge(2);});\n",
+       "acdonclick(\"#acdaut0 #E3\",function(){acd0_edge(3);});\n",
+       "acdonclick(\"#acdaut0 #E4\",function(){acd0_edge(4);});\n",
+       "acdonclick(\"#acdaut0 #E5\",function(){acd0_edge(5);});\n",
+       "acdonclick(\"#acdaut0 #E6\",function(){acd0_edge(6);});\n",
+       "acdonclick(\"#acdaut0 #E7\",function(){acd0_edge(7);});\n",
+       "acdonclick(\"#acdaut0 #E8\",function(){acd0_edge(8);});\n",
+       "acdonclick(\"#acdaut0 #E9\",function(){acd0_edge(9);});\n",
+       "acdonclick(\"#acdaut0 #E10\",function(){acd0_edge(10);});\n",
+       "acdonclick(\"#acdaut0 #E11\",function(){acd0_edge(11);});\n",
+       "acdonclick(\"#acdaut0 #E12\",function(){acd0_edge(12);});\n",
+       "acdonclick(\"#acdaut0 #E13\",function(){acd0_edge(13);});\n",
+       "acdonclick(\"#acdaut0 #E14\",function(){acd0_edge(14);});\n",
+       "acdonclick(\"#acdaut0 #E15\",function(){acd0_edge(15);});\n",
+       "acdonclick(\"#acdaut0 #E16\",function(){acd0_edge(16);});\n",
+       "acdonclick(\"#acdaut0 #E17\",function(){acd0_edge(17);});\n",
+       "acdonclick(\"#acdaut0 #E18\",function(){acd0_edge(18);});\n",
+       "acdonclick(\"#acdaut0 #E19\",function(){acd0_edge(19);});\n",
+       "acdonclick(\"#acdaut0 #E20\",function(){acd0_edge(20);});\n",
+       "acdonclick(\"#acdaut0 #E21\",function(){acd0_edge(21);});\n",
+       "acdonclick(\"#acdaut0 #E22\",function(){acd0_edge(22);});\n",
+       "acdonclick(\"#acdaut0 #E23\",function(){acd0_edge(23);});\n",
+       "acdonclick(\"#acdaut0 #E24\",function(){acd0_edge(24);});\n",
+       "acdonclick(\"#acdaut0 #E25\",function(){acd0_edge(25);});\n",
+       "acdonclick(\"#acdaut0 #E26\",function(){acd0_edge(26);});\n",
+       "acdonclick(\"#acdaut0 #E27\",function(){acd0_edge(27);});\n",
+       "acdonclick(\"#acdaut0 #E28\",function(){acd0_edge(28);});\n",
+       "acdonclick(\"#acdaut0 #E29\",function(){acd0_edge(29);});\n",
+       "acdonclick(\"#acdaut0 #E30\",function(){acd0_edge(30);});\n",
+       "acdonclick(\"#acdaut0 #E31\",function(){acd0_edge(31);});\n",
+       "acdonclick(\"#acdaut0 #E32\",function(){acd0_edge(32);});\n",
+       "acdonclick(\"#acdaut0 #E33\",function(){acd0_edge(33);});\n",
+       "acdonclick(\"#acdaut0 #E34\",function(){acd0_edge(34);});\n",
+       "acdonclick(\"#acdaut0 #E35\",function(){acd0_edge(35);});\n",
+       "acdonclick(\"#acdaut0 #E36\",function(){acd0_edge(36);});\n",
+       "acdonclick(\"#acdaut0 #E37\",function(){acd0_edge(37);});\n",
+       "acdonclick(\"#acdaut0 #E38\",function(){acd0_edge(38);});\n",
+       "acdonclick(\"#acdaut0 #E39\",function(){acd0_edge(39);});\n",
+       "acdonclick(\"#acdaut0 #E40\",function(){acd0_edge(40);});\n",
+       "acdonclick(\"#acdaut0 #S0\",function(){acd0_state(0);});\n",
+       "acdonclick(\"#acdaut0 #S1\",function(){acd0_state(1);});\n",
+       "acdonclick(\"#acdaut0 #S2\",function(){acd0_state(2);});\n",
+       "acdonclick(\"#acdaut0 #S3\",function(){acd0_state(3);});\n",
+       "acdonclick(\"#acdaut0 #S4\",function(){acd0_state(4);});\n",
+       "acdonclick(\"#acdaut0 #S5\",function(){acd0_state(5);});\n",
+       "acdonclick(\"#acdaut0 #S6\",function(){acd0_state(6);});\n",
+       "acdonclick(\"#acdaut0 #S7\",function(){acd0_state(7);});\n",
+       "acdonclick(\"#acdaut0 #S8\",function(){acd0_state(8);});\n",
+       "acdonclick(\"#acdaut0 #S9\",function(){acd0_state(9);});\n",
+       "acdonclick(\"#acd0 #N0\",function(){acd0_node(0, 0);});\n",
+       "acdonclick(\"#acd0 #N1\",function(){acd0_node(1, 1);});\n",
+       "acdonclick(\"#acd0 #N2\",function(){acd0_node(2, 1);});\n",
+       "acdonclick(\"#acd0 #N3\",function(){acd0_node(3, 1);});\n",
+       "acdonclick(\"#acd0 #N4\",function(){acd0_node(4, 1);});\n",
+       "acdonclick(\"#acd0 #N5\",function(){acd0_node(5, 1);});\n",
+       "acdonclick(\"#acd0 #N6\",function(){acd0_node(6, 1);});\n",
+       "acdonclick(\"#acd0 #N7\",function(){acd0_node(7, 1);});\n",
+       "acdonclick(\"#acd0 #N8\",function(){acd0_node(8, 1);});\n",
+       "acdonclick(\"#acd0 #N9\",function(){acd0_node(9, 0);});\n",
+       "acdonclick(\"#acd0 #N10\",function(){acd0_node(10, 0);});\n",
+       "acdonclick(\"#acd0 #N11\",function(){acd0_node(11, 0);});\n",
+       "acdonclick(\"#acd0 #N12\",function(){acd0_node(12, 0);});\n",
+       "acdonclick(\"#acd0 #N13\",function(){acd0_node(13, 0);});\n",
+       "acdonclick(\"#acd0 #N14\",function(){acd0_node(14, 0);});\n",
+       "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f1470142d50> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f82c009e070> >"
       ]
      },
      "execution_count": 20,
@@ -4968,7 +5091,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f14701670f0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00bc870> >"
       ]
      },
      "execution_count": 29,
@@ -5607,7 +5730,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1470167210> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00bc060> >"
       ]
      },
      "execution_count": 31,
@@ -5807,7 +5930,9 @@
    "cell_type": "code",
    "execution_count": 40,
    "id": "813d15ed",
-   "metadata": {},
+   "metadata": {
+    "scrolled": false
+   },
    "outputs": [
     {
      "data": {
@@ -6875,36 +7000,159 @@
        "</g>\n",
        "</svg>\n",
        "</div><script>\n",
-       "function acd1_clear(){\n",
-       "        $(\"#acd1 .node,#acdaut1 .node,#acdaut1 .edge\")\n",
-       "        .removeClass(\"acdhigh acdbold acdacc acdrej\");\n",
+       "function acdremclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.remove(...classes)});}\n",
+       "function acdaddclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.add(...classes)});}\n",
+       "function acdonclick(sel, fn) {\n",
+       "  document.querySelectorAll(sel).forEach(n=>\n",
+       "        {n.addEventListener(\"click\", fn)});\n",
+       "}\n",
+       "function acd1_clear() {\n",
+       "  acdremclasses(\"#acd1 .node,#acdaut1 .node,#acdaut1 .edge\",\n",
+       "                [\"acdhigh\", \"acdbold\", \"acdacc\", \"acdrej\"]);\n",
        "};\n",
        "function acd1_state(state){\n",
-       "        acd1_clear();\n",
-       "        $(\"#acd1 .acdS\" + state).addClass(\"acdhigh acdbold\");\n",
-       "        $(\"#acdaut1 #S\" + state).addClass(\"acdbold\");\n",
+       "  acd1_clear();\n",
+       "  acdaddclasses(\"#acd1 .acdS\" + state, [\"acdhigh\", \"acdbold\"]);\n",
+       "  acdaddclasses(\"#acdaut1 #S\" + state, [\"acdbold\"]);\n",
        "};\n",
        "function acd1_edge(edge){\n",
-       "        acd1_clear();\n",
-       "        var theedge = $('#acdaut1 #E' + edge)\n",
-       "        var classList = theedge.attr('class').split(/\\s+/);\n",
-       "        $.each(classList, function(index, item) {\n",
-       "           if (item.startsWith('acdN')) {\n",
-       "        $(\"#acd1 #\" + item.substring(3)).addClass(\"acdhigh acdbold\");\n",
-       "           }\n",
-       "        });\n",
-       "        theedge.addClass(\"acdbold\");\n",
+       "  acd1_clear();\n",
+       "  var theedge = document.querySelector('#acdaut1 #E' + edge);\n",
+       "  theedge.classList.forEach(function(item, index) {\n",
+       "    if (item.startsWith('acdN')) {\n",
+       "       acdaddclasses(\"#acd1 #\" + item.substring(3), [\"acdhigh\", \"acdbold\"]);\n",
+       "    }\n",
+       "  });\n",
+       "  theedge.classList.add(\"acdbold\");\n",
        "};\n",
        "function acd1_node(node, acc){\n",
        "        acd1_clear();\n",
-       "        $(\"#acdaut1 .acdN\" + node).addClass(acc\n",
-       "                                                ? \"acdacc acdbold\"\n",
-       "                                                : \"acdrej acdbold\");\n",
-       "        $(\"#acd1 #N\" + node).addClass(\"acdbold acdhigh\");\n",
-       "};$(\"#acdaut1 #E9\").addClass(\"acdN0\");$(\"#acdaut1 #E10\").addClass(\"acdN0\");$(\"#acdaut1 #E11\").addClass(\"acdN0\");$(\"#acdaut1 #E12\").addClass(\"acdN0\");$(\"#acdaut1 #E13\").addClass(\"acdN0\");$(\"#acdaut1 #E14\").addClass(\"acdN0\");$(\"#acdaut1 #E15\").addClass(\"acdN0\");$(\"#acdaut1 #E16\").addClass(\"acdN0\");$(\"#acdaut1 #E21\").addClass(\"acdN0\");$(\"#acdaut1 #E22\").addClass(\"acdN0\");$(\"#acdaut1 #E23\").addClass(\"acdN0\");$(\"#acdaut1 #E24\").addClass(\"acdN0\");$(\"#acdaut1 #E25\").addClass(\"acdN0\");$(\"#acdaut1 #E26\").addClass(\"acdN0\");$(\"#acdaut1 #E27\").addClass(\"acdN0\");$(\"#acdaut1 #E28\").addClass(\"acdN0\");$(\"#acdaut1 #E33\").addClass(\"acdN0\");$(\"#acdaut1 #E34\").addClass(\"acdN0\");$(\"#acdaut1 #E35\").addClass(\"acdN0\");$(\"#acdaut1 #E36\").addClass(\"acdN0\");$(\"#acdaut1 #E31\").addClass(\"acdN1\");$(\"#acdaut1 #E32\").addClass(\"acdN1\");$(\"#acdaut1 #E39\").addClass(\"acdN1\");$(\"#acdaut1 #E40\").addClass(\"acdN1\");$(\"#acdaut1 #E5\").addClass(\"acdN2\");$(\"#acdaut1 #E7\").addClass(\"acdN2\");$(\"#acdaut1 #E17\").addClass(\"acdN2\");$(\"#acdaut1 #E1\").addClass(\"acdN3\");$(\"#acdaut1 #E10\").addClass(\"acdN4\");$(\"#acdaut1 #E12\").addClass(\"acdN4\");$(\"#acdaut1 #E13\").addClass(\"acdN4\");$(\"#acdaut1 #E15\").addClass(\"acdN4\");$(\"#acdaut1 #E21\").addClass(\"acdN4\");$(\"#acdaut1 #E22\").addClass(\"acdN4\");$(\"#acdaut1 #E14\").addClass(\"acdN5\");$(\"#acdaut1 #E15\").addClass(\"acdN5\");$(\"#acdaut1 #E22\").addClass(\"acdN5\");$(\"#acdaut1 #E23\").addClass(\"acdN5\");$(\"#acdaut1 #E23\").addClass(\"acdN6\");$(\"#acdaut1 #E24\").addClass(\"acdN6\");$(\"#acdaut1 #E34\").addClass(\"acdN6\");$(\"#acdaut1 #E36\").addClass(\"acdN6\");$(\"#acdaut1 #E14\").addClass(\"acdN7\");$(\"#acdaut1 #E16\").addClass(\"acdN7\");$(\"#acdaut1 #E26\").addClass(\"acdN7\");$(\"#acdaut1 #E9\").addClass(\"acdN8\");$(\"#acdaut1 #E40\").addClass(\"acdN9\");$(\"#acdaut1 #E5\").addClass(\"acdN10\");$(\"#acdaut1 #E14\").addClass(\"acdN11\");$(\"#acdaut1 #E23\").addClass(\"acdN12\");$(\"#acdaut1 #E23\").addClass(\"acdN13\");$(\"#acdaut1 #E14\").addClass(\"acdN14\");$(\"#acdaut1 #E1\").click(function(){acd1_edge(1);});$(\"#acdaut1 #E2\").click(function(){acd1_edge(2);});$(\"#acdaut1 #E3\").click(function(){acd1_edge(3);});$(\"#acdaut1 #E4\").click(function(){acd1_edge(4);});$(\"#acdaut1 #E5\").click(function(){acd1_edge(5);});$(\"#acdaut1 #E6\").click(function(){acd1_edge(6);});$(\"#acdaut1 #E7\").click(function(){acd1_edge(7);});$(\"#acdaut1 #E8\").click(function(){acd1_edge(8);});$(\"#acdaut1 #E9\").click(function(){acd1_edge(9);});$(\"#acdaut1 #E10\").click(function(){acd1_edge(10);});$(\"#acdaut1 #E11\").click(function(){acd1_edge(11);});$(\"#acdaut1 #E12\").click(function(){acd1_edge(12);});$(\"#acdaut1 #E13\").click(function(){acd1_edge(13);});$(\"#acdaut1 #E14\").click(function(){acd1_edge(14);});$(\"#acdaut1 #E15\").click(function(){acd1_edge(15);});$(\"#acdaut1 #E16\").click(function(){acd1_edge(16);});$(\"#acdaut1 #E17\").click(function(){acd1_edge(17);});$(\"#acdaut1 #E18\").click(function(){acd1_edge(18);});$(\"#acdaut1 #E19\").click(function(){acd1_edge(19);});$(\"#acdaut1 #E20\").click(function(){acd1_edge(20);});$(\"#acdaut1 #E21\").click(function(){acd1_edge(21);});$(\"#acdaut1 #E22\").click(function(){acd1_edge(22);});$(\"#acdaut1 #E23\").click(function(){acd1_edge(23);});$(\"#acdaut1 #E24\").click(function(){acd1_edge(24);});$(\"#acdaut1 #E25\").click(function(){acd1_edge(25);});$(\"#acdaut1 #E26\").click(function(){acd1_edge(26);});$(\"#acdaut1 #E27\").click(function(){acd1_edge(27);});$(\"#acdaut1 #E28\").click(function(){acd1_edge(28);});$(\"#acdaut1 #E29\").click(function(){acd1_edge(29);});$(\"#acdaut1 #E30\").click(function(){acd1_edge(30);});$(\"#acdaut1 #E31\").click(function(){acd1_edge(31);});$(\"#acdaut1 #E32\").click(function(){acd1_edge(32);});$(\"#acdaut1 #E33\").click(function(){acd1_edge(33);});$(\"#acdaut1 #E34\").click(function(){acd1_edge(34);});$(\"#acdaut1 #E35\").click(function(){acd1_edge(35);});$(\"#acdaut1 #E36\").click(function(){acd1_edge(36);});$(\"#acdaut1 #E37\").click(function(){acd1_edge(37);});$(\"#acdaut1 #E38\").click(function(){acd1_edge(38);});$(\"#acdaut1 #E39\").click(function(){acd1_edge(39);});$(\"#acdaut1 #E40\").click(function(){acd1_edge(40);});$(\"#acdaut1 #S0\").click(function(){acd1_state(0);});$(\"#acdaut1 #S1\").click(function(){acd1_state(1);});$(\"#acdaut1 #S2\").click(function(){acd1_state(2);});$(\"#acdaut1 #S3\").click(function(){acd1_state(3);});$(\"#acdaut1 #S4\").click(function(){acd1_state(4);});$(\"#acdaut1 #S5\").click(function(){acd1_state(5);});$(\"#acdaut1 #S6\").click(function(){acd1_state(6);});$(\"#acdaut1 #S7\").click(function(){acd1_state(7);});$(\"#acdaut1 #S8\").click(function(){acd1_state(8);});$(\"#acdaut1 #S9\").click(function(){acd1_state(9);});$(\"#acd1 #N0\").click(function(){acd1_node(0, 0);});$(\"#acd1 #N1\").click(function(){acd1_node(1, 1);});$(\"#acd1 #N2\").click(function(){acd1_node(2, 1);});$(\"#acd1 #N3\").click(function(){acd1_node(3, 1);});$(\"#acd1 #N4\").click(function(){acd1_node(4, 1);});$(\"#acd1 #N5\").click(function(){acd1_node(5, 1);});$(\"#acd1 #N6\").click(function(){acd1_node(6, 1);});$(\"#acd1 #N7\").click(function(){acd1_node(7, 1);});$(\"#acd1 #N8\").click(function(){acd1_node(8, 1);});$(\"#acd1 #N9\").click(function(){acd1_node(9, 0);});$(\"#acd1 #N10\").click(function(){acd1_node(10, 0);});$(\"#acd1 #N11\").click(function(){acd1_node(11, 0);});$(\"#acd1 #N12\").click(function(){acd1_node(12, 0);});$(\"#acd1 #N13\").click(function(){acd1_node(13, 0);});$(\"#acd1 #N14\").click(function(){acd1_node(14, 0);});</script>"
+       "        acdaddclasses(\"#acdaut1 .acdN\" + node,\n",
+       "                      [acc ? \"acdacc\" : \"acdrej\", \"acdbold\"]);\n",
+       "        acdaddclasses(\"#acd1 #N\" + node, [\"acdbold\", \"acdhigh\"]);\n",
+       "};acdaddclasses(\"#acdaut1 #E9\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E10\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E11\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E12\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E13\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E14\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E15\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E16\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E21\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E22\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E23\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E24\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E25\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E26\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E27\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E28\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E33\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E34\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E35\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E36\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E31\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E32\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E39\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E40\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E5\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E7\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E17\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E1\", [\"acdN3\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E10\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E12\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E13\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E15\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E21\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E22\", [\"acdN4\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E14\", [\"acdN5\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E15\", [\"acdN5\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E22\", [\"acdN5\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E23\", [\"acdN5\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E23\", [\"acdN6\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E24\", [\"acdN6\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E34\", [\"acdN6\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E36\", [\"acdN6\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E14\", [\"acdN7\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E16\", [\"acdN7\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E26\", [\"acdN7\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E9\", [\"acdN8\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E40\", [\"acdN9\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E5\", [\"acdN10\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E14\", [\"acdN11\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E23\", [\"acdN12\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E23\", [\"acdN13\"]);\n",
+       "acdaddclasses(\"#acdaut1 #E14\", [\"acdN14\"]);\n",
+       "acdonclick(\"#acdaut1 #E1\",function(){acd1_edge(1);});\n",
+       "acdonclick(\"#acdaut1 #E2\",function(){acd1_edge(2);});\n",
+       "acdonclick(\"#acdaut1 #E3\",function(){acd1_edge(3);});\n",
+       "acdonclick(\"#acdaut1 #E4\",function(){acd1_edge(4);});\n",
+       "acdonclick(\"#acdaut1 #E5\",function(){acd1_edge(5);});\n",
+       "acdonclick(\"#acdaut1 #E6\",function(){acd1_edge(6);});\n",
+       "acdonclick(\"#acdaut1 #E7\",function(){acd1_edge(7);});\n",
+       "acdonclick(\"#acdaut1 #E8\",function(){acd1_edge(8);});\n",
+       "acdonclick(\"#acdaut1 #E9\",function(){acd1_edge(9);});\n",
+       "acdonclick(\"#acdaut1 #E10\",function(){acd1_edge(10);});\n",
+       "acdonclick(\"#acdaut1 #E11\",function(){acd1_edge(11);});\n",
+       "acdonclick(\"#acdaut1 #E12\",function(){acd1_edge(12);});\n",
+       "acdonclick(\"#acdaut1 #E13\",function(){acd1_edge(13);});\n",
+       "acdonclick(\"#acdaut1 #E14\",function(){acd1_edge(14);});\n",
+       "acdonclick(\"#acdaut1 #E15\",function(){acd1_edge(15);});\n",
+       "acdonclick(\"#acdaut1 #E16\",function(){acd1_edge(16);});\n",
+       "acdonclick(\"#acdaut1 #E17\",function(){acd1_edge(17);});\n",
+       "acdonclick(\"#acdaut1 #E18\",function(){acd1_edge(18);});\n",
+       "acdonclick(\"#acdaut1 #E19\",function(){acd1_edge(19);});\n",
+       "acdonclick(\"#acdaut1 #E20\",function(){acd1_edge(20);});\n",
+       "acdonclick(\"#acdaut1 #E21\",function(){acd1_edge(21);});\n",
+       "acdonclick(\"#acdaut1 #E22\",function(){acd1_edge(22);});\n",
+       "acdonclick(\"#acdaut1 #E23\",function(){acd1_edge(23);});\n",
+       "acdonclick(\"#acdaut1 #E24\",function(){acd1_edge(24);});\n",
+       "acdonclick(\"#acdaut1 #E25\",function(){acd1_edge(25);});\n",
+       "acdonclick(\"#acdaut1 #E26\",function(){acd1_edge(26);});\n",
+       "acdonclick(\"#acdaut1 #E27\",function(){acd1_edge(27);});\n",
+       "acdonclick(\"#acdaut1 #E28\",function(){acd1_edge(28);});\n",
+       "acdonclick(\"#acdaut1 #E29\",function(){acd1_edge(29);});\n",
+       "acdonclick(\"#acdaut1 #E30\",function(){acd1_edge(30);});\n",
+       "acdonclick(\"#acdaut1 #E31\",function(){acd1_edge(31);});\n",
+       "acdonclick(\"#acdaut1 #E32\",function(){acd1_edge(32);});\n",
+       "acdonclick(\"#acdaut1 #E33\",function(){acd1_edge(33);});\n",
+       "acdonclick(\"#acdaut1 #E34\",function(){acd1_edge(34);});\n",
+       "acdonclick(\"#acdaut1 #E35\",function(){acd1_edge(35);});\n",
+       "acdonclick(\"#acdaut1 #E36\",function(){acd1_edge(36);});\n",
+       "acdonclick(\"#acdaut1 #E37\",function(){acd1_edge(37);});\n",
+       "acdonclick(\"#acdaut1 #E38\",function(){acd1_edge(38);});\n",
+       "acdonclick(\"#acdaut1 #E39\",function(){acd1_edge(39);});\n",
+       "acdonclick(\"#acdaut1 #E40\",function(){acd1_edge(40);});\n",
+       "acdonclick(\"#acdaut1 #S0\",function(){acd1_state(0);});\n",
+       "acdonclick(\"#acdaut1 #S1\",function(){acd1_state(1);});\n",
+       "acdonclick(\"#acdaut1 #S2\",function(){acd1_state(2);});\n",
+       "acdonclick(\"#acdaut1 #S3\",function(){acd1_state(3);});\n",
+       "acdonclick(\"#acdaut1 #S4\",function(){acd1_state(4);});\n",
+       "acdonclick(\"#acdaut1 #S5\",function(){acd1_state(5);});\n",
+       "acdonclick(\"#acdaut1 #S6\",function(){acd1_state(6);});\n",
+       "acdonclick(\"#acdaut1 #S7\",function(){acd1_state(7);});\n",
+       "acdonclick(\"#acdaut1 #S8\",function(){acd1_state(8);});\n",
+       "acdonclick(\"#acdaut1 #S9\",function(){acd1_state(9);});\n",
+       "acdonclick(\"#acd1 #N0\",function(){acd1_node(0, 0);});\n",
+       "acdonclick(\"#acd1 #N1\",function(){acd1_node(1, 1);});\n",
+       "acdonclick(\"#acd1 #N2\",function(){acd1_node(2, 1);});\n",
+       "acdonclick(\"#acd1 #N3\",function(){acd1_node(3, 1);});\n",
+       "acdonclick(\"#acd1 #N4\",function(){acd1_node(4, 1);});\n",
+       "acdonclick(\"#acd1 #N5\",function(){acd1_node(5, 1);});\n",
+       "acdonclick(\"#acd1 #N6\",function(){acd1_node(6, 1);});\n",
+       "acdonclick(\"#acd1 #N7\",function(){acd1_node(7, 1);});\n",
+       "acdonclick(\"#acd1 #N8\",function(){acd1_node(8, 1);});\n",
+       "acdonclick(\"#acd1 #N9\",function(){acd1_node(9, 0);});\n",
+       "acdonclick(\"#acd1 #N10\",function(){acd1_node(10, 0);});\n",
+       "acdonclick(\"#acd1 #N11\",function(){acd1_node(11, 0);});\n",
+       "acdonclick(\"#acd1 #N12\",function(){acd1_node(12, 0);});\n",
+       "acdonclick(\"#acd1 #N13\",function(){acd1_node(13, 0);});\n",
+       "acdonclick(\"#acd1 #N14\",function(){acd1_node(14, 0);});\n",
+       "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f147016f1e0> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f82c00bddd0> >"
       ]
      },
      "execution_count": 40,
@@ -7817,7 +8065,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f14700fe1e0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00be460> >"
       ]
      },
      "execution_count": 45,
@@ -8114,36 +8362,69 @@
        "</g>\n",
        "</svg>\n",
        "</div><script>\n",
-       "function acd2_clear(){\n",
-       "        $(\"#acd2 .node,#acdaut2 .node,#acdaut2 .edge\")\n",
-       "        .removeClass(\"acdhigh acdbold acdacc acdrej\");\n",
+       "function acdremclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.remove(...classes)});}\n",
+       "function acdaddclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.add(...classes)});}\n",
+       "function acdonclick(sel, fn) {\n",
+       "  document.querySelectorAll(sel).forEach(n=>\n",
+       "        {n.addEventListener(\"click\", fn)});\n",
+       "}\n",
+       "function acd2_clear() {\n",
+       "  acdremclasses(\"#acd2 .node,#acdaut2 .node,#acdaut2 .edge\",\n",
+       "                [\"acdhigh\", \"acdbold\", \"acdacc\", \"acdrej\"]);\n",
        "};\n",
        "function acd2_state(state){\n",
-       "        acd2_clear();\n",
-       "        $(\"#acd2 .acdS\" + state).addClass(\"acdhigh acdbold\");\n",
-       "        $(\"#acdaut2 #S\" + state).addClass(\"acdbold\");\n",
+       "  acd2_clear();\n",
+       "  acdaddclasses(\"#acd2 .acdS\" + state, [\"acdhigh\", \"acdbold\"]);\n",
+       "  acdaddclasses(\"#acdaut2 #S\" + state, [\"acdbold\"]);\n",
        "};\n",
        "function acd2_edge(edge){\n",
-       "        acd2_clear();\n",
-       "        var theedge = $('#acdaut2 #E' + edge)\n",
-       "        var classList = theedge.attr('class').split(/\\s+/);\n",
-       "        $.each(classList, function(index, item) {\n",
-       "           if (item.startsWith('acdN')) {\n",
-       "        $(\"#acd2 #\" + item.substring(3)).addClass(\"acdhigh acdbold\");\n",
-       "           }\n",
-       "        });\n",
-       "        theedge.addClass(\"acdbold\");\n",
+       "  acd2_clear();\n",
+       "  var theedge = document.querySelector('#acdaut2 #E' + edge);\n",
+       "  theedge.classList.forEach(function(item, index) {\n",
+       "    if (item.startsWith('acdN')) {\n",
+       "       acdaddclasses(\"#acd2 #\" + item.substring(3), [\"acdhigh\", \"acdbold\"]);\n",
+       "    }\n",
+       "  });\n",
+       "  theedge.classList.add(\"acdbold\");\n",
        "};\n",
        "function acd2_node(node, acc){\n",
        "        acd2_clear();\n",
-       "        $(\"#acdaut2 .acdN\" + node).addClass(acc\n",
-       "                                                ? \"acdacc acdbold\"\n",
-       "                                                : \"acdrej acdbold\");\n",
-       "        $(\"#acd2 #N\" + node).addClass(\"acdbold acdhigh\");\n",
-       "};$(\"#acdaut2 #E1\").addClass(\"acdN0\");$(\"#acdaut2 #E2\").addClass(\"acdN0\");$(\"#acdaut2 #E3\").addClass(\"acdN0\");$(\"#acdaut2 #E4\").addClass(\"acdN0\");$(\"#acdaut2 #E5\").addClass(\"acdN0\");$(\"#acdaut2 #E6\").addClass(\"acdN0\");$(\"#acdaut2 #E2\").addClass(\"acdN1\");$(\"#acdaut2 #E3\").addClass(\"acdN1\");$(\"#acdaut2 #E4\").addClass(\"acdN1\");$(\"#acdaut2 #E5\").addClass(\"acdN1\");$(\"#acdaut2 #E6\").addClass(\"acdN1\");$(\"#acdaut2 #E1\").addClass(\"acdN2\");$(\"#acdaut2 #E2\").addClass(\"acdN2\");$(\"#acdaut2 #E4\").addClass(\"acdN2\");$(\"#acdaut2 #E6\").addClass(\"acdN2\");$(\"#acdaut2 #E1\").click(function(){acd2_edge(1);});$(\"#acdaut2 #E2\").click(function(){acd2_edge(2);});$(\"#acdaut2 #E3\").click(function(){acd2_edge(3);});$(\"#acdaut2 #E4\").click(function(){acd2_edge(4);});$(\"#acdaut2 #E5\").click(function(){acd2_edge(5);});$(\"#acdaut2 #E6\").click(function(){acd2_edge(6);});$(\"#acdaut2 #S0\").click(function(){acd2_state(0);});$(\"#acdaut2 #S1\").click(function(){acd2_state(1);});$(\"#acdaut2 #S2\").click(function(){acd2_state(2);});$(\"#acd2 #N0\").click(function(){acd2_node(0, 1);});$(\"#acd2 #N1\").click(function(){acd2_node(1, 0);});$(\"#acd2 #N2\").click(function(){acd2_node(2, 0);});</script>"
+       "        acdaddclasses(\"#acdaut2 .acdN\" + node,\n",
+       "                      [acc ? \"acdacc\" : \"acdrej\", \"acdbold\"]);\n",
+       "        acdaddclasses(\"#acd2 #N\" + node, [\"acdbold\", \"acdhigh\"]);\n",
+       "};acdaddclasses(\"#acdaut2 #E1\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E2\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E3\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E4\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E5\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E6\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E2\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E3\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E4\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E5\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E6\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E1\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E2\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E4\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut2 #E6\", [\"acdN2\"]);\n",
+       "acdonclick(\"#acdaut2 #E1\",function(){acd2_edge(1);});\n",
+       "acdonclick(\"#acdaut2 #E2\",function(){acd2_edge(2);});\n",
+       "acdonclick(\"#acdaut2 #E3\",function(){acd2_edge(3);});\n",
+       "acdonclick(\"#acdaut2 #E4\",function(){acd2_edge(4);});\n",
+       "acdonclick(\"#acdaut2 #E5\",function(){acd2_edge(5);});\n",
+       "acdonclick(\"#acdaut2 #E6\",function(){acd2_edge(6);});\n",
+       "acdonclick(\"#acdaut2 #S0\",function(){acd2_state(0);});\n",
+       "acdonclick(\"#acdaut2 #S1\",function(){acd2_state(1);});\n",
+       "acdonclick(\"#acdaut2 #S2\",function(){acd2_state(2);});\n",
+       "acdonclick(\"#acd2 #N0\",function(){acd2_node(0, 1);});\n",
+       "acdonclick(\"#acd2 #N1\",function(){acd2_node(1, 0);});\n",
+       "acdonclick(\"#acd2 #N2\",function(){acd2_node(2, 0);});\n",
+       "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f14700fe300> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f82c00bf0c0> >"
       ]
      },
      "execution_count": 47,
@@ -8353,7 +8634,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f14700feb40> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00bdd40> >"
       ]
      },
      "execution_count": 48,
@@ -8628,36 +8909,69 @@
        "</g>\n",
        "</svg>\n",
        "</div><script>\n",
-       "function acd3_clear(){\n",
-       "        $(\"#acd3 .node,#acdaut3 .node,#acdaut3 .edge\")\n",
-       "        .removeClass(\"acdhigh acdbold acdacc acdrej\");\n",
+       "function acdremclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.remove(...classes)});}\n",
+       "function acdaddclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.add(...classes)});}\n",
+       "function acdonclick(sel, fn) {\n",
+       "  document.querySelectorAll(sel).forEach(n=>\n",
+       "        {n.addEventListener(\"click\", fn)});\n",
+       "}\n",
+       "function acd3_clear() {\n",
+       "  acdremclasses(\"#acd3 .node,#acdaut3 .node,#acdaut3 .edge\",\n",
+       "                [\"acdhigh\", \"acdbold\", \"acdacc\", \"acdrej\"]);\n",
        "};\n",
        "function acd3_state(state){\n",
-       "        acd3_clear();\n",
-       "        $(\"#acd3 .acdS\" + state).addClass(\"acdhigh acdbold\");\n",
-       "        $(\"#acdaut3 #S\" + state).addClass(\"acdbold\");\n",
+       "  acd3_clear();\n",
+       "  acdaddclasses(\"#acd3 .acdS\" + state, [\"acdhigh\", \"acdbold\"]);\n",
+       "  acdaddclasses(\"#acdaut3 #S\" + state, [\"acdbold\"]);\n",
        "};\n",
        "function acd3_edge(edge){\n",
-       "        acd3_clear();\n",
-       "        var theedge = $('#acdaut3 #E' + edge)\n",
-       "        var classList = theedge.attr('class').split(/\\s+/);\n",
-       "        $.each(classList, function(index, item) {\n",
-       "           if (item.startsWith('acdN')) {\n",
-       "        $(\"#acd3 #\" + item.substring(3)).addClass(\"acdhigh acdbold\");\n",
-       "           }\n",
-       "        });\n",
-       "        theedge.addClass(\"acdbold\");\n",
+       "  acd3_clear();\n",
+       "  var theedge = document.querySelector('#acdaut3 #E' + edge);\n",
+       "  theedge.classList.forEach(function(item, index) {\n",
+       "    if (item.startsWith('acdN')) {\n",
+       "       acdaddclasses(\"#acd3 #\" + item.substring(3), [\"acdhigh\", \"acdbold\"]);\n",
+       "    }\n",
+       "  });\n",
+       "  theedge.classList.add(\"acdbold\");\n",
        "};\n",
        "function acd3_node(node, acc){\n",
        "        acd3_clear();\n",
-       "        $(\"#acdaut3 .acdN\" + node).addClass(acc\n",
-       "                                                ? \"acdacc acdbold\"\n",
-       "                                                : \"acdrej acdbold\");\n",
-       "        $(\"#acd3 #N\" + node).addClass(\"acdbold acdhigh\");\n",
-       "};$(\"#acdaut3 #E1\").addClass(\"acdN0\");$(\"#acdaut3 #E2\").addClass(\"acdN0\");$(\"#acdaut3 #E3\").addClass(\"acdN0\");$(\"#acdaut3 #E4\").addClass(\"acdN0\");$(\"#acdaut3 #E5\").addClass(\"acdN0\");$(\"#acdaut3 #E6\").addClass(\"acdN0\");$(\"#acdaut3 #E1\").addClass(\"acdN1\");$(\"#acdaut3 #E2\").addClass(\"acdN1\");$(\"#acdaut3 #E4\").addClass(\"acdN1\");$(\"#acdaut3 #E6\").addClass(\"acdN1\");$(\"#acdaut3 #E2\").addClass(\"acdN2\");$(\"#acdaut3 #E3\").addClass(\"acdN2\");$(\"#acdaut3 #E4\").addClass(\"acdN2\");$(\"#acdaut3 #E5\").addClass(\"acdN2\");$(\"#acdaut3 #E6\").addClass(\"acdN2\");$(\"#acdaut3 #E1\").click(function(){acd3_edge(1);});$(\"#acdaut3 #E2\").click(function(){acd3_edge(2);});$(\"#acdaut3 #E3\").click(function(){acd3_edge(3);});$(\"#acdaut3 #E4\").click(function(){acd3_edge(4);});$(\"#acdaut3 #E5\").click(function(){acd3_edge(5);});$(\"#acdaut3 #E6\").click(function(){acd3_edge(6);});$(\"#acdaut3 #S0\").click(function(){acd3_state(0);});$(\"#acdaut3 #S1\").click(function(){acd3_state(1);});$(\"#acdaut3 #S2\").click(function(){acd3_state(2);});$(\"#acd3 #N0\").click(function(){acd3_node(0, 1);});$(\"#acd3 #N1\").click(function(){acd3_node(1, 0);});$(\"#acd3 #N2\").click(function(){acd3_node(2, 0);});</script>"
+       "        acdaddclasses(\"#acdaut3 .acdN\" + node,\n",
+       "                      [acc ? \"acdacc\" : \"acdrej\", \"acdbold\"]);\n",
+       "        acdaddclasses(\"#acd3 #N\" + node, [\"acdbold\", \"acdhigh\"]);\n",
+       "};acdaddclasses(\"#acdaut3 #E1\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E2\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E3\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E4\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E5\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E6\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E1\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E2\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E4\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E6\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E2\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E3\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E4\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E5\", [\"acdN2\"]);\n",
+       "acdaddclasses(\"#acdaut3 #E6\", [\"acdN2\"]);\n",
+       "acdonclick(\"#acdaut3 #E1\",function(){acd3_edge(1);});\n",
+       "acdonclick(\"#acdaut3 #E2\",function(){acd3_edge(2);});\n",
+       "acdonclick(\"#acdaut3 #E3\",function(){acd3_edge(3);});\n",
+       "acdonclick(\"#acdaut3 #E4\",function(){acd3_edge(4);});\n",
+       "acdonclick(\"#acdaut3 #E5\",function(){acd3_edge(5);});\n",
+       "acdonclick(\"#acdaut3 #E6\",function(){acd3_edge(6);});\n",
+       "acdonclick(\"#acdaut3 #S0\",function(){acd3_state(0);});\n",
+       "acdonclick(\"#acdaut3 #S1\",function(){acd3_state(1);});\n",
+       "acdonclick(\"#acdaut3 #S2\",function(){acd3_state(2);});\n",
+       "acdonclick(\"#acd3 #N0\",function(){acd3_node(0, 1);});\n",
+       "acdonclick(\"#acd3 #N1\",function(){acd3_node(1, 0);});\n",
+       "acdonclick(\"#acd3 #N2\",function(){acd3_node(2, 0);});\n",
+       "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f14700fed50> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f82c00be490> >"
       ]
      },
      "execution_count": 49,
@@ -8841,7 +9155,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f14700fea80> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00bf300> >"
       ]
      },
      "execution_count": 50,
@@ -8993,7 +9307,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1470107240> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00be5b0> >"
       ]
      },
      "execution_count": 51,
@@ -9105,7 +9419,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f1470107090> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f82c00bf690> >"
       ]
      },
      "execution_count": 52,
@@ -9271,7 +9585,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1470107030> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00bf5d0> >"
       ]
      },
      "execution_count": 53,
@@ -9535,36 +9849,63 @@
        "</g>\n",
        "</svg>\n",
        "</div><script>\n",
-       "function acd4_clear(){\n",
-       "        $(\"#acd4 .node,#acdaut4 .node,#acdaut4 .edge\")\n",
-       "        .removeClass(\"acdhigh acdbold acdacc acdrej\");\n",
+       "function acdremclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.remove(...classes)});}\n",
+       "function acdaddclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.add(...classes)});}\n",
+       "function acdonclick(sel, fn) {\n",
+       "  document.querySelectorAll(sel).forEach(n=>\n",
+       "        {n.addEventListener(\"click\", fn)});\n",
+       "}\n",
+       "function acd4_clear() {\n",
+       "  acdremclasses(\"#acd4 .node,#acdaut4 .node,#acdaut4 .edge\",\n",
+       "                [\"acdhigh\", \"acdbold\", \"acdacc\", \"acdrej\"]);\n",
        "};\n",
        "function acd4_state(state){\n",
-       "        acd4_clear();\n",
-       "        $(\"#acd4 .acdS\" + state).addClass(\"acdhigh acdbold\");\n",
-       "        $(\"#acdaut4 #S\" + state).addClass(\"acdbold\");\n",
+       "  acd4_clear();\n",
+       "  acdaddclasses(\"#acd4 .acdS\" + state, [\"acdhigh\", \"acdbold\"]);\n",
+       "  acdaddclasses(\"#acdaut4 #S\" + state, [\"acdbold\"]);\n",
        "};\n",
        "function acd4_edge(edge){\n",
-       "        acd4_clear();\n",
-       "        var theedge = $('#acdaut4 #E' + edge)\n",
-       "        var classList = theedge.attr('class').split(/\\s+/);\n",
-       "        $.each(classList, function(index, item) {\n",
-       "           if (item.startsWith('acdN')) {\n",
-       "        $(\"#acd4 #\" + item.substring(3)).addClass(\"acdhigh acdbold\");\n",
-       "           }\n",
-       "        });\n",
-       "        theedge.addClass(\"acdbold\");\n",
+       "  acd4_clear();\n",
+       "  var theedge = document.querySelector('#acdaut4 #E' + edge);\n",
+       "  theedge.classList.forEach(function(item, index) {\n",
+       "    if (item.startsWith('acdN')) {\n",
+       "       acdaddclasses(\"#acd4 #\" + item.substring(3), [\"acdhigh\", \"acdbold\"]);\n",
+       "    }\n",
+       "  });\n",
+       "  theedge.classList.add(\"acdbold\");\n",
        "};\n",
        "function acd4_node(node, acc){\n",
        "        acd4_clear();\n",
-       "        $(\"#acdaut4 .acdN\" + node).addClass(acc\n",
-       "                                                ? \"acdacc acdbold\"\n",
-       "                                                : \"acdrej acdbold\");\n",
-       "        $(\"#acd4 #N\" + node).addClass(\"acdbold acdhigh\");\n",
-       "};$(\"#acdaut4 #E1\").addClass(\"acdN0\");$(\"#acdaut4 #E2\").addClass(\"acdN0\");$(\"#acdaut4 #E3\").addClass(\"acdN0\");$(\"#acdaut4 #E4\").addClass(\"acdN0\");$(\"#acdaut4 #E5\").addClass(\"acdN0\");$(\"#acdaut4 #E6\").addClass(\"acdN0\");$(\"#acdaut4 #E7\").addClass(\"acdN0\");$(\"#acdaut4 #E8\").addClass(\"acdN0\");$(\"#acdaut4 #E6\").addClass(\"acdN1\");$(\"#acdaut4 #E1\").click(function(){acd4_edge(1);});$(\"#acdaut4 #E2\").click(function(){acd4_edge(2);});$(\"#acdaut4 #E3\").click(function(){acd4_edge(3);});$(\"#acdaut4 #E4\").click(function(){acd4_edge(4);});$(\"#acdaut4 #E5\").click(function(){acd4_edge(5);});$(\"#acdaut4 #E6\").click(function(){acd4_edge(6);});$(\"#acdaut4 #E7\").click(function(){acd4_edge(7);});$(\"#acdaut4 #E8\").click(function(){acd4_edge(8);});$(\"#acdaut4 #S0\").click(function(){acd4_state(0);});$(\"#acdaut4 #S1\").click(function(){acd4_state(1);});$(\"#acd4 #N0\").click(function(){acd4_node(0, 1);});$(\"#acd4 #N1\").click(function(){acd4_node(1, 0);});</script>"
+       "        acdaddclasses(\"#acdaut4 .acdN\" + node,\n",
+       "                      [acc ? \"acdacc\" : \"acdrej\", \"acdbold\"]);\n",
+       "        acdaddclasses(\"#acd4 #N\" + node, [\"acdbold\", \"acdhigh\"]);\n",
+       "};acdaddclasses(\"#acdaut4 #E1\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut4 #E2\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut4 #E3\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut4 #E4\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut4 #E5\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut4 #E6\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut4 #E7\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut4 #E8\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut4 #E6\", [\"acdN1\"]);\n",
+       "acdonclick(\"#acdaut4 #E1\",function(){acd4_edge(1);});\n",
+       "acdonclick(\"#acdaut4 #E2\",function(){acd4_edge(2);});\n",
+       "acdonclick(\"#acdaut4 #E3\",function(){acd4_edge(3);});\n",
+       "acdonclick(\"#acdaut4 #E4\",function(){acd4_edge(4);});\n",
+       "acdonclick(\"#acdaut4 #E5\",function(){acd4_edge(5);});\n",
+       "acdonclick(\"#acdaut4 #E6\",function(){acd4_edge(6);});\n",
+       "acdonclick(\"#acdaut4 #E7\",function(){acd4_edge(7);});\n",
+       "acdonclick(\"#acdaut4 #E8\",function(){acd4_edge(8);});\n",
+       "acdonclick(\"#acdaut4 #S0\",function(){acd4_state(0);});\n",
+       "acdonclick(\"#acdaut4 #S1\",function(){acd4_state(1);});\n",
+       "acdonclick(\"#acd4 #N0\",function(){acd4_node(0, 1);});\n",
+       "acdonclick(\"#acd4 #N1\",function(){acd4_node(1, 0);});\n",
+       "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f1470107420> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f82c00f4030> >"
       ]
      },
      "execution_count": 55,
@@ -9708,7 +10049,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1470107b70> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00f4240> >"
       ]
      },
      "execution_count": 57,
@@ -9855,7 +10196,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f147010d240> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00f4090> >"
       ]
      },
      "execution_count": 58,
@@ -10165,36 +10506,68 @@
        "</g>\n",
        "</svg>\n",
        "</div><script>\n",
-       "function acd5_clear(){\n",
-       "        $(\"#acd5 .node,#acdaut5 .node,#acdaut5 .edge\")\n",
-       "        .removeClass(\"acdhigh acdbold acdacc acdrej\");\n",
+       "function acdremclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.remove(...classes)});}\n",
+       "function acdaddclasses(sel, classes) {\n",
+       "document.querySelectorAll(sel).forEach(n=>{n.classList.add(...classes)});}\n",
+       "function acdonclick(sel, fn) {\n",
+       "  document.querySelectorAll(sel).forEach(n=>\n",
+       "        {n.addEventListener(\"click\", fn)});\n",
+       "}\n",
+       "function acd5_clear() {\n",
+       "  acdremclasses(\"#acd5 .node,#acdaut5 .node,#acdaut5 .edge\",\n",
+       "                [\"acdhigh\", \"acdbold\", \"acdacc\", \"acdrej\"]);\n",
        "};\n",
        "function acd5_state(state){\n",
-       "        acd5_clear();\n",
-       "        $(\"#acd5 .acdS\" + state).addClass(\"acdhigh acdbold\");\n",
-       "        $(\"#acdaut5 #S\" + state).addClass(\"acdbold\");\n",
+       "  acd5_clear();\n",
+       "  acdaddclasses(\"#acd5 .acdS\" + state, [\"acdhigh\", \"acdbold\"]);\n",
+       "  acdaddclasses(\"#acdaut5 #S\" + state, [\"acdbold\"]);\n",
        "};\n",
        "function acd5_edge(edge){\n",
-       "        acd5_clear();\n",
-       "        var theedge = $('#acdaut5 #E' + edge)\n",
-       "        var classList = theedge.attr('class').split(/\\s+/);\n",
-       "        $.each(classList, function(index, item) {\n",
-       "           if (item.startsWith('acdN')) {\n",
-       "        $(\"#acd5 #\" + item.substring(3)).addClass(\"acdhigh acdbold\");\n",
-       "           }\n",
-       "        });\n",
-       "        theedge.addClass(\"acdbold\");\n",
+       "  acd5_clear();\n",
+       "  var theedge = document.querySelector('#acdaut5 #E' + edge);\n",
+       "  theedge.classList.forEach(function(item, index) {\n",
+       "    if (item.startsWith('acdN')) {\n",
+       "       acdaddclasses(\"#acd5 #\" + item.substring(3), [\"acdhigh\", \"acdbold\"]);\n",
+       "    }\n",
+       "  });\n",
+       "  theedge.classList.add(\"acdbold\");\n",
        "};\n",
        "function acd5_node(node, acc){\n",
        "        acd5_clear();\n",
-       "        $(\"#acdaut5 .acdN\" + node).addClass(acc\n",
-       "                                                ? \"acdacc acdbold\"\n",
-       "                                                : \"acdrej acdbold\");\n",
-       "        $(\"#acd5 #N\" + node).addClass(\"acdbold acdhigh\");\n",
-       "};$(\"#acdaut5 #E1\").addClass(\"acdN0\");$(\"#acdaut5 #E2\").addClass(\"acdN0\");$(\"#acdaut5 #E3\").addClass(\"acdN0\");$(\"#acdaut5 #E4\").addClass(\"acdN0\");$(\"#acdaut5 #E5\").addClass(\"acdN0\");$(\"#acdaut5 #E6\").addClass(\"acdN0\");$(\"#acdaut5 #E7\").addClass(\"acdN0\");$(\"#acdaut5 #E1\").addClass(\"acdN1\");$(\"#acdaut5 #E3\").addClass(\"acdN1\");$(\"#acdaut5 #E4\").addClass(\"acdN1\");$(\"#acdaut5 #E5\").addClass(\"acdN1\");$(\"#acdaut5 #E7\").addClass(\"acdN2\");$(\"#acdaut5 #E1\").click(function(){acd5_edge(1);});$(\"#acdaut5 #E2\").click(function(){acd5_edge(2);});$(\"#acdaut5 #E3\").click(function(){acd5_edge(3);});$(\"#acdaut5 #E4\").click(function(){acd5_edge(4);});$(\"#acdaut5 #E5\").click(function(){acd5_edge(5);});$(\"#acdaut5 #E6\").click(function(){acd5_edge(6);});$(\"#acdaut5 #E7\").click(function(){acd5_edge(7);});$(\"#acdaut5 #S0\").click(function(){acd5_state(0);});$(\"#acdaut5 #S1\").click(function(){acd5_state(1);});$(\"#acdaut5 #S2\").click(function(){acd5_state(2);});$(\"#acdaut5 #S3\").click(function(){acd5_state(3);});$(\"#acd5 #N0\").click(function(){acd5_node(0, 1);});$(\"#acd5 #N1\").click(function(){acd5_node(1, 0);});$(\"#acd5 #N2\").click(function(){acd5_node(2, 0);});</script>"
+       "        acdaddclasses(\"#acdaut5 .acdN\" + node,\n",
+       "                      [acc ? \"acdacc\" : \"acdrej\", \"acdbold\"]);\n",
+       "        acdaddclasses(\"#acd5 #N\" + node, [\"acdbold\", \"acdhigh\"]);\n",
+       "};acdaddclasses(\"#acdaut5 #E1\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E2\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E3\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E4\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E5\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E6\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E7\", [\"acdN0\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E1\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E3\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E4\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E5\", [\"acdN1\"]);\n",
+       "acdaddclasses(\"#acdaut5 #E7\", [\"acdN2\"]);\n",
+       "acdonclick(\"#acdaut5 #E1\",function(){acd5_edge(1);});\n",
+       "acdonclick(\"#acdaut5 #E2\",function(){acd5_edge(2);});\n",
+       "acdonclick(\"#acdaut5 #E3\",function(){acd5_edge(3);});\n",
+       "acdonclick(\"#acdaut5 #E4\",function(){acd5_edge(4);});\n",
+       "acdonclick(\"#acdaut5 #E5\",function(){acd5_edge(5);});\n",
+       "acdonclick(\"#acdaut5 #E6\",function(){acd5_edge(6);});\n",
+       "acdonclick(\"#acdaut5 #E7\",function(){acd5_edge(7);});\n",
+       "acdonclick(\"#acdaut5 #S0\",function(){acd5_state(0);});\n",
+       "acdonclick(\"#acdaut5 #S1\",function(){acd5_state(1);});\n",
+       "acdonclick(\"#acdaut5 #S2\",function(){acd5_state(2);});\n",
+       "acdonclick(\"#acdaut5 #S3\",function(){acd5_state(3);});\n",
+       "acdonclick(\"#acd5 #N0\",function(){acd5_node(0, 1);});\n",
+       "acdonclick(\"#acd5 #N1\",function(){acd5_node(1, 0);});\n",
+       "acdonclick(\"#acd5 #N2\",function(){acd5_node(2, 0);});\n",
+       "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f147010d630> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f82c00f4a80> >"
       ]
      },
      "execution_count": 60,
@@ -10322,7 +10695,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f147010d5a0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00f50b0> >"
       ]
      },
      "execution_count": 61,
@@ -10452,7 +10825,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f147010d6f0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00f52c0> >"
       ]
      },
      "execution_count": 62,
@@ -10732,7 +11105,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1470116270> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00f4960> >"
       ]
      },
      "execution_count": 63,
@@ -10826,7 +11199,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1470116630> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00f5a10> >"
       ]
      },
      "execution_count": 64,
@@ -10937,7 +11310,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1470116450> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f82c00f5ce0> >"
       ]
      },
      "execution_count": 66,
@@ -10995,7 +11368,7 @@
    "name": "python",
    "nbconvert_exporter": "python",
    "pygments_lexer": "ipython3",
-   "version": "3.9.2"
+   "version": "3.10.7"
   }
  },
  "nbformat": 4,