Lease Maturity Disclosure (Details) $ in Thousands	Jul. 31, 2023 USD ($)
Leases [Abstract]
Lessee, Operating Lease, Liability, to be Paid, Year One	$ 15,696
Lessee, Operating Lease, Liability, to be Paid, Year Two	10,503
Lessee, Operating Lease, Liability, to be Paid, Year Three	4,627
Lessee, Operating Lease, Liability, to be Paid, Year Four	885
Lessee, Operating Lease, Liability, to be Paid, Year Five	211
Lessee, Operating Lease, Liability, to be Paid, after Year Five	789
Lessee, Operating Lease, Liability, to be Paid	32,711
Lessee, Operating Lease, Liability, Undiscounted Excess Amount	(1,768)
Operating Lease, Liability	$ 30,943