update in basic_2 ...

author Ferruccio Guidi <ferruccio.guidi@unibo.it>

Wed, 1 Feb 2017 19:55:11 +0000 (19:55 +0000)

committer Ferruccio Guidi <ferruccio.guidi@unibo.it>

Wed, 1 Feb 2017 19:55:11 +0000 (19:55 +0000)
author Ferruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 1 Feb 2017 19:55:11 +0000 (19:55 +0000)
committer Ferruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 1 Feb 2017 19:55:11 +0000 (19:55 +0000)
diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html

index 802b7073a03140a7b7177d54efbbd4c11cc2ed47..edb2efd59c60f308f160658c0eb934867be3afb5 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -222,6 +222,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:57 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html

index 73d1c902f1df33c35a3d582fd5c03f55bae29c8a..348d6970e5b9fa9011a588508b3b04ed27e774cb 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -258,6 +258,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:57 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html

index f7e1408c8431d019cbc139ab89c19aceb3b2b69a..6bbb5a0b7b72643f8fe8bd614b2caef5047a5147 100644 (file)
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -823,6 +823,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:56 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html

index d98c7acf3bbac3abe5cd690c381ea222ab816c6c..0fe96093fc99a00e6e6d795f8fd0acc1a38cc539 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
            <tr>
              <td class="snns capitalize italic cyan">sizes</td>
              <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">176</td>
+            <td class="snnn right italic cyan">181</td>
              <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">187422</td>
+            <td class="snnn right italic cyan">192119</td>
              <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">975011</td>
+            <td class="ssnn right italic cyan">993162</td>
            </tr>
            <tr>
              <td class="snns capitalize italic green">propositions</td>
              <td class="snns italic green">theorems</td>
              <td class="snnn right italic green">48</td>
              <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">636</td>
+            <td class="snnn right italic green">642</td>
              <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">684</td>
+            <td class="ssnn right italic green">690</td>
            </tr>
            <tr>
              <td class="snss capitalize italic yellow">concepts</td>
              <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">25</td>
+            <td class="snsn right italic yellow">26</td>
              <td class="snss italic yellow">defined</td>
              <td class="snsn right italic yellow">44</td>
              <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">69</td>
+            <td class="sssn right italic yellow">70</td>
            </tr>
          </tbody>
        </table>
@@ -364,6 +364,16 @@
            </tr>
            <tr>
              <td class="snns top capitalize italic water">rt-transition</td>
+            <td class="snns top italic water">parallel qrst-rtransition</td>
+            <td class="snns top water">fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )</td>
+            <td class="ssnn top water">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic water">
+              <br />
+            </td>
              <td class="snns top italic water">t-bound context-sensitive rt-transition</td>
              <td class="snns top water">lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
              <td class="ssnn top water">lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</td>
@@ -386,7 +396,7 @@
                <br />
              </td>
              <td class="snns top water">cpm ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )</td>
-            <td class="ssnn top water">cpm_simple cpm_drops cpm_lsubr cpm_cpx</td>
+            <td class="ssnn top water">cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx</td>
            </tr>
            <tr>
              <td class="nnns top capitalize italic water">
@@ -404,7 +414,7 @@
                <br />
              </td>
              <td class="snns top water">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
-            <td class="ssnn top water">cpx_simple cpx_drops cpx_fqus cpx_lsubr</td>
+            <td class="ssnn top water">cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfdeq</td>
            </tr>
            <tr>
              <td class="nnns top capitalize italic water">
@@ -767,6 +777,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:58 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html

new file mode 100644 (file)

index 0000000..ca6afb9
--- /dev/null
+++ b/helm/www/lambdadelta/core.html
@@ -0,0 +1,7121 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" lang="en-us">
+  <head>
+    <meta http-equiv="Content-Language" content="en-us" />
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+    <meta http-equiv="Content-Style-Type" content="text/css" />
+    <meta name="author" content="Ferruccio Guidi" />
+    <meta name="description" content="\lambda\delta home page" />
+    <title>\lambda\delta home page</title>
+    <link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/ld_web.css" />
+    <link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/lddl.css" />
+    <link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/xhtbl.css" />
+    <link rel="shortcut icon" href="http://lambdadelta.info/images/crux_16.ico" />
+  </head>
+  <body lang="en-US">
+    <div class="spacer">
+      <a href="http://lambdadelta.info/">
+        <img class="icon32" alt="[\lambda\delta home]" title="\lambda\delta home" src="http://lambdadelta.info/images/crux_32.png" />
+      </a>
+    </div>
+    <div class="head1">cic:/matita/lambdadelta/basic_2/ (core λδ version 2)</div>
+    <div class="spacer">
+      <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">
+      <br />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
+      <table cellpadding="4" cellspacing="0">
+        <tbody>
+          <tr>
+            <td class="snns capitalize italic sky">
+              <a href="http://lambdadelta.info/home.html">home</a>
+            </td>
+            <td class="snns capitalize italic magenta">
+              <a href="http://lambdadelta.info/news.html">news</a>
+            </td>
+            <td class="snns capitalize italic white">
+              <a href="http://lambdadelta.info/specification.html">specification</a>
+            </td>
+            <td class="snnn capitalize italic white">
+              <br />
+            </td>
+            <td class="snnn capitalize italic white">
+              <br />
+            </td>
+            <td class="snns capitalize italic orange">
+              <a href="http://lambdadelta.info/documentation.html">documentation</a>
+            </td>
+            <td class="snns capitalize italic green">
+              <a href="http://lambdadelta.info/implementation.html">implementation</a>
+            </td>
+            <td class="ssnn capitalize italic green">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="snns capitalize sky">
+              <a href="http://lambdadelta.info/home.html#foreword">foreword</a>
+            </td>
+            <td class="snns capitalize magenta">
+              <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
+            </td>
+            <td class="snns capitalize white">
+              <a href="http://lambdadelta.info/specification.html#v2">version 2</a>
+            </td>
+            <td class="snnn capitalize white">(<a href="http://lambdadelta.info/ground_2.html">background</a> - <a href="http://lambdadelta.info/basic_2.html">core</a> - <a href="http://lambdadelta.info/apps_2.html">applications</a>)</td>
+            <td class="snnn capitalize white">
+              <br />
+            </td>
+            <td class="snns capitalize orange">
+              <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
+            </td>
+            <td class="snns capitalize green">
+              <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
+            </td>
+            <td class="ssnn capitalize green">
+              <a href="http://lambdadelta.info/osn/">Open Symbolic Notation (OSN)</a>
+            </td>
+          </tr>
+          <tr>
+            <td class="snss capitalize sky">
+              <a href="http://lambdadelta.info/home.html#citations">citations</a>
+            </td>
+            <td class="snss capitalize magenta">
+              <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
+            </td>
+            <td class="snss capitalize white">
+              <a href="http://lambdadelta.info/specification.html#v1">version 1</a>
+            </td>
+            <td class="snsn capitalize white">(<a href="http://lambdadelta.info/ground_1.html">background</a> - <a href="http://lambdadelta.info/basic_1.html">core</a>)</td>
+            <td class="snsn capitalize white">(<a href="http://lambdadelta.info/static/matita/lambdadelta/">static HELM directory</a>)</td>
+            <td class="snss capitalize orange">
+              <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
+            </td>
+            <td class="snss capitalize green">
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+            </td>
+            <td class="sssn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
+          </tr>
+        </tbody>
+      </table>
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="summary">Summary of the Specification <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b15.png" />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
+      <table cellpadding="4" cellspacing="0">
+        <tbody>
+          <tr>
+            <td class="snns gray">Version 2A1</td>
+            <td class="ssns gray">Version 2A2</td>
+          </tr>
+          <tr>
+            <td class="snns">aarity</td>
+            <td class="ssns green">aarity</td>
+          </tr>
+          <tr>
+            <td class="snns">destruct_apair_apair_aux</td>
+            <td class="ssns green">destruct_apair_apair_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">discr_apair_xy_x</td>
+            <td class="ssns green">discr_apair_xy_x</td>
+          </tr>
+          <tr>
+            <td class="snns">discr_tpair_xy_y</td>
+            <td class="ssns green">discr_apair_xy_y</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_aarity_dec</td>
+            <td class="ssns green">eq_aarity_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">item0</td>
+            <td class="ssns green">item0</td>
+          </tr>
+          <tr>
+            <td class="snns">bind2</td>
+            <td class="ssns green">bind2</td>
+          </tr>
+          <tr>
+            <td class="snns">flat2</td>
+            <td class="ssns green">flat2</td>
+          </tr>
+          <tr>
+            <td class="snns">item2</td>
+            <td class="ssns green">item2</td>
+          </tr>
+          <tr>
+            <td class="snns">destruct_sort_sort_aux</td>
+            <td class="ssns green">destruct_sort_sort_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_item0_dec</td>
+            <td class="ssns green">eq_item0_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_bind2_dec</td>
+            <td class="ssns green">eq_bind2_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_flat2_dec</td>
+            <td class="ssns green">eq_flat2_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_item2_dec</td>
+            <td class="ssns green">eq_item2_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">sh</td>
+            <td class="ssns green">sh</td>
+          </tr>
+          <tr>
+            <td class="snns">sh_N</td>
+            <td class="ssns green">sh_N</td>
+          </tr>
+          <tr>
+            <td class="snns">nexts_le</td>
+            <td class="ssns green">nexts_le</td>
+          </tr>
+          <tr>
+            <td class="snns">nexts_lt</td>
+            <td class="ssns green">nexts_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">nexts_dec</td>
+            <td class="ssns green">nexts_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">nexts_inj</td>
+            <td class="ssns green">nexts_inj</td>
+          </tr>
+          <tr>
+            <td class="snns">sd</td>
+            <td class="ssns green">sd</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_O</td>
+            <td class="ssns green">deg_O</td>
+          </tr>
+          <tr>
+            <td class="snns">sd_O</td>
+            <td class="ssns green">sd_O</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_SO</td>
+            <td class="ssns green">deg_SO</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_SO_inv_pos_aux</td>
+            <td class="ssns green">deg_SO_inv_succ_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_SO_inv_pos</td>
+            <td class="ssns green">deg_SO_inv_succ</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_SO_refl</td>
+            <td class="ssns green">deg_SO_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_SO_gt</td>
+            <td class="ssns green">deg_SO_gt</td>
+          </tr>
+          <tr>
+            <td class="snns">sd_SO</td>
+            <td class="ssns green">sd_SO</td>
+          </tr>
+          <tr>
+            <td class="snns">sd_d</td>
+            <td class="ssns green">sd_d</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_inv_pred</td>
+            <td class="ssns green">deg_inv_pred</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_inv_prec</td>
+            <td class="ssns green">deg_inv_prec</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_iter</td>
+            <td class="ssns green">deg_iter</td>
+          </tr>
+          <tr>
+            <td class="snns">deg_next_SO</td>
+            <td class="ssns green">deg_next_SO</td>
+          </tr>
+          <tr>
+            <td class="snns">sd_d_SS</td>
+            <td class="ssns green">sd_d_SS</td>
+          </tr>
+          <tr>
+            <td class="snns">sd_d_correct</td>
+            <td class="ssns green">sd_d_correct</td>
+          </tr>
+          <tr>
+            <td class="snns">term</td>
+            <td class="ssns green">term</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_term_dec</td>
+            <td class="ssns green">eq_term_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">destruct_tatom_tatom_aux</td>
+            <td class="ssns green">destruct_tatom_tatom_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">destruct_tpair_tpair_aux</td>
+            <td class="ssns green">destruct_tpair_tpair_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">discr_tpair_xy_x</td>
+            <td class="ssns green">discr_tpair_xy_x</td>
+          </tr>
+          <tr>
+            <td class="snns">discr_tpair_xy_y</td>
+            <td class="ssns green">discr_tpair_xy_y</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_false_inv_tpair_sn</td>
+            <td class="ssns green">eq_false_inv_tpair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_false_inv_tpair_dx</td>
+            <td class="ssns green">eq_false_inv_tpair_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">tw</td>
+            <td class="ssns green">tw</td>
+          </tr>
+          <tr>
+            <td class="snns">tw_pos</td>
+            <td class="ssns green">tw_pos</td>
+          </tr>
+          <tr>
+            <td class="snns">simple</td>
+            <td class="ssns green">simple</td>
+          </tr>
+          <tr>
+            <td class="snns">simple_inv_bind_aux</td>
+            <td class="ssns green">simple_inv_bind_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">simple_inv_bind</td>
+            <td class="ssns green">simple_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">simple_inv_pair</td>
+            <td class="ssns green">simple_inv_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lenv</td>
+            <td class="ssns green">lenv</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_lenv_dec</td>
+            <td class="ssns green">eq_lenv_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">destruct_lpair_lpair_aux</td>
+            <td class="ssns green">destruct_lpair_lpair_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">discr_lpair_x_xy</td>
+            <td class="ssns green">discr_lpair_x_xy</td>
+          </tr>
+          <tr>
+            <td class="snns" />
+            <td class="ssns">discr_lpair_xy_x</td>
+          </tr>
+          <tr>
+            <td class="snns" />
+            <td class="ssns">ceq</td>
+          </tr>
+          <tr>
+            <td class="snns" />
+            <td class="ssns">cfull</td>
+          </tr>
+          <tr>
+            <td class="snns">lw</td>
+            <td class="ssns green">lw</td>
+          </tr>
+          <tr>
+            <td class="snns">lw_pair</td>
+            <td class="ssns green">lw_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">length</td>
+            <td class="ssns green">length</td>
+          </tr>
+          <tr>
+            <td class="snns">length_inv_zero_dx</td>
+            <td class="ssns green">length_inv_zero_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">length_inv_zero_sn</td>
+            <td class="ssns green">length_inv_zero_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">length_inv_pos_dx</td>
+            <td class="ssns green">length_inv_succ_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">length_inv_pos_sn</td>
+            <td class="ssns green">length_inv_succ_sn</td>
+          </tr>
+          <tr>
+            <td class="snns" />
+            <td class="ssns">length_atom</td>
+          </tr>
+          <tr>
+            <td class="snns" />
+            <td class="ssns">length_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">genv</td>
+            <td class="ssns green">genv</td>
+          </tr>
+          <tr>
+            <td class="snns">eq_genv_dec</td>
+            <td class="ssns green">eq_genv_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">rfw</td>
+            <td class="ssns green">rfw</td>
+          </tr>
+          <tr>
+            <td class="snns">rfw_shift</td>
+            <td class="ssns green">rfw_shift</td>
+          </tr>
+          <tr>
+            <td class="snns">rfw_tpair_sn</td>
+            <td class="ssns green">rfw_tpair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">rfw_tpair_dx</td>
+            <td class="ssns green">rfw_tpair_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">rfw_lpair_sn</td>
+            <td class="ssns green">rfw_lpair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">rfw_lpair_dx</td>
+            <td class="ssns green">rfw_lpair_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">da</td>
+            <td class="ssns orange">da</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_sort_aux</td>
+            <td class="ssns orange">da_inv_sort_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_sort</td>
+            <td class="ssns orange">da_inv_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_lref_aux</td>
+            <td class="ssns orange">da_inv_lref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_lref</td>
+            <td class="ssns orange">da_inv_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_gref_aux</td>
+            <td class="ssns orange">da_inv_gref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_gref</td>
+            <td class="ssns orange">da_inv_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_bind_aux</td>
+            <td class="ssns orange">da_inv_bind_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_bind</td>
+            <td class="ssns orange">da_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_flat_aux</td>
+            <td class="ssns orange">da_inv_flat_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_flat</td>
+            <td class="ssns orange">da_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas</td>
+            <td class="ssns orange">lstas</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_sort1_aux</td>
+            <td class="ssns orange">lstas_inv_sort1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_sort1</td>
+            <td class="ssns orange">lstas_inv_sort1</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_lref1_aux</td>
+            <td class="ssns orange">lstas_inv_lref1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_lref1</td>
+            <td class="ssns orange">lstas_inv_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_lref1_O</td>
+            <td class="ssns orange">lstas_inv_lref1_O</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_lref1_S</td>
+            <td class="ssns orange">lstas_inv_lref1_S</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_gref1_aux</td>
+            <td class="ssns orange">lstas_inv_gref1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_gref1</td>
+            <td class="ssns orange">lstas_inv_gref1</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_bind1_aux</td>
+            <td class="ssns orange">lstas_inv_bind1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_bind1</td>
+            <td class="ssns orange">lstas_inv_bind1</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_appl1_aux</td>
+            <td class="ssns orange">lstas_inv_appl1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_appl1</td>
+            <td class="ssns orange">lstas_inv_appl1</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_cast1_aux</td>
+            <td class="ssns orange">lstas_inv_cast1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_cast1</td>
+            <td class="ssns orange">lstas_inv_cast1</td>
+          </tr>
+          <tr>
+            <td class="snns" />
+            <td class="ssns" />
+          </tr>
+          <tr>
+            <td class="snns">lift</td>
+            <td class="ssns">lift</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_O2_aux</td>
+            <td class="ssns">lift_inv_O2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_O2</td>
+            <td class="ssns">lift_inv_O2</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_sort1_aux</td>
+            <td class="ssns">lift_inv_sort1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_sort1</td>
+            <td class="ssns">lift_inv_sort1</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_lref1_aux</td>
+            <td class="ssns">lift_inv_lref1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_lref1</td>
+            <td class="ssns">lift_inv_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_lref1_lt</td>
+            <td class="ssns">lift_inv_lref1_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_lref1_ge</td>
+            <td class="ssns">lift_inv_lref1_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_gref1_aux</td>
+            <td class="ssns">lift_inv_gref1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_gref1</td>
+            <td class="ssns">lift_inv_gref1</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_bind1_aux</td>
+            <td class="ssns">lift_inv_bind1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_bind1</td>
+            <td class="ssns">lift_inv_bind1</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_flat1_aux</td>
+            <td class="ssns">lift_inv_flat1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_flat1</td>
+            <td class="ssns">lift_inv_flat1</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_sort2_aux</td>
+            <td class="ssns">lift_inv_sort2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_sort2</td>
+            <td class="ssns">lift_inv_sort2</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_lref2_aux</td>
+            <td class="ssns">lift_inv_lref2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_lref2</td>
+            <td class="ssns">lift_inv_lref2</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_lref2_lt</td>
+            <td class="ssns">lift_inv_lref2_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_lref2_be</td>
+            <td class="ssns">lift_inv_lref2_be</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_lref2_ge</td>
+            <td class="ssns">lift_inv_lref2_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_gref2_aux</td>
+            <td class="ssns">lift_inv_gref2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_gref2</td>
+            <td class="ssns">lift_inv_gref2</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_bind2_aux</td>
+            <td class="ssns">lift_inv_bind2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_bind2</td>
+            <td class="ssns">lift_inv_bind2</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_flat2_aux</td>
+            <td class="ssns">lift_inv_flat2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_flat2</td>
+            <td class="ssns">lift_inv_flat2</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_pair_xy_x</td>
+            <td class="ssns">lift_inv_pair_xy_x</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inv_pair_xy_y</td>
+            <td class="ssns">lift_inv_pair_xy_y</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_fwd_pair1</td>
+            <td class="ssns">lift_fwd_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_fwd_pair2</td>
+            <td class="ssns">lift_fwd_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_fwd_tw</td>
+            <td class="ssns">lift_fwd_tw</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_simple_dx</td>
+            <td class="ssns">lift_simple_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_simple_sn</td>
+            <td class="ssns">lift_simple_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_lref_ge_minus</td>
+            <td class="ssns">lift_lref_ge_minus</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_lref_ge_minus_eq</td>
+            <td class="ssns">lift_lref_ge_minus_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_refl</td>
+            <td class="ssns">lift_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_total</td>
+            <td class="ssns">lift_total</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_split</td>
+            <td class="ssns">lift_split</td>
+          </tr>
+          <tr>
+            <td class="snns">is_lift_dec</td>
+            <td class="ssns">is_lift_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">drop</td>
+            <td class="ssns">drop</td>
+          </tr>
+          <tr>
+            <td class="snns">d_liftable</td>
+            <td class="ssns">d_liftable</td>
+          </tr>
+          <tr>
+            <td class="snns">d_deliftable_sn</td>
+            <td class="ssns">d_deliftable_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">dropable_sn</td>
+            <td class="ssns">dropable_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">dropable_dx</td>
+            <td class="ssns">dropable_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_atom1_aux</td>
+            <td class="ssns">drop_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_atom1</td>
+            <td class="ssns">drop_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_O1_pair1_aux</td>
+            <td class="ssns">drop_inv_O1_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_O1_pair1</td>
+            <td class="ssns">drop_inv_O1_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_pair1</td>
+            <td class="ssns">drop_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_drop1_lt</td>
+            <td class="ssns">drop_inv_drop1_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_drop1</td>
+            <td class="ssns">drop_inv_drop1</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_skip1_aux</td>
+            <td class="ssns">drop_inv_skip1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_skip1</td>
+            <td class="ssns">drop_inv_skip1</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_O1_pair2</td>
+            <td class="ssns">drop_inv_O1_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_skip2_aux</td>
+            <td class="ssns">drop_inv_skip2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_skip2</td>
+            <td class="ssns">drop_inv_skip2</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_O1_gt</td>
+            <td class="ssns">drop_inv_O1_gt</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_refl_atom_O2</td>
+            <td class="ssns">drop_refl_atom_O2</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_refl</td>
+            <td class="ssns">drop_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_drop_lt</td>
+            <td class="ssns">drop_drop_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_skip_lt</td>
+            <td class="ssns">drop_skip_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_le</td>
+            <td class="ssns">drop_O1_le</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_lt</td>
+            <td class="ssns">drop_O1_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_pair</td>
+            <td class="ssns">drop_O1_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_ge</td>
+            <td class="ssns">drop_O1_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_eq</td>
+            <td class="ssns">drop_O1_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_split</td>
+            <td class="ssns">drop_split</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_FT</td>
+            <td class="ssns">drop_FT</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_gen</td>
+            <td class="ssns">drop_gen</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_T</td>
+            <td class="ssns">drop_T</td>
+          </tr>
+          <tr>
+            <td class="snns">d_liftable_LTC</td>
+            <td class="ssns">d_liftable_LTC</td>
+          </tr>
+          <tr>
+            <td class="snns">d_deliftable_sn_LTC</td>
+            <td class="ssns">d_deliftable_sn_LTC</td>
+          </tr>
+          <tr>
+            <td class="snns">dropable_sn_TC</td>
+            <td class="ssns">dropable_sn_TC</td>
+          </tr>
+          <tr>
+            <td class="snns">dropable_dx_TC</td>
+            <td class="ssns">dropable_dx_TC</td>
+          </tr>
+          <tr>
+            <td class="snns">d_deliftable_sn_llstar</td>
+            <td class="ssns">d_deliftable_sn_llstar</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_drop2</td>
+            <td class="ssns">drop_fwd_drop2</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_ge</td>
+            <td class="ssns">drop_fwd_length_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_le_le</td>
+            <td class="ssns">drop_fwd_length_le_le</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_le_ge</td>
+            <td class="ssns">drop_fwd_length_le_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length</td>
+            <td class="ssns">drop_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_minus2</td>
+            <td class="ssns">drop_fwd_length_minus2</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_minus4</td>
+            <td class="ssns">drop_fwd_length_minus4</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_le2</td>
+            <td class="ssns">drop_fwd_length_le2</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_le4</td>
+            <td class="ssns">drop_fwd_length_le4</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_lt2</td>
+            <td class="ssns">drop_fwd_length_lt2</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_lt4</td>
+            <td class="ssns">drop_fwd_length_lt4</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_eq1</td>
+            <td class="ssns">drop_fwd_length_eq1</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_length_eq2</td>
+            <td class="ssns">drop_fwd_length_eq2</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_lw</td>
+            <td class="ssns">drop_fwd_lw</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_lw_lt</td>
+            <td class="ssns">drop_fwd_lw_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_rfw</td>
+            <td class="ssns">drop_fwd_rfw</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_O2_aux</td>
+            <td class="ssns">drop_inv_O2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_O2</td>
+            <td class="ssns">drop_inv_O2</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_length_eq</td>
+            <td class="ssns">drop_inv_length_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_refl</td>
+            <td class="ssns">drop_inv_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_FT_aux</td>
+            <td class="ssns">drop_inv_FT_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_FT</td>
+            <td class="ssns">drop_inv_FT</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_gen</td>
+            <td class="ssns">drop_inv_gen</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_inv_T</td>
+            <td class="ssns">drop_inv_T</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr</td>
+            <td class="ssns">lsubr</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_refl</td>
+            <td class="ssns">lsubr_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_inv_atom1_aux</td>
+            <td class="ssns">lsubr_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_inv_atom1</td>
+            <td class="ssns">lsubr_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_inv_abst1_aux</td>
+            <td class="ssns">lsubr_inv_abst1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_inv_abst1</td>
+            <td class="ssns">lsubr_inv_abst1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_inv_abbr2_aux</td>
+            <td class="ssns">lsubr_inv_abbr2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_inv_abbr2</td>
+            <td class="ssns">lsubr_inv_abbr2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_fwd_length</td>
+            <td class="ssns">lsubr_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_fwd_drop2_pair</td>
+            <td class="ssns">lsubr_fwd_drop2_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_fwd_drop2_abbr</td>
+            <td class="ssns">lsubr_fwd_drop2_abbr</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr</td>
+            <td class="ssns">cpr</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_cpr_trans</td>
+            <td class="ssns">lsubr_cpr_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">tpr_cpr</td>
+            <td class="ssns">tpr_cpr</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_refl</td>
+            <td class="ssns">cpr_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_pair_sn</td>
+            <td class="ssns">cpr_pair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_delift</td>
+            <td class="ssns">cpr_delift</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_cpr_aux</td>
+            <td class="ssns">lstas_cpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_cpr</td>
+            <td class="ssns">lstas_cpr</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_atom1_aux</td>
+            <td class="ssns">cpr_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_atom1</td>
+            <td class="ssns">cpr_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_sort1</td>
+            <td class="ssns">cpr_inv_sort1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_lref1</td>
+            <td class="ssns">cpr_inv_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_gref1</td>
+            <td class="ssns">cpr_inv_gref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_bind1_aux</td>
+            <td class="ssns">cpr_inv_bind1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_bind1</td>
+            <td class="ssns">cpr_inv_bind1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_abbr1</td>
+            <td class="ssns">cpr_inv_abbr1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_abst1</td>
+            <td class="ssns">cpr_inv_abst1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_flat1_aux</td>
+            <td class="ssns">cpr_inv_flat1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_flat1</td>
+            <td class="ssns">cpr_inv_flat1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_appl1</td>
+            <td class="ssns">cpr_inv_appl1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_appl1_simple</td>
+            <td class="ssns">cpr_inv_appl1_simple</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_cast1</td>
+            <td class="ssns">cpr_inv_cast1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_fwd_bind1_minus</td>
+            <td class="ssns">cpr_fwd_bind1_minus</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr</td>
+            <td class="ssns">cnr</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_inv_delta</td>
+            <td class="ssns">cnr_inv_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_inv_abst</td>
+            <td class="ssns">cnr_inv_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_inv_abbr</td>
+            <td class="ssns">cnr_inv_abbr</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_inv_zeta</td>
+            <td class="ssns">cnr_inv_zeta</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_inv_appl</td>
+            <td class="ssns">cnr_inv_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_inv_eps</td>
+            <td class="ssns">cnr_inv_eps</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_sort</td>
+            <td class="ssns">cnr_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_lref_free</td>
+            <td class="ssns">cnr_lref_free</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_lref_atom</td>
+            <td class="ssns">cnr_lref_atom</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_abst</td>
+            <td class="ssns">cnr_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_appl_simple</td>
+            <td class="ssns">cnr_appl_simple</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_dec</td>
+            <td class="ssns">cnr_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs</td>
+            <td class="ssns">cprs</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_ind</td>
+            <td class="ssns">cprs_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_ind_dx</td>
+            <td class="ssns">cprs_ind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_cprs</td>
+            <td class="ssns">cpr_cprs</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_refl</td>
+            <td class="ssns">cprs_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_strap1</td>
+            <td class="ssns">cprs_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_strap2</td>
+            <td class="ssns">cprs_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_cprs_trans</td>
+            <td class="ssns">lsubr_cprs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">tprs_cprs</td>
+            <td class="ssns">tprs_cprs</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_bind_dx</td>
+            <td class="ssns">cprs_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_flat_dx</td>
+            <td class="ssns">cprs_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_flat_sn</td>
+            <td class="ssns">cprs_flat_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_zeta</td>
+            <td class="ssns">cprs_zeta</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_eps</td>
+            <td class="ssns">cprs_eps</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_beta_dx</td>
+            <td class="ssns">cprs_beta_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_theta_dx</td>
+            <td class="ssns">cprs_theta_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_inv_sort1</td>
+            <td class="ssns">cprs_inv_sort1</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_inv_cast1</td>
+            <td class="ssns">cprs_inv_cast1</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_inv_cnr1</td>
+            <td class="ssns">cprs_inv_cnr1</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds</td>
+            <td class="ssns">scpds</td>
+          </tr>
+          <tr>
+            <td class="snns">sta_cprs_scpds</td>
+            <td class="ssns">sta_cprs_scpds</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_scpds</td>
+            <td class="ssns">lstas_scpds</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_strap1</td>
+            <td class="ssns">scpds_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_fwd_cprs</td>
+            <td class="ssns">scpds_fwd_cprs</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes</td>
+            <td class="ssns">scpes</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_div</td>
+            <td class="ssns">scpds_div</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_sym</td>
+            <td class="ssns">scpes_sym</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_inj</td>
+            <td class="ssns">lift_inj</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_div_le</td>
+            <td class="ssns">lift_div_le</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_div_be</td>
+            <td class="ssns">lift_div_be</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_mono</td>
+            <td class="ssns">lift_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_trans_be</td>
+            <td class="ssns">lift_trans_be</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_trans_le</td>
+            <td class="ssns">lift_trans_le</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_trans_ge</td>
+            <td class="ssns">lift_trans_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_conf_O1</td>
+            <td class="ssns">lift_conf_O1</td>
+          </tr>
+          <tr>
+            <td class="snns">lift_conf_be</td>
+            <td class="ssns">lift_conf_be</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_mono</td>
+            <td class="ssns">drop_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_conf_ge</td>
+            <td class="ssns">drop_conf_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_conf_be</td>
+            <td class="ssns">drop_conf_be</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_conf_le</td>
+            <td class="ssns">drop_conf_le</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_trans_ge</td>
+            <td class="ssns">drop_trans_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_trans_le</td>
+            <td class="ssns">drop_trans_le</td>
+          </tr>
+          <tr>
+            <td class="snns">d_liftable_llstar</td>
+            <td class="ssns">d_liftable_llstar</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_conf_lt</td>
+            <td class="ssns">drop_conf_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_trans_lt</td>
+            <td class="ssns">drop_trans_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_trans_ge_comm</td>
+            <td class="ssns">drop_trans_ge_comm</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_conf_div</td>
+            <td class="ssns">drop_conf_div</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_fwd_be</td>
+            <td class="ssns">drop_fwd_be</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa</td>
+            <td class="ssns">aaa</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_sort_aux</td>
+            <td class="ssns">aaa_inv_sort_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_sort</td>
+            <td class="ssns">aaa_inv_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_lref_aux</td>
+            <td class="ssns">aaa_inv_lref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_lref</td>
+            <td class="ssns">aaa_inv_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_gref_aux</td>
+            <td class="ssns">aaa_inv_gref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_gref</td>
+            <td class="ssns">aaa_inv_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_abbr_aux</td>
+            <td class="ssns">aaa_inv_abbr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_abbr</td>
+            <td class="ssns">aaa_inv_abbr</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_abst_aux</td>
+            <td class="ssns">aaa_inv_abst_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_abst</td>
+            <td class="ssns">aaa_inv_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_appl_aux</td>
+            <td class="ssns">aaa_inv_appl_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_appl</td>
+            <td class="ssns">aaa_inv_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_cast_aux</td>
+            <td class="ssns">aaa_inv_cast_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_cast</td>
+            <td class="ssns">aaa_inv_cast</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_lift</td>
+            <td class="ssns">aaa_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_inv_lift</td>
+            <td class="ssns">aaa_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_mono</td>
+            <td class="ssns">aaa_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba</td>
+            <td class="ssns">lsuba</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_inv_atom1_aux</td>
+            <td class="ssns">lsuba_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_inv_atom1</td>
+            <td class="ssns">lsuba_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_inv_pair1_aux</td>
+            <td class="ssns">lsuba_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_inv_pair1</td>
+            <td class="ssns">lsuba_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_inv_atom2_aux</td>
+            <td class="ssns">lsuba_inv_atom2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_inv_atom2</td>
+            <td class="ssns">lsubc_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_inv_pair2_aux</td>
+            <td class="ssns">lsuba_inv_pair2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_inv_pair2</td>
+            <td class="ssns">lsuba_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_fwd_lsubr</td>
+            <td class="ssns">lsuba_fwd_lsubr</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_refl</td>
+            <td class="ssns">lsuba_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_drop_O1_conf</td>
+            <td class="ssns">lsuba_drop_O1_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_drop_O1_trans</td>
+            <td class="ssns">lsuba_drop_O1_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_aaa_conf</td>
+            <td class="ssns">lsuba_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_aaa_trans</td>
+            <td class="ssns">lsuba_aaa_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq</td>
+            <td class="ssns">lreq</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_pair_lt</td>
+            <td class="ssns">lreq_pair_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_succ_lt</td>
+            <td class="ssns">lreq_succ_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_pair_O_Y</td>
+            <td class="ssns">lreq_pair_O_Y</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_refl</td>
+            <td class="ssns">lreq_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_O2</td>
+            <td class="ssns">lreq_O2</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_sym</td>
+            <td class="ssns">lreq_sym</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_atom1_aux</td>
+            <td class="ssns">lreq_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_atom1</td>
+            <td class="ssns">lreq_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_zero1_aux</td>
+            <td class="ssns">lreq_inv_zero1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_zero1</td>
+            <td class="ssns">lreq_inv_zero1</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_pair1_aux</td>
+            <td class="ssns">lreq_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_pair1</td>
+            <td class="ssns">lreq_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_pair</td>
+            <td class="ssns">lreq_inv_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_succ1_aux</td>
+            <td class="ssns">lreq_inv_succ1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_succ1</td>
+            <td class="ssns">lreq_inv_succ1</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_atom2</td>
+            <td class="ssns">lreq_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_succ</td>
+            <td class="ssns">lreq_inv_succ</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_zero2</td>
+            <td class="ssns">lreq_inv_zero2</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_pair2</td>
+            <td class="ssns">lreq_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_succ2</td>
+            <td class="ssns">lreq_inv_succ2</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_fwd_length</td>
+            <td class="ssns">lreq_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_O_Y_aux</td>
+            <td class="ssns">lreq_inv_O_Y_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_inv_O_Y</td>
+            <td class="ssns">lreq_inv_O_Y</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_trans</td>
+            <td class="ssns">lreq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_canc_sn</td>
+            <td class="ssns">lreq_canc_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_canc_dx</td>
+            <td class="ssns">lreq_canc_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_join</td>
+            <td class="ssns">lreq_join</td>
+          </tr>
+          <tr>
+            <td class="snns">dedropable_sn</td>
+            <td class="ssns">dedropable_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_drop_trans_be</td>
+            <td class="ssns">lreq_drop_trans_be</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_drop_conf_be</td>
+            <td class="ssns">lreq_drop_conf_be</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_ex</td>
+            <td class="ssns">drop_O1_ex</td>
+          </tr>
+          <tr>
+            <td class="snns">dedropable_sn_TC</td>
+            <td class="ssns">dedropable_sn_TC</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_inj</td>
+            <td class="ssns">drop_O1_inj</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn</td>
+            <td class="ssns">lpx_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_refl</td>
+            <td class="ssns">lpx_sn_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_atom1_aux</td>
+            <td class="ssns">lpx_sn_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_atom1</td>
+            <td class="ssns">lpx_sn_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_pair1_aux</td>
+            <td class="ssns">lpx_sn_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_pair1</td>
+            <td class="ssns">lpx_sn_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_atom2_aux</td>
+            <td class="ssns">lpx_sn_inv_atom2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_atom2</td>
+            <td class="ssns">lpx_sn_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_pair2_aux</td>
+            <td class="ssns">lpx_sn_inv_pair2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_pair2</td>
+            <td class="ssns">lpx_sn_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_pair</td>
+            <td class="ssns">lpx_sn_inv_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_fwd_length</td>
+            <td class="ssns">lpx_sn_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_drop_conf</td>
+            <td class="ssns">lpx_sn_drop_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_drop_trans</td>
+            <td class="ssns">lpx_sn_drop_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_deliftable_dropable</td>
+            <td class="ssns">lpx_sn_deliftable_dropable</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_liftable_dedropable</td>
+            <td class="ssns">lpx_sn_liftable_dedropable</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_dropable_aux</td>
+            <td class="ssns">lpx_sn_dropable_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_dropable</td>
+            <td class="ssns">lpx_sn_dropable</td>
+          </tr>
+          <tr>
+            <td class="snns">fw</td>
+            <td class="ssns">fw</td>
+          </tr>
+          <tr>
+            <td class="snns">fw_shift</td>
+            <td class="ssns">fw_shift</td>
+          </tr>
+          <tr>
+            <td class="snns">fw_tpair_sn</td>
+            <td class="ssns">fw_tpair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">fw_tpair_dx</td>
+            <td class="ssns">fw_tpair_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fw_lpair_sn</td>
+            <td class="ssns">fw_lpair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu</td>
+            <td class="ssns">fqu</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_drop_lt</td>
+            <td class="ssns">fqu_drop_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_lref_S_lt</td>
+            <td class="ssns">fqu_lref_S_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_fwd_fw</td>
+            <td class="ssns">fqu_fwd_fw</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_fwd_length_lref1_aux</td>
+            <td class="ssns">fqu_fwd_length_lref1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_fwd_length_lref1</td>
+            <td class="ssns">fqu_fwd_length_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_inv_eq_aux</td>
+            <td class="ssns">fqu_inv_eq_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_inv_eq</td>
+            <td class="ssns">fqu_inv_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_wf_ind</td>
+            <td class="ssns">fqu_wf_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq</td>
+            <td class="ssns">fquq</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_refl</td>
+            <td class="ssns">fquq_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_fquq</td>
+            <td class="ssns">fqu_fquq</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_fwd_fw</td>
+            <td class="ssns">fquq_fwd_fw</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_fwd_length_lref1_aux</td>
+            <td class="ssns">fquq_fwd_length_lref1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_fwd_length_lref1</td>
+            <td class="ssns">fquq_fwd_length_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">fquqa</td>
+            <td class="ssns">fquqa</td>
+          </tr>
+          <tr>
+            <td class="snns">fquqa_refl</td>
+            <td class="ssns">fquqa_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">fquqa_drop</td>
+            <td class="ssns">fquqa_drop</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_fquqa</td>
+            <td class="ssns">fquq_fquqa</td>
+          </tr>
+          <tr>
+            <td class="snns">fquqa_inv_fquq</td>
+            <td class="ssns">fquqa_inv_fquq</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_inv_gen</td>
+            <td class="ssns">fquq_inv_gen</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup</td>
+            <td class="ssns">fqup</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_fqup</td>
+            <td class="ssns">fqu_fqup</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_strap1</td>
+            <td class="ssns">fqup_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_strap2</td>
+            <td class="ssns">fqup_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_drop</td>
+            <td class="ssns">fqup_drop</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_lref</td>
+            <td class="ssns">fqup_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_pair_sn</td>
+            <td class="ssns">fqup_pair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_bind_dx</td>
+            <td class="ssns">fqup_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_flat_dx</td>
+            <td class="ssns">fqup_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_flat_dx_pair_sn</td>
+            <td class="ssns">fqup_flat_dx_pair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_bind_dx_flat_dx</td>
+            <td class="ssns">fqup_bind_dx_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_flat_dx_bind_dx</td>
+            <td class="ssns">fqup_flat_dx_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_ind</td>
+            <td class="ssns">fqup_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_ind_dx</td>
+            <td class="ssns">fqup_ind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_fwd_fw</td>
+            <td class="ssns">fqup_fwd_fw</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_wf_ind</td>
+            <td class="ssns">fqup_wf_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_wf_ind_eq</td>
+            <td class="ssns">fqup_wf_ind_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus</td>
+            <td class="ssns">fqus</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_ind</td>
+            <td class="ssns">fqus_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_ind_dx</td>
+            <td class="ssns">fqus_ind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_refl</td>
+            <td class="ssns">fqus_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_fqus</td>
+            <td class="ssns">fquq_fqus</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_strap1</td>
+            <td class="ssns">fqus_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_strap2</td>
+            <td class="ssns">fqus_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_drop</td>
+            <td class="ssns">fqus_drop</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_fqus</td>
+            <td class="ssns">fqup_fqus</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_fwd_fw</td>
+            <td class="ssns">fqus_fwd_fw</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_inv_step_sn</td>
+            <td class="ssns">fqup_inv_step_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_inv_gen</td>
+            <td class="ssns">fqus_inv_gen</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_strap1_fqu</td>
+            <td class="ssns">fqus_strap1_fqu</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_strap2_fqu</td>
+            <td class="ssns">fqus_strap2_fqu</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_fqup_trans</td>
+            <td class="ssns">fqus_fqup_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_fqus_trans</td>
+            <td class="ssns">fqup_fqus_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx</td>
+            <td class="ssns">cpx</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_cpx_trans</td>
+            <td class="ssns">lsubr_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_refl</td>
+            <td class="ssns">cpx_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_cpx</td>
+            <td class="ssns">cpr_cpx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_pair_sn</td>
+            <td class="ssns">cpx_pair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_delift</td>
+            <td class="ssns">cpx_delift</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_atom1_aux</td>
+            <td class="ssns">cpx_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_atom1</td>
+            <td class="ssns">cpx_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_sort1</td>
+            <td class="ssns">cpx_inv_sort1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_lref1</td>
+            <td class="ssns">cpx_inv_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_lref1_ge</td>
+            <td class="ssns">cpx_inv_lref1_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_gref1</td>
+            <td class="ssns">cpx_inv_gref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_bind1_aux</td>
+            <td class="ssns">cpx_inv_bind1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_bind1</td>
+            <td class="ssns">cpx_inv_bind1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_abbr1</td>
+            <td class="ssns">cpx_inv_abbr1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_abst1</td>
+            <td class="ssns">cpx_inv_abst1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_flat1_aux</td>
+            <td class="ssns">cpx_inv_flat1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_flat1</td>
+            <td class="ssns">cpx_inv_flat1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_appl1</td>
+            <td class="ssns">cpx_inv_appl1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_appl1_simple</td>
+            <td class="ssns">cpx_inv_appl1_simple</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_cast1</td>
+            <td class="ssns">cpx_inv_cast1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_fwd_bind1_minus</td>
+            <td class="ssns">cpx_fwd_bind1_minus</td>
+          </tr>
+          <tr>
+            <td class="snns">sta_cpx_aux</td>
+            <td class="ssns">sta_cpx_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">sta_cpx</td>
+            <td class="ssns">sta_cpx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_lift</td>
+            <td class="ssns">cpx_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_inv_lift1</td>
+            <td class="ssns">cpx_inv_lift1</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_cpx_trans</td>
+            <td class="ssns">fqu_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_sta_trans</td>
+            <td class="ssns">fqu_sta_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_cpx_trans</td>
+            <td class="ssns">fquq_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_sta_trans</td>
+            <td class="ssns">fquq_sta_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_cpx_trans</td>
+            <td class="ssns">fqup_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_cpx_trans</td>
+            <td class="ssns">fqus_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_cpx_trans_neq</td>
+            <td class="ssns">fqu_cpx_trans_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_cpx_trans_neq</td>
+            <td class="ssns">fquq_cpx_trans_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_cpx_trans_neq</td>
+            <td class="ssns">fqup_cpx_trans_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_cpx_trans_neq</td>
+            <td class="ssns">fqus_cpx_trans_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr</td>
+            <td class="ssns">lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_inv_atom1</td>
+            <td class="ssns">lpr_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_inv_pair1</td>
+            <td class="ssns">lpr_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_inv_atom2</td>
+            <td class="ssns">lpr_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_inv_pair2</td>
+            <td class="ssns">lpr_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_refl</td>
+            <td class="ssns">lpr_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_pair</td>
+            <td class="ssns">lpr_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_fwd_length</td>
+            <td class="ssns">lpr_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx</td>
+            <td class="ssns">lpx</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_inv_atom1</td>
+            <td class="ssns">lpx_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_inv_pair1</td>
+            <td class="ssns">lpx_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_inv_atom2</td>
+            <td class="ssns">lpx_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_inv_pair2</td>
+            <td class="ssns">lpx_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_inv_pair</td>
+            <td class="ssns">lpx_inv_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_refl</td>
+            <td class="ssns">lpx_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_pair</td>
+            <td class="ssns">lpx_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_lpx</td>
+            <td class="ssns">lpr_lpx</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_fwd_length</td>
+            <td class="ssns">lpx_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_drop_conf</td>
+            <td class="ssns">lpx_drop_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_lpx_trans</td>
+            <td class="ssns">drop_lpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_drop_trans_O1</td>
+            <td class="ssns">lpx_drop_trans_O1</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_lpx_trans</td>
+            <td class="ssns">fqu_lpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_lpx_trans</td>
+            <td class="ssns">fquq_lpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_fqu_trans</td>
+            <td class="ssns">lpx_fqu_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_fquq_trans</td>
+            <td class="ssns">lpx_fquq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_lpx_aaa_conf</td>
+            <td class="ssns">cpx_lpx_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_aaa_conf</td>
+            <td class="ssns">cpx_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_aaa_conf</td>
+            <td class="ssns">lpx_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_aaa_conf</td>
+            <td class="ssns">cpr_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_aaa_conf</td>
+            <td class="ssns">lpr_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx</td>
+            <td class="ssns">cnx</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_sort</td>
+            <td class="ssns">cnx_inv_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_delta</td>
+            <td class="ssns">cnx_inv_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_abst</td>
+            <td class="ssns">cnx_inv_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_abbr</td>
+            <td class="ssns">cnx_inv_abbr</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_zeta</td>
+            <td class="ssns">cnx_inv_zeta</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_appl</td>
+            <td class="ssns">cnx_inv_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_eps</td>
+            <td class="ssns">cnx_inv_eps</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_fwd_cnr</td>
+            <td class="ssns">cnx_fwd_cnr</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_sort</td>
+            <td class="ssns">cnx_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_sort_iter</td>
+            <td class="ssns">cnx_sort_iter</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_lref_free</td>
+            <td class="ssns">cnx_lref_free</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_lref_atom</td>
+            <td class="ssns">cnx_lref_atom</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_abst</td>
+            <td class="ssns">cnx_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_appl_simple</td>
+            <td class="ssns">cnx_appl_simple</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_dec</td>
+            <td class="ssns">cnx_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs</td>
+            <td class="ssns">cpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_ind</td>
+            <td class="ssns">cpxs_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_ind_dx</td>
+            <td class="ssns">cpxs_ind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_refl</td>
+            <td class="ssns">cpxs_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_cpxs</td>
+            <td class="ssns">cpx_cpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_strap1</td>
+            <td class="ssns">cpxs_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_strap2</td>
+            <td class="ssns">cpxs_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_cpxs_trans</td>
+            <td class="ssns">lsubr_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_cpxs</td>
+            <td class="ssns">cprs_cpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_sort</td>
+            <td class="ssns">cpxs_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_bind_dx</td>
+            <td class="ssns">cpxs_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_flat_dx</td>
+            <td class="ssns">cpxs_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_flat_sn</td>
+            <td class="ssns">cpxs_flat_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_pair_sn</td>
+            <td class="ssns">cpxs_pair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_zeta</td>
+            <td class="ssns">cpxs_zeta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_eps</td>
+            <td class="ssns">cpxs_eps</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_ct</td>
+            <td class="ssns">cpxs_ct</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_beta_dx</td>
+            <td class="ssns">cpxs_beta_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_theta_dx</td>
+            <td class="ssns">cpxs_theta_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_inv_sort1</td>
+            <td class="ssns">cpxs_inv_sort1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_inv_cast1</td>
+            <td class="ssns">cpxs_inv_cast1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_inv_cnx1</td>
+            <td class="ssns">cpxs_inv_cnx1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_neq_inv_step_sn</td>
+            <td class="ssns">cpxs_neq_inv_step_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_aaa_conf</td>
+            <td class="ssns">cpxs_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_aaa_conf</td>
+            <td class="ssns">cprs_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_confluent</td>
+            <td class="ssns">lpx_sn_confluent</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_transitive</td>
+            <td class="ssns">lpx_sn_transitive</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_trans</td>
+            <td class="ssns">lpx_sn_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_conf</td>
+            <td class="ssns">lpx_sn_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_lift</td>
+            <td class="ssns">cpr_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_inv_lift1</td>
+            <td class="ssns">cpr_inv_lift1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_drop_conf</td>
+            <td class="ssns">lpr_drop_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_lpr_trans</td>
+            <td class="ssns">drop_lpr_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_drop_trans_O1</td>
+            <td class="ssns">lpr_drop_trans_O1</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_cpr_trans_dx</td>
+            <td class="ssns">fqu_cpr_trans_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_cpr_trans_dx</td>
+            <td class="ssns">fquq_cpr_trans_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_cpr_trans_sn</td>
+            <td class="ssns">fqu_cpr_trans_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_cpr_trans_sn</td>
+            <td class="ssns">fquq_cpr_trans_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_lpr_trans</td>
+            <td class="ssns">fqu_lpr_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_lpr_trans</td>
+            <td class="ssns">fquq_lpr_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_atom_atom</td>
+            <td class="ssns">cpr_conf_lpr_atom_atom</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_atom_delta</td>
+            <td class="ssns">cpr_conf_lpr_atom_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_delta_delta</td>
+            <td class="ssns">cpr_conf_lpr_delta_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_bind_bind</td>
+            <td class="ssns">cpr_conf_lpr_bind_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_bind_zeta</td>
+            <td class="ssns">cpr_conf_lpr_bind_zeta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_zeta_zeta</td>
+            <td class="ssns">cpr_conf_lpr_zeta_zeta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_flat_flat</td>
+            <td class="ssns">cpr_conf_lpr_flat_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_flat_eps</td>
+            <td class="ssns">cpr_conf_lpr_flat_eps</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_eps_eps</td>
+            <td class="ssns">cpr_conf_lpr_eps_eps</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_flat_beta</td>
+            <td class="ssns">cpr_conf_lpr_flat_beta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_flat_theta</td>
+            <td class="ssns">cpr_conf_lpr_flat_theta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_beta_beta</td>
+            <td class="ssns">cpr_conf_lpr_beta_beta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr_theta_theta</td>
+            <td class="ssns">cpr_conf_lpr_theta_theta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf_lpr</td>
+            <td class="ssns">cpr_conf_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_conf</td>
+            <td class="ssns">cpr_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_cpr_conf_dx</td>
+            <td class="ssns">lpr_cpr_conf_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_cpr_conf_sn</td>
+            <td class="ssns">lpr_cpr_conf_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_conf</td>
+            <td class="ssns">lpr_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_delta</td>
+            <td class="ssns">cprs_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_inv_lref1</td>
+            <td class="ssns">cprs_inv_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_lift</td>
+            <td class="ssns">cprs_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_inv_lift1</td>
+            <td class="ssns">cprs_inv_lift1</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_trans</td>
+            <td class="ssns">cprs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_conf</td>
+            <td class="ssns">cprs_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_bind</td>
+            <td class="ssns">cprs_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_flat</td>
+            <td class="ssns">cprs_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_beta_rc</td>
+            <td class="ssns">cprs_beta_rc</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_beta</td>
+            <td class="ssns">cprs_beta</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_theta_rc</td>
+            <td class="ssns">cprs_theta_rc</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_theta</td>
+            <td class="ssns">cprs_theta</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_inv_appl1</td>
+            <td class="ssns">cprs_inv_appl1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_cpr_trans</td>
+            <td class="ssns">lpr_cpr_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_bind2</td>
+            <td class="ssns">cpr_bind2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_cprs_trans</td>
+            <td class="ssns">lpr_cprs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_strip</td>
+            <td class="ssns">cprs_strip</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_lpr_conf_dx</td>
+            <td class="ssns">cprs_lpr_conf_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_lpr_conf_sn</td>
+            <td class="ssns">cprs_lpr_conf_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_bind2_dx</td>
+            <td class="ssns">cprs_bind2_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_pair_refl</td>
+            <td class="ssns">TC_lpx_sn_pair_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_pair</td>
+            <td class="ssns">TC_lpx_sn_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_LTC_TC_lpx_sn</td>
+            <td class="ssns">lpx_sn_LTC_TC_lpx_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_inv_atom2</td>
+            <td class="ssns">TC_lpx_sn_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_inv_pair2</td>
+            <td class="ssns">TC_lpx_sn_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_ind</td>
+            <td class="ssns">TC_lpx_sn_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_inv_atom1</td>
+            <td class="ssns">TC_lpx_sn_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_inv_pair1_aux</td>
+            <td class="ssns">TC_lpx_sn_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_inv_pair1</td>
+            <td class="ssns">TC_lpx_sn_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_inv_lpx_sn_LTC</td>
+            <td class="ssns">TC_lpx_sn_inv_lpx_sn_LTC</td>
+          </tr>
+          <tr>
+            <td class="snns">TC_lpx_sn_fwd_length</td>
+            <td class="ssns">TC_lpx_sn_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs</td>
+            <td class="ssns">lprs</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_ind</td>
+            <td class="ssns">lprs_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_ind_dx</td>
+            <td class="ssns">lprs_ind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_lprs</td>
+            <td class="ssns">lpr_lprs</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_refl</td>
+            <td class="ssns">lprs_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_strap1</td>
+            <td class="ssns">lprs_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_strap2</td>
+            <td class="ssns">lprs_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_pair_refl</td>
+            <td class="ssns">lprs_pair_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_inv_atom1</td>
+            <td class="ssns">lprs_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_inv_atom2</td>
+            <td class="ssns">lprs_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_fwd_length</td>
+            <td class="ssns">lprs_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_pair</td>
+            <td class="ssns">lprs_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_inv_pair1</td>
+            <td class="ssns">lprs_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_inv_pair2</td>
+            <td class="ssns">lprs_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_ind_alt</td>
+            <td class="ssns">lprs_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_cpr_trans</td>
+            <td class="ssns">lprs_cpr_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_cprs_trans</td>
+            <td class="ssns">lprs_cprs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_cprs_conf_dx</td>
+            <td class="ssns">lprs_cprs_conf_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_cpr_conf_dx</td>
+            <td class="ssns">lprs_cpr_conf_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_cprs_conf_sn</td>
+            <td class="ssns">lprs_cprs_conf_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_cpr_conf_sn</td>
+            <td class="ssns">lprs_cpr_conf_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_bind2</td>
+            <td class="ssns">cprs_bind2</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_inv_abst1</td>
+            <td class="ssns">cprs_inv_abst1</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_inv_abst</td>
+            <td class="ssns">cprs_inv_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_inv_abbr1</td>
+            <td class="ssns">cprs_inv_abbr1</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_pair2</td>
+            <td class="ssns">lprs_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpc</td>
+            <td class="ssns">cpc</td>
+          </tr>
+          <tr>
+            <td class="snns">cpc_refl</td>
+            <td class="ssns">cpc_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpc_sym</td>
+            <td class="ssns">cpc_sym</td>
+          </tr>
+          <tr>
+            <td class="snns">cpc_fwd_cpr</td>
+            <td class="ssns">cpc_fwd_cpr</td>
+          </tr>
+          <tr>
+            <td class="snns">cpc_conf</td>
+            <td class="ssns">cpc_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs</td>
+            <td class="ssns">cpcs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_ind</td>
+            <td class="ssns">cpcs_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_ind_dx</td>
+            <td class="ssns">cpcs_ind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_refl</td>
+            <td class="ssns">cpcs_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_sym</td>
+            <td class="ssns">cpcs_sym</td>
+          </tr>
+          <tr>
+            <td class="snns">cpc_cpcs</td>
+            <td class="ssns">cpc_cpcs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_strap1</td>
+            <td class="ssns">cpcs_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_strap2</td>
+            <td class="ssns">cpcs_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_cpcs_dx</td>
+            <td class="ssns">cpr_cpcs_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_cpcs_sn</td>
+            <td class="ssns">cpr_cpcs_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cpr_strap1</td>
+            <td class="ssns">cpcs_cpr_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cpr_strap2</td>
+            <td class="ssns">cpcs_cpr_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cpr_div</td>
+            <td class="ssns">cpcs_cpr_div</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_div</td>
+            <td class="ssns">cpr_div</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cpr_conf</td>
+            <td class="ssns">cpcs_cpr_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cprs_dx</td>
+            <td class="ssns">cpcs_cprs_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cprs_sn</td>
+            <td class="ssns">cpcs_cprs_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cprs_strap1</td>
+            <td class="ssns">cpcs_cprs_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cprs_strap2</td>
+            <td class="ssns">cpcs_cprs_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cprs_div</td>
+            <td class="ssns">cpcs_cprs_div</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_cprs_conf</td>
+            <td class="ssns">cpcs_cprs_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_div</td>
+            <td class="ssns">cprs_div</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_cpr_div</td>
+            <td class="ssns">cprs_cpr_div</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_cprs_div</td>
+            <td class="ssns">cpr_cprs_div</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_inv_cprs</td>
+            <td class="ssns">cpcs_inv_cprs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_inv_sort</td>
+            <td class="ssns">cpcs_inv_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_inv_abst1</td>
+            <td class="ssns">cpcs_inv_abst1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_inv_abst2</td>
+            <td class="ssns">cpcs_inv_abst2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_inv_sort_abst</td>
+            <td class="ssns">cpcs_inv_sort_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_inv_lift</td>
+            <td class="ssns">cpcs_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_cpcs_trans</td>
+            <td class="ssns">lpr_cpcs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_cpcs_trans</td>
+            <td class="ssns">lprs_cpcs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_cprs_conf_cpcs</td>
+            <td class="ssns">cpr_cprs_conf_cpcs</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_cpr_conf_cpcs</td>
+            <td class="ssns">cprs_cpr_conf_cpcs</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_conf_cpcs</td>
+            <td class="ssns">cprs_conf_cpcs</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_cprs_conf</td>
+            <td class="ssns">lprs_cprs_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_cprs_conf</td>
+            <td class="ssns">lpr_cprs_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_cpr_conf</td>
+            <td class="ssns">lpr_cpr_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_flat</td>
+            <td class="ssns">cpcs_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_flat_dx_cpr_rev</td>
+            <td class="ssns">cpcs_flat_dx_cpr_rev</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_bind_dx</td>
+            <td class="ssns">cpcs_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_bind_sn</td>
+            <td class="ssns">cpcs_bind_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_cpcs_trans</td>
+            <td class="ssns">lsubr_cpcs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_lift</td>
+            <td class="ssns">cpcs_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_strip</td>
+            <td class="ssns">cpcs_strip</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_inv_abst_sn</td>
+            <td class="ssns">cpcs_inv_abst_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_inv_abst_dx</td>
+            <td class="ssns">cpcs_inv_abst_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_trans</td>
+            <td class="ssns">cpcs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_canc_sn</td>
+            <td class="ssns">cpcs_canc_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_canc_dx</td>
+            <td class="ssns">cpcs_canc_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_bind1</td>
+            <td class="ssns">cpcs_bind1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_bind2</td>
+            <td class="ssns">cpcs_bind2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_cpcs_conf</td>
+            <td class="ssns">lpr_cpcs_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_aaa_mono</td>
+            <td class="ssns">cpcs_aaa_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">da_lift</td>
+            <td class="ssns">da_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">da_inv_lift</td>
+            <td class="ssns">da_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">da_mono</td>
+            <td class="ssns">da_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_lift</td>
+            <td class="ssns">lstas_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_lift1</td>
+            <td class="ssns">lstas_inv_lift1</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_split_aux</td>
+            <td class="ssns">lstas_split_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_split</td>
+            <td class="ssns">lstas_split</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_lstas</td>
+            <td class="ssns">lstas_lstas</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_trans</td>
+            <td class="ssns">lstas_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_mono</td>
+            <td class="ssns">lstas_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_correct</td>
+            <td class="ssns">lstas_correct</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_conf_le</td>
+            <td class="ssns">lstas_conf_le</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_conf</td>
+            <td class="ssns">lstas_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">da_lstas</td>
+            <td class="ssns">da_lstas</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_da_conf</td>
+            <td class="ssns">lstas_da_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_da</td>
+            <td class="ssns">lstas_inv_da</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_da_ge</td>
+            <td class="ssns">lstas_inv_da_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_inv_refl_pos</td>
+            <td class="ssns">lstas_inv_refl_pos</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_trans</td>
+            <td class="ssns">fqus_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_delta</td>
+            <td class="ssns">cpxs_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_cpxs</td>
+            <td class="ssns">lstas_cpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_inv_lref1</td>
+            <td class="ssns">cpxs_inv_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_lift</td>
+            <td class="ssns">cpxs_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_inv_lift1</td>
+            <td class="ssns">cpxs_inv_lift1</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_cpxs_trans</td>
+            <td class="ssns">fqu_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_cpxs_trans</td>
+            <td class="ssns">fquq_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_lstas_trans</td>
+            <td class="ssns">fquq_lstas_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_cpxs_trans</td>
+            <td class="ssns">fqup_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_cpxs_trans</td>
+            <td class="ssns">fqus_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_lstas_trans</td>
+            <td class="ssns">fqus_lstas_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_trans</td>
+            <td class="ssns">cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_bind</td>
+            <td class="ssns">cpxs_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_flat</td>
+            <td class="ssns">cpxs_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_beta_rc</td>
+            <td class="ssns">cpxs_beta_rc</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_beta</td>
+            <td class="ssns">cpxs_beta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_theta_rc</td>
+            <td class="ssns">cpxs_theta_rc</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_theta</td>
+            <td class="ssns">cpxs_theta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_inv_appl1</td>
+            <td class="ssns">cpxs_inv_appl1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_cpx_trans</td>
+            <td class="ssns">lpx_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_bind2</td>
+            <td class="ssns">cpx_bind2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_cpxs_trans</td>
+            <td class="ssns">lpx_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_bind2_dx</td>
+            <td class="ssns">cpxs_bind2_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fqu_cpxs_trans_neq</td>
+            <td class="ssns">fqu_cpxs_trans_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">fquq_cpxs_trans_neq</td>
+            <td class="ssns">fquq_cpxs_trans_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_cpxs_trans_neq</td>
+            <td class="ssns">fqup_cpxs_trans_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_cpxs_trans_neq</td>
+            <td class="ssns">fqus_cpxs_trans_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_strap2</td>
+            <td class="ssns">scpds_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_cprs_trans</td>
+            <td class="ssns">scpds_cprs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_scpds_trans</td>
+            <td class="ssns">lstas_scpds_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_inv_abst1</td>
+            <td class="ssns">scpds_inv_abst1</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_inv_abbr_abst</td>
+            <td class="ssns">scpds_inv_abbr_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_inv_lstas_eq</td>
+            <td class="ssns">scpds_inv_lstas_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_fwd_cpxs</td>
+            <td class="ssns">scpds_fwd_cpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_conf_eq</td>
+            <td class="ssns">scpds_conf_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_inv_lstas_eq</td>
+            <td class="ssns">scpes_inv_lstas_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpcs_scpes</td>
+            <td class="ssns">cpcs_scpes</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_inv_abst2</td>
+            <td class="ssns">scpes_inv_abst2</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_refl</td>
+            <td class="ssns">scpes_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_scpes_trans</td>
+            <td class="ssns">lstas_scpes_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_scpds_div</td>
+            <td class="ssns">cprs_scpds_div</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_trans</td>
+            <td class="ssns">scpes_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_canc_sn</td>
+            <td class="ssns">scpes_canc_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_canc_dx</td>
+            <td class="ssns">scpes_canc_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_lstas</td>
+            <td class="ssns">aaa_lstas</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_aaa_conf</td>
+            <td class="ssns">lstas_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_aaa_conf</td>
+            <td class="ssns">scpds_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_aaa_mono</td>
+            <td class="ssns">scpes_aaa_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_inv_pair1_aux</td>
+            <td class="ssns">lsubr_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_inv_pair1</td>
+            <td class="ssns">lsubr_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubr_trans</td>
+            <td class="ssns">lsubr_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">applv</td>
+            <td class="ssns">applv</td>
+          </tr>
+          <tr>
+            <td class="snns">applv_simple</td>
+            <td class="ssns">applv_simple</td>
+          </tr>
+          <tr>
+            <td class="snns">at</td>
+            <td class="ssns">at</td>
+          </tr>
+          <tr>
+            <td class="snns">at_inv_nil_aux</td>
+            <td class="ssns">at_inv_nil_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">at_inv_nil</td>
+            <td class="ssns">at_inv_nil</td>
+          </tr>
+          <tr>
+            <td class="snns">at_inv_cons_aux</td>
+            <td class="ssns">at_inv_cons_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">at_inv_cons</td>
+            <td class="ssns">at_inv_cons</td>
+          </tr>
+          <tr>
+            <td class="snns">at_inv_cons_lt</td>
+            <td class="ssns">at_inv_cons_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">at_inv_cons_ge</td>
+            <td class="ssns">at_inv_cons_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">minuss</td>
+            <td class="ssns">minuss</td>
+          </tr>
+          <tr>
+            <td class="snns">minuss_inv_nil1_aux</td>
+            <td class="ssns">minuss_inv_nil1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">minuss_inv_nil1</td>
+            <td class="ssns">minuss_inv_nil1</td>
+          </tr>
+          <tr>
+            <td class="snns">minuss_inv_cons1_aux</td>
+            <td class="ssns">minuss_inv_cons1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">minuss_inv_cons1</td>
+            <td class="ssns">minuss_inv_cons1</td>
+          </tr>
+          <tr>
+            <td class="snns">minuss_inv_cons1_ge</td>
+            <td class="ssns">minuss_inv_cons1_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">minuss_inv_cons1_lt</td>
+            <td class="ssns">minuss_inv_cons1_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">liftv</td>
+            <td class="ssns">liftv</td>
+          </tr>
+          <tr>
+            <td class="snns">liftv_inv_nil1_aux</td>
+            <td class="ssns">liftv_inv_nil1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">liftv_inv_nil1</td>
+            <td class="ssns">liftv_inv_nil1</td>
+          </tr>
+          <tr>
+            <td class="snns">liftv_inv_cons1_aux</td>
+            <td class="ssns">liftv_inv_cons1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">liftv_inv_cons1</td>
+            <td class="ssns">liftv_inv_cons1</td>
+          </tr>
+          <tr>
+            <td class="snns">liftv_total</td>
+            <td class="ssns">liftv_total</td>
+          </tr>
+          <tr>
+            <td class="snns">pluss</td>
+            <td class="ssns">pluss</td>
+          </tr>
+          <tr>
+            <td class="snns">pluss_inv_nil2</td>
+            <td class="ssns">pluss_inv_nil2</td>
+          </tr>
+          <tr>
+            <td class="snns">pluss_inv_cons2</td>
+            <td class="ssns">pluss_inv_cons2</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts</td>
+            <td class="ssns">lifts</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_nil_aux</td>
+            <td class="ssns">lifts_inv_nil_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_nil</td>
+            <td class="ssns">lifts_inv_nil</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_cons_aux</td>
+            <td class="ssns">lifts_inv_cons_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_cons</td>
+            <td class="ssns">lifts_inv_cons</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_sort1</td>
+            <td class="ssns">lifts_inv_sort1</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_lref1</td>
+            <td class="ssns">lifts_inv_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_gref1</td>
+            <td class="ssns">lifts_inv_gref1</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_bind1</td>
+            <td class="ssns">lifts_inv_bind1</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_flat1</td>
+            <td class="ssns">lifts_inv_flat1</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_simple_dx</td>
+            <td class="ssns">lifts_simple_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_simple_sn</td>
+            <td class="ssns">lifts_simple_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_bind</td>
+            <td class="ssns">lifts_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_flat</td>
+            <td class="ssns">lifts_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_total</td>
+            <td class="ssns">lifts_total</td>
+          </tr>
+          <tr>
+            <td class="snns">liftsv</td>
+            <td class="ssns">liftsv</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_inv_applv1</td>
+            <td class="ssns">lifts_inv_applv1</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_applv</td>
+            <td class="ssns">lifts_applv</td>
+          </tr>
+          <tr>
+            <td class="snns">drops</td>
+            <td class="ssns">drops</td>
+          </tr>
+          <tr>
+            <td class="snns">d_liftable1</td>
+            <td class="ssns">d_liftable1</td>
+          </tr>
+          <tr>
+            <td class="snns">d_liftables1</td>
+            <td class="ssns">d_liftables1</td>
+          </tr>
+          <tr>
+            <td class="snns">d_liftables1_all</td>
+            <td class="ssns">d_liftables1_all</td>
+          </tr>
+          <tr>
+            <td class="snns">drops_inv_nil_aux</td>
+            <td class="ssns">drops_inv_nil_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">drops_inv_nil</td>
+            <td class="ssns">drops_inv_nil</td>
+          </tr>
+          <tr>
+            <td class="snns">drops_inv_cons_aux</td>
+            <td class="ssns">drops_inv_cons_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">drops_inv_cons</td>
+            <td class="ssns">drops_inv_cons</td>
+          </tr>
+          <tr>
+            <td class="snns">drops_inv_skip2</td>
+            <td class="ssns">drops_inv_skip2</td>
+          </tr>
+          <tr>
+            <td class="snns">drops_skip</td>
+            <td class="ssns">drops_skip</td>
+          </tr>
+          <tr>
+            <td class="snns">d1_liftable_liftables</td>
+            <td class="ssns">d1_liftable_liftables</td>
+          </tr>
+          <tr>
+            <td class="snns">d1_liftables_liftables_all</td>
+            <td class="ssns">d1_liftables_liftables_all</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_lifts</td>
+            <td class="ssns">aaa_lifts</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_fqu_conf</td>
+            <td class="ssns">aaa_fqu_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_fquq_conf</td>
+            <td class="ssns">aaa_fquq_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_fqup_conf</td>
+            <td class="ssns">aaa_fqup_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_fqus_conf</td>
+            <td class="ssns">aaa_fqus_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd</td>
+            <td class="ssns">lsubd</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_fwd_lsubr</td>
+            <td class="ssns">lsubd_fwd_lsubr</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_inv_atom1_aux</td>
+            <td class="ssns">lsubd_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_inv_atom1</td>
+            <td class="ssns">lsubd_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_inv_pair1_aux</td>
+            <td class="ssns">lsubd_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_inv_pair1</td>
+            <td class="ssns">lsubd_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_inv_atom2_aux</td>
+            <td class="ssns">lsubd_inv_atom2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_inv_atom2</td>
+            <td class="ssns">lsubd_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_inv_pair2_aux</td>
+            <td class="ssns">lsubd_inv_pair2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_inv_pair2</td>
+            <td class="ssns">lsubd_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_refl</td>
+            <td class="ssns">lsubd_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_drop_O1_conf</td>
+            <td class="ssns">lsubd_drop_O1_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_drop_O1_trans</td>
+            <td class="ssns">lsubd_drop_O1_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_da_trans</td>
+            <td class="ssns">lsubd_da_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_da_conf</td>
+            <td class="ssns">lsubd_da_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubd_trans</td>
+            <td class="ssns">lsubd_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_da</td>
+            <td class="ssns">aaa_da</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn</td>
+            <td class="ssns">llpx_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_bind_aux</td>
+            <td class="ssns">llpx_sn_inv_bind_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_bind</td>
+            <td class="ssns">llpx_sn_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_flat_aux</td>
+            <td class="ssns">llpx_sn_inv_flat_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_flat</td>
+            <td class="ssns">llpx_sn_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_length</td>
+            <td class="ssns">llpx_sn_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_drop_sn</td>
+            <td class="ssns">llpx_sn_fwd_drop_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_drop_dx</td>
+            <td class="ssns">llpx_sn_fwd_drop_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_lref_aux</td>
+            <td class="ssns">llpx_sn_fwd_lref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_lref</td>
+            <td class="ssns">llpx_sn_fwd_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_bind_sn</td>
+            <td class="ssns">llpx_sn_fwd_bind_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_bind_dx</td>
+            <td class="ssns">llpx_sn_fwd_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_flat_sn</td>
+            <td class="ssns">llpx_sn_fwd_flat_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_flat_dx</td>
+            <td class="ssns">llpx_sn_fwd_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_pair_sn</td>
+            <td class="ssns">llpx_sn_fwd_pair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_refl</td>
+            <td class="ssns">llpx_sn_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_Y</td>
+            <td class="ssns">llpx_sn_Y</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_ge_up</td>
+            <td class="ssns">llpx_sn_ge_up</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_ge</td>
+            <td class="ssns">llpx_sn_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_bind_O</td>
+            <td class="ssns">llpx_sn_bind_O</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_co</td>
+            <td class="ssns">llpx_sn_co</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_llpx_sn_trans</td>
+            <td class="ssns">lreq_llpx_sn_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_lreq_trans</td>
+            <td class="ssns">llpx_sn_lreq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_lreq_repl</td>
+            <td class="ssns">llpx_sn_lreq_repl</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_bind_repl_SO</td>
+            <td class="ssns">llpx_sn_bind_repl_SO</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_lref_dx</td>
+            <td class="ssns">llpx_sn_fwd_lref_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_lref_sn</td>
+            <td class="ssns">llpx_sn_fwd_lref_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_lref_ge_dx</td>
+            <td class="ssns">llpx_sn_inv_lref_ge_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_lref_ge_sn</td>
+            <td class="ssns">llpx_sn_inv_lref_ge_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_lref_ge_bi</td>
+            <td class="ssns">llpx_sn_inv_lref_ge_bi</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_S_aux</td>
+            <td class="ssns">llpx_sn_inv_S_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_S</td>
+            <td class="ssns">llpx_sn_inv_S</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_bind_O</td>
+            <td class="ssns">llpx_sn_inv_bind_O</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_fwd_bind_O_dx</td>
+            <td class="ssns">llpx_sn_fwd_bind_O_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_bind_repl_O</td>
+            <td class="ssns">llpx_sn_bind_repl_O</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_dec</td>
+            <td class="ssns">llpx_sn_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_lift_le</td>
+            <td class="ssns">llpx_sn_lift_le</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_lift_ge</td>
+            <td class="ssns">llpx_sn_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_lift_le</td>
+            <td class="ssns">llpx_sn_inv_lift_le</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_lift_be</td>
+            <td class="ssns">llpx_sn_inv_lift_be</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_lift_ge</td>
+            <td class="ssns">llpx_sn_inv_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_lift_O</td>
+            <td class="ssns">llpx_sn_inv_lift_O</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_drop_conf_O</td>
+            <td class="ssns">llpx_sn_drop_conf_O</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_drop_trans_O</td>
+            <td class="ssns">llpx_sn_drop_trans_O</td>
+          </tr>
+          <tr>
+            <td class="snns">nllpx_sn_inv_bind</td>
+            <td class="ssns">nllpx_sn_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">nllpx_sn_inv_flat</td>
+            <td class="ssns">nllpx_sn_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">nllpx_sn_inv_bind_O</td>
+            <td class="ssns">nllpx_sn_inv_bind_O</td>
+          </tr>
+          <tr>
+            <td class="snns">ceq</td>
+            <td class="ssns">ceq</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq</td>
+            <td class="ssns">lleq</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_transitive</td>
+            <td class="ssns">lleq_transitive</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_ind</td>
+            <td class="ssns">lleq_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_bind</td>
+            <td class="ssns">lleq_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_flat</td>
+            <td class="ssns">lleq_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_length</td>
+            <td class="ssns">lleq_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_lref</td>
+            <td class="ssns">lleq_fwd_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_drop_sn</td>
+            <td class="ssns">lleq_fwd_drop_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_drop_dx</td>
+            <td class="ssns">lleq_fwd_drop_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_bind_sn</td>
+            <td class="ssns">lleq_fwd_bind_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_bind_dx</td>
+            <td class="ssns">lleq_fwd_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_flat_sn</td>
+            <td class="ssns">lleq_fwd_flat_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_flat_dx</td>
+            <td class="ssns">lleq_fwd_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_sort</td>
+            <td class="ssns">lleq_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_skip</td>
+            <td class="ssns">lleq_skip</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_lref</td>
+            <td class="ssns">lleq_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_free</td>
+            <td class="ssns">lleq_free</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_gref</td>
+            <td class="ssns">lleq_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_bind</td>
+            <td class="ssns">lleq_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_flat</td>
+            <td class="ssns">lleq_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_refl</td>
+            <td class="ssns">lleq_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_Y</td>
+            <td class="ssns">lleq_Y</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_sym</td>
+            <td class="ssns">lleq_sym</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_ge_up</td>
+            <td class="ssns">lleq_ge_up</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_ge</td>
+            <td class="ssns">lleq_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_bind_O</td>
+            <td class="ssns">lleq_bind_O</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_lrefl</td>
+            <td class="ssns">llpx_sn_lrefl</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_bind_repl_O</td>
+            <td class="ssns">lleq_bind_repl_O</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_dec</td>
+            <td class="ssns">lleq_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_llpx_sn_trans</td>
+            <td class="ssns">lleq_llpx_sn_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_llpx_sn_conf</td>
+            <td class="ssns">lleq_llpx_sn_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_lref_ge_dx</td>
+            <td class="ssns">lleq_inv_lref_ge_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_lref_ge_sn</td>
+            <td class="ssns">lleq_inv_lref_ge_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_lref_ge_bi</td>
+            <td class="ssns">lleq_inv_lref_ge_bi</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_lref_ge</td>
+            <td class="ssns">lleq_inv_lref_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_S</td>
+            <td class="ssns">lleq_inv_S</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_bind_O</td>
+            <td class="ssns">lleq_inv_bind_O</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_lref_dx</td>
+            <td class="ssns">lleq_fwd_lref_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_lref_sn</td>
+            <td class="ssns">lleq_fwd_lref_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fwd_bind_O_dx</td>
+            <td class="ssns">lleq_fwd_bind_O_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_lift_le</td>
+            <td class="ssns">lleq_lift_le</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_lift_ge</td>
+            <td class="ssns">lleq_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_lift_le</td>
+            <td class="ssns">lleq_inv_lift_le</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_lift_be</td>
+            <td class="ssns">lleq_inv_lift_be</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_lift_ge</td>
+            <td class="ssns">lleq_inv_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">nlleq_inv_bind</td>
+            <td class="ssns">nlleq_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">nlleq_inv_flat</td>
+            <td class="ssns">nlleq_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">nlleq_inv_bind_O</td>
+            <td class="ssns">nlleq_inv_bind_O</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_aaa_trans</td>
+            <td class="ssns">lleq_aaa_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_lleq_conf</td>
+            <td class="ssns">aaa_lleq_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_trans</td>
+            <td class="ssns">lsuba_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">ri2</td>
+            <td class="ssns">ri2</td>
+          </tr>
+          <tr>
+            <td class="snns">ib2</td>
+            <td class="ssns">ib2</td>
+          </tr>
+          <tr>
+            <td class="snns">crr</td>
+            <td class="ssns">crr</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_sort_aux</td>
+            <td class="ssns">crr_inv_sort_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_sort</td>
+            <td class="ssns">crr_inv_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_lref_aux</td>
+            <td class="ssns">crr_inv_lref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_lref</td>
+            <td class="ssns">crr_inv_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_gref_aux</td>
+            <td class="ssns">crr_inv_gref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_gref</td>
+            <td class="ssns">crr_inv_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">trr_inv_atom</td>
+            <td class="ssns">trr_inv_atom</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_ib2_aux</td>
+            <td class="ssns">crr_inv_ib2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_ib2</td>
+            <td class="ssns">crr_inv_ib2</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_appl_aux</td>
+            <td class="ssns">crr_inv_appl_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_appl</td>
+            <td class="ssns">crr_inv_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">cir</td>
+            <td class="ssns">cir</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_inv_delta</td>
+            <td class="ssns">cir_inv_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_inv_ri2</td>
+            <td class="ssns">cir_inv_ri2</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_inv_ib2</td>
+            <td class="ssns">cir_inv_ib2</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_inv_bind</td>
+            <td class="ssns">cir_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_inv_appl</td>
+            <td class="ssns">cir_inv_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_inv_flat</td>
+            <td class="ssns">cir_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_sort</td>
+            <td class="ssns">cir_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_gref</td>
+            <td class="ssns">cir_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">tir_atom</td>
+            <td class="ssns">tir_atom</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_ib2</td>
+            <td class="ssns">cir_ib2</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_appl</td>
+            <td class="ssns">cir_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">crx</td>
+            <td class="ssns">crx</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_crx</td>
+            <td class="ssns">crr_crx</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_sort_aux</td>
+            <td class="ssns">crx_inv_sort_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_sort</td>
+            <td class="ssns">crx_inv_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_lref_aux</td>
+            <td class="ssns">crx_inv_lref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_lref</td>
+            <td class="ssns">crx_inv_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_gref_aux</td>
+            <td class="ssns">crx_inv_gref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_gref</td>
+            <td class="ssns">crx_inv_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">trx_inv_atom</td>
+            <td class="ssns">trx_inv_atom</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_ib2_aux</td>
+            <td class="ssns">crx_inv_ib2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_ib2</td>
+            <td class="ssns">crx_inv_ib2</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_appl_aux</td>
+            <td class="ssns">crx_inv_appl_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_appl</td>
+            <td class="ssns">crx_inv_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">cix</td>
+            <td class="ssns">cix</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_inv_sort</td>
+            <td class="ssns">cix_inv_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_inv_delta</td>
+            <td class="ssns">cix_inv_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_inv_ri2</td>
+            <td class="ssns">cix_inv_ri2</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_inv_ib2</td>
+            <td class="ssns">cix_inv_ib2</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_inv_bind</td>
+            <td class="ssns">cix_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_inv_appl</td>
+            <td class="ssns">cix_inv_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_inv_flat</td>
+            <td class="ssns">cix_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_inv_cir</td>
+            <td class="ssns">cix_inv_cir</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_sort</td>
+            <td class="ssns">cix_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">tix_lref</td>
+            <td class="ssns">tix_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_gref</td>
+            <td class="ssns">cix_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_ib2</td>
+            <td class="ssns">cix_ib2</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_appl</td>
+            <td class="ssns">cix_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_fwd_cix</td>
+            <td class="ssns">cpx_fwd_cix</td>
+          </tr>
+          <tr>
+            <td class="snns">nlift_lref_be_SO</td>
+            <td class="ssns">nlift_lref_be_SO</td>
+          </tr>
+          <tr>
+            <td class="snns">nlift_bind_sn</td>
+            <td class="ssns">nlift_bind_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">nlift_bind_dx</td>
+            <td class="ssns">nlift_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">nlift_flat_sn</td>
+            <td class="ssns">nlift_flat_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">nlift_flat_dx</td>
+            <td class="ssns">nlift_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">nlift_inv_lref_be_SO</td>
+            <td class="ssns">nlift_inv_lref_be_SO</td>
+          </tr>
+          <tr>
+            <td class="snns">nlift_inv_bind</td>
+            <td class="ssns">nlift_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">nlift_inv_flat</td>
+            <td class="ssns">nlift_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">frees</td>
+            <td class="ssns">frees</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_trans</td>
+            <td class="ssns">frees_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv</td>
+            <td class="ssns">frees_inv</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_sort</td>
+            <td class="ssns">frees_inv_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_gref</td>
+            <td class="ssns">frees_inv_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_lref</td>
+            <td class="ssns">frees_inv_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_lref_free</td>
+            <td class="ssns">frees_inv_lref_free</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_lref_skip</td>
+            <td class="ssns">frees_inv_lref_skip</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_lref_ge</td>
+            <td class="ssns">frees_inv_lref_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_lref_lt</td>
+            <td class="ssns">frees_inv_lref_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_bind</td>
+            <td class="ssns">frees_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_flat</td>
+            <td class="ssns">frees_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_lref_eq</td>
+            <td class="ssns">frees_lref_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_lref_be</td>
+            <td class="ssns">frees_lref_be</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_bind_sn</td>
+            <td class="ssns">frees_bind_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_bind_dx</td>
+            <td class="ssns">frees_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_flat_sn</td>
+            <td class="ssns">frees_flat_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_flat_dx</td>
+            <td class="ssns">frees_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_weak</td>
+            <td class="ssns">frees_weak</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_bind_O</td>
+            <td class="ssns">frees_inv_bind_O</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_dec</td>
+            <td class="ssns">frees_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_S</td>
+            <td class="ssns">frees_S</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_bind_dx_O</td>
+            <td class="ssns">frees_bind_dx_O</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_lift_ge</td>
+            <td class="ssns">frees_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_lift_be</td>
+            <td class="ssns">frees_inv_lift_be</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_lift_ge</td>
+            <td class="ssns">frees_inv_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">append</td>
+            <td class="ssns">append</td>
+          </tr>
+          <tr>
+            <td class="snns">d_appendable_sn</td>
+            <td class="ssns">d_appendable_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">append_atom_sn</td>
+            <td class="ssns">append_atom_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">append_assoc</td>
+            <td class="ssns">append_assoc</td>
+          </tr>
+          <tr>
+            <td class="snns">append_length</td>
+            <td class="ssns">append_length</td>
+          </tr>
+          <tr>
+            <td class="snns">ltail_length</td>
+            <td class="ssns">ltail_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lpair_ltail</td>
+            <td class="ssns">lpair_ltail</td>
+          </tr>
+          <tr>
+            <td class="snns">append_inj_sn</td>
+            <td class="ssns">append_inj_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">append_inj_dx</td>
+            <td class="ssns">append_inj_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">append_inv_refl_dx</td>
+            <td class="ssns">append_inv_refl_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">append_inv_pair_dx</td>
+            <td class="ssns">append_inv_pair_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">length_inv_pos_dx_ltail</td>
+            <td class="ssns">length_inv_pos_dx_ltail</td>
+          </tr>
+          <tr>
+            <td class="snns">length_inv_pos_sn_ltail</td>
+            <td class="ssns">length_inv_pos_sn_ltail</td>
+          </tr>
+          <tr>
+            <td class="snns">lenv_ind_alt</td>
+            <td class="ssns">lenv_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_append_sn_le_aux</td>
+            <td class="ssns">drop_O1_append_sn_le_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_append_sn_le</td>
+            <td class="ssns">drop_O1_append_sn_le</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_inv_append1_ge</td>
+            <td class="ssns">drop_O1_inv_append1_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_O1_inv_append1_le</td>
+            <td class="ssns">drop_O1_inv_append1_le</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_append</td>
+            <td class="ssns">frees_append</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_append_aux</td>
+            <td class="ssns">frees_inv_append_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_inv_append</td>
+            <td class="ssns">frees_inv_append</td>
+          </tr>
+          <tr>
+            <td class="snns">llor</td>
+            <td class="ssns">llor</td>
+          </tr>
+          <tr>
+            <td class="snns">llor_atom</td>
+            <td class="ssns">llor_atom</td>
+          </tr>
+          <tr>
+            <td class="snns">llor_tail_frees</td>
+            <td class="ssns">llor_tail_frees</td>
+          </tr>
+          <tr>
+            <td class="snns">llor_tail_cofrees</td>
+            <td class="ssns">llor_tail_cofrees</td>
+          </tr>
+          <tr>
+            <td class="snns">llor_skip</td>
+            <td class="ssns">llor_skip</td>
+          </tr>
+          <tr>
+            <td class="snns">llor_total</td>
+            <td class="ssns">llor_total</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_alt</td>
+            <td class="ssns">lpx_sn_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_alt_fwd_length</td>
+            <td class="ssns">lpx_sn_alt_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_alt_inv_atom1</td>
+            <td class="ssns">lpx_sn_alt_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_alt_inv_pair1</td>
+            <td class="ssns">lpx_sn_alt_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_alt_inv_atom2</td>
+            <td class="ssns">lpx_sn_alt_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_alt_inv_pair2</td>
+            <td class="ssns">lpx_sn_alt_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_alt_atom</td>
+            <td class="ssns">lpx_sn_alt_atom</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_alt_pair</td>
+            <td class="ssns">lpx_sn_alt_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_lpx_sn_alt</td>
+            <td class="ssns">lpx_sn_lpx_sn_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_alt_inv_lpx_sn</td>
+            <td class="ssns">lpx_sn_alt_inv_lpx_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_intro_alt</td>
+            <td class="ssns">lpx_sn_intro_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_inv_alt</td>
+            <td class="ssns">lpx_sn_inv_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r</td>
+            <td class="ssns">llpx_sn_alt_r</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_intro_alt</td>
+            <td class="ssns">llpx_sn_alt_r_intro_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_ind_alt</td>
+            <td class="ssns">llpx_sn_alt_r_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_inv_alt</td>
+            <td class="ssns">llpx_sn_alt_r_inv_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_inv_flat</td>
+            <td class="ssns">llpx_sn_alt_r_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_inv_bind</td>
+            <td class="ssns">llpx_sn_alt_r_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_fwd_length</td>
+            <td class="ssns">llpx_sn_alt_r_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_fwd_lref</td>
+            <td class="ssns">llpx_sn_alt_r_fwd_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_sort</td>
+            <td class="ssns">llpx_sn_alt_r_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_gref</td>
+            <td class="ssns">llpx_sn_alt_r_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_skip</td>
+            <td class="ssns">llpx_sn_alt_r_skip</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_free</td>
+            <td class="ssns">llpx_sn_alt_r_free</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_lref</td>
+            <td class="ssns">llpx_sn_alt_r_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_flat</td>
+            <td class="ssns">llpx_sn_alt_r_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_bind</td>
+            <td class="ssns">llpx_sn_alt_r_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_lpx_sn_alt_r</td>
+            <td class="ssns">llpx_sn_lpx_sn_alt_r</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_r_inv_lpx_sn</td>
+            <td class="ssns">llpx_sn_alt_r_inv_lpx_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_intro_alt_r</td>
+            <td class="ssns">llpx_sn_intro_alt_r</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_ind_alt_r</td>
+            <td class="ssns">llpx_sn_ind_alt_r</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_inv_alt_r</td>
+            <td class="ssns">llpx_sn_inv_alt_r</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt</td>
+            <td class="ssns">llpx_sn_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_llpx_sn_alt</td>
+            <td class="ssns">llpx_sn_llpx_sn_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_alt_inv_llpx_sn</td>
+            <td class="ssns">llpx_sn_alt_inv_llpx_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_intro_alt</td>
+            <td class="ssns">lleq_intro_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_inv_alt</td>
+            <td class="ssns">lleq_inv_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_llor_fwd_sn</td>
+            <td class="ssns">llpx_sn_llor_fwd_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_sn_llpx_sn</td>
+            <td class="ssns">lpx_sn_llpx_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_lleq_trans</td>
+            <td class="ssns">lreq_lleq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_lreq_trans</td>
+            <td class="ssns">lleq_lreq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_lreq_repl</td>
+            <td class="ssns">lleq_lreq_repl</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_bind_repl_SO</td>
+            <td class="ssns">lleq_bind_repl_SO</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_frees_trans_aux</td>
+            <td class="ssns">llpx_sn_frees_trans_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_frees_trans</td>
+            <td class="ssns">llpx_sn_frees_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_llor_dx</td>
+            <td class="ssns">llpx_sn_llor_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_llor_dx_sym</td>
+            <td class="ssns">llpx_sn_llor_dx_sym</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_cpx_trans</td>
+            <td class="ssns">lreq_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_llpx_sn_conf</td>
+            <td class="ssns">cpx_llpx_sn_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_cpx_trans</td>
+            <td class="ssns">lleq_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_lleq_conf</td>
+            <td class="ssns">cpx_lleq_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_lleq_conf_sn</td>
+            <td class="ssns">cpx_lleq_conf_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_lleq_conf_dx</td>
+            <td class="ssns">cpx_lleq_conf_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_frees_trans</td>
+            <td class="ssns">lreq_frees_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">frees_lreq_conf</td>
+            <td class="ssns">frees_lreq_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_cpx_frees_trans</td>
+            <td class="ssns">lpx_cpx_frees_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpx_frees_trans</td>
+            <td class="ssns">cpx_frees_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_frees_trans</td>
+            <td class="ssns">lpx_frees_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_lpx_trans</td>
+            <td class="ssns">lleq_lpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_lleq_fqu_trans</td>
+            <td class="ssns">lpx_lleq_fqu_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_lleq_fquq_trans</td>
+            <td class="ssns">lpx_lleq_fquq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_lleq_fqup_trans</td>
+            <td class="ssns">lpx_lleq_fqup_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_lleq_fqus_trans</td>
+            <td class="ssns">lpx_lleq_fqus_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_lpx_trans_lleq_aux</td>
+            <td class="ssns">lreq_lpx_trans_lleq_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_lpx_trans_lleq</td>
+            <td class="ssns">lreq_lpx_trans_lleq</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_crx</td>
+            <td class="ssns">cnx_inv_crx</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq</td>
+            <td class="ssns">fleq</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_refl</td>
+            <td class="ssns">fleq_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_sym</td>
+            <td class="ssns">fleq_sym</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_inv_gen</td>
+            <td class="ssns">fleq_inv_gen</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fqu_trans</td>
+            <td class="ssns">lleq_fqu_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fquq_trans</td>
+            <td class="ssns">lleq_fquq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fqup_trans</td>
+            <td class="ssns">lleq_fqup_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fqus_trans</td>
+            <td class="ssns">lleq_fqus_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_trans</td>
+            <td class="ssns">lleq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_canc_sn</td>
+            <td class="ssns">lleq_canc_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_canc_dx</td>
+            <td class="ssns">lleq_canc_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_nlleq_trans</td>
+            <td class="ssns">lleq_nlleq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">nlleq_lleq_div</td>
+            <td class="ssns">nlleq_lleq_div</td>
+          </tr>
+          <tr>
+            <td class="snns">fpb</td>
+            <td class="ssns">fpb</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_fpb</td>
+            <td class="ssns">cpr_fpb</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_fpb</td>
+            <td class="ssns">lpr_fpb</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fpb_trans</td>
+            <td class="ssns">lleq_fpb_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_fpb_trans</td>
+            <td class="ssns">fleq_fpb_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpb_inv_fleq</td>
+            <td class="ssns">fpb_inv_fleq</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbq</td>
+            <td class="ssns">fpbq</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbq_refl</td>
+            <td class="ssns">fpbq_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_fpbq</td>
+            <td class="ssns">cpr_fpbq</td>
+          </tr>
+          <tr>
+            <td class="snns">lpr_fpbq</td>
+            <td class="ssns">lpr_fpbq</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbqa</td>
+            <td class="ssns">fpbqa</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_fpbq</td>
+            <td class="ssns">fleq_fpbq</td>
+          </tr>
+          <tr>
+            <td class="snns">fpb_fpbq</td>
+            <td class="ssns">fpb_fpbq</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbq_fpbqa</td>
+            <td class="ssns">fpbq_fpbqa</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbqa_inv_fpbq</td>
+            <td class="ssns">fpbqa_inv_fpbq</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbq_ind_alt</td>
+            <td class="ssns">fpbq_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">fpb_fpbq_alt</td>
+            <td class="ssns">fpb_fpbq_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbq_inv_fpb_alt</td>
+            <td class="ssns">fpbq_inv_fpb_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbq_aaa_conf</td>
+            <td class="ssns">fpbq_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_fwd_cir</td>
+            <td class="ssns">cpr_fwd_cir</td>
+          </tr>
+          <tr>
+            <td class="snns">sta_fpb</td>
+            <td class="ssns">sta_fpb</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_lift</td>
+            <td class="ssns">crr_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">crr_inv_lift</td>
+            <td class="ssns">crr_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_lift</td>
+            <td class="ssns">cir_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_inv_lift</td>
+            <td class="ssns">cir_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_llpx_sn_conf</td>
+            <td class="ssns">cpr_llpx_sn_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_lift</td>
+            <td class="ssns">crx_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">crx_inv_lift</td>
+            <td class="ssns">crx_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_lift</td>
+            <td class="ssns">cnx_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_lift</td>
+            <td class="ssns">cnx_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_inv_crr</td>
+            <td class="ssns">cnr_inv_crr</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_lref_abst</td>
+            <td class="ssns">cnr_lref_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_lift</td>
+            <td class="ssns">cnr_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_inv_lift</td>
+            <td class="ssns">cnr_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cir_cnr</td>
+            <td class="ssns">cir_cnr</td>
+          </tr>
+          <tr>
+            <td class="snns">cnr_inv_cir</td>
+            <td class="ssns">cnr_inv_cir</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_lref</td>
+            <td class="ssns">cix_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_lift</td>
+            <td class="ssns">cix_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_inv_lift</td>
+            <td class="ssns">cix_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">sta_fpbq</td>
+            <td class="ssns">sta_fpbq</td>
+          </tr>
+          <tr>
+            <td class="snns">cix_cnx</td>
+            <td class="ssns">cix_cnx</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_inv_cix</td>
+            <td class="ssns">cnx_inv_cix</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_llpx_sn_conf</td>
+            <td class="ssns">lstas_llpx_sn_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">unfold</td>
+            <td class="ssns">unfold</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby</td>
+            <td class="ssns">lsuby</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_pair_lt</td>
+            <td class="ssns">lsuby_pair_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_succ_lt</td>
+            <td class="ssns">lsuby_succ_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_pair_O_Y</td>
+            <td class="ssns">lsuby_pair_O_Y</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_refl</td>
+            <td class="ssns">lsuby_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_O2</td>
+            <td class="ssns">lsuby_O2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_sym</td>
+            <td class="ssns">lsuby_sym</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_atom1_aux</td>
+            <td class="ssns">lsuby_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_atom1</td>
+            <td class="ssns">lsuby_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_zero1_aux</td>
+            <td class="ssns">lsuby_inv_zero1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_zero1</td>
+            <td class="ssns">lsuby_inv_zero1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_pair1_aux</td>
+            <td class="ssns">lsuby_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_pair1</td>
+            <td class="ssns">lsuby_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_succ1_aux</td>
+            <td class="ssns">lsuby_inv_succ1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_succ1</td>
+            <td class="ssns">lsuby_inv_succ1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_zero2_aux</td>
+            <td class="ssns">lsuby_inv_zero2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_zero2</td>
+            <td class="ssns">lsuby_inv_zero2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_pair2_aux</td>
+            <td class="ssns">lsuby_inv_pair2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_pair2</td>
+            <td class="ssns">lsuby_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_succ2_aux</td>
+            <td class="ssns">lsuby_inv_succ2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_inv_succ2</td>
+            <td class="ssns">lsuby_inv_succ2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_fwd_length</td>
+            <td class="ssns">lsuby_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_drop_trans_be</td>
+            <td class="ssns">lsuby_drop_trans_be</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy</td>
+            <td class="ssns">cpy</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_cpy_trans</td>
+            <td class="ssns">lsuby_cpy_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_refl</td>
+            <td class="ssns">cpy_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_full</td>
+            <td class="ssns">cpy_full</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_weak</td>
+            <td class="ssns">cpy_weak</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_weak_top</td>
+            <td class="ssns">cpy_weak_top</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_weak_full</td>
+            <td class="ssns">cpy_weak_full</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_split_up</td>
+            <td class="ssns">cpy_split_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_split_down</td>
+            <td class="ssns">cpy_split_down</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_fwd_up</td>
+            <td class="ssns">cpy_fwd_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_fwd_tw</td>
+            <td class="ssns">cpy_fwd_tw</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_atom1_aux</td>
+            <td class="ssns">cpy_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_atom1</td>
+            <td class="ssns">cpy_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_sort1</td>
+            <td class="ssns">cpy_inv_sort1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_lref1</td>
+            <td class="ssns">cpy_inv_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_gref1</td>
+            <td class="ssns">cpy_inv_gref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_bind1_aux</td>
+            <td class="ssns">cpy_inv_bind1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_bind1</td>
+            <td class="ssns">cpy_inv_bind1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_flat1_aux</td>
+            <td class="ssns">cpy_inv_flat1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_flat1</td>
+            <td class="ssns">cpy_inv_flat1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_refl_O2_aux</td>
+            <td class="ssns">cpy_inv_refl_O2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_refl_O2</td>
+            <td class="ssns">cpy_inv_refl_O2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_lift1_eq</td>
+            <td class="ssns">cpy_inv_lift1_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_lift_le</td>
+            <td class="ssns">cpy_lift_le</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_lift_be</td>
+            <td class="ssns">cpy_lift_be</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_lift_ge</td>
+            <td class="ssns">cpy_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_lift1_le</td>
+            <td class="ssns">cpy_inv_lift1_le</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_lift1_be</td>
+            <td class="ssns">cpy_inv_lift1_be</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_lift1_ge</td>
+            <td class="ssns">cpy_inv_lift1_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_lift1_ge_up</td>
+            <td class="ssns">cpy_inv_lift1_ge_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_lift1_be_up</td>
+            <td class="ssns">cpy_inv_lift1_be_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_inv_lift1_le_up</td>
+            <td class="ssns">cpy_inv_lift1_le_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_conf_eq</td>
+            <td class="ssns">cpy_conf_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_conf_neq</td>
+            <td class="ssns">cpy_conf_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_trans_ge</td>
+            <td class="ssns">cpy_trans_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_trans_down</td>
+            <td class="ssns">cpy_trans_down</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_fwd_nlift2_ge</td>
+            <td class="ssns">cpy_fwd_nlift2_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">gget</td>
+            <td class="ssns">gget</td>
+          </tr>
+          <tr>
+            <td class="snns">gget_inv_gt</td>
+            <td class="ssns">gget_inv_gt</td>
+          </tr>
+          <tr>
+            <td class="snns">gget_inv_eq</td>
+            <td class="ssns">gget_inv_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">gget_inv_lt_aux</td>
+            <td class="ssns">gget_inv_lt_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">gget_inv_lt</td>
+            <td class="ssns">gget_inv_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">gget_total</td>
+            <td class="ssns">gget_total</td>
+          </tr>
+          <tr>
+            <td class="snns">gget_mono</td>
+            <td class="ssns">gget_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">gget_dec</td>
+            <td class="ssns">gget_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_trans</td>
+            <td class="ssns">lsuby_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">liftv_mono</td>
+            <td class="ssns">liftv_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">csx</td>
+            <td class="ssns">csx</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_ind</td>
+            <td class="ssns">csx_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_intro</td>
+            <td class="ssns">csx_intro</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_cpx_trans</td>
+            <td class="ssns">csx_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cnx_csx</td>
+            <td class="ssns">cnx_csx</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_sort</td>
+            <td class="ssns">csx_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_cast</td>
+            <td class="ssns">csx_cast</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fwd_pair_sn_aux</td>
+            <td class="ssns">csx_fwd_pair_sn_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fwd_pair_sn</td>
+            <td class="ssns">csx_fwd_pair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fwd_bind_dx_aux</td>
+            <td class="ssns">csx_fwd_bind_dx_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fwd_bind_dx</td>
+            <td class="ssns">csx_fwd_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fwd_flat_dx_aux</td>
+            <td class="ssns">csx_fwd_flat_dx_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fwd_flat_dx</td>
+            <td class="ssns">csx_fwd_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fwd_bind</td>
+            <td class="ssns">csx_fwd_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fwd_flat</td>
+            <td class="ssns">csx_fwd_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">cpre</td>
+            <td class="ssns">cpre</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_cpre</td>
+            <td class="ssns">csx_cpre</td>
+          </tr>
+          <tr>
+            <td class="snns">cpre_mono</td>
+            <td class="ssns">cpre_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs</td>
+            <td class="ssns">lpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_ind</td>
+            <td class="ssns">lpxs_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_ind_dx</td>
+            <td class="ssns">lpxs_ind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_lpxs</td>
+            <td class="ssns">lprs_lpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_lpxs</td>
+            <td class="ssns">lpx_lpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_refl</td>
+            <td class="ssns">lpxs_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_strap1</td>
+            <td class="ssns">lpxs_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_strap2</td>
+            <td class="ssns">lpxs_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_pair_refl</td>
+            <td class="ssns">lpxs_pair_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_inv_atom1</td>
+            <td class="ssns">lpxs_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_inv_atom2</td>
+            <td class="ssns">lpxs_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_fwd_length</td>
+            <td class="ssns">lpxs_fwd_length</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs</td>
+            <td class="ssns">fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_ind</td>
+            <td class="ssns">fpbs_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_ind_dx</td>
+            <td class="ssns">fpbs_ind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_refl</td>
+            <td class="ssns">fpbs_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbq_fpbs</td>
+            <td class="ssns">fpbq_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_strap1</td>
+            <td class="ssns">fpbs_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_strap2</td>
+            <td class="ssns">fpbs_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_fpbs</td>
+            <td class="ssns">fqup_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_fpbs</td>
+            <td class="ssns">fqus_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fpbs</td>
+            <td class="ssns">cpxs_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_fpbs</td>
+            <td class="ssns">lpxs_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fpbs</td>
+            <td class="ssns">lleq_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">cprs_fpbs</td>
+            <td class="ssns">cprs_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_fpbs</td>
+            <td class="ssns">lprs_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_fqus_trans</td>
+            <td class="ssns">fpbs_fqus_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_fqup_trans</td>
+            <td class="ssns">fpbs_fqup_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_cpxs_trans</td>
+            <td class="ssns">fpbs_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_lpxs_trans</td>
+            <td class="ssns">fpbs_lpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_lleq_trans</td>
+            <td class="ssns">fpbs_lleq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_fpbs_trans</td>
+            <td class="ssns">fqus_fpbs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fpbs_trans</td>
+            <td class="ssns">cpxs_fpbs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_fpbs_trans</td>
+            <td class="ssns">lpxs_fpbs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_fpbs_trans</td>
+            <td class="ssns">lleq_fpbs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fqus_fpbs</td>
+            <td class="ssns">cpxs_fqus_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fqup_fpbs</td>
+            <td class="ssns">cpxs_fqup_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fqus_lpxs_fpbs</td>
+            <td class="ssns">fqus_lpxs_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fqus_lpxs_fpbs</td>
+            <td class="ssns">cpxs_fqus_lpxs_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_lleq_fpbs</td>
+            <td class="ssns">lpxs_lleq_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_lpr_fpbs</td>
+            <td class="ssns">cpr_lpr_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbg</td>
+            <td class="ssns">fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">fpb_fpbg</td>
+            <td class="ssns">fpb_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbg_fpbq_trans</td>
+            <td class="ssns">fpbg_fpbq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">sta_fpbg</td>
+            <td class="ssns">sta_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_lleq_conf</td>
+            <td class="ssns">csx_lleq_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_lleq_trans</td>
+            <td class="ssns">csx_lleq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_trans</td>
+            <td class="ssns">fpbs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_cpxs_trans</td>
+            <td class="ssns">lreq_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_drop_conf</td>
+            <td class="ssns">lpxs_drop_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_lpxs_trans</td>
+            <td class="ssns">drop_lpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_drop_trans_O1</td>
+            <td class="ssns">lpxs_drop_trans_O1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_pair</td>
+            <td class="ssns">lpxs_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_inv_pair1</td>
+            <td class="ssns">lpxs_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_inv_pair2</td>
+            <td class="ssns">lpxs_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_ind_alt</td>
+            <td class="ssns">lpxs_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_cpx_trans</td>
+            <td class="ssns">lpxs_cpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_cpxs_trans</td>
+            <td class="ssns">lpxs_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_bind2</td>
+            <td class="ssns">cpxs_bind2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_inv_abst1</td>
+            <td class="ssns">cpxs_inv_abst1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_inv_abbr1</td>
+            <td class="ssns">cpxs_inv_abbr1</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_pair2</td>
+            <td class="ssns">lpxs_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_fqup_trans</td>
+            <td class="ssns">lpx_fqup_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpx_fqus_trans</td>
+            <td class="ssns">lpx_fqus_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_fquq_trans</td>
+            <td class="ssns">lpxs_fquq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_fqup_trans</td>
+            <td class="ssns">lpxs_fqup_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_fqus_trans</td>
+            <td class="ssns">lpxs_fqus_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_lpxs_trans</td>
+            <td class="ssns">lleq_lpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_nlleq_inv_step_sn</td>
+            <td class="ssns">lpxs_nlleq_inv_step_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_lleq_fqu_trans</td>
+            <td class="ssns">lpxs_lleq_fqu_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_lleq_fquq_trans</td>
+            <td class="ssns">lpxs_lleq_fquq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_lleq_fqup_trans</td>
+            <td class="ssns">lpxs_lleq_fqup_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_lleq_fqus_trans</td>
+            <td class="ssns">lpxs_lleq_fqus_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_lpxs_trans_lleq_aux</td>
+            <td class="ssns">lreq_lpxs_trans_lleq_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lreq_lpxs_trans_lleq</td>
+            <td class="ssns">lreq_lpxs_trans_lleq</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_fpbs</td>
+            <td class="ssns">lstas_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">sta_fpbs</td>
+            <td class="ssns">sta_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_lpr_sta_fpbs</td>
+            <td class="ssns">cpr_lpr_sta_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_trans</td>
+            <td class="ssns">fleq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_canc_sn</td>
+            <td class="ssns">fleq_canc_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_canc_dx</td>
+            <td class="ssns">fleq_canc_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbg_fleq_trans</td>
+            <td class="ssns">fpbg_fleq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_fpbg_trans</td>
+            <td class="ssns">fleq_fpbg_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fleq_fpbs</td>
+            <td class="ssns">fleq_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbg_fwd_fpbs</td>
+            <td class="ssns">fpbg_fwd_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_fpbg</td>
+            <td class="ssns">fpbs_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_fpb_trans</td>
+            <td class="ssns">fpbs_fpb_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpb_fpbg_trans</td>
+            <td class="ssns">fpb_fpbg_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbq_fpbg_trans</td>
+            <td class="ssns">fpbq_fpbg_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_fpbg_trans</td>
+            <td class="ssns">fpbs_fpbg_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbg_fpbs_trans</td>
+            <td class="ssns">fpbg_fpbs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_fpbg</td>
+            <td class="ssns">fqup_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fpbg</td>
+            <td class="ssns">cpxs_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_fpbg</td>
+            <td class="ssns">lstas_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_fpbg</td>
+            <td class="ssns">lpxs_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">fsb</td>
+            <td class="ssns">fsb</td>
+          </tr>
+          <tr>
+            <td class="snns">fsb_ind_alt</td>
+            <td class="ssns">fsb_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">fsb_inv_csx</td>
+            <td class="ssns">fsb_inv_csx</td>
+          </tr>
+          <tr>
+            <td class="snns">fsba</td>
+            <td class="ssns">fsba</td>
+          </tr>
+          <tr>
+            <td class="snns">fsba_ind_alt</td>
+            <td class="ssns">fsba_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">fsba_fpbs_trans</td>
+            <td class="ssns">fsba_fpbs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fsb_fsba</td>
+            <td class="ssns">fsb_fsba</td>
+          </tr>
+          <tr>
+            <td class="snns">fsba_inv_fsb</td>
+            <td class="ssns">fsba_inv_fsb</td>
+          </tr>
+          <tr>
+            <td class="snns">fsb_fpbs_trans</td>
+            <td class="ssns">fsb_fpbs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fsb_ind_fpbg</td>
+            <td class="ssns">fsb_ind_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_trans</td>
+            <td class="ssns">lpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx</td>
+            <td class="ssns">lsx</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_ind</td>
+            <td class="ssns">lsx_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_intro</td>
+            <td class="ssns">lsx_intro</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_atom</td>
+            <td class="ssns">lsx_atom</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_sort</td>
+            <td class="ssns">lsx_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_gref</td>
+            <td class="ssns">lsx_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_ge_up</td>
+            <td class="ssns">lsx_ge_up</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_ge</td>
+            <td class="ssns">lsx_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_fwd_bind_sn</td>
+            <td class="ssns">lsx_fwd_bind_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_fwd_flat_sn</td>
+            <td class="ssns">lsx_fwd_flat_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_fwd_flat_dx</td>
+            <td class="ssns">lsx_fwd_flat_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_fwd_pair_sn</td>
+            <td class="ssns">lsx_fwd_pair_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_inv_flat</td>
+            <td class="ssns">lsx_inv_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">lsxa</td>
+            <td class="ssns">lsxa</td>
+          </tr>
+          <tr>
+            <td class="snns">lsxa_ind</td>
+            <td class="ssns">lsxa_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">lsxa_intro</td>
+            <td class="ssns">lsxa_intro</td>
+          </tr>
+          <tr>
+            <td class="snns">lsxa_intro_aux</td>
+            <td class="ssns">lsxa_intro_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsxa_lleq_trans</td>
+            <td class="ssns">lsxa_lleq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsxa_lpxs_trans</td>
+            <td class="ssns">lsxa_lpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsxa_intro_lpx</td>
+            <td class="ssns">lsxa_intro_lpx</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lsxa</td>
+            <td class="ssns">lsx_lsxa</td>
+          </tr>
+          <tr>
+            <td class="snns">lsxa_inv_lsx</td>
+            <td class="ssns">lsxa_inv_lsx</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_intro_alt</td>
+            <td class="ssns">lsx_intro_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lpxs_trans</td>
+            <td class="ssns">lsx_lpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_ind_alt</td>
+            <td class="ssns">lsx_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_bind_lpxs_aux</td>
+            <td class="ssns">lsx_bind_lpxs_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_bind</td>
+            <td class="ssns">lsx_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_flat_lpxs</td>
+            <td class="ssns">lsx_flat_lpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_flat</td>
+            <td class="ssns">lsx_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts</td>
+            <td class="ssns">tsts</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_inv_atom1_aux</td>
+            <td class="ssns">tsts_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_inv_atom1</td>
+            <td class="ssns">tsts_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_inv_pair1_aux</td>
+            <td class="ssns">tsts_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_inv_pair1</td>
+            <td class="ssns">tsts_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_inv_atom2_aux</td>
+            <td class="ssns">tsts_inv_atom2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_inv_atom2</td>
+            <td class="ssns">tsts_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_inv_pair2_aux</td>
+            <td class="ssns">tsts_inv_pair2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_inv_pair2</td>
+            <td class="ssns">tsts_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_refl</td>
+            <td class="ssns">tsts_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_sym</td>
+            <td class="ssns">tsts_sym</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_dec</td>
+            <td class="ssns">tsts_dec</td>
+          </tr>
+          <tr>
+            <td class="snns">simple_tsts_repl_dx</td>
+            <td class="ssns">simple_tsts_repl_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">simple_tsts_repl_sn</td>
+            <td class="ssns">simple_tsts_repl_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_trans</td>
+            <td class="ssns">tsts_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_canc_sn</td>
+            <td class="ssns">tsts_canc_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_canc_dx</td>
+            <td class="ssns">tsts_canc_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">csxa</td>
+            <td class="ssns">csxa</td>
+          </tr>
+          <tr>
+            <td class="snns">csxa_ind</td>
+            <td class="ssns">csxa_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_intro_cpxs</td>
+            <td class="ssns">csx_intro_cpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">csxa_intro</td>
+            <td class="ssns">csxa_intro</td>
+          </tr>
+          <tr>
+            <td class="snns">csxa_intro_aux</td>
+            <td class="ssns">csxa_intro_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">csxa_cpxs_trans</td>
+            <td class="ssns">csxa_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">csxa_intro_cpx</td>
+            <td class="ssns">csxa_intro_cpx</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_csxa</td>
+            <td class="ssns">csx_csxa</td>
+          </tr>
+          <tr>
+            <td class="snns">csxa_csx</td>
+            <td class="ssns">csxa_csx</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_cpxs_trans</td>
+            <td class="ssns">csx_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_ind_alt</td>
+            <td class="ssns">csx_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">nf</td>
+            <td class="ssns">nf</td>
+          </tr>
+          <tr>
+            <td class="snns">candidate</td>
+            <td class="ssns">candidate</td>
+          </tr>
+          <tr>
+            <td class="snns">CP0</td>
+            <td class="ssns">CP0</td>
+          </tr>
+          <tr>
+            <td class="snns">CP1</td>
+            <td class="ssns">CP1</td>
+          </tr>
+          <tr>
+            <td class="snns">CP2</td>
+            <td class="ssns">CP2</td>
+          </tr>
+          <tr>
+            <td class="snns">CP3</td>
+            <td class="ssns">CP3</td>
+          </tr>
+          <tr>
+            <td class="snns">gcp</td>
+            <td class="ssns">gcp</td>
+          </tr>
+          <tr>
+            <td class="snns">gcp0_lifts</td>
+            <td class="ssns">gcp0_lifts</td>
+          </tr>
+          <tr>
+            <td class="snns">gcp2_lifts</td>
+            <td class="ssns">gcp2_lifts</td>
+          </tr>
+          <tr>
+            <td class="snns">gcp2_lifts_all</td>
+            <td class="ssns">gcp2_lifts_all</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_lift</td>
+            <td class="ssns">csx_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_inv_lift</td>
+            <td class="ssns">csx_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_inv_lref_bind</td>
+            <td class="ssns">csx_inv_lref_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_lref_bind</td>
+            <td class="ssns">csx_lref_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_appl_simple</td>
+            <td class="ssns">csx_appl_simple</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fqu_conf</td>
+            <td class="ssns">csx_fqu_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fquq_conf</td>
+            <td class="ssns">csx_fquq_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fqup_conf</td>
+            <td class="ssns">csx_fqup_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fqus_conf</td>
+            <td class="ssns">csx_fqus_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_gcp</td>
+            <td class="ssns">csx_gcp</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_lpx_conf</td>
+            <td class="ssns">csx_lpx_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_abst</td>
+            <td class="ssns">csx_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_abbr</td>
+            <td class="ssns">csx_abbr</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_appl_beta_aux</td>
+            <td class="ssns">csx_appl_beta_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_appl_beta</td>
+            <td class="ssns">csx_appl_beta</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_appl_theta_aux</td>
+            <td class="ssns">csx_appl_theta_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_appl_theta</td>
+            <td class="ssns">csx_appl_theta</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_appl_simple_tsts</td>
+            <td class="ssns">csx_appl_simple_tsts</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_lpxs_conf</td>
+            <td class="ssns">csx_lpxs_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lref_free</td>
+            <td class="ssns">lsx_lref_free</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lref_skip</td>
+            <td class="ssns">lsx_lref_skip</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_fwd_lref_be</td>
+            <td class="ssns">lsx_fwd_lref_be</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lift_le</td>
+            <td class="ssns">lsx_lift_le</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lift_ge</td>
+            <td class="ssns">lsx_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_inv_lift_le</td>
+            <td class="ssns">lsx_inv_lift_le</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_inv_lift_be</td>
+            <td class="ssns">lsx_inv_lift_be</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_inv_lift_ge</td>
+            <td class="ssns">lsx_inv_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lleq_trans</td>
+            <td class="ssns">lsx_lleq_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lpx_trans</td>
+            <td class="ssns">lsx_lpx_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lreq_conf</td>
+            <td class="ssns">lsx_lreq_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_fwd_bind_dx</td>
+            <td class="ssns">lsx_fwd_bind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_inv_bind</td>
+            <td class="ssns">lsx_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">lcosx</td>
+            <td class="ssns">lcosx</td>
+          </tr>
+          <tr>
+            <td class="snns">lcosx_O</td>
+            <td class="ssns">lcosx_O</td>
+          </tr>
+          <tr>
+            <td class="snns">lcosx_drop_trans_lt</td>
+            <td class="ssns">lcosx_drop_trans_lt</td>
+          </tr>
+          <tr>
+            <td class="snns">lcosx_inv_succ_aux</td>
+            <td class="ssns">lcosx_inv_succ_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lcosx_inv_succ</td>
+            <td class="ssns">lcosx_inv_succ</td>
+          </tr>
+          <tr>
+            <td class="snns">lcosx_inv_pair</td>
+            <td class="ssns">lcosx_inv_pair</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_cpx_trans_lcosx</td>
+            <td class="ssns">lsx_cpx_trans_lcosx</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_cpx_trans_O</td>
+            <td class="ssns">lsx_cpx_trans_O</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lref_be_lpxs</td>
+            <td class="ssns">lsx_lref_be_lpxs</td>
+          </tr>
+          <tr>
+            <td class="snns">lsx_lref_be</td>
+            <td class="ssns">lsx_lref_be</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_lsx</td>
+            <td class="ssns">csx_lsx</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_aaa_conf</td>
+            <td class="ssns">fpbs_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">at_mono</td>
+            <td class="ssns">at_mono</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_lift_trans_le</td>
+            <td class="ssns">lifts_lift_trans_le</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_lift_trans</td>
+            <td class="ssns">lifts_lift_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">liftsv_liftv_trans_le</td>
+            <td class="ssns">liftsv_liftv_trans_le</td>
+          </tr>
+          <tr>
+            <td class="snns">drops_drop_trans</td>
+            <td class="ssns">drops_drop_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">S1</td>
+            <td class="ssns">S1</td>
+          </tr>
+          <tr>
+            <td class="snns">S2</td>
+            <td class="ssns">S2</td>
+          </tr>
+          <tr>
+            <td class="snns">S3</td>
+            <td class="ssns">S3</td>
+          </tr>
+          <tr>
+            <td class="snns">S4</td>
+            <td class="ssns">S4</td>
+          </tr>
+          <tr>
+            <td class="snns">S5</td>
+            <td class="ssns">S5</td>
+          </tr>
+          <tr>
+            <td class="snns">S6</td>
+            <td class="ssns">S6</td>
+          </tr>
+          <tr>
+            <td class="snns">S7</td>
+            <td class="ssns">S7</td>
+          </tr>
+          <tr>
+            <td class="snns">gcr</td>
+            <td class="ssns">gcr</td>
+          </tr>
+          <tr>
+            <td class="snns">cfun</td>
+            <td class="ssns">cfun</td>
+          </tr>
+          <tr>
+            <td class="snns">acr</td>
+            <td class="ssns">acr</td>
+          </tr>
+          <tr>
+            <td class="snns">gcr_lift</td>
+            <td class="ssns">gcr_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">gcr_lifts</td>
+            <td class="ssns">gcr_lifts</td>
+          </tr>
+          <tr>
+            <td class="snns">acr_gcr</td>
+            <td class="ssns">acr_gcr</td>
+          </tr>
+          <tr>
+            <td class="snns">acr_abst</td>
+            <td class="ssns">acr_abst</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_cnx</td>
+            <td class="ssns">cpxs_fwd_cnx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_sort</td>
+            <td class="ssns">cpxs_fwd_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_beta</td>
+            <td class="ssns">cpxs_fwd_beta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_delta</td>
+            <td class="ssns">cpxs_fwd_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_theta</td>
+            <td class="ssns">cpxs_fwd_theta</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_cast</td>
+            <td class="ssns">cpxs_fwd_cast</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_cpxs_trans</td>
+            <td class="ssns">lleq_cpxs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_lleq_conf</td>
+            <td class="ssns">cpxs_lleq_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_lleq_conf_dx</td>
+            <td class="ssns">cpxs_lleq_conf_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_lleq_conf_sn</td>
+            <td class="ssns">cpxs_lleq_conf_sn</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_drop_conf</td>
+            <td class="ssns">lprs_drop_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_lprs_trans</td>
+            <td class="ssns">drop_lprs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_drop_trans_O1</td>
+            <td class="ssns">lprs_drop_trans_O1</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbg_trans</td>
+            <td class="ssns">fpbg_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_lift</td>
+            <td class="ssns">scpds_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_inv_lift1</td>
+            <td class="ssns">scpds_inv_lift1</td>
+          </tr>
+          <tr>
+            <td class="snns">lifts_trans</td>
+            <td class="ssns">lifts_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">drops_trans</td>
+            <td class="ssns">drops_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc</td>
+            <td class="ssns">lsubc</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_inv_atom1_aux</td>
+            <td class="ssns">lsubc_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_inv_atom1</td>
+            <td class="ssns">lsubc_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_inv_pair1_aux</td>
+            <td class="ssns">lsubc_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_inv_pair1</td>
+            <td class="ssns">lsubc_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_inv_atom2_aux</td>
+            <td class="ssns">lsubc_inv_atom2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_inv_atom2</td>
+            <td class="ssns">lsubc_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_inv_pair2_aux</td>
+            <td class="ssns">lsubc_inv_pair2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_inv_pair2</td>
+            <td class="ssns">lsubc_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_fwd_lsubr</td>
+            <td class="ssns">lsubc_fwd_lsubr</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_refl</td>
+            <td class="ssns">lsubc_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubc_drop_O1_trans</td>
+            <td class="ssns">lsubc_drop_O1_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">drop_lsubc_trans</td>
+            <td class="ssns">drop_lsubc_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">drops_lsubc_trans</td>
+            <td class="ssns">drops_lsubc_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">acr_aaa_csubc_lifts</td>
+            <td class="ssns">acr_aaa_csubc_lifts</td>
+          </tr>
+          <tr>
+            <td class="snns">acr_aaa</td>
+            <td class="ssns">acr_aaa</td>
+          </tr>
+          <tr>
+            <td class="snns">gcr_aaa</td>
+            <td class="ssns">gcr_aaa</td>
+          </tr>
+          <tr>
+            <td class="snns">tsts_inv_bind_applv_simple</td>
+            <td class="ssns">tsts_inv_bind_applv_simple</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_cnx_vector</td>
+            <td class="ssns">cpxs_fwd_cnx_vector</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_sort_vector</td>
+            <td class="ssns">cpxs_fwd_sort_vector</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_beta_vector</td>
+            <td class="ssns">cpxs_fwd_beta_vector</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_delta_vector</td>
+            <td class="ssns">cpxs_fwd_delta_vector</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_theta_vector</td>
+            <td class="ssns">cpxs_fwd_theta_vector</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_fwd_cast_vector</td>
+            <td class="ssns">cpxs_fwd_cast_vector</td>
+          </tr>
+          <tr>
+            <td class="snns">csxv</td>
+            <td class="ssns">csxv</td>
+          </tr>
+          <tr>
+            <td class="snns">csxv_inv_cons</td>
+            <td class="ssns">csxv_inv_cons</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fwd_applv</td>
+            <td class="ssns">csx_fwd_applv</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_applv_cnx</td>
+            <td class="ssns">csx_applv_cnx</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_applv_sort</td>
+            <td class="ssns">csx_applv_sort</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_applv_beta</td>
+            <td class="ssns">csx_applv_beta</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_applv_delta</td>
+            <td class="ssns">csx_applv_delta</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_applv_theta</td>
+            <td class="ssns">csx_applv_theta</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_applv_cast</td>
+            <td class="ssns">csx_applv_cast</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_gcr</td>
+            <td class="ssns">csx_gcr</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_csx</td>
+            <td class="ssns">aaa_csx</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_ind_csx_aux</td>
+            <td class="ssns">aaa_ind_csx_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_ind_csx</td>
+            <td class="ssns">aaa_ind_csx</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_ind_csx_alt_aux</td>
+            <td class="ssns">aaa_ind_csx_alt_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_ind_csx_alt</td>
+            <td class="ssns">aaa_ind_csx_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_strip</td>
+            <td class="ssns">lprs_strip</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_conf</td>
+            <td class="ssns">lprs_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_trans</td>
+            <td class="ssns">lprs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbsa</td>
+            <td class="ssns">fpbsa</td>
+          </tr>
+          <tr>
+            <td class="snns">fpb_fpbsa_trans</td>
+            <td class="ssns">fpb_fpbsa_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_fpbsa</td>
+            <td class="ssns">fpbs_fpbsa</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbsa_inv_fpbs</td>
+            <td class="ssns">fpbsa_inv_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_intro_alt</td>
+            <td class="ssns">fpbs_intro_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_inv_alt</td>
+            <td class="ssns">fpbs_inv_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbs_cpx_trans_neq</td>
+            <td class="ssns">fpbs_cpx_trans_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">fpb_fpbs</td>
+            <td class="ssns">fpb_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fpb_conf</td>
+            <td class="ssns">csx_fpb_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fpbs_conf</td>
+            <td class="ssns">csx_fpbs_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fsb_fpbs</td>
+            <td class="ssns">csx_fsb_fpbs</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_fsb</td>
+            <td class="ssns">csx_fsb</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_ind_fpb</td>
+            <td class="ssns">csx_ind_fpb</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_ind_fpbg</td>
+            <td class="ssns">csx_ind_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_fsb</td>
+            <td class="ssns">aaa_fsb</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_fsba</td>
+            <td class="ssns">aaa_fsba</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_ind_fpb_aux</td>
+            <td class="ssns">aaa_ind_fpb_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_ind_fpb</td>
+            <td class="ssns">aaa_ind_fpb</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_ind_fpbg_aux</td>
+            <td class="ssns">aaa_ind_fpbg_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">aaa_ind_fpbg</td>
+            <td class="ssns">aaa_ind_fpbg</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxe</td>
+            <td class="ssns">cpxe</td>
+          </tr>
+          <tr>
+            <td class="snns">csx_cpxe</td>
+            <td class="ssns">csx_cpxe</td>
+          </tr>
+          <tr>
+            <td class="snns">lpxs_aaa_conf</td>
+            <td class="ssns">lpxs_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lprs_aaa_conf</td>
+            <td class="ssns">lprs_aaa_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuba_lsubc</td>
+            <td class="ssns">lsuba_lsubc</td>
+          </tr>
+          <tr>
+            <td class="snns">ApplDelta</td>
+            <td class="ssns">ApplDelta</td>
+          </tr>
+          <tr>
+            <td class="snns">ApplOmega1</td>
+            <td class="ssns">ApplOmega1</td>
+          </tr>
+          <tr>
+            <td class="snns">ApplOmega2</td>
+            <td class="ssns">ApplOmega2</td>
+          </tr>
+          <tr>
+            <td class="snns">ApplOmega3</td>
+            <td class="ssns">ApplOmega3</td>
+          </tr>
+          <tr>
+            <td class="snns">ApplDelta_lift</td>
+            <td class="ssns">ApplDelta_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_ApplOmega_12</td>
+            <td class="ssns">cpr_ApplOmega_12</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_ApplOmega_23</td>
+            <td class="ssns">cpr_ApplOmega_23</td>
+          </tr>
+          <tr>
+            <td class="snns">cpxs_ApplOmega_13</td>
+            <td class="ssns">cpxs_ApplOmega_13</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_ApplOmega_13</td>
+            <td class="ssns">fqup_ApplOmega_13</td>
+          </tr>
+          <tr>
+            <td class="snns">fpbg_refl</td>
+            <td class="ssns">fpbg_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">Delta</td>
+            <td class="ssns">Delta</td>
+          </tr>
+          <tr>
+            <td class="snns">Omega1</td>
+            <td class="ssns">Omega1</td>
+          </tr>
+          <tr>
+            <td class="snns">Omega2</td>
+            <td class="ssns">Omega2</td>
+          </tr>
+          <tr>
+            <td class="snns">Delta_lift</td>
+            <td class="ssns">Delta_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_Omega_12</td>
+            <td class="ssns">cpr_Omega_12</td>
+          </tr>
+          <tr>
+            <td class="snns">cpr_Omega_21</td>
+            <td class="ssns">cpr_Omega_21</td>
+          </tr>
+          <tr>
+            <td class="snns">sta_ldec</td>
+            <td class="ssns">sta_ldec</td>
+          </tr>
+          <tr>
+            <td class="snns">snv</td>
+            <td class="ssns">snv</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_lref_aux</td>
+            <td class="ssns">snv_inv_lref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_lref</td>
+            <td class="ssns">snv_inv_lref</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_gref_aux</td>
+            <td class="ssns">snv_inv_gref_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_gref</td>
+            <td class="ssns">snv_inv_gref</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_bind_aux</td>
+            <td class="ssns">snv_inv_bind_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_bind</td>
+            <td class="ssns">snv_inv_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_appl_aux</td>
+            <td class="ssns">snv_inv_appl_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_appl</td>
+            <td class="ssns">snv_inv_appl</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_cast_aux</td>
+            <td class="ssns">snv_inv_cast_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_cast</td>
+            <td class="ssns">snv_inv_cast</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_extended</td>
+            <td class="ssns">snv_extended</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_restricted</td>
+            <td class="ssns">snv_restricted</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_fwd_aaa</td>
+            <td class="ssns">snv_fwd_aaa</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_fwd_da</td>
+            <td class="ssns">snv_fwd_da</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_fwd_lstas</td>
+            <td class="ssns">snv_fwd_lstas</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_fwd_fsb</td>
+            <td class="ssns">snv_fwd_fsb</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_lift</td>
+            <td class="ssns">snv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_inv_lift</td>
+            <td class="ssns">snv_inv_lift</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_fqu_conf</td>
+            <td class="ssns">snv_fqu_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_fquq_conf</td>
+            <td class="ssns">snv_fquq_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_fqup_conf</td>
+            <td class="ssns">snv_fqup_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_fqus_conf</td>
+            <td class="ssns">snv_fqus_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">IH_snv_cpr_lpr</td>
+            <td class="ssns">IH_snv_cpr_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">IH_da_cpr_lpr</td>
+            <td class="ssns">IH_da_cpr_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">IH_lstas_cpr_lpr</td>
+            <td class="ssns">IH_lstas_cpr_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">IH_snv_lstas</td>
+            <td class="ssns">IH_snv_lstas</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_cprs_lpr_aux</td>
+            <td class="ssns">snv_cprs_lpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">da_cprs_lpr_aux</td>
+            <td class="ssns">da_cprs_lpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">da_scpds_lpr_aux</td>
+            <td class="ssns">da_scpds_lpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">da_scpes_aux</td>
+            <td class="ssns">da_scpes_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_cprs_lpr_aux</td>
+            <td class="ssns">lstas_cprs_lpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">scpds_cpr_lpr_aux</td>
+            <td class="ssns">scpds_cpr_lpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_cpr_lpr_aux</td>
+            <td class="ssns">scpes_cpr_lpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_scpds_aux</td>
+            <td class="ssns">lstas_scpds_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">scpes_le_aux</td>
+            <td class="ssns">scpes_le_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_cast_scpes</td>
+            <td class="ssns">snv_cast_scpes</td>
+          </tr>
+          <tr>
+            <td class="snns">shnv</td>
+            <td class="ssns">shnv</td>
+          </tr>
+          <tr>
+            <td class="snns">shnv_inv_cast_aux</td>
+            <td class="ssns">shnv_inv_cast_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">shnv_inv_cast</td>
+            <td class="ssns">shnv_inv_cast</td>
+          </tr>
+          <tr>
+            <td class="snns">shnv_inv_snv</td>
+            <td class="ssns">shnv_inv_snv</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_shnv_cast</td>
+            <td class="ssns">snv_shnv_cast</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv</td>
+            <td class="ssns">lsubsv</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_inv_atom1_aux</td>
+            <td class="ssns">lsubsv_inv_atom1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_inv_atom1</td>
+            <td class="ssns">lsubsv_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_inv_pair1_aux</td>
+            <td class="ssns">lsubsv_inv_pair1_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_inv_pair1</td>
+            <td class="ssns">lsubsv_inv_pair1</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_inv_atom2_aux</td>
+            <td class="ssns">lsubsv_inv_atom2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_inv_atom2</td>
+            <td class="ssns">lsubsv_inv_atom2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_inv_pair2_aux</td>
+            <td class="ssns">lsubsv_inv_pair2_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_inv_pair2</td>
+            <td class="ssns">lsubsv_inv_pair2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_fwd_lsubr</td>
+            <td class="ssns">lsubsv_fwd_lsubr</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_refl</td>
+            <td class="ssns">lsubsv_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_cprs_trans</td>
+            <td class="ssns">lsubsv_cprs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_drop_O1_conf</td>
+            <td class="ssns">lsubsv_drop_O1_conf</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_drop_O1_trans</td>
+            <td class="ssns">lsubsv_drop_O1_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_fwd_lsubd</td>
+            <td class="ssns">lsubsv_fwd_lsubd</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_lstas_trans</td>
+            <td class="ssns">lsubsv_lstas_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_sta_trans</td>
+            <td class="ssns">lsubsv_sta_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_scpds_trans</td>
+            <td class="ssns">lsubsv_scpds_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_snv_trans</td>
+            <td class="ssns">lsubsv_snv_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_cpr_lpr_aux</td>
+            <td class="ssns">snv_cpr_lpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_cpr_lpr_aux</td>
+            <td class="ssns">lstas_cpr_lpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_lstas_aux</td>
+            <td class="ssns">snv_lstas_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_fwd_lsuba</td>
+            <td class="ssns">lsubsv_fwd_lsuba</td>
+          </tr>
+          <tr>
+            <td class="snns">da_cpr_lpr_aux</td>
+            <td class="ssns">da_cpr_lpr_aux</td>
+          </tr>
+          <tr>
+            <td class="snns">lsubsv_cpcs_trans</td>
+            <td class="ssns">lsubsv_cpcs_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_preserve</td>
+            <td class="ssns">snv_preserve</td>
+          </tr>
+          <tr>
+            <td class="snns">da_cpr_lpr</td>
+            <td class="ssns">da_cpr_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_cpr_lpr</td>
+            <td class="ssns">snv_cpr_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_lstas</td>
+            <td class="ssns">snv_lstas</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_cpr_lpr</td>
+            <td class="ssns">lstas_cpr_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">snv_cprs_lpr</td>
+            <td class="ssns">snv_cprs_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">da_cprs_lpr</td>
+            <td class="ssns">da_cprs_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_cprs_lpr</td>
+            <td class="ssns">lstas_cprs_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">lstas_cpcs_lpr</td>
+            <td class="ssns">lstas_cpcs_lpr</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys</td>
+            <td class="ssns">cpys</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_ind</td>
+            <td class="ssns">cpys_ind</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_ind_dx</td>
+            <td class="ssns">cpys_ind_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">cpy_cpys</td>
+            <td class="ssns">cpy_cpys</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_strap1</td>
+            <td class="ssns">cpys_strap1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_strap2</td>
+            <td class="ssns">cpys_strap2</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_cpys_trans</td>
+            <td class="ssns">lsuby_cpys_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_refl</td>
+            <td class="ssns">cpys_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_bind</td>
+            <td class="ssns">cpys_bind</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_flat</td>
+            <td class="ssns">cpys_flat</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_weak</td>
+            <td class="ssns">cpys_weak</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_weak_top</td>
+            <td class="ssns">cpys_weak_top</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_weak_full</td>
+            <td class="ssns">cpys_weak_full</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_fwd_up</td>
+            <td class="ssns">cpys_fwd_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_fwd_tw</td>
+            <td class="ssns">cpys_fwd_tw</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_sort1</td>
+            <td class="ssns">cpys_inv_sort1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_gref1</td>
+            <td class="ssns">cpys_inv_gref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_bind1</td>
+            <td class="ssns">cpys_inv_bind1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_flat1</td>
+            <td class="ssns">cpys_inv_flat1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_refl_O2</td>
+            <td class="ssns">cpys_inv_refl_O2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lift1_eq</td>
+            <td class="ssns">cpys_inv_lift1_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_subst</td>
+            <td class="ssns">cpys_subst</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_subst_Y2</td>
+            <td class="ssns">cpys_subst_Y2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_atom1</td>
+            <td class="ssns">cpys_inv_atom1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lref1</td>
+            <td class="ssns">cpys_inv_lref1</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lref1_Y2</td>
+            <td class="ssns">cpys_inv_lref1_Y2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lref1_drop</td>
+            <td class="ssns">cpys_inv_lref1_drop</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_lift_le</td>
+            <td class="ssns">cpys_lift_le</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_lift_be</td>
+            <td class="ssns">cpys_lift_be</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_lift_ge</td>
+            <td class="ssns">cpys_lift_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lift1_le</td>
+            <td class="ssns">cpys_inv_lift1_le</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lift1_be</td>
+            <td class="ssns">cpys_inv_lift1_be</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lift1_ge</td>
+            <td class="ssns">cpys_inv_lift1_ge</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lift1_ge_up</td>
+            <td class="ssns">cpys_inv_lift1_ge_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lift1_be_up</td>
+            <td class="ssns">cpys_inv_lift1_be_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lift1_le_up</td>
+            <td class="ssns">cpys_inv_lift1_le_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lift1_subst</td>
+            <td class="ssns">cpys_inv_lift1_subst</td>
+          </tr>
+          <tr>
+            <td class="snns">cpysa</td>
+            <td class="ssns">cpysa</td>
+          </tr>
+          <tr>
+            <td class="snns">lsuby_cpysa_trans</td>
+            <td class="ssns">lsuby_cpysa_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpysa_refl</td>
+            <td class="ssns">cpysa_refl</td>
+          </tr>
+          <tr>
+            <td class="snns">cpysa_cpy_trans</td>
+            <td class="ssns">cpysa_cpy_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_cpysa</td>
+            <td class="ssns">cpys_cpysa</td>
+          </tr>
+          <tr>
+            <td class="snns">cpysa_inv_cpys</td>
+            <td class="ssns">cpysa_inv_cpys</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_ind_alt</td>
+            <td class="ssns">cpys_ind_alt</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_SO2</td>
+            <td class="ssns">cpys_inv_SO2</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_strip_eq</td>
+            <td class="ssns">cpys_strip_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_strip_neq</td>
+            <td class="ssns">cpys_strip_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_strap1_down</td>
+            <td class="ssns">cpys_strap1_down</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_strap2_down</td>
+            <td class="ssns">cpys_strap2_down</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_split_up</td>
+            <td class="ssns">cpys_split_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_inv_lift1_up</td>
+            <td class="ssns">cpys_inv_lift1_up</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_conf_eq</td>
+            <td class="ssns">cpys_conf_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_conf_neq</td>
+            <td class="ssns">cpys_conf_neq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_trans_eq</td>
+            <td class="ssns">cpys_trans_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_trans_down</td>
+            <td class="ssns">cpys_trans_down</td>
+          </tr>
+          <tr>
+            <td class="snns">cpys_antisym_eq</td>
+            <td class="ssns">cpys_antisym_eq</td>
+          </tr>
+          <tr>
+            <td class="snns">llpx_sn_TC_pair_dx</td>
+            <td class="ssns">llpx_sn_TC_pair_dx</td>
+          </tr>
+          <tr>
+            <td class="snns">fqup_trans</td>
+            <td class="ssns">fqup_trans</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_intro_alt_r</td>
+            <td class="ssns">lleq_intro_alt_r</td>
+          </tr>
+          <tr>
+            <td class="snns">lleq_ind_alt_r</td>
+            <td class="ssns">lleq_ind_alt_r</td>
+          </tr>
+          <tr>
+            <td class="snss">lleq_inv_alt_r</td>
+            <td class="ssss">lleq_inv_alt_r</td>
+          </tr>
+        </tbody>
+      </table>
+    </div>
+    <div class="spacer">
+      <img class="rule" alt="[Spacer]" title="\lambda\delta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">
+      <br />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">
+      <a href="http://validator.w3.org/check?uri=referer">
+        <img class="w3c" alt="[Valid XHTML 1.1]" title="Valid XHTML 1.1" src="http://www.w3.org/Icons/valid-xhtml11-blue" />
+      </a>
+      <a href="http://jigsaw.w3.org/css-validator/check/referer">
+        <img class="w3c" alt="[Valid CSS level 2]" title="Valid CSS level 2" src="http://www.w3.org/Icons/valid-css2-blue" />
+      </a>
+      <a href="http://www.w3.org/XML/">
+        <img class="w3c" alt="[Generated from XML via XSL]" title="Generated from XML via XSL" src="http://lambdadelta.info/images/xml_xsl2.png" />
+      </a>
+      <a href="http://www.w3.org/Graphics/PNG/">
+        <img class="w3c" alt="[PNG used here]" title="PNG used here" src="http://lambdadelta.info/images/PNGnow2.png" />
+      </a>
+      <a href="http://www.anybrowser.org/campaign/">
+        <img class="w3c" alt="[Viewable with any browser]" title="Viewable with any browser" src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png" />
+      </a>
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">
+      <br />
+    </div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:57 +0100</div>
+  </body>
+</html>
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html

index 9b6e5187afc689ebb987f583508637b04b71402e..b691cdda67e4d6e72217cdfc1d1fecdf717b9554 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -401,6 +401,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:55 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html

index 658bdf0f483045db0b0e95382680660ca87615dd..e4d3d99e9d493c9941832f654abb3b64caca84f9 100644 (file)
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -291,6 +291,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:56 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html

index 96a4a05ec21e737773e6c434aa5e858140d04a1d..a2fcb0e6159eee9d8b4a4f99bdeb4aef75efa4d9 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -819,6 +819,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:57 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html

index 4cf44f119499c955b927cc96142cd4c7cd3d35c3..b8badf041900ad07c0b258d681858c9f7ba2536b 100644 (file)
--- a/helm/www/lambdadelta/home.html
+++ b/helm/www/lambdadelta/home.html
@@ -290,6 +290,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:54 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html

index 558ff7cd9158a80a36f1c6cd00b78af2f42054c3..bf0637f6a78fa20d00f88742962b2df7a18a39ee 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -302,6 +302,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:55 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html

index 74ec2fdf220a04c193f5949704fdd4cc027ef17c..7b5157df9dd21609eed603bd2d7b7f56c16a7ae7 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -380,6 +380,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:54 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html

index a3d6ac15f6928aa538754784ac8ec182e9368d55..7ecb4f5fa6ff1a043aa86bdb61c5533aca244391 100644 (file)
--- a/helm/www/lambdadelta/osn.html
+++ b/helm/www/lambdadelta/osn.html
@@ -197,6 +197,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:55 +0100</div>
    </body>
  </html>
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html

index fb5e38bf52b621e5aa0f476e3eb2d16b308d8f5d..13cbdf1cba11df4671be140691d27b22f7059a67 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -378,6 +378,6 @@
      <div xmlns:ld="http://lambdadelta.info/" class="spacer">
        <br />
      </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 01 Feb 2017 20:52:56 +0100</div>
    </body>
  </html>
author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 1 Feb 2017 19:55:11 +0000 (19:55 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 1 Feb 2017 19:55:11 +0000 (19:55 +0000)
helm/www/lambdadelta/BTM.html		patch \| blob \| history
helm/www/lambdadelta/apps_2.html		patch \| blob \| history
helm/www/lambdadelta/basic_1.html		patch \| blob \| history
helm/www/lambdadelta/basic_2.html		patch \| blob \| history
helm/www/lambdadelta/core.html	[new file with mode: 0644]	patch \| blob
helm/www/lambdadelta/documentation.html		patch \| blob \| history
helm/www/lambdadelta/ground_1.html		patch \| blob \| history
helm/www/lambdadelta/ground_2.html		patch \| blob \| history
helm/www/lambdadelta/home.html		patch \| blob \| history
helm/www/lambdadelta/implementation.html		patch \| blob \| history
helm/www/lambdadelta/news.html		patch \| blob \| history
helm/www/lambdadelta/osn.html		patch \| blob \| history
helm/www/lambdadelta/specification.html		patch \| blob \| history