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