multiset partitions (8,5)

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

  1:    { 1 1 1 2 2 3 4 5 }
  2:    { 1 }{ 1 1 2 2 3 4 5 }
  3:    { 2 }{ 1 1 1 2 3 4 5 }
  4:    { 3 }{ 1 1 1 2 2 4 5 }
  5:    { 4 }{ 1 1 1 2 2 3 5 }
  6:    { 5 }{ 1 1 1 2 2 3 4 }
  7:    { 1 1 }{ 1 2 2 3 4 5 }
  8:    { 1 2 }{ 1 1 2 3 4 5 }
  9:    { 1 3 }{ 1 1 2 2 4 5 }
 10:    { 1 4 }{ 1 1 2 2 3 5 }
 11:    { 1 5 }{ 1 1 2 2 3 4 }
 12:    { 2 2 }{ 1 1 1 3 4 5 }
 13:    { 2 3 }{ 1 1 1 2 4 5 }
 14:    { 2 4 }{ 1 1 1 2 3 5 }
 15:    { 2 5 }{ 1 1 1 2 3 4 }
 16:    { 3 4 }{ 1 1 1 2 2 5 }
 17:    { 3 5 }{ 1 1 1 2 2 4 }
 18:    { 4 5 }{ 1 1 1 2 2 3 }
 19:    { 1 1 1 }{ 2 2 3 4 5 }
 20:    { 1 1 2 }{ 1 2 3 4 5 }
 21:    { 1 1 3 }{ 1 2 2 4 5 }
 22:    { 1 1 4 }{ 1 2 2 3 5 }
 23:    { 1 1 5 }{ 1 2 2 3 4 }
 24:    { 1 2 2 }{ 1 1 3 4 5 }
 25:    { 1 2 3 }{ 1 1 2 4 5 }
 26:    { 1 2 4 }{ 1 1 2 3 5 }
 27:    { 1 2 5 }{ 1 1 2 3 4 }
 28:    { 1 3 4 }{ 1 1 2 2 5 }
 29:    { 1 3 5 }{ 1 1 2 2 4 }
 30:    { 1 4 5 }{ 1 1 2 2 3 }
 31:    { 2 2 3 }{ 1 1 1 4 5 }
 32:    { 2 2 4 }{ 1 1 1 3 5 }
 33:    { 2 2 5 }{ 1 1 1 3 4 }
 34:    { 2 3 4 }{ 1 1 1 2 5 }
 35:    { 2 3 5 }{ 1 1 1 2 4 }
 36:    { 2 4 5 }{ 1 1 1 2 3 }
 37:    { 3 4 5 }{ 1 1 1 2 2 }
 38:    { 1 1 1 2 }{ 2 3 4 5 }
 39:    { 1 1 1 3 }{ 2 2 4 5 }
 40:    { 1 1 1 4 }{ 2 2 3 5 }
 41:    { 1 1 1 5 }{ 2 2 3 4 }
 42:    { 1 1 2 2 }{ 1 3 4 5 }
 43:    { 1 1 2 3 }{ 1 2 4 5 }
 44:    { 1 1 2 4 }{ 1 2 3 5 }
 45:    { 1 1 2 5 }{ 1 2 3 4 }
 46:    { 1 1 3 4 }{ 1 2 2 5 }
 47:    { 1 1 3 5 }{ 1 2 2 4 }
 48:    { 1 1 4 5 }{ 1 2 2 3 }
 49:    { 1 }{ 1 }{ 1 2 2 3 4 5 }
 50:    { 1 }{ 2 }{ 1 1 2 3 4 5 }
 51:    { 1 }{ 3 }{ 1 1 2 2 4 5 }
 52:    { 1 }{ 4 }{ 1 1 2 2 3 5 }
 53:    { 1 }{ 5 }{ 1 1 2 2 3 4 }
 54:    { 1 }{ 1 1 }{ 2 2 3 4 5 }
 55:    { 1 }{ 1 2 }{ 1 2 3 4 5 }
 56:    { 1 }{ 1 3 }{ 1 2 2 4 5 }
 57:    { 1 }{ 1 4 }{ 1 2 2 3 5 }
 58:    { 1 }{ 1 5 }{ 1 2 2 3 4 }
 59:    { 1 }{ 2 2 }{ 1 1 3 4 5 }
 60:    { 1 }{ 2 3 }{ 1 1 2 4 5 }
 61:    { 1 }{ 2 4 }{ 1 1 2 3 5 }
 62:    { 1 }{ 2 5 }{ 1 1 2 3 4 }
 63:    { 1 }{ 3 4 }{ 1 1 2 2 5 }
 64:    { 1 }{ 3 5 }{ 1 1 2 2 4 }
 65:    { 1 }{ 4 5 }{ 1 1 2 2 3 }
 66:    { 1 }{ 1 1 2 }{ 2 3 4 5 }
 67:    { 1 }{ 1 1 3 }{ 2 2 4 5 }
 68:    { 1 }{ 1 1 4 }{ 2 2 3 5 }
 69:    { 1 }{ 1 1 5 }{ 2 2 3 4 }
 70:    { 1 }{ 1 2 2 }{ 1 3 4 5 }
 71:    { 1 }{ 1 2 3 }{ 1 2 4 5 }
 72:    { 1 }{ 1 2 4 }{ 1 2 3 5 }
 73:    { 1 }{ 1 2 5 }{ 1 2 3 4 }
 74:    { 1 }{ 1 3 4 }{ 1 2 2 5 }
 75:    { 1 }{ 1 3 5 }{ 1 2 2 4 }
 76:    { 1 }{ 1 4 5 }{ 1 2 2 3 }
 77:    { 1 }{ 2 2 3 }{ 1 1 4 5 }
 78:    { 1 }{ 2 2 4 }{ 1 1 3 5 }
 79:    { 1 }{ 2 2 5 }{ 1 1 3 4 }
 80:    { 1 }{ 2 3 4 }{ 1 1 2 5 }
 81:    { 1 }{ 2 3 5 }{ 1 1 2 4 }
 82:    { 1 }{ 2 4 5 }{ 1 1 2 3 }
 83:    { 1 }{ 3 4 5 }{ 1 1 2 2 }
 84:    { 2 }{ 2 }{ 1 1 1 3 4 5 }
 85:    { 2 }{ 3 }{ 1 1 1 2 4 5 }
 86:    { 2 }{ 4 }{ 1 1 1 2 3 5 }
 87:    { 2 }{ 5 }{ 1 1 1 2 3 4 }
 88:    { 2 }{ 1 1 }{ 1 2 3 4 5 }
 89:    { 2 }{ 1 2 }{ 1 1 3 4 5 }
 90:    { 2 }{ 1 3 }{ 1 1 2 4 5 }
 91:    { 2 }{ 1 4 }{ 1 1 2 3 5 }
 92:    { 2 }{ 1 5 }{ 1 1 2 3 4 }
 93:    { 2 }{ 2 3 }{ 1 1 1 4 5 }
 94:    { 2 }{ 2 4 }{ 1 1 1 3 5 }
 95:    { 2 }{ 2 5 }{ 1 1 1 3 4 }
 96:    { 2 }{ 3 4 }{ 1 1 1 2 5 }
 97:    { 2 }{ 3 5 }{ 1 1 1 2 4 }
 98:    { 2 }{ 4 5 }{ 1 1 1 2 3 }
 99:    { 2 }{ 1 1 1 }{ 2 3 4 5 }
100:    { 2 }{ 1 1 2 }{ 1 3 4 5 }
101:    { 2 }{ 1 1 3 }{ 1 2 4 5 }
102:    { 2 }{ 1 1 4 }{ 1 2 3 5 }
103:    { 2 }{ 1 1 5 }{ 1 2 3 4 }
104:    { 2 }{ 1 2 3 }{ 1 1 4 5 }
105:    { 2 }{ 1 2 4 }{ 1 1 3 5 }
106:    { 2 }{ 1 2 5 }{ 1 1 3 4 }
107:    { 2 }{ 1 3 4 }{ 1 1 2 5 }
108:    { 2 }{ 1 3 5 }{ 1 1 2 4 }
109:    { 2 }{ 1 4 5 }{ 1 1 2 3 }
110:    { 2 }{ 2 3 4 }{ 1 1 1 5 }
111:    { 2 }{ 2 3 5 }{ 1 1 1 4 }
112:    { 2 }{ 2 4 5 }{ 1 1 1 3 }
113:    { 2 }{ 3 4 5 }{ 1 1 1 2 }
114:    { 3 }{ 4 }{ 1 1 1 2 2 5 }
115:    { 3 }{ 5 }{ 1 1 1 2 2 4 }
116:    { 3 }{ 1 1 }{ 1 2 2 4 5 }
117:    { 3 }{ 1 2 }{ 1 1 2 4 5 }
118:    { 3 }{ 1 4 }{ 1 1 2 2 5 }
119:    { 3 }{ 1 5 }{ 1 1 2 2 4 }
120:    { 3 }{ 2 2 }{ 1 1 1 4 5 }
121:    { 3 }{ 2 4 }{ 1 1 1 2 5 }
122:    { 3 }{ 2 5 }{ 1 1 1 2 4 }
123:    { 3 }{ 4 5 }{ 1 1 1 2 2 }
124:    { 3 }{ 1 1 1 }{ 2 2 4 5 }
125:    { 3 }{ 1 1 2 }{ 1 2 4 5 }
126:    { 3 }{ 1 1 4 }{ 1 2 2 5 }
127:    { 3 }{ 1 1 5 }{ 1 2 2 4 }
128:    { 3 }{ 1 2 2 }{ 1 1 4 5 }
129:    { 3 }{ 1 2 4 }{ 1 1 2 5 }
130:    { 3 }{ 1 2 5 }{ 1 1 2 4 }
131:    { 3 }{ 1 4 5 }{ 1 1 2 2 }
132:    { 3 }{ 2 2 4 }{ 1 1 1 5 }
133:    { 3 }{ 2 2 5 }{ 1 1 1 4 }
134:    { 3 }{ 2 4 5 }{ 1 1 1 2 }
135:    { 4 }{ 5 }{ 1 1 1 2 2 3 }
136:    { 4 }{ 1 1 }{ 1 2 2 3 5 }
137:    { 4 }{ 1 2 }{ 1 1 2 3 5 }
138:    { 4 }{ 1 3 }{ 1 1 2 2 5 }
139:    { 4 }{ 1 5 }{ 1 1 2 2 3 }
140:    { 4 }{ 2 2 }{ 1 1 1 3 5 }
141:    { 4 }{ 2 3 }{ 1 1 1 2 5 }
142:    { 4 }{ 2 5 }{ 1 1 1 2 3 }
143:    { 4 }{ 3 5 }{ 1 1 1 2 2 }
144:    { 4 }{ 1 1 1 }{ 2 2 3 5 }
145:    { 4 }{ 1 1 2 }{ 1 2 3 5 }
146:    { 4 }{ 1 1 3 }{ 1 2 2 5 }
147:    { 4 }{ 1 1 5 }{ 1 2 2 3 }
148:    { 4 }{ 1 2 2 }{ 1 1 3 5 }
149:    { 4 }{ 1 2 3 }{ 1 1 2 5 }
150:    { 4 }{ 1 2 5 }{ 1 1 2 3 }
151:    { 4 }{ 1 3 5 }{ 1 1 2 2 }
152:    { 4 }{ 2 2 3 }{ 1 1 1 5 }
153:    { 4 }{ 2 2 5 }{ 1 1 1 3 }
154:    { 4 }{ 2 3 5 }{ 1 1 1 2 }
155:    { 5 }{ 1 1 }{ 1 2 2 3 4 }
156:    { 5 }{ 1 2 }{ 1 1 2 3 4 }
157:    { 5 }{ 1 3 }{ 1 1 2 2 4 }
158:    { 5 }{ 1 4 }{ 1 1 2 2 3 }
159:    { 5 }{ 2 2 }{ 1 1 1 3 4 }
160:    { 5 }{ 2 3 }{ 1 1 1 2 4 }
161:    { 5 }{ 2 4 }{ 1 1 1 2 3 }
162:    { 5 }{ 3 4 }{ 1 1 1 2 2 }
163:    { 5 }{ 1 1 1 }{ 2 2 3 4 }
164:    { 5 }{ 1 1 2 }{ 1 2 3 4 }
165:    { 5 }{ 1 1 3 }{ 1 2 2 4 }
166:    { 5 }{ 1 1 4 }{ 1 2 2 3 }
167:    { 5 }{ 1 2 2 }{ 1 1 3 4 }
168:    { 5 }{ 1 2 3 }{ 1 1 2 4 }
169:    { 5 }{ 1 2 4 }{ 1 1 2 3 }
170:    { 5 }{ 1 3 4 }{ 1 1 2 2 }
171:    { 5 }{ 2 2 3 }{ 1 1 1 4 }
172:    { 5 }{ 2 2 4 }{ 1 1 1 3 }
173:    { 5 }{ 2 3 4 }{ 1 1 1 2 }
174:    { 1 1 }{ 1 2 }{ 2 3 4 5 }
175:    { 1 1 }{ 1 3 }{ 2 2 4 5 }
176:    { 1 1 }{ 1 4 }{ 2 2 3 5 }
177:    { 1 1 }{ 1 5 }{ 2 2 3 4 }
178:    { 1 1 }{ 2 2 }{ 1 3 4 5 }
179:    { 1 1 }{ 2 3 }{ 1 2 4 5 }
180:    { 1 1 }{ 2 4 }{ 1 2 3 5 }
181:    { 1 1 }{ 2 5 }{ 1 2 3 4 }
182:    { 1 1 }{ 3 4 }{ 1 2 2 5 }
183:    { 1 1 }{ 3 5 }{ 1 2 2 4 }
184:    { 1 1 }{ 4 5 }{ 1 2 2 3 }
185:    { 1 1 }{ 1 2 2 }{ 3 4 5 }
186:    { 1 1 }{ 1 2 3 }{ 2 4 5 }
187:    { 1 1 }{ 1 2 4 }{ 2 3 5 }
188:    { 1 1 }{ 1 2 5 }{ 2 3 4 }
189:    { 1 1 }{ 1 3 4 }{ 2 2 5 }
190:    { 1 1 }{ 1 3 5 }{ 2 2 4 }
191:    { 1 1 }{ 1 4 5 }{ 2 2 3 }
192:    { 1 2 }{ 1 2 }{ 1 3 4 5 }
193:    { 1 2 }{ 1 3 }{ 1 2 4 5 }
194:    { 1 2 }{ 1 4 }{ 1 2 3 5 }
195:    { 1 2 }{ 1 5 }{ 1 2 3 4 }
196:    { 1 2 }{ 2 3 }{ 1 1 4 5 }
197:    { 1 2 }{ 2 4 }{ 1 1 3 5 }
198:    { 1 2 }{ 2 5 }{ 1 1 3 4 }
199:    { 1 2 }{ 3 4 }{ 1 1 2 5 }
200:    { 1 2 }{ 3 5 }{ 1 1 2 4 }
201:    { 1 2 }{ 4 5 }{ 1 1 2 3 }
202:    { 1 2 }{ 1 1 2 }{ 3 4 5 }
203:    { 1 2 }{ 1 1 3 }{ 2 4 5 }
204:    { 1 2 }{ 1 1 4 }{ 2 3 5 }
205:    { 1 2 }{ 1 1 5 }{ 2 3 4 }
206:    { 1 2 }{ 1 2 3 }{ 1 4 5 }
207:    { 1 2 }{ 1 2 4 }{ 1 3 5 }
208:    { 1 2 }{ 1 2 5 }{ 1 3 4 }
209:    { 1 3 }{ 1 4 }{ 1 2 2 5 }
210:    { 1 3 }{ 1 5 }{ 1 2 2 4 }
211:    { 1 3 }{ 2 2 }{ 1 1 4 5 }
212:    { 1 3 }{ 2 4 }{ 1 1 2 5 }
213:    { 1 3 }{ 2 5 }{ 1 1 2 4 }
214:    { 1 3 }{ 4 5 }{ 1 1 2 2 }
215:    { 1 3 }{ 1 1 2 }{ 2 4 5 }
216:    { 1 3 }{ 1 1 4 }{ 2 2 5 }
217:    { 1 3 }{ 1 1 5 }{ 2 2 4 }
218:    { 1 3 }{ 1 2 2 }{ 1 4 5 }
219:    { 1 3 }{ 1 2 4 }{ 1 2 5 }
220:    { 1 4 }{ 1 5 }{ 1 2 2 3 }
221:    { 1 4 }{ 2 2 }{ 1 1 3 5 }
222:    { 1 4 }{ 2 3 }{ 1 1 2 5 }
223:    { 1 4 }{ 2 5 }{ 1 1 2 3 }
224:    { 1 4 }{ 3 5 }{ 1 1 2 2 }
225:    { 1 4 }{ 1 1 2 }{ 2 3 5 }
226:    { 1 4 }{ 1 1 3 }{ 2 2 5 }
227:    { 1 4 }{ 1 1 5 }{ 2 2 3 }
228:    { 1 4 }{ 1 2 2 }{ 1 3 5 }
229:    { 1 4 }{ 1 2 3 }{ 1 2 5 }
230:    { 1 5 }{ 2 2 }{ 1 1 3 4 }
231:    { 1 5 }{ 2 3 }{ 1 1 2 4 }
232:    { 1 5 }{ 2 4 }{ 1 1 2 3 }
233:    { 1 5 }{ 3 4 }{ 1 1 2 2 }
234:    { 1 5 }{ 1 1 2 }{ 2 3 4 }
235:    { 1 5 }{ 1 1 3 }{ 2 2 4 }
236:    { 1 5 }{ 1 1 4 }{ 2 2 3 }
237:    { 1 5 }{ 1 2 2 }{ 1 3 4 }
238:    { 1 5 }{ 1 2 3 }{ 1 2 4 }
239:    { 2 2 }{ 3 4 }{ 1 1 1 5 }
240:    { 2 2 }{ 3 5 }{ 1 1 1 4 }
241:    { 2 2 }{ 4 5 }{ 1 1 1 3 }
242:    { 2 2 }{ 1 1 1 }{ 3 4 5 }
243:    { 2 2 }{ 1 1 3 }{ 1 4 5 }
244:    { 2 2 }{ 1 1 4 }{ 1 3 5 }
245:    { 2 2 }{ 1 1 5 }{ 1 3 4 }
246:    { 2 3 }{ 2 4 }{ 1 1 1 5 }
247:    { 2 3 }{ 2 5 }{ 1 1 1 4 }
248:    { 2 3 }{ 4 5 }{ 1 1 1 2 }
249:    { 2 3 }{ 1 1 1 }{ 2 4 5 }
250:    { 2 3 }{ 1 1 2 }{ 1 4 5 }
251:    { 2 3 }{ 1 1 4 }{ 1 2 5 }
252:    { 2 3 }{ 1 1 5 }{ 1 2 4 }
253:    { 2 4 }{ 2 5 }{ 1 1 1 3 }
254:    { 2 4 }{ 3 5 }{ 1 1 1 2 }
255:    { 2 4 }{ 1 1 1 }{ 2 3 5 }
256:    { 2 4 }{ 1 1 2 }{ 1 3 5 }
257:    { 2 4 }{ 1 1 3 }{ 1 2 5 }
258:    { 2 4 }{ 1 1 5 }{ 1 2 3 }
259:    { 2 5 }{ 3 4 }{ 1 1 1 2 }
260:    { 2 5 }{ 1 1 1 }{ 2 3 4 }
261:    { 2 5 }{ 1 1 2 }{ 1 3 4 }
262:    { 2 5 }{ 1 1 3 }{ 1 2 4 }
263:    { 2 5 }{ 1 1 4 }{ 1 2 3 }
264:    { 3 4 }{ 1 1 1 }{ 2 2 5 }
265:    { 3 4 }{ 1 1 2 }{ 1 2 5 }
266:    { 3 4 }{ 1 1 5 }{ 1 2 2 }
267:    { 3 5 }{ 1 1 1 }{ 2 2 4 }
268:    { 3 5 }{ 1 1 2 }{ 1 2 4 }
269:    { 3 5 }{ 1 1 4 }{ 1 2 2 }
270:    { 4 5 }{ 1 1 1 }{ 2 2 3 }
271:    { 4 5 }{ 1 1 2 }{ 1 2 3 }
272:    { 4 5 }{ 1 1 3 }{ 1 2 2 }
273:    { 1 }{ 1 }{ 1 }{ 2 2 3 4 5 }
274:    { 1 }{ 1 }{ 2 }{ 1 2 3 4 5 }
275:    { 1 }{ 1 }{ 3 }{ 1 2 2 4 5 }
276:    { 1 }{ 1 }{ 4 }{ 1 2 2 3 5 }
277:    { 1 }{ 1 }{ 5 }{ 1 2 2 3 4 }
278:    { 1 }{ 1 }{ 1 2 }{ 2 3 4 5 }
279:    { 1 }{ 1 }{ 1 3 }{ 2 2 4 5 }
280:    { 1 }{ 1 }{ 1 4 }{ 2 2 3 5 }
281:    { 1 }{ 1 }{ 1 5 }{ 2 2 3 4 }
282:    { 1 }{ 1 }{ 2 2 }{ 1 3 4 5 }
283:    { 1 }{ 1 }{ 2 3 }{ 1 2 4 5 }
284:    { 1 }{ 1 }{ 2 4 }{ 1 2 3 5 }
285:    { 1 }{ 1 }{ 2 5 }{ 1 2 3 4 }
286:    { 1 }{ 1 }{ 3 4 }{ 1 2 2 5 }
287:    { 1 }{ 1 }{ 3 5 }{ 1 2 2 4 }
288:    { 1 }{ 1 }{ 4 5 }{ 1 2 2 3 }
289:    { 1 }{ 1 }{ 1 2 2 }{ 3 4 5 }
290:    { 1 }{ 1 }{ 1 2 3 }{ 2 4 5 }
291:    { 1 }{ 1 }{ 1 2 4 }{ 2 3 5 }
292:    { 1 }{ 1 }{ 1 2 5 }{ 2 3 4 }
293:    { 1 }{ 1 }{ 1 3 4 }{ 2 2 5 }
294:    { 1 }{ 1 }{ 1 3 5 }{ 2 2 4 }
295:    { 1 }{ 1 }{ 1 4 5 }{ 2 2 3 }
296:    { 1 }{ 2 }{ 2 }{ 1 1 3 4 5 }
297:    { 1 }{ 2 }{ 3 }{ 1 1 2 4 5 }
298:    { 1 }{ 2 }{ 4 }{ 1 1 2 3 5 }
299:    { 1 }{ 2 }{ 5 }{ 1 1 2 3 4 }
300:    { 1 }{ 2 }{ 1 1 }{ 2 3 4 5 }
301:    { 1 }{ 2 }{ 1 2 }{ 1 3 4 5 }
302:    { 1 }{ 2 }{ 1 3 }{ 1 2 4 5 }
303:    { 1 }{ 2 }{ 1 4 }{ 1 2 3 5 }
304:    { 1 }{ 2 }{ 1 5 }{ 1 2 3 4 }
305:    { 1 }{ 2 }{ 2 3 }{ 1 1 4 5 }
306:    { 1 }{ 2 }{ 2 4 }{ 1 1 3 5 }
307:    { 1 }{ 2 }{ 2 5 }{ 1 1 3 4 }
308:    { 1 }{ 2 }{ 3 4 }{ 1 1 2 5 }
309:    { 1 }{ 2 }{ 3 5 }{ 1 1 2 4 }
310:    { 1 }{ 2 }{ 4 5 }{ 1 1 2 3 }
311:    { 1 }{ 2 }{ 1 1 2 }{ 3 4 5 }
312:    { 1 }{ 2 }{ 1 1 3 }{ 2 4 5 }
313:    { 1 }{ 2 }{ 1 1 4 }{ 2 3 5 }
314:    { 1 }{ 2 }{ 1 1 5 }{ 2 3 4 }
315:    { 1 }{ 2 }{ 1 2 3 }{ 1 4 5 }
316:    { 1 }{ 2 }{ 1 2 4 }{ 1 3 5 }
317:    { 1 }{ 2 }{ 1 2 5 }{ 1 3 4 }
318:    { 1 }{ 3 }{ 4 }{ 1 1 2 2 5 }
319:    { 1 }{ 3 }{ 5 }{ 1 1 2 2 4 }
320:    { 1 }{ 3 }{ 1 1 }{ 2 2 4 5 }
321:    { 1 }{ 3 }{ 1 2 }{ 1 2 4 5 }
322:    { 1 }{ 3 }{ 1 4 }{ 1 2 2 5 }
323:    { 1 }{ 3 }{ 1 5 }{ 1 2 2 4 }
324:    { 1 }{ 3 }{ 2 2 }{ 1 1 4 5 }
325:    { 1 }{ 3 }{ 2 4 }{ 1 1 2 5 }
326:    { 1 }{ 3 }{ 2 5 }{ 1 1 2 4 }
327:    { 1 }{ 3 }{ 4 5 }{ 1 1 2 2 }
328:    { 1 }{ 3 }{ 1 1 2 }{ 2 4 5 }
329:    { 1 }{ 3 }{ 1 1 4 }{ 2 2 5 }
330:    { 1 }{ 3 }{ 1 1 5 }{ 2 2 4 }
331:    { 1 }{ 3 }{ 1 2 2 }{ 1 4 5 }
332:    { 1 }{ 3 }{ 1 2 4 }{ 1 2 5 }
333:    { 1 }{ 4 }{ 5 }{ 1 1 2 2 3 }
334:    { 1 }{ 4 }{ 1 1 }{ 2 2 3 5 }
335:    { 1 }{ 4 }{ 1 2 }{ 1 2 3 5 }
336:    { 1 }{ 4 }{ 1 3 }{ 1 2 2 5 }
337:    { 1 }{ 4 }{ 1 5 }{ 1 2 2 3 }
338:    { 1 }{ 4 }{ 2 2 }{ 1 1 3 5 }
339:    { 1 }{ 4 }{ 2 3 }{ 1 1 2 5 }
340:    { 1 }{ 4 }{ 2 5 }{ 1 1 2 3 }
341:    { 1 }{ 4 }{ 3 5 }{ 1 1 2 2 }
342:    { 1 }{ 4 }{ 1 1 2 }{ 2 3 5 }
343:    { 1 }{ 4 }{ 1 1 3 }{ 2 2 5 }
344:    { 1 }{ 4 }{ 1 1 5 }{ 2 2 3 }
345:    { 1 }{ 4 }{ 1 2 2 }{ 1 3 5 }
346:    { 1 }{ 4 }{ 1 2 3 }{ 1 2 5 }
347:    { 1 }{ 5 }{ 1 1 }{ 2 2 3 4 }
348:    { 1 }{ 5 }{ 1 2 }{ 1 2 3 4 }
349:    { 1 }{ 5 }{ 1 3 }{ 1 2 2 4 }
350:    { 1 }{ 5 }{ 1 4 }{ 1 2 2 3 }
351:    { 1 }{ 5 }{ 2 2 }{ 1 1 3 4 }
352:    { 1 }{ 5 }{ 2 3 }{ 1 1 2 4 }
353:    { 1 }{ 5 }{ 2 4 }{ 1 1 2 3 }
354:    { 1 }{ 5 }{ 3 4 }{ 1 1 2 2 }
355:    { 1 }{ 5 }{ 1 1 2 }{ 2 3 4 }
356:    { 1 }{ 5 }{ 1 1 3 }{ 2 2 4 }
357:    { 1 }{ 5 }{ 1 1 4 }{ 2 2 3 }
358:    { 1 }{ 5 }{ 1 2 2 }{ 1 3 4 }
359:    { 1 }{ 5 }{ 1 2 3 }{ 1 2 4 }
360:    { 1 }{ 1 1 }{ 2 2 }{ 3 4 5 }
361:    { 1 }{ 1 1 }{ 2 3 }{ 2 4 5 }
362:    { 1 }{ 1 1 }{ 2 4 }{ 2 3 5 }
363:    { 1 }{ 1 1 }{ 2 5 }{ 2 3 4 }
364:    { 1 }{ 1 1 }{ 3 4 }{ 2 2 5 }
365:    { 1 }{ 1 1 }{ 3 5 }{ 2 2 4 }
366:    { 1 }{ 1 1 }{ 4 5 }{ 2 2 3 }
367:    { 1 }{ 1 2 }{ 1 2 }{ 3 4 5 }
368:    { 1 }{ 1 2 }{ 1 3 }{ 2 4 5 }
369:    { 1 }{ 1 2 }{ 1 4 }{ 2 3 5 }
370:    { 1 }{ 1 2 }{ 1 5 }{ 2 3 4 }
371:    { 1 }{ 1 2 }{ 2 3 }{ 1 4 5 }
372:    { 1 }{ 1 2 }{ 2 4 }{ 1 3 5 }
373:    { 1 }{ 1 2 }{ 2 5 }{ 1 3 4 }
374:    { 1 }{ 1 2 }{ 3 4 }{ 1 2 5 }
375:    { 1 }{ 1 2 }{ 3 5 }{ 1 2 4 }
376:    { 1 }{ 1 2 }{ 4 5 }{ 1 2 3 }
377:    { 1 }{ 1 3 }{ 1 4 }{ 2 2 5 }
378:    { 1 }{ 1 3 }{ 1 5 }{ 2 2 4 }
379:    { 1 }{ 1 3 }{ 2 2 }{ 1 4 5 }
380:    { 1 }{ 1 3 }{ 2 4 }{ 1 2 5 }
381:    { 1 }{ 1 3 }{ 2 5 }{ 1 2 4 }
382:    { 1 }{ 1 3 }{ 4 5 }{ 1 2 2 }
383:    { 1 }{ 1 4 }{ 1 5 }{ 2 2 3 }
384:    { 1 }{ 1 4 }{ 2 2 }{ 1 3 5 }
385:    { 1 }{ 1 4 }{ 2 3 }{ 1 2 5 }
386:    { 1 }{ 1 4 }{ 2 5 }{ 1 2 3 }
387:    { 1 }{ 1 4 }{ 3 5 }{ 1 2 2 }
388:    { 1 }{ 1 5 }{ 2 2 }{ 1 3 4 }
389:    { 1 }{ 1 5 }{ 2 3 }{ 1 2 4 }
390:    { 1 }{ 1 5 }{ 2 4 }{ 1 2 3 }
391:    { 1 }{ 1 5 }{ 3 4 }{ 1 2 2 }
392:    { 1 }{ 2 2 }{ 3 4 }{ 1 1 5 }
393:    { 1 }{ 2 2 }{ 3 5 }{ 1 1 4 }
394:    { 1 }{ 2 2 }{ 4 5 }{ 1 1 3 }
395:    { 1 }{ 2 3 }{ 2 4 }{ 1 1 5 }
396:    { 1 }{ 2 3 }{ 2 5 }{ 1 1 4 }
397:    { 1 }{ 2 3 }{ 4 5 }{ 1 1 2 }
398:    { 1 }{ 2 4 }{ 2 5 }{ 1 1 3 }
399:    { 1 }{ 2 4 }{ 3 5 }{ 1 1 2 }
400:    { 1 }{ 2 5 }{ 3 4 }{ 1 1 2 }
401:    { 2 }{ 2 }{ 3 }{ 1 1 1 4 5 }
402:    { 2 }{ 2 }{ 4 }{ 1 1 1 3 5 }
403:    { 2 }{ 2 }{ 5 }{ 1 1 1 3 4 }
404:    { 2 }{ 2 }{ 1 1 }{ 1 3 4 5 }
405:    { 2 }{ 2 }{ 1 3 }{ 1 1 4 5 }
406:    { 2 }{ 2 }{ 1 4 }{ 1 1 3 5 }
407:    { 2 }{ 2 }{ 1 5 }{ 1 1 3 4 }
408:    { 2 }{ 2 }{ 3 4 }{ 1 1 1 5 }
409:    { 2 }{ 2 }{ 3 5 }{ 1 1 1 4 }
410:    { 2 }{ 2 }{ 4 5 }{ 1 1 1 3 }
411:    { 2 }{ 2 }{ 1 1 1 }{ 3 4 5 }
412:    { 2 }{ 2 }{ 1 1 3 }{ 1 4 5 }
413:    { 2 }{ 2 }{ 1 1 4 }{ 1 3 5 }
414:    { 2 }{ 2 }{ 1 1 5 }{ 1 3 4 }
415:    { 2 }{ 3 }{ 4 }{ 1 1 1 2 5 }
416:    { 2 }{ 3 }{ 5 }{ 1 1 1 2 4 }
417:    { 2 }{ 3 }{ 1 1 }{ 1 2 4 5 }
418:    { 2 }{ 3 }{ 1 2 }{ 1 1 4 5 }
419:    { 2 }{ 3 }{ 1 4 }{ 1 1 2 5 }
420:    { 2 }{ 3 }{ 1 5 }{ 1 1 2 4 }
421:    { 2 }{ 3 }{ 2 4 }{ 1 1 1 5 }
422:    { 2 }{ 3 }{ 2 5 }{ 1 1 1 4 }
423:    { 2 }{ 3 }{ 4 5 }{ 1 1 1 2 }
424:    { 2 }{ 3 }{ 1 1 1 }{ 2 4 5 }
425:    { 2 }{ 3 }{ 1 1 2 }{ 1 4 5 }
426:    { 2 }{ 3 }{ 1 1 4 }{ 1 2 5 }
427:    { 2 }{ 3 }{ 1 1 5 }{ 1 2 4 }
428:    { 2 }{ 4 }{ 5 }{ 1 1 1 2 3 }
429:    { 2 }{ 4 }{ 1 1 }{ 1 2 3 5 }
430:    { 2 }{ 4 }{ 1 2 }{ 1 1 3 5 }
431:    { 2 }{ 4 }{ 1 3 }{ 1 1 2 5 }
432:    { 2 }{ 4 }{ 1 5 }{ 1 1 2 3 }
433:    { 2 }{ 4 }{ 2 3 }{ 1 1 1 5 }
434:    { 2 }{ 4 }{ 2 5 }{ 1 1 1 3 }
435:    { 2 }{ 4 }{ 3 5 }{ 1 1 1 2 }
436:    { 2 }{ 4 }{ 1 1 1 }{ 2 3 5 }
437:    { 2 }{ 4 }{ 1 1 2 }{ 1 3 5 }
438:    { 2 }{ 4 }{ 1 1 3 }{ 1 2 5 }
439:    { 2 }{ 4 }{ 1 1 5 }{ 1 2 3 }
440:    { 2 }{ 5 }{ 1 1 }{ 1 2 3 4 }
441:    { 2 }{ 5 }{ 1 2 }{ 1 1 3 4 }
442:    { 2 }{ 5 }{ 1 3 }{ 1 1 2 4 }
443:    { 2 }{ 5 }{ 1 4 }{ 1 1 2 3 }
444:    { 2 }{ 5 }{ 2 3 }{ 1 1 1 4 }
445:    { 2 }{ 5 }{ 2 4 }{ 1 1 1 3 }
446:    { 2 }{ 5 }{ 3 4 }{ 1 1 1 2 }
447:    { 2 }{ 5 }{ 1 1 1 }{ 2 3 4 }
448:    { 2 }{ 5 }{ 1 1 2 }{ 1 3 4 }
449:    { 2 }{ 5 }{ 1 1 3 }{ 1 2 4 }
450:    { 2 }{ 5 }{ 1 1 4 }{ 1 2 3 }
451:    { 2 }{ 1 1 }{ 1 2 }{ 3 4 5 }
452:    { 2 }{ 1 1 }{ 1 3 }{ 2 4 5 }
453:    { 2 }{ 1 1 }{ 1 4 }{ 2 3 5 }
454:    { 2 }{ 1 1 }{ 1 5 }{ 2 3 4 }
455:    { 2 }{ 1 1 }{ 2 3 }{ 1 4 5 }
456:    { 2 }{ 1 1 }{ 2 4 }{ 1 3 5 }
457:    { 2 }{ 1 1 }{ 2 5 }{ 1 3 4 }
458:    { 2 }{ 1 1 }{ 3 4 }{ 1 2 5 }
459:    { 2 }{ 1 1 }{ 3 5 }{ 1 2 4 }
460:    { 2 }{ 1 1 }{ 4 5 }{ 1 2 3 }
461:    { 2 }{ 1 2 }{ 1 3 }{ 1 4 5 }
462:    { 2 }{ 1 2 }{ 1 4 }{ 1 3 5 }
463:    { 2 }{ 1 2 }{ 1 5 }{ 1 3 4 }
464:    { 2 }{ 1 2 }{ 3 4 }{ 1 1 5 }
465:    { 2 }{ 1 2 }{ 3 5 }{ 1 1 4 }
466:    { 2 }{ 1 2 }{ 4 5 }{ 1 1 3 }
467:    { 2 }{ 1 3 }{ 1 4 }{ 1 2 5 }
468:    { 2 }{ 1 3 }{ 1 5 }{ 1 2 4 }
469:    { 2 }{ 1 3 }{ 2 4 }{ 1 1 5 }
470:    { 2 }{ 1 3 }{ 2 5 }{ 1 1 4 }
471:    { 2 }{ 1 3 }{ 4 5 }{ 1 1 2 }
472:    { 2 }{ 1 4 }{ 1 5 }{ 1 2 3 }
473:    { 2 }{ 1 4 }{ 2 3 }{ 1 1 5 }
474:    { 2 }{ 1 4 }{ 2 5 }{ 1 1 3 }
475:    { 2 }{ 1 4 }{ 3 5 }{ 1 1 2 }
476:    { 2 }{ 1 5 }{ 2 3 }{ 1 1 4 }
477:    { 2 }{ 1 5 }{ 2 4 }{ 1 1 3 }
478:    { 2 }{ 1 5 }{ 3 4 }{ 1 1 2 }
479:    { 2 }{ 2 3 }{ 4 5 }{ 1 1 1 }
480:    { 2 }{ 2 4 }{ 3 5 }{ 1 1 1 }
481:    { 2 }{ 2 5 }{ 3 4 }{ 1 1 1 }
482:    { 3 }{ 4 }{ 5 }{ 1 1 1 2 2 }
483:    { 3 }{ 4 }{ 1 1 }{ 1 2 2 5 }
484:    { 3 }{ 4 }{ 1 2 }{ 1 1 2 5 }
485:    { 3 }{ 4 }{ 1 5 }{ 1 1 2 2 }
486:    { 3 }{ 4 }{ 2 2 }{ 1 1 1 5 }
487:    { 3 }{ 4 }{ 2 5 }{ 1 1 1 2 }
488:    { 3 }{ 4 }{ 1 1 1 }{ 2 2 5 }
489:    { 3 }{ 4 }{ 1 1 2 }{ 1 2 5 }
490:    { 3 }{ 4 }{ 1 1 5 }{ 1 2 2 }
491:    { 3 }{ 5 }{ 1 1 }{ 1 2 2 4 }
492:    { 3 }{ 5 }{ 1 2 }{ 1 1 2 4 }
493:    { 3 }{ 5 }{ 1 4 }{ 1 1 2 2 }
494:    { 3 }{ 5 }{ 2 2 }{ 1 1 1 4 }
495:    { 3 }{ 5 }{ 2 4 }{ 1 1 1 2 }
496:    { 3 }{ 5 }{ 1 1 1 }{ 2 2 4 }
497:    { 3 }{ 5 }{ 1 1 2 }{ 1 2 4 }
498:    { 3 }{ 5 }{ 1 1 4 }{ 1 2 2 }
499:    { 3 }{ 1 1 }{ 1 2 }{ 2 4 5 }
500:    { 3 }{ 1 1 }{ 1 4 }{ 2 2 5 }
501:    { 3 }{ 1 1 }{ 1 5 }{ 2 2 4 }
502:    { 3 }{ 1 1 }{ 2 2 }{ 1 4 5 }
503:    { 3 }{ 1 1 }{ 2 4 }{ 1 2 5 }
504:    { 3 }{ 1 1 }{ 2 5 }{ 1 2 4 }
505:    { 3 }{ 1 1 }{ 4 5 }{ 1 2 2 }
506:    { 3 }{ 1 2 }{ 1 2 }{ 1 4 5 }
507:    { 3 }{ 1 2 }{ 1 4 }{ 1 2 5 }
508:    { 3 }{ 1 2 }{ 1 5 }{ 1 2 4 }
509:    { 3 }{ 1 2 }{ 2 4 }{ 1 1 5 }
510:    { 3 }{ 1 2 }{ 2 5 }{ 1 1 4 }
511:    { 3 }{ 1 2 }{ 4 5 }{ 1 1 2 }
512:    { 3 }{ 1 4 }{ 1 5 }{ 1 2 2 }
513:    { 3 }{ 1 4 }{ 2 2 }{ 1 1 5 }
514:    { 3 }{ 1 4 }{ 2 5 }{ 1 1 2 }
515:    { 3 }{ 1 5 }{ 2 2 }{ 1 1 4 }
516:    { 3 }{ 1 5 }{ 2 4 }{ 1 1 2 }
517:    { 3 }{ 2 2 }{ 4 5 }{ 1 1 1 }
518:    { 3 }{ 2 4 }{ 2 5 }{ 1 1 1 }
519:    { 4 }{ 5 }{ 1 1 }{ 1 2 2 3 }
520:    { 4 }{ 5 }{ 1 2 }{ 1 1 2 3 }
521:    { 4 }{ 5 }{ 1 3 }{ 1 1 2 2 }
522:    { 4 }{ 5 }{ 2 2 }{ 1 1 1 3 }
523:    { 4 }{ 5 }{ 2 3 }{ 1 1 1 2 }
524:    { 4 }{ 5 }{ 1 1 1 }{ 2 2 3 }
525:    { 4 }{ 5 }{ 1 1 2 }{ 1 2 3 }
526:    { 4 }{ 5 }{ 1 1 3 }{ 1 2 2 }
527:    { 4 }{ 1 1 }{ 1 2 }{ 2 3 5 }
528:    { 4 }{ 1 1 }{ 1 3 }{ 2 2 5 }
529:    { 4 }{ 1 1 }{ 1 5 }{ 2 2 3 }
530:    { 4 }{ 1 1 }{ 2 2 }{ 1 3 5 }
531:    { 4 }{ 1 1 }{ 2 3 }{ 1 2 5 }
532:    { 4 }{ 1 1 }{ 2 5 }{ 1 2 3 }
533:    { 4 }{ 1 1 }{ 3 5 }{ 1 2 2 }
534:    { 4 }{ 1 2 }{ 1 2 }{ 1 3 5 }
535:    { 4 }{ 1 2 }{ 1 3 }{ 1 2 5 }
536:    { 4 }{ 1 2 }{ 1 5 }{ 1 2 3 }
537:    { 4 }{ 1 2 }{ 2 3 }{ 1 1 5 }
538:    { 4 }{ 1 2 }{ 2 5 }{ 1 1 3 }
539:    { 4 }{ 1 2 }{ 3 5 }{ 1 1 2 }
540:    { 4 }{ 1 3 }{ 1 5 }{ 1 2 2 }
541:    { 4 }{ 1 3 }{ 2 2 }{ 1 1 5 }
542:    { 4 }{ 1 3 }{ 2 5 }{ 1 1 2 }
543:    { 4 }{ 1 5 }{ 2 2 }{ 1 1 3 }
544:    { 4 }{ 1 5 }{ 2 3 }{ 1 1 2 }
545:    { 4 }{ 2 2 }{ 3 5 }{ 1 1 1 }
546:    { 4 }{ 2 3 }{ 2 5 }{ 1 1 1 }
547:    { 5 }{ 1 1 }{ 1 2 }{ 2 3 4 }
548:    { 5 }{ 1 1 }{ 1 3 }{ 2 2 4 }
549:    { 5 }{ 1 1 }{ 1 4 }{ 2 2 3 }
550:    { 5 }{ 1 1 }{ 2 2 }{ 1 3 4 }
551:    { 5 }{ 1 1 }{ 2 3 }{ 1 2 4 }
552:    { 5 }{ 1 1 }{ 2 4 }{ 1 2 3 }
553:    { 5 }{ 1 1 }{ 3 4 }{ 1 2 2 }
554:    { 5 }{ 1 2 }{ 1 2 }{ 1 3 4 }
555:    { 5 }{ 1 2 }{ 1 3 }{ 1 2 4 }
556:    { 5 }{ 1 2 }{ 1 4 }{ 1 2 3 }
557:    { 5 }{ 1 2 }{ 2 3 }{ 1 1 4 }
558:    { 5 }{ 1 2 }{ 2 4 }{ 1 1 3 }
559:    { 5 }{ 1 2 }{ 3 4 }{ 1 1 2 }
560:    { 5 }{ 1 3 }{ 1 4 }{ 1 2 2 }
561:    { 5 }{ 1 3 }{ 2 2 }{ 1 1 4 }
562:    { 5 }{ 1 3 }{ 2 4 }{ 1 1 2 }
563:    { 5 }{ 1 4 }{ 2 2 }{ 1 1 3 }
564:    { 5 }{ 1 4 }{ 2 3 }{ 1 1 2 }
565:    { 5 }{ 2 2 }{ 3 4 }{ 1 1 1 }
566:    { 5 }{ 2 3 }{ 2 4 }{ 1 1 1 }
567:    { 1 1 }{ 1 2 }{ 2 3 }{ 4 5 }
568:    { 1 1 }{ 1 2 }{ 2 4 }{ 3 5 }
569:    { 1 1 }{ 1 2 }{ 2 5 }{ 3 4 }
570:    { 1 1 }{ 1 3 }{ 2 2 }{ 4 5 }
571:    { 1 1 }{ 1 3 }{ 2 4 }{ 2 5 }
572:    { 1 1 }{ 1 4 }{ 2 2 }{ 3 5 }
573:    { 1 1 }{ 1 4 }{ 2 3 }{ 2 5 }
574:    { 1 1 }{ 1 5 }{ 2 2 }{ 3 4 }
575:    { 1 1 }{ 1 5 }{ 2 3 }{ 2 4 }
576:    { 1 2 }{ 1 2 }{ 1 3 }{ 4 5 }
577:    { 1 2 }{ 1 2 }{ 1 4 }{ 3 5 }
578:    { 1 2 }{ 1 2 }{ 1 5 }{ 3 4 }
579:    { 1 2 }{ 1 3 }{ 1 4 }{ 2 5 }
580:    { 1 2 }{ 1 3 }{ 1 5 }{ 2 4 }
581:    { 1 2 }{ 1 4 }{ 1 5 }{ 2 3 }
582:    { 1 3 }{ 1 4 }{ 1 5 }{ 2 2 }
583:    { 1 }{ 1 }{ 1 }{ 2 }{ 2 3 4 5 }
584:    { 1 }{ 1 }{ 1 }{ 3 }{ 2 2 4 5 }
585:    { 1 }{ 1 }{ 1 }{ 4 }{ 2 2 3 5 }
586:    { 1 }{ 1 }{ 1 }{ 5 }{ 2 2 3 4 }
587:    { 1 }{ 1 }{ 1 }{ 2 2 }{ 3 4 5 }
588:    { 1 }{ 1 }{ 1 }{ 2 3 }{ 2 4 5 }
589:    { 1 }{ 1 }{ 1 }{ 2 4 }{ 2 3 5 }
590:    { 1 }{ 1 }{ 1 }{ 2 5 }{ 2 3 4 }
591:    { 1 }{ 1 }{ 1 }{ 3 4 }{ 2 2 5 }
592:    { 1 }{ 1 }{ 1 }{ 3 5 }{ 2 2 4 }
593:    { 1 }{ 1 }{ 1 }{ 4 5 }{ 2 2 3 }
594:    { 1 }{ 1 }{ 2 }{ 2 }{ 1 3 4 5 }
595:    { 1 }{ 1 }{ 2 }{ 3 }{ 1 2 4 5 }
596:    { 1 }{ 1 }{ 2 }{ 4 }{ 1 2 3 5 }
597:    { 1 }{ 1 }{ 2 }{ 5 }{ 1 2 3 4 }
598:    { 1 }{ 1 }{ 2 }{ 1 2 }{ 3 4 5 }
599:    { 1 }{ 1 }{ 2 }{ 1 3 }{ 2 4 5 }
600:    { 1 }{ 1 }{ 2 }{ 1 4 }{ 2 3 5 }
601:    { 1 }{ 1 }{ 2 }{ 1 5 }{ 2 3 4 }
602:    { 1 }{ 1 }{ 2 }{ 2 3 }{ 1 4 5 }
603:    { 1 }{ 1 }{ 2 }{ 2 4 }{ 1 3 5 }
604:    { 1 }{ 1 }{ 2 }{ 2 5 }{ 1 3 4 }
605:    { 1 }{ 1 }{ 2 }{ 3 4 }{ 1 2 5 }
606:    { 1 }{ 1 }{ 2 }{ 3 5 }{ 1 2 4 }
607:    { 1 }{ 1 }{ 2 }{ 4 5 }{ 1 2 3 }
608:    { 1 }{ 1 }{ 3 }{ 4 }{ 1 2 2 5 }
609:    { 1 }{ 1 }{ 3 }{ 5 }{ 1 2 2 4 }
610:    { 1 }{ 1 }{ 3 }{ 1 2 }{ 2 4 5 }
611:    { 1 }{ 1 }{ 3 }{ 1 4 }{ 2 2 5 }
612:    { 1 }{ 1 }{ 3 }{ 1 5 }{ 2 2 4 }
613:    { 1 }{ 1 }{ 3 }{ 2 2 }{ 1 4 5 }
614:    { 1 }{ 1 }{ 3 }{ 2 4 }{ 1 2 5 }
615:    { 1 }{ 1 }{ 3 }{ 2 5 }{ 1 2 4 }
616:    { 1 }{ 1 }{ 3 }{ 4 5 }{ 1 2 2 }
617:    { 1 }{ 1 }{ 4 }{ 5 }{ 1 2 2 3 }
618:    { 1 }{ 1 }{ 4 }{ 1 2 }{ 2 3 5 }
619:    { 1 }{ 1 }{ 4 }{ 1 3 }{ 2 2 5 }
620:    { 1 }{ 1 }{ 4 }{ 1 5 }{ 2 2 3 }
621:    { 1 }{ 1 }{ 4 }{ 2 2 }{ 1 3 5 }
622:    { 1 }{ 1 }{ 4 }{ 2 3 }{ 1 2 5 }
623:    { 1 }{ 1 }{ 4 }{ 2 5 }{ 1 2 3 }
624:    { 1 }{ 1 }{ 4 }{ 3 5 }{ 1 2 2 }
625:    { 1 }{ 1 }{ 5 }{ 1 2 }{ 2 3 4 }
626:    { 1 }{ 1 }{ 5 }{ 1 3 }{ 2 2 4 }
627:    { 1 }{ 1 }{ 5 }{ 1 4 }{ 2 2 3 }
628:    { 1 }{ 1 }{ 5 }{ 2 2 }{ 1 3 4 }
629:    { 1 }{ 1 }{ 5 }{ 2 3 }{ 1 2 4 }
630:    { 1 }{ 1 }{ 5 }{ 2 4 }{ 1 2 3 }
631:    { 1 }{ 1 }{ 5 }{ 3 4 }{ 1 2 2 }
632:    { 1 }{ 1 }{ 1 2 }{ 2 3 }{ 4 5 }
633:    { 1 }{ 1 }{ 1 2 }{ 2 4 }{ 3 5 }
634:    { 1 }{ 1 }{ 1 2 }{ 2 5 }{ 3 4 }
635:    { 1 }{ 1 }{ 1 3 }{ 2 2 }{ 4 5 }
636:    { 1 }{ 1 }{ 1 3 }{ 2 4 }{ 2 5 }
637:    { 1 }{ 1 }{ 1 4 }{ 2 2 }{ 3 5 }
638:    { 1 }{ 1 }{ 1 4 }{ 2 3 }{ 2 5 }
639:    { 1 }{ 1 }{ 1 5 }{ 2 2 }{ 3 4 }
640:    { 1 }{ 1 }{ 1 5 }{ 2 3 }{ 2 4 }
641:    { 1 }{ 2 }{ 2 }{ 3 }{ 1 1 4 5 }
642:    { 1 }{ 2 }{ 2 }{ 4 }{ 1 1 3 5 }
643:    { 1 }{ 2 }{ 2 }{ 5 }{ 1 1 3 4 }
644:    { 1 }{ 2 }{ 2 }{ 1 1 }{ 3 4 5 }
645:    { 1 }{ 2 }{ 2 }{ 1 3 }{ 1 4 5 }
646:    { 1 }{ 2 }{ 2 }{ 1 4 }{ 1 3 5 }
647:    { 1 }{ 2 }{ 2 }{ 1 5 }{ 1 3 4 }
648:    { 1 }{ 2 }{ 2 }{ 3 4 }{ 1 1 5 }
649:    { 1 }{ 2 }{ 2 }{ 3 5 }{ 1 1 4 }
650:    { 1 }{ 2 }{ 2 }{ 4 5 }{ 1 1 3 }
651:    { 1 }{ 2 }{ 3 }{ 4 }{ 1 1 2 5 }
652:    { 1 }{ 2 }{ 3 }{ 5 }{ 1 1 2 4 }
653:    { 1 }{ 2 }{ 3 }{ 1 1 }{ 2 4 5 }
654:    { 1 }{ 2 }{ 3 }{ 1 2 }{ 1 4 5 }
655:    { 1 }{ 2 }{ 3 }{ 1 4 }{ 1 2 5 }
656:    { 1 }{ 2 }{ 3 }{ 1 5 }{ 1 2 4 }
657:    { 1 }{ 2 }{ 3 }{ 2 4 }{ 1 1 5 }
658:    { 1 }{ 2 }{ 3 }{ 2 5 }{ 1 1 4 }
659:    { 1 }{ 2 }{ 3 }{ 4 5 }{ 1 1 2 }
660:    { 1 }{ 2 }{ 4 }{ 5 }{ 1 1 2 3 }
661:    { 1 }{ 2 }{ 4 }{ 1 1 }{ 2 3 5 }
662:    { 1 }{ 2 }{ 4 }{ 1 2 }{ 1 3 5 }
663:    { 1 }{ 2 }{ 4 }{ 1 3 }{ 1 2 5 }
664:    { 1 }{ 2 }{ 4 }{ 1 5 }{ 1 2 3 }
665:    { 1 }{ 2 }{ 4 }{ 2 3 }{ 1 1 5 }
666:    { 1 }{ 2 }{ 4 }{ 2 5 }{ 1 1 3 }
667:    { 1 }{ 2 }{ 4 }{ 3 5 }{ 1 1 2 }
668:    { 1 }{ 2 }{ 5 }{ 1 1 }{ 2 3 4 }
669:    { 1 }{ 2 }{ 5 }{ 1 2 }{ 1 3 4 }
670:    { 1 }{ 2 }{ 5 }{ 1 3 }{ 1 2 4 }
671:    { 1 }{ 2 }{ 5 }{ 1 4 }{ 1 2 3 }
672:    { 1 }{ 2 }{ 5 }{ 2 3 }{ 1 1 4 }
673:    { 1 }{ 2 }{ 5 }{ 2 4 }{ 1 1 3 }
674:    { 1 }{ 2 }{ 5 }{ 3 4 }{ 1 1 2 }
675:    { 1 }{ 2 }{ 1 1 }{ 2 3 }{ 4 5 }
676:    { 1 }{ 2 }{ 1 1 }{ 2 4 }{ 3 5 }
677:    { 1 }{ 2 }{ 1 1 }{ 2 5 }{ 3 4 }
678:    { 1 }{ 2 }{ 1 2 }{ 1 3 }{ 4 5 }
679:    { 1 }{ 2 }{ 1 2 }{ 1 4 }{ 3 5 }
680:    { 1 }{ 2 }{ 1 2 }{ 1 5 }{ 3 4 }
681:    { 1 }{ 2 }{ 1 3 }{ 1 4 }{ 2 5 }
682:    { 1 }{ 2 }{ 1 3 }{ 1 5 }{ 2 4 }
683:    { 1 }{ 2 }{ 1 4 }{ 1 5 }{ 2 3 }
684:    { 1 }{ 3 }{ 4 }{ 5 }{ 1 1 2 2 }
685:    { 1 }{ 3 }{ 4 }{ 1 1 }{ 2 2 5 }
686:    { 1 }{ 3 }{ 4 }{ 1 2 }{ 1 2 5 }
687:    { 1 }{ 3 }{ 4 }{ 1 5 }{ 1 2 2 }
688:    { 1 }{ 3 }{ 4 }{ 2 2 }{ 1 1 5 }
689:    { 1 }{ 3 }{ 4 }{ 2 5 }{ 1 1 2 }
690:    { 1 }{ 3 }{ 5 }{ 1 1 }{ 2 2 4 }
691:    { 1 }{ 3 }{ 5 }{ 1 2 }{ 1 2 4 }
692:    { 1 }{ 3 }{ 5 }{ 1 4 }{ 1 2 2 }
693:    { 1 }{ 3 }{ 5 }{ 2 2 }{ 1 1 4 }
694:    { 1 }{ 3 }{ 5 }{ 2 4 }{ 1 1 2 }
695:    { 1 }{ 3 }{ 1 1 }{ 2 2 }{ 4 5 }
696:    { 1 }{ 3 }{ 1 1 }{ 2 4 }{ 2 5 }
697:    { 1 }{ 3 }{ 1 2 }{ 1 2 }{ 4 5 }
698:    { 1 }{ 3 }{ 1 2 }{ 1 4 }{ 2 5 }
699:    { 1 }{ 3 }{ 1 2 }{ 1 5 }{ 2 4 }
700:    { 1 }{ 3 }{ 1 4 }{ 1 5 }{ 2 2 }
701:    { 1 }{ 4 }{ 5 }{ 1 1 }{ 2 2 3 }
702:    { 1 }{ 4 }{ 5 }{ 1 2 }{ 1 2 3 }
703:    { 1 }{ 4 }{ 5 }{ 1 3 }{ 1 2 2 }
704:    { 1 }{ 4 }{ 5 }{ 2 2 }{ 1 1 3 }
705:    { 1 }{ 4 }{ 5 }{ 2 3 }{ 1 1 2 }
706:    { 1 }{ 4 }{ 1 1 }{ 2 2 }{ 3 5 }
707:    { 1 }{ 4 }{ 1 1 }{ 2 3 }{ 2 5 }
708:    { 1 }{ 4 }{ 1 2 }{ 1 2 }{ 3 5 }
709:    { 1 }{ 4 }{ 1 2 }{ 1 3 }{ 2 5 }
710:    { 1 }{ 4 }{ 1 2 }{ 1 5 }{ 2 3 }
711:    { 1 }{ 4 }{ 1 3 }{ 1 5 }{ 2 2 }
712:    { 1 }{ 5 }{ 1 1 }{ 2 2 }{ 3 4 }
713:    { 1 }{ 5 }{ 1 1 }{ 2 3 }{ 2 4 }
714:    { 1 }{ 5 }{ 1 2 }{ 1 2 }{ 3 4 }
715:    { 1 }{ 5 }{ 1 2 }{ 1 3 }{ 2 4 }
716:    { 1 }{ 5 }{ 1 2 }{ 1 4 }{ 2 3 }
717:    { 1 }{ 5 }{ 1 3 }{ 1 4 }{ 2 2 }
718:    { 2 }{ 2 }{ 3 }{ 4 }{ 1 1 1 5 }
719:    { 2 }{ 2 }{ 3 }{ 5 }{ 1 1 1 4 }
720:    { 2 }{ 2 }{ 3 }{ 1 1 }{ 1 4 5 }
721:    { 2 }{ 2 }{ 3 }{ 1 4 }{ 1 1 5 }
722:    { 2 }{ 2 }{ 3 }{ 1 5 }{ 1 1 4 }
723:    { 2 }{ 2 }{ 3 }{ 4 5 }{ 1 1 1 }
724:    { 2 }{ 2 }{ 4 }{ 5 }{ 1 1 1 3 }
725:    { 2 }{ 2 }{ 4 }{ 1 1 }{ 1 3 5 }
726:    { 2 }{ 2 }{ 4 }{ 1 3 }{ 1 1 5 }
727:    { 2 }{ 2 }{ 4 }{ 1 5 }{ 1 1 3 }
728:    { 2 }{ 2 }{ 4 }{ 3 5 }{ 1 1 1 }
729:    { 2 }{ 2 }{ 5 }{ 1 1 }{ 1 3 4 }
730:    { 2 }{ 2 }{ 5 }{ 1 3 }{ 1 1 4 }
731:    { 2 }{ 2 }{ 5 }{ 1 4 }{ 1 1 3 }
732:    { 2 }{ 2 }{ 5 }{ 3 4 }{ 1 1 1 }
733:    { 2 }{ 2 }{ 1 1 }{ 1 3 }{ 4 5 }
734:    { 2 }{ 2 }{ 1 1 }{ 1 4 }{ 3 5 }
735:    { 2 }{ 2 }{ 1 1 }{ 1 5 }{ 3 4 }
736:    { 2 }{ 2 }{ 1 3 }{ 1 4 }{ 1 5 }
737:    { 2 }{ 3 }{ 4 }{ 5 }{ 1 1 1 2 }
738:    { 2 }{ 3 }{ 4 }{ 1 1 }{ 1 2 5 }
739:    { 2 }{ 3 }{ 4 }{ 1 2 }{ 1 1 5 }
740:    { 2 }{ 3 }{ 4 }{ 1 5 }{ 1 1 2 }
741:    { 2 }{ 3 }{ 4 }{ 2 5 }{ 1 1 1 }
742:    { 2 }{ 3 }{ 5 }{ 1 1 }{ 1 2 4 }
743:    { 2 }{ 3 }{ 5 }{ 1 2 }{ 1 1 4 }
744:    { 2 }{ 3 }{ 5 }{ 1 4 }{ 1 1 2 }
745:    { 2 }{ 3 }{ 5 }{ 2 4 }{ 1 1 1 }
746:    { 2 }{ 3 }{ 1 1 }{ 1 2 }{ 4 5 }
747:    { 2 }{ 3 }{ 1 1 }{ 1 4 }{ 2 5 }
748:    { 2 }{ 3 }{ 1 1 }{ 1 5 }{ 2 4 }
749:    { 2 }{ 3 }{ 1 2 }{ 1 4 }{ 1 5 }
750:    { 2 }{ 4 }{ 5 }{ 1 1 }{ 1 2 3 }
751:    { 2 }{ 4 }{ 5 }{ 1 2 }{ 1 1 3 }
752:    { 2 }{ 4 }{ 5 }{ 1 3 }{ 1 1 2 }
753:    { 2 }{ 4 }{ 5 }{ 2 3 }{ 1 1 1 }
754:    { 2 }{ 4 }{ 1 1 }{ 1 2 }{ 3 5 }
755:    { 2 }{ 4 }{ 1 1 }{ 1 3 }{ 2 5 }
756:    { 2 }{ 4 }{ 1 1 }{ 1 5 }{ 2 3 }
757:    { 2 }{ 4 }{ 1 2 }{ 1 3 }{ 1 5 }
758:    { 2 }{ 5 }{ 1 1 }{ 1 2 }{ 3 4 }
759:    { 2 }{ 5 }{ 1 1 }{ 1 3 }{ 2 4 }
760:    { 2 }{ 5 }{ 1 1 }{ 1 4 }{ 2 3 }
761:    { 2 }{ 5 }{ 1 2 }{ 1 3 }{ 1 4 }
762:    { 3 }{ 4 }{ 5 }{ 1 1 }{ 1 2 2 }
763:    { 3 }{ 4 }{ 5 }{ 1 2 }{ 1 1 2 }
764:    { 3 }{ 4 }{ 5 }{ 2 2 }{ 1 1 1 }
765:    { 3 }{ 4 }{ 1 1 }{ 1 2 }{ 2 5 }
766:    { 3 }{ 4 }{ 1 1 }{ 1 5 }{ 2 2 }
767:    { 3 }{ 4 }{ 1 2 }{ 1 2 }{ 1 5 }
768:    { 3 }{ 5 }{ 1 1 }{ 1 2 }{ 2 4 }
769:    { 3 }{ 5 }{ 1 1 }{ 1 4 }{ 2 2 }
770:    { 3 }{ 5 }{ 1 2 }{ 1 2 }{ 1 4 }
771:    { 4 }{ 5 }{ 1 1 }{ 1 2 }{ 2 3 }
772:    { 4 }{ 5 }{ 1 1 }{ 1 3 }{ 2 2 }
773:    { 4 }{ 5 }{ 1 2 }{ 1 2 }{ 1 3 }
774:    { 1 }{ 1 }{ 1 }{ 2 }{ 2 }{ 3 4 5 }
775:    { 1 }{ 1 }{ 1 }{ 2 }{ 3 }{ 2 4 5 }
776:    { 1 }{ 1 }{ 1 }{ 2 }{ 4 }{ 2 3 5 }
777:    { 1 }{ 1 }{ 1 }{ 2 }{ 5 }{ 2 3 4 }
778:    { 1 }{ 1 }{ 1 }{ 2 }{ 2 3 }{ 4 5 }
779:    { 1 }{ 1 }{ 1 }{ 2 }{ 2 4 }{ 3 5 }
780:    { 1 }{ 1 }{ 1 }{ 2 }{ 2 5 }{ 3 4 }
781:    { 1 }{ 1 }{ 1 }{ 3 }{ 4 }{ 2 2 5 }
782:    { 1 }{ 1 }{ 1 }{ 3 }{ 5 }{ 2 2 4 }
783:    { 1 }{ 1 }{ 1 }{ 3 }{ 2 2 }{ 4 5 }
784:    { 1 }{ 1 }{ 1 }{ 3 }{ 2 4 }{ 2 5 }
785:    { 1 }{ 1 }{ 1 }{ 4 }{ 5 }{ 2 2 3 }
786:    { 1 }{ 1 }{ 1 }{ 4 }{ 2 2 }{ 3 5 }
787:    { 1 }{ 1 }{ 1 }{ 4 }{ 2 3 }{ 2 5 }
788:    { 1 }{ 1 }{ 1 }{ 5 }{ 2 2 }{ 3 4 }
789:    { 1 }{ 1 }{ 1 }{ 5 }{ 2 3 }{ 2 4 }
790:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 1 4 5 }
791:    { 1 }{ 1 }{ 2 }{ 2 }{ 4 }{ 1 3 5 }
792:    { 1 }{ 1 }{ 2 }{ 2 }{ 5 }{ 1 3 4 }
793:    { 1 }{ 1 }{ 2 }{ 2 }{ 1 3 }{ 4 5 }
794:    { 1 }{ 1 }{ 2 }{ 2 }{ 1 4 }{ 3 5 }
795:    { 1 }{ 1 }{ 2 }{ 2 }{ 1 5 }{ 3 4 }
796:    { 1 }{ 1 }{ 2 }{ 3 }{ 4 }{ 1 2 5 }
797:    { 1 }{ 1 }{ 2 }{ 3 }{ 5 }{ 1 2 4 }
798:    { 1 }{ 1 }{ 2 }{ 3 }{ 1 2 }{ 4 5 }
799:    { 1 }{ 1 }{ 2 }{ 3 }{ 1 4 }{ 2 5 }
800:    { 1 }{ 1 }{ 2 }{ 3 }{ 1 5 }{ 2 4 }
801:    { 1 }{ 1 }{ 2 }{ 4 }{ 5 }{ 1 2 3 }
802:    { 1 }{ 1 }{ 2 }{ 4 }{ 1 2 }{ 3 5 }
803:    { 1 }{ 1 }{ 2 }{ 4 }{ 1 3 }{ 2 5 }
804:    { 1 }{ 1 }{ 2 }{ 4 }{ 1 5 }{ 2 3 }
805:    { 1 }{ 1 }{ 2 }{ 5 }{ 1 2 }{ 3 4 }
806:    { 1 }{ 1 }{ 2 }{ 5 }{ 1 3 }{ 2 4 }
807:    { 1 }{ 1 }{ 2 }{ 5 }{ 1 4 }{ 2 3 }
808:    { 1 }{ 1 }{ 3 }{ 4 }{ 5 }{ 1 2 2 }
809:    { 1 }{ 1 }{ 3 }{ 4 }{ 1 2 }{ 2 5 }
810:    { 1 }{ 1 }{ 3 }{ 4 }{ 1 5 }{ 2 2 }
811:    { 1 }{ 1 }{ 3 }{ 5 }{ 1 2 }{ 2 4 }
812:    { 1 }{ 1 }{ 3 }{ 5 }{ 1 4 }{ 2 2 }
813:    { 1 }{ 1 }{ 4 }{ 5 }{ 1 2 }{ 2 3 }
814:    { 1 }{ 1 }{ 4 }{ 5 }{ 1 3 }{ 2 2 }
815:    { 1 }{ 2 }{ 2 }{ 3 }{ 4 }{ 1 1 5 }
816:    { 1 }{ 2 }{ 2 }{ 3 }{ 5 }{ 1 1 4 }
817:    { 1 }{ 2 }{ 2 }{ 3 }{ 1 1 }{ 4 5 }
818:    { 1 }{ 2 }{ 2 }{ 3 }{ 1 4 }{ 1 5 }
819:    { 1 }{ 2 }{ 2 }{ 4 }{ 5 }{ 1 1 3 }
820:    { 1 }{ 2 }{ 2 }{ 4 }{ 1 1 }{ 3 5 }
821:    { 1 }{ 2 }{ 2 }{ 4 }{ 1 3 }{ 1 5 }
822:    { 1 }{ 2 }{ 2 }{ 5 }{ 1 1 }{ 3 4 }
823:    { 1 }{ 2 }{ 2 }{ 5 }{ 1 3 }{ 1 4 }
824:    { 1 }{ 2 }{ 3 }{ 4 }{ 5 }{ 1 1 2 }
825:    { 1 }{ 2 }{ 3 }{ 4 }{ 1 1 }{ 2 5 }
826:    { 1 }{ 2 }{ 3 }{ 4 }{ 1 2 }{ 1 5 }
827:    { 1 }{ 2 }{ 3 }{ 5 }{ 1 1 }{ 2 4 }
828:    { 1 }{ 2 }{ 3 }{ 5 }{ 1 2 }{ 1 4 }
829:    { 1 }{ 2 }{ 4 }{ 5 }{ 1 1 }{ 2 3 }
830:    { 1 }{ 2 }{ 4 }{ 5 }{ 1 2 }{ 1 3 }
831:    { 1 }{ 3 }{ 4 }{ 5 }{ 1 1 }{ 2 2 }
832:    { 1 }{ 3 }{ 4 }{ 5 }{ 1 2 }{ 1 2 }
833:    { 2 }{ 2 }{ 3 }{ 4 }{ 5 }{ 1 1 1 }
834:    { 2 }{ 2 }{ 3 }{ 4 }{ 1 1 }{ 1 5 }
835:    { 2 }{ 2 }{ 3 }{ 5 }{ 1 1 }{ 1 4 }
836:    { 2 }{ 2 }{ 4 }{ 5 }{ 1 1 }{ 1 3 }
837:    { 2 }{ 3 }{ 4 }{ 5 }{ 1 1 }{ 1 2 }
838:    { 1 }{ 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 4 5 }
839:    { 1 }{ 1 }{ 1 }{ 2 }{ 2 }{ 4 }{ 3 5 }
840:    { 1 }{ 1 }{ 1 }{ 2 }{ 2 }{ 5 }{ 3 4 }
841:    { 1 }{ 1 }{ 1 }{ 2 }{ 3 }{ 4 }{ 2 5 }
842:    { 1 }{ 1 }{ 1 }{ 2 }{ 3 }{ 5 }{ 2 4 }
843:    { 1 }{ 1 }{ 1 }{ 2 }{ 4 }{ 5 }{ 2 3 }
844:    { 1 }{ 1 }{ 1 }{ 3 }{ 4 }{ 5 }{ 2 2 }
845:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 4 }{ 1 5 }
846:    { 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 5 }{ 1 4 }
847:    { 1 }{ 1 }{ 2 }{ 2 }{ 4 }{ 5 }{ 1 3 }
848:    { 1 }{ 1 }{ 2 }{ 3 }{ 4 }{ 5 }{ 1 2 }
849:    { 1 }{ 2 }{ 2 }{ 3 }{ 4 }{ 5 }{ 1 1 }
850:    { 1 }{ 1 }{ 1 }{ 2 }{ 2 }{ 3 }{ 4 }{ 5 }