Did you generate these 3-tuples by `sqrt_mod()`?