array [1..2] of int: X_INTRODUCED_13_ = [1,-1];
var 1..5: X_INTRODUCED_0_;
var 1..5: X_INTRODUCED_1_;
var 1..5: X_INTRODUCED_2_;
var 1..5: X_INTRODUCED_3_;
var 1..5: X_INTRODUCED_4_;
var 1..5: X_INTRODUCED_5_;
var 1..5: X_INTRODUCED_6_;
var 1..5: X_INTRODUCED_7_;
var 1..5: X_INTRODUCED_8_;
var 1..5: X_INTRODUCED_9_;
var 1..5: X_INTRODUCED_10_;
var 1..5: X_INTRODUCED_11_;
var 1..5: X_INTRODUCED_12_;
var bool: X_INTRODUCED_14_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_15_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_16_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_17_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_18_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_19_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_20_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_21_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_22_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_23_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_24_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_25_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_26_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_27_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_28_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_29_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_30_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_31_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_32_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_33_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_34_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_35_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_36_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_37_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_38_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_39_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_40_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_41_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_42_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_43_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_44_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_45_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_46_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_47_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_48_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_49_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_50_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_51_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_52_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_53_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_54_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_55_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_56_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_57_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_58_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_59_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_60_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_61_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_62_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_63_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_64_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_65_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_66_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_67_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_68_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_69_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_70_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_71_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_72_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_73_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_74_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_75_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_76_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_77_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_78_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_79_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_80_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_81_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_82_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_83_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_84_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_85_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_86_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_87_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_88_ ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_89_ ::var_is_introduced :: is_defined_var;
array [1..13] of var int: box:: output_array([1..13]) = [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_];
constraint array_bool_or([X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_],true);
constraint array_bool_or([X_INTRODUCED_14_,X_INTRODUCED_17_,X_INTRODUCED_18_],true);
constraint array_bool_or([X_INTRODUCED_17_,X_INTRODUCED_19_,X_INTRODUCED_20_],true);
constraint array_bool_or([X_INTRODUCED_19_,X_INTRODUCED_21_,X_INTRODUCED_22_],true);
constraint array_bool_or([X_INTRODUCED_21_,X_INTRODUCED_23_,X_INTRODUCED_24_],true);
constraint array_bool_or([X_INTRODUCED_23_,X_INTRODUCED_25_,X_INTRODUCED_26_],true);
constraint array_bool_or([X_INTRODUCED_25_,X_INTRODUCED_27_,X_INTRODUCED_28_],true);
constraint array_bool_or([X_INTRODUCED_27_,X_INTRODUCED_29_,X_INTRODUCED_30_],true);
constraint array_bool_or([X_INTRODUCED_29_,X_INTRODUCED_31_,X_INTRODUCED_32_],true);
constraint array_bool_or([X_INTRODUCED_31_,X_INTRODUCED_33_,X_INTRODUCED_34_],true);
constraint array_bool_or([X_INTRODUCED_33_,X_INTRODUCED_35_,X_INTRODUCED_36_],true);
constraint array_bool_or([X_INTRODUCED_15_,X_INTRODUCED_37_,X_INTRODUCED_38_],true);
constraint array_bool_or([X_INTRODUCED_39_,X_INTRODUCED_40_,X_INTRODUCED_41_],true);
constraint array_bool_or([X_INTRODUCED_37_,X_INTRODUCED_42_,X_INTRODUCED_43_],true);
constraint array_bool_or([X_INTRODUCED_39_,X_INTRODUCED_44_,X_INTRODUCED_45_],true);
constraint array_bool_or([X_INTRODUCED_42_,X_INTRODUCED_46_,X_INTRODUCED_47_],true);
constraint array_bool_or([X_INTRODUCED_44_,X_INTRODUCED_48_,X_INTRODUCED_49_],true);
constraint array_bool_or([X_INTRODUCED_51_,X_INTRODUCED_50_,X_INTRODUCED_46_],true);
constraint array_bool_or([X_INTRODUCED_53_,X_INTRODUCED_52_,X_INTRODUCED_48_],true);
constraint array_bool_or([X_INTRODUCED_55_,X_INTRODUCED_54_,X_INTRODUCED_50_],true);
constraint array_bool_or([X_INTRODUCED_57_,X_INTRODUCED_18_,X_INTRODUCED_56_],true);
constraint array_bool_or([X_INTRODUCED_59_,X_INTRODUCED_58_,X_INTRODUCED_38_],true);
constraint array_bool_or([X_INTRODUCED_62_,X_INTRODUCED_61_,X_INTRODUCED_60_],true);
constraint array_bool_or([X_INTRODUCED_56_,X_INTRODUCED_63_,X_INTRODUCED_64_],true);
constraint array_bool_or([X_INTRODUCED_58_,X_INTRODUCED_65_,X_INTRODUCED_66_],true);
constraint array_bool_or([X_INTRODUCED_60_,X_INTRODUCED_67_,X_INTRODUCED_68_],true);
constraint array_bool_or([X_INTRODUCED_63_,X_INTRODUCED_69_,X_INTRODUCED_70_],true);
constraint array_bool_or([X_INTRODUCED_20_,X_INTRODUCED_71_,X_INTRODUCED_72_],true);
constraint array_bool_or([X_INTRODUCED_40_,X_INTRODUCED_73_,X_INTRODUCED_74_],true);
constraint array_bool_or([X_INTRODUCED_57_,X_INTRODUCED_75_,X_INTRODUCED_76_],true);
constraint array_bool_or([X_INTRODUCED_77_,X_INTRODUCED_78_,X_INTRODUCED_79_],true);
constraint array_bool_or([X_INTRODUCED_71_,X_INTRODUCED_80_,X_INTRODUCED_81_],true);
constraint array_bool_or([X_INTRODUCED_22_,X_INTRODUCED_82_,X_INTRODUCED_83_],true);
constraint array_bool_or([X_INTRODUCED_43_,X_INTRODUCED_84_,X_INTRODUCED_85_],true);
constraint array_bool_or([X_INTRODUCED_59_,X_INTRODUCED_86_,X_INTRODUCED_87_],true);
constraint array_bool_or([X_INTRODUCED_24_,X_INTRODUCED_88_,X_INTRODUCED_89_],true);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_2_],0,X_INTRODUCED_14_):: defines_var(X_INTRODUCED_14_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0,X_INTRODUCED_15_):: defines_var(X_INTRODUCED_15_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_1_],0,X_INTRODUCED_16_):: defines_var(X_INTRODUCED_16_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_3_],0,X_INTRODUCED_17_):: defines_var(X_INTRODUCED_17_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0,X_INTRODUCED_18_):: defines_var(X_INTRODUCED_18_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_4_],0,X_INTRODUCED_19_):: defines_var(X_INTRODUCED_19_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0,X_INTRODUCED_20_):: defines_var(X_INTRODUCED_20_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_5_],0,X_INTRODUCED_21_):: defines_var(X_INTRODUCED_21_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_4_,X_INTRODUCED_5_],0,X_INTRODUCED_22_):: defines_var(X_INTRODUCED_22_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_6_],0,X_INTRODUCED_23_):: defines_var(X_INTRODUCED_23_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_5_,X_INTRODUCED_6_],0,X_INTRODUCED_24_):: defines_var(X_INTRODUCED_24_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_7_],0,X_INTRODUCED_25_):: defines_var(X_INTRODUCED_25_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_6_,X_INTRODUCED_7_],0,X_INTRODUCED_26_):: defines_var(X_INTRODUCED_26_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_8_],0,X_INTRODUCED_27_):: defines_var(X_INTRODUCED_27_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_7_,X_INTRODUCED_8_],0,X_INTRODUCED_28_):: defines_var(X_INTRODUCED_28_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_9_],0,X_INTRODUCED_29_):: defines_var(X_INTRODUCED_29_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_8_,X_INTRODUCED_9_],0,X_INTRODUCED_30_):: defines_var(X_INTRODUCED_30_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_10_],0,X_INTRODUCED_31_):: defines_var(X_INTRODUCED_31_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_9_,X_INTRODUCED_10_],0,X_INTRODUCED_32_):: defines_var(X_INTRODUCED_32_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_11_],0,X_INTRODUCED_33_):: defines_var(X_INTRODUCED_33_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_10_,X_INTRODUCED_11_],0,X_INTRODUCED_34_):: defines_var(X_INTRODUCED_34_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_0_,X_INTRODUCED_12_],0,X_INTRODUCED_35_):: defines_var(X_INTRODUCED_35_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_11_,X_INTRODUCED_12_],0,X_INTRODUCED_36_):: defines_var(X_INTRODUCED_36_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0,X_INTRODUCED_37_):: defines_var(X_INTRODUCED_37_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0,X_INTRODUCED_38_):: defines_var(X_INTRODUCED_38_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_5_],0,X_INTRODUCED_39_):: defines_var(X_INTRODUCED_39_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_3_,X_INTRODUCED_5_],0,X_INTRODUCED_40_):: defines_var(X_INTRODUCED_40_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0,X_INTRODUCED_41_):: defines_var(X_INTRODUCED_41_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_6_],0,X_INTRODUCED_42_):: defines_var(X_INTRODUCED_42_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_4_,X_INTRODUCED_6_],0,X_INTRODUCED_43_):: defines_var(X_INTRODUCED_43_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_7_],0,X_INTRODUCED_44_):: defines_var(X_INTRODUCED_44_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_5_,X_INTRODUCED_7_],0,X_INTRODUCED_45_):: defines_var(X_INTRODUCED_45_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_8_],0,X_INTRODUCED_46_):: defines_var(X_INTRODUCED_46_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_6_,X_INTRODUCED_8_],0,X_INTRODUCED_47_):: defines_var(X_INTRODUCED_47_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_9_],0,X_INTRODUCED_48_):: defines_var(X_INTRODUCED_48_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_7_,X_INTRODUCED_9_],0,X_INTRODUCED_49_):: defines_var(X_INTRODUCED_49_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_10_],0,X_INTRODUCED_50_):: defines_var(X_INTRODUCED_50_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_8_,X_INTRODUCED_10_],0,X_INTRODUCED_51_):: defines_var(X_INTRODUCED_51_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_11_],0,X_INTRODUCED_52_):: defines_var(X_INTRODUCED_52_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_9_,X_INTRODUCED_11_],0,X_INTRODUCED_53_):: defines_var(X_INTRODUCED_53_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_1_,X_INTRODUCED_12_],0,X_INTRODUCED_54_):: defines_var(X_INTRODUCED_54_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_10_,X_INTRODUCED_12_],0,X_INTRODUCED_55_):: defines_var(X_INTRODUCED_55_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_6_],0,X_INTRODUCED_56_):: defines_var(X_INTRODUCED_56_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_3_,X_INTRODUCED_6_],0,X_INTRODUCED_57_):: defines_var(X_INTRODUCED_57_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_7_],0,X_INTRODUCED_58_):: defines_var(X_INTRODUCED_58_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_4_,X_INTRODUCED_7_],0,X_INTRODUCED_59_):: defines_var(X_INTRODUCED_59_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_8_],0,X_INTRODUCED_60_):: defines_var(X_INTRODUCED_60_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_5_,X_INTRODUCED_8_],0,X_INTRODUCED_61_):: defines_var(X_INTRODUCED_61_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_5_],0,X_INTRODUCED_62_):: defines_var(X_INTRODUCED_62_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_9_],0,X_INTRODUCED_63_):: defines_var(X_INTRODUCED_63_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_6_,X_INTRODUCED_9_],0,X_INTRODUCED_64_):: defines_var(X_INTRODUCED_64_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_10_],0,X_INTRODUCED_65_):: defines_var(X_INTRODUCED_65_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_7_,X_INTRODUCED_10_],0,X_INTRODUCED_66_):: defines_var(X_INTRODUCED_66_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_11_],0,X_INTRODUCED_67_):: defines_var(X_INTRODUCED_67_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_8_,X_INTRODUCED_11_],0,X_INTRODUCED_68_):: defines_var(X_INTRODUCED_68_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_2_,X_INTRODUCED_12_],0,X_INTRODUCED_69_):: defines_var(X_INTRODUCED_69_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_9_,X_INTRODUCED_12_],0,X_INTRODUCED_70_):: defines_var(X_INTRODUCED_70_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_3_,X_INTRODUCED_8_],0,X_INTRODUCED_71_):: defines_var(X_INTRODUCED_71_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_4_,X_INTRODUCED_8_],0,X_INTRODUCED_72_):: defines_var(X_INTRODUCED_72_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_3_,X_INTRODUCED_9_],0,X_INTRODUCED_73_):: defines_var(X_INTRODUCED_73_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_5_,X_INTRODUCED_9_],0,X_INTRODUCED_74_):: defines_var(X_INTRODUCED_74_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_3_,X_INTRODUCED_10_],0,X_INTRODUCED_75_):: defines_var(X_INTRODUCED_75_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_6_,X_INTRODUCED_10_],0,X_INTRODUCED_76_):: defines_var(X_INTRODUCED_76_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_3_,X_INTRODUCED_11_],0,X_INTRODUCED_77_):: defines_var(X_INTRODUCED_77_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_7_,X_INTRODUCED_11_],0,X_INTRODUCED_78_):: defines_var(X_INTRODUCED_78_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_3_,X_INTRODUCED_7_],0,X_INTRODUCED_79_):: defines_var(X_INTRODUCED_79_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_3_,X_INTRODUCED_12_],0,X_INTRODUCED_80_):: defines_var(X_INTRODUCED_80_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_8_,X_INTRODUCED_12_],0,X_INTRODUCED_81_):: defines_var(X_INTRODUCED_81_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_4_,X_INTRODUCED_10_],0,X_INTRODUCED_82_):: defines_var(X_INTRODUCED_82_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_5_,X_INTRODUCED_10_],0,X_INTRODUCED_83_):: defines_var(X_INTRODUCED_83_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_4_,X_INTRODUCED_11_],0,X_INTRODUCED_84_):: defines_var(X_INTRODUCED_84_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_6_,X_INTRODUCED_11_],0,X_INTRODUCED_85_):: defines_var(X_INTRODUCED_85_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_4_,X_INTRODUCED_12_],0,X_INTRODUCED_86_):: defines_var(X_INTRODUCED_86_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_7_,X_INTRODUCED_12_],0,X_INTRODUCED_87_):: defines_var(X_INTRODUCED_87_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_5_,X_INTRODUCED_12_],0,X_INTRODUCED_88_):: defines_var(X_INTRODUCED_88_);
constraint int_lin_ne_reif(X_INTRODUCED_13_,[X_INTRODUCED_6_,X_INTRODUCED_12_],0,X_INTRODUCED_89_):: defines_var(X_INTRODUCED_89_);
solve :: int_search(box,input_order,indomain_min,complete) satisfy;