+ <td class="snnn file cyan">fpbs_lift fpbs_fpns fpbs_fpbs</td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="snns plane cyan">parallel computation for "big tree" normal forms</td>
+ <td class="snns file cyan">fpns ( ⦃?,?,?⦄ ⊢ ⋕➡*[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpns_fpns</td>
+ <td class="snnn file cyan">
+ <br />
+ </td>