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