v3.19.1
Leases (Lease Cost) (Details)
$ in Thousands
3 Months Ended
Apr. 30, 2019
USD ($)
Leases [Abstract]  
Operating lease expense $ 1,074
Weighted average remaining lease term 11 years 5 months 26 days
Weighted average discount rate 4.37%