diff --git a/spot/twa/acc.cc b/spot/twa/acc.cc
index 119f81ce9..2de0d221e 100644
--- a/spot/twa/acc.cc
+++ b/spot/twa/acc.cc
@@ -1694,6 +1694,17 @@ namespace spot
                             os << ' ' << p;
                       }
                   }
+                else if (is_generalized_streett(pairs))
+                  {
+                    os << gen() << "Streett";
+                    if (!no_main_param)
+                      {
+                        os << ' ' << pairs.size();
+                        if (!no_extra_param)
+                          for (auto p: pairs)
+                            os << ' ' << p;
+                      }
+                  }
                 else
                   {
                     bool max = false;
diff --git a/tests/python/randaut.ipynb b/tests/python/randaut.ipynb
index 128aa0f96..0fc76356a 100644
--- a/tests/python/randaut.ipynb
+++ b/tests/python/randaut.ipynb
@@ -30,7 +30,7 @@
      "input": [
       "from IPython.display import display, HTML\n",
       "import spot\n",
-      "spot.setup(size='5.4,5')"
+      "spot.setup(size='5,4')"
      ],
      "language": "python",
      "metadata": {},
@@ -61,8 +61,8 @@
      "outputs": [
       {
        "html": [
-        "<TABLE><TR><TH>before</TH><TH>after</TH><TR><TD><svg height=\"96pt\" viewBox=\"0.00 0.00 389.00 95.96\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.650502 0.650502) rotate(0) translate(4 143.512)\">\n",
+        "<TABLE><TR><TH>before</TH><TH>after</TH><TR><TD><svg height=\"89pt\" viewBox=\"0.00 0.00 360.00 88.80\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.602007 0.602007) rotate(0) translate(4 143.512)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-143.512 594,-143.512 594,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"179\" y=\"-125.312\">Fin(</text>\n",
@@ -165,8 +165,8 @@
         "<text fill=\"#1f78b4\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"306\" y=\"-90.3121\">\u24ff</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"96pt\" viewBox=\"0.00 0.00 389.00 95.96\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.650502 0.650502) rotate(0) translate(4 143.512)\">\n",
+        "</svg></TD><TD><svg height=\"89pt\" viewBox=\"0.00 0.00 360.00 88.80\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.602007 0.602007) rotate(0) translate(4 143.512)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-143.512 594,-143.512 594,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"292\" y=\"-124.312\">t</text>\n",
@@ -257,8 +257,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"286.5\" y=\"-90.3121\">p0 &amp; !p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD></TR><TR><TD><svg height=\"108pt\" viewBox=\"0.00 0.00 389.00 108.42\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.613565 0.613565) rotate(0) translate(4 172.711)\">\n",
+        "</svg></TD></TR><TR><TD><svg height=\"100pt\" viewBox=\"0.00 0.00 360.00 100.34\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.567823 0.567823) rotate(0) translate(4 172.711)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-172.711 630,-172.711 630,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"195\" y=\"-154.511\">(Fin(</text>\n",
@@ -363,8 +363,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"512\" y=\"-44.5108\">p0 &amp; p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"108pt\" viewBox=\"0.00 0.00 389.00 108.42\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.613565 0.613565) rotate(0) translate(4 172.711)\">\n",
+        "</svg></TD><TD><svg height=\"100pt\" viewBox=\"0.00 0.00 360.00 100.34\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.567823 0.567823) rotate(0) translate(4 172.711)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-172.711 630,-172.711 630,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"230\" y=\"-154.511\">(Fin(</text>\n",
@@ -467,8 +467,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"512\" y=\"-44.5108\">p0 &amp; p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD></TR><TR><TD><svg height=\"110pt\" viewBox=\"0.00 0.00 389.00 110.16\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.625905 0.625905) rotate(0) translate(4 172)\">\n",
+        "</svg></TD></TR><TR><TD><svg height=\"102pt\" viewBox=\"0.00 0.00 360.00 101.95\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.579244 0.579244) rotate(0) translate(4 172)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-172 617.5,-172 617.5,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"195.25\" y=\"-153.8\">(Inf(</text>\n",
@@ -584,8 +584,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"554.5\" y=\"-78.8\">!p0 &amp; !p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"118pt\" viewBox=\"0.00 0.00 389.00 118.30\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.625905 0.625905) rotate(0) translate(4 185)\">\n",
+        "</svg></TD><TD><svg height=\"109pt\" viewBox=\"0.00 0.00 360.00 109.48\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.579244 0.579244) rotate(0) translate(4 185)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-185 617.5,-185 617.5,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"229.75\" y=\"-166.8\">Inf(</text>\n",
@@ -700,8 +700,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"554.5\" y=\"-78.8\">!p0 &amp; !p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD></TR><TR><TD><svg height=\"182pt\" viewBox=\"0.00 0.00 389.00 181.98\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.610675 0.610675) rotate(0) translate(4 294)\">\n",
+        "</svg></TD></TR><TR><TD><svg height=\"168pt\" viewBox=\"0.00 0.00 360.00 168.41\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.565149 0.565149) rotate(0) translate(4 294)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-294 633,-294 633,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"209.5\" y=\"-275.8\">Inf(</text>\n",
@@ -829,8 +829,8 @@
         "<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"401.5\" y=\"-97.8\">\u2778</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"182pt\" viewBox=\"0.00 0.00 389.00 181.98\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.610675 0.610675) rotate(0) translate(4 294)\">\n",
+        "</svg></TD><TD><svg height=\"168pt\" viewBox=\"0.00 0.00 360.00 168.41\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.565149 0.565149) rotate(0) translate(4 294)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-294 633,-294 633,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"209.5\" y=\"-275.8\">Inf(</text>\n",
@@ -958,8 +958,8 @@
         "<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"401.5\" y=\"-97.8\">\u2778</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD></TR><TR><TD><svg height=\"178pt\" viewBox=\"0.00 0.00 389.00 178.42\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.596626 0.596626) rotate(0) translate(4 295.049)\">\n",
+        "</svg></TD></TR><TR><TD><svg height=\"165pt\" viewBox=\"0.00 0.00 360.00 165.12\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.552147 0.552147) rotate(0) translate(4 295.049)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-295.049 648,-295.049 648,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"212.5\" y=\"-276.849\">((Fin(</text>\n",
@@ -1083,8 +1083,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"459.5\" y=\"-101.849\">p0 &amp; p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"177pt\" viewBox=\"0.00 0.00 389.00 177.23\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.596626 0.596626) rotate(0) translate(4 293.049)\">\n",
+        "</svg></TD><TD><svg height=\"164pt\" viewBox=\"0.00 0.00 360.00 164.01\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.552147 0.552147) rotate(0) translate(4 293.049)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-293.049 648,-293.049 648,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"301\" y=\"-274.849\">Inf(</text>\n",
@@ -1202,8 +1202,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"459.5\" y=\"-101.849\">p0 &amp; p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD></TR><TR><TD><svg height=\"113pt\" viewBox=\"0.00 0.00 389.00 113.48\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.63047 0.63047) rotate(0) translate(4 176)\">\n",
+        "</svg></TD></TR><TR><TD><svg height=\"105pt\" viewBox=\"0.00 0.00 360.00 105.02\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.583468 0.583468) rotate(0) translate(4 176)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-176 613,-176 613,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"192.5\" y=\"-157.8\">(Fin(</text>\n",
@@ -1215,7 +1215,7 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"356.5\" y=\"-157.8\">)&amp;Inf(</text>\n",
         "<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"392.5\" y=\"-157.8\">\u2778</text>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"408.5\" y=\"-157.8\">))</text>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"259\" y=\"-143.8\">[Streett-like 3]</text>\n",
+        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"257.5\" y=\"-143.8\">[gen. Streett 3]</text>\n",
         "<!-- I -->\n",
         "<!-- 0 -->\n",
         "<g class=\"node\" id=\"node2\"><title>0</title>\n",
@@ -1307,8 +1307,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"500\" y=\"-46.8\">!p0 &amp; p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"113pt\" viewBox=\"0.00 0.00 389.00 113.48\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.63047 0.63047) rotate(0) translate(4 176)\">\n",
+        "</svg></TD><TD><svg height=\"105pt\" viewBox=\"0.00 0.00 360.00 105.02\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.583468 0.583468) rotate(0) translate(4 176)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-176 613,-176 613,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"192.5\" y=\"-157.8\">(Fin(</text>\n",
@@ -1320,7 +1320,7 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"356.5\" y=\"-157.8\">)&amp;Inf(</text>\n",
         "<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"392.5\" y=\"-157.8\">\u2778</text>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"408.5\" y=\"-157.8\">))</text>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"259\" y=\"-143.8\">[Streett-like 3]</text>\n",
+        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"257.5\" y=\"-143.8\">[gen. Streett 3]</text>\n",
         "<!-- I -->\n",
         "<!-- 0 -->\n",
         "<g class=\"node\" id=\"node2\"><title>0</title>\n",
@@ -1412,8 +1412,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"500\" y=\"-46.8\">!p0 &amp; p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD></TR><TR><TD><svg height=\"148pt\" viewBox=\"0.00 0.00 389.00 147.92\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.62945 0.62945) rotate(0) translate(4 231)\">\n",
+        "</svg></TD></TR><TR><TD><svg height=\"137pt\" viewBox=\"0.00 0.00 360.00 136.89\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.582524 0.582524) rotate(0) translate(4 231)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-231 614,-231 614,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"192\" y=\"-212.8\">(Fin(</text>\n",
@@ -1530,8 +1530,8 @@
         "<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"457\" y=\"-117.8\">\u2778</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"148pt\" viewBox=\"0.00 0.00 389.00 147.92\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.62945 0.62945) rotate(0) translate(4 231)\">\n",
+        "</svg></TD><TD><svg height=\"137pt\" viewBox=\"0.00 0.00 360.00 136.89\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.582524 0.582524) rotate(0) translate(4 231)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-231 614,-231 614,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"192\" y=\"-212.8\">(Fin(</text>\n",
@@ -1648,8 +1648,8 @@
         "<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"457\" y=\"-117.8\">\u2778</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD></TR><TR><TD><svg height=\"163pt\" viewBox=\"0.00 0.00 389.00 162.97\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.838362 0.838362) rotate(0) translate(4 190.397)\">\n",
+        "</svg></TD></TR><TR><TD><svg height=\"151pt\" viewBox=\"0.00 0.00 360.00 150.83\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.775862 0.775862) rotate(0) translate(4 190.397)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-190.397 460,-190.397 460,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"118.5\" y=\"-172.197\">((Fin(</text>\n",
@@ -1741,8 +1741,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"345\" y=\"-78.1967\">p0 &amp; !p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"163pt\" viewBox=\"0.00 0.00 389.00 162.97\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.838362 0.838362) rotate(0) translate(4 190.397)\">\n",
+        "</svg></TD><TD><svg height=\"151pt\" viewBox=\"0.00 0.00 360.00 150.83\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.775862 0.775862) rotate(0) translate(4 190.397)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-190.397 460,-190.397 460,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"148.5\" y=\"-172.197\">(Fin(</text>\n",
@@ -1832,8 +1832,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"345\" y=\"-78.1967\">p0 &amp; !p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD></TR><TR><TD><svg height=\"135pt\" viewBox=\"0.00 0.00 389.00 135.37\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.595712 0.595712) rotate(0) translate(4 223.248)\">\n",
+        "</svg></TD></TR><TR><TD><svg height=\"125pt\" viewBox=\"0.00 0.00 360.00 125.28\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.551302 0.551302) rotate(0) translate(4 223.248)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-223.248 649,-223.248 649,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"213\" y=\"-205.048\">(Inf(</text>\n",
@@ -1960,8 +1960,8 @@
         "<text fill=\"#ff7f00\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"553.5\" y=\"-39.0475\">\u2777</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"135pt\" viewBox=\"0.00 0.00 389.00 135.37\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.595712 0.595712) rotate(0) translate(4 223.248)\">\n",
+        "</svg></TD><TD><svg height=\"125pt\" viewBox=\"0.00 0.00 360.00 125.28\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.551302 0.551302) rotate(0) translate(4 223.248)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-223.248 649,-223.248 649,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"213\" y=\"-205.048\">(Inf(</text>\n",
@@ -2088,8 +2088,8 @@
         "<text fill=\"#ff7f00\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"553.5\" y=\"-39.0475\">\u2777</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD></TR><TR><TD><svg height=\"110pt\" viewBox=\"0.00 0.00 389.00 110.14\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.636661 0.636661) rotate(0) translate(4 169)\">\n",
+        "</svg></TD></TR><TR><TD><svg height=\"102pt\" viewBox=\"0.00 0.00 360.00 101.93\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.589198 0.589198) rotate(0) translate(4 169)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-169 607,-169 607,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"190.5\" y=\"-150.8\">(Fin(</text>\n",
@@ -2181,8 +2181,8 @@
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"368\" y=\"-26.8\">p0 &amp; !p1</text>\n",
         "</g>\n",
         "</g>\n",
-        "</svg></TD><TD><svg height=\"110pt\" viewBox=\"0.00 0.00 389.00 110.14\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.636661 0.636661) rotate(0) translate(4 169)\">\n",
+        "</svg></TD><TD><svg height=\"102pt\" viewBox=\"0.00 0.00 360.00 101.93\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(0.589198 0.589198) rotate(0) translate(4 169)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" points=\"-4,4 -4,-169 607,-169 607,4 -4,4\" stroke=\"none\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"190.5\" y=\"-150.8\">(Fin(</text>\n",