construct/ae p65 imo2025 p6 tiling
construct/ae p65 imo2025 p6 tiling: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Tiling a grid with one hole per row and column (IMO 2025 Problem 6, n = 225).
The task
Tiling a grid with one hole per row and column (IMO 2025 Problem 6, n = 225).