array [1..8] of int: X_INTRODUCED_101_ = [1,1,1,1,1,1,1,1];
array [1..4] of int: X_INTRODUCED_117_ = [1,1,1,1];
array [1..4] of int: X_INTRODUCED_119_ = [-1,-1,-1,-1];
var 0..1: X_INTRODUCED_11_;
var 0..1: X_INTRODUCED_13_;
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_21_;
var 0..1: X_INTRODUCED_23_;
var 0..1: X_INTRODUCED_24_;
var 0..1: X_INTRODUCED_25_;
var 0..1: X_INTRODUCED_27_;
var 0..1: X_INTRODUCED_28_;
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_41_;
var 0..1: X_INTRODUCED_42_;
var 0..1: X_INTRODUCED_43_;
var 0..1: X_INTRODUCED_44_;
var 0..1: X_INTRODUCED_46_;
var 0..1: X_INTRODUCED_47_;
var 0..1: X_INTRODUCED_48_;
var 0..1: X_INTRODUCED_51_;
var 0..1: X_INTRODUCED_52_;
var 0..1: X_INTRODUCED_53_;
var 0..1: X_INTRODUCED_54_;
var 0..1: X_INTRODUCED_55_;
var 0..1: X_INTRODUCED_56_;
var 0..1: X_INTRODUCED_57_;
var 0..1: X_INTRODUCED_58_;
var 0..1: X_INTRODUCED_62_;
var 0..1: X_INTRODUCED_63_;
var 0..1: X_INTRODUCED_64_;
var 0..1: X_INTRODUCED_65_;
var 0..1: X_INTRODUCED_66_;
var 0..1: X_INTRODUCED_68_;
var 0..1: X_INTRODUCED_72_;
var 0..1: X_INTRODUCED_73_;
var 0..1: X_INTRODUCED_75_;
var 0..1: X_INTRODUCED_76_;
var 0..1: X_INTRODUCED_77_;
var 0..1: X_INTRODUCED_81_;
var 0..1: X_INTRODUCED_82_;
var 0..1: X_INTRODUCED_83_;
var 0..1: X_INTRODUCED_84_;
var 0..1: X_INTRODUCED_86_;
var 0..1: X_INTRODUCED_87_;
var 0..1: X_INTRODUCED_88_;
array [1..100] of var int: t:: output_array([0..9,0..9]) = [0,0,0,0,0,0,0,0,0,0,0,X_INTRODUCED_11_,0,X_INTRODUCED_13_,0,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,0,0,X_INTRODUCED_21_,0,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,0,X_INTRODUCED_27_,X_INTRODUCED_28_,0,0,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,0,0,0,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,0,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,0,0,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,0,0,0,X_INTRODUCED_62_,X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,0,X_INTRODUCED_68_,0,0,0,X_INTRODUCED_72_,X_INTRODUCED_73_,0,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,0,0,0,X_INTRODUCED_81_,X_INTRODUCED_82_,X_INTRODUCED_83_,X_INTRODUCED_84_,0,X_INTRODUCED_86_,X_INTRODUCED_87_,X_INTRODUCED_88_,0,0,0,0,0,0,0,0,0,0,0];
array [1..64] of var int: X_INTRODUCED_180_ ::var_is_introduced  = [X_INTRODUCED_11_,0,X_INTRODUCED_13_,0,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_21_,0,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,0,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,0,X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,0,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_,X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_,0,X_INTRODUCED_62_,X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,0,X_INTRODUCED_68_,0,X_INTRODUCED_72_,X_INTRODUCED_73_,0,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_,0,X_INTRODUCED_81_,X_INTRODUCED_82_,X_INTRODUCED_83_,X_INTRODUCED_84_,0,X_INTRODUCED_86_,X_INTRODUCED_87_,X_INTRODUCED_88_];
constraint int_lin_eq([1,1,1,1,1,1],[X_INTRODUCED_11_,X_INTRODUCED_13_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_],3);
constraint int_lin_eq([1,1,1,1,1,1],[X_INTRODUCED_21_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_27_,X_INTRODUCED_28_],1);
constraint int_lin_eq([1,1,1,1,1,1,1],[X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_],1);
constraint int_lin_eq([1,1,1,1,1,1,1],[X_INTRODUCED_41_,X_INTRODUCED_42_,X_INTRODUCED_43_,X_INTRODUCED_44_,X_INTRODUCED_46_,X_INTRODUCED_47_,X_INTRODUCED_48_],0);
constraint int_lin_eq(X_INTRODUCED_101_,[X_INTRODUCED_51_,X_INTRODUCED_52_,X_INTRODUCED_53_,X_INTRODUCED_54_,X_INTRODUCED_55_,X_INTRODUCED_56_,X_INTRODUCED_57_,X_INTRODUCED_58_],2);
constraint int_lin_eq([1,1,1,1,1,1],[X_INTRODUCED_62_,X_INTRODUCED_63_,X_INTRODUCED_64_,X_INTRODUCED_65_,X_INTRODUCED_66_,X_INTRODUCED_68_],1);
constraint int_lin_eq([1,1,1,1,1],[X_INTRODUCED_72_,X_INTRODUCED_73_,X_INTRODUCED_75_,X_INTRODUCED_76_,X_INTRODUCED_77_],0);
constraint int_lin_eq([1,1,1,1,1,1,1],[X_INTRODUCED_81_,X_INTRODUCED_82_,X_INTRODUCED_83_,X_INTRODUCED_84_,X_INTRODUCED_86_,X_INTRODUCED_87_,X_INTRODUCED_88_],4);
constraint int_lin_eq([1,1,1,1,1,1],[X_INTRODUCED_11_,X_INTRODUCED_21_,X_INTRODUCED_31_,X_INTRODUCED_41_,X_INTRODUCED_51_,X_INTRODUCED_81_],2);
constraint int_lin_eq([1,1,1,1,1,1],[X_INTRODUCED_32_,X_INTRODUCED_42_,X_INTRODUCED_52_,X_INTRODUCED_62_,X_INTRODUCED_72_,X_INTRODUCED_82_],2);
constraint int_lin_eq(X_INTRODUCED_101_,[X_INTRODUCED_13_,X_INTRODUCED_23_,X_INTRODUCED_33_,X_INTRODUCED_43_,X_INTRODUCED_53_,X_INTRODUCED_63_,X_INTRODUCED_73_,X_INTRODUCED_83_],1);
constraint int_lin_eq([1,1,1,1,1,1],[X_INTRODUCED_24_,X_INTRODUCED_34_,X_INTRODUCED_44_,X_INTRODUCED_54_,X_INTRODUCED_64_,X_INTRODUCED_84_],1);
constraint int_lin_eq([1,1,1,1,1,1],[X_INTRODUCED_15_,X_INTRODUCED_25_,X_INTRODUCED_35_,X_INTRODUCED_55_,X_INTRODUCED_65_,X_INTRODUCED_75_],1);
constraint int_lin_eq([1,1,1,1,1,1,1],[X_INTRODUCED_16_,X_INTRODUCED_36_,X_INTRODUCED_46_,X_INTRODUCED_56_,X_INTRODUCED_66_,X_INTRODUCED_76_,X_INTRODUCED_86_],2);
constraint int_lin_eq([1,1,1,1,1,1,1],[X_INTRODUCED_17_,X_INTRODUCED_27_,X_INTRODUCED_37_,X_INTRODUCED_47_,X_INTRODUCED_57_,X_INTRODUCED_77_,X_INTRODUCED_87_],1);
constraint int_lin_eq([1,1,1,1,1,1],[X_INTRODUCED_18_,X_INTRODUCED_28_,X_INTRODUCED_48_,X_INTRODUCED_58_,X_INTRODUCED_68_,X_INTRODUCED_88_],2);
constraint int_lin_le([-1,-1],[X_INTRODUCED_11_,X_INTRODUCED_13_],-1);
constraint int_lin_le([-1,-1,-1],[X_INTRODUCED_13_,X_INTRODUCED_24_,X_INTRODUCED_15_],-1);
constraint int_lin_le([-1,-1,-1],[X_INTRODUCED_21_,X_INTRODUCED_32_,X_INTRODUCED_23_],-1);
constraint int_lin_le(X_INTRODUCED_119_,[X_INTRODUCED_25_,X_INTRODUCED_36_,X_INTRODUCED_16_,X_INTRODUCED_27_],-1);
constraint int_lin_le([-1,-1,-1],[X_INTRODUCED_37_,X_INTRODUCED_48_,X_INTRODUCED_28_],-1);
constraint int_lin_le(X_INTRODUCED_119_,[X_INTRODUCED_44_,X_INTRODUCED_55_,X_INTRODUCED_35_,X_INTRODUCED_46_],-1);
constraint int_lin_le([-1,-1],[X_INTRODUCED_51_,X_INTRODUCED_62_],-1);
constraint int_lin_le(X_INTRODUCED_119_,[X_INTRODUCED_66_,X_INTRODUCED_77_,X_INTRODUCED_57_,X_INTRODUCED_68_],-1);
constraint int_lin_le([-1,-1],[X_INTRODUCED_81_,X_INTRODUCED_72_],-1);
constraint int_lin_le(X_INTRODUCED_119_,[X_INTRODUCED_73_,X_INTRODUCED_84_,X_INTRODUCED_64_,X_INTRODUCED_75_],-1);
constraint int_lin_le([-1,-1,-1],[X_INTRODUCED_77_,X_INTRODUCED_88_,X_INTRODUCED_68_],-1);
constraint int_lin_le([-1,-1,-1],[X_INTRODUCED_84_,X_INTRODUCED_75_,X_INTRODUCED_86_],-1);
constraint int_lin_le([1,1],[X_INTRODUCED_21_,X_INTRODUCED_11_],1);
constraint int_lin_le([1,1],[X_INTRODUCED_13_,X_INTRODUCED_23_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_23_,X_INTRODUCED_13_,X_INTRODUCED_24_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_15_,X_INTRODUCED_24_,X_INTRODUCED_25_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_16_,X_INTRODUCED_25_,X_INTRODUCED_15_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_17_,X_INTRODUCED_16_,X_INTRODUCED_27_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_18_,X_INTRODUCED_27_,X_INTRODUCED_17_,X_INTRODUCED_28_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_31_,X_INTRODUCED_21_,X_INTRODUCED_32_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_23_,X_INTRODUCED_32_,X_INTRODUCED_33_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_24_,X_INTRODUCED_33_,X_INTRODUCED_23_,X_INTRODUCED_34_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_25_,X_INTRODUCED_34_,X_INTRODUCED_24_,X_INTRODUCED_35_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_35_,X_INTRODUCED_25_,X_INTRODUCED_36_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_27_,X_INTRODUCED_36_,X_INTRODUCED_37_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_28_,X_INTRODUCED_37_,X_INTRODUCED_27_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_32_,X_INTRODUCED_41_,X_INTRODUCED_31_,X_INTRODUCED_42_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_33_,X_INTRODUCED_42_,X_INTRODUCED_32_,X_INTRODUCED_43_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_34_,X_INTRODUCED_43_,X_INTRODUCED_33_,X_INTRODUCED_44_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_35_,X_INTRODUCED_44_,X_INTRODUCED_34_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_36_,X_INTRODUCED_35_,X_INTRODUCED_46_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_37_,X_INTRODUCED_46_,X_INTRODUCED_36_,X_INTRODUCED_47_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_47_,X_INTRODUCED_37_,X_INTRODUCED_48_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_42_,X_INTRODUCED_51_,X_INTRODUCED_41_,X_INTRODUCED_52_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_43_,X_INTRODUCED_52_,X_INTRODUCED_42_,X_INTRODUCED_53_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_44_,X_INTRODUCED_53_,X_INTRODUCED_43_,X_INTRODUCED_54_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_54_,X_INTRODUCED_44_,X_INTRODUCED_55_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_46_,X_INTRODUCED_55_,X_INTRODUCED_56_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_47_,X_INTRODUCED_56_,X_INTRODUCED_46_,X_INTRODUCED_57_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_48_,X_INTRODUCED_57_,X_INTRODUCED_47_,X_INTRODUCED_58_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_52_,X_INTRODUCED_51_,X_INTRODUCED_62_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_53_,X_INTRODUCED_62_,X_INTRODUCED_52_,X_INTRODUCED_63_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_54_,X_INTRODUCED_63_,X_INTRODUCED_53_,X_INTRODUCED_64_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_55_,X_INTRODUCED_64_,X_INTRODUCED_54_,X_INTRODUCED_65_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_56_,X_INTRODUCED_65_,X_INTRODUCED_55_,X_INTRODUCED_66_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_57_,X_INTRODUCED_66_,X_INTRODUCED_56_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_58_,X_INTRODUCED_57_,X_INTRODUCED_68_],1);
constraint int_lin_le([1,1],[X_INTRODUCED_62_,X_INTRODUCED_72_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_63_,X_INTRODUCED_72_,X_INTRODUCED_62_,X_INTRODUCED_73_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_64_,X_INTRODUCED_73_,X_INTRODUCED_63_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_65_,X_INTRODUCED_64_,X_INTRODUCED_75_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_66_,X_INTRODUCED_75_,X_INTRODUCED_65_,X_INTRODUCED_76_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_76_,X_INTRODUCED_66_,X_INTRODUCED_77_],1);
constraint int_lin_le([1,1],[X_INTRODUCED_68_,X_INTRODUCED_77_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_72_,X_INTRODUCED_81_,X_INTRODUCED_82_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_73_,X_INTRODUCED_82_,X_INTRODUCED_72_,X_INTRODUCED_83_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_83_,X_INTRODUCED_73_,X_INTRODUCED_84_],1);
constraint int_lin_le([1,1],[X_INTRODUCED_75_,X_INTRODUCED_84_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_76_,X_INTRODUCED_75_,X_INTRODUCED_86_],1);
constraint int_lin_le(X_INTRODUCED_117_,[X_INTRODUCED_77_,X_INTRODUCED_86_,X_INTRODUCED_76_,X_INTRODUCED_87_],1);
constraint int_lin_le([1,1,1],[X_INTRODUCED_87_,X_INTRODUCED_77_,X_INTRODUCED_88_],1);
solve :: int_search(X_INTRODUCED_180_,input_order,indomain_max,complete) satisfy;