symbolic a1,a2;
S := { [i1,i2,c,o] : a2+a1 = o+c+i2+i1 && 0 <= i2 <= a2 && c <= -2o+3 
&& 4o+a2 <= 6+i2 && 0 <= i1 && 0 <= o && 4+a2 <= 6o+4c+i2 && a2 < 2o+c+i2 }
union
{ [i1,i2,c,o] :a2+a1 = o+c+i2+i1 && 0 <= o <= -c+2, 1 
&& 0 <= i2 <= a2 && a2 <= o+c+i2 && 0 <= i1 && 0 <= c };
S;
Hull S;
