array [1..39] of int: X_INTRODUCED_110_ = [84,56,81,19,36,26,40,62,84,69,42,86,10,88,66,43,98,1,34,33,75,40,80,66,32,36,18,11,69,70,47,77,51,66,66,77,58,80,14];
array [1..40] of int: X_INTRODUCED_180_ = [79,23,52,90,63,18,33,61,71,67,46,98,59,78,16,91,30,53,9,93,74,79,41,52,82,59,18,12,70,50,26,49,73,78,39,88,48,25,1,72];
array [1..40] of int: X_INTRODUCED_237_ = [44,99,70,4,78,87,95,8,92,5,2,66,36,95,70,71,6,40,83,76,91,61,26,16,91,17,5,91,94,6,63,39,6,86,43,84,25,90,44,17];
array [1..39] of int: X_INTRODUCED_287_ = [95,98,83,84,45,6,55,52,46,38,80,37,51,58,54,42,76,59,33,70,17,97,61,23,35,56,59,60,47,4,77,94,54,12,78,18,33,4,17];
array [1..40] of int: X_INTRODUCED_332_ = [23,84,54,74,95,60,68,71,71,2,93,89,51,7,64,38,63,76,98,10,32,27,5,86,39,35,86,10,69,42,27,44,27,33,71,74,94,39,97,17];
var 0..1: X_INTRODUCED_0_;
var 0..1: X_INTRODUCED_1_;
var 0..1: X_INTRODUCED_2_;
var 0..1: X_INTRODUCED_3_;
var 0..1: X_INTRODUCED_4_;
var 0..1: X_INTRODUCED_5_;
var 0..1: X_INTRODUCED_6_;
var 0..1: X_INTRODUCED_7_;
var 0..1: X_INTRODUCED_8_;
var 0..1: X_INTRODUCED_9_;
var 0..1: X_INTRODUCED_10_;
var 0..1: X_INTRODUCED_11_;
var 0..1: X_INTRODUCED_12_;
var 0..1: X_INTRODUCED_13_;
var 0..1: X_INTRODUCED_14_;
var 0..1: X_INTRODUCED_15_;
var 0..1: X_INTRODUCED_16_;
var 0..1: X_INTRODUCED_17_;
var 0..1: X_INTRODUCED_18_;
var 0..1: X_INTRODUCED_19_;
var 0..1: X_INTRODUCED_20_;
var 0..1: X_INTRODUCED_21_;
var 0..1: X_INTRODUCED_22_;
var 0..1: X_INTRODUCED_23_;
var 0..1: X_INTRODUCED_24_;
var 0..1: X_INTRODUCED_25_;
var 0..1: X_INTRODUCED_26_;
var 0..1: X_INTRODUCED_27_;
var 0..1: X_INTRODUCED_28_;
var 0..1: X_INTRODUCED_29_;
var 0..1: X_INTRODUCED_30_;
var 0..1: X_INTRODUCED_31_;
var 0..1: X_INTRODUCED_32_;
var 0..1: X_INTRODUCED_33_;
var 0..1: X_INTRODUCED_34_;
var 0..1: X_INTRODUCED_35_;
var 0..1: X_INTRODUCED_36_;
var 0..1: X_INTRODUCED_37_;
var 0..1: X_INTRODUCED_38_;
var 0..1: X_INTRODUCED_39_;
array [1..40] of var int: x:: output_array([1..40]) = [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_,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_];
array [1..39] of var int: X_INTRODUCED_109_ ::var_is_introduced  = [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_,X_INTRODUCED_24_,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_];
array [1..39] of var int: X_INTRODUCED_286_ ::var_is_introduced  = [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_,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_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_];
constraint int_lin_eq(X_INTRODUCED_110_,X_INTRODUCED_109_,1045);
constraint int_lin_eq(X_INTRODUCED_180_,x,1083);
constraint int_lin_eq(X_INTRODUCED_237_,x,1061);
constraint int_lin_eq(X_INTRODUCED_287_,X_INTRODUCED_286_,1004);
constraint int_lin_eq(X_INTRODUCED_332_,x,1072);
solve :: int_search(x,input_order,indomain_min,complete) satisfy;