v3.25.1
Leases - Lease Cost Information (Detail) - USD ($)
$ in Thousands
3 Months Ended
Apr. 30, 2025
Apr. 27, 2024
General and Administrative Expense [Member]    
Operating Lease Costs $ 158 $ 88