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