R1 := {[i,j,k] : 17i=12j+170};
R2 :=  {[i,j,k] : k >= 0};
gist R1 given R2;
