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