- <td class="snns file green">lstas ( ⦃?,?⦄ ⊢ ? •*[?,?,?] ? )</td>
- <td class="snnn file green">lstas_alt ( ⦃?,?⦄ ⊢ ? ••*[?,?,?] ? )</td>
+ <td class="snns file green">lstas ( ⦃?,?⦄ ⊢ ? •*[?,?] ? )</td>
+ <td class="snnn file green">lstas_alt ( ⦃?,?⦄ ⊢ ? ••*[?,?] ? )</td>