array [1..2] of int: X_INTRODUCED_9_ = [1,-1];
array [1..3] of int: X_INTRODUCED_48_ = [2,-1,-1];
array [1..4] of int: X_INTRODUCED_49_ = [1,-1,-1,1];
array [1..2] of int: X_INTRODUCED_50_ = [-1,1];
var 1..81: X_INTRODUCED_1_;
var 0..81: X_INTRODUCED_2_;
var 0..81: X_INTRODUCED_3_;
var 0..81: X_INTRODUCED_4_;
var 0..81: X_INTRODUCED_5_;
var 0..81: X_INTRODUCED_6_;
var 0..81: X_INTRODUCED_7_;
var 0..81: X_INTRODUCED_8_;
var 0..81: X_INTRODUCED_18_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_19_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_20_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_21_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_22_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_23_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_24_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_25_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_26_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_27_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_28_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_29_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_30_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_31_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_32_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_33_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_34_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_35_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_36_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_37_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_38_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_39_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_40_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_41_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_42_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_43_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_44_ ::var_is_introduced :: is_defined_var;
var 0..81: X_INTRODUCED_45_ ::var_is_introduced :: is_defined_var;
array [1..9] of var int: mark:: output_array([1..9]) = [0,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_];
constraint int_lin_le(X_INTRODUCED_9_,[X_INTRODUCED_1_,X_INTRODUCED_2_],-1);
constraint int_lin_le(X_INTRODUCED_9_,[X_INTRODUCED_2_,X_INTRODUCED_3_],-1);
constraint int_lin_le(X_INTRODUCED_9_,[X_INTRODUCED_3_,X_INTRODUCED_4_],-1);
constraint int_lin_le(X_INTRODUCED_9_,[X_INTRODUCED_4_,X_INTRODUCED_5_],-1);
constraint int_lin_le(X_INTRODUCED_9_,[X_INTRODUCED_5_,X_INTRODUCED_6_],-1);
constraint int_lin_le(X_INTRODUCED_9_,[X_INTRODUCED_6_,X_INTRODUCED_7_],-1);
constraint int_lin_le(X_INTRODUCED_9_,[X_INTRODUCED_7_,X_INTRODUCED_8_],-1);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_1_,X_INTRODUCED_8_],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([2,-1],[X_INTRODUCED_1_,X_INTRODUCED_8_],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_8_,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_8_,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_8_,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_8_,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([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_2_,X_INTRODUCED_8_],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([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_8_,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([2,-1],[X_INTRODUCED_2_,X_INTRODUCED_8_],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_8_,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_8_,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_8_,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([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_3_,X_INTRODUCED_8_],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,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_8_,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([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_8_,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([2,-1],[X_INTRODUCED_3_,X_INTRODUCED_8_],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_8_,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_8_,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([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_4_,X_INTRODUCED_8_],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_8_,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,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_8_,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([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_8_,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([2,-1],[X_INTRODUCED_4_,X_INTRODUCED_8_],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_8_,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([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_5_,X_INTRODUCED_8_],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_8_,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_8_,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,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_8_,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([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_8_,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([2,-1],[X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_6_,X_INTRODUCED_8_],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_8_,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_8_,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_8_,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,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_8_,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([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_9_,[X_INTRODUCED_7_,X_INTRODUCED_8_],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_8_,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_8_,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_8_,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_8_,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,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1],[X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1],[X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_49_,[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_48_,[X_INTRODUCED_7_,X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_le([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],-1);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_18_],0):: defines_var(X_INTRODUCED_18_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_19_],0):: defines_var(X_INTRODUCED_19_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_20_],0):: defines_var(X_INTRODUCED_20_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_21_],0):: defines_var(X_INTRODUCED_21_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_22_],0):: defines_var(X_INTRODUCED_22_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_23_],0):: defines_var(X_INTRODUCED_23_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_24_],0):: defines_var(X_INTRODUCED_24_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_25_],0):: defines_var(X_INTRODUCED_25_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_26_],0):: defines_var(X_INTRODUCED_26_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_27_],0):: defines_var(X_INTRODUCED_27_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_28_],0):: defines_var(X_INTRODUCED_28_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_29_],0):: defines_var(X_INTRODUCED_29_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_30_],0):: defines_var(X_INTRODUCED_30_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_31_],0):: defines_var(X_INTRODUCED_31_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_32_],0):: defines_var(X_INTRODUCED_32_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_33_],0):: defines_var(X_INTRODUCED_33_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_34_],0):: defines_var(X_INTRODUCED_34_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_35_],0):: defines_var(X_INTRODUCED_35_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_36_],0):: defines_var(X_INTRODUCED_36_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_37_],0):: defines_var(X_INTRODUCED_37_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_38_],0):: defines_var(X_INTRODUCED_38_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_39_],0):: defines_var(X_INTRODUCED_39_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_40_],0):: defines_var(X_INTRODUCED_40_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_41_],0):: defines_var(X_INTRODUCED_41_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_42_],0):: defines_var(X_INTRODUCED_42_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_6_,X_INTRODUCED_43_],0):: defines_var(X_INTRODUCED_43_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_44_],0):: defines_var(X_INTRODUCED_44_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_45_],0):: defines_var(X_INTRODUCED_45_);
solve :: int_search(mark,input_order,indomain_min,complete) minimize X_INTRODUCED_8_;