tl;dr
This writeup is an auxiliary to the other one.

Essentially:
1) Through combinatorial proof, realise you are merely computing fibonacci sequence.
2) Doesn't matter how you do it, the bound is so small anyways.

Original writeup (https://n00bcak.github.io/writeups/2021/06/20/HSCTF-8.html).