XML 55 R45.htm IDEA: XBRL DOCUMENT v3.23.1
Rental Income (Details) - Schedule of Minimum Rental Income to be Received from Non-Cancelable Operating Leases
$ in Thousands
Apr. 30, 2023
USD ($)
Schedule Of Minimum Rental Income To Be Received From Non Cancelable Operating Leases Abstract  
2023 $ 5,639
2024 5,019
2025 4,327
2026 3,493
2027 2,353
Thereafter 4,221
Total $ 25,052