R1:={[i,j]: 2 <= i,j <= 9};
R2:={[i,j]: 5 <= i <= 9 & 1 <= j <= 9};
codegen R1,R2;
codegen 2 R1,R2;