array [1..2] of int: X_INTRODUCED_8 = [1,-1];
array [1..3] of int: X_INTRODUCED_37 = [2,-1,-1];
array [1..4] of int: X_INTRODUCED_38 = [1,-1,-1,1];
array [1..2] of int: X_INTRODUCED_39 = [-1,1];
var 0..64: X_INTRODUCED_1;
var 0..64: X_INTRODUCED_2;
var 0..64: X_INTRODUCED_3;
var 0..64: X_INTRODUCED_4;
var 0..64: X_INTRODUCED_5;
var 0..64: X_INTRODUCED_6;
var 0..64: X_INTRODUCED_7;
var -64..64: X_INTRODUCED_9 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_10 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_11 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_12 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_13 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_14 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_15 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_16 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_17 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_18 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_19 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_20 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_21 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_22 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_23 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_24 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_25 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_26 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_27 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_28 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_29 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_30 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_31 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_32 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_33 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_34 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_35 ::var_is_introduced :: is_defined_var;
var -64..64: X_INTRODUCED_36 ::var_is_introduced :: is_defined_var;
array [1..8] of var 0..64: mark:: output_array([1..8]) = [0,X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_7];
array [1..28] of var 0..64: differences = [X_INTRODUCED_9,X_INTRODUCED_10,X_INTRODUCED_11,X_INTRODUCED_12,X_INTRODUCED_13,X_INTRODUCED_14,X_INTRODUCED_15,X_INTRODUCED_16,X_INTRODUCED_17,X_INTRODUCED_18,X_INTRODUCED_19,X_INTRODUCED_20,X_INTRODUCED_21,X_INTRODUCED_22,X_INTRODUCED_23,X_INTRODUCED_24,X_INTRODUCED_25,X_INTRODUCED_26,X_INTRODUCED_27,X_INTRODUCED_28,X_INTRODUCED_29,X_INTRODUCED_30,X_INTRODUCED_31,X_INTRODUCED_32,X_INTRODUCED_33,X_INTRODUCED_34,X_INTRODUCED_35,X_INTRODUCED_36];
constraint int_lin_le([-1],[X_INTRODUCED_1],-1);
constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_2],-1);
constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_3],-1);
constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_4],-1);
constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_4,X_INTRODUCED_5],-1);
constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_5,X_INTRODUCED_6],-1);
constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_6,X_INTRODUCED_7],-1);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_7],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_2],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_3],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_4],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_5],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_6],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_7],0);
constraint int_lin_ne([1],[X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_1],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_3],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_4],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_5],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_6],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_1],0);
constraint int_lin_ne([1],[X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_2],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_3,X_INTRODUCED_4],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_3,X_INTRODUCED_5],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_3,X_INTRODUCED_6],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_3,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_4,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_4,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_4,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_2],0);
constraint int_lin_ne([1],[X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_4,X_INTRODUCED_5],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_4,X_INTRODUCED_6],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_4,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_5,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_5,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne([1],[X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_5,X_INTRODUCED_6],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_5,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_6,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne([1],[X_INTRODUCED_5],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_6,X_INTRODUCED_7],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_1],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_2],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne([1],[X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_2,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_2,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_2,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_3],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_2,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_3,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_3,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_4],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_3,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_4,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_5],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_4,X_INTRODUCED_6],0);
constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_7],0);
constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_5,X_INTRODUCED_6],0);
constraint int_lin_le([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],-1);
constraint int_lin_eq([1,-1],[X_INTRODUCED_1,X_INTRODUCED_9],0):: defines_var(X_INTRODUCED_9);
constraint int_lin_eq([1,-1],[X_INTRODUCED_2,X_INTRODUCED_10],0):: defines_var(X_INTRODUCED_10);
constraint int_lin_eq([1,-1],[X_INTRODUCED_3,X_INTRODUCED_11],0):: defines_var(X_INTRODUCED_11);
constraint int_lin_eq([1,-1],[X_INTRODUCED_4,X_INTRODUCED_12],0):: defines_var(X_INTRODUCED_12);
constraint int_lin_eq([1,-1],[X_INTRODUCED_5,X_INTRODUCED_13],0):: defines_var(X_INTRODUCED_13);
constraint int_lin_eq([1,-1],[X_INTRODUCED_6,X_INTRODUCED_14],0):: defines_var(X_INTRODUCED_14);
constraint int_lin_eq([1,-1],[X_INTRODUCED_7,X_INTRODUCED_15],0):: defines_var(X_INTRODUCED_15);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_16],0):: defines_var(X_INTRODUCED_16);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_17],0):: defines_var(X_INTRODUCED_17);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_18],0):: defines_var(X_INTRODUCED_18);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_19],0):: defines_var(X_INTRODUCED_19);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_20],0):: defines_var(X_INTRODUCED_20);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_21],0):: defines_var(X_INTRODUCED_21);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_22],0):: defines_var(X_INTRODUCED_22);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_23],0):: defines_var(X_INTRODUCED_23);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_24],0):: defines_var(X_INTRODUCED_24);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_25],0):: defines_var(X_INTRODUCED_25);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_26],0):: defines_var(X_INTRODUCED_26);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_27],0):: defines_var(X_INTRODUCED_27);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_28],0):: defines_var(X_INTRODUCED_28);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_29],0):: defines_var(X_INTRODUCED_29);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_30],0):: defines_var(X_INTRODUCED_30);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_31],0):: defines_var(X_INTRODUCED_31);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_32],0):: defines_var(X_INTRODUCED_32);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_33],0):: defines_var(X_INTRODUCED_33);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_34],0):: defines_var(X_INTRODUCED_34);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_35],0):: defines_var(X_INTRODUCED_35);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_36],0):: defines_var(X_INTRODUCED_36);
solve :: int_search(mark,input_order,indomain,complete) minimize X_INTRODUCED_7;