# 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
```