1var 0..10: AE; 2var bool: AE1; 3var bool: AE10; 4var bool: AE2; 5var bool: AE3; 6var bool: AE4; 7var bool: AE5; 8var bool: AE6; 9var bool: AE7; 10var bool: AE8; 11var bool: AE9; 12var bool: AfterQ4; 13var 0..10: BCD; 14var bool: BCD1; 15var bool: BCD10; 16var bool: BCD2; 17var bool: BCD3; 18var bool: BCD4; 19var bool: BCD5; 20var bool: BCD6; 21var bool: BCD7; 22var bool: BCD8; 23var bool: BCD9; 24var bool: BOOL____00003 :: is_defined_var :: var_is_introduced; 25var bool: BOOL____00004 :: is_defined_var :: var_is_introduced; 26var bool: BOOL____00005 :: is_defined_var :: var_is_introduced; 27var bool: BOOL____00006 :: is_defined_var :: var_is_introduced; 28var bool: BOOL____00009 :: is_defined_var :: var_is_introduced; 29var bool: BOOL____00012 :: is_defined_var :: var_is_introduced; 30var bool: BOOL____00014 :: is_defined_var :: var_is_introduced; 31var bool: BOOL____00016 :: is_defined_var :: var_is_introduced; 32var bool: BOOL____00002 :: var_is_introduced = BOOL____00016; 33var bool: BOOL____00018 :: is_defined_var :: var_is_introduced; 34var bool: BOOL____00020 :: is_defined_var :: var_is_introduced; 35var bool: BOOL____00022 :: is_defined_var :: var_is_introduced; 36var bool: BOOL____00025 :: is_defined_var :: var_is_introduced; 37var bool: BOOL____00026 :: is_defined_var :: var_is_introduced; 38var bool: BOOL____00029 :: is_defined_var :: var_is_introduced; 39var bool: BOOL____00030 :: is_defined_var :: var_is_introduced; 40var bool: BOOL____00033 :: is_defined_var :: var_is_introduced; 41var bool: BOOL____00034 :: is_defined_var :: var_is_introduced; 42var bool: BOOL____00037 :: is_defined_var :: var_is_introduced; 43var bool: BOOL____00038 :: is_defined_var :: var_is_introduced; 44var bool: BOOL____00040 :: is_defined_var :: var_is_introduced; 45var bool: BOOL____00041 :: is_defined_var :: var_is_introduced; 46var bool: BOOL____00044 :: is_defined_var :: var_is_introduced; 47var bool: BOOL____00045 :: is_defined_var :: var_is_introduced; 48var bool: BOOL____00048 :: is_defined_var :: var_is_introduced; 49var bool: BOOL____00049 :: is_defined_var :: var_is_introduced; 50var bool: BOOL____00051 :: is_defined_var :: var_is_introduced; 51var bool: BOOL____00052 :: is_defined_var :: var_is_introduced; 52var bool: BOOL____00053 :: is_defined_var :: var_is_introduced; 53var bool: BOOL____00054 :: is_defined_var :: var_is_introduced; 54var bool: BOOL____00055 :: is_defined_var :: var_is_introduced; 55var bool: BOOL____00056 :: is_defined_var :: var_is_introduced; 56var bool: BOOL____00057 :: is_defined_var :: var_is_introduced; 57var bool: BOOL____00058 :: is_defined_var :: var_is_introduced; 58var bool: BOOL____00060 :: is_defined_var :: var_is_introduced; 59var bool: BOOL____00061 :: is_defined_var :: var_is_introduced; 60var bool: BOOL____00063 :: is_defined_var :: var_is_introduced; 61var bool: BOOL____00066 :: is_defined_var :: var_is_introduced; 62var bool: BOOL____00067 :: is_defined_var :: var_is_introduced; 63var bool: BOOL____00070 :: is_defined_var :: var_is_introduced; 64var bool: BOOL____00075 :: is_defined_var :: var_is_introduced; 65var bool: BOOL____00077 :: is_defined_var :: var_is_introduced; 66var bool: BOOL____00078 :: is_defined_var :: var_is_introduced; 67var bool: BOOL____00079 :: is_defined_var :: var_is_introduced; 68var bool: BOOL____00080 :: is_defined_var :: var_is_introduced; 69var bool: BOOL____00082 :: is_defined_var :: var_is_introduced; 70var bool: BOOL____00084 :: is_defined_var :: var_is_introduced; 71var bool: BOOL____00085 :: is_defined_var :: var_is_introduced; 72var bool: BOOL____00086 :: is_defined_var :: var_is_introduced; 73var bool: BOOL____00087 :: is_defined_var :: var_is_introduced; 74var bool: BOOL____00088 :: is_defined_var :: var_is_introduced; 75var bool: BOOL____00089 :: is_defined_var :: var_is_introduced; 76var bool: BOOL____00090 :: is_defined_var :: var_is_introduced; 77var bool: BOOL____00091 :: is_defined_var :: var_is_introduced; 78var bool: BOOL____00092 :: is_defined_var :: var_is_introduced; 79var bool: BOOL____00093 :: is_defined_var :: var_is_introduced; 80var bool: BOOL____00094 :: is_defined_var :: var_is_introduced; 81var bool: BOOL____00095 :: is_defined_var :: var_is_introduced; 82var bool: BOOL____00096 :: is_defined_var :: var_is_introduced; 83var bool: BOOL____00097 :: is_defined_var :: var_is_introduced; 84var bool: BOOL____00098 :: is_defined_var :: var_is_introduced; 85var bool: BOOL____00099 :: is_defined_var :: var_is_introduced; 86var bool: BOOL____00100 :: is_defined_var :: var_is_introduced; 87var bool: BOOL____00102 :: is_defined_var :: var_is_introduced; 88var bool: BOOL____00103 :: is_defined_var :: var_is_introduced; 89var bool: BOOL____00105 :: is_defined_var :: var_is_introduced; 90var bool: BOOL____00107 :: is_defined_var :: var_is_introduced; 91var bool: BOOL____00109 :: is_defined_var :: var_is_introduced; 92var bool: BOOL____00110 :: is_defined_var :: var_is_introduced; 93var bool: BOOL____00111 :: is_defined_var :: var_is_introduced; 94var bool: BOOL____00114 :: is_defined_var :: var_is_introduced; 95var bool: BOOL____00115 :: is_defined_var :: var_is_introduced; 96var bool: BOOL____00118 :: is_defined_var :: var_is_introduced; 97var bool: BOOL____00119 :: is_defined_var :: var_is_introduced; 98var bool: BOOL____00122 :: is_defined_var :: var_is_introduced; 99var bool: BOOL____00123 :: is_defined_var :: var_is_introduced; 100var bool: BOOL____00126 :: is_defined_var :: var_is_introduced; 101var bool: BOOL____00127 :: is_defined_var :: var_is_introduced; 102var bool: BOOL____00130 :: is_defined_var :: var_is_introduced; 103var bool: BOOL____00131 :: is_defined_var :: var_is_introduced; 104var bool: BOOL____00134 :: is_defined_var :: var_is_introduced; 105var bool: BOOL____00135 :: is_defined_var :: var_is_introduced; 106var bool: BOOL____00138 :: is_defined_var :: var_is_introduced; 107var bool: BOOL____00139 :: is_defined_var :: var_is_introduced; 108var bool: BOOL____00142 :: is_defined_var :: var_is_introduced; 109var bool: BOOL____00143 :: is_defined_var :: var_is_introduced; 110var bool: BOOL____00146 :: is_defined_var :: var_is_introduced; 111var bool: BOOL____00147 :: is_defined_var :: var_is_introduced; 112var bool: BOOL____00172 :: is_defined_var :: var_is_introduced; 113var bool: BOOL____00173 :: is_defined_var :: var_is_introduced; 114var bool: BOOL____00175 :: is_defined_var :: var_is_introduced; 115var bool: BOOL____00176 :: is_defined_var :: var_is_introduced; 116var bool: BOOL____00177 :: is_defined_var :: var_is_introduced; 117var bool: BOOL____00179 :: is_defined_var :: var_is_introduced; 118var bool: BOOL____00181 :: is_defined_var :: var_is_introduced; 119var bool: BOOL____00182 :: is_defined_var :: var_is_introduced; 120var bool: BOOL____00183 :: is_defined_var :: var_is_introduced; 121var bool: BOOL____00184 :: is_defined_var :: var_is_introduced; 122var bool: BeforeQ4; 123var 0..1: INT____00150 :: is_defined_var :: var_is_introduced; 124var 0..1: INT____00151 :: is_defined_var :: var_is_introduced; 125var 0..1: INT____00152 :: is_defined_var :: var_is_introduced; 126var 0..1: INT____00153 :: is_defined_var :: var_is_introduced; 127var 0..1: INT____00154 :: is_defined_var :: var_is_introduced; 128var 0..1: INT____00155 :: is_defined_var :: var_is_introduced; 129var 0..1: INT____00156 :: is_defined_var :: var_is_introduced; 130var 0..1: INT____00157 :: is_defined_var :: var_is_introduced; 131var 0..1: INT____00158 :: is_defined_var :: var_is_introduced; 132var 0..1: INT____00159 :: is_defined_var :: var_is_introduced; 133var 0..1: INT____00161 :: is_defined_var :: var_is_introduced; 134var 0..1: INT____00162 :: is_defined_var :: var_is_introduced; 135var 0..1: INT____00163 :: is_defined_var :: var_is_introduced; 136var 0..1: INT____00164 :: is_defined_var :: var_is_introduced; 137var 0..1: INT____00165 :: is_defined_var :: var_is_introduced; 138var 0..1: INT____00166 :: is_defined_var :: var_is_introduced; 139var 0..1: INT____00167 :: is_defined_var :: var_is_introduced; 140var 0..1: INT____00168 :: is_defined_var :: var_is_introduced; 141var 0..1: INT____00169 :: is_defined_var :: var_is_introduced; 142var 0..1: INT____00170 :: is_defined_var :: var_is_introduced; 143var 1..5: Q1; 144var 1..5: Q10; 145var 1..5: Q2; 146var 1..5: Q3; 147var 1..5: Q4; 148var 1..5: Q5; 149var 1..5: Q6; 150var 1..5: Q7; 151var 1..5: Q8; 152var 1..5: Q9; 153array [1..10] of var 1..5: LD :: output_array([1..10]) = [Q1, Q2, Q3, Q4, Q5, Q6, Q7, Q8, Q9, Q10]; 154constraint array_bool_and([BOOL____00014, BOOL____00003], BOOL____00012) :: defines_var(BOOL____00012); 155constraint array_bool_and([BOOL____00041, BOOL____00040], BOOL____00041); 156constraint array_bool_and([BOOL____00058, BOOL____00025], BOOL____00026) :: defines_var(BOOL____00026); 157constraint array_bool_and([BOOL____00079, AfterQ4], BOOL____00080) :: defines_var(BOOL____00080); 158constraint array_bool_and([BOOL____00110, BOOL____00111], BCD1); 159constraint array_bool_and([BOOL____00114, BOOL____00115], BCD2); 160constraint array_bool_and([BOOL____00118, BOOL____00119], BCD3); 161constraint array_bool_and([BOOL____00122, BOOL____00123], BCD4); 162constraint array_bool_and([BOOL____00126, BOOL____00127], BCD5); 163constraint array_bool_and([BOOL____00130, BOOL____00131], BCD6); 164constraint array_bool_and([BOOL____00134, BOOL____00135], BCD7); 165constraint array_bool_and([BOOL____00138, BOOL____00139], BCD8); 166constraint array_bool_and([BOOL____00142, BOOL____00143], BCD9); 167constraint array_bool_and([BOOL____00146, BOOL____00147], BCD10); 168constraint array_bool_and([BOOL____00184, BOOL____00099], BOOL____00109) :: defines_var(BOOL____00109); 169constraint array_bool_and([BeforeQ4, AfterQ4], BOOL____00082) :: defines_var(BOOL____00082); 170constraint array_bool_and([BeforeQ4, BOOL____00077], BOOL____00078) :: defines_var(BOOL____00078); 171constraint array_bool_and([BOOL____00004, BOOL____00002, BOOL____00003], BOOL____00009) :: defines_var(BOOL____00009); 172constraint array_bool_and([BOOL____00029, BOOL____00078, BOOL____00025], BOOL____00030) :: defines_var(BOOL____00030); 173constraint array_bool_and([BOOL____00044, BOOL____00080, BOOL____00040], BOOL____00045) :: defines_var(BOOL____00045); 174constraint array_bool_and([BOOL____00099, BOOL____00177, BOOL____00098], BOOL____00107) :: defines_var(BOOL____00107); 175constraint array_bool_and([BOOL____00005, BOOL____00004, BOOL____00002, BOOL____00003], BOOL____00006) :: defines_var(BOOL____00006); 176constraint array_bool_and([BOOL____00033, BOOL____00029, BOOL____00100, BOOL____00025], BOOL____00034) :: defines_var(BOOL____00034); 177constraint array_bool_and([BOOL____00048, BOOL____00044, BOOL____00173, BOOL____00040], BOOL____00049) :: defines_var(BOOL____00049); 178constraint array_bool_and([BOOL____00099, BOOL____00098, BOOL____00109, BOOL____00097], BOOL____00105) :: defines_var(BOOL____00105); 179constraint array_bool_and([BOOL____00037, BOOL____00033, BOOL____00029, BOOL____00172, BOOL____00025], BOOL____00038) :: defines_var(BOOL____00038); 180constraint array_bool_and([BOOL____00052, BOOL____00048, BOOL____00044, BOOL____00051, BOOL____00040], BOOL____00053) :: defines_var(BOOL____00053); 181constraint array_bool_and([BOOL____00056, BOOL____00055, BOOL____00054, BOOL____00182, BOOL____00060], BOOL____00070) :: defines_var(BOOL____00070); 182constraint array_bool_and([BOOL____00057, BOOL____00055, BOOL____00066, BOOL____00105, BOOL____00060], BOOL____00067) :: defines_var(BOOL____00067); 183constraint array_bool_and([BOOL____00057, BOOL____00056, BOOL____00054, BOOL____00063, BOOL____00060], BOOL____00063); 184constraint array_bool_and([BOOL____00057, BOOL____00056, BOOL____00055, BOOL____00012, BOOL____00054], BOOL____00058) :: defines_var(BOOL____00058); 185constraint array_bool_and([BOOL____00057, BOOL____00056, BOOL____00055, BOOL____00030, BOOL____00060], BOOL____00061) :: defines_var(BOOL____00061); 186constraint array_bool_and([BOOL____00099, BOOL____00098, BOOL____00097, BOOL____00102, BOOL____00096], BOOL____00103) :: defines_var(BOOL____00103); 187constraint array_bool_and([BOOL____00099, BOOL____00098, BOOL____00097, BOOL____00096, BOOL____00070, BOOL____00095], BOOL____00100) :: defines_var(BOOL____00100); 188constraint array_bool_and([BOOL____00093, BOOL____00092, BOOL____00091, BOOL____00090, BOOL____00089, BOOL____00088, BOOL____00087, BOOL____00086, BOOL____00084, BOOL____00085], BOOL____00094) :: defines_var(BOOL____00094); 189constraint array_bool_or([BOOL____00075, BOOL____00183, BOOL____00107, BOOL____00176], AfterQ4); 190constraint array_bool_or([BOOL____00067, BOOL____00049, BOOL____00034, BOOL____00006, BOOL____00020], BeforeQ4); 191constraint bool2int(AE1, INT____00161) :: defines_var(INT____00161); 192constraint bool2int(AE10, INT____00170) :: defines_var(INT____00170); 193constraint bool2int(AE2, INT____00162) :: defines_var(INT____00162); 194constraint bool2int(AE3, INT____00163) :: defines_var(INT____00163); 195constraint bool2int(AE4, INT____00164) :: defines_var(INT____00164); 196constraint bool2int(AE5, INT____00165) :: defines_var(INT____00165); 197constraint bool2int(AE6, INT____00166) :: defines_var(INT____00166); 198constraint bool2int(AE7, INT____00167) :: defines_var(INT____00167); 199constraint bool2int(AE8, INT____00168) :: defines_var(INT____00168); 200constraint bool2int(AE9, INT____00169) :: defines_var(INT____00169); 201constraint bool2int(BCD1, INT____00150) :: defines_var(INT____00150); 202constraint bool2int(BCD10, INT____00159) :: defines_var(INT____00159); 203constraint bool2int(BCD2, INT____00151) :: defines_var(INT____00151); 204constraint bool2int(BCD3, INT____00152) :: defines_var(INT____00152); 205constraint bool2int(BCD4, INT____00153) :: defines_var(INT____00153); 206constraint bool2int(BCD5, INT____00154) :: defines_var(INT____00154); 207constraint bool2int(BCD6, INT____00155) :: defines_var(INT____00155); 208constraint bool2int(BCD7, INT____00156) :: defines_var(INT____00156); 209constraint bool2int(BCD8, INT____00157) :: defines_var(INT____00157); 210constraint bool2int(BCD9, INT____00158) :: defines_var(INT____00158); 211constraint bool_eq_reif(AfterQ4, false, BOOL____00077) :: defines_var(BOOL____00077); 212constraint bool_eq_reif(BCD1, false, AE1); 213constraint bool_eq_reif(BCD10, false, AE10); 214constraint bool_eq_reif(BCD2, false, AE2); 215constraint bool_eq_reif(BCD3, false, AE3); 216constraint bool_eq_reif(BCD4, false, AE4); 217constraint bool_eq_reif(BCD5, false, AE5); 218constraint bool_eq_reif(BCD6, false, AE6); 219constraint bool_eq_reif(BCD7, false, AE7); 220constraint bool_eq_reif(BCD8, false, AE8); 221constraint bool_eq_reif(BCD9, false, AE9); 222constraint bool_eq_reif(BeforeQ4, false, BOOL____00079) :: defines_var(BOOL____00079); 223constraint int_eq_reif(AE, 0, BOOL____00179) :: defines_var(BOOL____00179); 224constraint int_eq_reif(AE, 1, BOOL____00181) :: defines_var(BOOL____00181); 225constraint int_eq_reif(AE, 2, BOOL____00182) :: defines_var(BOOL____00182); 226constraint int_eq_reif(AE, 3, BOOL____00183) :: defines_var(BOOL____00183); 227constraint int_eq_reif(AE, 4, BOOL____00184) :: defines_var(BOOL____00184); 228constraint int_eq_reif(BCD, 3, BOOL____00177) :: defines_var(BOOL____00177); 229constraint int_eq_reif(BCD, 4, BOOL____00176) :: defines_var(BOOL____00176); 230constraint int_eq_reif(BCD, 5, BOOL____00175) :: defines_var(BOOL____00175); 231constraint int_eq_reif(BCD, 6, BOOL____00173) :: defines_var(BOOL____00173); 232constraint int_eq_reif(BCD, 7, BOOL____00172) :: defines_var(BOOL____00172); 233constraint int_eq_reif(Q1, 1, BOOL____00006); 234constraint int_eq_reif(Q1, 2, BOOL____00009); 235constraint int_eq_reif(Q1, 3, BOOL____00012); 236constraint int_eq_reif(Q1, 4, BOOL____00006); 237constraint int_eq_reif(Q10, 2, BOOL____00051) :: defines_var(BOOL____00051); 238constraint int_eq_reif(Q10, 4, BOOL____00075) :: defines_var(BOOL____00075); 239constraint int_eq_reif(Q2, 1, BOOL____00014); 240constraint int_eq_reif(Q2, 2, BOOL____00016); 241constraint int_eq_reif(Q2, 3, BOOL____00018); 242constraint int_eq_reif(Q2, 4, BOOL____00020); 243constraint int_eq_reif(Q2, 5, BOOL____00022); 244constraint int_eq_reif(Q3, 1, BOOL____00002); 245constraint int_eq_reif(Q3, 2, BOOL____00026); 246constraint int_eq_reif(Q3, 3, BOOL____00030); 247constraint int_eq_reif(Q3, 4, BOOL____00034); 248constraint int_eq_reif(Q3, 5, BOOL____00038); 249constraint int_eq_reif(Q3, Q4, BOOL____00014) :: defines_var(BOOL____00014); 250constraint int_eq_reif(Q4, 1, BOOL____00002); 251constraint int_eq_reif(Q4, 2, BOOL____00041); 252constraint int_eq_reif(Q4, 3, BOOL____00045); 253constraint int_eq_reif(Q4, 4, BOOL____00049); 254constraint int_eq_reif(Q4, 5, BOOL____00053); 255constraint int_eq_reif(Q4, Q5, BOOL____00016) :: defines_var(BOOL____00016); 256constraint int_eq_reif(Q5, 1, BOOL____00058); 257constraint int_eq_reif(Q5, 2, BOOL____00061); 258constraint int_eq_reif(Q5, 3, BOOL____00063); 259constraint int_eq_reif(Q5, 4, BOOL____00067); 260constraint int_eq_reif(Q5, 5, BOOL____00070); 261constraint int_eq_reif(Q5, Q6, BOOL____00018) :: defines_var(BOOL____00018); 262constraint int_eq_reif(Q6, 1, BOOL____00078); 263constraint int_eq_reif(Q6, 2, BOOL____00080); 264constraint int_eq_reif(Q6, 3, BOOL____00082); 265constraint int_eq_reif(Q6, 4, BOOL____00094); 266constraint int_eq_reif(Q6, 5, BOOL____00102) :: defines_var(BOOL____00102); 267constraint int_eq_reif(Q6, Q7, BOOL____00020) :: defines_var(BOOL____00020); 268constraint int_eq_reif(Q7, 1, BOOL____00100); 269constraint int_eq_reif(Q7, 2, BOOL____00103); 270constraint int_eq_reif(Q7, 3, BOOL____00105); 271constraint int_eq_reif(Q7, 4, BOOL____00107); 272constraint int_eq_reif(Q7, 5, BOOL____00109); 273constraint int_eq_reif(Q7, Q8, BOOL____00022) :: defines_var(BOOL____00022); 274constraint int_eq_reif(Q8, 1, BOOL____00172); 275constraint int_eq_reif(Q8, 2, BOOL____00173); 276constraint int_eq_reif(Q8, 3, BOOL____00175); 277constraint int_eq_reif(Q8, 4, BOOL____00176); 278constraint int_eq_reif(Q8, 5, BOOL____00177); 279constraint int_eq_reif(Q9, 1, BOOL____00179); 280constraint int_eq_reif(Q9, 2, BOOL____00181); 281constraint int_eq_reif(Q9, 3, BOOL____00182); 282constraint int_eq_reif(Q9, 4, BOOL____00183); 283constraint int_eq_reif(Q9, 5, BOOL____00184); 284constraint int_le_reif(2, Q1, BOOL____00110) :: defines_var(BOOL____00110); 285constraint int_le_reif(2, Q10, BOOL____00146) :: defines_var(BOOL____00146); 286constraint int_le_reif(2, Q2, BOOL____00114) :: defines_var(BOOL____00114); 287constraint int_le_reif(2, Q3, BOOL____00118) :: defines_var(BOOL____00118); 288constraint int_le_reif(2, Q4, BOOL____00122) :: defines_var(BOOL____00122); 289constraint int_le_reif(2, Q5, BOOL____00126) :: defines_var(BOOL____00126); 290constraint int_le_reif(2, Q6, BOOL____00130) :: defines_var(BOOL____00130); 291constraint int_le_reif(2, Q7, BOOL____00134) :: defines_var(BOOL____00134); 292constraint int_le_reif(2, Q8, BOOL____00138) :: defines_var(BOOL____00138); 293constraint int_le_reif(2, Q9, BOOL____00142) :: defines_var(BOOL____00142); 294constraint int_le_reif(Q1, 4, BOOL____00111) :: defines_var(BOOL____00111); 295constraint int_le_reif(Q10, 4, BOOL____00147) :: defines_var(BOOL____00147); 296constraint int_le_reif(Q2, 4, BOOL____00115) :: defines_var(BOOL____00115); 297constraint int_le_reif(Q3, 4, BOOL____00119) :: defines_var(BOOL____00119); 298constraint int_le_reif(Q4, 4, BOOL____00123) :: defines_var(BOOL____00123); 299constraint int_le_reif(Q5, 4, BOOL____00127) :: defines_var(BOOL____00127); 300constraint int_le_reif(Q6, 4, BOOL____00131) :: defines_var(BOOL____00131); 301constraint int_le_reif(Q7, 4, BOOL____00135) :: defines_var(BOOL____00135); 302constraint int_le_reif(Q8, 4, BOOL____00139) :: defines_var(BOOL____00139); 303constraint int_le_reif(Q9, 4, BOOL____00143) :: defines_var(BOOL____00143); 304constraint int_lin_eq([-1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [AE, INT____00161, INT____00162, INT____00163, INT____00164, INT____00165, INT____00166, INT____00167, INT____00168, INT____00169, INT____00170], 0); 305constraint int_lin_eq([-1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [BCD, INT____00150, INT____00151, INT____00152, INT____00153, INT____00154, INT____00155, INT____00156, INT____00157, INT____00158, INT____00159], 0); 306constraint int_ne_reif(Q1, 1, BOOL____00003) :: defines_var(BOOL____00003); 307constraint int_ne_reif(Q1, 3, BOOL____00060) :: defines_var(BOOL____00060); 308constraint int_ne_reif(Q1, 4, BOOL____00084) :: defines_var(BOOL____00084); 309constraint int_ne_reif(Q10, 4, BOOL____00093) :: defines_var(BOOL____00093); 310constraint int_ne_reif(Q10, 5, BOOL____00099) :: defines_var(BOOL____00099); 311constraint int_ne_reif(Q2, 1, BOOL____00004) :: defines_var(BOOL____00004); 312constraint int_ne_reif(Q2, 2, BOOL____00040) :: defines_var(BOOL____00040); 313constraint int_ne_reif(Q2, 3, BOOL____00066) :: defines_var(BOOL____00066); 314constraint int_ne_reif(Q2, 4, BOOL____00085) :: defines_var(BOOL____00085); 315constraint int_ne_reif(Q3, 1, BOOL____00005) :: defines_var(BOOL____00005); 316constraint int_ne_reif(Q3, 3, BOOL____00054) :: defines_var(BOOL____00054); 317constraint int_ne_reif(Q3, 4, BOOL____00086) :: defines_var(BOOL____00086); 318constraint int_ne_reif(Q4, 1, BOOL____00025) :: defines_var(BOOL____00025); 319constraint int_ne_reif(Q4, 2, BOOL____00044) :: defines_var(BOOL____00044); 320constraint int_ne_reif(Q4, 4, BOOL____00087) :: defines_var(BOOL____00087); 321constraint int_ne_reif(Q5, 1, BOOL____00029) :: defines_var(BOOL____00029); 322constraint int_ne_reif(Q5, 3, BOOL____00055) :: defines_var(BOOL____00055); 323constraint int_ne_reif(Q5, 4, BOOL____00088) :: defines_var(BOOL____00088); 324constraint int_ne_reif(Q6, 1, BOOL____00033) :: defines_var(BOOL____00033); 325constraint int_ne_reif(Q6, 2, BOOL____00048) :: defines_var(BOOL____00048); 326constraint int_ne_reif(Q6, 4, BOOL____00089) :: defines_var(BOOL____00089); 327constraint int_ne_reif(Q6, 5, BOOL____00095) :: defines_var(BOOL____00095); 328constraint int_ne_reif(Q7, 1, BOOL____00037) :: defines_var(BOOL____00037); 329constraint int_ne_reif(Q7, 3, BOOL____00056) :: defines_var(BOOL____00056); 330constraint int_ne_reif(Q7, 4, BOOL____00090) :: defines_var(BOOL____00090); 331constraint int_ne_reif(Q7, 5, BOOL____00096) :: defines_var(BOOL____00096); 332constraint int_ne_reif(Q8, 2, BOOL____00052) :: defines_var(BOOL____00052); 333constraint int_ne_reif(Q8, 4, BOOL____00091) :: defines_var(BOOL____00091); 334constraint int_ne_reif(Q8, 5, BOOL____00097) :: defines_var(BOOL____00097); 335constraint int_ne_reif(Q9, 3, BOOL____00057) :: defines_var(BOOL____00057); 336constraint int_ne_reif(Q9, 4, BOOL____00092) :: defines_var(BOOL____00092); 337constraint int_ne_reif(Q9, 5, BOOL____00098) :: defines_var(BOOL____00098); 338solve :: int_search(LD, first_fail, indomain_min, complete) satisfy; 339