# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# {[k1,k2,k3] :
# 15+k1+2k2+3k3 = 0
#  && k2+k3 <= 0
#  && 0 <= 5+k2+k3
#  && k3 <= 0
#  && 0 <= 5+k3
#  && k1+k2+k3 <= 0
#  && 0 <= 5+k1+k2+k3
# };

{[0,0,-5]}

# 
# 
# 
# {[x] : exists (a,b : 0 <= x+4a <= 2 && 0 <= x+8b <= 6)};

{[x]: Exists ( alpha,beta : -4alpha <= x <= -4alpha+2, -8beta+6 && alpha <= 2beta)}

# 
#