# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# 
# symbolic n;
# 
# 
# s1:={[t1, 0, 0]:1 <= t1 && 64 * t1 <= n};
# 
# 
# s2 := {[t1, t2, 0]: 1 <= t1 && 64 * t1 <= n && t2 = t1};
# 
# 
# s3 := {[t1, 0, t3]: 1 <= t1 && 64 * t1 <= n && t3 = t1};
# 
# 
# s := (s1  union s2 union s3);
# 
# 
# s;

{[t1,0,0]: 1 <= t1 && 64t1 <= n} union
 {[t1,t1,0]: 1 <= t1 && 64t1 <= n} union
 {[t1,0,t1]: 1 <= t1 && 64t1 <= n}

# 
# h := hull s;
# 
# 
# h;

{[t1,t2,t3]: 0 <= t3 && 0 <= t2 && 64t1 <= n && 1 <= t1 && t2+t3 <= t1}

# 
# 
# h - s;

{[t1,t2,t3]: 1 <= t3 && 1 <= t2 && 64t1 <= n && t2+t3 <= t1} union
 {[t1,t2,0]: 1 <= t2 < t1 && 64t1 <= n} union
 {[t1,0,t3]: 1 <= t3 < t1 && 64t1 <= n}

#