pub const BUDGET: usize = _; // 1_048_576usize
How many rectangles a proof may try before what it has not cleared is taken as standing outside.