R := {[i,j] : 3i+2j=15 && 1<=i<=j<=100};
R;
codegen R;