These entries are queried from radb.net using whois, you can try my project getting these.
:AS13503 route: 23.151.144.0/24 descr: Theorem-DNS origin: AS13503 mnt-by: MNT-TSI-81 changed: h [at] thrm.io 20200303 source: ARIN rpki-ov-state: valid route6: 2602:fd73::/36 descr: Theorem-DNS origin: AS13503 mnt-by: MNT-TSI-81 changed: h [at] thrm.io 20200303 source: ARIN rpki-ov-state: valid