* proofs , 5039 ,

- reproofs , 8433 ,

- roofs , 1406 ,





~~~~~~