Lines Matching refs:x
4 array [1..50] of var 0..1: x :: output_array([1..50]);
5 …x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[…
6 constraint int_lin_le([1, 1], [x[1], x[2]], 1);
7 constraint int_lin_le([1, 1], [x[1], x[3]], 1);
8 constraint int_lin_le([1, 1], [x[1], x[5]], 1);
9 constraint int_lin_le([1, 1], [x[1], x[7]], 1);
10 constraint int_lin_le([1, 1], [x[1], x[8]], 1);
11 constraint int_lin_le([1, 1], [x[1], x[12]], 1);
12 constraint int_lin_le([1, 1], [x[1], x[15]], 1);
13 constraint int_lin_le([1, 1], [x[1], x[16]], 1);
14 constraint int_lin_le([1, 1], [x[1], x[19]], 1);
15 constraint int_lin_le([1, 1], [x[1], x[20]], 1);
16 constraint int_lin_le([1, 1], [x[1], x[21]], 1);
17 constraint int_lin_le([1, 1], [x[1], x[22]], 1);
18 constraint int_lin_le([1, 1], [x[1], x[28]], 1);
19 constraint int_lin_le([1, 1], [x[1], x[30]], 1);
20 constraint int_lin_le([1, 1], [x[1], x[34]], 1);
21 constraint int_lin_le([1, 1], [x[1], x[35]], 1);
22 constraint int_lin_le([1, 1], [x[1], x[37]], 1);
23 constraint int_lin_le([1, 1], [x[1], x[41]], 1);
24 constraint int_lin_le([1, 1], [x[1], x[42]], 1);
25 constraint int_lin_le([1, 1], [x[1], x[47]], 1);
26 constraint int_lin_le([1, 1], [x[1], x[50]], 1);
27 constraint int_lin_le([1, 1], [x[2], x[3]], 1);
28 constraint int_lin_le([1, 1], [x[2], x[5]], 1);
29 constraint int_lin_le([1, 1], [x[2], x[6]], 1);
30 constraint int_lin_le([1, 1], [x[2], x[7]], 1);
31 constraint int_lin_le([1, 1], [x[2], x[8]], 1);
32 constraint int_lin_le([1, 1], [x[2], x[9]], 1);
33 constraint int_lin_le([1, 1], [x[2], x[10]], 1);
34 constraint int_lin_le([1, 1], [x[2], x[13]], 1);
35 constraint int_lin_le([1, 1], [x[2], x[17]], 1);
36 constraint int_lin_le([1, 1], [x[2], x[19]], 1);
37 constraint int_lin_le([1, 1], [x[2], x[20]], 1);
38 constraint int_lin_le([1, 1], [x[2], x[21]], 1);
39 constraint int_lin_le([1, 1], [x[2], x[23]], 1);
40 constraint int_lin_le([1, 1], [x[2], x[25]], 1);
41 constraint int_lin_le([1, 1], [x[2], x[26]], 1);
42 constraint int_lin_le([1, 1], [x[2], x[29]], 1);
43 constraint int_lin_le([1, 1], [x[2], x[31]], 1);
44 constraint int_lin_le([1, 1], [x[2], x[35]], 1);
45 constraint int_lin_le([1, 1], [x[2], x[36]], 1);
46 constraint int_lin_le([1, 1], [x[2], x[44]], 1);
47 constraint int_lin_le([1, 1], [x[2], x[45]], 1);
48 constraint int_lin_le([1, 1], [x[2], x[46]], 1);
49 constraint int_lin_le([1, 1], [x[2], x[50]], 1);
50 constraint int_lin_le([1, 1], [x[3], x[5]], 1);
51 constraint int_lin_le([1, 1], [x[3], x[6]], 1);
52 constraint int_lin_le([1, 1], [x[3], x[8]], 1);
53 constraint int_lin_le([1, 1], [x[3], x[9]], 1);
54 constraint int_lin_le([1, 1], [x[3], x[10]], 1);
55 constraint int_lin_le([1, 1], [x[3], x[11]], 1);
56 constraint int_lin_le([1, 1], [x[3], x[14]], 1);
57 constraint int_lin_le([1, 1], [x[3], x[16]], 1);
58 constraint int_lin_le([1, 1], [x[3], x[23]], 1);
59 constraint int_lin_le([1, 1], [x[3], x[24]], 1);
60 constraint int_lin_le([1, 1], [x[3], x[26]], 1);
61 constraint int_lin_le([1, 1], [x[3], x[27]], 1);
62 constraint int_lin_le([1, 1], [x[3], x[28]], 1);
63 constraint int_lin_le([1, 1], [x[3], x[29]], 1);
64 constraint int_lin_le([1, 1], [x[3], x[30]], 1);
65 constraint int_lin_le([1, 1], [x[3], x[31]], 1);
66 constraint int_lin_le([1, 1], [x[3], x[34]], 1);
67 constraint int_lin_le([1, 1], [x[3], x[35]], 1);
68 constraint int_lin_le([1, 1], [x[3], x[36]], 1);
69 constraint int_lin_le([1, 1], [x[3], x[39]], 1);
70 constraint int_lin_le([1, 1], [x[3], x[41]], 1);
71 constraint int_lin_le([1, 1], [x[3], x[42]], 1);
72 constraint int_lin_le([1, 1], [x[3], x[43]], 1);
73 constraint int_lin_le([1, 1], [x[3], x[44]], 1);
74 constraint int_lin_le([1, 1], [x[3], x[50]], 1);
75 constraint int_lin_le([1, 1], [x[4], x[6]], 1);
76 constraint int_lin_le([1, 1], [x[4], x[7]], 1);
77 constraint int_lin_le([1, 1], [x[4], x[9]], 1);
78 constraint int_lin_le([1, 1], [x[4], x[10]], 1);
79 constraint int_lin_le([1, 1], [x[4], x[11]], 1);
80 constraint int_lin_le([1, 1], [x[4], x[13]], 1);
81 constraint int_lin_le([1, 1], [x[4], x[14]], 1);
82 constraint int_lin_le([1, 1], [x[4], x[15]], 1);
83 constraint int_lin_le([1, 1], [x[4], x[17]], 1);
84 constraint int_lin_le([1, 1], [x[4], x[21]], 1);
85 constraint int_lin_le([1, 1], [x[4], x[22]], 1);
86 constraint int_lin_le([1, 1], [x[4], x[23]], 1);
87 constraint int_lin_le([1, 1], [x[4], x[24]], 1);
88 constraint int_lin_le([1, 1], [x[4], x[25]], 1);
89 constraint int_lin_le([1, 1], [x[4], x[27]], 1);
90 constraint int_lin_le([1, 1], [x[4], x[28]], 1);
91 constraint int_lin_le([1, 1], [x[4], x[30]], 1);
92 constraint int_lin_le([1, 1], [x[4], x[31]], 1);
93 constraint int_lin_le([1, 1], [x[4], x[33]], 1);
94 constraint int_lin_le([1, 1], [x[4], x[34]], 1);
95 constraint int_lin_le([1, 1], [x[4], x[35]], 1);
96 constraint int_lin_le([1, 1], [x[4], x[36]], 1);
97 constraint int_lin_le([1, 1], [x[4], x[37]], 1);
98 constraint int_lin_le([1, 1], [x[4], x[38]], 1);
99 constraint int_lin_le([1, 1], [x[4], x[40]], 1);
100 constraint int_lin_le([1, 1], [x[4], x[41]], 1);
101 constraint int_lin_le([1, 1], [x[4], x[42]], 1);
102 constraint int_lin_le([1, 1], [x[4], x[46]], 1);
103 constraint int_lin_le([1, 1], [x[4], x[49]], 1);
104 constraint int_lin_le([1, 1], [x[5], x[6]], 1);
105 constraint int_lin_le([1, 1], [x[5], x[11]], 1);
106 constraint int_lin_le([1, 1], [x[5], x[14]], 1);
107 constraint int_lin_le([1, 1], [x[5], x[21]], 1);
108 constraint int_lin_le([1, 1], [x[5], x[24]], 1);
109 constraint int_lin_le([1, 1], [x[5], x[25]], 1);
110 constraint int_lin_le([1, 1], [x[5], x[28]], 1);
111 constraint int_lin_le([1, 1], [x[5], x[35]], 1);
112 constraint int_lin_le([1, 1], [x[5], x[38]], 1);
113 constraint int_lin_le([1, 1], [x[5], x[39]], 1);
114 constraint int_lin_le([1, 1], [x[5], x[41]], 1);
115 constraint int_lin_le([1, 1], [x[5], x[44]], 1);
116 constraint int_lin_le([1, 1], [x[5], x[49]], 1);
117 constraint int_lin_le([1, 1], [x[5], x[50]], 1);
118 constraint int_lin_le([1, 1], [x[6], x[8]], 1);
119 constraint int_lin_le([1, 1], [x[6], x[9]], 1);
120 constraint int_lin_le([1, 1], [x[6], x[10]], 1);
121 constraint int_lin_le([1, 1], [x[6], x[13]], 1);
122 constraint int_lin_le([1, 1], [x[6], x[14]], 1);
123 constraint int_lin_le([1, 1], [x[6], x[16]], 1);
124 constraint int_lin_le([1, 1], [x[6], x[17]], 1);
125 constraint int_lin_le([1, 1], [x[6], x[19]], 1);
126 constraint int_lin_le([1, 1], [x[6], x[22]], 1);
127 constraint int_lin_le([1, 1], [x[6], x[23]], 1);
128 constraint int_lin_le([1, 1], [x[6], x[26]], 1);
129 constraint int_lin_le([1, 1], [x[6], x[27]], 1);
130 constraint int_lin_le([1, 1], [x[6], x[30]], 1);
131 constraint int_lin_le([1, 1], [x[6], x[34]], 1);
132 constraint int_lin_le([1, 1], [x[6], x[35]], 1);
133 constraint int_lin_le([1, 1], [x[6], x[38]], 1);
134 constraint int_lin_le([1, 1], [x[6], x[39]], 1);
135 constraint int_lin_le([1, 1], [x[6], x[40]], 1);
136 constraint int_lin_le([1, 1], [x[6], x[41]], 1);
137 constraint int_lin_le([1, 1], [x[6], x[44]], 1);
138 constraint int_lin_le([1, 1], [x[6], x[45]], 1);
139 constraint int_lin_le([1, 1], [x[6], x[47]], 1);
140 constraint int_lin_le([1, 1], [x[6], x[50]], 1);
141 constraint int_lin_le([1, 1], [x[7], x[8]], 1);
142 constraint int_lin_le([1, 1], [x[7], x[9]], 1);
143 constraint int_lin_le([1, 1], [x[7], x[10]], 1);
144 constraint int_lin_le([1, 1], [x[7], x[11]], 1);
145 constraint int_lin_le([1, 1], [x[7], x[13]], 1);
146 constraint int_lin_le([1, 1], [x[7], x[15]], 1);
147 constraint int_lin_le([1, 1], [x[7], x[16]], 1);
148 constraint int_lin_le([1, 1], [x[7], x[18]], 1);
149 constraint int_lin_le([1, 1], [x[7], x[20]], 1);
150 constraint int_lin_le([1, 1], [x[7], x[22]], 1);
151 constraint int_lin_le([1, 1], [x[7], x[23]], 1);
152 constraint int_lin_le([1, 1], [x[7], x[24]], 1);
153 constraint int_lin_le([1, 1], [x[7], x[25]], 1);
154 constraint int_lin_le([1, 1], [x[7], x[33]], 1);
155 constraint int_lin_le([1, 1], [x[7], x[35]], 1);
156 constraint int_lin_le([1, 1], [x[7], x[36]], 1);
157 constraint int_lin_le([1, 1], [x[7], x[38]], 1);
158 constraint int_lin_le([1, 1], [x[7], x[43]], 1);
159 constraint int_lin_le([1, 1], [x[7], x[45]], 1);
160 constraint int_lin_le([1, 1], [x[7], x[46]], 1);
161 constraint int_lin_le([1, 1], [x[7], x[47]], 1);
162 constraint int_lin_le([1, 1], [x[8], x[10]], 1);
163 constraint int_lin_le([1, 1], [x[8], x[11]], 1);
164 constraint int_lin_le([1, 1], [x[8], x[13]], 1);
165 constraint int_lin_le([1, 1], [x[8], x[16]], 1);
166 constraint int_lin_le([1, 1], [x[8], x[17]], 1);
167 constraint int_lin_le([1, 1], [x[8], x[18]], 1);
168 constraint int_lin_le([1, 1], [x[8], x[19]], 1);
169 constraint int_lin_le([1, 1], [x[8], x[20]], 1);
170 constraint int_lin_le([1, 1], [x[8], x[21]], 1);
171 constraint int_lin_le([1, 1], [x[8], x[22]], 1);
172 constraint int_lin_le([1, 1], [x[8], x[23]], 1);
173 constraint int_lin_le([1, 1], [x[8], x[24]], 1);
174 constraint int_lin_le([1, 1], [x[8], x[25]], 1);
175 constraint int_lin_le([1, 1], [x[8], x[26]], 1);
176 constraint int_lin_le([1, 1], [x[8], x[33]], 1);
177 constraint int_lin_le([1, 1], [x[8], x[35]], 1);
178 constraint int_lin_le([1, 1], [x[8], x[36]], 1);
179 constraint int_lin_le([1, 1], [x[8], x[39]], 1);
180 constraint int_lin_le([1, 1], [x[8], x[42]], 1);
181 constraint int_lin_le([1, 1], [x[8], x[44]], 1);
182 constraint int_lin_le([1, 1], [x[8], x[48]], 1);
183 constraint int_lin_le([1, 1], [x[8], x[49]], 1);
184 constraint int_lin_le([1, 1], [x[9], x[12]], 1);
185 constraint int_lin_le([1, 1], [x[9], x[14]], 1);
186 constraint int_lin_le([1, 1], [x[9], x[17]], 1);
187 constraint int_lin_le([1, 1], [x[9], x[19]], 1);
188 constraint int_lin_le([1, 1], [x[9], x[20]], 1);
189 constraint int_lin_le([1, 1], [x[9], x[23]], 1);
190 constraint int_lin_le([1, 1], [x[9], x[28]], 1);
191 constraint int_lin_le([1, 1], [x[9], x[30]], 1);
192 constraint int_lin_le([1, 1], [x[9], x[31]], 1);
193 constraint int_lin_le([1, 1], [x[9], x[32]], 1);
194 constraint int_lin_le([1, 1], [x[9], x[33]], 1);
195 constraint int_lin_le([1, 1], [x[9], x[34]], 1);
196 constraint int_lin_le([1, 1], [x[9], x[38]], 1);
197 constraint int_lin_le([1, 1], [x[9], x[39]], 1);
198 constraint int_lin_le([1, 1], [x[9], x[42]], 1);
199 constraint int_lin_le([1, 1], [x[9], x[44]], 1);
200 constraint int_lin_le([1, 1], [x[9], x[45]], 1);
201 constraint int_lin_le([1, 1], [x[9], x[46]], 1);
202 constraint int_lin_le([1, 1], [x[10], x[11]], 1);
203 constraint int_lin_le([1, 1], [x[10], x[13]], 1);
204 constraint int_lin_le([1, 1], [x[10], x[15]], 1);
205 constraint int_lin_le([1, 1], [x[10], x[16]], 1);
206 constraint int_lin_le([1, 1], [x[10], x[17]], 1);
207 constraint int_lin_le([1, 1], [x[10], x[20]], 1);
208 constraint int_lin_le([1, 1], [x[10], x[21]], 1);
209 constraint int_lin_le([1, 1], [x[10], x[22]], 1);
210 constraint int_lin_le([1, 1], [x[10], x[23]], 1);
211 constraint int_lin_le([1, 1], [x[10], x[25]], 1);
212 constraint int_lin_le([1, 1], [x[10], x[26]], 1);
213 constraint int_lin_le([1, 1], [x[10], x[27]], 1);
214 constraint int_lin_le([1, 1], [x[10], x[28]], 1);
215 constraint int_lin_le([1, 1], [x[10], x[30]], 1);
216 constraint int_lin_le([1, 1], [x[10], x[31]], 1);
217 constraint int_lin_le([1, 1], [x[10], x[32]], 1);
218 constraint int_lin_le([1, 1], [x[10], x[37]], 1);
219 constraint int_lin_le([1, 1], [x[10], x[38]], 1);
220 constraint int_lin_le([1, 1], [x[10], x[41]], 1);
221 constraint int_lin_le([1, 1], [x[10], x[43]], 1);
222 constraint int_lin_le([1, 1], [x[10], x[44]], 1);
223 constraint int_lin_le([1, 1], [x[10], x[45]], 1);
224 constraint int_lin_le([1, 1], [x[10], x[50]], 1);
225 constraint int_lin_le([1, 1], [x[11], x[12]], 1);
226 constraint int_lin_le([1, 1], [x[11], x[14]], 1);
227 constraint int_lin_le([1, 1], [x[11], x[15]], 1);
228 constraint int_lin_le([1, 1], [x[11], x[18]], 1);
229 constraint int_lin_le([1, 1], [x[11], x[21]], 1);
230 constraint int_lin_le([1, 1], [x[11], x[24]], 1);
231 constraint int_lin_le([1, 1], [x[11], x[25]], 1);
232 constraint int_lin_le([1, 1], [x[11], x[26]], 1);
233 constraint int_lin_le([1, 1], [x[11], x[29]], 1);
234 constraint int_lin_le([1, 1], [x[11], x[32]], 1);
235 constraint int_lin_le([1, 1], [x[11], x[33]], 1);
236 constraint int_lin_le([1, 1], [x[11], x[35]], 1);
237 constraint int_lin_le([1, 1], [x[11], x[36]], 1);
238 constraint int_lin_le([1, 1], [x[11], x[37]], 1);
239 constraint int_lin_le([1, 1], [x[11], x[39]], 1);
240 constraint int_lin_le([1, 1], [x[11], x[40]], 1);
241 constraint int_lin_le([1, 1], [x[11], x[42]], 1);
242 constraint int_lin_le([1, 1], [x[11], x[43]], 1);
243 constraint int_lin_le([1, 1], [x[11], x[45]], 1);
244 constraint int_lin_le([1, 1], [x[11], x[47]], 1);
245 constraint int_lin_le([1, 1], [x[11], x[49]], 1);
246 constraint int_lin_le([1, 1], [x[11], x[50]], 1);
247 constraint int_lin_le([1, 1], [x[12], x[13]], 1);
248 constraint int_lin_le([1, 1], [x[12], x[16]], 1);
249 constraint int_lin_le([1, 1], [x[12], x[17]], 1);
250 constraint int_lin_le([1, 1], [x[12], x[19]], 1);
251 constraint int_lin_le([1, 1], [x[12], x[24]], 1);
252 constraint int_lin_le([1, 1], [x[12], x[25]], 1);
253 constraint int_lin_le([1, 1], [x[12], x[26]], 1);
254 constraint int_lin_le([1, 1], [x[12], x[30]], 1);
255 constraint int_lin_le([1, 1], [x[12], x[31]], 1);
256 constraint int_lin_le([1, 1], [x[12], x[32]], 1);
257 constraint int_lin_le([1, 1], [x[12], x[34]], 1);
258 constraint int_lin_le([1, 1], [x[12], x[36]], 1);
259 constraint int_lin_le([1, 1], [x[12], x[37]], 1);
260 constraint int_lin_le([1, 1], [x[12], x[39]], 1);
261 constraint int_lin_le([1, 1], [x[12], x[41]], 1);
262 constraint int_lin_le([1, 1], [x[12], x[44]], 1);
263 constraint int_lin_le([1, 1], [x[12], x[47]], 1);
264 constraint int_lin_le([1, 1], [x[12], x[48]], 1);
265 constraint int_lin_le([1, 1], [x[12], x[49]], 1);
266 constraint int_lin_le([1, 1], [x[13], x[15]], 1);
267 constraint int_lin_le([1, 1], [x[13], x[16]], 1);
268 constraint int_lin_le([1, 1], [x[13], x[18]], 1);
269 constraint int_lin_le([1, 1], [x[13], x[19]], 1);
270 constraint int_lin_le([1, 1], [x[13], x[20]], 1);
271 constraint int_lin_le([1, 1], [x[13], x[22]], 1);
272 constraint int_lin_le([1, 1], [x[13], x[23]], 1);
273 constraint int_lin_le([1, 1], [x[13], x[24]], 1);
274 constraint int_lin_le([1, 1], [x[13], x[27]], 1);
275 constraint int_lin_le([1, 1], [x[13], x[28]], 1);
276 constraint int_lin_le([1, 1], [x[13], x[29]], 1);
277 constraint int_lin_le([1, 1], [x[13], x[31]], 1);
278 constraint int_lin_le([1, 1], [x[13], x[33]], 1);
279 constraint int_lin_le([1, 1], [x[13], x[35]], 1);
280 constraint int_lin_le([1, 1], [x[13], x[36]], 1);
281 constraint int_lin_le([1, 1], [x[13], x[37]], 1);
282 constraint int_lin_le([1, 1], [x[13], x[44]], 1);
283 constraint int_lin_le([1, 1], [x[13], x[47]], 1);
284 constraint int_lin_le([1, 1], [x[13], x[49]], 1);
285 constraint int_lin_le([1, 1], [x[13], x[50]], 1);
286 constraint int_lin_le([1, 1], [x[14], x[15]], 1);
287 constraint int_lin_le([1, 1], [x[14], x[16]], 1);
288 constraint int_lin_le([1, 1], [x[14], x[17]], 1);
289 constraint int_lin_le([1, 1], [x[14], x[18]], 1);
290 constraint int_lin_le([1, 1], [x[14], x[19]], 1);
291 constraint int_lin_le([1, 1], [x[14], x[20]], 1);
292 constraint int_lin_le([1, 1], [x[14], x[21]], 1);
293 constraint int_lin_le([1, 1], [x[14], x[26]], 1);
294 constraint int_lin_le([1, 1], [x[14], x[28]], 1);
295 constraint int_lin_le([1, 1], [x[14], x[29]], 1);
296 constraint int_lin_le([1, 1], [x[14], x[30]], 1);
297 constraint int_lin_le([1, 1], [x[14], x[31]], 1);
298 constraint int_lin_le([1, 1], [x[14], x[32]], 1);
299 constraint int_lin_le([1, 1], [x[14], x[34]], 1);
300 constraint int_lin_le([1, 1], [x[14], x[35]], 1);
301 constraint int_lin_le([1, 1], [x[14], x[36]], 1);
302 constraint int_lin_le([1, 1], [x[14], x[38]], 1);
303 constraint int_lin_le([1, 1], [x[14], x[39]], 1);
304 constraint int_lin_le([1, 1], [x[14], x[41]], 1);
305 constraint int_lin_le([1, 1], [x[14], x[44]], 1);
306 constraint int_lin_le([1, 1], [x[14], x[46]], 1);
307 constraint int_lin_le([1, 1], [x[14], x[47]], 1);
308 constraint int_lin_le([1, 1], [x[14], x[48]], 1);
309 constraint int_lin_le([1, 1], [x[15], x[18]], 1);
310 constraint int_lin_le([1, 1], [x[15], x[21]], 1);
311 constraint int_lin_le([1, 1], [x[15], x[22]], 1);
312 constraint int_lin_le([1, 1], [x[15], x[23]], 1);
313 constraint int_lin_le([1, 1], [x[15], x[25]], 1);
314 constraint int_lin_le([1, 1], [x[15], x[28]], 1);
315 constraint int_lin_le([1, 1], [x[15], x[29]], 1);
316 constraint int_lin_le([1, 1], [x[15], x[30]], 1);
317 constraint int_lin_le([1, 1], [x[15], x[33]], 1);
318 constraint int_lin_le([1, 1], [x[15], x[34]], 1);
319 constraint int_lin_le([1, 1], [x[15], x[36]], 1);
320 constraint int_lin_le([1, 1], [x[15], x[37]], 1);
321 constraint int_lin_le([1, 1], [x[15], x[38]], 1);
322 constraint int_lin_le([1, 1], [x[15], x[39]], 1);
323 constraint int_lin_le([1, 1], [x[15], x[40]], 1);
324 constraint int_lin_le([1, 1], [x[15], x[43]], 1);
325 constraint int_lin_le([1, 1], [x[15], x[44]], 1);
326 constraint int_lin_le([1, 1], [x[15], x[46]], 1);
327 constraint int_lin_le([1, 1], [x[15], x[50]], 1);
328 constraint int_lin_le([1, 1], [x[16], x[17]], 1);
329 constraint int_lin_le([1, 1], [x[16], x[19]], 1);
330 constraint int_lin_le([1, 1], [x[16], x[20]], 1);
331 constraint int_lin_le([1, 1], [x[16], x[25]], 1);
332 constraint int_lin_le([1, 1], [x[16], x[26]], 1);
333 constraint int_lin_le([1, 1], [x[16], x[29]], 1);
334 constraint int_lin_le([1, 1], [x[16], x[35]], 1);
335 constraint int_lin_le([1, 1], [x[16], x[38]], 1);
336 constraint int_lin_le([1, 1], [x[16], x[39]], 1);
337 constraint int_lin_le([1, 1], [x[16], x[40]], 1);
338 constraint int_lin_le([1, 1], [x[16], x[41]], 1);
339 constraint int_lin_le([1, 1], [x[16], x[42]], 1);
340 constraint int_lin_le([1, 1], [x[16], x[44]], 1);
341 constraint int_lin_le([1, 1], [x[17], x[18]], 1);
342 constraint int_lin_le([1, 1], [x[17], x[19]], 1);
343 constraint int_lin_le([1, 1], [x[17], x[21]], 1);
344 constraint int_lin_le([1, 1], [x[17], x[22]], 1);
345 constraint int_lin_le([1, 1], [x[17], x[23]], 1);
346 constraint int_lin_le([1, 1], [x[17], x[25]], 1);
347 constraint int_lin_le([1, 1], [x[17], x[26]], 1);
348 constraint int_lin_le([1, 1], [x[17], x[28]], 1);
349 constraint int_lin_le([1, 1], [x[17], x[29]], 1);
350 constraint int_lin_le([1, 1], [x[17], x[33]], 1);
351 constraint int_lin_le([1, 1], [x[17], x[37]], 1);
352 constraint int_lin_le([1, 1], [x[17], x[44]], 1);
353 constraint int_lin_le([1, 1], [x[17], x[45]], 1);
354 constraint int_lin_le([1, 1], [x[17], x[48]], 1);
355 constraint int_lin_le([1, 1], [x[18], x[20]], 1);
356 constraint int_lin_le([1, 1], [x[18], x[24]], 1);
357 constraint int_lin_le([1, 1], [x[18], x[27]], 1);
358 constraint int_lin_le([1, 1], [x[18], x[28]], 1);
359 constraint int_lin_le([1, 1], [x[18], x[31]], 1);
360 constraint int_lin_le([1, 1], [x[18], x[32]], 1);
361 constraint int_lin_le([1, 1], [x[18], x[34]], 1);
362 constraint int_lin_le([1, 1], [x[18], x[35]], 1);
363 constraint int_lin_le([1, 1], [x[18], x[36]], 1);
364 constraint int_lin_le([1, 1], [x[18], x[37]], 1);
365 constraint int_lin_le([1, 1], [x[18], x[38]], 1);
366 constraint int_lin_le([1, 1], [x[18], x[45]], 1);
367 constraint int_lin_le([1, 1], [x[18], x[48]], 1);
368 constraint int_lin_le([1, 1], [x[18], x[49]], 1);
369 constraint int_lin_le([1, 1], [x[18], x[50]], 1);
370 constraint int_lin_le([1, 1], [x[19], x[22]], 1);
371 constraint int_lin_le([1, 1], [x[19], x[24]], 1);
372 constraint int_lin_le([1, 1], [x[19], x[28]], 1);
373 constraint int_lin_le([1, 1], [x[19], x[29]], 1);
374 constraint int_lin_le([1, 1], [x[19], x[36]], 1);
375 constraint int_lin_le([1, 1], [x[19], x[37]], 1);
376 constraint int_lin_le([1, 1], [x[19], x[39]], 1);
377 constraint int_lin_le([1, 1], [x[19], x[41]], 1);
378 constraint int_lin_le([1, 1], [x[19], x[43]], 1);
379 constraint int_lin_le([1, 1], [x[19], x[45]], 1);
380 constraint int_lin_le([1, 1], [x[19], x[48]], 1);
381 constraint int_lin_le([1, 1], [x[19], x[49]], 1);
382 constraint int_lin_le([1, 1], [x[20], x[21]], 1);
383 constraint int_lin_le([1, 1], [x[20], x[22]], 1);
384 constraint int_lin_le([1, 1], [x[20], x[24]], 1);
385 constraint int_lin_le([1, 1], [x[20], x[25]], 1);
386 constraint int_lin_le([1, 1], [x[20], x[26]], 1);
387 constraint int_lin_le([1, 1], [x[20], x[27]], 1);
388 constraint int_lin_le([1, 1], [x[20], x[29]], 1);
389 constraint int_lin_le([1, 1], [x[20], x[30]], 1);
390 constraint int_lin_le([1, 1], [x[20], x[31]], 1);
391 constraint int_lin_le([1, 1], [x[20], x[33]], 1);
392 constraint int_lin_le([1, 1], [x[20], x[34]], 1);
393 constraint int_lin_le([1, 1], [x[20], x[35]], 1);
394 constraint int_lin_le([1, 1], [x[20], x[38]], 1);
395 constraint int_lin_le([1, 1], [x[20], x[39]], 1);
396 constraint int_lin_le([1, 1], [x[20], x[41]], 1);
397 constraint int_lin_le([1, 1], [x[20], x[42]], 1);
398 constraint int_lin_le([1, 1], [x[20], x[43]], 1);
399 constraint int_lin_le([1, 1], [x[20], x[44]], 1);
400 constraint int_lin_le([1, 1], [x[20], x[45]], 1);
401 constraint int_lin_le([1, 1], [x[20], x[46]], 1);
402 constraint int_lin_le([1, 1], [x[20], x[48]], 1);
403 constraint int_lin_le([1, 1], [x[20], x[49]], 1);
404 constraint int_lin_le([1, 1], [x[21], x[22]], 1);
405 constraint int_lin_le([1, 1], [x[21], x[23]], 1);
406 constraint int_lin_le([1, 1], [x[21], x[29]], 1);
407 constraint int_lin_le([1, 1], [x[21], x[31]], 1);
408 constraint int_lin_le([1, 1], [x[21], x[35]], 1);
409 constraint int_lin_le([1, 1], [x[21], x[38]], 1);
410 constraint int_lin_le([1, 1], [x[21], x[42]], 1);
411 constraint int_lin_le([1, 1], [x[21], x[46]], 1);
412 constraint int_lin_le([1, 1], [x[21], x[47]], 1);
413 constraint int_lin_le([1, 1], [x[22], x[23]], 1);
414 constraint int_lin_le([1, 1], [x[22], x[26]], 1);
415 constraint int_lin_le([1, 1], [x[22], x[27]], 1);
416 constraint int_lin_le([1, 1], [x[22], x[28]], 1);
417 constraint int_lin_le([1, 1], [x[22], x[29]], 1);
418 constraint int_lin_le([1, 1], [x[22], x[30]], 1);
419 constraint int_lin_le([1, 1], [x[22], x[39]], 1);
420 constraint int_lin_le([1, 1], [x[22], x[40]], 1);
421 constraint int_lin_le([1, 1], [x[22], x[41]], 1);
422 constraint int_lin_le([1, 1], [x[22], x[42]], 1);
423 constraint int_lin_le([1, 1], [x[22], x[44]], 1);
424 constraint int_lin_le([1, 1], [x[22], x[45]], 1);
425 constraint int_lin_le([1, 1], [x[22], x[46]], 1);
426 constraint int_lin_le([1, 1], [x[22], x[47]], 1);
427 constraint int_lin_le([1, 1], [x[22], x[49]], 1);
428 constraint int_lin_le([1, 1], [x[22], x[50]], 1);
429 constraint int_lin_le([1, 1], [x[23], x[28]], 1);
430 constraint int_lin_le([1, 1], [x[23], x[31]], 1);
431 constraint int_lin_le([1, 1], [x[23], x[32]], 1);
432 constraint int_lin_le([1, 1], [x[23], x[33]], 1);
433 constraint int_lin_le([1, 1], [x[23], x[34]], 1);
434 constraint int_lin_le([1, 1], [x[23], x[35]], 1);
435 constraint int_lin_le([1, 1], [x[23], x[36]], 1);
436 constraint int_lin_le([1, 1], [x[23], x[39]], 1);
437 constraint int_lin_le([1, 1], [x[23], x[40]], 1);
438 constraint int_lin_le([1, 1], [x[23], x[41]], 1);
439 constraint int_lin_le([1, 1], [x[23], x[42]], 1);
440 constraint int_lin_le([1, 1], [x[23], x[44]], 1);
441 constraint int_lin_le([1, 1], [x[23], x[45]], 1);
442 constraint int_lin_le([1, 1], [x[23], x[48]], 1);
443 constraint int_lin_le([1, 1], [x[23], x[49]], 1);
444 constraint int_lin_le([1, 1], [x[23], x[50]], 1);
445 constraint int_lin_le([1, 1], [x[24], x[25]], 1);
446 constraint int_lin_le([1, 1], [x[24], x[27]], 1);
447 constraint int_lin_le([1, 1], [x[24], x[29]], 1);
448 constraint int_lin_le([1, 1], [x[24], x[30]], 1);
449 constraint int_lin_le([1, 1], [x[24], x[31]], 1);
450 constraint int_lin_le([1, 1], [x[24], x[33]], 1);
451 constraint int_lin_le([1, 1], [x[24], x[34]], 1);
452 constraint int_lin_le([1, 1], [x[24], x[38]], 1);
453 constraint int_lin_le([1, 1], [x[24], x[42]], 1);
454 constraint int_lin_le([1, 1], [x[24], x[43]], 1);
455 constraint int_lin_le([1, 1], [x[24], x[44]], 1);
456 constraint int_lin_le([1, 1], [x[24], x[49]], 1);
457 constraint int_lin_le([1, 1], [x[24], x[50]], 1);
458 constraint int_lin_le([1, 1], [x[25], x[26]], 1);
459 constraint int_lin_le([1, 1], [x[25], x[27]], 1);
460 constraint int_lin_le([1, 1], [x[25], x[29]], 1);
461 constraint int_lin_le([1, 1], [x[25], x[30]], 1);
462 constraint int_lin_le([1, 1], [x[25], x[33]], 1);
463 constraint int_lin_le([1, 1], [x[25], x[34]], 1);
464 constraint int_lin_le([1, 1], [x[25], x[36]], 1);
465 constraint int_lin_le([1, 1], [x[25], x[38]], 1);
466 constraint int_lin_le([1, 1], [x[25], x[40]], 1);
467 constraint int_lin_le([1, 1], [x[25], x[41]], 1);
468 constraint int_lin_le([1, 1], [x[25], x[42]], 1);
469 constraint int_lin_le([1, 1], [x[25], x[44]], 1);
470 constraint int_lin_le([1, 1], [x[25], x[46]], 1);
471 constraint int_lin_le([1, 1], [x[25], x[47]], 1);
472 constraint int_lin_le([1, 1], [x[25], x[48]], 1);
473 constraint int_lin_le([1, 1], [x[25], x[49]], 1);
474 constraint int_lin_le([1, 1], [x[26], x[28]], 1);
475 constraint int_lin_le([1, 1], [x[26], x[31]], 1);
476 constraint int_lin_le([1, 1], [x[26], x[32]], 1);
477 constraint int_lin_le([1, 1], [x[26], x[33]], 1);
478 constraint int_lin_le([1, 1], [x[26], x[37]], 1);
479 constraint int_lin_le([1, 1], [x[26], x[38]], 1);
480 constraint int_lin_le([1, 1], [x[26], x[39]], 1);
481 constraint int_lin_le([1, 1], [x[26], x[40]], 1);
482 constraint int_lin_le([1, 1], [x[26], x[41]], 1);
483 constraint int_lin_le([1, 1], [x[26], x[42]], 1);
484 constraint int_lin_le([1, 1], [x[26], x[45]], 1);
485 constraint int_lin_le([1, 1], [x[26], x[47]], 1);
486 constraint int_lin_le([1, 1], [x[26], x[48]], 1);
487 constraint int_lin_le([1, 1], [x[26], x[49]], 1);
488 constraint int_lin_le([1, 1], [x[27], x[29]], 1);
489 constraint int_lin_le([1, 1], [x[27], x[30]], 1);
490 constraint int_lin_le([1, 1], [x[27], x[33]], 1);
491 constraint int_lin_le([1, 1], [x[27], x[34]], 1);
492 constraint int_lin_le([1, 1], [x[27], x[35]], 1);
493 constraint int_lin_le([1, 1], [x[27], x[39]], 1);
494 constraint int_lin_le([1, 1], [x[27], x[40]], 1);
495 constraint int_lin_le([1, 1], [x[27], x[46]], 1);
496 constraint int_lin_le([1, 1], [x[27], x[48]], 1);
497 constraint int_lin_le([1, 1], [x[28], x[29]], 1);
498 constraint int_lin_le([1, 1], [x[28], x[37]], 1);
499 constraint int_lin_le([1, 1], [x[28], x[40]], 1);
500 constraint int_lin_le([1, 1], [x[28], x[42]], 1);
501 constraint int_lin_le([1, 1], [x[28], x[44]], 1);
502 constraint int_lin_le([1, 1], [x[28], x[46]], 1);
503 constraint int_lin_le([1, 1], [x[28], x[47]], 1);
504 constraint int_lin_le([1, 1], [x[28], x[50]], 1);
505 constraint int_lin_le([1, 1], [x[29], x[35]], 1);
506 constraint int_lin_le([1, 1], [x[29], x[38]], 1);
507 constraint int_lin_le([1, 1], [x[29], x[39]], 1);
508 constraint int_lin_le([1, 1], [x[29], x[41]], 1);
509 constraint int_lin_le([1, 1], [x[29], x[42]], 1);
510 constraint int_lin_le([1, 1], [x[29], x[48]], 1);
511 constraint int_lin_le([1, 1], [x[30], x[31]], 1);
512 constraint int_lin_le([1, 1], [x[30], x[32]], 1);
513 constraint int_lin_le([1, 1], [x[30], x[35]], 1);
514 constraint int_lin_le([1, 1], [x[30], x[37]], 1);
515 constraint int_lin_le([1, 1], [x[30], x[38]], 1);
516 constraint int_lin_le([1, 1], [x[30], x[40]], 1);
517 constraint int_lin_le([1, 1], [x[30], x[43]], 1);
518 constraint int_lin_le([1, 1], [x[30], x[45]], 1);
519 constraint int_lin_le([1, 1], [x[30], x[46]], 1);
520 constraint int_lin_le([1, 1], [x[30], x[47]], 1);
521 constraint int_lin_le([1, 1], [x[30], x[48]], 1);
522 constraint int_lin_le([1, 1], [x[31], x[33]], 1);
523 constraint int_lin_le([1, 1], [x[31], x[35]], 1);
524 constraint int_lin_le([1, 1], [x[31], x[38]], 1);
525 constraint int_lin_le([1, 1], [x[31], x[40]], 1);
526 constraint int_lin_le([1, 1], [x[31], x[41]], 1);
527 constraint int_lin_le([1, 1], [x[31], x[42]], 1);
528 constraint int_lin_le([1, 1], [x[31], x[44]], 1);
529 constraint int_lin_le([1, 1], [x[31], x[46]], 1);
530 constraint int_lin_le([1, 1], [x[31], x[47]], 1);
531 constraint int_lin_le([1, 1], [x[31], x[50]], 1);
532 constraint int_lin_le([1, 1], [x[32], x[33]], 1);
533 constraint int_lin_le([1, 1], [x[32], x[35]], 1);
534 constraint int_lin_le([1, 1], [x[32], x[39]], 1);
535 constraint int_lin_le([1, 1], [x[32], x[40]], 1);
536 constraint int_lin_le([1, 1], [x[32], x[46]], 1);
537 constraint int_lin_le([1, 1], [x[32], x[49]], 1);
538 constraint int_lin_le([1, 1], [x[32], x[50]], 1);
539 constraint int_lin_le([1, 1], [x[33], x[34]], 1);
540 constraint int_lin_le([1, 1], [x[33], x[36]], 1);
541 constraint int_lin_le([1, 1], [x[33], x[37]], 1);
542 constraint int_lin_le([1, 1], [x[33], x[40]], 1);
543 constraint int_lin_le([1, 1], [x[33], x[42]], 1);
544 constraint int_lin_le([1, 1], [x[33], x[43]], 1);
545 constraint int_lin_le([1, 1], [x[33], x[44]], 1);
546 constraint int_lin_le([1, 1], [x[33], x[45]], 1);
547 constraint int_lin_le([1, 1], [x[33], x[50]], 1);
548 constraint int_lin_le([1, 1], [x[34], x[35]], 1);
549 constraint int_lin_le([1, 1], [x[34], x[36]], 1);
550 constraint int_lin_le([1, 1], [x[34], x[37]], 1);
551 constraint int_lin_le([1, 1], [x[34], x[38]], 1);
552 constraint int_lin_le([1, 1], [x[34], x[40]], 1);
553 constraint int_lin_le([1, 1], [x[34], x[43]], 1);
554 constraint int_lin_le([1, 1], [x[34], x[44]], 1);
555 constraint int_lin_le([1, 1], [x[34], x[49]], 1);
556 constraint int_lin_le([1, 1], [x[34], x[50]], 1);
557 constraint int_lin_le([1, 1], [x[35], x[36]], 1);
558 constraint int_lin_le([1, 1], [x[35], x[38]], 1);
559 constraint int_lin_le([1, 1], [x[35], x[41]], 1);
560 constraint int_lin_le([1, 1], [x[35], x[42]], 1);
561 constraint int_lin_le([1, 1], [x[35], x[43]], 1);
562 constraint int_lin_le([1, 1], [x[35], x[45]], 1);
563 constraint int_lin_le([1, 1], [x[35], x[46]], 1);
564 constraint int_lin_le([1, 1], [x[35], x[47]], 1);
565 constraint int_lin_le([1, 1], [x[35], x[49]], 1);
566 constraint int_lin_le([1, 1], [x[35], x[50]], 1);
567 constraint int_lin_le([1, 1], [x[36], x[37]], 1);
568 constraint int_lin_le([1, 1], [x[36], x[39]], 1);
569 constraint int_lin_le([1, 1], [x[36], x[40]], 1);
570 constraint int_lin_le([1, 1], [x[36], x[41]], 1);
571 constraint int_lin_le([1, 1], [x[36], x[42]], 1);
572 constraint int_lin_le([1, 1], [x[36], x[43]], 1);
573 constraint int_lin_le([1, 1], [x[36], x[48]], 1);
574 constraint int_lin_le([1, 1], [x[36], x[50]], 1);
575 constraint int_lin_le([1, 1], [x[37], x[38]], 1);
576 constraint int_lin_le([1, 1], [x[37], x[41]], 1);
577 constraint int_lin_le([1, 1], [x[37], x[43]], 1);
578 constraint int_lin_le([1, 1], [x[37], x[46]], 1);
579 constraint int_lin_le([1, 1], [x[37], x[47]], 1);
580 constraint int_lin_le([1, 1], [x[37], x[48]], 1);
581 constraint int_lin_le([1, 1], [x[37], x[49]], 1);
582 constraint int_lin_le([1, 1], [x[37], x[50]], 1);
583 constraint int_lin_le([1, 1], [x[38], x[41]], 1);
584 constraint int_lin_le([1, 1], [x[38], x[45]], 1);
585 constraint int_lin_le([1, 1], [x[38], x[46]], 1);
586 constraint int_lin_le([1, 1], [x[38], x[48]], 1);
587 constraint int_lin_le([1, 1], [x[38], x[49]], 1);
588 constraint int_lin_le([1, 1], [x[38], x[50]], 1);
589 constraint int_lin_le([1, 1], [x[39], x[43]], 1);
590 constraint int_lin_le([1, 1], [x[39], x[46]], 1);
591 constraint int_lin_le([1, 1], [x[39], x[47]], 1);
592 constraint int_lin_le([1, 1], [x[39], x[48]], 1);
593 constraint int_lin_le([1, 1], [x[39], x[49]], 1);
594 constraint int_lin_le([1, 1], [x[40], x[43]], 1);
595 constraint int_lin_le([1, 1], [x[40], x[45]], 1);
596 constraint int_lin_le([1, 1], [x[40], x[48]], 1);
597 constraint int_lin_le([1, 1], [x[40], x[50]], 1);
598 constraint int_lin_le([1, 1], [x[41], x[42]], 1);
599 constraint int_lin_le([1, 1], [x[41], x[43]], 1);
600 constraint int_lin_le([1, 1], [x[41], x[44]], 1);
601 constraint int_lin_le([1, 1], [x[41], x[45]], 1);
602 constraint int_lin_le([1, 1], [x[41], x[46]], 1);
603 constraint int_lin_le([1, 1], [x[41], x[48]], 1);
604 constraint int_lin_le([1, 1], [x[41], x[49]], 1);
605 constraint int_lin_le([1, 1], [x[42], x[43]], 1);
606 constraint int_lin_le([1, 1], [x[42], x[44]], 1);
607 constraint int_lin_le([1, 1], [x[42], x[46]], 1);
608 constraint int_lin_le([1, 1], [x[42], x[48]], 1);
609 constraint int_lin_le([1, 1], [x[42], x[49]], 1);
610 constraint int_lin_le([1, 1], [x[43], x[45]], 1);
611 constraint int_lin_le([1, 1], [x[43], x[46]], 1);
612 constraint int_lin_le([1, 1], [x[43], x[48]], 1);
613 constraint int_lin_le([1, 1], [x[43], x[50]], 1);
614 constraint int_lin_le([1, 1], [x[44], x[45]], 1);
615 constraint int_lin_le([1, 1], [x[44], x[48]], 1);
616 constraint int_lin_le([1, 1], [x[45], x[46]], 1);
617 constraint int_lin_le([1, 1], [x[45], x[47]], 1);
618 constraint int_lin_le([1, 1], [x[45], x[48]], 1);
619 constraint int_lin_le([1, 1], [x[46], x[49]], 1);
620 constraint int_lin_le([1, 1], [x[47], x[49]], 1);
621 constraint int_lin_le([1, 1], [x[47], x[50]], 1);
622 constraint int_lin_le([1, 1], [x[48], x[49]], 1);
623 constraint int_lin_le([1, 1], [x[48], x[50]], 1);
624 constraint int_lin_le([1, 1], [x[49], x[50]], 1);
625 …x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[…