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