% Taken from the prop_stress model with inputs k = 1, n = 2, m = 2

array [1..2] of int: X_INTRODUCED_8_ = [1,-1];
var 0..2: X_INTRODUCED_1_;
var 0..2: X_INTRODUCED_2_;
var 0..2: X_INTRODUCED_3_;
var 0..2: X_INTRODUCED_5_;
var 0..2: X_INTRODUCED_6_;
var 0..2: X_INTRODUCED_7_;
array [1..3] of var int: X_INTRODUCED_0_:: output_array([1..3]) = [X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_];
array [1..3] of var int: X_INTRODUCED_4_:: output_array([1..3]) = [X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_];
constraint int_lin_le(X_INTRODUCED_8_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_le(X_INTRODUCED_8_,[X_INTRODUCED_1_,X_INTRODUCED_2_],2);
constraint int_lin_le(X_INTRODUCED_8_,[X_INTRODUCED_1_,X_INTRODUCED_3_],1);
constraint int_lin_le(X_INTRODUCED_8_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_le(X_INTRODUCED_8_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_le(X_INTRODUCED_8_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_le(X_INTRODUCED_8_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_le(X_INTRODUCED_8_,[X_INTRODUCED_7_,X_INTRODUCED_1_],-2);
solve satisfy;