+ <td class="snns file cyan">csx ( ⦃?,?⦄ ⊢ ⬊*[?,?] ? )</td>
+ <td class="snnn file cyan">csx_alt ( ⦃?,?⦄ ⊢ ⬊⬊*[?,?] ? )</td>
+ <td class="snnn file cyan">csx_lift csx_lpx</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>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="snns plane cyan">"big tree" parallel computation</td>
+ <td class="snns file cyan">fpbr ( ⦃?,?,?⦄ ⊃≥[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpbr_fpbr</td>
+ <td class="snnn file cyan">
+ <br />
+ </td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="nnns plane cyan">
+ <br />
+ </td>
+ <td class="snns file cyan">fpbg ( ⦃?,?,?⦄ >[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpbg_lift fpbg_fpbg</td>
+ <td class="snnn file cyan">
+ <br />
+ </td>
+ <td class="ssnn file cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component cyan">
+ <br />
+ </td>
+ <td class="nnns plane cyan">
+ <br />
+ </td>
+ <td class="snns file cyan">fpbs ( ⦃?,?,?⦄ ≥[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpbs_alt ( ⦃?,?,?⦄ ≥≥[?,?] ⦃?,?,?⦄ )</td>
+ <td class="snnn file cyan">fpbs_lift fpbs_fleq fpbs_fpbs</td>