# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# Symbolic n, line5expr(2);
# 
# 
# $$
# \{ [i,j] -> [i',j'] \mid line5expr(In) = line5expr(Out) && 2 <= j <= 1 && 1 <= i <= n && 2 <= j' <= 1 && 1 <= i' <= n \};

{[i,j] -> [i',j']  : FALSE }

# 
# $$
#