<td class="snns italic cyan">files</td>
<td class="snnn right italic cyan">86</td>
<td class="snns italic cyan">characters</td>
<td class="snns italic cyan">files</td>
<td class="snnn right italic cyan">86</td>
<td class="snns italic cyan">characters</td>
</tr>
<tr>
<td class="snns capitalize italic green">propositions</td>
<td class="snns italic green">theorems</td>
</tr>
<tr>
<td class="snns capitalize italic green">propositions</td>
<td class="snns italic green">theorems</td>