multiset partitions (8,1)

elements in multiset: 8         integer partition: 1 (2+1+1+1+1+1+1)

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