For integers (), let be an grid with the top-right grid removed.
For example, looks like this:

We want to number each cell of with consecutive integers such that the number in every cell is smaller than the number below it and to the left of it.
For example, here are two valid numberings of :

Let be the number of valid numberings of .
It can be verified that , , and .
Find .
Write-up coming later
The complete problem is available here. An approach, code, and answer will be added later.