/usr/share/acl2-7.1/books/acl2s/defdata/ is in acl2-books 7.1-1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/acl2-7.1/books/acl2s/defdata/alistof.o
/usr/share/acl2-7.1/books/acl2s/defdata/base.o
/usr/share/acl2-7.1/books/acl2s/defdata/builtin-combinators.o
/usr/share/acl2-7.1/books/acl2s/defdata/defdata-core.o
/usr/share/acl2-7.1/books/acl2s/defdata/defdata-util.o
/usr/share/acl2-7.1/books/acl2s/defdata/enumerators-gen.o
/usr/share/acl2-7.1/books/acl2s/defdata/library-support.o
/usr/share/acl2-7.1/books/acl2s/defdata/listof.o
/usr/share/acl2-7.1/books/acl2s/defdata/map.o
/usr/share/acl2-7.1/books/acl2s/defdata/mv-proof.o
/usr/share/acl2-7.1/books/acl2s/defdata/num-list-fns.o
/usr/share/acl2-7.1/books/acl2s/defdata/num-list-thms.o
/usr/share/acl2-7.1/books/acl2s/defdata/random-state-basis1.o
/usr/share/acl2-7.1/books/acl2s/defdata/random-state.o
/usr/share/acl2-7.1/books/acl2s/defdata/record.o
/usr/share/acl2-7.1/books/acl2s/defdata/register-combinator.o
/usr/share/acl2-7.1/books/acl2s/defdata/register-data-constructor.o
/usr/share/acl2-7.1/books/acl2s/defdata/register-type.o
/usr/share/acl2-7.1/books/acl2s/defdata/rem-and-floor.o
/usr/share/acl2-7.1/books/acl2s/defdata/sig.o
/usr/share/acl2-7.1/books/acl2s/defdata/splitnat.o
/usr/share/acl2-7.1/books/acl2s/defdata/switchnat.o
/usr/share/acl2-7.1/books/acl2s/defdata/tau-characterization.o
/usr/share/acl2-7.1/books/acl2s/defdata/top.o
/usr/share/acl2-7.1/books/acl2s/defdata/var-book.o