XML 43 R52.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Leases - Lease costs (Details) - USD ($)
$ in Thousands
3 Months Ended 9 Months Ended
Oct. 31, 2019
Oct. 31, 2019
Leases [Abstract]    
Fixed operating lease cost $ 8,509 $ 25,220
Variable lease cost 2,122 6,464
Short-term lease cost (12 months or less) 1,412 3,757
Total lease cost $ 12,043 $ 35,441