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