+ <td class="snns component green">unfold</td>
+ <td class="snns plane green">restricted parallel computation</td>
+ <td class="snns file green">lpqs ( ? ⊢ ➤* ? )</td>
+ <td class="snnn file green">lpqs_ldrop lpqs_cpqs lpqs_lpqs</td>
+ <td class="snnn file green">
+ <br />
+ </td>
+ <td class="snnn file green">
+ <br />
+ </td>
+ <td class="ssnn file green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component green">
+ <br />
+ </td>
+ <td class="nnns plane green">
+ <br />
+ </td>
+ <td class="snns file green">cpqs ( ? ⊢ ? ➤* ? )</td>
+ <td class="snnn file green">cpqs_lift</td>
+ <td class="snnn file green">
+ <br />
+ </td>
+ <td class="snnn file green">
+ <br />
+ </td>
+ <td class="ssnn file green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component green">
+ <br />
+ </td>
+ <td class="snns plane green">unfold</td>
+ <td class="snns file green">unfold ( ? ⊢ ? ⧫* ? )</td>
+ <td class="snnn file green">
+ <br />
+ </td>
+ <td class="snnn file green">
+ <br />
+ </td>
+ <td class="snnn file green">
+ <br />
+ </td>
+ <td class="ssnn file green">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component green">
+ <br />
+ </td>