[wonderous]

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_...

[wordupmaking]

Awesome, thanks!