These entries are queried from radb.net using whois, you can try my project getting these.
:AS400025 route: 136.228.46.0/24 origin: AS400025 descr: Lapeer County ISD - MISEN IP Block admin-c: ADMIN6127-ARIN tech-c: ADMIN6127-ARIN tech-c: KKT-ARIN mnt-by: MNT-MSEN-1 created: 2023-01-26T19:54:10Z last-modified: 2023-01-26T19:54:10Z source: ARIN rpki-ov-state: valid route: 136.228.61.0/24 origin: AS400025 descr: Lapeer County ISD - MISEN IP Block admin-c: ADMIN6127-ARIN tech-c: ADMIN6127-ARIN tech-c: KKT-ARIN mnt-by: MNT-MSEN-1 created: 2023-01-26T19:54:47Z last-modified: 2023-01-26T19:54:47Z source: ARIN rpki-ov-state: valid route6: 2620:12b:e000::/40 origin: AS400025 descr: Lapeer County Intermediate School District admin-c: IN-ORG-ARIN tech-c: DAL76-ARIN mnt-by: MNT-LAPEER created: 2023-03-16T17:49:25Z last-modified: 2023-03-16T17:49:25Z source: ARIN rpki-ov-state: valid