R := { [i,j] : i <= 10 && i >= 1 && j <=100 && j >= 10};
codegen R;