array [1..2] of int: X_INTRODUCED_11_ = [1,-1];
array [1..3] of int: X_INTRODUCED_69_ = [2,-1,-1];
array [1..4] of int: X_INTRODUCED_70_ = [1,-1,-1,1];
array [1..2] of int: X_INTRODUCED_71_ = [-1,1];
var 1..121: X_INTRODUCED_1_;
var 0..121: X_INTRODUCED_2_;
var 0..121: X_INTRODUCED_3_;
var 0..121: X_INTRODUCED_4_;
var 0..121: X_INTRODUCED_5_;
var 0..121: X_INTRODUCED_6_;
var 0..121: X_INTRODUCED_7_;
var 0..121: X_INTRODUCED_8_;
var 0..121: X_INTRODUCED_9_;
var 0..121: X_INTRODUCED_10_;
var 0..121: X_INTRODUCED_22_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_23_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_24_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_25_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_26_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_27_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_28_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_29_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_30_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_31_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_32_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_33_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_34_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_35_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_36_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_37_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_38_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_39_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_40_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_41_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_42_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_43_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_44_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_45_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_46_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_47_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_48_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_49_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_50_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_51_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_52_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_53_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_54_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_55_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_56_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_57_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_58_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_59_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_60_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_61_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_62_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_63_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_64_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_65_ ::var_is_introduced :: is_defined_var;
var 0..121: X_INTRODUCED_66_ ::var_is_introduced :: is_defined_var;
array [1..11] of var int: mark:: output_array([1..11]) = [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_,X_INTRODUCED_9_,X_INTRODUCED_10_];
constraint int_lin_le(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_2_],-1);
constraint int_lin_le(X_INTRODUCED_11_,[X_INTRODUCED_2_,X_INTRODUCED_3_],-1);
constraint int_lin_le(X_INTRODUCED_11_,[X_INTRODUCED_3_,X_INTRODUCED_4_],-1);
constraint int_lin_le(X_INTRODUCED_11_,[X_INTRODUCED_4_,X_INTRODUCED_5_],-1);
constraint int_lin_le(X_INTRODUCED_11_,[X_INTRODUCED_5_,X_INTRODUCED_6_],-1);
constraint int_lin_le(X_INTRODUCED_11_,[X_INTRODUCED_6_,X_INTRODUCED_7_],-1);
constraint int_lin_le(X_INTRODUCED_11_,[X_INTRODUCED_7_,X_INTRODUCED_8_],-1);
constraint int_lin_le(X_INTRODUCED_11_,[X_INTRODUCED_8_,X_INTRODUCED_9_],-1);
constraint int_lin_le(X_INTRODUCED_11_,[X_INTRODUCED_9_,X_INTRODUCED_10_],-1);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_1_,X_INTRODUCED_10_],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([2,-1],[X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_1_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_2_,X_INTRODUCED_10_],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([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_10_,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([2,-1],[X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_2_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_3_,X_INTRODUCED_10_],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,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_10_,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([2,-1],[X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_3_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_4_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_10_,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,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_10_,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([2,-1],[X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_4_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_5_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_10_,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,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_10_,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([2,-1],[X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_5_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_6_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_10_,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,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_10_,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([2,-1],[X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_6_,X_INTRODUCED_10_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_7_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_7_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_10_,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,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_10_,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([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_7_,X_INTRODUCED_9_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_7_,X_INTRODUCED_10_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_8_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_8_,X_INTRODUCED_10_],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_9_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_10_,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_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_10_,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,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1],[X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_8_,X_INTRODUCED_9_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_8_,X_INTRODUCED_10_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_8_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_11_,[X_INTRODUCED_9_,X_INTRODUCED_10_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_7_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_8_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1],[X_INTRODUCED_8_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne([2,-1],[X_INTRODUCED_9_,X_INTRODUCED_10_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_6_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_7_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_8_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_9_,X_INTRODUCED_1_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne([1,-1,1],[X_INTRODUCED_10_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne([1],[X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_3_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_4_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_5_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_6_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_7_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_7_,X_INTRODUCED_6_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_6_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_6_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_7_,X_INTRODUCED_6_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_10_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_6_,X_INTRODUCED_8_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_6_,X_INTRODUCED_9_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_6_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_10_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_9_,X_INTRODUCED_7_,X_INTRODUCED_10_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_9_,X_INTRODUCED_7_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_70_,[X_INTRODUCED_10_,X_INTRODUCED_7_,X_INTRODUCED_9_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_7_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_69_,[X_INTRODUCED_9_,X_INTRODUCED_8_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_71_,[X_INTRODUCED_8_,X_INTRODUCED_9_],0);
constraint int_lin_le([1,-1,1],[X_INTRODUCED_1_,X_INTRODUCED_10_,X_INTRODUCED_9_],-1);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_2_,X_INTRODUCED_1_,X_INTRODUCED_22_],0):: defines_var(X_INTRODUCED_22_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_3_,X_INTRODUCED_1_,X_INTRODUCED_23_],0):: defines_var(X_INTRODUCED_23_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4_,X_INTRODUCED_1_,X_INTRODUCED_24_],0):: defines_var(X_INTRODUCED_24_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5_,X_INTRODUCED_1_,X_INTRODUCED_25_],0):: defines_var(X_INTRODUCED_25_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_1_,X_INTRODUCED_26_],0):: defines_var(X_INTRODUCED_26_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_1_,X_INTRODUCED_27_],0):: defines_var(X_INTRODUCED_27_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_1_,X_INTRODUCED_28_],0):: defines_var(X_INTRODUCED_28_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_9_,X_INTRODUCED_1_,X_INTRODUCED_29_],0):: defines_var(X_INTRODUCED_29_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_10_,X_INTRODUCED_1_,X_INTRODUCED_30_],0):: defines_var(X_INTRODUCED_30_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_3_,X_INTRODUCED_2_,X_INTRODUCED_31_],0):: defines_var(X_INTRODUCED_31_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4_,X_INTRODUCED_2_,X_INTRODUCED_32_],0):: defines_var(X_INTRODUCED_32_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5_,X_INTRODUCED_2_,X_INTRODUCED_33_],0):: defines_var(X_INTRODUCED_33_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_2_,X_INTRODUCED_34_],0):: defines_var(X_INTRODUCED_34_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_2_,X_INTRODUCED_35_],0):: defines_var(X_INTRODUCED_35_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_2_,X_INTRODUCED_36_],0):: defines_var(X_INTRODUCED_36_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_9_,X_INTRODUCED_2_,X_INTRODUCED_37_],0):: defines_var(X_INTRODUCED_37_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_10_,X_INTRODUCED_2_,X_INTRODUCED_38_],0):: defines_var(X_INTRODUCED_38_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4_,X_INTRODUCED_3_,X_INTRODUCED_39_],0):: defines_var(X_INTRODUCED_39_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5_,X_INTRODUCED_3_,X_INTRODUCED_40_],0):: defines_var(X_INTRODUCED_40_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_3_,X_INTRODUCED_41_],0):: defines_var(X_INTRODUCED_41_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_3_,X_INTRODUCED_42_],0):: defines_var(X_INTRODUCED_42_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_3_,X_INTRODUCED_43_],0):: defines_var(X_INTRODUCED_43_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_9_,X_INTRODUCED_3_,X_INTRODUCED_44_],0):: defines_var(X_INTRODUCED_44_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_10_,X_INTRODUCED_3_,X_INTRODUCED_45_],0):: defines_var(X_INTRODUCED_45_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5_,X_INTRODUCED_4_,X_INTRODUCED_46_],0):: defines_var(X_INTRODUCED_46_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_4_,X_INTRODUCED_47_],0):: defines_var(X_INTRODUCED_47_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_4_,X_INTRODUCED_48_],0):: defines_var(X_INTRODUCED_48_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_4_,X_INTRODUCED_49_],0):: defines_var(X_INTRODUCED_49_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_9_,X_INTRODUCED_4_,X_INTRODUCED_50_],0):: defines_var(X_INTRODUCED_50_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_10_,X_INTRODUCED_4_,X_INTRODUCED_51_],0):: defines_var(X_INTRODUCED_51_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6_,X_INTRODUCED_5_,X_INTRODUCED_52_],0):: defines_var(X_INTRODUCED_52_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_5_,X_INTRODUCED_53_],0):: defines_var(X_INTRODUCED_53_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_5_,X_INTRODUCED_54_],0):: defines_var(X_INTRODUCED_54_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_9_,X_INTRODUCED_5_,X_INTRODUCED_55_],0):: defines_var(X_INTRODUCED_55_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_10_,X_INTRODUCED_5_,X_INTRODUCED_56_],0):: defines_var(X_INTRODUCED_56_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7_,X_INTRODUCED_6_,X_INTRODUCED_57_],0):: defines_var(X_INTRODUCED_57_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_6_,X_INTRODUCED_58_],0):: defines_var(X_INTRODUCED_58_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_9_,X_INTRODUCED_6_,X_INTRODUCED_59_],0):: defines_var(X_INTRODUCED_59_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_10_,X_INTRODUCED_6_,X_INTRODUCED_60_],0):: defines_var(X_INTRODUCED_60_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8_,X_INTRODUCED_7_,X_INTRODUCED_61_],0):: defines_var(X_INTRODUCED_61_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_9_,X_INTRODUCED_7_,X_INTRODUCED_62_],0):: defines_var(X_INTRODUCED_62_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_10_,X_INTRODUCED_7_,X_INTRODUCED_63_],0):: defines_var(X_INTRODUCED_63_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_9_,X_INTRODUCED_8_,X_INTRODUCED_64_],0):: defines_var(X_INTRODUCED_64_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_10_,X_INTRODUCED_8_,X_INTRODUCED_65_],0):: defines_var(X_INTRODUCED_65_);
constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_10_,X_INTRODUCED_9_,X_INTRODUCED_66_],0):: defines_var(X_INTRODUCED_66_);
solve :: int_search(mark,input_order,indomain_min,complete) minimize X_INTRODUCED_10_;