@civodul very surprising that the program worked for general m. I am used to people saying that these problems are easy for LLMs to solve for fixed or bounded m, but that they don't generalize well. But the methodology here was very different from those and arguably closer to how I would approach the problem.