multiset partitions (8,15)

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

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