1: {1,2,3,4,1234}
2: {1,2,3,4,34,1234}
3: {1,2,3,4,24,1234}
4: {1,2,3,23,4,1234}
5: {1,2,3,4,14,1234}
6: {1,2,3,23,4,14,1234}
7: {1,2,3,13,4,1234}
8: {1,2,3,13,4,24,1234}
9: {1,2,12,3,4,1234}
10: {1,2,12,3,4,34,1234}
11: {1,2,3,4,234,1234}
12: {1,2,3,4,34,234,1234}
13: {1,2,3,4,24,234,1234}
14: {1,2,3,4,24,34,234,1234}
15: {1,2,3,23,4,234,1234}
16: {1,2,3,23,4,34,234,1234}
17: {1,2,3,23,4,24,234,1234}
18: {1,2,3,23,4,24,34,234,1234}
19: {1,2,3,4,14,234,1234}
20: {1,2,3,23,4,14,234,1234}
21: {1,2,3,13,4,234,1234}
22: {1,2,3,13,4,24,234,1234}
23: {1,2,12,3,4,234,1234}
24: {1,2,12,3,4,34,234,1234}
25: {1,2,3,4,134,1234}
26: {1,2,3,4,34,134,1234}
27: {1,2,3,4,24,134,1234}
28: {1,2,3,23,4,134,1234}
29: {1,2,3,4,14,134,1234}
30: {1,2,3,4,14,34,134,1234}
31: {1,2,3,23,4,14,134,1234}
32: {1,2,3,13,4,134,1234}
33: {1,2,3,13,4,34,134,1234}
34: {1,2,3,13,4,24,134,1234}
35: {1,2,3,13,4,14,134,1234}
36: {1,2,3,13,4,14,34,134,1234}
37: {1,2,12,3,4,134,1234}
38: {1,2,12,3,4,34,134,1234}
39: {1,2,3,4,134,234,1234}
40: {1,2,3,4,34,134,234,1234}
41: {1,2,3,4,24,134,234,1234}
42: {1,2,3,4,24,34,134,234,1234}
43: {1,2,3,23,4,134,234,1234}
44: {1,2,3,23,4,34,134,234,1234}
45: {1,2,3,23,4,24,134,234,1234}
46: {1,2,3,23,4,24,34,134,234,1234}
47: {1,2,3,4,14,134,234,1234}
48: {1,2,3,4,14,34,134,234,1234}
49: {1,2,3,23,4,14,134,234,1234}
50: {1,2,3,23,4,14,34,134,234,1234}
51: {1,2,3,13,4,134,234,1234}
52: {1,2,3,13,4,34,134,234,1234}
53: {1,2,3,13,4,24,134,234,1234}
54: {1,2,3,13,4,24,34,134,234,1234}
55: {1,2,3,13,4,14,134,234,1234}
56: {1,2,3,13,4,14,34,134,234,1234}
57: {1,2,12,3,4,134,234,1234}
58: {1,2,12,3,4,34,134,234,1234}
59: {1,2,3,4,124,1234}
60: {1,2,3,4,124,34,1234}
61: {1,2,3,4,24,124,1234}
62: {1,2,3,23,4,124,1234}
63: {1,2,3,4,14,124,1234}
64: {1,2,3,4,14,24,124,1234}
65: {1,2,3,23,4,14,124,1234}
66: {1,2,3,13,4,124,1234}
67: {1,2,3,13,4,24,124,1234}
68: {1,2,12,3,4,124,1234}
69: {1,2,12,3,4,124,34,1234}
70: {1,2,12,3,4,24,124,1234}
71: {1,2,12,3,4,14,124,1234}
72: {1,2,12,3,4,14,24,124,1234}
73: {1,2,3,4,124,234,1234}
74: {1,2,3,4,124,34,234,1234}
75: {1,2,3,4,24,124,234,1234}
76: {1,2,3,4,24,124,34,234,1234}
77: {1,2,3,23,4,124,234,1234}
78: {1,2,3,23,4,124,34,234,1234}
79: {1,2,3,23,4,24,124,234,1234}
80: {1,2,3,23,4,24,124,34,234,1234}
81: {1,2,3,4,14,124,234,1234}
82: {1,2,3,4,14,24,124,234,1234}
83: {1,2,3,23,4,14,124,234,1234}
84: {1,2,3,23,4,14,24,124,234,1234}
85: {1,2,3,13,4,124,234,1234}
86: {1,2,3,13,4,24,124,234,1234}
87: {1,2,12,3,4,124,234,1234}
88: {1,2,12,3,4,124,34,234,1234}
89: {1,2,12,3,4,24,124,234,1234}
90: {1,2,12,3,4,24,124,34,234,1234}
91: {1,2,12,3,4,14,124,234,1234}
92: {1,2,12,3,4,14,24,124,234,1234}
93: {1,2,3,4,124,134,1234}
94: {1,2,3,4,124,34,134,1234}
95: {1,2,3,4,24,124,134,1234}
96: {1,2,3,23,4,124,134,1234}
97: {1,2,3,4,14,124,134,1234}
98: {1,2,3,4,14,124,34,134,1234}
99: {1,2,3,4,14,24,124,134,1234}
100: {1,2,3,23,4,14,124,134,1234}
101: {1,2,3,13,4,124,134,1234}
102: {1,2,3,13,4,124,34,134,1234}
103: {1,2,3,13,4,24,124,134,1234}
104: {1,2,3,13,4,14,124,134,1234}
105: {1,2,3,13,4,14,124,34,134,1234}
106: {1,2,3,13,4,14,24,124,134,1234}
107: {1,2,12,3,4,124,134,1234}
108: {1,2,12,3,4,124,34,134,1234}
109: {1,2,12,3,4,24,124,134,1234}
110: {1,2,12,3,4,14,124,134,1234}
111: {1,2,12,3,4,14,124,34,134,1234}
112: {1,2,12,3,4,14,24,124,134,1234}
113: {1,2,3,4,124,134,234,1234}
114: {1,2,3,4,124,34,134,234,1234}
115: {1,2,3,4,24,124,134,234,1234}
116: {1,2,3,4,24,124,34,134,234,1234}
117: {1,2,3,23,4,124,134,234,1234}
118: {1,2,3,23,4,124,34,134,234,1234}
119: {1,2,3,23,4,24,124,134,234,1234}
120: {1,2,3,23,4,24,124,34,134,234,1234}
121: {1,2,3,4,14,124,134,234,1234}
122: {1,2,3,4,14,124,34,134,234,1234}
123: {1,2,3,4,14,24,124,134,234,1234}
124: {1,2,3,4,14,24,124,34,134,234,1234}
125: {1,2,3,23,4,14,124,134,234,1234}
126: {1,2,3,23,4,14,124,34,134,234,1234}
127: {1,2,3,23,4,14,24,124,134,234,1234}
128: {1,2,3,23,4,14,24,124,34,134,234,1234}
129: {1,2,3,13,4,124,134,234,1234}
130: {1,2,3,13,4,124,34,134,234,1234}
131: {1,2,3,13,4,24,124,134,234,1234}
132: {1,2,3,13,4,24,124,34,134,234,1234}
133: {1,2,3,13,4,14,124,134,234,1234}
134: {1,2,3,13,4,14,124,34,134,234,1234}
135: {1,2,3,13,4,14,24,124,134,234,1234}
136: {1,2,3,13,4,14,24,124,34,134,234,1234}
137: {1,2,12,3,4,124,134,234,1234}
138: {1,2,12,3,4,124,34,134,234,1234}
139: {1,2,12,3,4,24,124,134,234,1234}
140: {1,2,12,3,4,24,124,34,134,234,1234}
141: {1,2,12,3,4,14,124,134,234,1234}
142: {1,2,12,3,4,14,124,34,134,234,1234}
143: {1,2,12,3,4,14,24,124,134,234,1234}
144: {1,2,12,3,4,14,24,124,34,134,234,1234}
145: {1,2,3,123,4,1234}
146: {1,2,3,123,4,34,1234}
147: {1,2,3,123,4,24,1234}
148: {1,2,3,23,123,4,1234}
149: {1,2,3,123,4,14,1234}
150: {1,2,3,23,123,4,14,1234}
151: {1,2,3,13,123,4,1234}
152: {1,2,3,13,123,4,24,1234}
153: {1,2,3,13,23,123,4,1234}
154: {1,2,12,3,123,4,1234}
155: {1,2,12,3,123,4,34,1234}
156: {1,2,12,3,23,123,4,1234}
157: {1,2,12,3,13,123,4,1234}
158: {1,2,12,3,13,23,123,4,1234}
159: {1,2,3,123,4,234,1234}
160: {1,2,3,123,4,34,234,1234}
161: {1,2,3,123,4,24,234,1234}
162: {1,2,3,123,4,24,34,234,1234}
163: {1,2,3,23,123,4,234,1234}
164: {1,2,3,23,123,4,34,234,1234}
165: {1,2,3,23,123,4,24,234,1234}
166: {1,2,3,23,123,4,24,34,234,1234}
167: {1,2,3,123,4,14,234,1234}
168: {1,2,3,23,123,4,14,234,1234}
169: {1,2,3,13,123,4,234,1234}
170: {1,2,3,13,123,4,24,234,1234}
171: {1,2,3,13,23,123,4,234,1234}
172: {1,2,3,13,23,123,4,24,234,1234}
173: {1,2,12,3,123,4,234,1234}
174: {1,2,12,3,123,4,34,234,1234}
175: {1,2,12,3,23,123,4,234,1234}
176: {1,2,12,3,23,123,4,34,234,1234}
177: {1,2,12,3,13,123,4,234,1234}
178: {1,2,12,3,13,23,123,4,234,1234}
179: {1,2,3,123,4,134,1234}
180: {1,2,3,123,4,34,134,1234}
181: {1,2,3,123,4,24,134,1234}
182: {1,2,3,23,123,4,134,1234}
183: {1,2,3,123,4,14,134,1234}
184: {1,2,3,123,4,14,34,134,1234}
185: {1,2,3,23,123,4,14,134,1234}
186: {1,2,3,13,123,4,134,1234}
187: {1,2,3,13,123,4,34,134,1234}
188: {1,2,3,13,123,4,24,134,1234}
189: {1,2,3,13,23,123,4,134,1234}
190: {1,2,3,13,123,4,14,134,1234}
191: {1,2,3,13,123,4,14,34,134,1234}
192: {1,2,3,13,23,123,4,14,134,1234}
193: {1,2,12,3,123,4,134,1234}
194: {1,2,12,3,123,4,34,134,1234}
195: {1,2,12,3,23,123,4,134,1234}
196: {1,2,12,3,13,123,4,134,1234}
197: {1,2,12,3,13,123,4,34,134,1234}
198: {1,2,12,3,13,23,123,4,134,1234}
199: {1,2,3,123,4,134,234,1234}
200: {1,2,3,123,4,34,134,234,1234}
201: {1,2,3,123,4,24,134,234,1234}
202: {1,2,3,123,4,24,34,134,234,1234}
203: {1,2,3,23,123,4,134,234,1234}
204: {1,2,3,23,123,4,34,134,234,1234}
205: {1,2,3,23,123,4,24,134,234,1234}
206: {1,2,3,23,123,4,24,34,134,234,1234}
207: {1,2,3,123,4,14,134,234,1234}
208: {1,2,3,123,4,14,34,134,234,1234}
209: {1,2,3,23,123,4,14,134,234,1234}
210: {1,2,3,23,123,4,14,34,134,234,1234}
211: {1,2,3,13,123,4,134,234,1234}
212: {1,2,3,13,123,4,34,134,234,1234}
213: {1,2,3,13,123,4,24,134,234,1234}
214: {1,2,3,13,123,4,24,34,134,234,1234}
215: {1,2,3,13,23,123,4,134,234,1234}
216: {1,2,3,13,23,123,4,34,134,234,1234}
217: {1,2,3,13,23,123,4,24,134,234,1234}
218: {1,2,3,13,23,123,4,24,34,134,234,1234}
219: {1,2,3,13,123,4,14,134,234,1234}
220: {1,2,3,13,123,4,14,34,134,234,1234}
221: {1,2,3,13,23,123,4,14,134,234,1234}
222: {1,2,3,13,23,123,4,14,34,134,234,1234}
223: {1,2,12,3,123,4,134,234,1234}
224: {1,2,12,3,123,4,34,134,234,1234}
225: {1,2,12,3,23,123,4,134,234,1234}
226: {1,2,12,3,23,123,4,34,134,234,1234}
227: {1,2,12,3,13,123,4,134,234,1234}
228: {1,2,12,3,13,123,4,34,134,234,1234}
229: {1,2,12,3,13,23,123,4,134,234,1234}
230: {1,2,12,3,13,23,123,4,34,134,234,1234}
231: {1,2,3,123,4,124,1234}
232: {1,2,3,123,4,124,34,1234}
233: {1,2,3,123,4,24,124,1234}
234: {1,2,3,23,123,4,124,1234}
235: {1,2,3,123,4,14,124,1234}
236: {1,2,3,123,4,14,24,124,1234}
237: {1,2,3,23,123,4,14,124,1234}
238: {1,2,3,13,123,4,124,1234}
239: {1,2,3,13,123,4,24,124,1234}
240: {1,2,3,13,23,123,4,124,1234}
241: {1,2,12,3,123,4,124,1234}
242: {1,2,12,3,123,4,124,34,1234}
243: {1,2,12,3,123,4,24,124,1234}
244: {1,2,12,3,23,123,4,124,1234}
245: {1,2,12,3,123,4,14,124,1234}
246: {1,2,12,3,123,4,14,24,124,1234}
247: {1,2,12,3,23,123,4,14,124,1234}
248: {1,2,12,3,13,123,4,124,1234}
249: {1,2,12,3,13,123,4,24,124,1234}
250: {1,2,12,3,13,23,123,4,124,1234}
251: {1,2,3,123,4,124,234,1234}
252: {1,2,3,123,4,124,34,234,1234}
253: {1,2,3,123,4,24,124,234,1234}
254: {1,2,3,123,4,24,124,34,234,1234}
255: {1,2,3,23,123,4,124,234,1234}
256: {1,2,3,23,123,4,124,34,234,1234}
257: {1,2,3,23,123,4,24,124,234,1234}
258: {1,2,3,23,123,4,24,124,34,234,1234}
259: {1,2,3,123,4,14,124,234,1234}
260: {1,2,3,123,4,14,24,124,234,1234}
261: {1,2,3,23,123,4,14,124,234,1234}
262: {1,2,3,23,123,4,14,24,124,234,1234}
263: {1,2,3,13,123,4,124,234,1234}
264: {1,2,3,13,123,4,24,124,234,1234}
265: {1,2,3,13,23,123,4,124,234,1234}
266: {1,2,3,13,23,123,4,24,124,234,1234}
267: {1,2,12,3,123,4,124,234,1234}
268: {1,2,12,3,123,4,124,34,234,1234}
269: {1,2,12,3,123,4,24,124,234,1234}
270: {1,2,12,3,123,4,24,124,34,234,1234}
271: {1,2,12,3,23,123,4,124,234,1234}
272: {1,2,12,3,23,123,4,124,34,234,1234}
273: {1,2,12,3,23,123,4,24,124,234,1234}
274: {1,2,12,3,23,123,4,24,124,34,234,1234}
275: {1,2,12,3,123,4,14,124,234,1234}
276: {1,2,12,3,123,4,14,24,124,234,1234}
277: {1,2,12,3,23,123,4,14,124,234,1234}
278: {1,2,12,3,23,123,4,14,24,124,234,1234}
279: {1,2,12,3,13,123,4,124,234,1234}
280: {1,2,12,3,13,123,4,24,124,234,1234}
281: {1,2,12,3,13,23,123,4,124,234,1234}
282: {1,2,12,3,13,23,123,4,24,124,234,1234}
283: {1,2,3,123,4,124,134,1234}
284: {1,2,3,123,4,124,34,134,1234}
285: {1,2,3,123,4,24,124,134,1234}
286: {1,2,3,23,123,4,124,134,1234}
287: {1,2,3,123,4,14,124,134,1234}
288: {1,2,3,123,4,14,124,34,134,1234}
289: {1,2,3,123,4,14,24,124,134,1234}
290: {1,2,3,23,123,4,14,124,134,1234}
291: {1,2,3,13,123,4,124,134,1234}
292: {1,2,3,13,123,4,124,34,134,1234}
293: {1,2,3,13,123,4,24,124,134,1234}
294: {1,2,3,13,23,123,4,124,134,1234}
295: {1,2,3,13,123,4,14,124,134,1234}
296: {1,2,3,13,123,4,14,124,34,134,1234}
297: {1,2,3,13,123,4,14,24,124,134,1234}
298: {1,2,3,13,23,123,4,14,124,134,1234}
299: {1,2,12,3,123,4,124,134,1234}
300: {1,2,12,3,123,4,124,34,134,1234}
301: {1,2,12,3,123,4,24,124,134,1234}
302: {1,2,12,3,23,123,4,124,134,1234}
303: {1,2,12,3,123,4,14,124,134,1234}
304: {1,2,12,3,123,4,14,124,34,134,1234}
305: {1,2,12,3,123,4,14,24,124,134,1234}
306: {1,2,12,3,23,123,4,14,124,134,1234}
307: {1,2,12,3,13,123,4,124,134,1234}
308: {1,2,12,3,13,123,4,124,34,134,1234}
309: {1,2,12,3,13,123,4,24,124,134,1234}
310: {1,2,12,3,13,23,123,4,124,134,1234}
311: {1,2,12,3,13,123,4,14,124,134,1234}
312: {1,2,12,3,13,123,4,14,124,34,134,1234}
313: {1,2,12,3,13,123,4,14,24,124,134,1234}
314: {1,2,12,3,13,23,123,4,14,124,134,1234}
315: {1,2,3,123,4,124,134,234,1234}
316: {1,2,3,123,4,124,34,134,234,1234}
317: {1,2,3,123,4,24,124,134,234,1234}
318: {1,2,3,123,4,24,124,34,134,234,1234}
319: {1,2,3,23,123,4,124,134,234,1234}
320: {1,2,3,23,123,4,124,34,134,234,1234}
321: {1,2,3,23,123,4,24,124,134,234,1234}
322: {1,2,3,23,123,4,24,124,34,134,234,1234}
323: {1,2,3,123,4,14,124,134,234,1234}
324: {1,2,3,123,4,14,124,34,134,234,1234}
325: {1,2,3,123,4,14,24,124,134,234,1234}
326: {1,2,3,123,4,14,24,124,34,134,234,1234}
327: {1,2,3,23,123,4,14,124,134,234,1234}
328: {1,2,3,23,123,4,14,124,34,134,234,1234}
329: {1,2,3,23,123,4,14,24,124,134,234,1234}
330: {1,2,3,23,123,4,14,24,124,34,134,234,1234}
331: {1,2,3,13,123,4,124,134,234,1234}
332: {1,2,3,13,123,4,124,34,134,234,1234}
333: {1,2,3,13,123,4,24,124,134,234,1234}
334: {1,2,3,13,123,4,24,124,34,134,234,1234}
335: {1,2,3,13,23,123,4,124,134,234,1234}
336: {1,2,3,13,23,123,4,124,34,134,234,1234}
337: {1,2,3,13,23,123,4,24,124,134,234,1234}
338: {1,2,3,13,23,123,4,24,124,34,134,234,1234}
339: {1,2,3,13,123,4,14,124,134,234,1234}
340: {1,2,3,13,123,4,14,124,34,134,234,1234}
341: {1,2,3,13,123,4,14,24,124,134,234,1234}
342: {1,2,3,13,123,4,14,24,124,34,134,234,1234}
343: {1,2,3,13,23,123,4,14,124,134,234,1234}
344: {1,2,3,13,23,123,4,14,124,34,134,234,1234}
345: {1,2,3,13,23,123,4,14,24,124,134,234,1234}
346: {1,2,3,13,23,123,4,14,24,124,34,134,234,1234}
347: {1,2,12,3,123,4,124,134,234,1234}
348: {1,2,12,3,123,4,124,34,134,234,1234}
349: {1,2,12,3,123,4,24,124,134,234,1234}
350: {1,2,12,3,123,4,24,124,34,134,234,1234}
351: {1,2,12,3,23,123,4,124,134,234,1234}
352: {1,2,12,3,23,123,4,124,34,134,234,1234}
353: {1,2,12,3,23,123,4,24,124,134,234,1234}
354: {1,2,12,3,23,123,4,24,124,34,134,234,1234}
355: {1,2,12,3,123,4,14,124,134,234,1234}
356: {1,2,12,3,123,4,14,124,34,134,234,1234}
357: {1,2,12,3,123,4,14,24,124,134,234,1234}
358: {1,2,12,3,123,4,14,24,124,34,134,234,1234}
359: {1,2,12,3,23,123,4,14,124,134,234,1234}
360: {1,2,12,3,23,123,4,14,124,34,134,234,1234}
361: {1,2,12,3,23,123,4,14,24,124,134,234,1234}
362: {1,2,12,3,23,123,4,14,24,124,34,134,234,1234}
363: {1,2,12,3,13,123,4,124,134,234,1234}
364: {1,2,12,3,13,123,4,124,34,134,234,1234}
365: {1,2,12,3,13,123,4,24,124,134,234,1234}
366: {1,2,12,3,13,123,4,24,124,34,134,234,1234}
367: {1,2,12,3,13,23,123,4,124,134,234,1234}
368: {1,2,12,3,13,23,123,4,124,34,134,234,1234}
369: {1,2,12,3,13,23,123,4,24,124,134,234,1234}
370: {1,2,12,3,13,23,123,4,24,124,34,134,234,1234}
371: {1,2,12,3,13,123,4,14,124,134,234,1234}
372: {1,2,12,3,13,123,4,14,124,34,134,234,1234}
373: {1,2,12,3,13,123,4,14,24,124,134,234,1234}
374: {1,2,12,3,13,123,4,14,24,124,34,134,234,1234}
375: {1,2,12,3,13,23,123,4,14,124,134,234,1234}
376: {1,2,12,3,13,23,123,4,14,124,34,134,234,1234}
377: {1,2,12,3,13,23,123,4,14,24,124,134,234,1234}
378: {1,2,12,3,13,23,123,4,14,24,124,34,134,234,1234}