array [1..2] of int: X_INTRODUCED_50_ = [1,-1];
var 1..24: X_INTRODUCED_0_;
var 1..24: X_INTRODUCED_1_;
var 1..24: X_INTRODUCED_2_;
var 1..24: X_INTRODUCED_3_;
var 1..24: X_INTRODUCED_4_;
var 1..24: X_INTRODUCED_5_;
var 1..24: X_INTRODUCED_6_;
var 1..24: X_INTRODUCED_7_;
var 1..24: X_INTRODUCED_8_;
var 1..24: X_INTRODUCED_9_;
var 1..24: X_INTRODUCED_10_;
var 1..24: X_INTRODUCED_11_;
var 3..24: X_INTRODUCED_12_:: is_defined_var;
var 4..24: X_INTRODUCED_13_:: is_defined_var;
var 5..24: X_INTRODUCED_14_:: is_defined_var;
var 6..24: X_INTRODUCED_15_:: is_defined_var;
var 7..24: X_INTRODUCED_16_:: is_defined_var;
var 8..24: X_INTRODUCED_17_:: is_defined_var;
var 9..24: X_INTRODUCED_18_:: is_defined_var;
var 10..24: X_INTRODUCED_19_:: is_defined_var;
var 11..24: X_INTRODUCED_20_:: is_defined_var;
var 12..24: X_INTRODUCED_21_:: is_defined_var;
var 13..24: X_INTRODUCED_22_:: is_defined_var;
var 14..24: X_INTRODUCED_23_:: is_defined_var;
var 1..12: X_INTRODUCED_24_;
var 1..12: X_INTRODUCED_25_;
var 1..12: X_INTRODUCED_26_;
var 1..12: X_INTRODUCED_27_;
var 1..12: X_INTRODUCED_28_;
var 1..12: X_INTRODUCED_29_;
var 1..12: X_INTRODUCED_30_;
var 1..12: X_INTRODUCED_31_;
var 1..12: X_INTRODUCED_32_;
var 1..12: X_INTRODUCED_33_;
var 1..12: X_INTRODUCED_34_;
var 1..12: X_INTRODUCED_35_;
var 1..12: X_INTRODUCED_36_;
var 1..12: X_INTRODUCED_37_;
var 1..12: X_INTRODUCED_38_;
var 1..12: X_INTRODUCED_39_;
var 1..12: X_INTRODUCED_40_;
var 1..12: X_INTRODUCED_41_;
var 1..12: X_INTRODUCED_42_;
var 1..12: X_INTRODUCED_43_;
var 1..12: X_INTRODUCED_44_;
var 1..12: X_INTRODUCED_45_;
var 1..12: X_INTRODUCED_46_;
var 1..12: X_INTRODUCED_47_;
array [1..24] of var int: position = [X_INTRODUCED_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_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_];
array [1..24] of var int: solution:: output_array([1..24]) = [X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_,X_INTRODUCED_40_,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,X_INTRODUCED_45_,X_INTRODUCED_46_,X_INTRODUCED_47_];
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_0_],2):: defines_var(X_INTRODUCED_12_);
constraint array_var_int_element(X_INTRODUCED_0_,solution,1);
constraint array_var_int_element(X_INTRODUCED_12_,solution,1);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_1_],3):: defines_var(X_INTRODUCED_13_);
constraint array_var_int_element(X_INTRODUCED_1_,solution,2);
constraint array_var_int_element(X_INTRODUCED_13_,solution,2);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_2_],4):: defines_var(X_INTRODUCED_14_);
constraint array_var_int_element(X_INTRODUCED_2_,solution,3);
constraint array_var_int_element(X_INTRODUCED_14_,solution,3);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_15_,X_INTRODUCED_3_],5):: defines_var(X_INTRODUCED_15_);
constraint array_var_int_element(X_INTRODUCED_3_,solution,4);
constraint array_var_int_element(X_INTRODUCED_15_,solution,4);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_16_,X_INTRODUCED_4_],6):: defines_var(X_INTRODUCED_16_);
constraint array_var_int_element(X_INTRODUCED_4_,solution,5);
constraint array_var_int_element(X_INTRODUCED_16_,solution,5);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_17_,X_INTRODUCED_5_],7):: defines_var(X_INTRODUCED_17_);
constraint array_var_int_element(X_INTRODUCED_5_,solution,6);
constraint array_var_int_element(X_INTRODUCED_17_,solution,6);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_6_],8):: defines_var(X_INTRODUCED_18_);
constraint array_var_int_element(X_INTRODUCED_6_,solution,7);
constraint array_var_int_element(X_INTRODUCED_18_,solution,7);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_19_,X_INTRODUCED_7_],9):: defines_var(X_INTRODUCED_19_);
constraint array_var_int_element(X_INTRODUCED_7_,solution,8);
constraint array_var_int_element(X_INTRODUCED_19_,solution,8);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_20_,X_INTRODUCED_8_],10):: defines_var(X_INTRODUCED_20_);
constraint array_var_int_element(X_INTRODUCED_8_,solution,9);
constraint array_var_int_element(X_INTRODUCED_20_,solution,9);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_21_,X_INTRODUCED_9_],11):: defines_var(X_INTRODUCED_21_);
constraint array_var_int_element(X_INTRODUCED_9_,solution,10);
constraint array_var_int_element(X_INTRODUCED_21_,solution,10);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_22_,X_INTRODUCED_10_],12):: defines_var(X_INTRODUCED_22_);
constraint array_var_int_element(X_INTRODUCED_10_,solution,11);
constraint array_var_int_element(X_INTRODUCED_22_,solution,11);
constraint int_lin_eq(X_INTRODUCED_50_,[X_INTRODUCED_23_,X_INTRODUCED_11_],13):: defines_var(X_INTRODUCED_23_);
constraint array_var_int_element(X_INTRODUCED_11_,solution,12);
constraint array_var_int_element(X_INTRODUCED_23_,solution,12);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_1_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_0_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_1_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_2_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_3_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_4_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_5_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_6_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_8_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_7_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_9_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_8_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_10_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_9_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_11_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_10_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_12_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_11_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_13_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_12_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_14_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_13_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_15_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_14_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_15_,X_INTRODUCED_16_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_15_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_15_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_15_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_15_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_15_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_15_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_15_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_16_,X_INTRODUCED_17_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_16_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_16_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_16_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_16_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_16_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_16_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_17_,X_INTRODUCED_18_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_17_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_17_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_17_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_17_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_17_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_19_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_18_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_19_,X_INTRODUCED_20_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_19_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_19_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_19_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_20_,X_INTRODUCED_21_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_20_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_20_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_21_,X_INTRODUCED_22_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_21_,X_INTRODUCED_23_],0);
constraint int_lin_ne(X_INTRODUCED_50_,[X_INTRODUCED_22_,X_INTRODUCED_23_],0);
constraint int_lin_le(X_INTRODUCED_50_,[X_INTRODUCED_24_,X_INTRODUCED_47_],-1);
solve :: int_search(position,first_fail,indomain_min,complete) satisfy;