/usr/share/acl2-6.3/books/cutil/ is in acl2-books 6.3-5.
This file is owned by root:root, with mode 0o755.
..
/usr/share/acl2-6.3/books/cutil/da-base.o
/usr/share/acl2-6.3/books/cutil/defaggregate-tests.o
/usr/share/acl2-6.3/books/cutil/defaggregate.o
/usr/share/acl2-6.3/books/cutil/defalist-tests.o
/usr/share/acl2-6.3/books/cutil/defalist.o
/usr/share/acl2-6.3/books/cutil/defenum.o
/usr/share/acl2-6.3/books/cutil/define-tests.o
/usr/share/acl2-6.3/books/cutil/define.o
/usr/share/acl2-6.3/books/cutil/deflist-aux.o
/usr/share/acl2-6.3/books/cutil/deflist-tests.o
/usr/share/acl2-6.3/books/cutil/deflist.o
/usr/share/acl2-6.3/books/cutil/defmapappend-tests.o
/usr/share/acl2-6.3/books/cutil/defmapappend.o
/usr/share/acl2-6.3/books/cutil/defmvtypes.o
/usr/share/acl2-6.3/books/cutil/defprojection-tests.o
/usr/share/acl2-6.3/books/cutil/defprojection.o
/usr/share/acl2-6.3/books/cutil/defredundant-tests.o
/usr/share/acl2-6.3/books/cutil/defredundant.o
/usr/share/acl2-6.3/books/cutil/defrule.o
/usr/share/acl2-6.3/books/cutil/formals.o
/usr/share/acl2-6.3/books/cutil/look-up.o
/usr/share/acl2-6.3/books/cutil/maybe-defthm.o
/usr/share/acl2-6.3/books/cutil/portcullis.o
/usr/share/acl2-6.3/books/cutil/returnspecs.o
/usr/share/acl2-6.3/books/cutil/support.o
/usr/share/acl2-6.3/books/cutil/tools/
/usr/share/acl2-6.3/books/cutil/tools/assert-return-thms.o
/usr/share/acl2-6.3/books/cutil/top.o
/usr/share/acl2-6.3/books/cutil/wizard.o