1 files changed, 204 insertions, 187 deletions

diff --git a/analysis/scalarmults/formulas.ipynb b/analysis/scalarmults/formulas.ipynb
index edac069..f72a372 100644
--- a/analysis/scalarmults/formulas.ipynb
+++ b/analysis/scalarmults/formulas.ipynb
@@ -12,7 +12,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 2,
+   "execution_count": 3,
    "id": "09d92ba3-ede4-40c3-a061-a9c328e26fb5",
    "metadata": {},
    "outputs": [],
@@ -35,7 +35,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 3,
+   "execution_count": 4,
    "id": "5155a3ab-fd65-4add-ac3d-413de337c849",
    "metadata": {},
    "outputs": [],
@@ -102,7 +102,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 4,
+   "execution_count": 5,
    "id": "e045a4cf-97db-4a2f-a191-582987f6473d",
    "metadata": {},
    "outputs": [
@@ -111,10 +111,10 @@
      "output_type": "stream",
      "text": [
       "Skipping jacobian-3, unsatisfied assumption\n",
+      "Skipping w12-0, unsatisfied assumption\n",
+      "Skipping projective-3, unsatisfied assumption\n",
       "Skipping jacobian-0, unsatisfied assumption\n",
       "Skipping projective-1, unsatisfied assumption\n",
-      "Skipping projective-3, unsatisfied assumption\n",
-      "Skipping w12-0, unsatisfied assumption\n",
       "Skipping xyzz-3, unsatisfied assumption\n"
      ]
     }
@@ -220,7 +220,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 5,
+   "execution_count": 13,
    "id": "d0928c16-9688-4d65-a559-5895d1b7c85b",
    "metadata": {
     "editable": true,
@@ -231,6 +231,14 @@
    },
    "outputs": [
     {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "dict_values([{'add-2008-s', 'add-1998-cmo-2', 'add-1998-cmo', 'add-1998-hnm', 'add-2001-b', 'add-2007-bl', 'add-1986-cc', 'add-2009-bl'}, {'madd-2008-s', 'madd-2007-bl', 'madd-2004-hmv', 'madd-2008-g', 'madd-1998-cmo', 'madd', 'madd-2009-bl'}, {'zadd-2007-m'}, {'mmadd-1998-cmo', 'mmadd-2009-bl', 'mmadd-2008-s', 'mmadd-2007-bl'}, {'add-2015-rcb'}, {'add-2007-bl', 'add-2002-bj'}, {'madd-2015-rcb'}])\n",
+      "7\n"
+     ]
+    },
+    {
      "data": {
       "text/html": [
        "<table>\n",
@@ -238,42 +246,114 @@
        "<tr><th>Coords    </th><th>Formula       </th><th>Test    </th><th>Correct?  </th><th>Zeros?  </th><th>Affine?  </th><th>On curve?  </th></tr>\n",
        "</thead>\n",
        "<tbody>\n",
-       "<tr><td>projective</td><td>madd-2015-rcb </td><td>PpP     </td><td>True      </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>madd-2015-rcb </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>madd-2015-rcb </td><td>InftypP </td><td>True      </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>madd-2015-rcb </td><td>O2pO2   </td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>madd-2015-rcb </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>madd-2015-rcb </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>madd-2015-rcb </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>madd-2015-rcb </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>madd-2015-rcb </td><td>PpQord2 </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-2007-bl   </td><td>PpP     </td><td>True      </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>add-2007-bl   </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-2007-bl   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-2007-bl   </td><td>O2pO2   </td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>add-2007-bl   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>add-2007-bl   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>add-2007-bl   </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-2007-bl   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-2007-bl   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>madd-1998-cmo </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>madd-1998-cmo </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>madd-1998-cmo </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>madd-1998-cmo </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>madd-1998-cmo </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>madd-1998-cmo </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>madd-1998-cmo </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>madd-1998-cmo </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>madd-1998-cmo </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>add-1998-cmo  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-1998-cmo  </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-1998-cmo  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-1998-cmo  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-1998-cmo  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>add-1998-cmo  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>projective</td><td>add-1998-cmo  </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-1998-cmo  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>projective</td><td>add-1998-cmo  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd          </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd          </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd          </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd          </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd          </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd          </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd          </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd          </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd          </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>InftypP </td><td>False     </td><td>False   </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>ZerospP </td><td>Undefined </td><td>False   </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>InftypP </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>ZerospP </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
        "<tr><td>projective</td><td>mmadd-1998-cmo</td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>mmadd-1998-cmo</td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>mmadd-1998-cmo</td><td>InftypP </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
@@ -292,6 +372,24 @@
        "<tr><td>projective</td><td>add-2015-rcb  </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-2015-rcb  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-2015-rcb  </td><td>PpQord2 </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-2007-bl   </td><td>PpP     </td><td>True      </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>add-2007-bl   </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-2007-bl   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-2007-bl   </td><td>O2pO2   </td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>add-2007-bl   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>add-2007-bl   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>add-2007-bl   </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-2007-bl   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-2007-bl   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>madd-2015-rcb </td><td>PpP     </td><td>True      </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>madd-2015-rcb </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>madd-2015-rcb </td><td>InftypP </td><td>True      </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>madd-2015-rcb </td><td>O2pO2   </td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>madd-2015-rcb </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>madd-2015-rcb </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>madd-2015-rcb </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>madd-2015-rcb </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>madd-2015-rcb </td><td>PpQord2 </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-2002-bj   </td><td>PpP     </td><td>True      </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
        "<tr><td>projective</td><td>add-2002-bj   </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-2002-bj   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
@@ -301,6 +399,15 @@
        "<tr><td>projective</td><td>add-2002-bj   </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-2002-bj   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-2002-bj   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>add-1998-cmo  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-1998-cmo  </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-1998-cmo  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-1998-cmo  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-1998-cmo  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>add-1998-cmo  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>add-1998-cmo  </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-1998-cmo  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>add-1998-cmo  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
        "<tr><td>projective</td><td>add-1998-cmo-2</td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-1998-cmo-2</td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-1998-cmo-2</td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
@@ -310,42 +417,15 @@
        "<tr><td>projective</td><td>add-1998-cmo-2</td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-1998-cmo-2</td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>projective</td><td>add-1998-cmo-2</td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>add-2009-bl   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-2009-bl   </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-2009-bl   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-2009-bl   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-2009-bl   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>add-2009-bl   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>add-2009-bl   </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-2009-bl   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-2009-bl   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>InftypP </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>ZerospP </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>madd-1998-cmo </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>madd-1998-cmo </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>madd-1998-cmo </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>madd-1998-cmo </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>madd-1998-cmo </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>madd-1998-cmo </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>projective</td><td>madd-1998-cmo </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>madd-1998-cmo </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>projective</td><td>madd-1998-cmo </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
        "<tr><td>xyzz      </td><td>mmadd-2008-s  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>xyzz      </td><td>mmadd-2008-s  </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
        "<tr><td>xyzz      </td><td>mmadd-2008-s  </td><td>InftypP </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
@@ -373,114 +453,42 @@
        "<tr><td>xyzz      </td><td>madd-2008-s   </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
        "<tr><td>xyzz      </td><td>madd-2008-s   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
        "<tr><td>xyzz      </td><td>madd-2008-s   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2001-b    </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1986-cc   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo-2</td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2004-hmv </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-2007-bl   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>InftypP </td><td>False     </td><td>False   </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>ZerospP </td><td>Undefined </td><td>False   </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>zadd-2007-m   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2007-bl  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>InftypP </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>ZerospP </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>mmadd-2007-bl </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd-2008-g   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-hnm  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>add-1998-cmo  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd          </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd          </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd          </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd          </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd          </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd          </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd          </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd          </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
-       "<tr><td>jacobian  </td><td>madd          </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>add-2009-bl   </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-2009-bl   </td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-2009-bl   </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-2009-bl   </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-2009-bl   </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>add-2009-bl   </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>add-2009-bl   </td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-2009-bl   </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-2009-bl   </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>InftypP </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>ZerospP </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>mmadd-2009-bl </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>PpInfty </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>PpZeros </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>add-1998-cmo-2</td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>PpP     </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>PpInfty </td><td>False     </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>InftypP </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>O2pO2   </td><td>False     </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>EqInfty1</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>EqInfty2</td><td>True      </td><td>False   </td><td>False    </td><td>True       </td></tr>\n",
+       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>PpZeros </td><td>Undefined </td><td>False   </td><td>True     </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>ZerospP </td><td>Undefined </td><td>True    </td><td>False    </td><td>False      </td></tr>\n",
+       "<tr><td>modified  </td><td>madd-2009-bl  </td><td>PpQord2 </td><td>False     </td><td>False   </td><td>True     </td><td>True       </td></tr>\n",
        "</tbody>\n",
        "</table>"
       ],
@@ -496,14 +504,23 @@
     "table = [[\"Coords\", \"Formula\", \"Test\", \"Correct?\", \"Zeros?\", \"Affine?\", \"On curve?\"]]\n",
     "test_filter = None\n",
     "groups = {}\n",
+    "clusters = {}\n",
     "for coords_name, vals in results_add.items():\n",
     "    for name, formula in vals.items():\n",
+    "        ident = set()\n",
     "        for k, v in formula.items():\n",
+    "            if k in (\"PpP\", \"PpInfty\", \"InftypP\",\"PpQord2\"):\n",
+    "                ident.add((k, v[0], v[1], v[2], v[3]))\n",
     "            if test_filter is None or k in test_filter:\n",
     "                item = (v[0], v[1], v[2], v[3])\n",
     "                group = groups.setdefault(item, set())\n",
     "                group.add(name + \"-\" + k + \"-\" + coords_name)\n",
     "                table.append((coords_name, name, k, v[0], v[1], v[2], v[3]))\n",
+    "        ident = frozenset(ident)\n",
+    "        cluster = clusters.setdefault(ident, set())\n",
+    "        cluster.add(name)\n",
+    "print(clusters.values())\n",
+    "print(len(clusters))\n",
     "if test_filter is not None:\n",
     "    for group, formulas in groups.items():\n",
     "        print(group)\n",
@@ -658,7 +675,7 @@
    "name": "python",
    "nbconvert_exporter": "python",
    "pygments_lexer": "ipython3",
-   "version": "3.12.3"
+   "version": "3.13.5"
   }
  },
  "nbformat": 4,