XML 58 R48.htm IDEA: XBRL DOCUMENT v3.23.2
Rental Income (Details) - Schedule of Minimum Rental Income to be Received from Non-Cancelable Operating Leases
$ in Thousands
Jul. 31, 2023
USD ($)
Schedule Of Minimum Rental Income To Be Received From Non Cancelable Operating Leases Abstract  
2023 $ 5,654
2024 4,896
2025 4,015
2026 3,156
2027 2,017
Thereafter 4,221
Total $ 23,959