⚠️ Warning: This is a draft ⚠️

This means it might contain formatting issues, incorrect code, conceptual problems, or other severe issues.

If you want to help to improve and eventually enable this page, please fork RosettaGit's repository and open a merge request on GitHub.


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