<td class="snns italic cyan">files</td>
<td class="snnn right italic cyan">90</td>
<td class="snns italic cyan">characters</td>
<td class="snns italic cyan">files</td>
<td class="snnn right italic cyan">90</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>
<td class="snnn right italic green">32</td>
<td class="snns italic green">lemmas</td>
</tr>
<tr>
<td class="snns capitalize italic green">propositions</td>
<td class="snns italic green">theorems</td>
<td class="snnn right italic green">32</td>
<td class="snns italic green">lemmas</td>
</tr>
<tr>
<td class="snss capitalize italic yellow">concepts</td>
<td class="snss italic yellow">declared</td>
<td class="snsn right italic yellow">60</td>
<td class="snss italic yellow">defined</td>
</tr>
<tr>
<td class="snss capitalize italic yellow">concepts</td>
<td class="snss italic yellow">declared</td>
<td class="snsn right italic yellow">60</td>
<td class="snss italic yellow">defined</td>