These entries are queried from radb.net using whois, you can try my project getting these.
:AS400632 route: 192.25.139.0/24 origin: AS400632 descr: Kenosha Unified School District mnt-by: MAINT-WISCNET changed: joshg [at] wiscnet.net 20220815 #16:33:03Z source: RADB last-modified: 2023-11-13T16:12:08Z rpki-ov-state: not_found # No ROAs found, or RPKI validation not enabled for source