XML 47 R37.htm IDEA: XBRL DOCUMENT v3.24.0.1
Leases (Details) - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Jan. 31, 2024
Jan. 31, 2023
Jan. 31, 2024
Jan. 31, 2023
Leases [Abstract]        
Operating Lease, Cost $ 3,804 $ 3,868 $ 7,869 $ 7,648
Operating cash outflows from operating leases     8,585 8,766
Operating lease assets obtained in exchange for new operating lease liabilities (1)     $ 2,551 $ 6,545