+ <td class="snns top italic cyan">uncounted context-sensitive rt-transition</td>
+ <td class="snns top cyan">cnx ( ⦃?,?⦄ ⊢ ⬈[?,?] 𝐍⦃?⦄ )</td>
+ <td class="ssnn top cyan">cnx_simple cnx_drops cnx_cnx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top italic cyan">
+ <br />
+ </td>
+ <td class="snns top cyan">lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? )</td>
+ <td class="ssnn top cyan">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_lfpx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top italic cyan">
+ <br />
+ </td>
+ <td class="snns top cyan">cpx_ext ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
+ <td class="ssnn top cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top italic cyan">
+ <br />
+ </td>
+ <td class="snns top cyan">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
+ <td class="ssnn top cyan">cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>