multiset partitions (8,7)

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

   1:    { 1 1 2 2 3 3 4 5 }
   2:    { 1 }{ 1 2 2 3 3 4 5 }
   3:    { 2 }{ 1 1 2 3 3 4 5 }
   4:    { 3 }{ 1 1 2 2 3 4 5 }
   5:    { 4 }{ 1 1 2 2 3 3 5 }
   6:    { 5 }{ 1 1 2 2 3 3 4 }
   7:    { 1 1 }{ 2 2 3 3 4 5 }
   8:    { 1 2 }{ 1 2 3 3 4 5 }
   9:    { 1 3 }{ 1 2 2 3 4 5 }
  10:    { 1 4 }{ 1 2 2 3 3 5 }
  11:    { 1 5 }{ 1 2 2 3 3 4 }
  12:    { 2 2 }{ 1 1 3 3 4 5 }
  13:    { 2 3 }{ 1 1 2 3 4 5 }
  14:    { 2 4 }{ 1 1 2 3 3 5 }
  15:    { 2 5 }{ 1 1 2 3 3 4 }
  16:    { 3 3 }{ 1 1 2 2 4 5 }
  17:    { 3 4 }{ 1 1 2 2 3 5 }
  18:    { 3 5 }{ 1 1 2 2 3 4 }
  19:    { 4 5 }{ 1 1 2 2 3 3 }
  20:    { 1 1 2 }{ 2 3 3 4 5 }
  21:    { 1 1 3 }{ 2 2 3 4 5 }
  22:    { 1 1 4 }{ 2 2 3 3 5 }
  23:    { 1 1 5 }{ 2 2 3 3 4 }
  24:    { 1 2 2 }{ 1 3 3 4 5 }
  25:    { 1 2 3 }{ 1 2 3 4 5 }
  26:    { 1 2 4 }{ 1 2 3 3 5 }
  27:    { 1 2 5 }{ 1 2 3 3 4 }
  28:    { 1 3 3 }{ 1 2 2 4 5 }
  29:    { 1 3 4 }{ 1 2 2 3 5 }
  30:    { 1 3 5 }{ 1 2 2 3 4 }
  31:    { 1 4 5 }{ 1 2 2 3 3 }
  32:    { 2 2 3 }{ 1 1 3 4 5 }
  33:    { 2 2 4 }{ 1 1 3 3 5 }
  34:    { 2 2 5 }{ 1 1 3 3 4 }
  35:    { 2 3 3 }{ 1 1 2 4 5 }
  36:    { 2 3 4 }{ 1 1 2 3 5 }
  37:    { 2 3 5 }{ 1 1 2 3 4 }
  38:    { 2 4 5 }{ 1 1 2 3 3 }
  39:    { 3 3 4 }{ 1 1 2 2 5 }
  40:    { 3 3 5 }{ 1 1 2 2 4 }
  41:    { 3 4 5 }{ 1 1 2 2 3 }
  42:    { 1 1 2 2 }{ 3 3 4 5 }
  43:    { 1 1 2 3 }{ 2 3 4 5 }
  44:    { 1 1 2 4 }{ 2 3 3 5 }
  45:    { 1 1 2 5 }{ 2 3 3 4 }
  46:    { 1 1 3 3 }{ 2 2 4 5 }
  47:    { 1 1 3 4 }{ 2 2 3 5 }
  48:    { 1 1 3 5 }{ 2 2 3 4 }
  49:    { 1 1 4 5 }{ 2 2 3 3 }
  50:    { 1 2 2 3 }{ 1 3 4 5 }
  51:    { 1 2 2 4 }{ 1 3 3 5 }
  52:    { 1 2 2 5 }{ 1 3 3 4 }
  53:    { 1 2 3 3 }{ 1 2 4 5 }
  54:    { 1 2 3 4 }{ 1 2 3 5 }
  55:    { 1 }{ 1 }{ 2 2 3 3 4 5 }
  56:    { 1 }{ 2 }{ 1 2 3 3 4 5 }
  57:    { 1 }{ 3 }{ 1 2 2 3 4 5 }
  58:    { 1 }{ 4 }{ 1 2 2 3 3 5 }
  59:    { 1 }{ 5 }{ 1 2 2 3 3 4 }
  60:    { 1 }{ 1 2 }{ 2 3 3 4 5 }
  61:    { 1 }{ 1 3 }{ 2 2 3 4 5 }
  62:    { 1 }{ 1 4 }{ 2 2 3 3 5 }
  63:    { 1 }{ 1 5 }{ 2 2 3 3 4 }
  64:    { 1 }{ 2 2 }{ 1 3 3 4 5 }
  65:    { 1 }{ 2 3 }{ 1 2 3 4 5 }
  66:    { 1 }{ 2 4 }{ 1 2 3 3 5 }
  67:    { 1 }{ 2 5 }{ 1 2 3 3 4 }
  68:    { 1 }{ 3 3 }{ 1 2 2 4 5 }
  69:    { 1 }{ 3 4 }{ 1 2 2 3 5 }
  70:    { 1 }{ 3 5 }{ 1 2 2 3 4 }
  71:    { 1 }{ 4 5 }{ 1 2 2 3 3 }
  72:    { 1 }{ 1 2 2 }{ 3 3 4 5 }
  73:    { 1 }{ 1 2 3 }{ 2 3 4 5 }
  74:    { 1 }{ 1 2 4 }{ 2 3 3 5 }
  75:    { 1 }{ 1 2 5 }{ 2 3 3 4 }
  76:    { 1 }{ 1 3 3 }{ 2 2 4 5 }
  77:    { 1 }{ 1 3 4 }{ 2 2 3 5 }
  78:    { 1 }{ 1 3 5 }{ 2 2 3 4 }
  79:    { 1 }{ 1 4 5 }{ 2 2 3 3 }
  80:    { 1 }{ 2 2 3 }{ 1 3 4 5 }
  81:    { 1 }{ 2 2 4 }{ 1 3 3 5 }
  82:    { 1 }{ 2 2 5 }{ 1 3 3 4 }
  83:    { 1 }{ 2 3 3 }{ 1 2 4 5 }
  84:    { 1 }{ 2 3 4 }{ 1 2 3 5 }
  85:    { 1 }{ 2 3 5 }{ 1 2 3 4 }
  86:    { 1 }{ 2 4 5 }{ 1 2 3 3 }
  87:    { 1 }{ 3 3 4 }{ 1 2 2 5 }
  88:    { 1 }{ 3 3 5 }{ 1 2 2 4 }
  89:    { 1 }{ 3 4 5 }{ 1 2 2 3 }
  90:    { 2 }{ 2 }{ 1 1 3 3 4 5 }
  91:    { 2 }{ 3 }{ 1 1 2 3 4 5 }
  92:    { 2 }{ 4 }{ 1 1 2 3 3 5 }
  93:    { 2 }{ 5 }{ 1 1 2 3 3 4 }
  94:    { 2 }{ 1 1 }{ 2 3 3 4 5 }
  95:    { 2 }{ 1 2 }{ 1 3 3 4 5 }
  96:    { 2 }{ 1 3 }{ 1 2 3 4 5 }
  97:    { 2 }{ 1 4 }{ 1 2 3 3 5 }
  98:    { 2 }{ 1 5 }{ 1 2 3 3 4 }
  99:    { 2 }{ 2 3 }{ 1 1 3 4 5 }
 100:    { 2 }{ 2 4 }{ 1 1 3 3 5 }
 101:    { 2 }{ 2 5 }{ 1 1 3 3 4 }
 102:    { 2 }{ 3 3 }{ 1 1 2 4 5 }
 103:    { 2 }{ 3 4 }{ 1 1 2 3 5 }
 104:    { 2 }{ 3 5 }{ 1 1 2 3 4 }
 105:    { 2 }{ 4 5 }{ 1 1 2 3 3 }
 106:    { 2 }{ 1 1 2 }{ 3 3 4 5 }
 107:    { 2 }{ 1 1 3 }{ 2 3 4 5 }
 108:    { 2 }{ 1 1 4 }{ 2 3 3 5 }
 109:    { 2 }{ 1 1 5 }{ 2 3 3 4 }
 110:    { 2 }{ 1 2 3 }{ 1 3 4 5 }
 111:    { 2 }{ 1 2 4 }{ 1 3 3 5 }
 112:    { 2 }{ 1 2 5 }{ 1 3 3 4 }
 113:    { 2 }{ 1 3 3 }{ 1 2 4 5 }
 114:    { 2 }{ 1 3 4 }{ 1 2 3 5 }
 115:    { 2 }{ 1 3 5 }{ 1 2 3 4 }
 116:    { 2 }{ 1 4 5 }{ 1 2 3 3 }
 117:    { 2 }{ 2 3 3 }{ 1 1 4 5 }
 118:    { 2 }{ 2 3 4 }{ 1 1 3 5 }
 119:    { 2 }{ 2 3 5 }{ 1 1 3 4 }
 120:    { 2 }{ 2 4 5 }{ 1 1 3 3 }
 121:    { 2 }{ 3 3 4 }{ 1 1 2 5 }
 122:    { 2 }{ 3 3 5 }{ 1 1 2 4 }
 123:    { 2 }{ 3 4 5 }{ 1 1 2 3 }
 124:    { 3 }{ 3 }{ 1 1 2 2 4 5 }
 125:    { 3 }{ 4 }{ 1 1 2 2 3 5 }
 126:    { 3 }{ 5 }{ 1 1 2 2 3 4 }
 127:    { 3 }{ 1 1 }{ 2 2 3 4 5 }
 128:    { 3 }{ 1 2 }{ 1 2 3 4 5 }
 129:    { 3 }{ 1 3 }{ 1 2 2 4 5 }
 130:    { 3 }{ 1 4 }{ 1 2 2 3 5 }
 131:    { 3 }{ 1 5 }{ 1 2 2 3 4 }
 132:    { 3 }{ 2 2 }{ 1 1 3 4 5 }
 133:    { 3 }{ 2 3 }{ 1 1 2 4 5 }
 134:    { 3 }{ 2 4 }{ 1 1 2 3 5 }
 135:    { 3 }{ 2 5 }{ 1 1 2 3 4 }
 136:    { 3 }{ 3 4 }{ 1 1 2 2 5 }
 137:    { 3 }{ 3 5 }{ 1 1 2 2 4 }
 138:    { 3 }{ 4 5 }{ 1 1 2 2 3 }
 139:    { 3 }{ 1 1 2 }{ 2 3 4 5 }
 140:    { 3 }{ 1 1 3 }{ 2 2 4 5 }
 141:    { 3 }{ 1 1 4 }{ 2 2 3 5 }
 142:    { 3 }{ 1 1 5 }{ 2 2 3 4 }
 143:    { 3 }{ 1 2 2 }{ 1 3 4 5 }
 144:    { 3 }{ 1 2 3 }{ 1 2 4 5 }
 145:    { 3 }{ 1 2 4 }{ 1 2 3 5 }
 146:    { 3 }{ 1 2 5 }{ 1 2 3 4 }
 147:    { 3 }{ 1 3 4 }{ 1 2 2 5 }
 148:    { 3 }{ 1 3 5 }{ 1 2 2 4 }
 149:    { 3 }{ 1 4 5 }{ 1 2 2 3 }
 150:    { 3 }{ 2 2 3 }{ 1 1 4 5 }
 151:    { 3 }{ 2 2 4 }{ 1 1 3 5 }
 152:    { 3 }{ 2 2 5 }{ 1 1 3 4 }
 153:    { 3 }{ 2 3 4 }{ 1 1 2 5 }
 154:    { 3 }{ 2 3 5 }{ 1 1 2 4 }
 155:    { 3 }{ 2 4 5 }{ 1 1 2 3 }
 156:    { 3 }{ 3 4 5 }{ 1 1 2 2 }
 157:    { 4 }{ 5 }{ 1 1 2 2 3 3 }
 158:    { 4 }{ 1 1 }{ 2 2 3 3 5 }
 159:    { 4 }{ 1 2 }{ 1 2 3 3 5 }
 160:    { 4 }{ 1 3 }{ 1 2 2 3 5 }
 161:    { 4 }{ 1 5 }{ 1 2 2 3 3 }
 162:    { 4 }{ 2 2 }{ 1 1 3 3 5 }
 163:    { 4 }{ 2 3 }{ 1 1 2 3 5 }
 164:    { 4 }{ 2 5 }{ 1 1 2 3 3 }
 165:    { 4 }{ 3 3 }{ 1 1 2 2 5 }
 166:    { 4 }{ 3 5 }{ 1 1 2 2 3 }
 167:    { 4 }{ 1 1 2 }{ 2 3 3 5 }
 168:    { 4 }{ 1 1 3 }{ 2 2 3 5 }
 169:    { 4 }{ 1 1 5 }{ 2 2 3 3 }
 170:    { 4 }{ 1 2 2 }{ 1 3 3 5 }
 171:    { 4 }{ 1 2 3 }{ 1 2 3 5 }
 172:    { 4 }{ 1 2 5 }{ 1 2 3 3 }
 173:    { 4 }{ 1 3 3 }{ 1 2 2 5 }
 174:    { 4 }{ 1 3 5 }{ 1 2 2 3 }
 175:    { 4 }{ 2 2 3 }{ 1 1 3 5 }
 176:    { 4 }{ 2 2 5 }{ 1 1 3 3 }
 177:    { 4 }{ 2 3 3 }{ 1 1 2 5 }
 178:    { 4 }{ 2 3 5 }{ 1 1 2 3 }
 179:    { 4 }{ 3 3 5 }{ 1 1 2 2 }
 180:    { 5 }{ 1 1 }{ 2 2 3 3 4 }
 181:    { 5 }{ 1 2 }{ 1 2 3 3 4 }
 182:    { 5 }{ 1 3 }{ 1 2 2 3 4 }
 183:    { 5 }{ 1 4 }{ 1 2 2 3 3 }
 184:    { 5 }{ 2 2 }{ 1 1 3 3 4 }
 185:    { 5 }{ 2 3 }{ 1 1 2 3 4 }
 186:    { 5 }{ 2 4 }{ 1 1 2 3 3 }
 187:    { 5 }{ 3 3 }{ 1 1 2 2 4 }
 188:    { 5 }{ 3 4 }{ 1 1 2 2 3 }
 189:    { 5 }{ 1 1 2 }{ 2 3 3 4 }
 190:    { 5 }{ 1 1 3 }{ 2 2 3 4 }
 191:    { 5 }{ 1 1 4 }{ 2 2 3 3 }
 192:    { 5 }{ 1 2 2 }{ 1 3 3 4 }
 193:    { 5 }{ 1 2 3 }{ 1 2 3 4 }
 194:    { 5 }{ 1 2 4 }{ 1 2 3 3 }
 195:    { 5 }{ 1 3 3 }{ 1 2 2 4 }
 196:    { 5 }{ 1 3 4 }{ 1 2 2 3 }
 197:    { 5 }{ 2 2 3 }{ 1 1 3 4 }
 198:    { 5 }{ 2 2 4 }{ 1 1 3 3 }
 199:    { 5 }{ 2 3 3 }{ 1 1 2 4 }
 200:    { 5 }{ 2 3 4 }{ 1 1 2 3 }
 201:    { 5 }{ 3 3 4 }{ 1 1 2 2 }
 202:    { 1 1 }{ 2 2 }{ 3 3 4 5 }
 203:    { 1 1 }{ 2 3 }{ 2 3 4 5 }
 204:    { 1 1 }{ 2 4 }{ 2 3 3 5 }
 205:    { 1 1 }{ 2 5 }{ 2 3 3 4 }
 206:    { 1 1 }{ 3 3 }{ 2 2 4 5 }
 207:    { 1 1 }{ 3 4 }{ 2 2 3 5 }
 208:    { 1 1 }{ 3 5 }{ 2 2 3 4 }
 209:    { 1 1 }{ 4 5 }{ 2 2 3 3 }
 210:    { 1 1 }{ 2 2 3 }{ 3 4 5 }
 211:    { 1 1 }{ 2 2 4 }{ 3 3 5 }
 212:    { 1 1 }{ 2 2 5 }{ 3 3 4 }
 213:    { 1 1 }{ 2 3 3 }{ 2 4 5 }
 214:    { 1 1 }{ 2 3 4 }{ 2 3 5 }
 215:    { 1 2 }{ 1 2 }{ 3 3 4 5 }
 216:    { 1 2 }{ 1 3 }{ 2 3 4 5 }
 217:    { 1 2 }{ 1 4 }{ 2 3 3 5 }
 218:    { 1 2 }{ 1 5 }{ 2 3 3 4 }
 219:    { 1 2 }{ 2 3 }{ 1 3 4 5 }
 220:    { 1 2 }{ 2 4 }{ 1 3 3 5 }
 221:    { 1 2 }{ 2 5 }{ 1 3 3 4 }
 222:    { 1 2 }{ 3 3 }{ 1 2 4 5 }
 223:    { 1 2 }{ 3 4 }{ 1 2 3 5 }
 224:    { 1 2 }{ 3 5 }{ 1 2 3 4 }
 225:    { 1 2 }{ 4 5 }{ 1 2 3 3 }
 226:    { 1 2 }{ 1 2 3 }{ 3 4 5 }
 227:    { 1 2 }{ 1 2 4 }{ 3 3 5 }
 228:    { 1 2 }{ 1 2 5 }{ 3 3 4 }
 229:    { 1 2 }{ 1 3 3 }{ 2 4 5 }
 230:    { 1 2 }{ 1 3 4 }{ 2 3 5 }
 231:    { 1 2 }{ 1 3 5 }{ 2 3 4 }
 232:    { 1 2 }{ 1 4 5 }{ 2 3 3 }
 233:    { 1 3 }{ 1 3 }{ 2 2 4 5 }
 234:    { 1 3 }{ 1 4 }{ 2 2 3 5 }
 235:    { 1 3 }{ 1 5 }{ 2 2 3 4 }
 236:    { 1 3 }{ 2 2 }{ 1 3 4 5 }
 237:    { 1 3 }{ 2 3 }{ 1 2 4 5 }
 238:    { 1 3 }{ 2 4 }{ 1 2 3 5 }
 239:    { 1 3 }{ 2 5 }{ 1 2 3 4 }
 240:    { 1 3 }{ 3 4 }{ 1 2 2 5 }
 241:    { 1 3 }{ 3 5 }{ 1 2 2 4 }
 242:    { 1 3 }{ 4 5 }{ 1 2 2 3 }
 243:    { 1 3 }{ 1 2 2 }{ 3 4 5 }
 244:    { 1 3 }{ 1 2 3 }{ 2 4 5 }
 245:    { 1 3 }{ 1 2 4 }{ 2 3 5 }
 246:    { 1 3 }{ 1 2 5 }{ 2 3 4 }
 247:    { 1 3 }{ 1 3 4 }{ 2 2 5 }
 248:    { 1 3 }{ 1 3 5 }{ 2 2 4 }
 249:    { 1 3 }{ 1 4 5 }{ 2 2 3 }
 250:    { 1 4 }{ 1 5 }{ 2 2 3 3 }
 251:    { 1 4 }{ 2 2 }{ 1 3 3 5 }
 252:    { 1 4 }{ 2 3 }{ 1 2 3 5 }
 253:    { 1 4 }{ 2 5 }{ 1 2 3 3 }
 254:    { 1 4 }{ 3 3 }{ 1 2 2 5 }
 255:    { 1 4 }{ 3 5 }{ 1 2 2 3 }
 256:    { 1 4 }{ 1 2 2 }{ 3 3 5 }
 257:    { 1 4 }{ 1 2 3 }{ 2 3 5 }
 258:    { 1 4 }{ 1 2 5 }{ 2 3 3 }
 259:    { 1 4 }{ 1 3 3 }{ 2 2 5 }
 260:    { 1 4 }{ 1 3 5 }{ 2 2 3 }
 261:    { 1 5 }{ 2 2 }{ 1 3 3 4 }
 262:    { 1 5 }{ 2 3 }{ 1 2 3 4 }
 263:    { 1 5 }{ 2 4 }{ 1 2 3 3 }
 264:    { 1 5 }{ 3 3 }{ 1 2 2 4 }
 265:    { 1 5 }{ 3 4 }{ 1 2 2 3 }
 266:    { 1 5 }{ 1 2 2 }{ 3 3 4 }
 267:    { 1 5 }{ 1 2 3 }{ 2 3 4 }
 268:    { 1 5 }{ 1 2 4 }{ 2 3 3 }
 269:    { 1 5 }{ 1 3 3 }{ 2 2 4 }
 270:    { 1 5 }{ 1 3 4 }{ 2 2 3 }
 271:    { 2 2 }{ 3 3 }{ 1 1 4 5 }
 272:    { 2 2 }{ 3 4 }{ 1 1 3 5 }
 273:    { 2 2 }{ 3 5 }{ 1 1 3 4 }
 274:    { 2 2 }{ 4 5 }{ 1 1 3 3 }
 275:    { 2 2 }{ 1 1 3 }{ 3 4 5 }
 276:    { 2 2 }{ 1 1 4 }{ 3 3 5 }
 277:    { 2 2 }{ 1 1 5 }{ 3 3 4 }
 278:    { 2 2 }{ 1 3 3 }{ 1 4 5 }
 279:    { 2 2 }{ 1 3 4 }{ 1 3 5 }
 280:    { 2 3 }{ 2 3 }{ 1 1 4 5 }
 281:    { 2 3 }{ 2 4 }{ 1 1 3 5 }
 282:    { 2 3 }{ 2 5 }{ 1 1 3 4 }
 283:    { 2 3 }{ 3 4 }{ 1 1 2 5 }
 284:    { 2 3 }{ 3 5 }{ 1 1 2 4 }
 285:    { 2 3 }{ 4 5 }{ 1 1 2 3 }
 286:    { 2 3 }{ 1 1 2 }{ 3 4 5 }
 287:    { 2 3 }{ 1 1 3 }{ 2 4 5 }
 288:    { 2 3 }{ 1 1 4 }{ 2 3 5 }
 289:    { 2 3 }{ 1 1 5 }{ 2 3 4 }
 290:    { 2 3 }{ 1 2 3 }{ 1 4 5 }
 291:    { 2 3 }{ 1 2 4 }{ 1 3 5 }
 292:    { 2 3 }{ 1 2 5 }{ 1 3 4 }
 293:    { 2 4 }{ 2 5 }{ 1 1 3 3 }
 294:    { 2 4 }{ 3 3 }{ 1 1 2 5 }
 295:    { 2 4 }{ 3 5 }{ 1 1 2 3 }
 296:    { 2 4 }{ 1 1 2 }{ 3 3 5 }
 297:    { 2 4 }{ 1 1 3 }{ 2 3 5 }
 298:    { 2 4 }{ 1 1 5 }{ 2 3 3 }
 299:    { 2 4 }{ 1 2 3 }{ 1 3 5 }
 300:    { 2 4 }{ 1 2 5 }{ 1 3 3 }
 301:    { 2 5 }{ 3 3 }{ 1 1 2 4 }
 302:    { 2 5 }{ 3 4 }{ 1 1 2 3 }
 303:    { 2 5 }{ 1 1 2 }{ 3 3 4 }
 304:    { 2 5 }{ 1 1 3 }{ 2 3 4 }
 305:    { 2 5 }{ 1 1 4 }{ 2 3 3 }
 306:    { 2 5 }{ 1 2 3 }{ 1 3 4 }
 307:    { 2 5 }{ 1 2 4 }{ 1 3 3 }
 308:    { 3 3 }{ 4 5 }{ 1 1 2 2 }
 309:    { 3 3 }{ 1 1 2 }{ 2 4 5 }
 310:    { 3 3 }{ 1 1 4 }{ 2 2 5 }
 311:    { 3 3 }{ 1 1 5 }{ 2 2 4 }
 312:    { 3 3 }{ 1 2 2 }{ 1 4 5 }
 313:    { 3 3 }{ 1 2 4 }{ 1 2 5 }
 314:    { 3 4 }{ 3 5 }{ 1 1 2 2 }
 315:    { 3 4 }{ 1 1 2 }{ 2 3 5 }
 316:    { 3 4 }{ 1 1 3 }{ 2 2 5 }
 317:    { 3 4 }{ 1 1 5 }{ 2 2 3 }
 318:    { 3 4 }{ 1 2 2 }{ 1 3 5 }
 319:    { 3 4 }{ 1 2 3 }{ 1 2 5 }
 320:    { 3 5 }{ 1 1 2 }{ 2 3 4 }
 321:    { 3 5 }{ 1 1 3 }{ 2 2 4 }
 322:    { 3 5 }{ 1 1 4 }{ 2 2 3 }
 323:    { 3 5 }{ 1 2 2 }{ 1 3 4 }
 324:    { 3 5 }{ 1 2 3 }{ 1 2 4 }
 325:    { 4 5 }{ 1 1 2 }{ 2 3 3 }
 326:    { 4 5 }{ 1 1 3 }{ 2 2 3 }
 327:    { 4 5 }{ 1 2 2 }{ 1 3 3 }
 328:    { 4 5 }{ 1 2 3 }{ 1 2 3 }
 329:    { 1 }{ 1 }{ 2 }{ 2 3 3 4 5 }
 330:    { 1 }{ 1 }{ 3 }{ 2 2 3 4 5 }
 331:    { 1 }{ 1 }{ 4 }{ 2 2 3 3 5 }
 332:    { 1 }{ 1 }{ 5 }{ 2 2 3 3 4 }
 333:    { 1 }{ 1 }{ 2 2 }{ 3 3 4 5 }
 334:    { 1 }{ 1 }{ 2 3 }{ 2 3 4 5 }
 335:    { 1 }{ 1 }{ 2 4 }{ 2 3 3 5 }
 336:    { 1 }{ 1 }{ 2 5 }{ 2 3 3 4 }
 337:    { 1 }{ 1 }{ 3 3 }{ 2 2 4 5 }
 338:    { 1 }{ 1 }{ 3 4 }{ 2 2 3 5 }
 339:    { 1 }{ 1 }{ 3 5 }{ 2 2 3 4 }
 340:    { 1 }{ 1 }{ 4 5 }{ 2 2 3 3 }
 341:    { 1 }{ 1 }{ 2 2 3 }{ 3 4 5 }
 342:    { 1 }{ 1 }{ 2 2 4 }{ 3 3 5 }
 343:    { 1 }{ 1 }{ 2 2 5 }{ 3 3 4 }
 344:    { 1 }{ 1 }{ 2 3 3 }{ 2 4 5 }
 345:    { 1 }{ 1 }{ 2 3 4 }{ 2 3 5 }
 346:    { 1 }{ 2 }{ 2 }{ 1 3 3 4 5 }
 347:    { 1 }{ 2 }{ 3 }{ 1 2 3 4 5 }
 348:    { 1 }{ 2 }{ 4 }{ 1 2 3 3 5 }
 349:    { 1 }{ 2 }{ 5 }{ 1 2 3 3 4 }
 350:    { 1 }{ 2 }{ 1 2 }{ 3 3 4 5 }
 351:    { 1 }{ 2 }{ 1 3 }{ 2 3 4 5 }
 352:    { 1 }{ 2 }{ 1 4 }{ 2 3 3 5 }
 353:    { 1 }{ 2 }{ 1 5 }{ 2 3 3 4 }
 354:    { 1 }{ 2 }{ 2 3 }{ 1 3 4 5 }
 355:    { 1 }{ 2 }{ 2 4 }{ 1 3 3 5 }
 356:    { 1 }{ 2 }{ 2 5 }{ 1 3 3 4 }
 357:    { 1 }{ 2 }{ 3 3 }{ 1 2 4 5 }
 358:    { 1 }{ 2 }{ 3 4 }{ 1 2 3 5 }
 359:    { 1 }{ 2 }{ 3 5 }{ 1 2 3 4 }
 360:    { 1 }{ 2 }{ 4 5 }{ 1 2 3 3 }
 361:    { 1 }{ 2 }{ 1 2 3 }{ 3 4 5 }
 362:    { 1 }{ 2 }{ 1 2 4 }{ 3 3 5 }
 363:    { 1 }{ 2 }{ 1 2 5 }{ 3 3 4 }
 364:    { 1 }{ 2 }{ 1 3 3 }{ 2 4 5 }
 365:    { 1 }{ 2 }{ 1 3 4 }{ 2 3 5 }
 366:    { 1 }{ 2 }{ 1 3 5 }{ 2 3 4 }
 367:    { 1 }{ 2 }{ 1 4 5 }{ 2 3 3 }
 368:    { 1 }{ 3 }{ 3 }{ 1 2 2 4 5 }
 369:    { 1 }{ 3 }{ 4 }{ 1 2 2 3 5 }
 370:    { 1 }{ 3 }{ 5 }{ 1 2 2 3 4 }
 371:    { 1 }{ 3 }{ 1 2 }{ 2 3 4 5 }
 372:    { 1 }{ 3 }{ 1 3 }{ 2 2 4 5 }
 373:    { 1 }{ 3 }{ 1 4 }{ 2 2 3 5 }
 374:    { 1 }{ 3 }{ 1 5 }{ 2 2 3 4 }
 375:    { 1 }{ 3 }{ 2 2 }{ 1 3 4 5 }
 376:    { 1 }{ 3 }{ 2 3 }{ 1 2 4 5 }
 377:    { 1 }{ 3 }{ 2 4 }{ 1 2 3 5 }
 378:    { 1 }{ 3 }{ 2 5 }{ 1 2 3 4 }
 379:    { 1 }{ 3 }{ 3 4 }{ 1 2 2 5 }
 380:    { 1 }{ 3 }{ 3 5 }{ 1 2 2 4 }
 381:    { 1 }{ 3 }{ 4 5 }{ 1 2 2 3 }
 382:    { 1 }{ 3 }{ 1 2 2 }{ 3 4 5 }
 383:    { 1 }{ 3 }{ 1 2 3 }{ 2 4 5 }
 384:    { 1 }{ 3 }{ 1 2 4 }{ 2 3 5 }
 385:    { 1 }{ 3 }{ 1 2 5 }{ 2 3 4 }
 386:    { 1 }{ 3 }{ 1 3 4 }{ 2 2 5 }
 387:    { 1 }{ 3 }{ 1 3 5 }{ 2 2 4 }
 388:    { 1 }{ 3 }{ 1 4 5 }{ 2 2 3 }
 389:    { 1 }{ 4 }{ 5 }{ 1 2 2 3 3 }
 390:    { 1 }{ 4 }{ 1 2 }{ 2 3 3 5 }
 391:    { 1 }{ 4 }{ 1 3 }{ 2 2 3 5 }
 392:    { 1 }{ 4 }{ 1 5 }{ 2 2 3 3 }
 393:    { 1 }{ 4 }{ 2 2 }{ 1 3 3 5 }
 394:    { 1 }{ 4 }{ 2 3 }{ 1 2 3 5 }
 395:    { 1 }{ 4 }{ 2 5 }{ 1 2 3 3 }
 396:    { 1 }{ 4 }{ 3 3 }{ 1 2 2 5 }
 397:    { 1 }{ 4 }{ 3 5 }{ 1 2 2 3 }
 398:    { 1 }{ 4 }{ 1 2 2 }{ 3 3 5 }
 399:    { 1 }{ 4 }{ 1 2 3 }{ 2 3 5 }
 400:    { 1 }{ 4 }{ 1 2 5 }{ 2 3 3 }
 401:    { 1 }{ 4 }{ 1 3 3 }{ 2 2 5 }
 402:    { 1 }{ 4 }{ 1 3 5 }{ 2 2 3 }
 403:    { 1 }{ 5 }{ 1 2 }{ 2 3 3 4 }
 404:    { 1 }{ 5 }{ 1 3 }{ 2 2 3 4 }
 405:    { 1 }{ 5 }{ 1 4 }{ 2 2 3 3 }
 406:    { 1 }{ 5 }{ 2 2 }{ 1 3 3 4 }
 407:    { 1 }{ 5 }{ 2 3 }{ 1 2 3 4 }
 408:    { 1 }{ 5 }{ 2 4 }{ 1 2 3 3 }
 409:    { 1 }{ 5 }{ 3 3 }{ 1 2 2 4 }
 410:    { 1 }{ 5 }{ 3 4 }{ 1 2 2 3 }
 411:    { 1 }{ 5 }{ 1 2 2 }{ 3 3 4 }
 412:    { 1 }{ 5 }{ 1 2 3 }{ 2 3 4 }
 413:    { 1 }{ 5 }{ 1 2 4 }{ 2 3 3 }
 414:    { 1 }{ 5 }{ 1 3 3 }{ 2 2 4 }
 415:    { 1 }{ 5 }{ 1 3 4 }{ 2 2 3 }
 416:    { 1 }{ 1 2 }{ 2 3 }{ 3 4 5 }
 417:    { 1 }{ 1 2 }{ 2 4 }{ 3 3 5 }
 418:    { 1 }{ 1 2 }{ 2 5 }{ 3 3 4 }
 419:    { 1 }{ 1 2 }{ 3 3 }{ 2 4 5 }
 420:    { 1 }{ 1 2 }{ 3 4 }{ 2 3 5 }
 421:    { 1 }{ 1 2 }{ 3 5 }{ 2 3 4 }
 422:    { 1 }{ 1 2 }{ 4 5 }{ 2 3 3 }
 423:    { 1 }{ 1 3 }{ 2 2 }{ 3 4 5 }
 424:    { 1 }{ 1 3 }{ 2 3 }{ 2 4 5 }
 425:    { 1 }{ 1 3 }{ 2 4 }{ 2 3 5 }
 426:    { 1 }{ 1 3 }{ 2 5 }{ 2 3 4 }
 427:    { 1 }{ 1 3 }{ 3 4 }{ 2 2 5 }
 428:    { 1 }{ 1 3 }{ 3 5 }{ 2 2 4 }
 429:    { 1 }{ 1 3 }{ 4 5 }{ 2 2 3 }
 430:    { 1 }{ 1 4 }{ 2 2 }{ 3 3 5 }
 431:    { 1 }{ 1 4 }{ 2 3 }{ 2 3 5 }
 432:    { 1 }{ 1 4 }{ 2 5 }{ 2 3 3 }
 433:    { 1 }{ 1 4 }{ 3 3 }{ 2 2 5 }
 434:    { 1 }{ 1 4 }{ 3 5 }{ 2 2 3 }
 435:    { 1 }{ 1 5 }{ 2 2 }{ 3 3 4 }
 436:    { 1 }{ 1 5 }{ 2 3 }{ 2 3 4 }
 437:    { 1 }{ 1 5 }{ 2 4 }{ 2 3 3 }
 438:    { 1 }{ 1 5 }{ 3 3 }{ 2 2 4 }
 439:    { 1 }{ 1 5 }{ 3 4 }{ 2 2 3 }
 440:    { 1 }{ 2 2 }{ 3 3 }{ 1 4 5 }
 441:    { 1 }{ 2 2 }{ 3 4 }{ 1 3 5 }
 442:    { 1 }{ 2 2 }{ 3 5 }{ 1 3 4 }
 443:    { 1 }{ 2 2 }{ 4 5 }{ 1 3 3 }
 444:    { 1 }{ 2 3 }{ 2 3 }{ 1 4 5 }
 445:    { 1 }{ 2 3 }{ 2 4 }{ 1 3 5 }
 446:    { 1 }{ 2 3 }{ 2 5 }{ 1 3 4 }
 447:    { 1 }{ 2 3 }{ 3 4 }{ 1 2 5 }
 448:    { 1 }{ 2 3 }{ 3 5 }{ 1 2 4 }
 449:    { 1 }{ 2 3 }{ 4 5 }{ 1 2 3 }
 450:    { 1 }{ 2 4 }{ 2 5 }{ 1 3 3 }
 451:    { 1 }{ 2 4 }{ 3 3 }{ 1 2 5 }
 452:    { 1 }{ 2 4 }{ 3 5 }{ 1 2 3 }
 453:    { 1 }{ 2 5 }{ 3 3 }{ 1 2 4 }
 454:    { 1 }{ 2 5 }{ 3 4 }{ 1 2 3 }
 455:    { 1 }{ 3 3 }{ 4 5 }{ 1 2 2 }
 456:    { 1 }{ 3 4 }{ 3 5 }{ 1 2 2 }
 457:    { 2 }{ 2 }{ 3 }{ 1 1 3 4 5 }
 458:    { 2 }{ 2 }{ 4 }{ 1 1 3 3 5 }
 459:    { 2 }{ 2 }{ 5 }{ 1 1 3 3 4 }
 460:    { 2 }{ 2 }{ 1 1 }{ 3 3 4 5 }
 461:    { 2 }{ 2 }{ 1 3 }{ 1 3 4 5 }
 462:    { 2 }{ 2 }{ 1 4 }{ 1 3 3 5 }
 463:    { 2 }{ 2 }{ 1 5 }{ 1 3 3 4 }
 464:    { 2 }{ 2 }{ 3 3 }{ 1 1 4 5 }
 465:    { 2 }{ 2 }{ 3 4 }{ 1 1 3 5 }
 466:    { 2 }{ 2 }{ 3 5 }{ 1 1 3 4 }
 467:    { 2 }{ 2 }{ 4 5 }{ 1 1 3 3 }
 468:    { 2 }{ 2 }{ 1 1 3 }{ 3 4 5 }
 469:    { 2 }{ 2 }{ 1 1 4 }{ 3 3 5 }
 470:    { 2 }{ 2 }{ 1 1 5 }{ 3 3 4 }
 471:    { 2 }{ 2 }{ 1 3 3 }{ 1 4 5 }
 472:    { 2 }{ 2 }{ 1 3 4 }{ 1 3 5 }
 473:    { 2 }{ 3 }{ 3 }{ 1 1 2 4 5 }
 474:    { 2 }{ 3 }{ 4 }{ 1 1 2 3 5 }
 475:    { 2 }{ 3 }{ 5 }{ 1 1 2 3 4 }
 476:    { 2 }{ 3 }{ 1 1 }{ 2 3 4 5 }
 477:    { 2 }{ 3 }{ 1 2 }{ 1 3 4 5 }
 478:    { 2 }{ 3 }{ 1 3 }{ 1 2 4 5 }
 479:    { 2 }{ 3 }{ 1 4 }{ 1 2 3 5 }
 480:    { 2 }{ 3 }{ 1 5 }{ 1 2 3 4 }
 481:    { 2 }{ 3 }{ 2 3 }{ 1 1 4 5 }
 482:    { 2 }{ 3 }{ 2 4 }{ 1 1 3 5 }
 483:    { 2 }{ 3 }{ 2 5 }{ 1 1 3 4 }
 484:    { 2 }{ 3 }{ 3 4 }{ 1 1 2 5 }
 485:    { 2 }{ 3 }{ 3 5 }{ 1 1 2 4 }
 486:    { 2 }{ 3 }{ 4 5 }{ 1 1 2 3 }
 487:    { 2 }{ 3 }{ 1 1 2 }{ 3 4 5 }
 488:    { 2 }{ 3 }{ 1 1 3 }{ 2 4 5 }
 489:    { 2 }{ 3 }{ 1 1 4 }{ 2 3 5 }
 490:    { 2 }{ 3 }{ 1 1 5 }{ 2 3 4 }
 491:    { 2 }{ 3 }{ 1 2 3 }{ 1 4 5 }
 492:    { 2 }{ 3 }{ 1 2 4 }{ 1 3 5 }
 493:    { 2 }{ 3 }{ 1 2 5 }{ 1 3 4 }
 494:    { 2 }{ 4 }{ 5 }{ 1 1 2 3 3 }
 495:    { 2 }{ 4 }{ 1 1 }{ 2 3 3 5 }
 496:    { 2 }{ 4 }{ 1 2 }{ 1 3 3 5 }
 497:    { 2 }{ 4 }{ 1 3 }{ 1 2 3 5 }
 498:    { 2 }{ 4 }{ 1 5 }{ 1 2 3 3 }
 499:    { 2 }{ 4 }{ 2 3 }{ 1 1 3 5 }
 500:    { 2 }{ 4 }{ 2 5 }{ 1 1 3 3 }
 501:    { 2 }{ 4 }{ 3 3 }{ 1 1 2 5 }
 502:    { 2 }{ 4 }{ 3 5 }{ 1 1 2 3 }
 503:    { 2 }{ 4 }{ 1 1 2 }{ 3 3 5 }
 504:    { 2 }{ 4 }{ 1 1 3 }{ 2 3 5 }
 505:    { 2 }{ 4 }{ 1 1 5 }{ 2 3 3 }
 506:    { 2 }{ 4 }{ 1 2 3 }{ 1 3 5 }
 507:    { 2 }{ 4 }{ 1 2 5 }{ 1 3 3 }
 508:    { 2 }{ 5 }{ 1 1 }{ 2 3 3 4 }
 509:    { 2 }{ 5 }{ 1 2 }{ 1 3 3 4 }
 510:    { 2 }{ 5 }{ 1 3 }{ 1 2 3 4 }
 511:    { 2 }{ 5 }{ 1 4 }{ 1 2 3 3 }
 512:    { 2 }{ 5 }{ 2 3 }{ 1 1 3 4 }
 513:    { 2 }{ 5 }{ 2 4 }{ 1 1 3 3 }
 514:    { 2 }{ 5 }{ 3 3 }{ 1 1 2 4 }
 515:    { 2 }{ 5 }{ 3 4 }{ 1 1 2 3 }
 516:    { 2 }{ 5 }{ 1 1 2 }{ 3 3 4 }
 517:    { 2 }{ 5 }{ 1 1 3 }{ 2 3 4 }
 518:    { 2 }{ 5 }{ 1 1 4 }{ 2 3 3 }
 519:    { 2 }{ 5 }{ 1 2 3 }{ 1 3 4 }
 520:    { 2 }{ 5 }{ 1 2 4 }{ 1 3 3 }
 521:    { 2 }{ 1 1 }{ 2 3 }{ 3 4 5 }
 522:    { 2 }{ 1 1 }{ 2 4 }{ 3 3 5 }
 523:    { 2 }{ 1 1 }{ 2 5 }{ 3 3 4 }
 524:    { 2 }{ 1 1 }{ 3 3 }{ 2 4 5 }
 525:    { 2 }{ 1 1 }{ 3 4 }{ 2 3 5 }
 526:    { 2 }{ 1 1 }{ 3 5 }{ 2 3 4 }
 527:    { 2 }{ 1 1 }{ 4 5 }{ 2 3 3 }
 528:    { 2 }{ 1 2 }{ 1 3 }{ 3 4 5 }
 529:    { 2 }{ 1 2 }{ 1 4 }{ 3 3 5 }
 530:    { 2 }{ 1 2 }{ 1 5 }{ 3 3 4 }
 531:    { 2 }{ 1 2 }{ 3 3 }{ 1 4 5 }
 532:    { 2 }{ 1 2 }{ 3 4 }{ 1 3 5 }
 533:    { 2 }{ 1 2 }{ 3 5 }{ 1 3 4 }
 534:    { 2 }{ 1 2 }{ 4 5 }{ 1 3 3 }
 535:    { 2 }{ 1 3 }{ 1 3 }{ 2 4 5 }
 536:    { 2 }{ 1 3 }{ 1 4 }{ 2 3 5 }
 537:    { 2 }{ 1 3 }{ 1 5 }{ 2 3 4 }
 538:    { 2 }{ 1 3 }{ 2 3 }{ 1 4 5 }
 539:    { 2 }{ 1 3 }{ 2 4 }{ 1 3 5 }
 540:    { 2 }{ 1 3 }{ 2 5 }{ 1 3 4 }
 541:    { 2 }{ 1 3 }{ 3 4 }{ 1 2 5 }
 542:    { 2 }{ 1 3 }{ 3 5 }{ 1 2 4 }
 543:    { 2 }{ 1 3 }{ 4 5 }{ 1 2 3 }
 544:    { 2 }{ 1 4 }{ 1 5 }{ 2 3 3 }
 545:    { 2 }{ 1 4 }{ 2 3 }{ 1 3 5 }
 546:    { 2 }{ 1 4 }{ 2 5 }{ 1 3 3 }
 547:    { 2 }{ 1 4 }{ 3 3 }{ 1 2 5 }
 548:    { 2 }{ 1 4 }{ 3 5 }{ 1 2 3 }
 549:    { 2 }{ 1 5 }{ 2 3 }{ 1 3 4 }
 550:    { 2 }{ 1 5 }{ 2 4 }{ 1 3 3 }
 551:    { 2 }{ 1 5 }{ 3 3 }{ 1 2 4 }
 552:    { 2 }{ 1 5 }{ 3 4 }{ 1 2 3 }
 553:    { 2 }{ 2 3 }{ 3 4 }{ 1 1 5 }
 554:    { 2 }{ 2 3 }{ 3 5 }{ 1 1 4 }
 555:    { 2 }{ 2 3 }{ 4 5 }{ 1 1 3 }
 556:    { 2 }{ 2 4 }{ 3 3 }{ 1 1 5 }
 557:    { 2 }{ 2 4 }{ 3 5 }{ 1 1 3 }
 558:    { 2 }{ 2 5 }{ 3 3 }{ 1 1 4 }
 559:    { 2 }{ 2 5 }{ 3 4 }{ 1 1 3 }
 560:    { 2 }{ 3 3 }{ 4 5 }{ 1 1 2 }
 561:    { 2 }{ 3 4 }{ 3 5 }{ 1 1 2 }
 562:    { 3 }{ 3 }{ 4 }{ 1 1 2 2 5 }
 563:    { 3 }{ 3 }{ 5 }{ 1 1 2 2 4 }
 564:    { 3 }{ 3 }{ 1 1 }{ 2 2 4 5 }
 565:    { 3 }{ 3 }{ 1 2 }{ 1 2 4 5 }
 566:    { 3 }{ 3 }{ 1 4 }{ 1 2 2 5 }
 567:    { 3 }{ 3 }{ 1 5 }{ 1 2 2 4 }
 568:    { 3 }{ 3 }{ 2 2 }{ 1 1 4 5 }
 569:    { 3 }{ 3 }{ 2 4 }{ 1 1 2 5 }
 570:    { 3 }{ 3 }{ 2 5 }{ 1 1 2 4 }
 571:    { 3 }{ 3 }{ 4 5 }{ 1 1 2 2 }
 572:    { 3 }{ 3 }{ 1 1 2 }{ 2 4 5 }
 573:    { 3 }{ 3 }{ 1 1 4 }{ 2 2 5 }
 574:    { 3 }{ 3 }{ 1 1 5 }{ 2 2 4 }
 575:    { 3 }{ 3 }{ 1 2 2 }{ 1 4 5 }
 576:    { 3 }{ 3 }{ 1 2 4 }{ 1 2 5 }
 577:    { 3 }{ 4 }{ 5 }{ 1 1 2 2 3 }
 578:    { 3 }{ 4 }{ 1 1 }{ 2 2 3 5 }
 579:    { 3 }{ 4 }{ 1 2 }{ 1 2 3 5 }
 580:    { 3 }{ 4 }{ 1 3 }{ 1 2 2 5 }
 581:    { 3 }{ 4 }{ 1 5 }{ 1 2 2 3 }
 582:    { 3 }{ 4 }{ 2 2 }{ 1 1 3 5 }
 583:    { 3 }{ 4 }{ 2 3 }{ 1 1 2 5 }
 584:    { 3 }{ 4 }{ 2 5 }{ 1 1 2 3 }
 585:    { 3 }{ 4 }{ 3 5 }{ 1 1 2 2 }
 586:    { 3 }{ 4 }{ 1 1 2 }{ 2 3 5 }
 587:    { 3 }{ 4 }{ 1 1 3 }{ 2 2 5 }
 588:    { 3 }{ 4 }{ 1 1 5 }{ 2 2 3 }
 589:    { 3 }{ 4 }{ 1 2 2 }{ 1 3 5 }
 590:    { 3 }{ 4 }{ 1 2 3 }{ 1 2 5 }
 591:    { 3 }{ 5 }{ 1 1 }{ 2 2 3 4 }
 592:    { 3 }{ 5 }{ 1 2 }{ 1 2 3 4 }
 593:    { 3 }{ 5 }{ 1 3 }{ 1 2 2 4 }
 594:    { 3 }{ 5 }{ 1 4 }{ 1 2 2 3 }
 595:    { 3 }{ 5 }{ 2 2 }{ 1 1 3 4 }
 596:    { 3 }{ 5 }{ 2 3 }{ 1 1 2 4 }
 597:    { 3 }{ 5 }{ 2 4 }{ 1 1 2 3 }
 598:    { 3 }{ 5 }{ 3 4 }{ 1 1 2 2 }
 599:    { 3 }{ 5 }{ 1 1 2 }{ 2 3 4 }
 600:    { 3 }{ 5 }{ 1 1 3 }{ 2 2 4 }
 601:    { 3 }{ 5 }{ 1 1 4 }{ 2 2 3 }
 602:    { 3 }{ 5 }{ 1 2 2 }{ 1 3 4 }
 603:    { 3 }{ 5 }{ 1 2 3 }{ 1 2 4 }
 604:    { 3 }{ 1 1 }{ 2 2 }{ 3 4 5 }
 605:    { 3 }{ 1 1 }{ 2 3 }{ 2 4 5 }
 606:    { 3 }{ 1 1 }{ 2 4 }{ 2 3 5 }
 607:    { 3 }{ 1 1 }{ 2 5 }{ 2 3 4 }
 608:    { 3 }{ 1 1 }{ 3 4 }{ 2 2 5 }
 609:    { 3 }{ 1 1 }{ 3 5 }{ 2 2 4 }
 610:    { 3 }{ 1 1 }{ 4 5 }{ 2 2 3 }
 611:    { 3 }{ 1 2 }{ 1 2 }{ 3 4 5 }
 612:    { 3 }{ 1 2 }{ 1 3 }{ 2 4 5 }
 613:    { 3 }{ 1 2 }{ 1 4 }{ 2 3 5 }
 614:    { 3 }{ 1 2 }{ 1 5 }{ 2 3 4 }
 615:    { 3 }{ 1 2 }{ 2 3 }{ 1 4 5 }
 616:    { 3 }{ 1 2 }{ 2 4 }{ 1 3 5 }
 617:    { 3 }{ 1 2 }{ 2 5 }{ 1 3 4 }
 618:    { 3 }{ 1 2 }{ 3 4 }{ 1 2 5 }
 619:    { 3 }{ 1 2 }{ 3 5 }{ 1 2 4 }
 620:    { 3 }{ 1 2 }{ 4 5 }{ 1 2 3 }
 621:    { 3 }{ 1 3 }{ 1 4 }{ 2 2 5 }
 622:    { 3 }{ 1 3 }{ 1 5 }{ 2 2 4 }
 623:    { 3 }{ 1 3 }{ 2 2 }{ 1 4 5 }
 624:    { 3 }{ 1 3 }{ 2 4 }{ 1 2 5 }
 625:    { 3 }{ 1 3 }{ 2 5 }{ 1 2 4 }
 626:    { 3 }{ 1 3 }{ 4 5 }{ 1 2 2 }
 627:    { 3 }{ 1 4 }{ 1 5 }{ 2 2 3 }
 628:    { 3 }{ 1 4 }{ 2 2 }{ 1 3 5 }
 629:    { 3 }{ 1 4 }{ 2 3 }{ 1 2 5 }
 630:    { 3 }{ 1 4 }{ 2 5 }{ 1 2 3 }
 631:    { 3 }{ 1 4 }{ 3 5 }{ 1 2 2 }
 632:    { 3 }{ 1 5 }{ 2 2 }{ 1 3 4 }
 633:    { 3 }{ 1 5 }{ 2 3 }{ 1 2 4 }
 634:    { 3 }{ 1 5 }{ 2 4 }{ 1 2 3 }
 635:    { 3 }{ 1 5 }{ 3 4 }{ 1 2 2 }
 636:    { 3 }{ 2 2 }{ 3 4 }{ 1 1 5 }
 637:    { 3 }{ 2 2 }{ 3 5 }{ 1 1 4 }
 638:    { 3 }{ 2 2 }{ 4 5 }{ 1 1 3 }
 639:    { 3 }{ 2 3 }{ 2 4 }{ 1 1 5 }
 640:    { 3 }{ 2 3 }{ 2 5 }{ 1 1 4 }
 641:    { 3 }{ 2 3 }{ 4 5 }{ 1 1 2 }
 642:    { 3 }{ 2 4 }{ 2 5 }{ 1 1 3 }
 643:    { 3 }{ 2 4 }{ 3 5 }{ 1 1 2 }
 644:    { 3 }{ 2 5 }{ 3 4 }{ 1 1 2 }
 645:    { 4 }{ 5 }{ 1 1 }{ 2 2 3 3 }
 646:    { 4 }{ 5 }{ 1 2 }{ 1 2 3 3 }
 647:    { 4 }{ 5 }{ 1 3 }{ 1 2 2 3 }
 648:    { 4 }{ 5 }{ 2 2 }{ 1 1 3 3 }
 649:    { 4 }{ 5 }{ 2 3 }{ 1 1 2 3 }
 650:    { 4 }{ 5 }{ 3 3 }{ 1 1 2 2 }
 651:    { 4 }{ 5 }{ 1 1 2 }{ 2 3 3 }
 652:    { 4 }{ 5 }{ 1 1 3 }{ 2 2 3 }
 653:    { 4 }{ 5 }{ 1 2 2 }{ 1 3 3 }
 654:    { 4 }{ 5 }{ 1 2 3 }{ 1 2 3 }
 655:    { 4 }{ 1 1 }{ 2 2 }{ 3 3 5 }
 656:    { 4 }{ 1 1 }{ 2 3 }{ 2 3 5 }
 657:    { 4 }{ 1 1 }{ 2 5 }{ 2 3 3 }
 658:    { 4 }{ 1 1 }{ 3 3 }{ 2 2 5 }
 659:    { 4 }{ 1 1 }{ 3 5 }{ 2 2 3 }
 660:    { 4 }{ 1 2 }{ 1 2 }{ 3 3 5 }
 661:    { 4 }{ 1 2 }{ 1 3 }{ 2 3 5 }
 662:    { 4 }{ 1 2 }{ 1 5 }{ 2 3 3 }
 663:    { 4 }{ 1 2 }{ 2 3 }{ 1 3 5 }
 664:    { 4 }{ 1 2 }{ 2 5 }{ 1 3 3 }
 665:    { 4 }{ 1 2 }{ 3 3 }{ 1 2 5 }
 666:    { 4 }{ 1 2 }{ 3 5 }{ 1 2 3 }
 667:    { 4 }{ 1 3 }{ 1 3 }{ 2 2 5 }
 668:    { 4 }{ 1 3 }{ 1 5 }{ 2 2 3 }
 669:    { 4 }{ 1 3 }{ 2 2 }{ 1 3 5 }
 670:    { 4 }{ 1 3 }{ 2 3 }{ 1 2 5 }
 671:    { 4 }{ 1 3 }{ 2 5 }{ 1 2 3 }
 672:    { 4 }{ 1 3 }{ 3 5 }{ 1 2 2 }
 673:    { 4 }{ 1 5 }{ 2 2 }{ 1 3 3 }
 674:    { 4 }{ 1 5 }{ 2 3 }{ 1 2 3 }
 675:    { 4 }{ 1 5 }{ 3 3 }{ 1 2 2 }
 676:    { 4 }{ 2 2 }{ 3 3 }{ 1 1 5 }
 677:    { 4 }{ 2 2 }{ 3 5 }{ 1 1 3 }
 678:    { 4 }{ 2 3 }{ 2 3 }{ 1 1 5 }
 679:    { 4 }{ 2 3 }{ 2 5 }{ 1 1 3 }
 680:    { 4 }{ 2 3 }{ 3 5 }{ 1 1 2 }
 681:    { 4 }{ 2 5 }{ 3 3 }{ 1 1 2 }
 682:    { 5 }{ 1 1 }{ 2 2 }{ 3 3 4 }
 683:    { 5 }{ 1 1 }{ 2 3 }{ 2 3 4 }
 684:    { 5 }{ 1 1 }{ 2 4 }{ 2 3 3 }
 685:    { 5 }{ 1 1 }{ 3 3 }{ 2 2 4 }
 686:    { 5 }{ 1 1 }{ 3 4 }{ 2 2 3 }
 687:    { 5 }{ 1 2 }{ 1 2 }{ 3 3 4 }
 688:    { 5 }{ 1 2 }{ 1 3 }{ 2 3 4 }
 689:    { 5 }{ 1 2 }{ 1 4 }{ 2 3 3 }
 690:    { 5 }{ 1 2 }{ 2 3 }{ 1 3 4 }
 691:    { 5 }{ 1 2 }{ 2 4 }{ 1 3 3 }
 692:    { 5 }{ 1 2 }{ 3 3 }{ 1 2 4 }
 693:    { 5 }{ 1 2 }{ 3 4 }{ 1 2 3 }
 694:    { 5 }{ 1 3 }{ 1 3 }{ 2 2 4 }
 695:    { 5 }{ 1 3 }{ 1 4 }{ 2 2 3 }
 696:    { 5 }{ 1 3 }{ 2 2 }{ 1 3 4 }
 697:    { 5 }{ 1 3 }{ 2 3 }{ 1 2 4 }
 698:    { 5 }{ 1 3 }{ 2 4 }{ 1 2 3 }
 699:    { 5 }{ 1 3 }{ 3 4 }{ 1 2 2 }
 700:    { 5 }{ 1 4 }{ 2 2 }{ 1 3 3 }
 701:    { 5 }{ 1 4 }{ 2 3 }{ 1 2 3 }
 702:    { 5 }{ 1 4 }{ 3 3 }{ 1 2 2 }
 703:    { 5 }{ 2 2 }{ 3 3 }{ 1 1 4 }
 704:    { 5 }{ 2 2 }{ 3 4 }{ 1 1 3 }
 705:    { 5 }{ 2 3 }{ 2 3 }{ 1 1 4 }
 706:    { 5 }{ 2 3 }{ 2 4 }{ 1 1 3 }
 707:    { 5 }{ 2 3 }{ 3 4 }{ 1 1 2 }
 708:    { 5 }{ 2 4 }{ 3 3 }{ 1 1 2 }
 709:    { 1 1 }{ 2 2 }{ 3 3 }{ 4 5 }
 710:    { 1 1 }{ 2 2 }{ 3 4 }{ 3 5 }
 711:    { 1 1 }{ 2 3 }{ 2 3 }{ 4 5 }
 712:    { 1 1 }{ 2 3 }{ 2 4 }{ 3 5 }
 713:    { 1 1 }{ 2 3 }{ 2 5 }{ 3 4 }
 714:    { 1 1 }{ 2 4 }{ 2 5 }{ 3 3 }
 715:    { 1 2 }{ 1 2 }{ 3 3 }{ 4 5 }
 716:    { 1 2 }{ 1 2 }{ 3 4 }{ 3 5 }
 717:    { 1 2 }{ 1 3 }{ 2 3 }{ 4 5 }
 718:    { 1 2 }{ 1 3 }{ 2 4 }{ 3 5 }
 719:    { 1 2 }{ 1 3 }{ 2 5 }{ 3 4 }
 720:    { 1 2 }{ 1 4 }{ 2 3 }{ 3 5 }
 721:    { 1 2 }{ 1 4 }{ 2 5 }{ 3 3 }
 722:    { 1 2 }{ 1 5 }{ 2 3 }{ 3 4 }
 723:    { 1 2 }{ 1 5 }{ 2 4 }{ 3 3 }
 724:    { 1 3 }{ 1 3 }{ 2 2 }{ 4 5 }
 725:    { 1 3 }{ 1 3 }{ 2 4 }{ 2 5 }
 726:    { 1 3 }{ 1 4 }{ 2 2 }{ 3 5 }
 727:    { 1 3 }{ 1 4 }{ 2 3 }{ 2 5 }
 728:    { 1 3 }{ 1 5 }{ 2 2 }{ 3 4 }
 729:    { 1 3 }{ 1 5 }{ 2 3 }{ 2 4 }
 730:    { 1 4 }{ 1 5 }{ 2 2 }{ 3 3 }
 731:    { 1 4 }{ 1 5 }{ 2 3 }{ 2 3 }
 732:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 3 4 5 }
 733:    { 1 }{ 1 }{ 2 }{ 3 }{ 2 3 4 5 }
 734:    { 1 }{ 1 }{ 2 }{ 4 }{ 2 3 3 5 }
 735:    { 1 }{ 1 }{ 2 }{ 5 }{ 2 3 3 4 }
 736:    { 1 }{ 1 }{ 2 }{ 2 3 }{ 3 4 5 }
 737:    { 1 }{ 1 }{ 2 }{ 2 4 }{ 3 3 5 }
 738:    { 1 }{ 1 }{ 2 }{ 2 5 }{ 3 3 4 }
 739:    { 1 }{ 1 }{ 2 }{ 3 3 }{ 2 4 5 }
 740:    { 1 }{ 1 }{ 2 }{ 3 4 }{ 2 3 5 }
 741:    { 1 }{ 1 }{ 2 }{ 3 5 }{ 2 3 4 }
 742:    { 1 }{ 1 }{ 2 }{ 4 5 }{ 2 3 3 }
 743:    { 1 }{ 1 }{ 3 }{ 3 }{ 2 2 4 5 }
 744:    { 1 }{ 1 }{ 3 }{ 4 }{ 2 2 3 5 }
 745:    { 1 }{ 1 }{ 3 }{ 5 }{ 2 2 3 4 }
 746:    { 1 }{ 1 }{ 3 }{ 2 2 }{ 3 4 5 }
 747:    { 1 }{ 1 }{ 3 }{ 2 3 }{ 2 4 5 }
 748:    { 1 }{ 1 }{ 3 }{ 2 4 }{ 2 3 5 }
 749:    { 1 }{ 1 }{ 3 }{ 2 5 }{ 2 3 4 }
 750:    { 1 }{ 1 }{ 3 }{ 3 4 }{ 2 2 5 }
 751:    { 1 }{ 1 }{ 3 }{ 3 5 }{ 2 2 4 }
 752:    { 1 }{ 1 }{ 3 }{ 4 5 }{ 2 2 3 }
 753:    { 1 }{ 1 }{ 4 }{ 5 }{ 2 2 3 3 }
 754:    { 1 }{ 1 }{ 4 }{ 2 2 }{ 3 3 5 }
 755:    { 1 }{ 1 }{ 4 }{ 2 3 }{ 2 3 5 }
 756:    { 1 }{ 1 }{ 4 }{ 2 5 }{ 2 3 3 }
 757:    { 1 }{ 1 }{ 4 }{ 3 3 }{ 2 2 5 }
 758:    { 1 }{ 1 }{ 4 }{ 3 5 }{ 2 2 3 }
 759:    { 1 }{ 1 }{ 5 }{ 2 2 }{ 3 3 4 }
 760:    { 1 }{ 1 }{ 5 }{ 2 3 }{ 2 3 4 }
 761:    { 1 }{ 1 }{ 5 }{ 2 4 }{ 2 3 3 }
 762:    { 1 }{ 1 }{ 5 }{ 3 3 }{ 2 2 4 }
 763:    { 1 }{ 1 }{ 5 }{ 3 4 }{ 2 2 3 }
 764:    { 1 }{ 1 }{ 2 2 }{ 3 3 }{ 4 5 }
 765:    { 1 }{ 1 }{ 2 2 }{ 3 4 }{ 3 5 }
 766:    { 1 }{ 1 }{ 2 3 }{ 2 3 }{ 4 5 }
 767:    { 1 }{ 1 }{ 2 3 }{ 2 4 }{ 3 5 }
 768:    { 1 }{ 1 }{ 2 3 }{ 2 5 }{ 3 4 }
 769:    { 1 }{ 1 }{ 2 4 }{ 2 5 }{ 3 3 }
 770:    { 1 }{ 2 }{ 2 }{ 3 }{ 1 3 4 5 }
 771:    { 1 }{ 2 }{ 2 }{ 4 }{ 1 3 3 5 }
 772:    { 1 }{ 2 }{ 2 }{ 5 }{ 1 3 3 4 }
 773:    { 1 }{ 2 }{ 2 }{ 1 3 }{ 3 4 5 }
 774:    { 1 }{ 2 }{ 2 }{ 1 4 }{ 3 3 5 }
 775:    { 1 }{ 2 }{ 2 }{ 1 5 }{ 3 3 4 }
 776:    { 1 }{ 2 }{ 2 }{ 3 3 }{ 1 4 5 }
 777:    { 1 }{ 2 }{ 2 }{ 3 4 }{ 1 3 5 }
 778:    { 1 }{ 2 }{ 2 }{ 3 5 }{ 1 3 4 }
 779:    { 1 }{ 2 }{ 2 }{ 4 5 }{ 1 3 3 }
 780:    { 1 }{ 2 }{ 3 }{ 3 }{ 1 2 4 5 }
 781:    { 1 }{ 2 }{ 3 }{ 4 }{ 1 2 3 5 }
 782:    { 1 }{ 2 }{ 3 }{ 5 }{ 1 2 3 4 }
 783:    { 1 }{ 2 }{ 3 }{ 1 2 }{ 3 4 5 }
 784:    { 1 }{ 2 }{ 3 }{ 1 3 }{ 2 4 5 }
 785:    { 1 }{ 2 }{ 3 }{ 1 4 }{ 2 3 5 }
 786:    { 1 }{ 2 }{ 3 }{ 1 5 }{ 2 3 4 }
 787:    { 1 }{ 2 }{ 3 }{ 2 3 }{ 1 4 5 }
 788:    { 1 }{ 2 }{ 3 }{ 2 4 }{ 1 3 5 }
 789:    { 1 }{ 2 }{ 3 }{ 2 5 }{ 1 3 4 }
 790:    { 1 }{ 2 }{ 3 }{ 3 4 }{ 1 2 5 }
 791:    { 1 }{ 2 }{ 3 }{ 3 5 }{ 1 2 4 }
 792:    { 1 }{ 2 }{ 3 }{ 4 5 }{ 1 2 3 }
 793:    { 1 }{ 2 }{ 4 }{ 5 }{ 1 2 3 3 }
 794:    { 1 }{ 2 }{ 4 }{ 1 2 }{ 3 3 5 }
 795:    { 1 }{ 2 }{ 4 }{ 1 3 }{ 2 3 5 }
 796:    { 1 }{ 2 }{ 4 }{ 1 5 }{ 2 3 3 }
 797:    { 1 }{ 2 }{ 4 }{ 2 3 }{ 1 3 5 }
 798:    { 1 }{ 2 }{ 4 }{ 2 5 }{ 1 3 3 }
 799:    { 1 }{ 2 }{ 4 }{ 3 3 }{ 1 2 5 }
 800:    { 1 }{ 2 }{ 4 }{ 3 5 }{ 1 2 3 }
 801:    { 1 }{ 2 }{ 5 }{ 1 2 }{ 3 3 4 }
 802:    { 1 }{ 2 }{ 5 }{ 1 3 }{ 2 3 4 }
 803:    { 1 }{ 2 }{ 5 }{ 1 4 }{ 2 3 3 }
 804:    { 1 }{ 2 }{ 5 }{ 2 3 }{ 1 3 4 }
 805:    { 1 }{ 2 }{ 5 }{ 2 4 }{ 1 3 3 }
 806:    { 1 }{ 2 }{ 5 }{ 3 3 }{ 1 2 4 }
 807:    { 1 }{ 2 }{ 5 }{ 3 4 }{ 1 2 3 }
 808:    { 1 }{ 2 }{ 1 2 }{ 3 3 }{ 4 5 }
 809:    { 1 }{ 2 }{ 1 2 }{ 3 4 }{ 3 5 }
 810:    { 1 }{ 2 }{ 1 3 }{ 2 3 }{ 4 5 }
 811:    { 1 }{ 2 }{ 1 3 }{ 2 4 }{ 3 5 }
 812:    { 1 }{ 2 }{ 1 3 }{ 2 5 }{ 3 4 }
 813:    { 1 }{ 2 }{ 1 4 }{ 2 3 }{ 3 5 }
 814:    { 1 }{ 2 }{ 1 4 }{ 2 5 }{ 3 3 }
 815:    { 1 }{ 2 }{ 1 5 }{ 2 3 }{ 3 4 }
 816:    { 1 }{ 2 }{ 1 5 }{ 2 4 }{ 3 3 }
 817:    { 1 }{ 3 }{ 3 }{ 4 }{ 1 2 2 5 }
 818:    { 1 }{ 3 }{ 3 }{ 5 }{ 1 2 2 4 }
 819:    { 1 }{ 3 }{ 3 }{ 1 2 }{ 2 4 5 }
 820:    { 1 }{ 3 }{ 3 }{ 1 4 }{ 2 2 5 }
 821:    { 1 }{ 3 }{ 3 }{ 1 5 }{ 2 2 4 }
 822:    { 1 }{ 3 }{ 3 }{ 2 2 }{ 1 4 5 }
 823:    { 1 }{ 3 }{ 3 }{ 2 4 }{ 1 2 5 }
 824:    { 1 }{ 3 }{ 3 }{ 2 5 }{ 1 2 4 }
 825:    { 1 }{ 3 }{ 3 }{ 4 5 }{ 1 2 2 }
 826:    { 1 }{ 3 }{ 4 }{ 5 }{ 1 2 2 3 }
 827:    { 1 }{ 3 }{ 4 }{ 1 2 }{ 2 3 5 }
 828:    { 1 }{ 3 }{ 4 }{ 1 3 }{ 2 2 5 }
 829:    { 1 }{ 3 }{ 4 }{ 1 5 }{ 2 2 3 }
 830:    { 1 }{ 3 }{ 4 }{ 2 2 }{ 1 3 5 }
 831:    { 1 }{ 3 }{ 4 }{ 2 3 }{ 1 2 5 }
 832:    { 1 }{ 3 }{ 4 }{ 2 5 }{ 1 2 3 }
 833:    { 1 }{ 3 }{ 4 }{ 3 5 }{ 1 2 2 }
 834:    { 1 }{ 3 }{ 5 }{ 1 2 }{ 2 3 4 }
 835:    { 1 }{ 3 }{ 5 }{ 1 3 }{ 2 2 4 }
 836:    { 1 }{ 3 }{ 5 }{ 1 4 }{ 2 2 3 }
 837:    { 1 }{ 3 }{ 5 }{ 2 2 }{ 1 3 4 }
 838:    { 1 }{ 3 }{ 5 }{ 2 3 }{ 1 2 4 }
 839:    { 1 }{ 3 }{ 5 }{ 2 4 }{ 1 2 3 }
 840:    { 1 }{ 3 }{ 5 }{ 3 4 }{ 1 2 2 }
 841:    { 1 }{ 3 }{ 1 2 }{ 2 3 }{ 4 5 }
 842:    { 1 }{ 3 }{ 1 2 }{ 2 4 }{ 3 5 }
 843:    { 1 }{ 3 }{ 1 2 }{ 2 5 }{ 3 4 }
 844:    { 1 }{ 3 }{ 1 3 }{ 2 2 }{ 4 5 }
 845:    { 1 }{ 3 }{ 1 3 }{ 2 4 }{ 2 5 }
 846:    { 1 }{ 3 }{ 1 4 }{ 2 2 }{ 3 5 }
 847:    { 1 }{ 3 }{ 1 4 }{ 2 3 }{ 2 5 }
 848:    { 1 }{ 3 }{ 1 5 }{ 2 2 }{ 3 4 }
 849:    { 1 }{ 3 }{ 1 5 }{ 2 3 }{ 2 4 }
 850:    { 1 }{ 4 }{ 5 }{ 1 2 }{ 2 3 3 }
 851:    { 1 }{ 4 }{ 5 }{ 1 3 }{ 2 2 3 }
 852:    { 1 }{ 4 }{ 5 }{ 2 2 }{ 1 3 3 }
 853:    { 1 }{ 4 }{ 5 }{ 2 3 }{ 1 2 3 }
 854:    { 1 }{ 4 }{ 5 }{ 3 3 }{ 1 2 2 }
 855:    { 1 }{ 4 }{ 1 2 }{ 2 3 }{ 3 5 }
 856:    { 1 }{ 4 }{ 1 2 }{ 2 5 }{ 3 3 }
 857:    { 1 }{ 4 }{ 1 3 }{ 2 2 }{ 3 5 }
 858:    { 1 }{ 4 }{ 1 3 }{ 2 3 }{ 2 5 }
 859:    { 1 }{ 4 }{ 1 5 }{ 2 2 }{ 3 3 }
 860:    { 1 }{ 4 }{ 1 5 }{ 2 3 }{ 2 3 }
 861:    { 1 }{ 5 }{ 1 2 }{ 2 3 }{ 3 4 }
 862:    { 1 }{ 5 }{ 1 2 }{ 2 4 }{ 3 3 }
 863:    { 1 }{ 5 }{ 1 3 }{ 2 2 }{ 3 4 }
 864:    { 1 }{ 5 }{ 1 3 }{ 2 3 }{ 2 4 }
 865:    { 1 }{ 5 }{ 1 4 }{ 2 2 }{ 3 3 }
 866:    { 1 }{ 5 }{ 1 4 }{ 2 3 }{ 2 3 }
 867:    { 2 }{ 2 }{ 3 }{ 3 }{ 1 1 4 5 }
 868:    { 2 }{ 2 }{ 3 }{ 4 }{ 1 1 3 5 }
 869:    { 2 }{ 2 }{ 3 }{ 5 }{ 1 1 3 4 }
 870:    { 2 }{ 2 }{ 3 }{ 1 1 }{ 3 4 5 }
 871:    { 2 }{ 2 }{ 3 }{ 1 3 }{ 1 4 5 }
 872:    { 2 }{ 2 }{ 3 }{ 1 4 }{ 1 3 5 }
 873:    { 2 }{ 2 }{ 3 }{ 1 5 }{ 1 3 4 }
 874:    { 2 }{ 2 }{ 3 }{ 3 4 }{ 1 1 5 }
 875:    { 2 }{ 2 }{ 3 }{ 3 5 }{ 1 1 4 }
 876:    { 2 }{ 2 }{ 3 }{ 4 5 }{ 1 1 3 }
 877:    { 2 }{ 2 }{ 4 }{ 5 }{ 1 1 3 3 }
 878:    { 2 }{ 2 }{ 4 }{ 1 1 }{ 3 3 5 }
 879:    { 2 }{ 2 }{ 4 }{ 1 3 }{ 1 3 5 }
 880:    { 2 }{ 2 }{ 4 }{ 1 5 }{ 1 3 3 }
 881:    { 2 }{ 2 }{ 4 }{ 3 3 }{ 1 1 5 }
 882:    { 2 }{ 2 }{ 4 }{ 3 5 }{ 1 1 3 }
 883:    { 2 }{ 2 }{ 5 }{ 1 1 }{ 3 3 4 }
 884:    { 2 }{ 2 }{ 5 }{ 1 3 }{ 1 3 4 }
 885:    { 2 }{ 2 }{ 5 }{ 1 4 }{ 1 3 3 }
 886:    { 2 }{ 2 }{ 5 }{ 3 3 }{ 1 1 4 }
 887:    { 2 }{ 2 }{ 5 }{ 3 4 }{ 1 1 3 }
 888:    { 2 }{ 2 }{ 1 1 }{ 3 3 }{ 4 5 }
 889:    { 2 }{ 2 }{ 1 1 }{ 3 4 }{ 3 5 }
 890:    { 2 }{ 2 }{ 1 3 }{ 1 3 }{ 4 5 }
 891:    { 2 }{ 2 }{ 1 3 }{ 1 4 }{ 3 5 }
 892:    { 2 }{ 2 }{ 1 3 }{ 1 5 }{ 3 4 }
 893:    { 2 }{ 2 }{ 1 4 }{ 1 5 }{ 3 3 }
 894:    { 2 }{ 3 }{ 3 }{ 4 }{ 1 1 2 5 }
 895:    { 2 }{ 3 }{ 3 }{ 5 }{ 1 1 2 4 }
 896:    { 2 }{ 3 }{ 3 }{ 1 1 }{ 2 4 5 }
 897:    { 2 }{ 3 }{ 3 }{ 1 2 }{ 1 4 5 }
 898:    { 2 }{ 3 }{ 3 }{ 1 4 }{ 1 2 5 }
 899:    { 2 }{ 3 }{ 3 }{ 1 5 }{ 1 2 4 }
 900:    { 2 }{ 3 }{ 3 }{ 2 4 }{ 1 1 5 }
 901:    { 2 }{ 3 }{ 3 }{ 2 5 }{ 1 1 4 }
 902:    { 2 }{ 3 }{ 3 }{ 4 5 }{ 1 1 2 }
 903:    { 2 }{ 3 }{ 4 }{ 5 }{ 1 1 2 3 }
 904:    { 2 }{ 3 }{ 4 }{ 1 1 }{ 2 3 5 }
 905:    { 2 }{ 3 }{ 4 }{ 1 2 }{ 1 3 5 }
 906:    { 2 }{ 3 }{ 4 }{ 1 3 }{ 1 2 5 }
 907:    { 2 }{ 3 }{ 4 }{ 1 5 }{ 1 2 3 }
 908:    { 2 }{ 3 }{ 4 }{ 2 3 }{ 1 1 5 }
 909:    { 2 }{ 3 }{ 4 }{ 2 5 }{ 1 1 3 }
 910:    { 2 }{ 3 }{ 4 }{ 3 5 }{ 1 1 2 }
 911:    { 2 }{ 3 }{ 5 }{ 1 1 }{ 2 3 4 }
 912:    { 2 }{ 3 }{ 5 }{ 1 2 }{ 1 3 4 }
 913:    { 2 }{ 3 }{ 5 }{ 1 3 }{ 1 2 4 }
 914:    { 2 }{ 3 }{ 5 }{ 1 4 }{ 1 2 3 }
 915:    { 2 }{ 3 }{ 5 }{ 2 3 }{ 1 1 4 }
 916:    { 2 }{ 3 }{ 5 }{ 2 4 }{ 1 1 3 }
 917:    { 2 }{ 3 }{ 5 }{ 3 4 }{ 1 1 2 }
 918:    { 2 }{ 3 }{ 1 1 }{ 2 3 }{ 4 5 }
 919:    { 2 }{ 3 }{ 1 1 }{ 2 4 }{ 3 5 }
 920:    { 2 }{ 3 }{ 1 1 }{ 2 5 }{ 3 4 }
 921:    { 2 }{ 3 }{ 1 2 }{ 1 3 }{ 4 5 }
 922:    { 2 }{ 3 }{ 1 2 }{ 1 4 }{ 3 5 }
 923:    { 2 }{ 3 }{ 1 2 }{ 1 5 }{ 3 4 }
 924:    { 2 }{ 3 }{ 1 3 }{ 1 4 }{ 2 5 }
 925:    { 2 }{ 3 }{ 1 3 }{ 1 5 }{ 2 4 }
 926:    { 2 }{ 3 }{ 1 4 }{ 1 5 }{ 2 3 }
 927:    { 2 }{ 4 }{ 5 }{ 1 1 }{ 2 3 3 }
 928:    { 2 }{ 4 }{ 5 }{ 1 2 }{ 1 3 3 }
 929:    { 2 }{ 4 }{ 5 }{ 1 3 }{ 1 2 3 }
 930:    { 2 }{ 4 }{ 5 }{ 2 3 }{ 1 1 3 }
 931:    { 2 }{ 4 }{ 5 }{ 3 3 }{ 1 1 2 }
 932:    { 2 }{ 4 }{ 1 1 }{ 2 3 }{ 3 5 }
 933:    { 2 }{ 4 }{ 1 1 }{ 2 5 }{ 3 3 }
 934:    { 2 }{ 4 }{ 1 2 }{ 1 3 }{ 3 5 }
 935:    { 2 }{ 4 }{ 1 2 }{ 1 5 }{ 3 3 }
 936:    { 2 }{ 4 }{ 1 3 }{ 1 3 }{ 2 5 }
 937:    { 2 }{ 4 }{ 1 3 }{ 1 5 }{ 2 3 }
 938:    { 2 }{ 5 }{ 1 1 }{ 2 3 }{ 3 4 }
 939:    { 2 }{ 5 }{ 1 1 }{ 2 4 }{ 3 3 }
 940:    { 2 }{ 5 }{ 1 2 }{ 1 3 }{ 3 4 }
 941:    { 2 }{ 5 }{ 1 2 }{ 1 4 }{ 3 3 }
 942:    { 2 }{ 5 }{ 1 3 }{ 1 3 }{ 2 4 }
 943:    { 2 }{ 5 }{ 1 3 }{ 1 4 }{ 2 3 }
 944:    { 3 }{ 3 }{ 4 }{ 5 }{ 1 1 2 2 }
 945:    { 3 }{ 3 }{ 4 }{ 1 1 }{ 2 2 5 }
 946:    { 3 }{ 3 }{ 4 }{ 1 2 }{ 1 2 5 }
 947:    { 3 }{ 3 }{ 4 }{ 1 5 }{ 1 2 2 }
 948:    { 3 }{ 3 }{ 4 }{ 2 2 }{ 1 1 5 }
 949:    { 3 }{ 3 }{ 4 }{ 2 5 }{ 1 1 2 }
 950:    { 3 }{ 3 }{ 5 }{ 1 1 }{ 2 2 4 }
 951:    { 3 }{ 3 }{ 5 }{ 1 2 }{ 1 2 4 }
 952:    { 3 }{ 3 }{ 5 }{ 1 4 }{ 1 2 2 }
 953:    { 3 }{ 3 }{ 5 }{ 2 2 }{ 1 1 4 }
 954:    { 3 }{ 3 }{ 5 }{ 2 4 }{ 1 1 2 }
 955:    { 3 }{ 3 }{ 1 1 }{ 2 2 }{ 4 5 }
 956:    { 3 }{ 3 }{ 1 1 }{ 2 4 }{ 2 5 }
 957:    { 3 }{ 3 }{ 1 2 }{ 1 2 }{ 4 5 }
 958:    { 3 }{ 3 }{ 1 2 }{ 1 4 }{ 2 5 }
 959:    { 3 }{ 3 }{ 1 2 }{ 1 5 }{ 2 4 }
 960:    { 3 }{ 3 }{ 1 4 }{ 1 5 }{ 2 2 }
 961:    { 3 }{ 4 }{ 5 }{ 1 1 }{ 2 2 3 }
 962:    { 3 }{ 4 }{ 5 }{ 1 2 }{ 1 2 3 }
 963:    { 3 }{ 4 }{ 5 }{ 1 3 }{ 1 2 2 }
 964:    { 3 }{ 4 }{ 5 }{ 2 2 }{ 1 1 3 }
 965:    { 3 }{ 4 }{ 5 }{ 2 3 }{ 1 1 2 }
 966:    { 3 }{ 4 }{ 1 1 }{ 2 2 }{ 3 5 }
 967:    { 3 }{ 4 }{ 1 1 }{ 2 3 }{ 2 5 }
 968:    { 3 }{ 4 }{ 1 2 }{ 1 2 }{ 3 5 }
 969:    { 3 }{ 4 }{ 1 2 }{ 1 3 }{ 2 5 }
 970:    { 3 }{ 4 }{ 1 2 }{ 1 5 }{ 2 3 }
 971:    { 3 }{ 4 }{ 1 3 }{ 1 5 }{ 2 2 }
 972:    { 3 }{ 5 }{ 1 1 }{ 2 2 }{ 3 4 }
 973:    { 3 }{ 5 }{ 1 1 }{ 2 3 }{ 2 4 }
 974:    { 3 }{ 5 }{ 1 2 }{ 1 2 }{ 3 4 }
 975:    { 3 }{ 5 }{ 1 2 }{ 1 3 }{ 2 4 }
 976:    { 3 }{ 5 }{ 1 2 }{ 1 4 }{ 2 3 }
 977:    { 3 }{ 5 }{ 1 3 }{ 1 4 }{ 2 2 }
 978:    { 4 }{ 5 }{ 1 1 }{ 2 2 }{ 3 3 }
 979:    { 4 }{ 5 }{ 1 1 }{ 2 3 }{ 2 3 }
 980:    { 4 }{ 5 }{ 1 2 }{ 1 2 }{ 3 3 }
 981:    { 4 }{ 5 }{ 1 2 }{ 1 3 }{ 2 3 }
 982:    { 4 }{ 5 }{ 1 3 }{ 1 3 }{ 2 2 }
 983:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 3 4 5 }
 984:    { 1 }{ 1 }{ 2 }{ 2 }{ 4 }{ 3 3 5 }
 985:    { 1 }{ 1 }{ 2 }{ 2 }{ 5 }{ 3 3 4 }
 986:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 3 }{ 4 5 }
 987:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 4 }{ 3 5 }
 988:    { 1 }{ 1 }{ 2 }{ 3 }{ 3 }{ 2 4 5 }
 989:    { 1 }{ 1 }{ 2 }{ 3 }{ 4 }{ 2 3 5 }
 990:    { 1 }{ 1 }{ 2 }{ 3 }{ 5 }{ 2 3 4 }
 991:    { 1 }{ 1 }{ 2 }{ 3 }{ 2 3 }{ 4 5 }
 992:    { 1 }{ 1 }{ 2 }{ 3 }{ 2 4 }{ 3 5 }
 993:    { 1 }{ 1 }{ 2 }{ 3 }{ 2 5 }{ 3 4 }
 994:    { 1 }{ 1 }{ 2 }{ 4 }{ 5 }{ 2 3 3 }
 995:    { 1 }{ 1 }{ 2 }{ 4 }{ 2 3 }{ 3 5 }
 996:    { 1 }{ 1 }{ 2 }{ 4 }{ 2 5 }{ 3 3 }
 997:    { 1 }{ 1 }{ 2 }{ 5 }{ 2 3 }{ 3 4 }
 998:    { 1 }{ 1 }{ 2 }{ 5 }{ 2 4 }{ 3 3 }
 999:    { 1 }{ 1 }{ 3 }{ 3 }{ 4 }{ 2 2 5 }
1000:    { 1 }{ 1 }{ 3 }{ 3 }{ 5 }{ 2 2 4 }
1001:    { 1 }{ 1 }{ 3 }{ 3 }{ 2 2 }{ 4 5 }
1002:    { 1 }{ 1 }{ 3 }{ 3 }{ 2 4 }{ 2 5 }
1003:    { 1 }{ 1 }{ 3 }{ 4 }{ 5 }{ 2 2 3 }
1004:    { 1 }{ 1 }{ 3 }{ 4 }{ 2 2 }{ 3 5 }
1005:    { 1 }{ 1 }{ 3 }{ 4 }{ 2 3 }{ 2 5 }
1006:    { 1 }{ 1 }{ 3 }{ 5 }{ 2 2 }{ 3 4 }
1007:    { 1 }{ 1 }{ 3 }{ 5 }{ 2 3 }{ 2 4 }
1008:    { 1 }{ 1 }{ 4 }{ 5 }{ 2 2 }{ 3 3 }
1009:    { 1 }{ 1 }{ 4 }{ 5 }{ 2 3 }{ 2 3 }
1010:    { 1 }{ 2 }{ 2 }{ 3 }{ 3 }{ 1 4 5 }
1011:    { 1 }{ 2 }{ 2 }{ 3 }{ 4 }{ 1 3 5 }
1012:    { 1 }{ 2 }{ 2 }{ 3 }{ 5 }{ 1 3 4 }
1013:    { 1 }{ 2 }{ 2 }{ 3 }{ 1 3 }{ 4 5 }
1014:    { 1 }{ 2 }{ 2 }{ 3 }{ 1 4 }{ 3 5 }
1015:    { 1 }{ 2 }{ 2 }{ 3 }{ 1 5 }{ 3 4 }
1016:    { 1 }{ 2 }{ 2 }{ 4 }{ 5 }{ 1 3 3 }
1017:    { 1 }{ 2 }{ 2 }{ 4 }{ 1 3 }{ 3 5 }
1018:    { 1 }{ 2 }{ 2 }{ 4 }{ 1 5 }{ 3 3 }
1019:    { 1 }{ 2 }{ 2 }{ 5 }{ 1 3 }{ 3 4 }
1020:    { 1 }{ 2 }{ 2 }{ 5 }{ 1 4 }{ 3 3 }
1021:    { 1 }{ 2 }{ 3 }{ 3 }{ 4 }{ 1 2 5 }
1022:    { 1 }{ 2 }{ 3 }{ 3 }{ 5 }{ 1 2 4 }
1023:    { 1 }{ 2 }{ 3 }{ 3 }{ 1 2 }{ 4 5 }
1024:    { 1 }{ 2 }{ 3 }{ 3 }{ 1 4 }{ 2 5 }
1025:    { 1 }{ 2 }{ 3 }{ 3 }{ 1 5 }{ 2 4 }
1026:    { 1 }{ 2 }{ 3 }{ 4 }{ 5 }{ 1 2 3 }
1027:    { 1 }{ 2 }{ 3 }{ 4 }{ 1 2 }{ 3 5 }
1028:    { 1 }{ 2 }{ 3 }{ 4 }{ 1 3 }{ 2 5 }
1029:    { 1 }{ 2 }{ 3 }{ 4 }{ 1 5 }{ 2 3 }
1030:    { 1 }{ 2 }{ 3 }{ 5 }{ 1 2 }{ 3 4 }
1031:    { 1 }{ 2 }{ 3 }{ 5 }{ 1 3 }{ 2 4 }
1032:    { 1 }{ 2 }{ 3 }{ 5 }{ 1 4 }{ 2 3 }
1033:    { 1 }{ 2 }{ 4 }{ 5 }{ 1 2 }{ 3 3 }
1034:    { 1 }{ 2 }{ 4 }{ 5 }{ 1 3 }{ 2 3 }
1035:    { 1 }{ 3 }{ 3 }{ 4 }{ 5 }{ 1 2 2 }
1036:    { 1 }{ 3 }{ 3 }{ 4 }{ 1 2 }{ 2 5 }
1037:    { 1 }{ 3 }{ 3 }{ 4 }{ 1 5 }{ 2 2 }
1038:    { 1 }{ 3 }{ 3 }{ 5 }{ 1 2 }{ 2 4 }
1039:    { 1 }{ 3 }{ 3 }{ 5 }{ 1 4 }{ 2 2 }
1040:    { 1 }{ 3 }{ 4 }{ 5 }{ 1 2 }{ 2 3 }
1041:    { 1 }{ 3 }{ 4 }{ 5 }{ 1 3 }{ 2 2 }
1042:    { 2 }{ 2 }{ 3 }{ 3 }{ 4 }{ 1 1 5 }
1043:    { 2 }{ 2 }{ 3 }{ 3 }{ 5 }{ 1 1 4 }
1044:    { 2 }{ 2 }{ 3 }{ 3 }{ 1 1 }{ 4 5 }
1045:    { 2 }{ 2 }{ 3 }{ 3 }{ 1 4 }{ 1 5 }
1046:    { 2 }{ 2 }{ 3 }{ 4 }{ 5 }{ 1 1 3 }
1047:    { 2 }{ 2 }{ 3 }{ 4 }{ 1 1 }{ 3 5 }
1048:    { 2 }{ 2 }{ 3 }{ 4 }{ 1 3 }{ 1 5 }
1049:    { 2 }{ 2 }{ 3 }{ 5 }{ 1 1 }{ 3 4 }
1050:    { 2 }{ 2 }{ 3 }{ 5 }{ 1 3 }{ 1 4 }
1051:    { 2 }{ 2 }{ 4 }{ 5 }{ 1 1 }{ 3 3 }
1052:    { 2 }{ 2 }{ 4 }{ 5 }{ 1 3 }{ 1 3 }
1053:    { 2 }{ 3 }{ 3 }{ 4 }{ 5 }{ 1 1 2 }
1054:    { 2 }{ 3 }{ 3 }{ 4 }{ 1 1 }{ 2 5 }
1055:    { 2 }{ 3 }{ 3 }{ 4 }{ 1 2 }{ 1 5 }
1056:    { 2 }{ 3 }{ 3 }{ 5 }{ 1 1 }{ 2 4 }
1057:    { 2 }{ 3 }{ 3 }{ 5 }{ 1 2 }{ 1 4 }
1058:    { 2 }{ 3 }{ 4 }{ 5 }{ 1 1 }{ 2 3 }
1059:    { 2 }{ 3 }{ 4 }{ 5 }{ 1 2 }{ 1 3 }
1060:    { 3 }{ 3 }{ 4 }{ 5 }{ 1 1 }{ 2 2 }
1061:    { 3 }{ 3 }{ 4 }{ 5 }{ 1 2 }{ 1 2 }
1062:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 3 }{ 4 5 }
1063:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 4 }{ 3 5 }
1064:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 5 }{ 3 4 }
1065:    { 1 }{ 1 }{ 2 }{ 2 }{ 4 }{ 5 }{ 3 3 }
1066:    { 1 }{ 1 }{ 2 }{ 3 }{ 3 }{ 4 }{ 2 5 }
1067:    { 1 }{ 1 }{ 2 }{ 3 }{ 3 }{ 5 }{ 2 4 }
1068:    { 1 }{ 1 }{ 2 }{ 3 }{ 4 }{ 5 }{ 2 3 }
1069:    { 1 }{ 1 }{ 3 }{ 3 }{ 4 }{ 5 }{ 2 2 }
1070:    { 1 }{ 2 }{ 2 }{ 3 }{ 3 }{ 4 }{ 1 5 }
1071:    { 1 }{ 2 }{ 2 }{ 3 }{ 3 }{ 5 }{ 1 4 }
1072:    { 1 }{ 2 }{ 2 }{ 3 }{ 4 }{ 5 }{ 1 3 }
1073:    { 1 }{ 2 }{ 3 }{ 3 }{ 4 }{ 5 }{ 1 2 }
1074:    { 2 }{ 2 }{ 3 }{ 3 }{ 4 }{ 5 }{ 1 1 }
1075:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 3 }{ 4 }{ 5 }