XML 45 R35.htm IDEA: XBRL DOCUMENT v3.23.1
Leases (Details) - USD ($)
$ in Thousands
3 Months Ended 9 Months Ended
Apr. 30, 2023
Apr. 30, 2022
Apr. 30, 2023
Apr. 30, 2022
Leases [Abstract]        
Operating Lease, Cost $ 3,997 $ 4,346 $ 11,645 $ 13,198
Operating cash outflows from operating leases     13,196 14,582
Operating lease assets obtained in exchange for new operating lease liabilities (1)     $ 6,545 $ 2,553