Leases (Details) - USD ($) $ in Thousands	3 Months Ended		6 Months Ended
	Jan. 31, 2021	Jan. 31, 2020	Jan. 31, 2021	Jan. 31, 2020
Leases [Abstract]
Operating Lease, Cost	$ 4,169	$ 4,274	$ 8,242	$ 9,678
Operating Lease, Payments			8,762	8,216
Right-of-Use Asset Obtained in Exchange for Operating Lease Liability			$ 3,297	$ 10,637