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