elements in multiset: 7         integer partition: 0 (1+1+1+1+1+1+1)

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