XML 24 R56.htm IDEA: XBRL DOCUMENT v3.19.2
Leases - Operating Lease Costs (Details) - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Jul. 31, 2019
Jul. 31, 2019
Leases [Abstract]    
Operating lease cost $ 6,625 $ 12,331
Short-term lease cost 172 441
Variable lease cost and other, net 138 187
Total lease cost $ 6,935 $ 12,959