Leases - Lease cost (Details) - USD ($) $ in Thousands	3 Months Ended	9 Months Ended
	Jan. 25, 2020	Jan. 25, 2020
Lease cost
Operating lease cost	$ 18,987	$ 57,024
Financing lease cost	40	139
Short-term lease cost	25	76
Variable lease cost	48	142
Less: Sublease income	(633)	(1,893)
Total lease cost	$ 18,467	$ 55,488