Let be a positive integer. Consider nim positions where:
There are non-empty piles.
Each pile has size less than .
No two piles have the same size.
Let be the number of winning nim positions satisfying the above conditions (a position is winning if the first player has a winning strategy). For example, , , , and .
Find .
Write-up coming later
The complete problem is available here. An approach, code, and answer will be added later.