% File generated by sugar.Output
[int,x,[[2,9]]].
[int,y,[[2,3],[5,5],[8,9]]].
[int,z,[[1,3],[5,5],[7,9]]].
[int,w,[[-927,1000]]].
% $I1 : (abs w)
[int,'$I1',[[0,1000]]].
[bool,p].
[bool,q].
[bool,r].
[bool,'$B1'].
[relation,r,2,[conflicts,[1,2],[3,4]]].
% (imp p (imp q r))
[or,[not,p],[not,q],r].
% (iff (r x y) (r y x))
[or,[not,[r,x,y]],[r,y,x]].
[or,[r,x,y],[not,[r,y,x]]].
% (gt (add x y) 10)
[wsum,[[1,x],[1,y]],ge,11].
% (imp (eq x 9) (and p q (eq z 1)))
[or,[wsum,[[1,x]],ne,9],'$B1'].
[or,p,[not,'$B1']].
[or,q,[not,'$B1']].
[or,[wsum,[[1,z]],eq,1],[not,'$B1']].
% (or (ge (add x y) 10) (ge (add y z) 10))
[or,[wsum,[[1,x],[1,y]],ge,10],[wsum,[[1,y],[1,z]],ge,10]].
% $I1 == (abs w)
[wsum,[[1,'$I1'],[-1,w]],ge,0].
[wsum,[[1,'$I1'],[1,w]],ge,0].
[or,[wsum,[[1,'$I1'],[-1,w]],le,0],[wsum,[[1,'$I1'],[1,w]],le,0]].
% (ge (add w (abs w) x y z) 100)
[wsum,[[1,'$I1'],[1,w],[1,x],[1,y],[1,z]],ge,100].
% (alldifferent x y z)
[alldifferent,[x,y,z]].