* proofs , 5039 ,<br>
<br>
- reproofs , 8433 ,<br>
<br>
<br>
<br>
 <br>
<br>
~~~~~~<br>
<br>