/usr/share/doc/ is in prover9 0.0.200911a-2.1build1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/doc/prover9/
/usr/share/doc/prover9/copyright
/usr/share/doc/prover9/examples/
/usr/share/doc/prover9/examples/mace4.examples/
/usr/share/doc/prover9/examples/mace4.examples/README
/usr/share/doc/prover9/examples/mace4.examples/group2.in
/usr/share/doc/prover9/examples/mace4.examples/rw1.in
/usr/share/doc/prover9/examples/prover9.examples/
/usr/share/doc/prover9/examples/prover9.examples/README
/usr/share/doc/prover9/examples/prover9.examples/x2.hints
/usr/share/doc/prover9/examples/prover9.examples/x2.in
/usr/share/doc/prover9/examples/prover9.examples/x2.out.gz
/usr/share/doc/prover9/changelog.Debian.gz