APMO 2024 Problem 4

Prove that for every positive integer $t$ there is a unique permutation $a_{0}, a_{1}, \ldots, a_{t-1}$ of $0,1, \ldots, t-$ 1 such that, for every $0 \leq i \leq t-1$, the binomial coefficient $\binom{t+i}{2 a_{i}}$ is odd and $2 a_{i} \neq t+i$.