Not sure if this still needs to be said explicitly: the code, and some of the ideas behind it, are all generated by AI (Gemini in this case). The idea of binomial coefficients came from @jsellenberg (in one of the podcasts he did, iirc)