XML 17 R71.htm IDEA: XBRL DOCUMENT v3.20.1
Leases - Components of Lease Costs (Details) - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Jan. 31, 2020
Jan. 31, 2020
Leases [Abstract]    
Operating lease cost $ 3,112 $ 6,143
Amortization of right-of-use assets 136 272
Interest on lease liabilities 134 271
Total lease cost $ 3,382 $ 6,686