Files are 25 million bibliographic index files which were produced by US Federal employees, so yes, they're likely in the public domain as a result.
https://en.m.wikipedia.org/wiki/Copyright_status_of_work_by_...
https://en.m.wikipedia.org/wiki/Copyright_status_of_work_by_...