examples/flatzinc/nine_to_one_equals_100.fzn

1 predicate fzn_all_different_int(array [int] of var int: x);
2 predicate count(array [int] of var int: x, var int: y, var int: c);
3 predicate fixed_fzn_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int…
4 predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of v…
5 predicate maximum_int(var int: m, array [int] of var int: x);
6 predicate minimum_int(var int: m, array [int] of var int: x);
7 predicate sliding_sum(int: low, int: up, int: seq, array [int] of var int: vs);
8 predicate sort(array [int] of var int: x, array [int] of var int: y);
9 predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);
10 predicate table_int(array [int] of var int: x, array [int, int] of int: t);
11 predicate var_fzn_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: …
12 var bool: BOOL____00001 :: is_defined_var :: var_is_introduced;
13 var bool: BOOL____00002 :: is_defined_var :: var_is_introduced;
14 var bool: BOOL____00003 :: is_defined_var :: var_is_introduced;
15 var bool: BOOL____00004 :: is_defined_var :: var_is_introduced;
16 var bool: BOOL____00005 :: is_defined_var :: var_is_introduced;
17 var bool: BOOL____00006 :: is_defined_var :: var_is_introduced;
18 var bool: BOOL____00007 :: is_defined_var :: var_is_introduced;
19 var bool: BOOL____00008 :: is_defined_var :: var_is_introduced;
20 var bool: BOOL____00009 :: is_defined_var :: var_is_introduced;
21 var bool: BOOL____00012 :: is_defined_var :: var_is_introduced;
22 var bool: BOOL____00013 :: is_defined_var :: var_is_introduced;
23 var bool: BOOL____00014 :: is_defined_var :: var_is_introduced;
24 var bool: BOOL____00015 :: is_defined_var :: var_is_introduced;
25 var bool: BOOL____00016 :: is_defined_var :: var_is_introduced;
26 var bool: BOOL____00017 :: is_defined_var :: var_is_introduced;
27 var bool: BOOL____00018 :: is_defined_var :: var_is_introduced;
28 var bool: BOOL____00019 :: is_defined_var :: var_is_introduced;
29 var bool: BOOL____00020 :: is_defined_var :: var_is_introduced;
30 var bool: BOOL____00021 :: is_defined_var :: var_is_introduced;
31 var bool: BOOL____00022 :: is_defined_var :: var_is_introduced;
32 var bool: BOOL____00023 :: is_defined_var :: var_is_introduced;
33 var bool: BOOL____00024 :: is_defined_var :: var_is_introduced;
34 var bool: BOOL____00025 :: is_defined_var :: var_is_introduced;
35 var bool: BOOL____00026 :: is_defined_var :: var_is_introduced;
36 var bool: BOOL____00027 :: is_defined_var :: var_is_introduced;
37 var bool: BOOL____00028 :: is_defined_var :: var_is_introduced;
38 var bool: BOOL____00029 :: is_defined_var :: var_is_introduced;
39 var bool: BOOL____00030 :: is_defined_var :: var_is_introduced;
40 var bool: BOOL____00031 :: is_defined_var :: var_is_introduced;
41 var bool: BOOL____00032 :: is_defined_var :: var_is_introduced;
42 var bool: BOOL____00033 :: is_defined_var :: var_is_introduced;
43 var bool: BOOL____00034 :: is_defined_var :: var_is_introduced;
44 var bool: BOOL____00035 :: is_defined_var :: var_is_introduced;
45 var bool: BOOL____00036 :: is_defined_var :: var_is_introduced;
46 var bool: BOOL____00037 :: is_defined_var :: var_is_introduced;
47 var bool: BOOL____00038 :: is_defined_var :: var_is_introduced;
48 var bool: BOOL____00039 :: is_defined_var :: var_is_introduced;
49 var bool: BOOL____00040 :: is_defined_var :: var_is_introduced;
50 var bool: BOOL____00041 :: is_defined_var :: var_is_introduced;
51 var bool: BOOL____00042 :: is_defined_var :: var_is_introduced;
52 var bool: BOOL____00043 :: is_defined_var :: var_is_introduced;
53 var bool: BOOL____00044 :: is_defined_var :: var_is_introduced;
54 var bool: BOOL____00045 :: is_defined_var :: var_is_introduced;
55 var bool: BOOL____00046 :: is_defined_var :: var_is_introduced;
56 var bool: BOOL____00047 :: is_defined_var :: var_is_introduced;
57 var bool: BOOL____00048 :: is_defined_var :: var_is_introduced;
58 var bool: BOOL____00049 :: is_defined_var :: var_is_introduced;
59 var bool: BOOL____00050 :: is_defined_var :: var_is_introduced;
60 var bool: BOOL____00051 :: is_defined_var :: var_is_introduced;
61 var bool: BOOL____00052 :: is_defined_var :: var_is_introduced;
62 var bool: BOOL____00053 :: is_defined_var :: var_is_introduced;
63 var bool: BOOL____00054 :: is_defined_var :: var_is_introduced;
64 var bool: BOOL____00055 :: is_defined_var :: var_is_introduced;
65 var bool: BOOL____00056 :: is_defined_var :: var_is_introduced;
66 var bool: BOOL____00057 :: is_defined_var :: var_is_introduced;
67 var bool: BOOL____00058 :: is_defined_var :: var_is_introduced;
68 var bool: BOOL____00059 :: is_defined_var :: var_is_introduced;
69 var bool: BOOL____00060 :: is_defined_var :: var_is_introduced;
70 var bool: BOOL____00061 :: is_defined_var :: var_is_introduced;
71 var bool: BOOL____00062 :: is_defined_var :: var_is_introduced;
72 var bool: BOOL____00065 :: is_defined_var :: var_is_introduced;
73 var bool: BOOL____00066 :: is_defined_var :: var_is_introduced;
74 var bool: BOOL____00067 :: is_defined_var :: var_is_introduced;
75 var bool: BOOL____00068 :: is_defined_var :: var_is_introduced;
76 var bool: BOOL____00069 :: is_defined_var :: var_is_introduced;
77 var bool: BOOL____00070 :: is_defined_var :: var_is_introduced;
78 var bool: BOOL____00071 :: is_defined_var :: var_is_introduced;
79 var bool: BOOL____00072 :: is_defined_var :: var_is_introduced;
80 var bool: BOOL____00073 :: is_defined_var :: var_is_introduced;
81 var bool: BOOL____00074 :: is_defined_var :: var_is_introduced;
82 var bool: BOOL____00075 :: is_defined_var :: var_is_introduced;
83 var bool: BOOL____00076 :: is_defined_var :: var_is_introduced;
84 var bool: BOOL____00077 :: is_defined_var :: var_is_introduced;
85 var bool: BOOL____00078 :: is_defined_var :: var_is_introduced;
86 var bool: BOOL____00079 :: is_defined_var :: var_is_introduced;
87 var bool: BOOL____00080 :: is_defined_var :: var_is_introduced;
88 var bool: BOOL____00081 :: is_defined_var :: var_is_introduced;
89 var bool: BOOL____00082 :: is_defined_var :: var_is_introduced;
90 var bool: BOOL____00083 :: is_defined_var :: var_is_introduced;
91 var bool: BOOL____00084 :: is_defined_var :: var_is_introduced;
92 var bool: BOOL____00085 :: is_defined_var :: var_is_introduced;
93 var bool: BOOL____00086 :: is_defined_var :: var_is_introduced;
94 var bool: BOOL____00087 :: is_defined_var :: var_is_introduced;
95 var bool: BOOL____00088 :: is_defined_var :: var_is_introduced;
96 var bool: BOOL____00089 :: is_defined_var :: var_is_introduced;
97 var bool: BOOL____00090 :: is_defined_var :: var_is_introduced;
98 var bool: BOOL____00091 :: is_defined_var :: var_is_introduced;
99 var bool: BOOL____00092 :: is_defined_var :: var_is_introduced;
100 var bool: BOOL____00093 :: is_defined_var :: var_is_introduced;
101 var bool: BOOL____00094 :: is_defined_var :: var_is_introduced;
102 var bool: BOOL____00095 :: is_defined_var :: var_is_introduced;
103 var bool: BOOL____00096 :: is_defined_var :: var_is_introduced;
104 var bool: BOOL____00097 :: is_defined_var :: var_is_introduced;
105 var bool: BOOL____00098 :: is_defined_var :: var_is_introduced;
106 var bool: BOOL____00099 :: is_defined_var :: var_is_introduced;
107 var bool: BOOL____00100 :: is_defined_var :: var_is_introduced;
108 var bool: BOOL____00101 :: is_defined_var :: var_is_introduced;
109 var bool: BOOL____00102 :: is_defined_var :: var_is_introduced;
110 var bool: BOOL____00103 :: is_defined_var :: var_is_introduced;
111 var bool: BOOL____00104 :: is_defined_var :: var_is_introduced;
112 var bool: BOOL____00105 :: is_defined_var :: var_is_introduced;
113 var bool: BOOL____00106 :: is_defined_var :: var_is_introduced;
114 var bool: BOOL____00107 :: is_defined_var :: var_is_introduced;
115 var bool: BOOL____00108 :: is_defined_var :: var_is_introduced;
116 var bool: BOOL____00109 :: is_defined_var :: var_is_introduced;
117 var bool: BOOL____00110 :: is_defined_var :: var_is_introduced;
118 var bool: BOOL____00111 :: is_defined_var :: var_is_introduced;
119 var bool: BOOL____00112 :: is_defined_var :: var_is_introduced;
120 var bool: BOOL____00113 :: is_defined_var :: var_is_introduced;
121 var bool: BOOL____00114 :: is_defined_var :: var_is_introduced;
122 var bool: BOOL____00115 :: is_defined_var :: var_is_introduced;
123 var bool: BOOL____00116 :: is_defined_var :: var_is_introduced;
124 var bool: BOOL____00117 :: is_defined_var :: var_is_introduced;
125 var bool: BOOL____00120 :: is_defined_var :: var_is_introduced;
126 var bool: BOOL____00121 :: is_defined_var :: var_is_introduced;
127 var bool: BOOL____00122 :: is_defined_var :: var_is_introduced;
128 var bool: BOOL____00123 :: is_defined_var :: var_is_introduced;
129 var bool: BOOL____00124 :: is_defined_var :: var_is_introduced;
130 var bool: BOOL____00125 :: is_defined_var :: var_is_introduced;
131 var bool: BOOL____00126 :: is_defined_var :: var_is_introduced;
132 var bool: BOOL____00127 :: is_defined_var :: var_is_introduced;
133 var bool: BOOL____00128 :: is_defined_var :: var_is_introduced;
134 var bool: BOOL____00129 :: is_defined_var :: var_is_introduced;
135 var bool: BOOL____00130 :: is_defined_var :: var_is_introduced;
136 var bool: BOOL____00131 :: is_defined_var :: var_is_introduced;
137 var bool: BOOL____00132 :: is_defined_var :: var_is_introduced;
138 var bool: BOOL____00133 :: is_defined_var :: var_is_introduced;
139 var bool: BOOL____00134 :: is_defined_var :: var_is_introduced;
140 var bool: BOOL____00135 :: is_defined_var :: var_is_introduced;
141 var bool: BOOL____00136 :: is_defined_var :: var_is_introduced;
142 var bool: BOOL____00137 :: is_defined_var :: var_is_introduced;
143 var bool: BOOL____00138 :: is_defined_var :: var_is_introduced;
144 var bool: BOOL____00139 :: is_defined_var :: var_is_introduced;
145 var bool: BOOL____00140 :: is_defined_var :: var_is_introduced;
146 var bool: BOOL____00141 :: is_defined_var :: var_is_introduced;
147 var bool: BOOL____00142 :: is_defined_var :: var_is_introduced;
148 var bool: BOOL____00143 :: is_defined_var :: var_is_introduced;
149 var bool: BOOL____00144 :: is_defined_var :: var_is_introduced;
150 var bool: BOOL____00145 :: is_defined_var :: var_is_introduced;
151 var bool: BOOL____00146 :: is_defined_var :: var_is_introduced;
152 var bool: BOOL____00147 :: is_defined_var :: var_is_introduced;
153 var bool: BOOL____00148 :: is_defined_var :: var_is_introduced;
154 var bool: BOOL____00149 :: is_defined_var :: var_is_introduced;
155 var bool: BOOL____00150 :: is_defined_var :: var_is_introduced;
156 var bool: BOOL____00151 :: is_defined_var :: var_is_introduced;
157 var bool: BOOL____00152 :: is_defined_var :: var_is_introduced;
158 var bool: BOOL____00153 :: is_defined_var :: var_is_introduced;
159 var bool: BOOL____00154 :: is_defined_var :: var_is_introduced;
160 var bool: BOOL____00155 :: is_defined_var :: var_is_introduced;
161 var bool: BOOL____00156 :: is_defined_var :: var_is_introduced;
162 var bool: BOOL____00157 :: is_defined_var :: var_is_introduced;
163 var bool: BOOL____00158 :: is_defined_var :: var_is_introduced;
164 var bool: BOOL____00159 :: is_defined_var :: var_is_introduced;
165 var bool: BOOL____00160 :: is_defined_var :: var_is_introduced;
166 var bool: BOOL____00161 :: is_defined_var :: var_is_introduced;
167 var bool: BOOL____00162 :: is_defined_var :: var_is_introduced;
168 var bool: BOOL____00163 :: is_defined_var :: var_is_introduced;
169 var bool: BOOL____00164 :: is_defined_var :: var_is_introduced;
170 var bool: BOOL____00165 :: is_defined_var :: var_is_introduced;
171 var bool: BOOL____00166 :: is_defined_var :: var_is_introduced;
172 var bool: BOOL____00167 :: is_defined_var :: var_is_introduced;
173 var bool: BOOL____00168 :: is_defined_var :: var_is_introduced;
174 var bool: BOOL____00169 :: is_defined_var :: var_is_introduced;
175 var bool: BOOL____00170 :: is_defined_var :: var_is_introduced;
176 var bool: BOOL____00171 :: is_defined_var :: var_is_introduced;
177 var bool: BOOL____00172 :: is_defined_var :: var_is_introduced;
178 var bool: BOOL____00173 :: is_defined_var :: var_is_introduced;
179 var bool: BOOL____00176 :: is_defined_var :: var_is_introduced;
180 var bool: BOOL____00177 :: is_defined_var :: var_is_introduced;
181 var bool: BOOL____00178 :: is_defined_var :: var_is_introduced;
182 var bool: BOOL____00179 :: is_defined_var :: var_is_introduced;
183 var bool: BOOL____00180 :: is_defined_var :: var_is_introduced;
184 var bool: BOOL____00181 :: is_defined_var :: var_is_introduced;
185 var bool: BOOL____00182 :: is_defined_var :: var_is_introduced;
186 var bool: BOOL____00183 :: is_defined_var :: var_is_introduced;
187 var bool: BOOL____00184 :: is_defined_var :: var_is_introduced;
188 var bool: BOOL____00185 :: is_defined_var :: var_is_introduced;
189 var bool: BOOL____00186 :: is_defined_var :: var_is_introduced;
190 var bool: BOOL____00187 :: is_defined_var :: var_is_introduced;
191 var bool: BOOL____00188 :: is_defined_var :: var_is_introduced;
192 var bool: BOOL____00189 :: is_defined_var :: var_is_introduced;
193 var bool: BOOL____00190 :: is_defined_var :: var_is_introduced;
194 var bool: BOOL____00191 :: is_defined_var :: var_is_introduced;
195 var bool: BOOL____00192 :: is_defined_var :: var_is_introduced;
196 var bool: BOOL____00193 :: is_defined_var :: var_is_introduced;
197 var bool: BOOL____00194 :: is_defined_var :: var_is_introduced;
198 var bool: BOOL____00195 :: is_defined_var :: var_is_introduced;
199 var bool: BOOL____00196 :: is_defined_var :: var_is_introduced;
200 var bool: BOOL____00197 :: is_defined_var :: var_is_introduced;
201 var bool: BOOL____00198 :: is_defined_var :: var_is_introduced;
202 var bool: BOOL____00199 :: is_defined_var :: var_is_introduced;
203 var bool: BOOL____00200 :: is_defined_var :: var_is_introduced;
204 var bool: BOOL____00201 :: is_defined_var :: var_is_introduced;
205 var bool: BOOL____00202 :: is_defined_var :: var_is_introduced;
206 var bool: BOOL____00203 :: is_defined_var :: var_is_introduced;
207 var bool: BOOL____00204 :: is_defined_var :: var_is_introduced;
208 var bool: BOOL____00205 :: is_defined_var :: var_is_introduced;
209 var bool: BOOL____00206 :: is_defined_var :: var_is_introduced;
210 var bool: BOOL____00207 :: is_defined_var :: var_is_introduced;
211 var bool: BOOL____00208 :: is_defined_var :: var_is_introduced;
212 var bool: BOOL____00209 :: is_defined_var :: var_is_introduced;
213 var bool: BOOL____00210 :: is_defined_var :: var_is_introduced;
214 var bool: BOOL____00211 :: is_defined_var :: var_is_introduced;
215 var bool: BOOL____00212 :: is_defined_var :: var_is_introduced;
216 var bool: BOOL____00213 :: is_defined_var :: var_is_introduced;
217 var bool: BOOL____00214 :: is_defined_var :: var_is_introduced;
218 var bool: BOOL____00215 :: is_defined_var :: var_is_introduced;
219 var bool: BOOL____00216 :: is_defined_var :: var_is_introduced;
220 var bool: BOOL____00217 :: is_defined_var :: var_is_introduced;
221 var bool: BOOL____00218 :: is_defined_var :: var_is_introduced;
222 var bool: BOOL____00219 :: is_defined_var :: var_is_introduced;
223 var bool: BOOL____00220 :: is_defined_var :: var_is_introduced;
224 var bool: BOOL____00221 :: is_defined_var :: var_is_introduced;
225 var bool: BOOL____00222 :: is_defined_var :: var_is_introduced;
226 var bool: BOOL____00223 :: is_defined_var :: var_is_introduced;
227 var bool: BOOL____00224 :: is_defined_var :: var_is_introduced;
228 var bool: BOOL____00225 :: is_defined_var :: var_is_introduced;
229 var bool: BOOL____00226 :: is_defined_var :: var_is_introduced;
230 var bool: BOOL____00227 :: is_defined_var :: var_is_introduced;
231 var bool: BOOL____00228 :: is_defined_var :: var_is_introduced;
232 var bool: BOOL____00229 :: is_defined_var :: var_is_introduced;
233 var bool: BOOL____00232 :: is_defined_var :: var_is_introduced;
234 var bool: BOOL____00233 :: is_defined_var :: var_is_introduced;
235 var bool: BOOL____00234 :: is_defined_var :: var_is_introduced;
236 var bool: BOOL____00235 :: is_defined_var :: var_is_introduced;
237 var bool: BOOL____00236 :: is_defined_var :: var_is_introduced;
238 var bool: BOOL____00237 :: is_defined_var :: var_is_introduced;
239 var bool: BOOL____00238 :: is_defined_var :: var_is_introduced;
240 var bool: BOOL____00239 :: is_defined_var :: var_is_introduced;
241 var bool: BOOL____00240 :: is_defined_var :: var_is_introduced;
242 var bool: BOOL____00241 :: is_defined_var :: var_is_introduced;
243 var bool: BOOL____00242 :: is_defined_var :: var_is_introduced;
244 var bool: BOOL____00243 :: is_defined_var :: var_is_introduced;
245 var bool: BOOL____00244 :: is_defined_var :: var_is_introduced;
246 var bool: BOOL____00245 :: is_defined_var :: var_is_introduced;
247 var bool: BOOL____00246 :: is_defined_var :: var_is_introduced;
248 var bool: BOOL____00247 :: is_defined_var :: var_is_introduced;
249 var bool: BOOL____00248 :: is_defined_var :: var_is_introduced;
250 var bool: BOOL____00249 :: is_defined_var :: var_is_introduced;
251 var bool: BOOL____00250 :: is_defined_var :: var_is_introduced;
252 var bool: BOOL____00251 :: is_defined_var :: var_is_introduced;
253 var bool: BOOL____00252 :: is_defined_var :: var_is_introduced;
254 var bool: BOOL____00253 :: is_defined_var :: var_is_introduced;
255 var bool: BOOL____00254 :: is_defined_var :: var_is_introduced;
256 var bool: BOOL____00255 :: is_defined_var :: var_is_introduced;
257 var bool: BOOL____00256 :: is_defined_var :: var_is_introduced;
258 var bool: BOOL____00257 :: is_defined_var :: var_is_introduced;
259 var bool: BOOL____00258 :: is_defined_var :: var_is_introduced;
260 var bool: BOOL____00259 :: is_defined_var :: var_is_introduced;
261 var bool: BOOL____00260 :: is_defined_var :: var_is_introduced;
262 var bool: BOOL____00261 :: is_defined_var :: var_is_introduced;
263 var bool: BOOL____00262 :: is_defined_var :: var_is_introduced;
264 var bool: BOOL____00263 :: is_defined_var :: var_is_introduced;
265 var bool: BOOL____00264 :: is_defined_var :: var_is_introduced;
266 var bool: BOOL____00265 :: is_defined_var :: var_is_introduced;
267 var bool: BOOL____00266 :: is_defined_var :: var_is_introduced;
268 var bool: BOOL____00267 :: is_defined_var :: var_is_introduced;
269 var bool: BOOL____00268 :: is_defined_var :: var_is_introduced;
270 var bool: BOOL____00269 :: is_defined_var :: var_is_introduced;
271 var bool: BOOL____00270 :: is_defined_var :: var_is_introduced;
272 var bool: BOOL____00271 :: is_defined_var :: var_is_introduced;
273 var bool: BOOL____00272 :: is_defined_var :: var_is_introduced;
274 var bool: BOOL____00273 :: is_defined_var :: var_is_introduced;
275 var bool: BOOL____00274 :: is_defined_var :: var_is_introduced;
276 var bool: BOOL____00275 :: is_defined_var :: var_is_introduced;
277 var bool: BOOL____00276 :: is_defined_var :: var_is_introduced;
278 var bool: BOOL____00277 :: is_defined_var :: var_is_introduced;
279 var bool: BOOL____00278 :: is_defined_var :: var_is_introduced;
280 var bool: BOOL____00279 :: is_defined_var :: var_is_introduced;
281 var bool: BOOL____00280 :: is_defined_var :: var_is_introduced;
282 var bool: BOOL____00281 :: is_defined_var :: var_is_introduced;
283 var bool: BOOL____00282 :: is_defined_var :: var_is_introduced;
284 var bool: BOOL____00283 :: is_defined_var :: var_is_introduced;
285 var bool: BOOL____00284 :: is_defined_var :: var_is_introduced;
286 var bool: BOOL____00285 :: is_defined_var :: var_is_introduced;
287 var bool: BOOL____00288 :: is_defined_var :: var_is_introduced;
288 var bool: BOOL____00289 :: is_defined_var :: var_is_introduced;
289 var bool: BOOL____00290 :: is_defined_var :: var_is_introduced;
290 var bool: BOOL____00291 :: is_defined_var :: var_is_introduced;
291 var bool: BOOL____00292 :: is_defined_var :: var_is_introduced;
292 var bool: BOOL____00293 :: is_defined_var :: var_is_introduced;
293 var bool: BOOL____00294 :: is_defined_var :: var_is_introduced;
294 var bool: BOOL____00295 :: is_defined_var :: var_is_introduced;
295 var bool: BOOL____00296 :: is_defined_var :: var_is_introduced;
296 var bool: BOOL____00297 :: is_defined_var :: var_is_introduced;
297 var bool: BOOL____00298 :: is_defined_var :: var_is_introduced;
298 var bool: BOOL____00299 :: is_defined_var :: var_is_introduced;
299 var bool: BOOL____00300 :: is_defined_var :: var_is_introduced;
300 var bool: BOOL____00301 :: is_defined_var :: var_is_introduced;
301 var bool: BOOL____00302 :: is_defined_var :: var_is_introduced;
302 var bool: BOOL____00303 :: is_defined_var :: var_is_introduced;
303 var bool: BOOL____00304 :: is_defined_var :: var_is_introduced;
304 var bool: BOOL____00305 :: is_defined_var :: var_is_introduced;
305 var bool: BOOL____00306 :: is_defined_var :: var_is_introduced;
306 var bool: BOOL____00307 :: is_defined_var :: var_is_introduced;
307 var bool: BOOL____00308 :: is_defined_var :: var_is_introduced;
308 var bool: BOOL____00309 :: is_defined_var :: var_is_introduced;
309 var bool: BOOL____00310 :: is_defined_var :: var_is_introduced;
310 var bool: BOOL____00311 :: is_defined_var :: var_is_introduced;
311 var bool: BOOL____00312 :: is_defined_var :: var_is_introduced;
312 var bool: BOOL____00313 :: is_defined_var :: var_is_introduced;
313 var bool: BOOL____00314 :: is_defined_var :: var_is_introduced;
314 var bool: BOOL____00315 :: is_defined_var :: var_is_introduced;
315 var bool: BOOL____00316 :: is_defined_var :: var_is_introduced;
316 var bool: BOOL____00317 :: is_defined_var :: var_is_introduced;
317 var bool: BOOL____00318 :: is_defined_var :: var_is_introduced;
318 var bool: BOOL____00319 :: is_defined_var :: var_is_introduced;
319 var bool: BOOL____00320 :: is_defined_var :: var_is_introduced;
320 var bool: BOOL____00321 :: is_defined_var :: var_is_introduced;
321 var bool: BOOL____00322 :: is_defined_var :: var_is_introduced;
322 var bool: BOOL____00323 :: is_defined_var :: var_is_introduced;
323 var bool: BOOL____00324 :: is_defined_var :: var_is_introduced;
324 var bool: BOOL____00325 :: is_defined_var :: var_is_introduced;
325 var bool: BOOL____00326 :: is_defined_var :: var_is_introduced;
326 var bool: BOOL____00327 :: is_defined_var :: var_is_introduced;
327 var bool: BOOL____00328 :: is_defined_var :: var_is_introduced;
328 var bool: BOOL____00329 :: is_defined_var :: var_is_introduced;
329 var bool: BOOL____00330 :: is_defined_var :: var_is_introduced;
330 var bool: BOOL____00331 :: is_defined_var :: var_is_introduced;
331 var bool: BOOL____00332 :: is_defined_var :: var_is_introduced;
332 var bool: BOOL____00333 :: is_defined_var :: var_is_introduced;
333 var bool: BOOL____00334 :: is_defined_var :: var_is_introduced;
334 var bool: BOOL____00335 :: is_defined_var :: var_is_introduced;
335 var bool: BOOL____00336 :: is_defined_var :: var_is_introduced;
336 var bool: BOOL____00337 :: is_defined_var :: var_is_introduced;
337 var bool: BOOL____00338 :: is_defined_var :: var_is_introduced;
338 var bool: BOOL____00339 :: is_defined_var :: var_is_introduced;
339 var bool: BOOL____00340 :: is_defined_var :: var_is_introduced;
340 var bool: BOOL____00341 :: is_defined_var :: var_is_introduced;
341 var bool: BOOL____00344 :: is_defined_var :: var_is_introduced;
342 var bool: BOOL____00345 :: is_defined_var :: var_is_introduced;
343 var bool: BOOL____00346 :: is_defined_var :: var_is_introduced;
344 var bool: BOOL____00347 :: is_defined_var :: var_is_introduced;
345 var bool: BOOL____00348 :: is_defined_var :: var_is_introduced;
346 var bool: BOOL____00349 :: is_defined_var :: var_is_introduced;
347 var bool: BOOL____00350 :: is_defined_var :: var_is_introduced;
348 var bool: BOOL____00351 :: is_defined_var :: var_is_introduced;
349 var bool: BOOL____00352 :: is_defined_var :: var_is_introduced;
350 var bool: BOOL____00353 :: is_defined_var :: var_is_introduced;
351 var bool: BOOL____00354 :: is_defined_var :: var_is_introduced;
352 var bool: BOOL____00355 :: is_defined_var :: var_is_introduced;
353 var bool: BOOL____00356 :: is_defined_var :: var_is_introduced;
354 var bool: BOOL____00357 :: is_defined_var :: var_is_introduced;
355 var bool: BOOL____00358 :: is_defined_var :: var_is_introduced;
356 var bool: BOOL____00359 :: is_defined_var :: var_is_introduced;
357 var bool: BOOL____00360 :: is_defined_var :: var_is_introduced;
358 var bool: BOOL____00361 :: is_defined_var :: var_is_introduced;
359 var bool: BOOL____00362 :: is_defined_var :: var_is_introduced;
360 var bool: BOOL____00363 :: is_defined_var :: var_is_introduced;
361 var bool: BOOL____00364 :: is_defined_var :: var_is_introduced;
362 var bool: BOOL____00365 :: is_defined_var :: var_is_introduced;
363 var bool: BOOL____00366 :: is_defined_var :: var_is_introduced;
364 var bool: BOOL____00367 :: is_defined_var :: var_is_introduced;
365 var bool: BOOL____00368 :: is_defined_var :: var_is_introduced;
366 var bool: BOOL____00369 :: is_defined_var :: var_is_introduced;
367 var bool: BOOL____00370 :: is_defined_var :: var_is_introduced;
368 var bool: BOOL____00371 :: is_defined_var :: var_is_introduced;
369 var bool: BOOL____00372 :: is_defined_var :: var_is_introduced;
370 var bool: BOOL____00373 :: is_defined_var :: var_is_introduced;
371 var bool: BOOL____00374 :: is_defined_var :: var_is_introduced;
372 var bool: BOOL____00375 :: is_defined_var :: var_is_introduced;
373 var bool: BOOL____00376 :: is_defined_var :: var_is_introduced;
374 var bool: BOOL____00377 :: is_defined_var :: var_is_introduced;
375 var bool: BOOL____00378 :: is_defined_var :: var_is_introduced;
376 var bool: BOOL____00379 :: is_defined_var :: var_is_introduced;
377 var bool: BOOL____00380 :: is_defined_var :: var_is_introduced;
378 var bool: BOOL____00381 :: is_defined_var :: var_is_introduced;
379 var bool: BOOL____00382 :: is_defined_var :: var_is_introduced;
380 var bool: BOOL____00383 :: is_defined_var :: var_is_introduced;
381 var bool: BOOL____00384 :: is_defined_var :: var_is_introduced;
382 var bool: BOOL____00385 :: is_defined_var :: var_is_introduced;
383 var bool: BOOL____00386 :: is_defined_var :: var_is_introduced;
384 var bool: BOOL____00387 :: is_defined_var :: var_is_introduced;
385 var bool: BOOL____00388 :: is_defined_var :: var_is_introduced;
386 var bool: BOOL____00389 :: is_defined_var :: var_is_introduced;
387 var bool: BOOL____00390 :: is_defined_var :: var_is_introduced;
388 var bool: BOOL____00391 :: is_defined_var :: var_is_introduced;
389 var bool: BOOL____00392 :: is_defined_var :: var_is_introduced;
390 var bool: BOOL____00393 :: is_defined_var :: var_is_introduced;
391 var bool: BOOL____00394 :: is_defined_var :: var_is_introduced;
392 var bool: BOOL____00395 :: is_defined_var :: var_is_introduced;
393 var bool: BOOL____00396 :: is_defined_var :: var_is_introduced;
394 var bool: BOOL____00397 :: is_defined_var :: var_is_introduced;
395 var bool: BOOL____00400 :: is_defined_var :: var_is_introduced;
396 var bool: BOOL____00401 :: is_defined_var :: var_is_introduced;
397 var bool: BOOL____00402 :: is_defined_var :: var_is_introduced;
398 var bool: BOOL____00403 :: is_defined_var :: var_is_introduced;
399 var bool: BOOL____00404 :: is_defined_var :: var_is_introduced;
400 var bool: BOOL____00405 :: is_defined_var :: var_is_introduced;
401 var bool: BOOL____00406 :: is_defined_var :: var_is_introduced;
402 var bool: BOOL____00407 :: is_defined_var :: var_is_introduced;
403 var bool: BOOL____00408 :: is_defined_var :: var_is_introduced;
404 var bool: BOOL____00409 :: is_defined_var :: var_is_introduced;
405 var bool: BOOL____00410 :: is_defined_var :: var_is_introduced;
406 var bool: BOOL____00411 :: is_defined_var :: var_is_introduced;
407 var bool: BOOL____00412 :: is_defined_var :: var_is_introduced;
408 var bool: BOOL____00413 :: is_defined_var :: var_is_introduced;
409 var bool: BOOL____00414 :: is_defined_var :: var_is_introduced;
410 var bool: BOOL____00415 :: is_defined_var :: var_is_introduced;
411 var bool: BOOL____00416 :: is_defined_var :: var_is_introduced;
412 var bool: BOOL____00417 :: is_defined_var :: var_is_introduced;
413 var bool: BOOL____00418 :: is_defined_var :: var_is_introduced;
414 var bool: BOOL____00419 :: is_defined_var :: var_is_introduced;
415 var bool: BOOL____00420 :: is_defined_var :: var_is_introduced;
416 var bool: BOOL____00421 :: is_defined_var :: var_is_introduced;
417 var bool: BOOL____00422 :: is_defined_var :: var_is_introduced;
418 var bool: BOOL____00423 :: is_defined_var :: var_is_introduced;
419 var bool: BOOL____00424 :: is_defined_var :: var_is_introduced;
420 var bool: BOOL____00425 :: is_defined_var :: var_is_introduced;
421 var bool: BOOL____00426 :: is_defined_var :: var_is_introduced;
422 var bool: BOOL____00427 :: is_defined_var :: var_is_introduced;
423 var bool: BOOL____00428 :: is_defined_var :: var_is_introduced;
424 var bool: BOOL____00429 :: is_defined_var :: var_is_introduced;
425 var bool: BOOL____00430 :: is_defined_var :: var_is_introduced;
426 var bool: BOOL____00431 :: is_defined_var :: var_is_introduced;
427 var bool: BOOL____00432 :: is_defined_var :: var_is_introduced;
428 var bool: BOOL____00433 :: is_defined_var :: var_is_introduced;
429 var bool: BOOL____00434 :: is_defined_var :: var_is_introduced;
430 var bool: BOOL____00435 :: is_defined_var :: var_is_introduced;
431 var bool: BOOL____00436 :: is_defined_var :: var_is_introduced;
432 var bool: BOOL____00437 :: is_defined_var :: var_is_introduced;
433 var bool: BOOL____00438 :: is_defined_var :: var_is_introduced;
434 var bool: BOOL____00439 :: is_defined_var :: var_is_introduced;
435 var bool: BOOL____00440 :: is_defined_var :: var_is_introduced;
436 var bool: BOOL____00441 :: is_defined_var :: var_is_introduced;
437 var bool: BOOL____00442 :: is_defined_var :: var_is_introduced;
438 var bool: BOOL____00443 :: is_defined_var :: var_is_introduced;
439 var bool: BOOL____00444 :: is_defined_var :: var_is_introduced;
440 var bool: BOOL____00445 :: is_defined_var :: var_is_introduced;
441 var bool: BOOL____00446 :: is_defined_var :: var_is_introduced;
442 var bool: BOOL____00447 :: is_defined_var :: var_is_introduced;
443 var bool: BOOL____00448 :: is_defined_var :: var_is_introduced;
444 var bool: BOOL____00449 :: is_defined_var :: var_is_introduced;
445 var bool: BOOL____00450 :: is_defined_var :: var_is_introduced;
446 var bool: BOOL____00451 :: is_defined_var :: var_is_introduced;
447 var bool: BOOL____00452 :: is_defined_var :: var_is_introduced;
448 var bool: BOOL____00453 :: is_defined_var :: var_is_introduced;
449 var bool: BOOL____00456 :: is_defined_var :: var_is_introduced;
450 var bool: BOOL____00457 :: is_defined_var :: var_is_introduced;
451 var bool: BOOL____00458 :: is_defined_var :: var_is_introduced;
452 var bool: BOOL____00459 :: is_defined_var :: var_is_introduced;
453 var bool: BOOL____00460 :: is_defined_var :: var_is_introduced;
454 var bool: BOOL____00461 :: is_defined_var :: var_is_introduced;
455 var bool: BOOL____00462 :: is_defined_var :: var_is_introduced;
456 var bool: BOOL____00463 :: is_defined_var :: var_is_introduced;
457 var bool: BOOL____00464 :: is_defined_var :: var_is_introduced;
458 var bool: BOOL____00465 :: is_defined_var :: var_is_introduced;
459 var bool: BOOL____00466 :: is_defined_var :: var_is_introduced;
460 var bool: BOOL____00467 :: is_defined_var :: var_is_introduced;
461 var bool: BOOL____00468 :: is_defined_var :: var_is_introduced;
462 var bool: BOOL____00469 :: is_defined_var :: var_is_introduced;
463 var bool: BOOL____00470 :: is_defined_var :: var_is_introduced;
464 var bool: BOOL____00471 :: is_defined_var :: var_is_introduced;
465 var bool: BOOL____00472 :: is_defined_var :: var_is_introduced;
466 var bool: BOOL____00473 :: is_defined_var :: var_is_introduced;
467 var bool: BOOL____00474 :: is_defined_var :: var_is_introduced;
468 var bool: BOOL____00475 :: is_defined_var :: var_is_introduced;
469 var bool: BOOL____00476 :: is_defined_var :: var_is_introduced;
470 var bool: BOOL____00477 :: is_defined_var :: var_is_introduced;
471 var bool: BOOL____00478 :: is_defined_var :: var_is_introduced;
472 var bool: BOOL____00479 :: is_defined_var :: var_is_introduced;
473 var bool: BOOL____00480 :: is_defined_var :: var_is_introduced;
474 var bool: BOOL____00481 :: is_defined_var :: var_is_introduced;
475 var bool: BOOL____00482 :: is_defined_var :: var_is_introduced;
476 var bool: BOOL____00483 :: is_defined_var :: var_is_introduced;
477 var bool: BOOL____00484 :: is_defined_var :: var_is_introduced;
478 var bool: BOOL____00485 :: is_defined_var :: var_is_introduced;
479 var bool: BOOL____00486 :: is_defined_var :: var_is_introduced;
480 var bool: BOOL____00487 :: is_defined_var :: var_is_introduced;
481 var bool: BOOL____00488 :: is_defined_var :: var_is_introduced;
482 var bool: BOOL____00489 :: is_defined_var :: var_is_introduced;
483 var bool: BOOL____00490 :: is_defined_var :: var_is_introduced;
484 var bool: BOOL____00491 :: is_defined_var :: var_is_introduced;
485 var bool: BOOL____00492 :: is_defined_var :: var_is_introduced;
486 var bool: BOOL____00493 :: is_defined_var :: var_is_introduced;
487 var bool: BOOL____00494 :: is_defined_var :: var_is_introduced;
488 var bool: BOOL____00495 :: is_defined_var :: var_is_introduced;
489 var bool: BOOL____00496 :: is_defined_var :: var_is_introduced;
490 var bool: BOOL____00497 :: is_defined_var :: var_is_introduced;
491 var bool: BOOL____00498 :: is_defined_var :: var_is_introduced;
492 var bool: BOOL____00499 :: is_defined_var :: var_is_introduced;
493 var bool: BOOL____00500 :: is_defined_var :: var_is_introduced;
494 var bool: BOOL____00501 :: is_defined_var :: var_is_introduced;
495 var bool: BOOL____00502 :: is_defined_var :: var_is_introduced;
496 var bool: BOOL____00503 :: is_defined_var :: var_is_introduced;
497 var bool: BOOL____00504 :: is_defined_var :: var_is_introduced;
498 var bool: BOOL____00505 :: is_defined_var :: var_is_introduced;
499 var bool: BOOL____00506 :: is_defined_var :: var_is_introduced;
500 var bool: BOOL____00508 :: is_defined_var :: var_is_introduced;
501 var bool: BOOL____00509 :: is_defined_var :: var_is_introduced;
502 var bool: BOOL____00510 :: is_defined_var :: var_is_introduced;
503 var bool: BOOL____00511 :: is_defined_var :: var_is_introduced;
504 var bool: BOOL____00512 :: is_defined_var :: var_is_introduced;
505 var bool: BOOL____00513 :: is_defined_var :: var_is_introduced;
506 var bool: BOOL____00514 :: is_defined_var :: var_is_introduced;
507 var bool: BOOL____00515 :: is_defined_var :: var_is_introduced;
508 var bool: BOOL____00516 :: is_defined_var :: var_is_introduced;
509 var bool: BOOL____00517 :: is_defined_var :: var_is_introduced;
510 var bool: BOOL____00518 :: is_defined_var :: var_is_introduced;
511 var bool: BOOL____00519 :: is_defined_var :: var_is_introduced;
512 var bool: BOOL____00520 :: is_defined_var :: var_is_introduced;
513 var bool: BOOL____00521 :: is_defined_var :: var_is_introduced;
514 var bool: BOOL____00522 :: is_defined_var :: var_is_introduced;
515 var bool: BOOL____00523 :: is_defined_var :: var_is_introduced;
516 var bool: BOOL____00524 :: is_defined_var :: var_is_introduced;
517 var bool: BOOL____00525 :: is_defined_var :: var_is_introduced;
518 var bool: BOOL____00526 :: is_defined_var :: var_is_introduced;
519 var bool: BOOL____00527 :: is_defined_var :: var_is_introduced;
520 var bool: BOOL____00528 :: is_defined_var :: var_is_introduced;
521 var bool: BOOL____00529 :: is_defined_var :: var_is_introduced;
522 var bool: BOOL____00530 :: is_defined_var :: var_is_introduced;
523 var bool: BOOL____00531 :: is_defined_var :: var_is_introduced;
524 var bool: BOOL____00532 :: is_defined_var :: var_is_introduced;
525 var bool: BOOL____00533 :: is_defined_var :: var_is_introduced;
526 var bool: BOOL____00534 :: is_defined_var :: var_is_introduced;
527 var bool: BOOL____00535 :: is_defined_var :: var_is_introduced;
528 var bool: BOOL____00536 :: is_defined_var :: var_is_introduced;
529 var bool: BOOL____00537 :: is_defined_var :: var_is_introduced;
530 var bool: BOOL____00538 :: is_defined_var :: var_is_introduced;
531 var bool: BOOL____00539 :: is_defined_var :: var_is_introduced;
532 var bool: BOOL____00540 :: is_defined_var :: var_is_introduced;
533 var bool: BOOL____00541 :: is_defined_var :: var_is_introduced;
534 var bool: BOOL____00542 :: is_defined_var :: var_is_introduced;
535 var bool: BOOL____00543 :: is_defined_var :: var_is_introduced;
536 var bool: BOOL____00544 :: is_defined_var :: var_is_introduced;
537 var bool: BOOL____00545 :: is_defined_var :: var_is_introduced;
538 var bool: BOOL____00546 :: is_defined_var :: var_is_introduced;
539 var bool: BOOL____00547 :: is_defined_var :: var_is_introduced;
540 var bool: BOOL____00548 :: is_defined_var :: var_is_introduced;
541 var bool: BOOL____00549 :: is_defined_var :: var_is_introduced;
542 var bool: BOOL____00550 :: is_defined_var :: var_is_introduced;
543 var bool: BOOL____00551 :: is_defined_var :: var_is_introduced;
544 var bool: BOOL____00552 :: is_defined_var :: var_is_introduced;
545 var bool: BOOL____00553 :: is_defined_var :: var_is_introduced;
546 var bool: BOOL____00554 :: is_defined_var :: var_is_introduced;
547 var bool: BOOL____00555 :: is_defined_var :: var_is_introduced;
548 array [1..9] of var -1..1: ops :: output_array([1..9]);
549 array [1..9] of var 0..999: s :: output_array([1..9]);
550 array [1..9] of var 1..9: x :: output_array([1..9]);
551 array [1..9] of var 0..999: y :: output_array([1..9]);
658 constraint int_eq_reif(s[1], y[1], BOOL____00501) :: defines_var(BOOL____00501);
740 constraint int_eq_reif(y[1], 0, BOOL____00012) :: defines_var(BOOL____00012);
741 constraint int_eq_reif(y[1], 1, BOOL____00014) :: defines_var(BOOL____00014);
742 constraint int_eq_reif(y[1], 2, BOOL____00025) :: defines_var(BOOL____00025);
743 constraint int_eq_reif(y[1], 3, BOOL____00029) :: defines_var(BOOL____00029);
744 constraint int_eq_reif(y[1], 4, BOOL____00033) :: defines_var(BOOL____00033);
745 constraint int_eq_reif(y[1], 5, BOOL____00037) :: defines_var(BOOL____00037);
746 constraint int_eq_reif(y[1], 6, BOOL____00041) :: defines_var(BOOL____00041);
747 constraint int_eq_reif(y[1], 7, BOOL____00045) :: defines_var(BOOL____00045);
748 constraint int_eq_reif(y[1], 8, BOOL____00049) :: defines_var(BOOL____00049);
749 constraint int_eq_reif(y[1], 9, BOOL____00052) :: defines_var(BOOL____00052);
750 constraint int_eq_reif(y[1], 21, BOOL____00016) :: defines_var(BOOL____00016);
751 constraint int_eq_reif(y[1], 32, BOOL____00026) :: defines_var(BOOL____00026);
752 constraint int_eq_reif(y[1], 43, BOOL____00030) :: defines_var(BOOL____00030);
753 constraint int_eq_reif(y[1], 54, BOOL____00034) :: defines_var(BOOL____00034);
754 constraint int_eq_reif(y[1], 65, BOOL____00038) :: defines_var(BOOL____00038);
755 constraint int_eq_reif(y[1], 76, BOOL____00042) :: defines_var(BOOL____00042);
756 constraint int_eq_reif(y[1], 87, BOOL____00046) :: defines_var(BOOL____00046);
757 constraint int_eq_reif(y[1], 98, BOOL____00050) :: defines_var(BOOL____00050);
758 constraint int_eq_reif(y[1], 321, BOOL____00018) :: defines_var(BOOL____00018);
759 constraint int_eq_reif(y[1], 432, BOOL____00027) :: defines_var(BOOL____00027);
760 constraint int_eq_reif(y[1], 543, BOOL____00031) :: defines_var(BOOL____00031);
761 constraint int_eq_reif(y[1], 654, BOOL____00035) :: defines_var(BOOL____00035);
762 constraint int_eq_reif(y[1], 765, BOOL____00039) :: defines_var(BOOL____00039);
763 constraint int_eq_reif(y[1], 876, BOOL____00043) :: defines_var(BOOL____00043);
764 constraint int_eq_reif(y[1], 987, BOOL____00047) :: defines_var(BOOL____00047);
765 constraint int_eq_reif(y[2], 0, BOOL____00065) :: defines_var(BOOL____00065);
766 constraint int_eq_reif(y[2], 1, BOOL____00067) :: defines_var(BOOL____00067);
767 constraint int_eq_reif(y[2], 2, BOOL____00078) :: defines_var(BOOL____00078);
768 constraint int_eq_reif(y[2], 3, BOOL____00082) :: defines_var(BOOL____00082);
769 constraint int_eq_reif(y[2], 4, BOOL____00086) :: defines_var(BOOL____00086);
770 constraint int_eq_reif(y[2], 5, BOOL____00090) :: defines_var(BOOL____00090);
771 constraint int_eq_reif(y[2], 6, BOOL____00094) :: defines_var(BOOL____00094);
772 constraint int_eq_reif(y[2], 7, BOOL____00098) :: defines_var(BOOL____00098);
773 constraint int_eq_reif(y[2], 8, BOOL____00102) :: defines_var(BOOL____00102);
774 constraint int_eq_reif(y[2], 9, BOOL____00105) :: defines_var(BOOL____00105);
775 constraint int_eq_reif(y[2], 21, BOOL____00069) :: defines_var(BOOL____00069);
776 constraint int_eq_reif(y[2], 32, BOOL____00079) :: defines_var(BOOL____00079);
777 constraint int_eq_reif(y[2], 43, BOOL____00083) :: defines_var(BOOL____00083);
778 constraint int_eq_reif(y[2], 54, BOOL____00087) :: defines_var(BOOL____00087);
779 constraint int_eq_reif(y[2], 65, BOOL____00091) :: defines_var(BOOL____00091);
780 constraint int_eq_reif(y[2], 76, BOOL____00095) :: defines_var(BOOL____00095);
781 constraint int_eq_reif(y[2], 87, BOOL____00099) :: defines_var(BOOL____00099);
782 constraint int_eq_reif(y[2], 98, BOOL____00103) :: defines_var(BOOL____00103);
783 constraint int_eq_reif(y[2], 321, BOOL____00071) :: defines_var(BOOL____00071);
784 constraint int_eq_reif(y[2], 432, BOOL____00080) :: defines_var(BOOL____00080);
785 constraint int_eq_reif(y[2], 543, BOOL____00084) :: defines_var(BOOL____00084);
786 constraint int_eq_reif(y[2], 654, BOOL____00088) :: defines_var(BOOL____00088);
787 constraint int_eq_reif(y[2], 765, BOOL____00092) :: defines_var(BOOL____00092);
788 constraint int_eq_reif(y[2], 876, BOOL____00096) :: defines_var(BOOL____00096);
789 constraint int_eq_reif(y[2], 987, BOOL____00100) :: defines_var(BOOL____00100);
790 constraint int_eq_reif(y[3], 0, BOOL____00120) :: defines_var(BOOL____00120);
791 constraint int_eq_reif(y[3], 1, BOOL____00122) :: defines_var(BOOL____00122);
792 constraint int_eq_reif(y[3], 2, BOOL____00133) :: defines_var(BOOL____00133);
793 constraint int_eq_reif(y[3], 3, BOOL____00137) :: defines_var(BOOL____00137);
794 constraint int_eq_reif(y[3], 4, BOOL____00141) :: defines_var(BOOL____00141);
795 constraint int_eq_reif(y[3], 5, BOOL____00145) :: defines_var(BOOL____00145);
796 constraint int_eq_reif(y[3], 6, BOOL____00149) :: defines_var(BOOL____00149);
797 constraint int_eq_reif(y[3], 7, BOOL____00153) :: defines_var(BOOL____00153);
798 constraint int_eq_reif(y[3], 8, BOOL____00157) :: defines_var(BOOL____00157);
799 constraint int_eq_reif(y[3], 9, BOOL____00160) :: defines_var(BOOL____00160);
800 constraint int_eq_reif(y[3], 21, BOOL____00124) :: defines_var(BOOL____00124);
801 constraint int_eq_reif(y[3], 32, BOOL____00134) :: defines_var(BOOL____00134);
802 constraint int_eq_reif(y[3], 43, BOOL____00138) :: defines_var(BOOL____00138);
803 constraint int_eq_reif(y[3], 54, BOOL____00142) :: defines_var(BOOL____00142);
804 constraint int_eq_reif(y[3], 65, BOOL____00146) :: defines_var(BOOL____00146);
805 constraint int_eq_reif(y[3], 76, BOOL____00150) :: defines_var(BOOL____00150);
806 constraint int_eq_reif(y[3], 87, BOOL____00154) :: defines_var(BOOL____00154);
807 constraint int_eq_reif(y[3], 98, BOOL____00158) :: defines_var(BOOL____00158);
808 constraint int_eq_reif(y[3], 321, BOOL____00126) :: defines_var(BOOL____00126);
809 constraint int_eq_reif(y[3], 432, BOOL____00135) :: defines_var(BOOL____00135);
810 constraint int_eq_reif(y[3], 543, BOOL____00139) :: defines_var(BOOL____00139);
811 constraint int_eq_reif(y[3], 654, BOOL____00143) :: defines_var(BOOL____00143);
812 constraint int_eq_reif(y[3], 765, BOOL____00147) :: defines_var(BOOL____00147);
813 constraint int_eq_reif(y[3], 876, BOOL____00151) :: defines_var(BOOL____00151);
814 constraint int_eq_reif(y[3], 987, BOOL____00155) :: defines_var(BOOL____00155);
815 constraint int_eq_reif(y[4], 0, BOOL____00176) :: defines_var(BOOL____00176);
816 constraint int_eq_reif(y[4], 1, BOOL____00178) :: defines_var(BOOL____00178);
817 constraint int_eq_reif(y[4], 2, BOOL____00189) :: defines_var(BOOL____00189);
818 constraint int_eq_reif(y[4], 3, BOOL____00193) :: defines_var(BOOL____00193);
819 constraint int_eq_reif(y[4], 4, BOOL____00197) :: defines_var(BOOL____00197);
820 constraint int_eq_reif(y[4], 5, BOOL____00201) :: defines_var(BOOL____00201);
821 constraint int_eq_reif(y[4], 6, BOOL____00205) :: defines_var(BOOL____00205);
822 constraint int_eq_reif(y[4], 7, BOOL____00209) :: defines_var(BOOL____00209);
823 constraint int_eq_reif(y[4], 8, BOOL____00213) :: defines_var(BOOL____00213);
824 constraint int_eq_reif(y[4], 9, BOOL____00216) :: defines_var(BOOL____00216);
825 constraint int_eq_reif(y[4], 21, BOOL____00180) :: defines_var(BOOL____00180);
826 constraint int_eq_reif(y[4], 32, BOOL____00190) :: defines_var(BOOL____00190);
827 constraint int_eq_reif(y[4], 43, BOOL____00194) :: defines_var(BOOL____00194);
828 constraint int_eq_reif(y[4], 54, BOOL____00198) :: defines_var(BOOL____00198);
829 constraint int_eq_reif(y[4], 65, BOOL____00202) :: defines_var(BOOL____00202);
830 constraint int_eq_reif(y[4], 76, BOOL____00206) :: defines_var(BOOL____00206);
831 constraint int_eq_reif(y[4], 87, BOOL____00210) :: defines_var(BOOL____00210);
832 constraint int_eq_reif(y[4], 98, BOOL____00214) :: defines_var(BOOL____00214);
833 constraint int_eq_reif(y[4], 321, BOOL____00182) :: defines_var(BOOL____00182);
834 constraint int_eq_reif(y[4], 432, BOOL____00191) :: defines_var(BOOL____00191);
835 constraint int_eq_reif(y[4], 543, BOOL____00195) :: defines_var(BOOL____00195);
836 constraint int_eq_reif(y[4], 654, BOOL____00199) :: defines_var(BOOL____00199);
837 constraint int_eq_reif(y[4], 765, BOOL____00203) :: defines_var(BOOL____00203);
838 constraint int_eq_reif(y[4], 876, BOOL____00207) :: defines_var(BOOL____00207);
839 constraint int_eq_reif(y[4], 987, BOOL____00211) :: defines_var(BOOL____00211);
840 constraint int_eq_reif(y[5], 0, BOOL____00232) :: defines_var(BOOL____00232);
841 constraint int_eq_reif(y[5], 1, BOOL____00234) :: defines_var(BOOL____00234);
842 constraint int_eq_reif(y[5], 2, BOOL____00245) :: defines_var(BOOL____00245);
843 constraint int_eq_reif(y[5], 3, BOOL____00249) :: defines_var(BOOL____00249);
844 constraint int_eq_reif(y[5], 4, BOOL____00253) :: defines_var(BOOL____00253);
845 constraint int_eq_reif(y[5], 5, BOOL____00257) :: defines_var(BOOL____00257);
846 constraint int_eq_reif(y[5], 6, BOOL____00261) :: defines_var(BOOL____00261);
847 constraint int_eq_reif(y[5], 7, BOOL____00265) :: defines_var(BOOL____00265);
848 constraint int_eq_reif(y[5], 8, BOOL____00269) :: defines_var(BOOL____00269);
849 constraint int_eq_reif(y[5], 9, BOOL____00272) :: defines_var(BOOL____00272);
850 constraint int_eq_reif(y[5], 21, BOOL____00236) :: defines_var(BOOL____00236);
851 constraint int_eq_reif(y[5], 32, BOOL____00246) :: defines_var(BOOL____00246);
852 constraint int_eq_reif(y[5], 43, BOOL____00250) :: defines_var(BOOL____00250);
853 constraint int_eq_reif(y[5], 54, BOOL____00254) :: defines_var(BOOL____00254);
854 constraint int_eq_reif(y[5], 65, BOOL____00258) :: defines_var(BOOL____00258);
855 constraint int_eq_reif(y[5], 76, BOOL____00262) :: defines_var(BOOL____00262);
856 constraint int_eq_reif(y[5], 87, BOOL____00266) :: defines_var(BOOL____00266);
857 constraint int_eq_reif(y[5], 98, BOOL____00270) :: defines_var(BOOL____00270);
858 constraint int_eq_reif(y[5], 321, BOOL____00238) :: defines_var(BOOL____00238);
859 constraint int_eq_reif(y[5], 432, BOOL____00247) :: defines_var(BOOL____00247);
860 constraint int_eq_reif(y[5], 543, BOOL____00251) :: defines_var(BOOL____00251);
861 constraint int_eq_reif(y[5], 654, BOOL____00255) :: defines_var(BOOL____00255);
862 constraint int_eq_reif(y[5], 765, BOOL____00259) :: defines_var(BOOL____00259);
863 constraint int_eq_reif(y[5], 876, BOOL____00263) :: defines_var(BOOL____00263);
864 constraint int_eq_reif(y[5], 987, BOOL____00267) :: defines_var(BOOL____00267);
865 constraint int_eq_reif(y[6], 0, BOOL____00288) :: defines_var(BOOL____00288);
866 constraint int_eq_reif(y[6], 1, BOOL____00290) :: defines_var(BOOL____00290);
867 constraint int_eq_reif(y[6], 2, BOOL____00301) :: defines_var(BOOL____00301);
868 constraint int_eq_reif(y[6], 3, BOOL____00305) :: defines_var(BOOL____00305);
869 constraint int_eq_reif(y[6], 4, BOOL____00309) :: defines_var(BOOL____00309);
870 constraint int_eq_reif(y[6], 5, BOOL____00313) :: defines_var(BOOL____00313);
871 constraint int_eq_reif(y[6], 6, BOOL____00317) :: defines_var(BOOL____00317);
872 constraint int_eq_reif(y[6], 7, BOOL____00321) :: defines_var(BOOL____00321);
873 constraint int_eq_reif(y[6], 8, BOOL____00325) :: defines_var(BOOL____00325);
874 constraint int_eq_reif(y[6], 9, BOOL____00328) :: defines_var(BOOL____00328);
875 constraint int_eq_reif(y[6], 21, BOOL____00292) :: defines_var(BOOL____00292);
876 constraint int_eq_reif(y[6], 32, BOOL____00302) :: defines_var(BOOL____00302);
877 constraint int_eq_reif(y[6], 43, BOOL____00306) :: defines_var(BOOL____00306);
878 constraint int_eq_reif(y[6], 54, BOOL____00310) :: defines_var(BOOL____00310);
879 constraint int_eq_reif(y[6], 65, BOOL____00314) :: defines_var(BOOL____00314);
880 constraint int_eq_reif(y[6], 76, BOOL____00318) :: defines_var(BOOL____00318);
881 constraint int_eq_reif(y[6], 87, BOOL____00322) :: defines_var(BOOL____00322);
882 constraint int_eq_reif(y[6], 98, BOOL____00326) :: defines_var(BOOL____00326);
883 constraint int_eq_reif(y[6], 321, BOOL____00294) :: defines_var(BOOL____00294);
884 constraint int_eq_reif(y[6], 432, BOOL____00303) :: defines_var(BOOL____00303);
885 constraint int_eq_reif(y[6], 543, BOOL____00307) :: defines_var(BOOL____00307);
886 constraint int_eq_reif(y[6], 654, BOOL____00311) :: defines_var(BOOL____00311);
887 constraint int_eq_reif(y[6], 765, BOOL____00315) :: defines_var(BOOL____00315);
888 constraint int_eq_reif(y[6], 876, BOOL____00319) :: defines_var(BOOL____00319);
889 constraint int_eq_reif(y[6], 987, BOOL____00323) :: defines_var(BOOL____00323);
890 constraint int_eq_reif(y[7], 0, BOOL____00344) :: defines_var(BOOL____00344);
891 constraint int_eq_reif(y[7], 1, BOOL____00346) :: defines_var(BOOL____00346);
892 constraint int_eq_reif(y[7], 2, BOOL____00357) :: defines_var(BOOL____00357);
893 constraint int_eq_reif(y[7], 3, BOOL____00361) :: defines_var(BOOL____00361);
894 constraint int_eq_reif(y[7], 4, BOOL____00365) :: defines_var(BOOL____00365);
895 constraint int_eq_reif(y[7], 5, BOOL____00369) :: defines_var(BOOL____00369);
896 constraint int_eq_reif(y[7], 6, BOOL____00373) :: defines_var(BOOL____00373);
897 constraint int_eq_reif(y[7], 7, BOOL____00377) :: defines_var(BOOL____00377);
898 constraint int_eq_reif(y[7], 8, BOOL____00381) :: defines_var(BOOL____00381);
899 constraint int_eq_reif(y[7], 9, BOOL____00384) :: defines_var(BOOL____00384);
900 constraint int_eq_reif(y[7], 21, BOOL____00348) :: defines_var(BOOL____00348);
901 constraint int_eq_reif(y[7], 32, BOOL____00358) :: defines_var(BOOL____00358);
902 constraint int_eq_reif(y[7], 43, BOOL____00362) :: defines_var(BOOL____00362);
903 constraint int_eq_reif(y[7], 54, BOOL____00366) :: defines_var(BOOL____00366);
904 constraint int_eq_reif(y[7], 65, BOOL____00370) :: defines_var(BOOL____00370);
905 constraint int_eq_reif(y[7], 76, BOOL____00374) :: defines_var(BOOL____00374);
906 constraint int_eq_reif(y[7], 87, BOOL____00378) :: defines_var(BOOL____00378);
907 constraint int_eq_reif(y[7], 98, BOOL____00382) :: defines_var(BOOL____00382);
908 constraint int_eq_reif(y[7], 321, BOOL____00350) :: defines_var(BOOL____00350);
909 constraint int_eq_reif(y[7], 432, BOOL____00359) :: defines_var(BOOL____00359);
910 constraint int_eq_reif(y[7], 543, BOOL____00363) :: defines_var(BOOL____00363);
911 constraint int_eq_reif(y[7], 654, BOOL____00367) :: defines_var(BOOL____00367);
912 constraint int_eq_reif(y[7], 765, BOOL____00371) :: defines_var(BOOL____00371);
913 constraint int_eq_reif(y[7], 876, BOOL____00375) :: defines_var(BOOL____00375);
914 constraint int_eq_reif(y[7], 987, BOOL____00379) :: defines_var(BOOL____00379);
915 constraint int_eq_reif(y[8], 0, BOOL____00400) :: defines_var(BOOL____00400);
916 constraint int_eq_reif(y[8], 1, BOOL____00402) :: defines_var(BOOL____00402);
917 constraint int_eq_reif(y[8], 2, BOOL____00413) :: defines_var(BOOL____00413);
918 constraint int_eq_reif(y[8], 3, BOOL____00417) :: defines_var(BOOL____00417);
919 constraint int_eq_reif(y[8], 4, BOOL____00421) :: defines_var(BOOL____00421);
920 constraint int_eq_reif(y[8], 5, BOOL____00425) :: defines_var(BOOL____00425);
921 constraint int_eq_reif(y[8], 6, BOOL____00429) :: defines_var(BOOL____00429);
922 constraint int_eq_reif(y[8], 7, BOOL____00433) :: defines_var(BOOL____00433);
923 constraint int_eq_reif(y[8], 8, BOOL____00437) :: defines_var(BOOL____00437);
924 constraint int_eq_reif(y[8], 9, BOOL____00440) :: defines_var(BOOL____00440);
925 constraint int_eq_reif(y[8], 21, BOOL____00404) :: defines_var(BOOL____00404);
926 constraint int_eq_reif(y[8], 32, BOOL____00414) :: defines_var(BOOL____00414);
927 constraint int_eq_reif(y[8], 43, BOOL____00418) :: defines_var(BOOL____00418);
928 constraint int_eq_reif(y[8], 54, BOOL____00422) :: defines_var(BOOL____00422);
929 constraint int_eq_reif(y[8], 65, BOOL____00426) :: defines_var(BOOL____00426);
930 constraint int_eq_reif(y[8], 76, BOOL____00430) :: defines_var(BOOL____00430);
931 constraint int_eq_reif(y[8], 87, BOOL____00434) :: defines_var(BOOL____00434);
932 constraint int_eq_reif(y[8], 98, BOOL____00438) :: defines_var(BOOL____00438);
933 constraint int_eq_reif(y[8], 321, BOOL____00406) :: defines_var(BOOL____00406);
934 constraint int_eq_reif(y[8], 432, BOOL____00415) :: defines_var(BOOL____00415);
935 constraint int_eq_reif(y[8], 543, BOOL____00419) :: defines_var(BOOL____00419);
936 constraint int_eq_reif(y[8], 654, BOOL____00423) :: defines_var(BOOL____00423);
937 constraint int_eq_reif(y[8], 765, BOOL____00427) :: defines_var(BOOL____00427);
938 constraint int_eq_reif(y[8], 876, BOOL____00431) :: defines_var(BOOL____00431);
939 constraint int_eq_reif(y[8], 987, BOOL____00435) :: defines_var(BOOL____00435);
940 constraint int_eq_reif(y[9], 0, BOOL____00456) :: defines_var(BOOL____00456);
941 constraint int_eq_reif(y[9], 1, BOOL____00458) :: defines_var(BOOL____00458);
942 constraint int_eq_reif(y[9], 2, BOOL____00469) :: defines_var(BOOL____00469);
943 constraint int_eq_reif(y[9], 3, BOOL____00473) :: defines_var(BOOL____00473);
944 constraint int_eq_reif(y[9], 4, BOOL____00477) :: defines_var(BOOL____00477);
945 constraint int_eq_reif(y[9], 5, BOOL____00481) :: defines_var(BOOL____00481);
946 constraint int_eq_reif(y[9], 6, BOOL____00485) :: defines_var(BOOL____00485);
947 constraint int_eq_reif(y[9], 7, BOOL____00489) :: defines_var(BOOL____00489);
948 constraint int_eq_reif(y[9], 8, BOOL____00493) :: defines_var(BOOL____00493);
949 constraint int_eq_reif(y[9], 9, BOOL____00496) :: defines_var(BOOL____00496);
950 constraint int_eq_reif(y[9], 21, BOOL____00460) :: defines_var(BOOL____00460);
951 constraint int_eq_reif(y[9], 32, BOOL____00470) :: defines_var(BOOL____00470);
952 constraint int_eq_reif(y[9], 43, BOOL____00474) :: defines_var(BOOL____00474);
953 constraint int_eq_reif(y[9], 54, BOOL____00478) :: defines_var(BOOL____00478);
954 constraint int_eq_reif(y[9], 65, BOOL____00482) :: defines_var(BOOL____00482);
955 constraint int_eq_reif(y[9], 76, BOOL____00486) :: defines_var(BOOL____00486);
956 constraint int_eq_reif(y[9], 87, BOOL____00490) :: defines_var(BOOL____00490);
957 constraint int_eq_reif(y[9], 98, BOOL____00494) :: defines_var(BOOL____00494);
958 constraint int_eq_reif(y[9], 321, BOOL____00462) :: defines_var(BOOL____00462);
959 constraint int_eq_reif(y[9], 432, BOOL____00471) :: defines_var(BOOL____00471);
960 constraint int_eq_reif(y[9], 543, BOOL____00475) :: defines_var(BOOL____00475);
961 constraint int_eq_reif(y[9], 654, BOOL____00479) :: defines_var(BOOL____00479);
962 constraint int_eq_reif(y[9], 765, BOOL____00483) :: defines_var(BOOL____00483);
963 constraint int_eq_reif(y[9], 876, BOOL____00487) :: defines_var(BOOL____00487);
964 constraint int_eq_reif(y[9], 987, BOOL____00491) :: defines_var(BOOL____00491);
973 constraint int_lin_eq_reif([1, 1], [s[1], y[1]], 0, BOOL____00503) :: defines_var(BOOL____00503);
974 constraint int_lin_eq_reif([-1, 1, -1], [s[1], s[2], y[2]], 0, BOOL____00516) :: defines_var(BOOL__…
975 constraint int_lin_eq_reif([-1, 1, -1], [s[2], s[3], y[3]], 0, BOOL____00521) :: defines_var(BOOL__…
976 constraint int_lin_eq_reif([-1, 1, -1], [s[3], s[4], y[4]], 0, BOOL____00526) :: defines_var(BOOL__…
977 constraint int_lin_eq_reif([-1, 1, -1], [s[4], s[5], y[5]], 0, BOOL____00531) :: defines_var(BOOL__…
978 constraint int_lin_eq_reif([-1, 1, -1], [s[5], s[6], y[6]], 0, BOOL____00536) :: defines_var(BOOL__…
979 constraint int_lin_eq_reif([-1, 1, -1], [s[6], s[7], y[7]], 0, BOOL____00541) :: defines_var(BOOL__…
980 constraint int_lin_eq_reif([-1, 1, -1], [s[7], s[8], y[8]], 0, BOOL____00546) :: defines_var(BOOL__…
981 constraint int_lin_eq_reif([-1, 1, -1], [s[8], s[9], y[9]], 0, BOOL____00551) :: defines_var(BOOL__…
982 constraint int_lin_eq_reif([-1, 1, 1], [s[1], s[2], y[2]], 0, BOOL____00517) :: defines_var(BOOL___…
983 constraint int_lin_eq_reif([-1, 1, 1], [s[2], s[3], y[3]], 0, BOOL____00522) :: defines_var(BOOL___…
984 constraint int_lin_eq_reif([-1, 1, 1], [s[3], s[4], y[4]], 0, BOOL____00527) :: defines_var(BOOL___…
985 constraint int_lin_eq_reif([-1, 1, 1], [s[4], s[5], y[5]], 0, BOOL____00532) :: defines_var(BOOL___…
986 constraint int_lin_eq_reif([-1, 1, 1], [s[5], s[6], y[6]], 0, BOOL____00537) :: defines_var(BOOL___…
987 constraint int_lin_eq_reif([-1, 1, 1], [s[6], s[7], y[7]], 0, BOOL____00542) :: defines_var(BOOL___…
988 constraint int_lin_eq_reif([-1, 1, 1], [s[7], s[8], y[8]], 0, BOOL____00547) :: defines_var(BOOL___…
989 constraint int_lin_eq_reif([-1, 1, 1], [s[8], s[9], y[9]], 0, BOOL____00552) :: defines_var(BOOL___…
1143 …1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], y[1], y[2], y[3], y[4], y[5], y[6], y[7], y[8]…