v3.23.3
Gain on Disposal of Assets (Details) - USD ($)
$ in Thousands
3 Months Ended 9 Months Ended
Oct. 29, 2023
Oct. 30, 2022
Jul. 31, 2022
Oct. 29, 2023
Oct. 30, 2022
Income Statement, Balance Sheet and Additional Disclosures by Disposal Groups, Including Discontinued Operations [Line Items]          
Pre-tax gain $ 0 $ 0   $ 0 $ 10,180
Disposal Group, Disposed of by Sale, Not Discontinued Operations | Administrative Office Building          
Income Statement, Balance Sheet and Additional Disclosures by Disposal Groups, Including Discontinued Operations [Line Items]          
Pre-tax gain     $ 10,200    
Income tax effect of gain on disposal     $ 1,700