Solution Ramsey Mathprog

From Rosetta Code
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