Boolean Pythagorean triples problem