XML 63 R52.htm IDEA: XBRL DOCUMENT v3.19.2
Leases - Lease costs (Details) - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Jul. 31, 2019
Jul. 31, 2019
Leases [Abstract]    
Fixed operating lease cost $ 8,228 $ 16,711
Variable lease cost 2,242 4,342
Short-term lease cost (12 months or less) 1,484 2,345
Total lease cost $ 11,954 $ 23,398