I := {[i,j] : 1 <= i+j,j <= 10};
codegen I;
