+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="nnns top italic yellow">
+ <br />
+ </td>
+ <td class="snns top yellow">list ( ◊ ) ( ? @ ? ) ( |?| )</td>
+ <td class="snnn top yellow">list2 ( ◊ ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| )</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="nnns top italic yellow">
+ <br />
+ </td>
+ <td class="snns top yellow">bool ( Ⓕ ) ( Ⓣ )</td>
+ <td class="snnn top yellow">arith ( ?^? ) ( ⫯? ) ( ⫰? ) ( ? ∨ ? ) ( ? ∧ ? )</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic yellow">
+ <br />
+ </td>
+ <td class="nnns top italic yellow">
+ <br />
+ </td>
+ <td class="snns top yellow">star</td>
+ <td class="snnn top yellow">lstar</td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="snnn top yellow">
+ <br />
+ </td>
+ <td class="ssnn top yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic orange">generated logical decomposables</td>
+ <td class="snns top italic orange" />
+ <td class="snns top orange">xoa ( ∃∃ ) ( ∨∨ ) ( ∧∧ )</td>
+ <td class="snnn top orange">xoa_props ( ⊥ ) ( ⊤ )</td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="snnn top orange">
+ <br />
+ </td>
+ <td class="ssnn top orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snss top capitalize italic red" />
+ <td class="snss top italic red" />
+ <td class="snss top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="sssn top red">