These entries are queried from radb.net using whois, you can try my project getting these.
:AS23800 route: 192.156.145.0/24 descr: Fukui National College of Technology origin: AS23800 mnt-by: MAINT-AS7684 changed: s-kinoshita [at] sakura.ad.jp 20100819 source: RADB last-modified: 2023-11-13T15:41:00Z rpki-ov-state: not_found # No ROAs found, or RPKI validation not enabled for source route: 192.156.146.0/23 descr: Fukui National College of Technology origin: AS23800 mnt-by: MAINT-AS7684 changed: s-kinoshita [at] sakura.ad.jp 20100819 source: RADB last-modified: 2023-11-13T15:41:00Z rpki-ov-state: not_found # No ROAs found, or RPKI validation not enabled for source route: 192.156.148.0/23 descr: Fukui National College of Technology origin: AS23800 mnt-by: MAINT-AS7684 changed: s-kinoshita [at] sakura.ad.jp 20100819 source: RADB last-modified: 2023-11-13T15:41:00Z rpki-ov-state: not_found # No ROAs found, or RPKI validation not enabled for source