formats/sudoku/cases/bad-box-size/input.txt:5:5: check failed: boxes must tile the grid
     5 | 4..1
       |     ^
while reading: instance [1]
spec: formats/sudoku/sudoku.iris:7