var x, integer, >= 0, <= 1000000;
var y, integer, >= 0, <= 1000000;
var z, binary;

var a, binary;
var b, binary;
var c, binary;
var d, integer, >= 0, <= 1000000;
var e, binary;
var f, binary;

s.t. A : 1 <= 2 * z + 2 * c <= 3;
s.t. B : d - x + 1000000 * c <= 1000000;
s.t. C : 1 <= a + e <= 1;
s.t. D : 1 <= b + f <= 1;
s.t. E : -y + 1000000 * e <= 999990;
s.t. F : -x + 1000000 * f <= 999980;

s.t. contra : x - y + 1000000 * z <= 1000000;
solve;
printf "%i - %i + 1000000 * %i <= 1000000\n", x, y, z;

end;