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