XML 11 R36.htm IDEA: XBRL DOCUMENT v3.19.3
Leases Lease Cost (Details)
$ in Thousands
3 Months Ended
Oct. 31, 2019
USD ($)
Lessee, Lease, Description [Line Items]  
Operating lease expense $ 7,976
Amortization of right-of-use assets 155
Interest on finance lease liabilities 7
Short-term lease expense 1,995
Variable lease expense 144
Total lease expense $ 10,277