I brute forced it, and then learned about Euclid's formula for Pythagorean triples