/usr/share/acl2-7.1/books/centaur/misc/ is in acl2-books 7.1-1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/acl2-7.1/books/centaur/misc/1d-arr.o
/usr/share/acl2-7.1/books/centaur/misc/2d-arr.o
/usr/share/acl2-7.1/books/centaur/misc/absstobjs.o
/usr/share/acl2-7.1/books/centaur/misc/alist-defs.o
/usr/share/acl2-7.1/books/centaur/misc/alist-equiv.o
/usr/share/acl2-7.1/books/centaur/misc/alist-witness.o
/usr/share/acl2-7.1/books/centaur/misc/ap.o
/usr/share/acl2-7.1/books/centaur/misc/arith-equiv-defs.o
/usr/share/acl2-7.1/books/centaur/misc/arith-equivs.o
/usr/share/acl2-7.1/books/centaur/misc/arrays.o
/usr/share/acl2-7.1/books/centaur/misc/beta-reduce-full.o
/usr/share/acl2-7.1/books/centaur/misc/bitarr.o
/usr/share/acl2-7.1/books/centaur/misc/context-rw.o
/usr/share/acl2-7.1/books/centaur/misc/count-up.o
/usr/share/acl2-7.1/books/centaur/misc/dag-measure-thms.o
/usr/share/acl2-7.1/books/centaur/misc/dag-measure.o
/usr/share/acl2-7.1/books/centaur/misc/defapply.o
/usr/share/acl2-7.1/books/centaur/misc/dfs-measure.o
/usr/share/acl2-7.1/books/centaur/misc/equal-sets.o
/usr/share/acl2-7.1/books/centaur/misc/evaluator-metatheorems.o
/usr/share/acl2-7.1/books/centaur/misc/fal-graphs.o
/usr/share/acl2-7.1/books/centaur/misc/fast-alist-pop-raw.o
/usr/share/acl2-7.1/books/centaur/misc/fast-alist-pop.o
/usr/share/acl2-7.1/books/centaur/misc/fast-alists.o
/usr/share/acl2-7.1/books/centaur/misc/fast-cons-memo-raw.o
/usr/share/acl2-7.1/books/centaur/misc/fast-cons-memo.o
/usr/share/acl2-7.1/books/centaur/misc/filter-alist.o
/usr/share/acl2-7.1/books/centaur/misc/hons-alphorder-merge.o
/usr/share/acl2-7.1/books/centaur/misc/hons-extra.o
/usr/share/acl2-7.1/books/centaur/misc/hons-remove-dups.o
/usr/share/acl2-7.1/books/centaur/misc/hons-sets.o
/usr/share/acl2-7.1/books/centaur/misc/intern-debugging.o
/usr/share/acl2-7.1/books/centaur/misc/interp-function-lookup.o
/usr/share/acl2-7.1/books/centaur/misc/introduce-var.o
/usr/share/acl2-7.1/books/centaur/misc/iter.o
/usr/share/acl2-7.1/books/centaur/misc/lists.o
/usr/share/acl2-7.1/books/centaur/misc/load-stobj-tests.o
/usr/share/acl2-7.1/books/centaur/misc/load-stobj.o
/usr/share/acl2-7.1/books/centaur/misc/memory-mgmt-logic.o
/usr/share/acl2-7.1/books/centaur/misc/memory-mgmt.o
/usr/share/acl2-7.1/books/centaur/misc/nat-list-duplicates.o
/usr/share/acl2-7.1/books/centaur/misc/natarr.o
/usr/share/acl2-7.1/books/centaur/misc/nats-equiv.o
/usr/share/acl2-7.1/books/centaur/misc/nth-equiv.o
/usr/share/acl2-7.1/books/centaur/misc/numlist.o
/usr/share/acl2-7.1/books/centaur/misc/osets-witnessing.o
/usr/share/acl2-7.1/books/centaur/misc/outer-local-tests.o
/usr/share/acl2-7.1/books/centaur/misc/outer-local.o
/usr/share/acl2-7.1/books/centaur/misc/patterns.o
/usr/share/acl2-7.1/books/centaur/misc/remove-assoc.o
/usr/share/acl2-7.1/books/centaur/misc/rewrite-rule.o
/usr/share/acl2-7.1/books/centaur/misc/seed-random-raw.o
/usr/share/acl2-7.1/books/centaur/misc/seed-random.o
/usr/share/acl2-7.1/books/centaur/misc/sharedlibs.o
/usr/share/acl2-7.1/books/centaur/misc/smm-impl.o
/usr/share/acl2-7.1/books/centaur/misc/smm.o
/usr/share/acl2-7.1/books/centaur/misc/sneaky-load.o
/usr/share/acl2-7.1/books/centaur/misc/sneaky-raw.o
/usr/share/acl2-7.1/books/centaur/misc/spacewalk.o
/usr/share/acl2-7.1/books/centaur/misc/sparsemap-impl.o
/usr/share/acl2-7.1/books/centaur/misc/sparsemap.o
/usr/share/acl2-7.1/books/centaur/misc/stobj-swap.o
/usr/share/acl2-7.1/books/centaur/misc/suffixp.o
/usr/share/acl2-7.1/books/centaur/misc/tailrec.o
/usr/share/acl2-7.1/books/centaur/misc/top.o
/usr/share/acl2-7.1/books/centaur/misc/tuplep.o
/usr/share/acl2-7.1/books/centaur/misc/u32-listp.o
/usr/share/acl2-7.1/books/centaur/misc/universal-equiv.o
/usr/share/acl2-7.1/books/centaur/misc/vecs-ints.o
/usr/share/acl2-7.1/books/centaur/misc/witness-cp.o