Solution Ramsey Mathprog
Problem: R_4_4_17
Rows: 2380
Columns: 136 (136 integer, 136 binary)
Non-zeros: 14280
Status: INTEGER NON-OPTIMAL
Objective: 0 (MINimum)
No. Row name Activity Lower bound Upper bound
------ ------------ ------------- ------------- -------------
1 clique[1,2,3,4]
1 1 5
2 clique[1,2,3,5]
1 1 5
3 clique[1,2,3,6]
3 1 5
4 clique[1,2,3,7]
3 1 5
5 clique[1,2,3,8]
4 1 5
6 clique[1,2,3,9]
3 1 5
7 clique[1,2,3,10]
3 1 5
8 clique[1,2,3,11]
3 1 5
9 clique[1,2,3,12]
2 1 5
10 clique[1,2,3,13]
3 1 5
11 clique[1,2,3,14]
3 1 5
12 clique[1,2,3,15]
2 1 5
13 clique[1,2,3,16]
2 1 5
14 clique[1,2,3,17]
3 1 5
15 clique[1,2,4,5]
1 1 5
16 clique[1,2,4,6]
2 1 5
17 clique[1,2,4,7]
2 1 5
18 clique[1,2,4,8]
2 1 5
19 clique[1,2,4,9]
3 1 5
20 clique[1,2,4,10]
1 1 5
21 clique[1,2,4,11]
2 1 5
22 clique[1,2,4,12]
1 1 5
23 clique[1,2,4,13]
3 1 5
24 clique[1,2,4,14]
1 1 5
25 clique[1,2,4,15]
2 1 5
26 clique[1,2,4,16]
1 1 5
27 clique[1,2,4,17]
2 1 5
28 clique[1,2,5,6]
1 1 5
29 clique[1,2,5,7]
1 1 5
30 clique[1,2,5,8]
3 1 5
31 clique[1,2,5,9]
3 1 5
32 clique[1,2,5,10]
2 1 5
33 clique[1,2,5,11]
2 1 5
34 clique[1,2,5,12]
1 1 5
35 clique[1,2,5,13]
2 1 5
36 clique[1,2,5,14]
2 1 5
37 clique[1,2,5,15]
2 1 5
38 clique[1,2,5,16]
2 1 5
39 clique[1,2,5,17]
1 1 5
40 clique[1,2,6,7]
3 1 5
41 clique[1,2,6,8]
3 1 5
42 clique[1,2,6,9]
4 1 5
43 clique[1,2,6,10]
3 1 5
44 clique[1,2,6,11]
3 1 5
45 clique[1,2,6,12]
1 1 5
46 clique[1,2,6,13]
3 1 5
47 clique[1,2,6,14]
2 1 5
48 clique[1,2,6,15]
2 1 5
49 clique[1,2,6,16]
3 1 5
50 clique[1,2,6,17]
3 1 5
51 clique[1,2,7,8]
3 1 5
52 clique[1,2,7,9]
3 1 5
53 clique[1,2,7,10]
2 1 5
54 clique[1,2,7,11]
3 1 5
55 clique[1,2,7,12]
1 1 5
56 clique[1,2,7,13]
4 1 5
57 clique[1,2,7,14]
3 1 5
58 clique[1,2,7,15]
3 1 5
59 clique[1,2,7,16]
3 1 5
60 clique[1,2,7,17]
2 1 5
61 clique[1,2,8,9]
5 1 5
62 clique[1,2,8,10]
3 1 5
63 clique[1,2,8,11]
4 1 5
64 clique[1,2,8,12]
2 1 5
65 clique[1,2,8,13]
4 1 5
66 clique[1,2,8,14]
4 1 5
67 clique[1,2,8,15]
4 1 5
68 clique[1,2,8,16]
3 1 5
69 clique[1,2,8,17]
4 1 5
70 clique[1,2,9,10]
4 1 5
71 clique[1,2,9,11]
4 1 5
72 clique[1,2,9,12]
2 1 5
73 clique[1,2,9,13]
5 1 5
74 clique[1,2,9,14]
3 1 5
75 clique[1,2,9,15]
3 1 5
76 clique[1,2,9,16]
3 1 5
77 clique[1,2,9,17]
3 1 5
78 clique[1,2,10,11]
4 1 5
79 clique[1,2,10,12]
2 1 5
80 clique[1,2,10,13]
3 1 5
81 clique[1,2,10,14]
2 1 5
82 clique[1,2,10,15]
2 1 5
83 clique[1,2,10,16]
3 1 5
84 clique[1,2,10,17]
2 1 5
85 clique[1,2,11,12]
3 1 5
86 clique[1,2,11,13]
5 1 5
87 clique[1,2,11,14]
3 1 5
88 clique[1,2,11,15]
4 1 5
89 clique[1,2,11,16]
4 1 5
90 clique[1,2,11,17]
4 1 5
91 clique[1,2,12,13]
3 1 5
92 clique[1,2,12,14]
2 1 5
93 clique[1,2,12,15]
1 1 5
94 clique[1,2,12,16]
1 1 5
95 clique[1,2,12,17]
2 1 5
96 clique[1,2,13,14]
4 1 5
97 clique[1,2,13,15]
3 1 5
98 clique[1,2,13,16]
3 1 5
99 clique[1,2,13,17]
3 1 5
100 clique[1,2,14,15]
2 1 5
101 clique[1,2,14,16]
3 1 5
102 clique[1,2,14,17]
2 1 5
103 clique[1,2,15,16]
3 1 5
104 clique[1,2,15,17]
3 1 5
105 clique[1,2,16,17]
2 1 5
106 clique[1,3,4,5]
2 1 5
107 clique[1,3,4,6]
3 1 5
108 clique[1,3,4,7]
4 1 5
109 clique[1,3,4,8]
3 1 5
110 clique[1,3,4,9]
3 1 5
111 clique[1,3,4,10]
3 1 5
112 clique[1,3,4,11]
2 1 5
113 clique[1,3,4,12]
3 1 5
114 clique[1,3,4,13]
3 1 5
115 clique[1,3,4,14]
2 1 5
116 clique[1,3,4,15]
3 1 5
117 clique[1,3,4,16]
1 1 5
118 clique[1,3,4,17]
3 1 5
119 clique[1,3,5,6]
2 1 5
120 clique[1,3,5,7]
3 1 5
121 clique[1,3,5,8]
4 1 5
122 clique[1,3,5,9]
3 1 5
123 clique[1,3,5,10]
4 1 5
124 clique[1,3,5,11]
2 1 5
125 clique[1,3,5,12]
3 1 5
126 clique[1,3,5,13]
2 1 5
127 clique[1,3,5,14]
3 1 5
128 clique[1,3,5,15]
3 1 5
129 clique[1,3,5,16]
2 1 5
130 clique[1,3,5,17]
2 1 5
131 clique[1,3,6,7]
5 1 5
132 clique[1,3,6,8]
4 1 5
133 clique[1,3,6,9]
4 1 5
134 clique[1,3,6,10]
5 1 5
135 clique[1,3,6,11]
3 1 5
136 clique[1,3,6,12]
3 1 5
137 clique[1,3,6,13]
3 1 5
138 clique[1,3,6,14]
3 1 5
139 clique[1,3,6,15]
3 1 5
140 clique[1,3,6,16]
3 1 5
141 clique[1,3,6,17]
4 1 5
142 clique[1,3,7,8]
5 1 5
143 clique[1,3,7,9]
4 1 5
144 clique[1,3,7,10]
5 1 5
145 clique[1,3,7,11]
4 1 5
146 clique[1,3,7,12]
4 1 5
147 clique[1,3,7,13]
5 1 5
148 clique[1,3,7,14]
5 1 5
149 clique[1,3,7,15]
5 1 5
150 clique[1,3,7,16]
4 1 5
151 clique[1,3,7,17]
4 1 5
152 clique[1,3,8,9]
5 1 5
153 clique[1,3,8,10]
5 1 5
154 clique[1,3,8,11]
4 1 5
155 clique[1,3,8,12]
4 1 5
156 clique[1,3,8,13]
4 1 5
157 clique[1,3,8,14]
5 1 5
158 clique[1,3,8,15]
5 1 5
159 clique[1,3,8,16]
3 1 5
160 clique[1,3,8,17]
5 1 5
161 clique[1,3,9,10]
5 1 5
162 clique[1,3,9,11]
3 1 5
163 clique[1,3,9,12]
3 1 5
164 clique[1,3,9,13]
4 1 5
165 clique[1,3,9,14]
3 1 5
166 clique[1,3,9,15]
3 1 5
167 clique[1,3,9,16]
2 1 5
168 clique[1,3,9,17]
3 1 5
169 clique[1,3,10,11]
5 1 5
170 clique[1,3,10,12]
5 1 5
171 clique[1,3,10,13]
4 1 5
172 clique[1,3,10,14]
4 1 5
173 clique[1,3,10,15]
4 1 5
174 clique[1,3,10,16]
4 1 5
175 clique[1,3,10,17]
4 1 5
176 clique[1,3,11,12]
4 1 5
177 clique[1,3,11,13]
4 1 5
178 clique[1,3,11,14]
3 1 5
179 clique[1,3,11,15]
4 1 5
180 clique[1,3,11,16]
3 1 5
181 clique[1,3,11,17]
4 1 5
182 clique[1,3,12,13]
4 1 5
183 clique[1,3,12,14]
4 1 5
184 clique[1,3,12,15]
3 1 5
185 clique[1,3,12,16]
2 1 5
186 clique[1,3,12,17]
4 1 5
187 clique[1,3,13,14]
4 1 5
188 clique[1,3,13,15]
3 1 5
189 clique[1,3,13,16]
2 1 5
190 clique[1,3,13,17]
3 1 5
191 clique[1,3,14,15]
3 1 5
192 clique[1,3,14,16]
3 1 5
193 clique[1,3,14,17]
3 1 5
194 clique[1,3,15,16]
3 1 5
195 clique[1,3,15,17]
4 1 5
196 clique[1,3,16,17]
2 1 5
197 clique[1,4,5,6]
2 1 5
198 clique[1,4,5,7]
3 1 5
199 clique[1,4,5,8]
3 1 5
200 clique[1,4,5,9]
4 1 5
201 clique[1,4,5,10]
3 1 5
202 clique[1,4,5,11]
2 1 5
203 clique[1,4,5,12]
3 1 5
204 clique[1,4,5,13]
3 1 5
205 clique[1,4,5,14]
2 1 5
206 clique[1,4,5,15]
4 1 5
207 clique[1,4,5,16]
2 1 5
208 clique[1,4,5,17]
2 1 5
209 clique[1,4,6,7]
4 1 5
210 clique[1,4,6,8]
2 1 5
211 clique[1,4,6,9]
4 1 5
212 clique[1,4,6,10]
3 1 5
213 clique[1,4,6,11]
2 1 5
214 clique[1,4,6,12]
2 1 5
215 clique[1,4,6,13]
3 1 5
216 clique[1,4,6,14]
1 1 5
217 clique[1,4,6,15]
3 1 5
218 clique[1,4,6,16]
2 1 5
219 clique[1,4,6,17]
3 1 5
220 clique[1,4,7,8]
3 1 5
221 clique[1,4,7,9]
4 1 5
222 clique[1,4,7,10]
3 1 5
223 clique[1,4,7,11]
3 1 5
224 clique[1,4,7,12]
3 1 5
225 clique[1,4,7,13]
5 1 5
226 clique[1,4,7,14]
3 1 5
227 clique[1,4,7,15]
5 1 5
228 clique[1,4,7,16]
3 1 5
229 clique[1,4,7,17]
3 1 5
230 clique[1,4,8,9]
4 1 5
231 clique[1,4,8,10]
2 1 5
232 clique[1,4,8,11]
2 1 5
233 clique[1,4,8,12]
2 1 5
234 clique[1,4,8,13]
3 1 5
235 clique[1,4,8,14]
2 1 5
236 clique[1,4,8,15]
4 1 5
237 clique[1,4,8,16]
1 1 5
238 clique[1,4,8,17]
3 1 5
239 clique[1,4,9,10]
4 1 5
240 clique[1,4,9,11]
3 1 5
241 clique[1,4,9,12]
3 1 5
242 clique[1,4,9,13]
5 1 5
243 clique[1,4,9,14]
2 1 5
244 clique[1,4,9,15]
4 1 5
245 clique[1,4,9,16]
2 1 5
246 clique[1,4,9,17]
3 1 5
247 clique[1,4,10,11]
3 1 5
248 clique[1,4,10,12]
3 1 5
249 clique[1,4,10,13]
3 1 5
250 clique[1,4,10,14]
1 1 5
251 clique[1,4,10,15]
3 1 5
252 clique[1,4,10,16]
2 1 5
253 clique[1,4,10,17]
2 1 5
254 clique[1,4,11,12]
3 1 5
255 clique[1,4,11,13]
4 1 5
256 clique[1,4,11,14]
1 1 5
257 clique[1,4,11,15]
4 1 5
258 clique[1,4,11,16]
2 1 5
259 clique[1,4,11,17]
3 1 5
260 clique[1,4,12,13]
4 1 5
261 clique[1,4,12,14]
2 1 5
262 clique[1,4,12,15]
3 1 5
263 clique[1,4,12,16]
1 1 5
264 clique[1,4,12,17]
3 1 5
265 clique[1,4,13,14]
3 1 5
266 clique[1,4,13,15]
4 1 5
267 clique[1,4,13,16]
2 1 5
268 clique[1,4,13,17]
3 1 5
269 clique[1,4,14,15]
2 1 5
270 clique[1,4,14,16]
1 1 5
271 clique[1,4,14,17]
1 1 5
272 clique[1,4,15,16]
3 1 5
273 clique[1,4,15,17]
4 1 5
274 clique[1,4,16,17]
1 1 5
275 clique[1,5,6,7]
2 1 5
276 clique[1,5,6,8]
2 1 5
277 clique[1,5,6,9]
3 1 5
278 clique[1,5,6,10]
3 1 5
279 clique[1,5,6,11]
1 1 5
280 clique[1,5,6,12]
1 1 5
281 clique[1,5,6,13]
1 1 5
282 clique[1,5,6,14]
1 1 5
283 clique[1,5,6,15]
2 1 5
284 clique[1,5,6,16]
2 1 5
285 clique[1,5,6,17]
1 1 5
286 clique[1,5,7,8]
3 1 5
287 clique[1,5,7,9]
3 1 5
288 clique[1,5,7,10]
3 1 5
289 clique[1,5,7,11]
2 1 5
290 clique[1,5,7,12]
2 1 5
291 clique[1,5,7,13]
3 1 5
292 clique[1,5,7,14]
3 1 5
293 clique[1,5,7,15]
4 1 5
294 clique[1,5,7,16]
3 1 5
295 clique[1,5,7,17]
1 1 5
296 clique[1,5,8,9]
5 1 5
297 clique[1,5,8,10]
4 1 5
298 clique[1,5,8,11]
3 1 5
299 clique[1,5,8,12]
3 1 5
300 clique[1,5,8,13]
3 1 5
301 clique[1,5,8,14]
4 1 5
302 clique[1,5,8,15]
5 1 5
303 clique[1,5,8,16]
3 1 5
304 clique[1,5,8,17]
3 1 5
305 clique[1,5,9,10]
5 1 5
306 clique[1,5,9,11]
3 1 5
307 clique[1,5,9,12]
3 1 5
308 clique[1,5,9,13]
4 1 5
309 clique[1,5,9,14]
3 1 5
310 clique[1,5,9,15]
4 1 5
311 clique[1,5,9,16]
3 1 5
312 clique[1,5,9,17]
2 1 5
313 clique[1,5,10,11]
4 1 5
314 clique[1,5,10,12]
4 1 5
315 clique[1,5,10,13]
3 1 5
316 clique[1,5,10,14]
3 1 5
317 clique[1,5,10,15]
4 1 5
318 clique[1,5,10,16]
4 1 5
319 clique[1,5,10,17]
2 1 5
320 clique[1,5,11,12]
3 1 5
321 clique[1,5,11,13]
3 1 5
322 clique[1,5,11,14]
2 1 5
323 clique[1,5,11,15]
4 1 5
324 clique[1,5,11,16]
3 1 5
325 clique[1,5,11,17]
2 1 5
326 clique[1,5,12,13]
3 1 5
327 clique[1,5,12,14]
3 1 5
328 clique[1,5,12,15]
3 1 5
329 clique[1,5,12,16]
2 1 5
330 clique[1,5,12,17]
2 1 5
331 clique[1,5,13,14]
3 1 5
332 clique[1,5,13,15]
3 1 5
333 clique[1,5,13,16]
2 1 5
334 clique[1,5,13,17]
1 1 5
335 clique[1,5,14,15]
3 1 5
336 clique[1,5,14,16]
3 1 5
337 clique[1,5,14,17]
1 1 5
338 clique[1,5,15,16]
4 1 5
339 clique[1,5,15,17]
3 1 5
340 clique[1,5,16,17]
1 1 5
341 clique[1,6,7,8]
3 1 5
342 clique[1,6,7,9]
4 1 5
343 clique[1,6,7,10]
4 1 5
344 clique[1,6,7,11]
3 1 5
345 clique[1,6,7,12]
2 1 5
346 clique[1,6,7,13]
4 1 5
347 clique[1,6,7,14]
3 1 5
348 clique[1,6,7,15]
4 1 5
349 clique[1,6,7,16]
4 1 5
350 clique[1,6,7,17]
3 1 5
351 clique[1,6,8,9]
4 1 5
352 clique[1,6,8,10]
3 1 5
353 clique[1,6,8,11]
2 1 5
354 clique[1,6,8,12]
1 1 5
355 clique[1,6,8,13]
2 1 5
356 clique[1,6,8,14]
2 1 5
357 clique[1,6,8,15]
3 1 5
358 clique[1,6,8,16]
2 1 5
359 clique[1,6,8,17]
3 1 5
360 clique[1,6,9,10]
5 1 5
361 clique[1,6,9,11]
3 1 5
362 clique[1,6,9,12]
2 1 5
363 clique[1,6,9,13]
4 1 5
364 clique[1,6,9,14]
2 1 5
365 clique[1,6,9,15]
3 1 5
366 clique[1,6,9,16]
3 1 5
367 clique[1,6,9,17]
3 1 5
368 clique[1,6,10,11]
4 1 5
369 clique[1,6,10,12]
3 1 5
370 clique[1,6,10,13]
3 1 5
371 clique[1,6,10,14]
2 1 5
372 clique[1,6,10,15]
3 1 5
373 clique[1,6,10,16]
4 1 5
374 clique[1,6,10,17]
3 1 5
375 clique[1,6,11,12]
2 1 5
376 clique[1,6,11,13]
3 1 5
377 clique[1,6,11,14]
1 1 5
378 clique[1,6,11,15]
3 1 5
379 clique[1,6,11,16]
3 1 5
380 clique[1,6,11,17]
3 1 5
381 clique[1,6,12,13]
2 1 5
382 clique[1,6,12,14]
1 1 5
383 clique[1,6,12,15]
1 1 5
384 clique[1,6,12,16]
1 1 5
385 clique[1,6,12,17]
2 1 5
386 clique[1,6,13,14]
2 1 5
387 clique[1,6,13,15]
2 1 5
388 clique[1,6,13,16]
2 1 5
389 clique[1,6,13,17]
2 1 5
390 clique[1,6,14,15]
1 1 5
391 clique[1,6,14,16]
2 1 5
392 clique[1,6,14,17]
1 1 5
393 clique[1,6,15,16]
3 1 5
394 clique[1,6,15,17]
3 1 5
395 clique[1,6,16,17]
2 1 5
396 clique[1,7,8,9]
4 1 5
397 clique[1,7,8,10]
3 1 5
398 clique[1,7,8,11]
3 1 5
399 clique[1,7,8,12]
2 1 5
400 clique[1,7,8,13]
4 1 5
401 clique[1,7,8,14]
4 1 5
402 clique[1,7,8,15]
5 1 5
403 clique[1,7,8,16]
3 1 5
404 clique[1,7,8,17]
3 1 5
405 clique[1,7,9,10]
4 1 5
406 clique[1,7,9,11]
3 1 5
407 clique[1,7,9,12]
2 1 5
408 clique[1,7,9,13]
5 1 5
409 clique[1,7,9,14]
3 1 5
410 clique[1,7,9,15]
4 1 5
411 clique[1,7,9,16]
3 1 5
412 clique[1,7,9,17]
2 1 5
413 clique[1,7,10,11]
4 1 5
414 clique[1,7,10,12]
3 1 5
415 clique[1,7,10,13]
4 1 5
416 clique[1,7,10,14]
3 1 5
417 clique[1,7,10,15]
4 1 5
418 clique[1,7,10,16]
4 1 5
419 clique[1,7,10,17]
2 1 5
420 clique[1,7,11,12]
3 1 5
421 clique[1,7,11,13]
5 1 5
422 clique[1,7,11,14]
3 1 5
423 clique[1,7,11,15]
5 1 5
424 clique[1,7,11,16]
4 1 5
425 clique[1,7,11,17]
3 1 5
426 clique[1,7,12,13]
4 1 5
427 clique[1,7,12,14]
3 1 5
428 clique[1,7,12,15]
3 1 5
429 clique[1,7,12,16]
2 1 5
430 clique[1,7,12,17]
2 1 5
431 clique[1,7,13,14]
5 1 5
432 clique[1,7,13,15]
5 1 5
433 clique[1,7,13,16]
4 1 5
434 clique[1,7,13,17]
3 1 5
435 clique[1,7,14,15]
4 1 5
436 clique[1,7,14,16]
4 1 5
437 clique[1,7,14,17]
2 1 5
438 clique[1,7,15,16]
5 1 5
439 clique[1,7,15,17]
4 1 5
440 clique[1,7,16,17]
2 1 5
441 clique[1,8,9,10]
5 1 5
442 clique[1,8,9,11]
4 1 5
443 clique[1,8,9,12]
3 1 5
444 clique[1,8,9,13]
5 1 5
445 clique[1,8,9,14]
4 1 5
446 clique[1,8,9,15]
5 1 5
447 clique[1,8,9,16]
3 1 5
448 clique[1,8,9,17]
4 1 5
449 clique[1,8,10,11]
4 1 5
450 clique[1,8,10,12]
3 1 5
451 clique[1,8,10,13]
3 1 5
452 clique[1,8,10,14]
3 1 5
453 clique[1,8,10,15]
4 1 5
454 clique[1,8,10,16]
3 1 5
455 clique[1,8,10,17]
3 1 5
456 clique[1,8,11,12]
3 1 5
457 clique[1,8,11,13]
4 1 5
458 clique[1,8,11,14]
3 1 5
459 clique[1,8,11,15]
5 1 5
460 clique[1,8,11,16]
3 1 5
461 clique[1,8,11,17]
4 1 5
462 clique[1,8,12,13]
3 1 5
463 clique[1,8,12,14]
3 1 5
464 clique[1,8,12,15]
3 1 5
465 clique[1,8,12,16]
1 1 5
466 clique[1,8,12,17]
3 1 5
467 clique[1,8,13,14]
4 1 5
468 clique[1,8,13,15]
4 1 5
469 clique[1,8,13,16]
2 1 5
470 clique[1,8,13,17]
3 1 5
471 clique[1,8,14,15]
4 1 5
472 clique[1,8,14,16]
3 1 5
473 clique[1,8,14,17]
3 1 5
474 clique[1,8,15,16]
4 1 5
475 clique[1,8,15,17]
5 1 5
476 clique[1,8,16,17]
2 1 5
477 clique[1,9,10,11]
5 1 5
478 clique[1,9,10,12]
4 1 5
479 clique[1,9,10,13]
5 1 5
480 clique[1,9,10,14]
3 1 5
481 clique[1,9,10,15]
4 1 5
482 clique[1,9,10,16]
4 1 5
483 clique[1,9,10,17]
3 1 5
484 clique[1,9,11,12]
3 1 5
485 clique[1,9,11,13]
5 1 5
486 clique[1,9,11,14]
2 1 5
487 clique[1,9,11,15]
4 1 5
488 clique[1,9,11,16]
3 1 5
489 clique[1,9,11,17]
3 1 5
490 clique[1,9,12,13]
4 1 5
491 clique[1,9,12,14]
2 1 5
492 clique[1,9,12,15]
2 1 5
493 clique[1,9,12,16]
1 1 5
494 clique[1,9,12,17]
2 1 5
495 clique[1,9,13,14]
4 1 5
496 clique[1,9,13,15]
4 1 5
497 clique[1,9,13,16]
3 1 5
498 clique[1,9,13,17]
3 1 5
499 clique[1,9,14,15]
2 1 5
500 clique[1,9,14,16]
2 1 5
501 clique[1,9,14,17]
1 1 5
502 clique[1,9,15,16]
3 1 5
503 clique[1,9,15,17]
3 1 5
504 clique[1,9,16,17]
1 1 5
505 clique[1,10,11,12]
5 1 5
506 clique[1,10,11,13]
5 1 5
507 clique[1,10,11,14]
3 1 5
508 clique[1,10,11,15]
5 1 5
509 clique[1,10,11,16]
5 1 5
510 clique[1,10,11,17]
4 1 5
511 clique[1,10,12,13]
4 1 5
512 clique[1,10,12,14]
3 1 5
513 clique[1,10,12,15]
3 1 5
514 clique[1,10,12,16]
3 1 5
515 clique[1,10,12,17]
3 1 5
516 clique[1,10,13,14]
3 1 5
517 clique[1,10,13,15]
3 1 5
518 clique[1,10,13,16]
3 1 5
519 clique[1,10,13,17]
2 1 5
520 clique[1,10,14,15]
2 1 5
521 clique[1,10,14,16]
3 1 5
522 clique[1,10,14,17]
1 1 5
523 clique[1,10,15,16]
4 1 5
524 clique[1,10,15,17]
3 1 5
525 clique[1,10,16,17]
2 1 5
526 clique[1,11,12,13]
5 1 5
527 clique[1,11,12,14]
3 1 5
528 clique[1,11,12,15]
4 1 5
529 clique[1,11,12,16]
3 1 5
530 clique[1,11,12,17]
4 1 5
531 clique[1,11,13,14]
4 1 5
532 clique[1,11,13,15]
5 1 5
533 clique[1,11,13,16]
4 1 5
534 clique[1,11,13,17]
4 1 5
535 clique[1,11,14,15]
3 1 5
536 clique[1,11,14,16]
3 1 5
537 clique[1,11,14,17]
2 1 5
538 clique[1,11,15,16]
5 1 5
539 clique[1,11,15,17]
5 1 5
540 clique[1,11,16,17]
3 1 5
541 clique[1,12,13,14]
4 1 5
542 clique[1,12,13,15]
3 1 5
543 clique[1,12,13,16]
2 1 5
544 clique[1,12,13,17]
3 1 5
545 clique[1,12,14,15]
2 1 5
546 clique[1,12,14,16]
2 1 5
547 clique[1,12,14,17]
2 1 5
548 clique[1,12,15,16]
2 1 5
549 clique[1,12,15,17]
3 1 5
550 clique[1,12,16,17]
1 1 5
551 clique[1,13,14,15]
3 1 5
552 clique[1,13,14,16]
3 1 5
553 clique[1,13,14,17]
2 1 5
554 clique[1,13,15,16]
3 1 5
555 clique[1,13,15,17]
3 1 5
556 clique[1,13,16,17]
1 1 5
557 clique[1,14,15,16]
3 1 5
558 clique[1,14,15,17]
2 1 5
559 clique[1,14,16,17]
1 1 5
560 clique[1,15,16,17]
3 1 5
561 clique[2,3,4,5]
1 1 5
562 clique[2,3,4,6]
3 1 5
563 clique[2,3,4,7]
2 1 5
564 clique[2,3,4,8]
2 1 5
565 clique[2,3,4,9]
2 1 5
566 clique[2,3,4,10]
1 1 5
567 clique[2,3,4,11]
1 1 5
568 clique[2,3,4,12]
2 1 5
569 clique[2,3,4,13]
2 1 5
570 clique[2,3,4,14]
2 1 5
571 clique[2,3,4,15]
1 1 5
572 clique[2,3,4,16]
1 1 5
573 clique[2,3,4,17]
3 1 5
574 clique[2,3,5,6]
2 1 5
575 clique[2,3,5,7]
1 1 5
576 clique[2,3,5,8]
3 1 5
577 clique[2,3,5,9]
2 1 5
578 clique[2,3,5,10]
2 1 5
579 clique[2,3,5,11]
1 1 5
580 clique[2,3,5,12]
2 1 5
581 clique[2,3,5,13]
1 1 5
582 clique[2,3,5,14]
3 1 5
583 clique[2,3,5,15]
1 1 5
584 clique[2,3,5,16]
2 1 5
585 clique[2,3,5,17]
2 1 5
586 clique[2,3,6,7]
4 1 5
587 clique[2,3,6,8]
4 1 5
588 clique[2,3,6,9]
4 1 5
589 clique[2,3,6,10]
4 1 5
590 clique[2,3,6,11]
3 1 5
591 clique[2,3,6,12]
3 1 5
592 clique[2,3,6,13]
3 1 5
593 clique[2,3,6,14]
4 1 5
594 clique[2,3,6,15]
2 1 5
595 clique[2,3,6,16]
4 1 5
596 clique[2,3,6,17]
5 1 5
597 clique[2,3,7,8]
3 1 5
598 clique[2,3,7,9]
2 1 5
599 clique[2,3,7,10]
2 1 5
600 clique[2,3,7,11]
2 1 5
601 clique[2,3,7,12]
2 1 5
602 clique[2,3,7,13]
3 1 5
603 clique[2,3,7,14]
4 1 5
604 clique[2,3,7,15]
2 1 5
605 clique[2,3,7,16]
3 1 5
606 clique[2,3,7,17]
3 1 5
607 clique[2,3,8,9]
4 1 5
608 clique[2,3,8,10]
3 1 5
609 clique[2,3,8,11]
3 1 5
610 clique[2,3,8,12]
3 1 5
611 clique[2,3,8,13]
3 1 5
612 clique[2,3,8,14]
5 1 5
613 clique[2,3,8,15]
3 1 5
614 clique[2,3,8,16]
3 1 5
615 clique[2,3,8,17]
5 1 5
616 clique[2,3,9,10]
3 1 5
617 clique[2,3,9,11]
2 1 5
618 clique[2,3,9,12]
2 1 5
619 clique[2,3,9,13]
3 1 5
620 clique[2,3,9,14]
3 1 5
621 clique[2,3,9,15]
1 1 5
622 clique[2,3,9,16]
2 1 5
623 clique[2,3,9,17]
3 1 5
624 clique[2,3,10,11]
3 1 5
625 clique[2,3,10,12]
3 1 5
626 clique[2,3,10,13]
2 1 5
627 clique[2,3,10,14]
3 1 5
628 clique[2,3,10,15]
1 1 5
629 clique[2,3,10,16]
3 1 5
630 clique[2,3,10,17]
3 1 5
631 clique[2,3,11,12]
3 1 5
632 clique[2,3,11,13]
3 1 5
633 clique[2,3,11,14]
3 1 5
634 clique[2,3,11,15]
2 1 5
635 clique[2,3,11,16]
3 1 5
636 clique[2,3,11,17]
4 1 5
637 clique[2,3,12,13]
3 1 5
638 clique[2,3,12,14]
4 1 5
639 clique[2,3,12,15]
1 1 5
640 clique[2,3,12,16]
2 1 5
641 clique[2,3,12,17]
4 1 5
642 clique[2,3,13,14]
4 1 5
643 clique[2,3,13,15]
1 1 5
644 clique[2,3,13,16]
2 1 5
645 clique[2,3,13,17]
3 1 5
646 clique[2,3,14,15]
2 1 5
647 clique[2,3,14,16]
4 1 5
648 clique[2,3,14,17]
4 1 5
649 clique[2,3,15,16]
2 1 5
650 clique[2,3,15,17]
3 1 5
651 clique[2,3,16,17]
3 1 5
652 clique[2,4,5,6]
3 1 5
653 clique[2,4,5,7]
2 1 5
654 clique[2,4,5,8]
3 1 5
655 clique[2,4,5,9]
4 1 5
656 clique[2,4,5,10]
2 1 5
657 clique[2,4,5,11]
2 1 5
658 clique[2,4,5,12]
3 1 5
659 clique[2,4,5,13]
3 1 5
660 clique[2,4,5,14]
3 1 5
661 clique[2,4,5,15]
3 1 5
662 clique[2,4,5,16]
3 1 5
663 clique[2,4,5,17]
3 1 5
664 clique[2,4,6,7]
4 1 5
665 clique[2,4,6,8]
3 1 5
666 clique[2,4,6,9]
5 1 5
667 clique[2,4,6,10]
3 1 5
668 clique[2,4,6,11]
3 1 5
669 clique[2,4,6,12]
3 1 5
670 clique[2,4,6,13]
4 1 5
671 clique[2,4,6,14]
3 1 5
672 clique[2,4,6,15]
3 1 5
673 clique[2,4,6,16]
4 1 5
674 clique[2,4,6,17]
5 1 5
675 clique[2,4,7,8]
2 1 5
676 clique[2,4,7,9]
3 1 5
677 clique[2,4,7,10]
1 1 5
678 clique[2,4,7,11]
2 1 5
679 clique[2,4,7,12]
2 1 5
680 clique[2,4,7,13]
4 1 5
681 clique[2,4,7,14]
3 1 5
682 clique[2,4,7,15]
3 1 5
683 clique[2,4,7,16]
3 1 5
684 clique[2,4,7,17]
3 1 5
685 clique[2,4,8,9]
4 1 5
686 clique[2,4,8,10]
1 1 5
687 clique[2,4,8,11]
2 1 5
688 clique[2,4,8,12]
2 1 5
689 clique[2,4,8,13]
3 1 5
690 clique[2,4,8,14]
3 1 5
691 clique[2,4,8,15]
3 1 5
692 clique[2,4,8,16]
2 1 5
693 clique[2,4,8,17]
4 1 5
694 clique[2,4,9,10]
3 1 5
695 clique[2,4,9,11]
3 1 5
696 clique[2,4,9,12]
3 1 5
697 clique[2,4,9,13]
5 1 5
698 clique[2,4,9,14]
3 1 5
699 clique[2,4,9,15]
3 1 5
700 clique[2,4,9,16]
3 1 5
701 clique[2,4,9,17]
4 1 5
702 clique[2,4,10,11]
2 1 5
703 clique[2,4,10,12]
2 1 5
704 clique[2,4,10,13]
2 1 5
705 clique[2,4,10,14]
1 1 5
706 clique[2,4,10,15]
1 1 5
707 clique[2,4,10,16]
2 1 5
708 clique[2,4,10,17]
2 1 5
709 clique[2,4,11,12]
3 1 5
710 clique[2,4,11,13]
4 1 5
711 clique[2,4,11,14]
2 1 5
712 clique[2,4,11,15]
3 1 5
713 clique[2,4,11,16]
3 1 5
714 clique[2,4,11,17]
4 1 5
715 clique[2,4,12,13]
4 1 5
716 clique[2,4,12,14]
3 1 5
717 clique[2,4,12,15]
2 1 5
718 clique[2,4,12,16]
2 1 5
719 clique[2,4,12,17]
4 1 5
720 clique[2,4,13,14]
4 1 5
721 clique[2,4,13,15]
3 1 5
722 clique[2,4,13,16]
3 1 5
723 clique[2,4,13,17]
4 1 5
724 clique[2,4,14,15]
2 1 5
725 clique[2,4,14,16]
3 1 5
726 clique[2,4,14,17]
3 1 5
727 clique[2,4,15,16]
3 1 5
728 clique[2,4,15,17]
4 1 5
729 clique[2,4,16,17]
3 1 5
730 clique[2,5,6,7]
2 1 5
731 clique[2,5,6,8]
3 1 5
732 clique[2,5,6,9]
4 1 5
733 clique[2,5,6,10]
3 1 5
734 clique[2,5,6,11]
2 1 5
735 clique[2,5,6,12]
2 1 5
736 clique[2,5,6,13]
2 1 5
737 clique[2,5,6,14]
3 1 5
738 clique[2,5,6,15]
2 1 5
739 clique[2,5,6,16]
4 1 5
740 clique[2,5,6,17]
3 1 5
741 clique[2,5,7,8]
2 1 5
742 clique[2,5,7,9]
2 1 5
743 clique[2,5,7,10]
1 1 5
744 clique[2,5,7,11]
1 1 5
745 clique[2,5,7,12]
1 1 5
746 clique[2,5,7,13]
2 1 5
747 clique[2,5,7,14]
3 1 5
748 clique[2,5,7,15]
2 1 5
749 clique[2,5,7,16]
3 1 5
750 clique[2,5,7,17]
1 1 5
751 clique[2,5,8,9]
5 1 5
752 clique[2,5,8,10]
3 1 5
753 clique[2,5,8,11]
3 1 5
754 clique[2,5,8,12]
3 1 5
755 clique[2,5,8,13]
3 1 5
756 clique[2,5,8,14]
5 1 5
757 clique[2,5,8,15]
4 1 5
758 clique[2,5,8,16]
4 1 5
759 clique[2,5,8,17]
4 1 5
760 clique[2,5,9,10]
4 1 5
761 clique[2,5,9,11]
3 1 5
762 clique[2,5,9,12]
3 1 5
763 clique[2,5,9,13]
4 1 5
764 clique[2,5,9,14]
4 1 5
765 clique[2,5,9,15]
3 1 5
766 clique[2,5,9,16]
4 1 5
767 clique[2,5,9,17]
3 1 5
768 clique[2,5,10,11]
3 1 5
769 clique[2,5,10,12]
3 1 5
770 clique[2,5,10,13]
2 1 5
771 clique[2,5,10,14]
3 1 5
772 clique[2,5,10,15]
2 1 5
773 clique[2,5,10,16]
4 1 5
774 clique[2,5,10,17]
2 1 5
775 clique[2,5,11,12]
3 1 5
776 clique[2,5,11,13]
3 1 5
777 clique[2,5,11,14]
3 1 5
778 clique[2,5,11,15]
3 1 5
779 clique[2,5,11,16]
4 1 5
780 clique[2,5,11,17]
3 1 5
781 clique[2,5,12,13]
3 1 5
782 clique[2,5,12,14]
4 1 5
783 clique[2,5,12,15]
2 1 5
784 clique[2,5,12,16]
3 1 5
785 clique[2,5,12,17]
3 1 5
786 clique[2,5,13,14]
4 1 5
787 clique[2,5,13,15]
2 1 5
788 clique[2,5,13,16]
3 1 5
789 clique[2,5,13,17]
2 1 5
790 clique[2,5,14,15]
3 1 5
791 clique[2,5,14,16]
5 1 5
792 clique[2,5,14,17]
3 1 5
793 clique[2,5,15,16]
4 1 5
794 clique[2,5,15,17]
3 1 5
795 clique[2,5,16,17]
3 1 5
796 clique[2,6,7,8]
3 1 5
797 clique[2,6,7,9]
4 1 5
798 clique[2,6,7,10]
3 1 5
799 clique[2,6,7,11]
3 1 5
800 clique[2,6,7,12]
2 1 5
801 clique[2,6,7,13]
4 1 5
802 clique[2,6,7,14]
4 1 5
803 clique[2,6,7,15]
3 1 5
804 clique[2,6,7,16]
5 1 5
805 clique[2,6,7,17]
4 1 5
806 clique[2,6,8,9]
5 1 5
807 clique[2,6,8,10]
3 1 5
808 clique[2,6,8,11]
3 1 5
809 clique[2,6,8,12]
2 1 5
810 clique[2,6,8,13]
3 1 5
811 clique[2,6,8,14]
4 1 5
812 clique[2,6,8,15]
3 1 5
813 clique[2,6,8,16]
4 1 5
814 clique[2,6,8,17]
5 1 5
815 clique[2,6,9,10]
5 1 5
816 clique[2,6,9,11]
4 1 5
817 clique[2,6,9,12]
3 1 5
818 clique[2,6,9,13]
5 1 5
819 clique[2,6,9,14]
4 1 5
820 clique[2,6,9,15]
3 1 5
821 clique[2,6,9,16]
5 1 5
822 clique[2,6,9,17]
5 1 5
823 clique[2,6,10,11]
4 1 5
824 clique[2,6,10,12]
3 1 5
825 clique[2,6,10,13]
3 1 5
826 clique[2,6,10,14]
3 1 5
827 clique[2,6,10,15]
2 1 5
828 clique[2,6,10,16]
5 1 5
829 clique[2,6,10,17]
4 1 5
830 clique[2,6,11,12]
3 1 5
831 clique[2,6,11,13]
4 1 5
832 clique[2,6,11,14]
3 1 5
833 clique[2,6,11,15]
3 1 5
834 clique[2,6,11,16]
5 1 5
835 clique[2,6,11,17]
5 1 5
836 clique[2,6,12,13]
3 1 5
837 clique[2,6,12,14]
3 1 5
838 clique[2,6,12,15]
1 1 5
839 clique[2,6,12,16]
3 1 5
840 clique[2,6,12,17]
4 1 5
841 clique[2,6,13,14]
4 1 5
842 clique[2,6,13,15]
2 1 5
843 clique[2,6,13,16]
4 1 5
844 clique[2,6,13,17]
4 1 5
845 clique[2,6,14,15]
2 1 5
846 clique[2,6,14,16]
5 1 5
847 clique[2,6,14,17]
4 1 5
848 clique[2,6,15,16]
4 1 5
849 clique[2,6,15,17]
4 1 5
850 clique[2,6,16,17]
5 1 5
851 clique[2,7,8,9]
3 1 5
852 clique[2,7,8,10]
1 1 5
853 clique[2,7,8,11]
2 1 5
854 clique[2,7,8,12]
1 1 5
855 clique[2,7,8,13]
3 1 5
856 clique[2,7,8,14]
4 1 5
857 clique[2,7,8,15]
3 1 5
858 clique[2,7,8,16]
3 1 5
859 clique[2,7,8,17]
3 1 5
860 clique[2,7,9,10]
2 1 5
861 clique[2,7,9,11]
2 1 5
862 clique[2,7,9,12]
1 1 5
863 clique[2,7,9,13]
4 1 5
864 clique[2,7,9,14]
3 1 5
865 clique[2,7,9,15]
2 1 5
866 clique[2,7,9,16]
3 1 5
867 clique[2,7,9,17]
2 1 5
868 clique[2,7,10,11]
2 1 5
869 clique[2,7,10,12]
1 1 5
870 clique[2,7,10,13]
2 1 5
871 clique[2,7,10,14]
2 1 5
872 clique[2,7,10,15]
1 1 5
873 clique[2,7,10,16]
3 1 5
874 clique[2,7,10,17]
1 1 5
875 clique[2,7,11,12]
2 1 5
876 clique[2,7,11,13]
4 1 5
877 clique[2,7,11,14]
3 1 5
878 clique[2,7,11,15]
3 1 5
879 clique[2,7,11,16]
4 1 5
880 clique[2,7,11,17]
3 1 5
881 clique[2,7,12,13]
3 1 5
882 clique[2,7,12,14]
3 1 5
883 clique[2,7,12,15]
1 1 5
884 clique[2,7,12,16]
2 1 5
885 clique[2,7,12,17]
2 1 5
886 clique[2,7,13,14]
5 1 5
887 clique[2,7,13,15]
3 1 5
888 clique[2,7,13,16]
4 1 5
889 clique[2,7,13,17]
3 1 5
890 clique[2,7,14,15]
3 1 5
891 clique[2,7,14,16]
5 1 5
892 clique[2,7,14,17]
3 1 5
893 clique[2,7,15,16]
4 1 5
894 clique[2,7,15,17]
3 1 5
895 clique[2,7,16,17]
3 1 5
896 clique[2,8,9,10]
4 1 5
897 clique[2,8,9,11]
4 1 5
898 clique[2,8,9,12]
3 1 5
899 clique[2,8,9,13]
5 1 5
900 clique[2,8,9,14]
5 1 5
901 clique[2,8,9,15]
4 1 5
902 clique[2,8,9,16]
4 1 5
903 clique[2,8,9,17]
5 1 5
904 clique[2,8,10,11]
3 1 5
905 clique[2,8,10,12]
2 1 5
906 clique[2,8,10,13]
2 1 5
907 clique[2,8,10,14]
3 1 5
908 clique[2,8,10,15]
2 1 5
909 clique[2,8,10,16]
3 1 5
910 clique[2,8,10,17]
3 1 5
911 clique[2,8,11,12]
3 1 5
912 clique[2,8,11,13]
4 1 5
913 clique[2,8,11,14]
4 1 5
914 clique[2,8,11,15]
4 1 5
915 clique[2,8,11,16]
4 1 5
916 clique[2,8,11,17]
5 1 5
917 clique[2,8,12,13]
3 1 5
918 clique[2,8,12,14]
4 1 5
919 clique[2,8,12,15]
2 1 5
920 clique[2,8,12,16]
2 1 5
921 clique[2,8,12,17]
4 1 5
922 clique[2,8,13,14]
5 1 5
923 clique[2,8,13,15]
3 1 5
924 clique[2,8,13,16]
3 1 5
925 clique[2,8,13,17]
4 1 5
926 clique[2,8,14,15]
4 1 5
927 clique[2,8,14,16]
5 1 5
928 clique[2,8,14,17]
5 1 5
929 clique[2,8,15,16]
4 1 5
930 clique[2,8,15,17]
5 1 5
931 clique[2,8,16,17]
4 1 5
932 clique[2,9,10,11]
4 1 5
933 clique[2,9,10,12]
3 1 5
934 clique[2,9,10,13]
4 1 5
935 clique[2,9,10,14]
3 1 5
936 clique[2,9,10,15]
2 1 5
937 clique[2,9,10,16]
4 1 5
938 clique[2,9,10,17]
3 1 5
939 clique[2,9,11,12]
3 1 5
940 clique[2,9,11,13]
5 1 5
941 clique[2,9,11,14]
3 1 5
942 clique[2,9,11,15]
3 1 5
943 clique[2,9,11,16]
4 1 5
944 clique[2,9,11,17]
4 1 5
945 clique[2,9,12,13]
4 1 5
946 clique[2,9,12,14]
3 1 5
947 clique[2,9,12,15]
1 1 5
948 clique[2,9,12,16]
2 1 5
949 clique[2,9,12,17]
3 1 5
950 clique[2,9,13,14]
5 1 5
951 clique[2,9,13,15]
3 1 5
952 clique[2,9,13,16]
4 1 5
953 clique[2,9,13,17]
4 1 5
954 clique[2,9,14,15]
2 1 5
955 clique[2,9,14,16]
4 1 5
956 clique[2,9,14,17]
3 1 5
957 clique[2,9,15,16]
3 1 5
958 clique[2,9,15,17]
3 1 5
959 clique[2,9,16,17]
3 1 5
960 clique[2,10,11,12]
4 1 5
961 clique[2,10,11,13]
4 1 5
962 clique[2,10,11,14]
3 1 5
963 clique[2,10,11,15]
3 1 5
964 clique[2,10,11,16]
5 1 5
965 clique[2,10,11,17]
4 1 5
966 clique[2,10,12,13]
3 1 5
967 clique[2,10,12,14]
3 1 5
968 clique[2,10,12,15]
1 1 5
969 clique[2,10,12,16]
3 1 5
970 clique[2,10,12,17]
3 1 5
971 clique[2,10,13,14]
3 1 5
972 clique[2,10,13,15]
1 1 5
973 clique[2,10,13,16]
3 1 5
974 clique[2,10,13,17]
2 1 5
975 clique[2,10,14,15]
1 1 5
976 clique[2,10,14,16]
4 1 5
977 clique[2,10,14,17]
2 1 5
978 clique[2,10,15,16]
3 1 5
979 clique[2,10,15,17]
2 1 5
980 clique[2,10,16,17]
3 1 5
981 clique[2,11,12,13]
5 1 5
982 clique[2,11,12,14]
4 1 5
983 clique[2,11,12,15]
3 1 5
984 clique[2,11,12,16]
4 1 5
985 clique[2,11,12,17]
5 1 5
986 clique[2,11,13,14]
5 1 5
987 clique[2,11,13,15]
4 1 5
988 clique[2,11,13,16]
5 1 5
989 clique[2,11,13,17]
5 1 5
990 clique[2,11,14,15]
3 1 5
991 clique[2,11,14,16]
5 1 5
992 clique[2,11,14,17]
4 1 5
993 clique[2,11,15,16]
5 1 5
994 clique[2,11,15,17]
5 1 5
995 clique[2,11,16,17]
5 1 5
996 clique[2,12,13,14]
5 1 5
997 clique[2,12,13,15]
2 1 5
998 clique[2,12,13,16]
3 1 5
999 clique[2,12,13,17]
4 1 5
1000 clique[2,12,14,15]
2 1 5
1001 clique[2,12,14,16]
4 1 5
1002 clique[2,12,14,17]
4 1 5
1003 clique[2,12,15,16]
2 1 5
1004 clique[2,12,15,17]
3 1 5
1005 clique[2,12,16,17]
3 1 5
1006 clique[2,13,14,15]
3 1 5
1007 clique[2,13,14,16]
5 1 5
1008 clique[2,13,14,17]
4 1 5
1009 clique[2,13,15,16]
3 1 5
1010 clique[2,13,15,17]
3 1 5
1011 clique[2,13,16,17]
3 1 5
1012 clique[2,14,15,16]
4 1 5
1013 clique[2,14,15,17]
3 1 5
1014 clique[2,14,16,17]
4 1 5
1015 clique[2,15,16,17]
4 1 5
1016 clique[3,4,5,6]
3 1 5
1017 clique[3,4,5,7]
3 1 5
1018 clique[3,4,5,8]
3 1 5
1019 clique[3,4,5,9]
3 1 5
1020 clique[3,4,5,10]
3 1 5
1021 clique[3,4,5,11]
1 1 5
1022 clique[3,4,5,12]
4 1 5
1023 clique[3,4,5,13]
2 1 5
1024 clique[3,4,5,14]
3 1 5
1025 clique[3,4,5,15]
3 1 5
1026 clique[3,4,5,16]
2 1 5
1027 clique[3,4,5,17]
3 1 5
1028 clique[3,4,6,7]
5 1 5
1029 clique[3,4,6,8]
3 1 5
1030 clique[3,4,6,9]
4 1 5
1031 clique[3,4,6,10]
4 1 5
1032 clique[3,4,6,11]
2 1 5
1033 clique[3,4,6,12]
4 1 5
1034 clique[3,4,6,13]
3 1 5
1035 clique[3,4,6,14]
3 1 5
1036 clique[3,4,6,15]
3 1 5
1037 clique[3,4,6,16]
3 1 5
1038 clique[3,4,6,17]
5 1 5
1039 clique[3,4,7,8]
3 1 5
1040 clique[3,4,7,9]
3 1 5
1041 clique[3,4,7,10]
3 1 5
1042 clique[3,4,7,11]
2 1 5
1043 clique[3,4,7,12]
4 1 5
1044 clique[3,4,7,13]
4 1 5
1045 clique[3,4,7,14]
4 1 5
1046 clique[3,4,7,15]
4 1 5
1047 clique[3,4,7,16]
3 1 5
1048 clique[3,4,7,17]
4 1 5
1049 clique[3,4,8,9]
3 1 5
1050 clique[3,4,8,10]
2 1 5
1051 clique[3,4,8,11]
1 1 5
1052 clique[3,4,8,12]
3 1 5
1053 clique[3,4,8,13]
2 1 5
1054 clique[3,4,8,14]
3 1 5
1055 clique[3,4,8,15]
3 1 5
1056 clique[3,4,8,16]
1 1 5
1057 clique[3,4,8,17]
4 1 5
1058 clique[3,4,9,10]
3 1 5
1059 clique[3,4,9,11]
1 1 5
1060 clique[3,4,9,12]
3 1 5
1061 clique[3,4,9,13]
3 1 5
1062 clique[3,4,9,14]
2 1 5
1063 clique[3,4,9,15]
2 1 5
1064 clique[3,4,9,16]
1 1 5
1065 clique[3,4,9,17]
3 1 5
1066 clique[3,4,10,11]
2 1 5
1067 clique[3,4,10,12]
4 1 5
1068 clique[3,4,10,13]
2 1 5
1069 clique[3,4,10,14]
2 1 5
1070 clique[3,4,10,15]
2 1 5
1071 clique[3,4,10,16]
2 1 5
1072 clique[3,4,10,17]
3 1 5
1073 clique[3,4,11,12]
3 1 5
1074 clique[3,4,11,13]
2 1 5
1075 clique[3,4,11,14]
1 1 5
1076 clique[3,4,11,15]
2 1 5
1077 clique[3,4,11,16]
1 1 5
1078 clique[3,4,11,17]
3 1 5
1079 clique[3,4,12,13]
4 1 5
1080 clique[3,4,12,14]
4 1 5
1081 clique[3,4,12,15]
3 1 5
1082 clique[3,4,12,16]
2 1 5
1083 clique[3,4,12,17]
5 1 5
1084 clique[3,4,13,14]
3 1 5
1085 clique[3,4,13,15]
2 1 5
1086 clique[3,4,13,16]
1 1 5
1087 clique[3,4,13,17]
3 1 5
1088 clique[3,4,14,15]
2 1 5
1089 clique[3,4,14,16]
2 1 5
1090 clique[3,4,14,17]
3 1 5
1091 clique[3,4,15,16]
2 1 5
1092 clique[3,4,15,17]
4 1 5
1093 clique[3,4,16,17]
2 1 5
1094 clique[3,5,6,7]
3 1 5
1095 clique[3,5,6,8]
3 1 5
1096 clique[3,5,6,9]
3 1 5
1097 clique[3,5,6,10]
4 1 5
1098 clique[3,5,6,11]
1 1 5
1099 clique[3,5,6,12]
3 1 5
1100 clique[3,5,6,13]
1 1 5
1101 clique[3,5,6,14]
3 1 5
1102 clique[3,5,6,15]
2 1 5
1103 clique[3,5,6,16]
3 1 5
1104 clique[3,5,6,17]
3 1 5
1105 clique[3,5,7,8]
3 1 5
1106 clique[3,5,7,9]
2 1 5
1107 clique[3,5,7,10]
3 1 5
1108 clique[3,5,7,11]
1 1 5
1109 clique[3,5,7,12]
3 1 5
1110 clique[3,5,7,13]
2 1 5
1111 clique[3,5,7,14]
4 1 5
1112 clique[3,5,7,15]
3 1 5
1113 clique[3,5,7,16]
3 1 5
1114 clique[3,5,7,17]
2 1 5
1115 clique[3,5,8,9]
4 1 5
1116 clique[3,5,8,10]
4 1 5
1117 clique[3,5,8,11]
2 1 5
1118 clique[3,5,8,12]
4 1 5
1119 clique[3,5,8,13]
2 1 5
1120 clique[3,5,8,14]
5 1 5
1121 clique[3,5,8,15]
4 1 5
1122 clique[3,5,8,16]
3 1 5
1123 clique[3,5,8,17]
4 1 5
1124 clique[3,5,9,10]
4 1 5
1125 clique[3,5,9,11]
1 1 5
1126 clique[3,5,9,12]
3 1 5
1127 clique[3,5,9,13]
2 1 5
1128 clique[3,5,9,14]
3 1 5
1129 clique[3,5,9,15]
2 1 5
1130 clique[3,5,9,16]
2 1 5
1131 clique[3,5,9,17]
2 1 5
1132 clique[3,5,10,11]
3 1 5
1133 clique[3,5,10,12]
5 1 5
1134 clique[3,5,10,13]
2 1 5
1135 clique[3,5,10,14]
4 1 5
1136 clique[3,5,10,15]
3 1 5
1137 clique[3,5,10,16]
4 1 5
1138 clique[3,5,10,17]
3 1 5
1139 clique[3,5,11,12]
3 1 5
1140 clique[3,5,11,13]
1 1 5
1141 clique[3,5,11,14]
2 1 5
1142 clique[3,5,11,15]
2 1 5
1143 clique[3,5,11,16]
2 1 5
1144 clique[3,5,11,17]
2 1 5
1145 clique[3,5,12,13]
3 1 5
1146 clique[3,5,12,14]
5 1 5
1147 clique[3,5,12,15]
3 1 5
1148 clique[3,5,12,16]
3 1 5
1149 clique[3,5,12,17]
4 1 5
1150 clique[3,5,13,14]
3 1 5
1151 clique[3,5,13,15]
1 1 5
1152 clique[3,5,13,16]
1 1 5
1153 clique[3,5,13,17]
1 1 5
1154 clique[3,5,14,15]
3 1 5
1155 clique[3,5,14,16]
4 1 5
1156 clique[3,5,14,17]
3 1 5
1157 clique[3,5,15,16]
3 1 5
1158 clique[3,5,15,17]
3 1 5
1159 clique[3,5,16,17]
2 1 5
1160 clique[3,6,7,8]
4 1 5
1161 clique[3,6,7,9]
4 1 5
1162 clique[3,6,7,10]
5 1 5
1163 clique[3,6,7,11]
3 1 5
1164 clique[3,6,7,12]
4 1 5
1165 clique[3,6,7,13]
4 1 5
1166 clique[3,6,7,14]
5 1 5
1167 clique[3,6,7,15]
4 1 5
1168 clique[3,6,7,16]
5 1 5
1169 clique[3,6,7,17]
5 1 5
1170 clique[3,6,8,9]
4 1 5
1171 clique[3,6,8,10]
4 1 5
1172 clique[3,6,8,11]
2 1 5
1173 clique[3,6,8,12]
3 1 5
1174 clique[3,6,8,13]
2 1 5
1175 clique[3,6,8,14]
4 1 5
1176 clique[3,6,8,15]
3 1 5
1177 clique[3,6,8,16]
3 1 5
1178 clique[3,6,8,17]
5 1 5
1179 clique[3,6,9,10]
5 1 5
1180 clique[3,6,9,11]
2 1 5
1181 clique[3,6,9,12]
3 1 5
1182 clique[3,6,9,13]
3 1 5
1183 clique[3,6,9,14]
3 1 5
1184 clique[3,6,9,15]
2 1 5
1185 clique[3,6,9,16]
3 1 5
1186 clique[3,6,9,17]
4 1 5
1187 clique[3,6,10,11]
4 1 5
1188 clique[3,6,10,12]
5 1 5
1189 clique[3,6,10,13]
3 1 5
1190 clique[3,6,10,14]
4 1 5
1191 clique[3,6,10,15]
3 1 5
1192 clique[3,6,10,16]
5 1 5
1193 clique[3,6,10,17]
5 1 5
1194 clique[3,6,11,12]
3 1 5
1195 clique[3,6,11,13]
2 1 5
1196 clique[3,6,11,14]
2 1 5
1197 clique[3,6,11,15]
2 1 5
1198 clique[3,6,11,16]
3 1 5
1199 clique[3,6,11,17]
4 1 5
1200 clique[3,6,12,13]
3 1 5
1201 clique[3,6,12,14]
4 1 5
1202 clique[3,6,12,15]
2 1 5
1203 clique[3,6,12,16]
3 1 5
1204 clique[3,6,12,17]
5 1 5
1205 clique[3,6,13,14]
3 1 5
1206 clique[3,6,13,15]
1 1 5
1207 clique[3,6,13,16]
2 1 5
1208 clique[3,6,13,17]
3 1 5
1209 clique[3,6,14,15]
2 1 5
1210 clique[3,6,14,16]
4 1 5
1211 clique[3,6,14,17]
4 1 5
1212 clique[3,6,15,16]
3 1 5
1213 clique[3,6,15,17]
4 1 5
1214 clique[3,6,16,17]
4 1 5
1215 clique[3,7,8,9]
3 1 5
1216 clique[3,7,8,10]
3 1 5
1217 clique[3,7,8,11]
2 1 5
1218 clique[3,7,8,12]
3 1 5
1219 clique[3,7,8,13]
3 1 5
1220 clique[3,7,8,14]
5 1 5
1221 clique[3,7,8,15]
4 1 5
1222 clique[3,7,8,16]
3 1 5
1223 clique[3,7,8,17]
4 1 5
1224 clique[3,7,9,10]
3 1 5
1225 clique[3,7,9,11]
1 1 5
1226 clique[3,7,9,12]
2 1 5
1227 clique[3,7,9,13]
3 1 5
1228 clique[3,7,9,14]
3 1 5
1229 clique[3,7,9,15]
2 1 5
1230 clique[3,7,9,16]
2 1 5
1231 clique[3,7,9,17]
2 1 5
1232 clique[3,7,10,11]
3 1 5
1233 clique[3,7,10,12]
4 1 5
1234 clique[3,7,10,13]
3 1 5
1235 clique[3,7,10,14]
4 1 5
1236 clique[3,7,10,15]
3 1 5
1237 clique[3,7,10,16]
4 1 5
1238 clique[3,7,10,17]
3 1 5
1239 clique[3,7,11,12]
3 1 5
1240 clique[3,7,11,13]
3 1 5
1241 clique[3,7,11,14]
3 1 5
1242 clique[3,7,11,15]
3 1 5
1243 clique[3,7,11,16]
3 1 5
1244 clique[3,7,11,17]
3 1 5
1245 clique[3,7,12,13]
4 1 5
1246 clique[3,7,12,14]
5 1 5
1247 clique[3,7,12,15]
3 1 5
1248 clique[3,7,12,16]
3 1 5
1249 clique[3,7,12,17]
4 1 5
1250 clique[3,7,13,14]
5 1 5
1251 clique[3,7,13,15]
3 1 5
1252 clique[3,7,13,16]
3 1 5
1253 clique[3,7,13,17]
3 1 5
1254 clique[3,7,14,15]
4 1 5
1255 clique[3,7,14,16]
5 1 5
1256 clique[3,7,14,17]
4 1 5
1257 clique[3,7,15,16]
4 1 5
1258 clique[3,7,15,17]
4 1 5
1259 clique[3,7,16,17]
3 1 5
1260 clique[3,8,9,10]
4 1 5
1261 clique[3,8,9,11]
2 1 5
1262 clique[3,8,9,12]
3 1 5
1263 clique[3,8,9,13]
3 1 5
1264 clique[3,8,9,14]
4 1 5
1265 clique[3,8,9,15]
3 1 5
1266 clique[3,8,9,16]
2 1 5
1267 clique[3,8,9,17]
4 1 5
1268 clique[3,8,10,11]
3 1 5
1269 clique[3,8,10,12]
4 1 5
1270 clique[3,8,10,13]
2 1 5
1271 clique[3,8,10,14]
4 1 5
1272 clique[3,8,10,15]
3 1 5
1273 clique[3,8,10,16]
3 1 5
1274 clique[3,8,10,17]
4 1 5
1275 clique[3,8,11,12]
3 1 5
1276 clique[3,8,11,13]
2 1 5
1277 clique[3,8,11,14]
3 1 5
1278 clique[3,8,11,15]
3 1 5
1279 clique[3,8,11,16]
2 1 5
1280 clique[3,8,11,17]
4 1 5
1281 clique[3,8,12,13]
3 1 5
1282 clique[3,8,12,14]
5 1 5
1283 clique[3,8,12,15]
3 1 5
1284 clique[3,8,12,16]
2 1 5
1285 clique[3,8,12,17]
5 1 5
1286 clique[3,8,13,14]
4 1 5
1287 clique[3,8,13,15]
2 1 5
1288 clique[3,8,13,16]
1 1 5
1289 clique[3,8,13,17]
3 1 5
1290 clique[3,8,14,15]
4 1 5
1291 clique[3,8,14,16]
4 1 5
1292 clique[3,8,14,17]
5 1 5
1293 clique[3,8,15,16]
3 1 5
1294 clique[3,8,15,17]
5 1 5
1295 clique[3,8,16,17]
3 1 5
1296 clique[3,9,10,11]
3 1 5
1297 clique[3,9,10,12]
4 1 5
1298 clique[3,9,10,13]
3 1 5
1299 clique[3,9,10,14]
3 1 5
1300 clique[3,9,10,15]
2 1 5
1301 clique[3,9,10,16]
3 1 5
1302 clique[3,9,10,17]
3 1 5
1303 clique[3,9,11,12]
2 1 5
1304 clique[3,9,11,13]
2 1 5
1305 clique[3,9,11,14]
1 1 5
1306 clique[3,9,11,15]
1 1 5
1307 clique[3,9,11,16]
1 1 5
1308 clique[3,9,11,17]
2 1 5
1309 clique[3,9,12,13]
3 1 5
1310 clique[3,9,12,14]
3 1 5
1311 clique[3,9,12,15]
1 1 5
1312 clique[3,9,12,16]
1 1 5
1313 clique[3,9,12,17]
3 1 5
1314 clique[3,9,13,14]
3 1 5
1315 clique[3,9,13,15]
1 1 5
1316 clique[3,9,13,16]
1 1 5
1317 clique[3,9,13,17]
2 1 5
1318 clique[3,9,14,15]
1 1 5
1319 clique[3,9,14,16]
2 1 5
1320 clique[3,9,14,17]
2 1 5
1321 clique[3,9,15,16]
1 1 5
1322 clique[3,9,15,17]
2 1 5
1323 clique[3,9,16,17]
1 1 5
1324 clique[3,10,11,12]
5 1 5
1325 clique[3,10,11,13]
3 1 5
1326 clique[3,10,11,14]
3 1 5
1327 clique[3,10,11,15]
3 1 5
1328 clique[3,10,11,16]
4 1 5
1329 clique[3,10,11,17]
4 1 5
1330 clique[3,10,12,13]
4 1 5
1331 clique[3,10,12,14]
5 1 5
1332 clique[3,10,12,15]
3 1 5
1333 clique[3,10,12,16]
4 1 5
1334 clique[3,10,12,17]
5 1 5
1335 clique[3,10,13,14]
3 1 5
1336 clique[3,10,13,15]
1 1 5
1337 clique[3,10,13,16]
2 1 5
1338 clique[3,10,13,17]
2 1 5
1339 clique[3,10,14,15]
2 1 5
1340 clique[3,10,14,16]
4 1 5
1341 clique[3,10,14,17]
3 1 5
1342 clique[3,10,15,16]
3 1 5
1343 clique[3,10,15,17]
3 1 5
1344 clique[3,10,16,17]
3 1 5
1345 clique[3,11,12,13]
4 1 5
1346 clique[3,11,12,14]
4 1 5
1347 clique[3,11,12,15]
3 1 5
1348 clique[3,11,12,16]
3 1 5
1349 clique[3,11,12,17]
5 1 5
1350 clique[3,11,13,14]
3 1 5
1351 clique[3,11,13,15]
2 1 5
1352 clique[3,11,13,16]
2 1 5
1353 clique[3,11,13,17]
3 1 5
1354 clique[3,11,14,15]
2 1 5
1355 clique[3,11,14,16]
3 1 5
1356 clique[3,11,14,17]
3 1 5
1357 clique[3,11,15,16]
3 1 5
1358 clique[3,11,15,17]
4 1 5
1359 clique[3,11,16,17]
3 1 5
1360 clique[3,12,13,14]
5 1 5
1361 clique[3,12,13,15]
2 1 5
1362 clique[3,12,13,16]
2 1 5
1363 clique[3,12,13,17]
4 1 5
1364 clique[3,12,14,15]
3 1 5
1365 clique[3,12,14,16]
4 1 5
1366 clique[3,12,14,17]
5 1 5
1367 clique[3,12,15,16]
2 1 5
1368 clique[3,12,15,17]
4 1 5
1369 clique[3,12,16,17]
3 1 5
1370 clique[3,13,14,15]
2 1 5
1371 clique[3,13,14,16]
3 1 5
1372 clique[3,13,14,17]
3 1 5
1373 clique[3,13,15,16]
1 1 5
1374 clique[3,13,15,17]
2 1 5
1375 clique[3,13,16,17]
1 1 5
1376 clique[3,14,15,16]
3 1 5
1377 clique[3,14,15,17]
3 1 5
1378 clique[3,14,16,17]
3 1 5
1379 clique[3,15,16,17]
3 1 5
1380 clique[4,5,6,7]
4 1 5
1381 clique[4,5,6,8]
3 1 5
1382 clique[4,5,6,9]
5 1 5
1383 clique[4,5,6,10]
4 1 5
1384 clique[4,5,6,11]
2 1 5
1385 clique[4,5,6,12]
4 1 5
1386 clique[4,5,6,13]
3 1 5
1387 clique[4,5,6,14]
3 1 5
1388 clique[4,5,6,15]
4 1 5
1389 clique[4,5,6,16]
4 1 5
1390 clique[4,5,6,17]
4 1 5
1391 clique[4,5,7,8]
3 1 5
1392 clique[4,5,7,9]
4 1 5
1393 clique[4,5,7,10]
3 1 5
1394 clique[4,5,7,11]
2 1 5
1395 clique[4,5,7,12]
4 1 5
1396 clique[4,5,7,13]
4 1 5
1397 clique[4,5,7,14]
4 1 5
1398 clique[4,5,7,15]
5 1 5
1399 clique[4,5,7,16]
4 1 5
1400 clique[4,5,7,17]
3 1 5
1401 clique[4,5,8,9]
5 1 5
1402 clique[4,5,8,10]
3 1 5
1403 clique[4,5,8,11]
2 1 5
1404 clique[4,5,8,12]
4 1 5
1405 clique[4,5,8,13]
3 1 5
1406 clique[4,5,8,14]
4 1 5
1407 clique[4,5,8,15]
5 1 5
1408 clique[4,5,8,16]
3 1 5
1409 clique[4,5,8,17]
4 1 5
1410 clique[4,5,9,10]
5 1 5
1411 clique[4,5,9,11]
3 1 5
1412 clique[4,5,9,12]
5 1 5
1413 clique[4,5,9,13]
5 1 5
1414 clique[4,5,9,14]
4 1 5
1415 clique[4,5,9,15]
5 1 5
1416 clique[4,5,9,16]
4 1 5
1417 clique[4,5,9,17]
4 1 5
1418 clique[4,5,10,11]
3 1 5
1419 clique[4,5,10,12]
5 1 5
1420 clique[4,5,10,13]
3 1 5
1421 clique[4,5,10,14]
3 1 5
1422 clique[4,5,10,15]
4 1 5
1423 clique[4,5,10,16]
4 1 5
1424 clique[4,5,10,17]
3 1 5
1425 clique[4,5,11,12]
4 1 5
1426 clique[4,5,11,13]
3 1 5
1427 clique[4,5,11,14]
2 1 5
1428 clique[4,5,11,15]
4 1 5
1429 clique[4,5,11,16]
3 1 5
1430 clique[4,5,11,17]
3 1 5
1431 clique[4,5,12,13]
5 1 5
1432 clique[4,5,12,14]
5 1 5
1433 clique[4,5,12,15]
5 1 5
1434 clique[4,5,12,16]
4 1 5
1435 clique[4,5,12,17]
5 1 5
1436 clique[4,5,13,14]
4 1 5
1437 clique[4,5,13,15]
4 1 5
1438 clique[4,5,13,16]
3 1 5
1439 clique[4,5,13,17]
3 1 5
1440 clique[4,5,14,15]
4 1 5
1441 clique[4,5,14,16]
4 1 5
1442 clique[4,5,14,17]
3 1 5
1443 clique[4,5,15,16]
5 1 5
1444 clique[4,5,15,17]
5 1 5
1445 clique[4,5,16,17]
3 1 5
1446 clique[4,6,7,8]
3 1 5
1447 clique[4,6,7,9]
5 1 5
1448 clique[4,6,7,10]
4 1 5
1449 clique[4,6,7,11]
3 1 5
1450 clique[4,6,7,12]
4 1 5
1451 clique[4,6,7,13]
5 1 5
1452 clique[4,6,7,14]
4 1 5
1453 clique[4,6,7,15]
5 1 5
1454 clique[4,6,7,16]
5 1 5
1455 clique[4,6,7,17]
5 1 5
1456 clique[4,6,8,9]
4 1 5
1457 clique[4,6,8,10]
2 1 5
1458 clique[4,6,8,11]
1 1 5
1459 clique[4,6,8,12]
2 1 5
1460 clique[4,6,8,13]
2 1 5
1461 clique[4,6,8,14]
2 1 5
1462 clique[4,6,8,15]
3 1 5
1463 clique[4,6,8,16]
2 1 5
1464 clique[4,6,8,17]
4 1 5
1465 clique[4,6,9,10]
5 1 5
1466 clique[4,6,9,11]
3 1 5
1467 clique[4,6,9,12]
4 1 5
1468 clique[4,6,9,13]
5 1 5
1469 clique[4,6,9,14]
3 1 5
1470 clique[4,6,9,15]
4 1 5
1471 clique[4,6,9,16]
4 1 5
1472 clique[4,6,9,17]
5 1 5
1473 clique[4,6,10,11]
3 1 5
1474 clique[4,6,10,12]
4 1 5
1475 clique[4,6,10,13]
3 1 5
1476 clique[4,6,10,14]
2 1 5
1477 clique[4,6,10,15]
3 1 5
1478 clique[4,6,10,16]
4 1 5
1479 clique[4,6,10,17]
4 1 5
1480 clique[4,6,11,12]
3 1 5
1481 clique[4,6,11,13]
3 1 5
1482 clique[4,6,11,14]
1 1 5
1483 clique[4,6,11,15]
3 1 5
1484 clique[4,6,11,16]
3 1 5
1485 clique[4,6,11,17]
4 1 5
1486 clique[4,6,12,13]
4 1 5
1487 clique[4,6,12,14]
3 1 5
1488 clique[4,6,12,15]
3 1 5
1489 clique[4,6,12,16]
3 1 5
1490 clique[4,6,12,17]
5 1 5
1491 clique[4,6,13,14]
3 1 5
1492 clique[4,6,13,15]
3 1 5
1493 clique[4,6,13,16]
3 1 5
1494 clique[4,6,13,17]
4 1 5
1495 clique[4,6,14,15]
2 1 5
1496 clique[4,6,14,16]
3 1 5
1497 clique[4,6,14,17]
3 1 5
1498 clique[4,6,15,16]
4 1 5
1499 clique[4,6,15,17]
5 1 5
1500 clique[4,6,16,17]
4 1 5
1501 clique[4,7,8,9]
3 1 5
1502 clique[4,7,8,10]
1 1 5
1503 clique[4,7,8,11]
1 1 5
1504 clique[4,7,8,12]
2 1 5
1505 clique[4,7,8,13]
3 1 5
1506 clique[4,7,8,14]
3 1 5
1507 clique[4,7,8,15]
4 1 5
1508 clique[4,7,8,16]
2 1 5
1509 clique[4,7,8,17]
3 1 5
1510 clique[4,7,9,10]
3 1 5
1511 clique[4,7,9,11]
2 1 5
1512 clique[4,7,9,12]
3 1 5
1513 clique[4,7,9,13]
5 1 5
1514 clique[4,7,9,14]
3 1 5
1515 clique[4,7,9,15]
4 1 5
1516 clique[4,7,9,16]
3 1 5
1517 clique[4,7,9,17]
3 1 5
1518 clique[4,7,10,11]
2 1 5
1519 clique[4,7,10,12]
3 1 5
1520 clique[4,7,10,13]
3 1 5
1521 clique[4,7,10,14]
2 1 5
1522 clique[4,7,10,15]
3 1 5
1523 clique[4,7,10,16]
3 1 5
1524 clique[4,7,10,17]
2 1 5
1525 clique[4,7,11,12]
3 1 5
1526 clique[4,7,11,13]
4 1 5
1527 clique[4,7,11,14]
2 1 5
1528 clique[4,7,11,15]
4 1 5
1529 clique[4,7,11,16]
3 1 5
1530 clique[4,7,11,17]
3 1 5
1531 clique[4,7,12,13]
5 1 5
1532 clique[4,7,12,14]
4 1 5
1533 clique[4,7,12,15]
4 1 5
1534 clique[4,7,12,16]
3 1 5
1535 clique[4,7,12,17]
4 1 5
1536 clique[4,7,13,14]
5 1 5
1537 clique[4,7,13,15]
5 1 5
1538 clique[4,7,13,16]
4 1 5
1539 clique[4,7,13,17]
4 1 5
1540 clique[4,7,14,15]
4 1 5
1541 clique[4,7,14,16]
4 1 5
1542 clique[4,7,14,17]
3 1 5
1543 clique[4,7,15,16]
5 1 5
1544 clique[4,7,15,17]
5 1 5
1545 clique[4,7,16,17]
3 1 5
1546 clique[4,8,9,10]
3 1 5
1547 clique[4,8,9,11]
2 1 5
1548 clique[4,8,9,12]
3 1 5
1549 clique[4,8,9,13]
4 1 5
1550 clique[4,8,9,14]
3 1 5
1551 clique[4,8,9,15]
4 1 5
1552 clique[4,8,9,16]
2 1 5
1553 clique[4,8,9,17]
4 1 5
1554 clique[4,8,10,11]
1 1 5
1555 clique[4,8,10,12]
2 1 5
1556 clique[4,8,10,13]
1 1 5
1557 clique[4,8,10,14]
1 1 5
1558 clique[4,8,10,15]
2 1 5
1559 clique[4,8,10,16]
1 1 5
1560 clique[4,8,10,17]
2 1 5
1561 clique[4,8,11,12]
2 1 5
1562 clique[4,8,11,13]
2 1 5
1563 clique[4,8,11,14]
1 1 5
1564 clique[4,8,11,15]
3 1 5
1565 clique[4,8,11,16]
1 1 5
1566 clique[4,8,11,17]
3 1 5
1567 clique[4,8,12,13]
3 1 5
1568 clique[4,8,12,14]
3 1 5
1569 clique[4,8,12,15]
3 1 5
1570 clique[4,8,12,16]
1 1 5
1571 clique[4,8,12,17]
4 1 5
1572 clique[4,8,13,14]
3 1 5
1573 clique[4,8,13,15]
3 1 5
1574 clique[4,8,13,16]
1 1 5
1575 clique[4,8,13,17]
3 1 5
1576 clique[4,8,14,15]
3 1 5
1577 clique[4,8,14,16]
2 1 5
1578 clique[4,8,14,17]
3 1 5
1579 clique[4,8,15,16]
3 1 5
1580 clique[4,8,15,17]
5 1 5
1581 clique[4,8,16,17]
2 1 5
1582 clique[4,9,10,11]
3 1 5
1583 clique[4,9,10,12]
4 1 5
1584 clique[4,9,10,13]
4 1 5
1585 clique[4,9,10,14]
2 1 5
1586 clique[4,9,10,15]
3 1 5
1587 clique[4,9,10,16]
3 1 5
1588 clique[4,9,10,17]
3 1 5
1589 clique[4,9,11,12]
3 1 5
1590 clique[4,9,11,13]
4 1 5
1591 clique[4,9,11,14]
1 1 5
1592 clique[4,9,11,15]
3 1 5
1593 clique[4,9,11,16]
2 1 5
1594 clique[4,9,11,17]
3 1 5
1595 clique[4,9,12,13]
5 1 5
1596 clique[4,9,12,14]
3 1 5
1597 clique[4,9,12,15]
3 1 5
1598 clique[4,9,12,16]
2 1 5
1599 clique[4,9,12,17]
4 1 5
1600 clique[4,9,13,14]
4 1 5
1601 clique[4,9,13,15]
4 1 5
1602 clique[4,9,13,16]
3 1 5
1603 clique[4,9,13,17]
4 1 5
1604 clique[4,9,14,15]
2 1 5
1605 clique[4,9,14,16]
2 1 5
1606 clique[4,9,14,17]
2 1 5
1607 clique[4,9,15,16]
3 1 5
1608 clique[4,9,15,17]
4 1 5
1609 clique[4,9,16,17]
2 1 5
1610 clique[4,10,11,12]
4 1 5
1611 clique[4,10,11,13]
3 1 5
1612 clique[4,10,11,14]
1 1 5
1613 clique[4,10,11,15]
3 1 5
1614 clique[4,10,11,16]
3 1 5
1615 clique[4,10,11,17]
3 1 5
1616 clique[4,10,12,13]
4 1 5
1617 clique[4,10,12,14]
3 1 5
1618 clique[4,10,12,15]
3 1 5
1619 clique[4,10,12,16]
3 1 5
1620 clique[4,10,12,17]
4 1 5
1621 clique[4,10,13,14]
2 1 5
1622 clique[4,10,13,15]
2 1 5
1623 clique[4,10,13,16]
2 1 5
1624 clique[4,10,13,17]
2 1 5
1625 clique[4,10,14,15]
1 1 5
1626 clique[4,10,14,16]
2 1 5
1627 clique[4,10,14,17]
1 1 5
1628 clique[4,10,15,16]
3 1 5
1629 clique[4,10,15,17]
3 1 5
1630 clique[4,10,16,17]
2 1 5
1631 clique[4,11,12,13]
5 1 5
1632 clique[4,11,12,14]
3 1 5
1633 clique[4,11,12,15]
4 1 5
1634 clique[4,11,12,16]
3 1 5
1635 clique[4,11,12,17]
5 1 5
1636 clique[4,11,13,14]
3 1 5
1637 clique[4,11,13,15]
4 1 5
1638 clique[4,11,13,16]
3 1 5
1639 clique[4,11,13,17]
4 1 5
1640 clique[4,11,14,15]
2 1 5
1641 clique[4,11,14,16]
2 1 5
1642 clique[4,11,14,17]
2 1 5
1643 clique[4,11,15,16]
4 1 5
1644 clique[4,11,15,17]
5 1 5
1645 clique[4,11,16,17]
3 1 5
1646 clique[4,12,13,14]
5 1 5
1647 clique[4,12,13,15]
4 1 5
1648 clique[4,12,13,16]
3 1 5
1649 clique[4,12,13,17]
5 1 5
1650 clique[4,12,14,15]
3 1 5
1651 clique[4,12,14,16]
3 1 5
1652 clique[4,12,14,17]
4 1 5
1653 clique[4,12,15,16]
3 1 5
1654 clique[4,12,15,17]
5 1 5
1655 clique[4,12,16,17]
3 1 5
1656 clique[4,13,14,15]
3 1 5
1657 clique[4,13,14,16]
3 1 5
1658 clique[4,13,14,17]
3 1 5
1659 clique[4,13,15,16]
3 1 5
1660 clique[4,13,15,17]
4 1 5
1661 clique[4,13,16,17]
2 1 5
1662 clique[4,14,15,16]
3 1 5
1663 clique[4,14,15,17]
3 1 5
1664 clique[4,14,16,17]
2 1 5
1665 clique[4,15,16,17]
4 1 5
1666 clique[5,6,7,8]
2 1 5
1667 clique[5,6,7,9]
3 1 5
1668 clique[5,6,7,10]
3 1 5
1669 clique[5,6,7,11]
1 1 5
1670 clique[5,6,7,12]
2 1 5
1671 clique[5,6,7,13]
2 1 5
1672 clique[5,6,7,14]
3 1 5
1673 clique[5,6,7,15]
3 1 5
1674 clique[5,6,7,16]
4 1 5
1675 clique[5,6,7,17]
2 1 5
1676 clique[5,6,8,9]
4 1 5
1677 clique[5,6,8,10]
3 1 5
1678 clique[5,6,8,11]
1 1 5
1679 clique[5,6,8,12]
2 1 5
1680 clique[5,6,8,13]
1 1 5
1681 clique[5,6,8,14]
3 1 5
1682 clique[5,6,8,15]
3 1 5
1683 clique[5,6,8,16]
3 1 5
1684 clique[5,6,8,17]
3 1 5
1685 clique[5,6,9,10]
5 1 5
1686 clique[5,6,9,11]
2 1 5
1687 clique[5,6,9,12]
3 1 5
1688 clique[5,6,9,13]
3 1 5
1689 clique[5,6,9,14]
3 1 5
1690 clique[5,6,9,15]
3 1 5
1691 clique[5,6,9,16]
4 1 5
1692 clique[5,6,9,17]
3 1 5
1693 clique[5,6,10,11]
3 1 5
1694 clique[5,6,10,12]
4 1 5
1695 clique[5,6,10,13]
2 1 5
1696 clique[5,6,10,14]
3 1 5
1697 clique[5,6,10,15]
3 1 5
1698 clique[5,6,10,16]
5 1 5
1699 clique[5,6,10,17]
3 1 5
1700 clique[5,6,11,12]
2 1 5
1701 clique[5,6,11,13]
1 1 5
1702 clique[5,6,11,14]
1 1 5
1703 clique[5,6,11,15]
2 1 5
1704 clique[5,6,11,16]
3 1 5
1705 clique[5,6,11,17]
2 1 5
1706 clique[5,6,12,13]
2 1 5
1707 clique[5,6,12,14]
3 1 5
1708 clique[5,6,12,15]
2 1 5
1709 clique[5,6,12,16]
3 1 5
1710 clique[5,6,12,17]
3 1 5
1711 clique[5,6,13,14]
2 1 5
1712 clique[5,6,13,15]
1 1 5
1713 clique[5,6,13,16]
2 1 5
1714 clique[5,6,13,17]
1 1 5
1715 clique[5,6,14,15]
2 1 5
1716 clique[5,6,14,16]
4 1 5
1717 clique[5,6,14,17]
2 1 5
1718 clique[5,6,15,16]
4 1 5
1719 clique[5,6,15,17]
3 1 5
1720 clique[5,6,16,17]
3 1 5
1721 clique[5,7,8,9]
3 1 5
1722 clique[5,7,8,10]
2 1 5
1723 clique[5,7,8,11]
1 1 5
1724 clique[5,7,8,12]
2 1 5
1725 clique[5,7,8,13]
2 1 5
1726 clique[5,7,8,14]
4 1 5
1727 clique[5,7,8,15]
4 1 5
1728 clique[5,7,8,16]
3 1 5
1729 clique[5,7,8,17]
2 1 5
1730 clique[5,7,9,10]
3 1 5
1731 clique[5,7,9,11]
1 1 5
1732 clique[5,7,9,12]
2 1 5
1733 clique[5,7,9,13]
3 1 5
1734 clique[5,7,9,14]
3 1 5
1735 clique[5,7,9,15]
3 1 5
1736 clique[5,7,9,16]
3 1 5
1737 clique[5,7,9,17]
1 1 5
1738 clique[5,7,10,11]
2 1 5
1739 clique[5,7,10,12]
3 1 5
1740 clique[5,7,10,13]
2 1 5
1741 clique[5,7,10,14]
3 1 5
1742 clique[5,7,10,15]
3 1 5
1743 clique[5,7,10,16]
4 1 5
1744 clique[5,7,10,17]
1 1 5
1745 clique[5,7,11,12]
2 1 5
1746 clique[5,7,11,13]
2 1 5
1747 clique[5,7,11,14]
2 1 5
1748 clique[5,7,11,15]
3 1 5
1749 clique[5,7,11,16]
3 1 5
1750 clique[5,7,11,17]
1 1 5
1751 clique[5,7,12,13]
3 1 5
1752 clique[5,7,12,14]
4 1 5
1753 clique[5,7,12,15]
3 1 5
1754 clique[5,7,12,16]
3 1 5
1755 clique[5,7,12,17]
2 1 5
1756 clique[5,7,13,14]
4 1 5
1757 clique[5,7,13,15]
3 1 5
1758 clique[5,7,13,16]
3 1 5
1759 clique[5,7,13,17]
1 1 5
1760 clique[5,7,14,15]
4 1 5
1761 clique[5,7,14,16]
5 1 5
1762 clique[5,7,14,17]
2 1 5
1763 clique[5,7,15,16]
5 1 5
1764 clique[5,7,15,17]
3 1 5
1765 clique[5,7,16,17]
2 1 5
1766 clique[5,8,9,10]
5 1 5
1767 clique[5,8,9,11]
3 1 5
1768 clique[5,8,9,12]
4 1 5
1769 clique[5,8,9,13]
4 1 5
1770 clique[5,8,9,14]
5 1 5
1771 clique[5,8,9,15]
5 1 5
1772 clique[5,8,9,16]
4 1 5
1773 clique[5,8,9,17]
4 1 5
1774 clique[5,8,10,11]
3 1 5
1775 clique[5,8,10,12]
4 1 5
1776 clique[5,8,10,13]
2 1 5
1777 clique[5,8,10,14]
4 1 5
1778 clique[5,8,10,15]
4 1 5
1779 clique[5,8,10,16]
4 1 5
1780 clique[5,8,10,17]
3 1 5
1781 clique[5,8,11,12]
3 1 5
1782 clique[5,8,11,13]
2 1 5
1783 clique[5,8,11,14]
3 1 5
1784 clique[5,8,11,15]
4 1 5
1785 clique[5,8,11,16]
3 1 5
1786 clique[5,8,11,17]
3 1 5
1787 clique[5,8,12,13]
3 1 5
1788 clique[5,8,12,14]
5 1 5
1789 clique[5,8,12,15]
4 1 5
1790 clique[5,8,12,16]
3 1 5
1791 clique[5,8,12,17]
4 1 5
1792 clique[5,8,13,14]
4 1 5
1793 clique[5,8,13,15]
3 1 5
1794 clique[5,8,13,16]
2 1 5
1795 clique[5,8,13,17]
2 1 5
1796 clique[5,8,14,15]
5 1 5
1797 clique[5,8,14,16]
5 1 5
1798 clique[5,8,14,17]
4 1 5
1799 clique[5,8,15,16]
5 1 5
1800 clique[5,8,15,17]
5 1 5
1801 clique[5,8,16,17]
3 1 5
1802 clique[5,9,10,11]
4 1 5
1803 clique[5,9,10,12]
5 1 5
1804 clique[5,9,10,13]
4 1 5
1805 clique[5,9,10,14]
4 1 5
1806 clique[5,9,10,15]
4 1 5
1807 clique[5,9,10,16]
5 1 5
1808 clique[5,9,10,17]
3 1 5
1809 clique[5,9,11,12]
3 1 5
1810 clique[5,9,11,13]
3 1 5
1811 clique[5,9,11,14]
2 1 5
1812 clique[5,9,11,15]
3 1 5
1813 clique[5,9,11,16]
3 1 5
1814 clique[5,9,11,17]
2 1 5
1815 clique[5,9,12,13]
4 1 5
1816 clique[5,9,12,14]
4 1 5
1817 clique[5,9,12,15]
3 1 5
1818 clique[5,9,12,16]
3 1 5
1819 clique[5,9,12,17]
3 1 5
1820 clique[5,9,13,14]
4 1 5
1821 clique[5,9,13,15]
3 1 5
1822 clique[5,9,13,16]
3 1 5
1823 clique[5,9,13,17]
2 1 5
1824 clique[5,9,14,15]
3 1 5
1825 clique[5,9,14,16]
4 1 5
1826 clique[5,9,14,17]
2 1 5
1827 clique[5,9,15,16]
4 1 5
1828 clique[5,9,15,17]
3 1 5
1829 clique[5,9,16,17]
2 1 5
1830 clique[5,10,11,12]
5 1 5
1831 clique[5,10,11,13]
3 1 5
1832 clique[5,10,11,14]
3 1 5
1833 clique[5,10,11,15]
4 1 5
1834 clique[5,10,11,16]
5 1 5
1835 clique[5,10,11,17]
3 1 5
1836 clique[5,10,12,13]
4 1 5
1837 clique[5,10,12,14]
5 1 5
1838 clique[5,10,12,15]
4 1 5
1839 clique[5,10,12,16]
5 1 5
1840 clique[5,10,12,17]
4 1 5
1841 clique[5,10,13,14]
3 1 5
1842 clique[5,10,13,15]
2 1 5
1843 clique[5,10,13,16]
3 1 5
1844 clique[5,10,13,17]
1 1 5
1845 clique[5,10,14,15]
3 1 5
1846 clique[5,10,14,16]
5 1 5
1847 clique[5,10,14,17]
2 1 5
1848 clique[5,10,15,16]
5 1 5
1849 clique[5,10,15,17]
3 1 5
1850 clique[5,10,16,17]
3 1 5
1851 clique[5,11,12,13]
4 1 5
1852 clique[5,11,12,14]
4 1 5
1853 clique[5,11,12,15]
4 1 5
1854 clique[5,11,12,16]
4 1 5
1855 clique[5,11,12,17]
4 1 5
1856 clique[5,11,13,14]
3 1 5
1857 clique[5,11,13,15]
3 1 5
1858 clique[5,11,13,16]
3 1 5
1859 clique[5,11,13,17]
2 1 5
1860 clique[5,11,14,15]
3 1 5
1861 clique[5,11,14,16]
4 1 5
1862 clique[5,11,14,17]
2 1 5
1863 clique[5,11,15,16]
5 1 5
1864 clique[5,11,15,17]
4 1 5
1865 clique[5,11,16,17]
3 1 5
1866 clique[5,12,13,14]
5 1 5
1867 clique[5,12,13,15]
3 1 5
1868 clique[5,12,13,16]
3 1 5
1869 clique[5,12,13,17]
3 1 5
1870 clique[5,12,14,15]
4 1 5
1871 clique[5,12,14,16]
5 1 5
1872 clique[5,12,14,17]
4 1 5
1873 clique[5,12,15,16]
4 1 5
1874 clique[5,12,15,17]
4 1 5
1875 clique[5,12,16,17]
3 1 5
1876 clique[5,13,14,15]
3 1 5
1877 clique[5,13,14,16]
4 1 5
1878 clique[5,13,14,17]
2 1 5
1879 clique[5,13,15,16]
3 1 5
1880 clique[5,13,15,17]
2 1 5
1881 clique[5,13,16,17]
1 1 5
1882 clique[5,14,15,16]
5 1 5
1883 clique[5,14,15,17]
3 1 5
1884 clique[5,14,16,17]
3 1 5
1885 clique[5,15,16,17]
4 1 5
1886 clique[6,7,8,9]
3 1 5
1887 clique[6,7,8,10]
2 1 5
1888 clique[6,7,8,11]
1 1 5
1889 clique[6,7,8,12]
1 1 5
1890 clique[6,7,8,13]
2 1 5
1891 clique[6,7,8,14]
3 1 5
1892 clique[6,7,8,15]
3 1 5
1893 clique[6,7,8,16]
3 1 5
1894 clique[6,7,8,17]
3 1 5
1895 clique[6,7,9,10]
4 1 5
1896 clique[6,7,9,11]
2 1 5
1897 clique[6,7,9,12]
2 1 5
1898 clique[6,7,9,13]
4 1 5
1899 clique[6,7,9,14]
3 1 5
1900 clique[6,7,9,15]
3 1 5
1901 clique[6,7,9,16]
4 1 5
1902 clique[6,7,9,17]
3 1 5
1903 clique[6,7,10,11]
3 1 5
1904 clique[6,7,10,12]
3 1 5
1905 clique[6,7,10,13]
3 1 5
1906 clique[6,7,10,14]
3 1 5
1907 clique[6,7,10,15]
3 1 5
1908 clique[6,7,10,16]
5 1 5
1909 clique[6,7,10,17]
3 1 5
1910 clique[6,7,11,12]
2 1 5
1911 clique[6,7,11,13]
3 1 5
1912 clique[6,7,11,14]
2 1 5
1913 clique[6,7,11,15]
3 1 5
1914 clique[6,7,11,16]
4 1 5
1915 clique[6,7,11,17]
3 1 5
1916 clique[6,7,12,13]
3 1 5
1917 clique[6,7,12,14]
3 1 5
1918 clique[6,7,12,15]
2 1 5
1919 clique[6,7,12,16]
3 1 5
1920 clique[6,7,12,17]
3 1 5
1921 clique[6,7,13,14]
4 1 5
1922 clique[6,7,13,15]
3 1 5
1923 clique[6,7,13,16]
4 1 5
1924 clique[6,7,13,17]
3 1 5
1925 clique[6,7,14,15]
3 1 5
1926 clique[6,7,14,16]
5 1 5
1927 clique[6,7,14,17]
3 1 5
1928 clique[6,7,15,16]
5 1 5
1929 clique[6,7,15,17]
4 1 5
1930 clique[6,7,16,17]
4 1 5
1931 clique[6,8,9,10]
4 1 5
1932 clique[6,8,9,11]
2 1 5
1933 clique[6,8,9,12]
2 1 5
1934 clique[6,8,9,13]
3 1 5
1935 clique[6,8,9,14]
3 1 5
1936 clique[6,8,9,15]
3 1 5
1937 clique[6,8,9,16]
3 1 5
1938 clique[6,8,9,17]
4 1 5
1939 clique[6,8,10,11]
2 1 5
1940 clique[6,8,10,12]
2 1 5
1941 clique[6,8,10,13]
1 1 5
1942 clique[6,8,10,14]
2 1 5
1943 clique[6,8,10,15]
2 1 5
1944 clique[6,8,10,16]
3 1 5
1945 clique[6,8,10,17]
3 1 5
1946 clique[6,8,11,12]
1 1 5
1947 clique[6,8,11,13]
1 1 5
1948 clique[6,8,11,14]
1 1 5
1949 clique[6,8,11,15]
2 1 5
1950 clique[6,8,11,16]
2 1 5
1951 clique[6,8,11,17]
3 1 5
1952 clique[6,8,12,13]
1 1 5
1953 clique[6,8,12,14]
2 1 5
1954 clique[6,8,12,15]
1 1 5
1955 clique[6,8,12,16]
1 1 5
1956 clique[6,8,12,17]
3 1 5
1957 clique[6,8,13,14]
2 1 5
1958 clique[6,8,13,15]
1 1 5
1959 clique[6,8,13,16]
1 1 5
1960 clique[6,8,13,17]
2 1 5
1961 clique[6,8,14,15]
2 1 5
1962 clique[6,8,14,16]
3 1 5
1963 clique[6,8,14,17]
3 1 5
1964 clique[6,8,15,16]
3 1 5
1965 clique[6,8,15,17]
4 1 5
1966 clique[6,8,16,17]
3 1 5
1967 clique[6,9,10,11]
4 1 5
1968 clique[6,9,10,12]
4 1 5
1969 clique[6,9,10,13]
4 1 5
1970 clique[6,9,10,14]
3 1 5
1971 clique[6,9,10,15]
3 1 5
1972 clique[6,9,10,16]
5 1 5
1973 clique[6,9,10,17]
4 1 5
1974 clique[6,9,11,12]
2 1 5
1975 clique[6,9,11,13]
3 1 5
1976 clique[6,9,11,14]
1 1 5
1977 clique[6,9,11,15]
2 1 5
1978 clique[6,9,11,16]
3 1 5
1979 clique[6,9,11,17]
3 1 5
1980 clique[6,9,12,13]
3 1 5
1981 clique[6,9,12,14]
2 1 5
1982 clique[6,9,12,15]
1 1 5
1983 clique[6,9,12,16]
2 1 5
1984 clique[6,9,12,17]
3 1 5
1985 clique[6,9,13,14]
3 1 5
1986 clique[6,9,13,15]
2 1 5
1987 clique[6,9,13,16]
3 1 5
1988 clique[6,9,13,17]
3 1 5
1989 clique[6,9,14,15]
1 1 5
1990 clique[6,9,14,16]
3 1 5
1991 clique[6,9,14,17]
2 1 5
1992 clique[6,9,15,16]
3 1 5
1993 clique[6,9,15,17]
3 1 5
1994 clique[6,9,16,17]
3 1 5
1995 clique[6,10,11,12]
4 1 5
1996 clique[6,10,11,13]
3 1 5
1997 clique[6,10,11,14]
2 1 5
1998 clique[6,10,11,15]
3 1 5
1999 clique[6,10,11,16]
5 1 5
2000 clique[6,10,11,17]
4 1 5
2001 clique[6,10,12,13]
3 1 5
2002 clique[6,10,12,14]
3 1 5
2003 clique[6,10,12,15]
2 1 5
2004 clique[6,10,12,16]
4 1 5
2005 clique[6,10,12,17]
4 1 5
2006 clique[6,10,13,14]
2 1 5
2007 clique[6,10,13,15]
1 1 5
2008 clique[6,10,13,16]
3 1 5
2009 clique[6,10,13,17]
2 1 5
2010 clique[6,10,14,15]
1 1 5
2011 clique[6,10,14,16]
4 1 5
2012 clique[6,10,14,17]
2 1 5
2013 clique[6,10,15,16]
4 1 5
2014 clique[6,10,15,17]
3 1 5
2015 clique[6,10,16,17]
4 1 5
2016 clique[6,11,12,13]
3 1 5
2017 clique[6,11,12,14]
2 1 5
2018 clique[6,11,12,15]
2 1 5
2019 clique[6,11,12,16]
3 1 5
2020 clique[6,11,12,17]
4 1 5
2021 clique[6,11,13,14]
2 1 5
2022 clique[6,11,13,15]
2 1 5
2023 clique[6,11,13,16]
3 1 5
2024 clique[6,11,13,17]
3 1 5
2025 clique[6,11,14,15]
1 1 5
2026 clique[6,11,14,16]
3 1 5
2027 clique[6,11,14,17]
2 1 5
2028 clique[6,11,15,16]
4 1 5
2029 clique[6,11,15,17]
4 1 5
2030 clique[6,11,16,17]
4 1 5
2031 clique[6,12,13,14]
3 1 5
2032 clique[6,12,13,15]
1 1 5
2033 clique[6,12,13,16]
2 1 5
2034 clique[6,12,13,17]
3 1 5
2035 clique[6,12,14,15]
1 1 5
2036 clique[6,12,14,16]
3 1 5
2037 clique[6,12,14,17]
3 1 5
2038 clique[6,12,15,16]
2 1 5
2039 clique[6,12,15,17]
3 1 5
2040 clique[6,12,16,17]
3 1 5
2041 clique[6,13,14,15]
1 1 5
2042 clique[6,13,14,16]
3 1 5
2043 clique[6,13,14,17]
2 1 5
2044 clique[6,13,15,16]
2 1 5
2045 clique[6,13,15,17]
2 1 5
2046 clique[6,13,16,17]
2 1 5
2047 clique[6,14,15,16]
3 1 5
2048 clique[6,14,15,17]
2 1 5
2049 clique[6,14,16,17]
3 1 5
2050 clique[6,15,16,17]
4 1 5
2051 clique[7,8,9,10]
2 1 5
2052 clique[7,8,9,11]
1 1 5
2053 clique[7,8,9,12]
1 1 5
2054 clique[7,8,9,13]
3 1 5
2055 clique[7,8,9,14]
3 1 5
2056 clique[7,8,9,15]
3 1 5
2057 clique[7,8,9,16]
2 1 5
2058 clique[7,8,9,17]
2 1 5
2059 clique[7,8,10,11]
1 1 5
2060 clique[7,8,10,12]
1 1 5
2061 clique[7,8,10,13]
1 1 5
2062 clique[7,8,10,14]
2 1 5
2063 clique[7,8,10,15]
2 1 5
2064 clique[7,8,10,16]
2 1 5
2065 clique[7,8,10,17]
1 1 5
2066 clique[7,8,11,12]
1 1 5
2067 clique[7,8,11,13]
2 1 5
2068 clique[7,8,11,14]
2 1 5
2069 clique[7,8,11,15]
3 1 5
2070 clique[7,8,11,16]
2 1 5
2071 clique[7,8,11,17]
2 1 5
2072 clique[7,8,12,13]
2 1 5
2073 clique[7,8,12,14]
3 1 5
2074 clique[7,8,12,15]
2 1 5
2075 clique[7,8,12,16]
1 1 5
2076 clique[7,8,12,17]
2 1 5
2077 clique[7,8,13,14]
4 1 5
2078 clique[7,8,13,15]
3 1 5
2079 clique[7,8,13,16]
2 1 5
2080 clique[7,8,13,17]
2 1 5
2081 clique[7,8,14,15]
4 1 5
2082 clique[7,8,14,16]
4 1 5
2083 clique[7,8,14,17]
3 1 5
2084 clique[7,8,15,16]
4 1 5
2085 clique[7,8,15,17]
4 1 5
2086 clique[7,8,16,17]
2 1 5
2087 clique[7,9,10,11]
2 1 5
2088 clique[7,9,10,12]
2 1 5
2089 clique[7,9,10,13]
3 1 5
2090 clique[7,9,10,14]
2 1 5
2091 clique[7,9,10,15]
2 1 5
2092 clique[7,9,10,16]
3 1 5
2093 clique[7,9,10,17]
1 1 5
2094 clique[7,9,11,12]
1 1 5
2095 clique[7,9,11,13]
3 1 5
2096 clique[7,9,11,14]
1 1 5
2097 clique[7,9,11,15]
2 1 5
2098 clique[7,9,11,16]
2 1 5
2099 clique[7,9,11,17]
1 1 5
2100 clique[7,9,12,13]
3 1 5
2101 clique[7,9,12,14]
2 1 5
2102 clique[7,9,12,15]
1 1 5
2103 clique[7,9,12,16]
1 1 5
2104 clique[7,9,12,17]
1 1 5
2105 clique[7,9,13,14]
4 1 5
2106 clique[7,9,13,15]
3 1 5
2107 clique[7,9,13,16]
3 1 5
2108 clique[7,9,13,17]
2 1 5
2109 clique[7,9,14,15]
2 1 5
2110 clique[7,9,14,16]
3 1 5
2111 clique[7,9,14,17]
1 1 5
2112 clique[7,9,15,16]
3 1 5
2113 clique[7,9,15,17]
2 1 5
2114 clique[7,9,16,17]
1 1 5
2115 clique[7,10,11,12]
3 1 5
2116 clique[7,10,11,13]
3 1 5
2117 clique[7,10,11,14]
2 1 5
2118 clique[7,10,11,15]
3 1 5
2119 clique[7,10,11,16]
4 1 5
2120 clique[7,10,11,17]
2 1 5
2121 clique[7,10,12,13]
3 1 5
2122 clique[7,10,12,14]
3 1 5
2123 clique[7,10,12,15]
2 1 5
2124 clique[7,10,12,16]
3 1 5
2125 clique[7,10,12,17]
2 1 5
2126 clique[7,10,13,14]
3 1 5
2127 clique[7,10,13,15]
2 1 5
2128 clique[7,10,13,16]
3 1 5
2129 clique[7,10,13,17]
1 1 5
2130 clique[7,10,14,15]
2 1 5
2131 clique[7,10,14,16]
4 1 5
2132 clique[7,10,14,17]
1 1 5
2133 clique[7,10,15,16]
4 1 5
2134 clique[7,10,15,17]
2 1 5
2135 clique[7,10,16,17]
2 1 5
2136 clique[7,11,12,13]
4 1 5
2137 clique[7,11,12,14]
3 1 5
2138 clique[7,11,12,15]
3 1 5
2139 clique[7,11,12,16]
3 1 5
2140 clique[7,11,12,17]
3 1 5
2141 clique[7,11,13,14]
4 1 5
2142 clique[7,11,13,15]
4 1 5
2143 clique[7,11,13,16]
4 1 5
2144 clique[7,11,13,17]
3 1 5
2145 clique[7,11,14,15]
3 1 5
2146 clique[7,11,14,16]
4 1 5
2147 clique[7,11,14,17]
2 1 5
2148 clique[7,11,15,16]
5 1 5
2149 clique[7,11,15,17]
4 1 5
2150 clique[7,11,16,17]
3 1 5
2151 clique[7,12,13,14]
5 1 5
2152 clique[7,12,13,15]
3 1 5
2153 clique[7,12,13,16]
3 1 5
2154 clique[7,12,13,17]
3 1 5
2155 clique[7,12,14,15]
3 1 5
2156 clique[7,12,14,16]
4 1 5
2157 clique[7,12,14,17]
3 1 5
2158 clique[7,12,15,16]
3 1 5
2159 clique[7,12,15,17]
3 1 5
2160 clique[7,12,16,17]
2 1 5
2161 clique[7,13,14,15]
4 1 5
2162 clique[7,13,14,16]
5 1 5
2163 clique[7,13,14,17]
3 1 5
2164 clique[7,13,15,16]
4 1 5
2165 clique[7,13,15,17]
3 1 5
2166 clique[7,13,16,17]
2 1 5
2167 clique[7,14,15,16]
5 1 5
2168 clique[7,14,15,17]
3 1 5
2169 clique[7,14,16,17]
3 1 5
2170 clique[7,15,16,17]
4 1 5
2171 clique[8,9,10,11]
3 1 5
2172 clique[8,9,10,12]
3 1 5
2173 clique[8,9,10,13]
3 1 5
2174 clique[8,9,10,14]
3 1 5
2175 clique[8,9,10,15]
3 1 5
2176 clique[8,9,10,16]
3 1 5
2177 clique[8,9,10,17]
3 1 5
2178 clique[8,9,11,12]
2 1 5
2179 clique[8,9,11,13]
3 1 5
2180 clique[8,9,11,14]
2 1 5
2181 clique[8,9,11,15]
3 1 5
2182 clique[8,9,11,16]
2 1 5
2183 clique[8,9,11,17]
3 1 5
2184 clique[8,9,12,13]
3 1 5
2185 clique[8,9,12,14]
3 1 5
2186 clique[8,9,12,15]
2 1 5
2187 clique[8,9,12,16]
1 1 5
2188 clique[8,9,12,17]
3 1 5
2189 clique[8,9,13,14]
4 1 5
2190 clique[8,9,13,15]
3 1 5
2191 clique[8,9,13,16]
2 1 5
2192 clique[8,9,13,17]
3 1 5
2193 clique[8,9,14,15]
3 1 5
2194 clique[8,9,14,16]
3 1 5
2195 clique[8,9,14,17]
3 1 5
2196 clique[8,9,15,16]
3 1 5
2197 clique[8,9,15,17]
4 1 5
2198 clique[8,9,16,17]
2 1 5
2199 clique[8,10,11,12]
3 1 5
2200 clique[8,10,11,13]
2 1 5
2201 clique[8,10,11,14]
2 1 5
2202 clique[8,10,11,15]
3 1 5
2203 clique[8,10,11,16]
3 1 5
2204 clique[8,10,11,17]
3 1 5
2205 clique[8,10,12,13]
2 1 5
2206 clique[8,10,12,14]
3 1 5
2207 clique[8,10,12,15]
2 1 5
2208 clique[8,10,12,16]
2 1 5
2209 clique[8,10,12,17]
3 1 5
2210 clique[8,10,13,14]
2 1 5
2211 clique[8,10,13,15]
1 1 5
2212 clique[8,10,13,16]
1 1 5
2213 clique[8,10,13,17]
1 1 5
2214 clique[8,10,14,15]
2 1 5
2215 clique[8,10,14,16]
3 1 5
2216 clique[8,10,14,17]
2 1 5
2217 clique[8,10,15,16]
3 1 5
2218 clique[8,10,15,17]
3 1 5
2219 clique[8,10,16,17]
2 1 5
2220 clique[8,11,12,13]
3 1 5
2221 clique[8,11,12,14]
3 1 5
2222 clique[8,11,12,15]
3 1 5
2223 clique[8,11,12,16]
2 1 5
2224 clique[8,11,12,17]
4 1 5
2225 clique[8,11,13,14]
3 1 5
2226 clique[8,11,13,15]
3 1 5
2227 clique[8,11,13,16]
2 1 5
2228 clique[8,11,13,17]
3 1 5
2229 clique[8,11,14,15]
3 1 5
2230 clique[8,11,14,16]
3 1 5
2231 clique[8,11,14,17]
3 1 5
2232 clique[8,11,15,16]
4 1 5
2233 clique[8,11,15,17]
5 1 5
2234 clique[8,11,16,17]
3 1 5
2235 clique[8,12,13,14]
4 1 5
2236 clique[8,12,13,15]
2 1 5
2237 clique[8,12,13,16]
1 1 5
2238 clique[8,12,13,17]
3 1 5
2239 clique[8,12,14,15]
3 1 5
2240 clique[8,12,14,16]
3 1 5
2241 clique[8,12,14,17]
4 1 5
2242 clique[8,12,15,16]
2 1 5
2243 clique[8,12,15,17]
4 1 5
2244 clique[8,12,16,17]
2 1 5
2245 clique[8,13,14,15]
3 1 5
2246 clique[8,13,14,16]
3 1 5
2247 clique[8,13,14,17]
3 1 5
2248 clique[8,13,15,16]
2 1 5
2249 clique[8,13,15,17]
3 1 5
2250 clique[8,13,16,17]
1 1 5
2251 clique[8,14,15,16]
4 1 5
2252 clique[8,14,15,17]
4 1 5
2253 clique[8,14,16,17]
3 1 5
2254 clique[8,15,16,17]
4 1 5
2255 clique[9,10,11,12]
4 1 5
2256 clique[9,10,11,13]
4 1 5
2257 clique[9,10,11,14]
2 1 5
2258 clique[9,10,11,15]
3 1 5
2259 clique[9,10,11,16]
4 1 5
2260 clique[9,10,11,17]
3 1 5
2261 clique[9,10,12,13]
4 1 5
2262 clique[9,10,12,14]
3 1 5
2263 clique[9,10,12,15]
2 1 5
2264 clique[9,10,12,16]
3 1 5
2265 clique[9,10,12,17]
3 1 5
2266 clique[9,10,13,14]
3 1 5
2267 clique[9,10,13,15]
2 1 5
2268 clique[9,10,13,16]
3 1 5
2269 clique[9,10,13,17]
2 1 5
2270 clique[9,10,14,15]
1 1 5
2271 clique[9,10,14,16]
3 1 5
2272 clique[9,10,14,17]
1 1 5
2273 clique[9,10,15,16]
3 1 5
2274 clique[9,10,15,17]
2 1 5
2275 clique[9,10,16,17]
2 1 5
2276 clique[9,11,12,13]
4 1 5
2277 clique[9,11,12,14]
2 1 5
2278 clique[9,11,12,15]
2 1 5
2279 clique[9,11,12,16]
2 1 5
2280 clique[9,11,12,17]
3 1 5
2281 clique[9,11,13,14]
3 1 5
2282 clique[9,11,13,15]
3 1 5
2283 clique[9,11,13,16]
3 1 5
2284 clique[9,11,13,17]
3 1 5
2285 clique[9,11,14,15]
1 1 5
2286 clique[9,11,14,16]
2 1 5
2287 clique[9,11,14,17]
1 1 5
2288 clique[9,11,15,16]
3 1 5
2289 clique[9,11,15,17]
3 1 5
2290 clique[9,11,16,17]
2 1 5
2291 clique[9,12,13,14]
4 1 5
2292 clique[9,12,13,15]
2 1 5
2293 clique[9,12,13,16]
2 1 5
2294 clique[9,12,13,17]
3 1 5
2295 clique[9,12,14,15]
1 1 5
2296 clique[9,12,14,16]
2 1 5
2297 clique[9,12,14,17]
2 1 5
2298 clique[9,12,15,16]
1 1 5
2299 clique[9,12,15,17]
2 1 5
2300 clique[9,12,16,17]
1 1 5
2301 clique[9,13,14,15]
2 1 5
2302 clique[9,13,14,16]
3 1 5
2303 clique[9,13,14,17]
2 1 5
2304 clique[9,13,15,16]
2 1 5
2305 clique[9,13,15,17]
2 1 5
2306 clique[9,13,16,17]
1 1 5
2307 clique[9,14,15,16]
2 1 5
2308 clique[9,14,15,17]
1 1 5
2309 clique[9,14,16,17]
1 1 5
2310 clique[9,15,16,17]
2 1 5
2311 clique[10,11,12,13]
5 1 5
2312 clique[10,11,12,14]
4 1 5
2313 clique[10,11,12,15]
4 1 5
2314 clique[10,11,12,16]
5 1 5
2315 clique[10,11,12,17]
5 1 5
2316 clique[10,11,13,14]
3 1 5
2317 clique[10,11,13,15]
3 1 5
2318 clique[10,11,13,16]
4 1 5
2319 clique[10,11,13,17]
3 1 5
2320 clique[10,11,14,15]
2 1 5
2321 clique[10,11,14,16]
4 1 5
2322 clique[10,11,14,17]
2 1 5
2323 clique[10,11,15,16]
5 1 5
2324 clique[10,11,15,17]
4 1 5
2325 clique[10,11,16,17]
4 1 5
2326 clique[10,12,13,14]
4 1 5
2327 clique[10,12,13,15]
2 1 5
2328 clique[10,12,13,16]
3 1 5
2329 clique[10,12,13,17]
3 1 5
2330 clique[10,12,14,15]
2 1 5
2331 clique[10,12,14,16]
4 1 5
2332 clique[10,12,14,17]
3 1 5
2333 clique[10,12,15,16]
3 1 5
2334 clique[10,12,15,17]
3 1 5
2335 clique[10,12,16,17]
3 1 5
2336 clique[10,13,14,15]
1 1 5
2337 clique[10,13,14,16]
3 1 5
2338 clique[10,13,14,17]
1 1 5
2339 clique[10,13,15,16]
2 1 5
2340 clique[10,13,15,17]
1 1 5
2341 clique[10,13,16,17]
1 1 5
2342 clique[10,14,15,16]
3 1 5
2343 clique[10,14,15,17]
1 1 5
2344 clique[10,14,16,17]
2 1 5
2345 clique[10,15,16,17]
3 1 5
2346 clique[11,12,13,14]
5 1 5
2347 clique[11,12,13,15]
4 1 5
2348 clique[11,12,13,16]
4 1 5
2349 clique[11,12,13,17]
5 1 5
2350 clique[11,12,14,15]
3 1 5
2351 clique[11,12,14,16]
4 1 5
2352 clique[11,12,14,17]
4 1 5
2353 clique[11,12,15,16]
4 1 5
2354 clique[11,12,15,17]
5 1 5
2355 clique[11,12,16,17]
4 1 5
2356 clique[11,13,14,15]
3 1 5
2357 clique[11,13,14,16]
4 1 5
2358 clique[11,13,14,17]
3 1 5
2359 clique[11,13,15,16]
4 1 5
2360 clique[11,13,15,17]
4 1 5
2361 clique[11,13,16,17]
3 1 5
2362 clique[11,14,15,16]
4 1 5
2363 clique[11,14,15,17]
3 1 5
2364 clique[11,14,16,17]
3 1 5
2365 clique[11,15,16,17]
5 1 5
2366 clique[12,13,14,15]
3 1 5
2367 clique[12,13,14,16]
4 1 5
2368 clique[12,13,14,17]
4 1 5
2369 clique[12,13,15,16]
2 1 5
2370 clique[12,13,15,17]
3 1 5
2371 clique[12,13,16,17]
2 1 5
2372 clique[12,14,15,16]
3 1 5
2373 clique[12,14,15,17]
3 1 5
2374 clique[12,14,16,17]
3 1 5
2375 clique[12,15,16,17]
3 1 5
2376 clique[13,14,15,16]
3 1 5
2377 clique[13,14,15,17]
2 1 5
2378 clique[13,14,16,17]
2 1 5
2379 clique[13,15,16,17]
2 1 5
2380 clique[14,15,16,17]
3 1 5
No. Column name Activity Lower bound Upper bound
------ ------------ ------------- ------------- -------------
1 Arc[3,4] * 0 0 1
2 Arc[2,4] * 0 0 1
3 Arc[2,3] * 0 0 1
4 Arc[1,4] * 0 0 1
5 Arc[1,3] * 1 0 1
6 Arc[1,2] * 0 0 1
7 Arc[3,5] * 0 0 1
8 Arc[2,5] * 0 0 1
9 Arc[1,5] * 0 0 1
10 Arc[3,6] * 1 0 1
11 Arc[2,6] * 1 0 1
12 Arc[1,6] * 0 0 1
13 Arc[3,7] * 1 0 1
14 Arc[2,7] * 0 0 1
15 Arc[1,7] * 1 0 1
16 Arc[3,8] * 1 0 1
17 Arc[2,8] * 1 0 1
18 Arc[1,8] * 1 0 1
19 Arc[3,9] * 0 0 1
20 Arc[2,9] * 1 0 1
21 Arc[1,9] * 1 0 1
22 Arc[3,10] * 1 0 1
23 Arc[2,10] * 0 0 1
24 Arc[1,10] * 1 0 1
25 Arc[3,11] * 0 0 1
26 Arc[2,11] * 1 0 1
27 Arc[1,11] * 1 0 1
28 Arc[3,12] * 1 0 1
29 Arc[2,12] * 0 0 1
30 Arc[1,12] * 0 0 1
31 Arc[3,13] * 0 0 1
32 Arc[2,13] * 1 0 1
33 Arc[1,13] * 1 0 1
34 Arc[3,14] * 1 0 1
35 Arc[2,14] * 1 0 1
36 Arc[1,14] * 0 0 1
37 Arc[3,15] * 0 0 1
38 Arc[2,15] * 0 0 1
39 Arc[1,15] * 1 0 1
40 Arc[3,16] * 0 0 1
41 Arc[2,16] * 1 0 1
42 Arc[1,16] * 0 0 1
43 Arc[3,17] * 1 0 1
44 Arc[2,17] * 1 0 1
45 Arc[1,17] * 0 0 1
46 Arc[4,5] * 1 0 1
47 Arc[4,6] * 1 0 1
48 Arc[4,7] * 1 0 1
49 Arc[4,8] * 0 0 1
50 Arc[4,9] * 1 0 1
51 Arc[4,10] * 0 0 1
52 Arc[4,11] * 0 0 1
53 Arc[4,12] * 1 0 1
54 Arc[4,13] * 1 0 1
55 Arc[4,14] * 0 0 1
56 Arc[4,15] * 1 0 1
57 Arc[4,16] * 0 0 1
58 Arc[4,17] * 1 0 1
59 Arc[5,6] * 0 0 1
60 Arc[5,7] * 0 0 1
61 Arc[5,8] * 1 0 1
62 Arc[5,9] * 1 0 1
63 Arc[5,10] * 1 0 1
64 Arc[5,11] * 0 0 1
65 Arc[5,12] * 1 0 1
66 Arc[5,13] * 0 0 1
67 Arc[5,14] * 1 0 1
68 Arc[5,15] * 1 0 1
69 Arc[5,16] * 1 0 1
70 Arc[5,17] * 0 0 1
71 Arc[6,7] * 1 0 1
72 Arc[6,8] * 0 0 1
73 Arc[6,9] * 1 0 1
74 Arc[6,10] * 1 0 1
75 Arc[6,11] * 0 0 1
76 Arc[6,12] * 0 0 1
77 Arc[6,13] * 0 0 1
78 Arc[6,14] * 0 0 1
79 Arc[6,15] * 0 0 1
80 Arc[6,16] * 1 0 1
81 Arc[6,17] * 1 0 1
82 Arc[7,8] * 0 0 1
83 Arc[7,9] * 0 0 1
84 Arc[7,10] * 0 0 1
85 Arc[7,11] * 0 0 1
86 Arc[7,12] * 0 0 1
87 Arc[7,13] * 1 0 1
88 Arc[7,14] * 1 0 1
89 Arc[7,15] * 1 0 1
90 Arc[7,16] * 1 0 1
91 Arc[7,17] * 0 0 1
92 Arc[8,9] * 1 0 1
93 Arc[8,10] * 0 0 1
94 Arc[8,11] * 0 0 1
95 Arc[8,12] * 0 0 1
96 Arc[8,13] * 0 0 1
97 Arc[8,14] * 1 0 1
98 Arc[8,15] * 1 0 1
99 Arc[8,16] * 0 0 1
100 Arc[8,17] * 1 0 1
101 Arc[9,10] * 1 0 1
102 Arc[9,11] * 0 0 1
103 Arc[9,12] * 0 0 1
104 Arc[9,13] * 1 0 1
105 Arc[9,14] * 0 0 1
106 Arc[9,15] * 0 0 1
107 Arc[9,16] * 0 0 1
108 Arc[9,17] * 0 0 1
109 Arc[10,11] * 1 0 1
110 Arc[10,12] * 1 0 1
111 Arc[10,13] * 0 0 1
112 Arc[10,14] * 0 0 1
113 Arc[10,15] * 0 0 1
114 Arc[10,16] * 1 0 1
115 Arc[10,17] * 0 0 1
116 Arc[11,12] * 1 0 1
117 Arc[11,13] * 1 0 1
118 Arc[11,14] * 0 0 1
119 Arc[11,15] * 1 0 1
120 Arc[11,16] * 1 0 1
121 Arc[11,17] * 1 0 1
122 Arc[12,13] * 1 0 1
123 Arc[12,14] * 1 0 1
124 Arc[12,15] * 0 0 1
125 Arc[12,16] * 0 0 1
126 Arc[12,17] * 1 0 1
127 Arc[13,14] * 1 0 1
128 Arc[13,15] * 0 0 1
129 Arc[13,16] * 0 0 1
130 Arc[13,17] * 0 0 1
131 Arc[14,15] * 0 0 1
132 Arc[14,16] * 1 0 1
133 Arc[14,17] * 0 0 1
134 Arc[15,16] * 1 0 1
135 Arc[15,17] * 1 0 1
136 Arc[16,17] * 0 0 1
Integer feasibility conditions:
KKT.PE: max.abs.err = 0.00e+000 on row 0
max.rel.err = 0.00e+000 on row 0
High quality
KKT.PB: max.abs.err = 0.00e+000 on row 0
max.rel.err = 0.00e+000 on row 0
High quality
End of output