# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000): # R := { [i,j] : i < 10 && i > 1 && j < 10 && j > i}; # # codegen R; for(t1 = 2; t1 <= 8; t1++) { for(t2 = t1+1; t2 <= 9; t2++) { s1(t1,t2); } } #