* proofs , 5039 ,
- reproofs , 8433 ,
~~~~~~