<td class="snns plane grey">objects</td>
<td class="snnn number grey"><br/></td>
<td class="snnn plane grey"><br/></td>
+ <td class="snnn number grey"><br/></td>
+ <td class="snnn plane grey"><br/></td>
<td class="ssnn number grey"><br/></td>
</tr>
<tr>
<td class="snns plane green">theorems</td>
<td class="snnn number green">0</td>
<td class="snns plane green">lemmas</td>
+ <td class="snnn number green">23</td>
+ <td class="snns plane green">total</td>
<td class="ssnn number green">23</td>
</tr>
<tr>
<td class="snss plane yellow">declared</td>
<td class="snsn number yellow">22</td>
<td class="snss plane yellow">defined</td>
- <td class="sssn number yellow">8</td>
+ <td class="snsn number yellow">8</td>
+ <td class="snss plane yellow">total</td>
+ <td class="sssn number yellow">30</td>
</tr>
</tbody>
</table>