# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# Sym n;
# 
# new_IS := {[t1,t2] : exists (alpha : t1 = 32alpha && 
# 	                     t2 - 31,0 <= t1 <= t2 <= n)};
# 
# codegen new_IS;
for(t1 = 0; t1 <= n; t1 += 32) {
  for(t2 = t1; t2 <= min(n,t1+31); t2++) {
    s1(t1,t2);
  }
}

#