XML 77 R66.htm IDEA: XBRL DOCUMENT v3.23.3
Leases - Components of Lease Costs (Details) - USD ($)
$ in Thousands
3 Months Ended
Oct. 31, 2023
Oct. 31, 2022
Leases [Abstract]    
Operating lease cost $ 8,011 $ 6,879
Amortization of right-of-use assets 186 186
Interest on lease liabilities 83 105
Total lease cost $ 8,280 $ 7,170