XML 63 R53.htm IDEA: XBRL DOCUMENT v3.19.1
Leases Lease costs (Details)
$ in Thousands
3 Months Ended
Apr. 30, 2019
USD ($)
Leases [Abstract]  
Fixed operating lease cost $ 8,483
Variable lease cost 2,100
Short-term lease cost (12 months or less) 861
Total lease cost $ 11,444