[q-big]

> That last example is such a mic drop. I can’t tell if I’m impressed beyond belief or appalled.

I am appalled, because the code is wrong: consider p=2.

[tromp]

Yes; too bad the prompt wasn't for odd_prime_is_sum_of_two_squares ...