XML 84 R39.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Leases - Operating Lease Cost and Additional Lease Information (Details)
$ in Thousands
3 Months Ended 6 Months Ended
Nov. 30, 2019
USD ($)
Nov. 30, 2019
USD ($)
Leases [Abstract]    
Operating lease costs $ 17,700 $ 34,900
Other information related to operating leases    
Cash paid for amounts included in the measurement of operating lease liabilities   24,927
Operating lease right-of-use assets obtained in exchange for new operating lease liabilities   $ 24,770
Weighted-average remaining lease term - operating leases 5 years 4 months 6 days 5 years 4 months 6 days
Weighted-average discount rate - operating leases 2.71% 2.71%