/usr/share/ is in 4ti2 1.6.7+ds-2.
This file is owned by root:root, with mode 0o755.
..
/usr/share/doc/
/usr/share/doc/4ti2/
/usr/share/doc/4ti2/changelog.Debian.gz
/usr/share/doc/4ti2/copyright
/usr/share/man/
/usr/share/man/man1/
/usr/share/man/man1/4ti2.1.gz
/usr/share/lintian/
/usr/share/lintian/overrides/
/usr/share/lintian/overrides/4ti2
/usr/share/doc/4ti2/NEWS.gz
/usr/share/man/man1/4ti2-markov.1.gz
/usr/share/man/man1/4ti2-circuits.1.gz
/usr/share/man/man1/4ti2-rays.1.gz
/usr/share/man/man1/4ti2-minimize.1.gz
/usr/share/man/man1/4ti2-output.1.gz
/usr/share/man/man1/4ti2-groebner.1.gz
/usr/share/man/man1/4ti2-graver.1.gz
/usr/share/man/man1/4ti2-zbasis.1.gz
/usr/share/man/man1/4ti2-ppi.1.gz
/usr/share/man/man1/4ti2-qsolve.1.gz
/usr/share/man/man1/4ti2-zsolve.1.gz
/usr/share/man/man1/4ti2-normalform.1.gz
/usr/share/man/man1/4ti2-gensymm.1.gz
/usr/share/man/man1/4ti2-genmodel.1.gz
/usr/share/man/man1/4ti2-walk.1.gz
/usr/share/man/man1/4ti2-hilbert.1.gz