1array [1..11] of int: X_INTRODUCED_23 = [1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1]; 2var 1..5: Q1:: output_var; 3var 1..5: Q2:: output_var; 4var 1..5: Q3:: output_var; 5var 1..5: Q4:: output_var; 6var 1..5: Q5:: output_var; 7var 1..5: Q6:: output_var; 8var 1..5: Q7:: output_var; 9var 1..5: Q8:: output_var; 10var 1..5: Q9:: output_var; 11var 1..5: Q10:: output_var; 12var bool: BeforeQ4:: is_defined_var; 13var bool: AfterQ4:: is_defined_var; 14var bool: BCD1:: is_defined_var; 15var bool: BCD2:: is_defined_var; 16var bool: BCD3:: is_defined_var; 17var bool: BCD4:: is_defined_var; 18var bool: BCD5:: is_defined_var; 19var bool: BCD6:: is_defined_var; 20var bool: BCD7:: is_defined_var; 21var bool: BCD8:: is_defined_var; 22var bool: BCD9:: is_defined_var; 23var bool: BCD10:: is_defined_var; 24var 0..10: BCD:: is_defined_var; 25var 0..10: AE:: is_defined_var; 26var bool: X_INTRODUCED_0 ::var_is_introduced :: is_defined_var; 27var bool: X_INTRODUCED_1 ::var_is_introduced :: is_defined_var; 28var bool: X_INTRODUCED_2 ::var_is_introduced :: is_defined_var; 29var bool: X_INTRODUCED_3 ::var_is_introduced :: is_defined_var; 30var bool: X_INTRODUCED_4 ::var_is_introduced :: is_defined_var; 31var bool: X_INTRODUCED_5 ::var_is_introduced :: is_defined_var; 32var bool: X_INTRODUCED_6 ::var_is_introduced :: is_defined_var; 33var bool: X_INTRODUCED_7 ::var_is_introduced :: is_defined_var; 34var bool: X_INTRODUCED_8 ::var_is_introduced :: is_defined_var; 35var bool: X_INTRODUCED_9 ::var_is_introduced :: is_defined_var; 36var 0..1: X_INTRODUCED_10 ::var_is_introduced :: is_defined_var; 37var 0..1: X_INTRODUCED_11 ::var_is_introduced :: is_defined_var; 38var 0..1: X_INTRODUCED_12 ::var_is_introduced :: is_defined_var; 39var 0..1: X_INTRODUCED_13 ::var_is_introduced :: is_defined_var; 40var 0..1: X_INTRODUCED_14 ::var_is_introduced :: is_defined_var; 41var 0..1: X_INTRODUCED_15 ::var_is_introduced :: is_defined_var; 42var 0..1: X_INTRODUCED_16 ::var_is_introduced :: is_defined_var; 43var 0..1: X_INTRODUCED_17 ::var_is_introduced :: is_defined_var; 44var 0..1: X_INTRODUCED_18 ::var_is_introduced :: is_defined_var; 45var 0..1: X_INTRODUCED_19 ::var_is_introduced :: is_defined_var; 46var 0..1: X_INTRODUCED_24 ::var_is_introduced :: is_defined_var; 47var 0..1: X_INTRODUCED_25 ::var_is_introduced :: is_defined_var; 48var 0..1: X_INTRODUCED_26 ::var_is_introduced :: is_defined_var; 49var 0..1: X_INTRODUCED_27 ::var_is_introduced :: is_defined_var; 50var 0..1: X_INTRODUCED_28 ::var_is_introduced :: is_defined_var; 51var 0..1: X_INTRODUCED_29 ::var_is_introduced :: is_defined_var; 52var 0..1: X_INTRODUCED_30 ::var_is_introduced :: is_defined_var; 53var 0..1: X_INTRODUCED_31 ::var_is_introduced :: is_defined_var; 54var 0..1: X_INTRODUCED_32 ::var_is_introduced :: is_defined_var; 55var 0..1: X_INTRODUCED_33 ::var_is_introduced :: is_defined_var; 56var bool: X_INTRODUCED_36 ::var_is_introduced :: is_defined_var; 57var bool: X_INTRODUCED_37 ::var_is_introduced :: is_defined_var; 58var bool: X_INTRODUCED_38 ::var_is_introduced :: is_defined_var; 59var bool: X_INTRODUCED_39 ::var_is_introduced :: is_defined_var; 60var bool: X_INTRODUCED_40 ::var_is_introduced :: is_defined_var; 61var bool: X_INTRODUCED_41 ::var_is_introduced :: is_defined_var; 62var bool: X_INTRODUCED_42 ::var_is_introduced :: is_defined_var; 63var bool: X_INTRODUCED_43 ::var_is_introduced :: is_defined_var; 64var bool: X_INTRODUCED_44 ::var_is_introduced :: is_defined_var; 65var bool: X_INTRODUCED_45 ::var_is_introduced :: is_defined_var; 66var bool: X_INTRODUCED_46 ::var_is_introduced :: is_defined_var; 67var bool: X_INTRODUCED_47 ::var_is_introduced :: is_defined_var; 68var bool: X_INTRODUCED_48 ::var_is_introduced :: is_defined_var; 69var bool: X_INTRODUCED_49 ::var_is_introduced :: is_defined_var; 70var bool: X_INTRODUCED_50 ::var_is_introduced :: is_defined_var; 71var bool: X_INTRODUCED_51 ::var_is_introduced :: is_defined_var; 72var bool: X_INTRODUCED_52 ::var_is_introduced :: is_defined_var; 73var bool: X_INTRODUCED_53 ::var_is_introduced :: is_defined_var; 74var bool: X_INTRODUCED_54 ::var_is_introduced :: is_defined_var; 75var bool: X_INTRODUCED_55 ::var_is_introduced :: is_defined_var; 76var bool: X_INTRODUCED_56 ::var_is_introduced :: is_defined_var; 77var bool: X_INTRODUCED_57 ::var_is_introduced :: is_defined_var; 78var bool: X_INTRODUCED_58 ::var_is_introduced :: is_defined_var; 79var bool: X_INTRODUCED_59 ::var_is_introduced :: is_defined_var; 80var bool: X_INTRODUCED_60 ::var_is_introduced :: is_defined_var; 81var bool: X_INTRODUCED_61 ::var_is_introduced :: is_defined_var; 82var bool: X_INTRODUCED_62 ::var_is_introduced :: is_defined_var; 83var bool: X_INTRODUCED_63 ::var_is_introduced :: is_defined_var; 84var bool: X_INTRODUCED_64 ::var_is_introduced :: is_defined_var; 85var bool: X_INTRODUCED_65 ::var_is_introduced :: is_defined_var; 86var bool: X_INTRODUCED_66 ::var_is_introduced :: is_defined_var; 87var bool: X_INTRODUCED_67 ::var_is_introduced :: is_defined_var; 88var bool: X_INTRODUCED_68 ::var_is_introduced :: is_defined_var; 89var bool: X_INTRODUCED_69 ::var_is_introduced :: is_defined_var; 90var bool: X_INTRODUCED_70 ::var_is_introduced :: is_defined_var; 91var bool: X_INTRODUCED_71 ::var_is_introduced :: is_defined_var; 92var bool: X_INTRODUCED_72 ::var_is_introduced :: is_defined_var; 93var bool: X_INTRODUCED_73 ::var_is_introduced :: is_defined_var; 94var bool: X_INTRODUCED_74 ::var_is_introduced :: is_defined_var; 95var bool: X_INTRODUCED_75 ::var_is_introduced :: is_defined_var; 96var bool: X_INTRODUCED_76 ::var_is_introduced :: is_defined_var; 97var bool: X_INTRODUCED_77 ::var_is_introduced :: is_defined_var; 98var bool: X_INTRODUCED_78 ::var_is_introduced :: is_defined_var; 99var bool: X_INTRODUCED_79 ::var_is_introduced :: is_defined_var; 100var bool: X_INTRODUCED_80 ::var_is_introduced :: is_defined_var; 101var bool: X_INTRODUCED_81 ::var_is_introduced :: is_defined_var; 102var bool: X_INTRODUCED_82 ::var_is_introduced :: is_defined_var; 103var bool: X_INTRODUCED_83 ::var_is_introduced :: is_defined_var; 104var bool: X_INTRODUCED_84 ::var_is_introduced :: is_defined_var; 105var bool: X_INTRODUCED_85 ::var_is_introduced :: is_defined_var; 106var bool: X_INTRODUCED_86 ::var_is_introduced :: is_defined_var; 107var bool: X_INTRODUCED_87 ::var_is_introduced :: is_defined_var; 108var bool: X_INTRODUCED_88 ::var_is_introduced :: is_defined_var; 109var bool: X_INTRODUCED_89 ::var_is_introduced :: is_defined_var; 110var bool: X_INTRODUCED_90 ::var_is_introduced :: is_defined_var; 111var bool: X_INTRODUCED_91 ::var_is_introduced :: is_defined_var; 112var bool: X_INTRODUCED_92 ::var_is_introduced :: is_defined_var; 113var bool: X_INTRODUCED_93 ::var_is_introduced :: is_defined_var; 114var bool: X_INTRODUCED_94 ::var_is_introduced :: is_defined_var; 115var bool: X_INTRODUCED_95 ::var_is_introduced :: is_defined_var; 116var bool: X_INTRODUCED_96 ::var_is_introduced :: is_defined_var; 117var bool: X_INTRODUCED_97 ::var_is_introduced :: is_defined_var; 118var bool: X_INTRODUCED_98 ::var_is_introduced :: is_defined_var; 119var bool: X_INTRODUCED_99 ::var_is_introduced :: is_defined_var; 120var bool: X_INTRODUCED_100 ::var_is_introduced :: is_defined_var; 121var bool: X_INTRODUCED_101 ::var_is_introduced :: is_defined_var; 122var bool: X_INTRODUCED_102 ::var_is_introduced :: is_defined_var; 123var bool: X_INTRODUCED_103 ::var_is_introduced :: is_defined_var; 124var bool: X_INTRODUCED_104 ::var_is_introduced :: is_defined_var; 125var bool: X_INTRODUCED_105 ::var_is_introduced :: is_defined_var; 126var bool: X_INTRODUCED_106 ::var_is_introduced :: is_defined_var; 127var bool: X_INTRODUCED_107 ::var_is_introduced :: is_defined_var; 128var bool: X_INTRODUCED_108 ::var_is_introduced :: is_defined_var; 129var bool: X_INTRODUCED_109 ::var_is_introduced :: is_defined_var; 130var bool: X_INTRODUCED_110 ::var_is_introduced :: is_defined_var; 131var bool: X_INTRODUCED_111 ::var_is_introduced :: is_defined_var; 132var bool: X_INTRODUCED_112 ::var_is_introduced :: is_defined_var; 133var bool: X_INTRODUCED_113 ::var_is_introduced :: is_defined_var; 134var bool: X_INTRODUCED_114 ::var_is_introduced :: is_defined_var; 135var bool: X_INTRODUCED_115 ::var_is_introduced :: is_defined_var; 136var bool: X_INTRODUCED_116 ::var_is_introduced :: is_defined_var; 137var bool: X_INTRODUCED_117 ::var_is_introduced :: is_defined_var; 138var bool: X_INTRODUCED_118 ::var_is_introduced :: is_defined_var; 139var bool: X_INTRODUCED_119 ::var_is_introduced :: is_defined_var; 140var bool: X_INTRODUCED_120 ::var_is_introduced :: is_defined_var; 141var bool: X_INTRODUCED_121 ::var_is_introduced :: is_defined_var; 142var bool: X_INTRODUCED_122 ::var_is_introduced :: is_defined_var; 143var bool: X_INTRODUCED_123 ::var_is_introduced :: is_defined_var; 144var bool: X_INTRODUCED_124 ::var_is_introduced :: is_defined_var; 145var bool: X_INTRODUCED_125 ::var_is_introduced :: is_defined_var; 146var bool: X_INTRODUCED_126 ::var_is_introduced :: is_defined_var; 147var bool: X_INTRODUCED_127 ::var_is_introduced :: is_defined_var; 148var bool: X_INTRODUCED_128 ::var_is_introduced :: is_defined_var; 149var bool: X_INTRODUCED_129 ::var_is_introduced :: is_defined_var; 150var bool: X_INTRODUCED_130 ::var_is_introduced :: is_defined_var; 151var bool: X_INTRODUCED_131 ::var_is_introduced :: is_defined_var; 152var bool: X_INTRODUCED_132 ::var_is_introduced :: is_defined_var; 153var bool: X_INTRODUCED_133 ::var_is_introduced :: is_defined_var; 154array [1..10] of var int: LD = [Q1,Q2,Q3,Q4,Q5,Q6,Q7,Q8,Q9,Q10]; 155array [1..11] of var int: X_INTRODUCED_22 ::var_is_introduced = [AE,X_INTRODUCED_19,X_INTRODUCED_18,X_INTRODUCED_17,X_INTRODUCED_16,X_INTRODUCED_15,X_INTRODUCED_14,X_INTRODUCED_13,X_INTRODUCED_12,X_INTRODUCED_11,X_INTRODUCED_10]; 156array [1..11] of var int: X_INTRODUCED_35 ::var_is_introduced = [BCD,X_INTRODUCED_33,X_INTRODUCED_32,X_INTRODUCED_31,X_INTRODUCED_30,X_INTRODUCED_29,X_INTRODUCED_28,X_INTRODUCED_27,X_INTRODUCED_26,X_INTRODUCED_25,X_INTRODUCED_24]; 157constraint int_eq_reif(AE,4,X_INTRODUCED_0):: defines_var(X_INTRODUCED_0); 158constraint int_eq_reif(AE,3,X_INTRODUCED_1):: defines_var(X_INTRODUCED_1); 159constraint int_eq_reif(AE,2,X_INTRODUCED_2):: defines_var(X_INTRODUCED_2); 160constraint int_eq_reif(AE,1,X_INTRODUCED_3):: defines_var(X_INTRODUCED_3); 161constraint int_eq_reif(AE,0,X_INTRODUCED_4):: defines_var(X_INTRODUCED_4); 162constraint int_eq_reif(BCD,3,X_INTRODUCED_5):: defines_var(X_INTRODUCED_5); 163constraint int_eq_reif(BCD,4,X_INTRODUCED_6):: defines_var(X_INTRODUCED_6); 164constraint int_eq_reif(BCD,5,X_INTRODUCED_7):: defines_var(X_INTRODUCED_7); 165constraint int_eq_reif(BCD,6,X_INTRODUCED_8):: defines_var(X_INTRODUCED_8); 166constraint int_eq_reif(BCD,7,X_INTRODUCED_9):: defines_var(X_INTRODUCED_9); 167constraint int_lin_eq(X_INTRODUCED_23,X_INTRODUCED_22,0):: defines_var(AE); 168constraint int_lin_eq(X_INTRODUCED_23,X_INTRODUCED_35,0):: defines_var(BCD); 169constraint array_bool_and([X_INTRODUCED_0,X_INTRODUCED_67],X_INTRODUCED_66):: defines_var(X_INTRODUCED_66); 170constraint array_bool_and([X_INTRODUCED_5,X_INTRODUCED_67,X_INTRODUCED_69],X_INTRODUCED_68):: defines_var(X_INTRODUCED_68); 171constraint array_bool_and([X_INTRODUCED_66,X_INTRODUCED_67,X_INTRODUCED_69,X_INTRODUCED_71],X_INTRODUCED_70):: defines_var(X_INTRODUCED_70); 172constraint array_bool_and([X_INTRODUCED_67,X_INTRODUCED_69,X_INTRODUCED_71,X_INTRODUCED_73,X_INTRODUCED_74],X_INTRODUCED_72):: defines_var(X_INTRODUCED_72); 173constraint array_bool_and([X_INTRODUCED_67,X_INTRODUCED_69,X_INTRODUCED_71,X_INTRODUCED_73,X_INTRODUCED_76,X_INTRODUCED_77],X_INTRODUCED_75):: defines_var(X_INTRODUCED_75); 174constraint array_bool_and([X_INTRODUCED_79,X_INTRODUCED_80,X_INTRODUCED_81,X_INTRODUCED_82,X_INTRODUCED_83,X_INTRODUCED_84,X_INTRODUCED_85,X_INTRODUCED_86,X_INTRODUCED_87,X_INTRODUCED_88],X_INTRODUCED_78):: defines_var(X_INTRODUCED_78); 175constraint array_bool_and([BeforeQ4,AfterQ4],X_INTRODUCED_89):: defines_var(X_INTRODUCED_89); 176constraint array_bool_and([AfterQ4,X_INTRODUCED_91],X_INTRODUCED_90):: defines_var(X_INTRODUCED_90); 177constraint array_bool_and([BeforeQ4,X_INTRODUCED_93],X_INTRODUCED_92):: defines_var(X_INTRODUCED_92); 178constraint array_bool_and([X_INTRODUCED_2,X_INTRODUCED_100,X_INTRODUCED_101,X_INTRODUCED_102,X_INTRODUCED_103],X_INTRODUCED_77):: defines_var(X_INTRODUCED_77); 179constraint array_bool_and([X_INTRODUCED_70,X_INTRODUCED_100,X_INTRODUCED_102,X_INTRODUCED_104,X_INTRODUCED_105],X_INTRODUCED_98):: defines_var(X_INTRODUCED_98); 180constraint array_bool_and([X_INTRODUCED_100,X_INTRODUCED_101,X_INTRODUCED_103,X_INTRODUCED_105,X_INTRODUCED_106],X_INTRODUCED_106):: defines_var(X_INTRODUCED_106); 181constraint array_bool_and([X_INTRODUCED_100,X_INTRODUCED_102,X_INTRODUCED_103,X_INTRODUCED_105,X_INTRODUCED_108],X_INTRODUCED_107):: defines_var(X_INTRODUCED_107); 182constraint array_bool_and([X_INTRODUCED_101,X_INTRODUCED_102,X_INTRODUCED_103,X_INTRODUCED_105,X_INTRODUCED_110],X_INTRODUCED_109):: defines_var(X_INTRODUCED_109); 183constraint array_bool_and([X_INTRODUCED_112,X_INTRODUCED_113,X_INTRODUCED_114,X_INTRODUCED_115,X_INTRODUCED_116],X_INTRODUCED_111):: defines_var(X_INTRODUCED_111); 184constraint array_bool_and([X_INTRODUCED_8,X_INTRODUCED_112,X_INTRODUCED_113,X_INTRODUCED_114],X_INTRODUCED_97):: defines_var(X_INTRODUCED_97); 185constraint array_bool_and([X_INTRODUCED_90,X_INTRODUCED_112,X_INTRODUCED_113],X_INTRODUCED_117):: defines_var(X_INTRODUCED_117); 186constraint array_bool_and([X_INTRODUCED_112,X_INTRODUCED_118],X_INTRODUCED_118):: defines_var(X_INTRODUCED_118); 187constraint int_eq_reif(Q2,2,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119); 188constraint array_bool_and([X_INTRODUCED_9,X_INTRODUCED_121,X_INTRODUCED_122,X_INTRODUCED_123,X_INTRODUCED_124],X_INTRODUCED_120):: defines_var(X_INTRODUCED_120); 189constraint array_bool_and([X_INTRODUCED_75,X_INTRODUCED_121,X_INTRODUCED_122,X_INTRODUCED_123],X_INTRODUCED_96):: defines_var(X_INTRODUCED_96); 190constraint array_bool_and([X_INTRODUCED_92,X_INTRODUCED_121,X_INTRODUCED_122],X_INTRODUCED_108):: defines_var(X_INTRODUCED_108); 191constraint array_bool_and([X_INTRODUCED_109,X_INTRODUCED_121],X_INTRODUCED_125):: defines_var(X_INTRODUCED_125); 192constraint bool_eq(X_INTRODUCED_126,X_INTRODUCED_119); 193constraint int_eq_reif(Q7,Q8,X_INTRODUCED_127):: defines_var(X_INTRODUCED_127); 194constraint int_eq_reif(Q6,Q7,X_INTRODUCED_95):: defines_var(X_INTRODUCED_95); 195constraint int_eq_reif(Q5,Q6,X_INTRODUCED_128):: defines_var(X_INTRODUCED_128); 196constraint int_eq_reif(Q4,Q5,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119); 197constraint int_eq_reif(Q3,Q4,X_INTRODUCED_129):: defines_var(X_INTRODUCED_129); 198constraint int_eq_reif(Q1,1,X_INTRODUCED_99):: defines_var(X_INTRODUCED_99); 199constraint array_bool_and([X_INTRODUCED_129,X_INTRODUCED_130],X_INTRODUCED_110):: defines_var(X_INTRODUCED_110); 200constraint array_bool_and([X_INTRODUCED_126,X_INTRODUCED_130,X_INTRODUCED_132],X_INTRODUCED_131):: defines_var(X_INTRODUCED_131); 201constraint array_bool_and([X_INTRODUCED_119,X_INTRODUCED_130,X_INTRODUCED_132,X_INTRODUCED_133],X_INTRODUCED_99):: defines_var(X_INTRODUCED_99); 202constraint array_bool_or([X_INTRODUCED_95,X_INTRODUCED_96,X_INTRODUCED_97,X_INTRODUCED_98,X_INTRODUCED_99],BeforeQ4):: defines_var(BeforeQ4); 203constraint array_bool_or([X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_68,X_INTRODUCED_94],AfterQ4):: defines_var(AfterQ4); 204constraint array_bool_and([X_INTRODUCED_64,X_INTRODUCED_65],BCD1):: defines_var(BCD1); 205constraint array_bool_and([X_INTRODUCED_61,X_INTRODUCED_62],BCD2):: defines_var(BCD2); 206constraint array_bool_and([X_INTRODUCED_58,X_INTRODUCED_59],BCD3):: defines_var(BCD3); 207constraint array_bool_and([X_INTRODUCED_55,X_INTRODUCED_56],BCD4):: defines_var(BCD4); 208constraint array_bool_and([X_INTRODUCED_52,X_INTRODUCED_53],BCD5):: defines_var(BCD5); 209constraint array_bool_and([X_INTRODUCED_49,X_INTRODUCED_50],BCD6):: defines_var(BCD6); 210constraint array_bool_and([X_INTRODUCED_46,X_INTRODUCED_47],BCD7):: defines_var(BCD7); 211constraint array_bool_and([X_INTRODUCED_43,X_INTRODUCED_44],BCD8):: defines_var(BCD8); 212constraint array_bool_and([X_INTRODUCED_40,X_INTRODUCED_41],BCD9):: defines_var(BCD9); 213constraint array_bool_and([X_INTRODUCED_37,X_INTRODUCED_38],BCD10):: defines_var(BCD10); 214constraint int_eq_reif(Q9,5,X_INTRODUCED_0):: defines_var(X_INTRODUCED_0); 215constraint int_eq_reif(Q9,4,X_INTRODUCED_1):: defines_var(X_INTRODUCED_1); 216constraint int_eq_reif(Q9,3,X_INTRODUCED_2):: defines_var(X_INTRODUCED_2); 217constraint int_eq_reif(Q9,2,X_INTRODUCED_3):: defines_var(X_INTRODUCED_3); 218constraint int_eq_reif(Q9,1,X_INTRODUCED_4):: defines_var(X_INTRODUCED_4); 219constraint int_eq_reif(Q8,5,X_INTRODUCED_5):: defines_var(X_INTRODUCED_5); 220constraint int_eq_reif(Q8,4,X_INTRODUCED_6):: defines_var(X_INTRODUCED_6); 221constraint int_eq_reif(Q8,3,X_INTRODUCED_7):: defines_var(X_INTRODUCED_7); 222constraint int_eq_reif(Q8,2,X_INTRODUCED_8):: defines_var(X_INTRODUCED_8); 223constraint int_eq_reif(Q8,1,X_INTRODUCED_9):: defines_var(X_INTRODUCED_9); 224constraint bool2int(X_INTRODUCED_36,X_INTRODUCED_10):: defines_var(X_INTRODUCED_10); 225constraint bool2int(X_INTRODUCED_63,X_INTRODUCED_11):: defines_var(X_INTRODUCED_11); 226constraint bool2int(X_INTRODUCED_60,X_INTRODUCED_12):: defines_var(X_INTRODUCED_12); 227constraint bool2int(X_INTRODUCED_57,X_INTRODUCED_13):: defines_var(X_INTRODUCED_13); 228constraint bool2int(X_INTRODUCED_54,X_INTRODUCED_14):: defines_var(X_INTRODUCED_14); 229constraint bool2int(X_INTRODUCED_51,X_INTRODUCED_15):: defines_var(X_INTRODUCED_15); 230constraint bool2int(X_INTRODUCED_48,X_INTRODUCED_16):: defines_var(X_INTRODUCED_16); 231constraint bool2int(X_INTRODUCED_45,X_INTRODUCED_17):: defines_var(X_INTRODUCED_17); 232constraint bool2int(X_INTRODUCED_42,X_INTRODUCED_18):: defines_var(X_INTRODUCED_18); 233constraint bool2int(X_INTRODUCED_39,X_INTRODUCED_19):: defines_var(X_INTRODUCED_19); 234constraint bool2int(BCD10,X_INTRODUCED_24):: defines_var(X_INTRODUCED_24); 235constraint bool2int(BCD1,X_INTRODUCED_25):: defines_var(X_INTRODUCED_25); 236constraint bool2int(BCD2,X_INTRODUCED_26):: defines_var(X_INTRODUCED_26); 237constraint bool2int(BCD3,X_INTRODUCED_27):: defines_var(X_INTRODUCED_27); 238constraint bool2int(BCD4,X_INTRODUCED_28):: defines_var(X_INTRODUCED_28); 239constraint bool2int(BCD5,X_INTRODUCED_29):: defines_var(X_INTRODUCED_29); 240constraint bool2int(BCD6,X_INTRODUCED_30):: defines_var(X_INTRODUCED_30); 241constraint bool2int(BCD7,X_INTRODUCED_31):: defines_var(X_INTRODUCED_31); 242constraint bool2int(BCD8,X_INTRODUCED_32):: defines_var(X_INTRODUCED_32); 243constraint bool2int(BCD9,X_INTRODUCED_33):: defines_var(X_INTRODUCED_33); 244constraint bool_eq_reif(BCD10,false,X_INTRODUCED_36):: defines_var(X_INTRODUCED_36); 245constraint int_le_reif(Q10,4,X_INTRODUCED_37):: defines_var(X_INTRODUCED_37); 246constraint int_le_reif(2,Q10,X_INTRODUCED_38):: defines_var(X_INTRODUCED_38); 247constraint bool_eq_reif(BCD9,false,X_INTRODUCED_39):: defines_var(X_INTRODUCED_39); 248constraint int_le_reif(Q9,4,X_INTRODUCED_40):: defines_var(X_INTRODUCED_40); 249constraint int_le_reif(2,Q9,X_INTRODUCED_41):: defines_var(X_INTRODUCED_41); 250constraint bool_eq_reif(BCD8,false,X_INTRODUCED_42):: defines_var(X_INTRODUCED_42); 251constraint int_le_reif(Q8,4,X_INTRODUCED_43):: defines_var(X_INTRODUCED_43); 252constraint int_le_reif(2,Q8,X_INTRODUCED_44):: defines_var(X_INTRODUCED_44); 253constraint bool_eq_reif(BCD7,false,X_INTRODUCED_45):: defines_var(X_INTRODUCED_45); 254constraint int_le_reif(Q7,4,X_INTRODUCED_46):: defines_var(X_INTRODUCED_46); 255constraint int_le_reif(2,Q7,X_INTRODUCED_47):: defines_var(X_INTRODUCED_47); 256constraint bool_eq_reif(BCD6,false,X_INTRODUCED_48):: defines_var(X_INTRODUCED_48); 257constraint int_le_reif(Q6,4,X_INTRODUCED_49):: defines_var(X_INTRODUCED_49); 258constraint int_le_reif(2,Q6,X_INTRODUCED_50):: defines_var(X_INTRODUCED_50); 259constraint bool_eq_reif(BCD5,false,X_INTRODUCED_51):: defines_var(X_INTRODUCED_51); 260constraint int_le_reif(Q5,4,X_INTRODUCED_52):: defines_var(X_INTRODUCED_52); 261constraint int_le_reif(2,Q5,X_INTRODUCED_53):: defines_var(X_INTRODUCED_53); 262constraint bool_eq_reif(BCD4,false,X_INTRODUCED_54):: defines_var(X_INTRODUCED_54); 263constraint int_le_reif(Q4,4,X_INTRODUCED_55):: defines_var(X_INTRODUCED_55); 264constraint int_le_reif(2,Q4,X_INTRODUCED_56):: defines_var(X_INTRODUCED_56); 265constraint bool_eq_reif(BCD3,false,X_INTRODUCED_57):: defines_var(X_INTRODUCED_57); 266constraint int_le_reif(Q3,4,X_INTRODUCED_58):: defines_var(X_INTRODUCED_58); 267constraint int_le_reif(2,Q3,X_INTRODUCED_59):: defines_var(X_INTRODUCED_59); 268constraint bool_eq_reif(BCD2,false,X_INTRODUCED_60):: defines_var(X_INTRODUCED_60); 269constraint int_le_reif(Q2,4,X_INTRODUCED_61):: defines_var(X_INTRODUCED_61); 270constraint int_le_reif(2,Q2,X_INTRODUCED_62):: defines_var(X_INTRODUCED_62); 271constraint bool_eq_reif(BCD1,false,X_INTRODUCED_63):: defines_var(X_INTRODUCED_63); 272constraint int_le_reif(Q1,4,X_INTRODUCED_64):: defines_var(X_INTRODUCED_64); 273constraint int_le_reif(2,Q1,X_INTRODUCED_65):: defines_var(X_INTRODUCED_65); 274constraint int_eq_reif(Q7,5,X_INTRODUCED_66):: defines_var(X_INTRODUCED_66); 275constraint int_ne_reif(Q10,5,X_INTRODUCED_67):: defines_var(X_INTRODUCED_67); 276constraint int_eq_reif(Q7,4,X_INTRODUCED_68):: defines_var(X_INTRODUCED_68); 277constraint int_ne_reif(Q9,5,X_INTRODUCED_69):: defines_var(X_INTRODUCED_69); 278constraint int_eq_reif(Q7,3,X_INTRODUCED_70):: defines_var(X_INTRODUCED_70); 279constraint int_ne_reif(Q8,5,X_INTRODUCED_71):: defines_var(X_INTRODUCED_71); 280constraint int_eq_reif(Q7,2,X_INTRODUCED_72):: defines_var(X_INTRODUCED_72); 281constraint int_ne_reif(Q7,5,X_INTRODUCED_73):: defines_var(X_INTRODUCED_73); 282constraint int_eq_reif(Q6,5,X_INTRODUCED_74):: defines_var(X_INTRODUCED_74); 283constraint int_eq_reif(Q7,1,X_INTRODUCED_75):: defines_var(X_INTRODUCED_75); 284constraint int_ne_reif(Q6,5,X_INTRODUCED_76):: defines_var(X_INTRODUCED_76); 285constraint int_eq_reif(Q5,5,X_INTRODUCED_77):: defines_var(X_INTRODUCED_77); 286constraint int_eq_reif(Q6,4,X_INTRODUCED_78):: defines_var(X_INTRODUCED_78); 287constraint int_ne_reif(Q2,4,X_INTRODUCED_79):: defines_var(X_INTRODUCED_79); 288constraint int_ne_reif(Q3,4,X_INTRODUCED_80):: defines_var(X_INTRODUCED_80); 289constraint int_ne_reif(Q4,4,X_INTRODUCED_81):: defines_var(X_INTRODUCED_81); 290constraint int_ne_reif(Q5,4,X_INTRODUCED_82):: defines_var(X_INTRODUCED_82); 291constraint int_ne_reif(Q6,4,X_INTRODUCED_83):: defines_var(X_INTRODUCED_83); 292constraint int_ne_reif(Q7,4,X_INTRODUCED_84):: defines_var(X_INTRODUCED_84); 293constraint int_ne_reif(Q8,4,X_INTRODUCED_85):: defines_var(X_INTRODUCED_85); 294constraint int_ne_reif(Q9,4,X_INTRODUCED_86):: defines_var(X_INTRODUCED_86); 295constraint int_ne_reif(Q10,4,X_INTRODUCED_87):: defines_var(X_INTRODUCED_87); 296constraint int_ne_reif(Q1,4,X_INTRODUCED_88):: defines_var(X_INTRODUCED_88); 297constraint int_eq_reif(Q6,3,X_INTRODUCED_89):: defines_var(X_INTRODUCED_89); 298constraint int_eq_reif(Q6,2,X_INTRODUCED_90):: defines_var(X_INTRODUCED_90); 299constraint bool_eq_reif(BeforeQ4,false,X_INTRODUCED_91):: defines_var(X_INTRODUCED_91); 300constraint int_eq_reif(Q6,1,X_INTRODUCED_92):: defines_var(X_INTRODUCED_92); 301constraint bool_eq_reif(AfterQ4,false,X_INTRODUCED_93):: defines_var(X_INTRODUCED_93); 302constraint int_eq_reif(Q10,4,X_INTRODUCED_94):: defines_var(X_INTRODUCED_94); 303constraint int_eq_reif(Q2,4,X_INTRODUCED_95):: defines_var(X_INTRODUCED_95); 304constraint int_eq_reif(Q3,4,X_INTRODUCED_96):: defines_var(X_INTRODUCED_96); 305constraint int_eq_reif(Q4,4,X_INTRODUCED_97):: defines_var(X_INTRODUCED_97); 306constraint int_eq_reif(Q5,4,X_INTRODUCED_98):: defines_var(X_INTRODUCED_98); 307constraint int_eq_reif(Q1,4,X_INTRODUCED_99):: defines_var(X_INTRODUCED_99); 308constraint int_ne_reif(Q1,3,X_INTRODUCED_100):: defines_var(X_INTRODUCED_100); 309constraint int_ne_reif(Q3,3,X_INTRODUCED_101):: defines_var(X_INTRODUCED_101); 310constraint int_ne_reif(Q5,3,X_INTRODUCED_102):: defines_var(X_INTRODUCED_102); 311constraint int_ne_reif(Q7,3,X_INTRODUCED_103):: defines_var(X_INTRODUCED_103); 312constraint int_ne_reif(Q2,3,X_INTRODUCED_104):: defines_var(X_INTRODUCED_104); 313constraint int_ne_reif(Q9,3,X_INTRODUCED_105):: defines_var(X_INTRODUCED_105); 314constraint int_eq_reif(Q5,3,X_INTRODUCED_106):: defines_var(X_INTRODUCED_106); 315constraint int_eq_reif(Q5,2,X_INTRODUCED_107):: defines_var(X_INTRODUCED_107); 316constraint int_eq_reif(Q3,3,X_INTRODUCED_108):: defines_var(X_INTRODUCED_108); 317constraint int_eq_reif(Q5,1,X_INTRODUCED_109):: defines_var(X_INTRODUCED_109); 318constraint int_eq_reif(Q1,3,X_INTRODUCED_110):: defines_var(X_INTRODUCED_110); 319constraint int_eq_reif(Q4,5,X_INTRODUCED_111):: defines_var(X_INTRODUCED_111); 320constraint int_ne_reif(Q2,2,X_INTRODUCED_112):: defines_var(X_INTRODUCED_112); 321constraint int_ne_reif(Q4,2,X_INTRODUCED_113):: defines_var(X_INTRODUCED_113); 322constraint int_ne_reif(Q6,2,X_INTRODUCED_114):: defines_var(X_INTRODUCED_114); 323constraint int_ne_reif(Q8,2,X_INTRODUCED_115):: defines_var(X_INTRODUCED_115); 324constraint int_eq_reif(Q10,2,X_INTRODUCED_116):: defines_var(X_INTRODUCED_116); 325constraint int_eq_reif(Q4,3,X_INTRODUCED_117):: defines_var(X_INTRODUCED_117); 326constraint int_eq_reif(Q4,2,X_INTRODUCED_118):: defines_var(X_INTRODUCED_118); 327constraint int_eq_reif(Q4,1,X_INTRODUCED_119):: defines_var(X_INTRODUCED_119); 328constraint int_eq_reif(Q3,5,X_INTRODUCED_120):: defines_var(X_INTRODUCED_120); 329constraint int_ne_reif(Q4,1,X_INTRODUCED_121):: defines_var(X_INTRODUCED_121); 330constraint int_ne_reif(Q5,1,X_INTRODUCED_122):: defines_var(X_INTRODUCED_122); 331constraint int_ne_reif(Q6,1,X_INTRODUCED_123):: defines_var(X_INTRODUCED_123); 332constraint int_ne_reif(Q7,1,X_INTRODUCED_124):: defines_var(X_INTRODUCED_124); 333constraint int_eq_reif(Q3,2,X_INTRODUCED_125):: defines_var(X_INTRODUCED_125); 334constraint int_eq_reif(Q3,1,X_INTRODUCED_126):: defines_var(X_INTRODUCED_126); 335constraint int_eq_reif(Q2,5,X_INTRODUCED_127):: defines_var(X_INTRODUCED_127); 336constraint int_eq_reif(Q2,3,X_INTRODUCED_128):: defines_var(X_INTRODUCED_128); 337constraint int_eq_reif(Q2,1,X_INTRODUCED_129):: defines_var(X_INTRODUCED_129); 338constraint int_ne_reif(Q1,1,X_INTRODUCED_130):: defines_var(X_INTRODUCED_130); 339constraint int_eq_reif(Q1,2,X_INTRODUCED_131):: defines_var(X_INTRODUCED_131); 340constraint int_ne_reif(Q2,1,X_INTRODUCED_132):: defines_var(X_INTRODUCED_132); 341constraint int_ne_reif(Q3,1,X_INTRODUCED_133):: defines_var(X_INTRODUCED_133); 342solve :: int_search(LD,first_fail,indomain_min,complete) satisfy; 343