const EXTRA: usize = 3_000;
At least some day 17 inputs require more than 2000 extra slots; be safe with 3000.