integer solutions ((x%5E2 %2B y%5E2) mod 2) %3D 1 and ((x - 2 y) mod 3) %3D 2