ZXC 0.15.0
High-performance asymmetric lossless compression library
Loading...
Searching...
No Matches
zxc_pivco_tables.c
Go to the documentation of this file.
1// SPDX-License-Identifier: BSD-3-Clause
2/*
3 * ZXC - High-performance lossless compression
4 *
5 * Copyright (c) Bertrand Lebonnois and contributors.
6 */
7
16#include "zxc_pivco_tables.h"
17
18const uint8_t zxc_pivco_idxa_u8[256][8] = {
19 {0, 1, 2, 3, 4, 5, 6, 7}, {16, 0, 1, 2, 3, 4, 5, 6},
20 {0, 16, 1, 2, 3, 4, 5, 6}, {16, 17, 0, 1, 2, 3, 4, 5},
21 {0, 1, 16, 2, 3, 4, 5, 6}, {16, 0, 17, 1, 2, 3, 4, 5},
22 {0, 16, 17, 1, 2, 3, 4, 5}, {16, 17, 18, 0, 1, 2, 3, 4},
23 {0, 1, 2, 16, 3, 4, 5, 6}, {16, 0, 1, 17, 2, 3, 4, 5},
24 {0, 16, 1, 17, 2, 3, 4, 5}, {16, 17, 0, 18, 1, 2, 3, 4},
25 {0, 1, 16, 17, 2, 3, 4, 5}, {16, 0, 17, 18, 1, 2, 3, 4},
26 {0, 16, 17, 18, 1, 2, 3, 4}, {16, 17, 18, 19, 0, 1, 2, 3},
27 {0, 1, 2, 3, 16, 4, 5, 6}, {16, 0, 1, 2, 17, 3, 4, 5},
28 {0, 16, 1, 2, 17, 3, 4, 5}, {16, 17, 0, 1, 18, 2, 3, 4},
29 {0, 1, 16, 2, 17, 3, 4, 5}, {16, 0, 17, 1, 18, 2, 3, 4},
30 {0, 16, 17, 1, 18, 2, 3, 4}, {16, 17, 18, 0, 19, 1, 2, 3},
31 {0, 1, 2, 16, 17, 3, 4, 5}, {16, 0, 1, 17, 18, 2, 3, 4},
32 {0, 16, 1, 17, 18, 2, 3, 4}, {16, 17, 0, 18, 19, 1, 2, 3},
33 {0, 1, 16, 17, 18, 2, 3, 4}, {16, 0, 17, 18, 19, 1, 2, 3},
34 {0, 16, 17, 18, 19, 1, 2, 3}, {16, 17, 18, 19, 20, 0, 1, 2},
35 {0, 1, 2, 3, 4, 16, 5, 6}, {16, 0, 1, 2, 3, 17, 4, 5},
36 {0, 16, 1, 2, 3, 17, 4, 5}, {16, 17, 0, 1, 2, 18, 3, 4},
37 {0, 1, 16, 2, 3, 17, 4, 5}, {16, 0, 17, 1, 2, 18, 3, 4},
38 {0, 16, 17, 1, 2, 18, 3, 4}, {16, 17, 18, 0, 1, 19, 2, 3},
39 {0, 1, 2, 16, 3, 17, 4, 5}, {16, 0, 1, 17, 2, 18, 3, 4},
40 {0, 16, 1, 17, 2, 18, 3, 4}, {16, 17, 0, 18, 1, 19, 2, 3},
41 {0, 1, 16, 17, 2, 18, 3, 4}, {16, 0, 17, 18, 1, 19, 2, 3},
42 {0, 16, 17, 18, 1, 19, 2, 3}, {16, 17, 18, 19, 0, 20, 1, 2},
43 {0, 1, 2, 3, 16, 17, 4, 5}, {16, 0, 1, 2, 17, 18, 3, 4},
44 {0, 16, 1, 2, 17, 18, 3, 4}, {16, 17, 0, 1, 18, 19, 2, 3},
45 {0, 1, 16, 2, 17, 18, 3, 4}, {16, 0, 17, 1, 18, 19, 2, 3},
46 {0, 16, 17, 1, 18, 19, 2, 3}, {16, 17, 18, 0, 19, 20, 1, 2},
47 {0, 1, 2, 16, 17, 18, 3, 4}, {16, 0, 1, 17, 18, 19, 2, 3},
48 {0, 16, 1, 17, 18, 19, 2, 3}, {16, 17, 0, 18, 19, 20, 1, 2},
49 {0, 1, 16, 17, 18, 19, 2, 3}, {16, 0, 17, 18, 19, 20, 1, 2},
50 {0, 16, 17, 18, 19, 20, 1, 2}, {16, 17, 18, 19, 20, 21, 0, 1},
51 {0, 1, 2, 3, 4, 5, 16, 6}, {16, 0, 1, 2, 3, 4, 17, 5},
52 {0, 16, 1, 2, 3, 4, 17, 5}, {16, 17, 0, 1, 2, 3, 18, 4},
53 {0, 1, 16, 2, 3, 4, 17, 5}, {16, 0, 17, 1, 2, 3, 18, 4},
54 {0, 16, 17, 1, 2, 3, 18, 4}, {16, 17, 18, 0, 1, 2, 19, 3},
55 {0, 1, 2, 16, 3, 4, 17, 5}, {16, 0, 1, 17, 2, 3, 18, 4},
56 {0, 16, 1, 17, 2, 3, 18, 4}, {16, 17, 0, 18, 1, 2, 19, 3},
57 {0, 1, 16, 17, 2, 3, 18, 4}, {16, 0, 17, 18, 1, 2, 19, 3},
58 {0, 16, 17, 18, 1, 2, 19, 3}, {16, 17, 18, 19, 0, 1, 20, 2},
59 {0, 1, 2, 3, 16, 4, 17, 5}, {16, 0, 1, 2, 17, 3, 18, 4},
60 {0, 16, 1, 2, 17, 3, 18, 4}, {16, 17, 0, 1, 18, 2, 19, 3},
61 {0, 1, 16, 2, 17, 3, 18, 4}, {16, 0, 17, 1, 18, 2, 19, 3},
62 {0, 16, 17, 1, 18, 2, 19, 3}, {16, 17, 18, 0, 19, 1, 20, 2},
63 {0, 1, 2, 16, 17, 3, 18, 4}, {16, 0, 1, 17, 18, 2, 19, 3},
64 {0, 16, 1, 17, 18, 2, 19, 3}, {16, 17, 0, 18, 19, 1, 20, 2},
65 {0, 1, 16, 17, 18, 2, 19, 3}, {16, 0, 17, 18, 19, 1, 20, 2},
66 {0, 16, 17, 18, 19, 1, 20, 2}, {16, 17, 18, 19, 20, 0, 21, 1},
67 {0, 1, 2, 3, 4, 16, 17, 5}, {16, 0, 1, 2, 3, 17, 18, 4},
68 {0, 16, 1, 2, 3, 17, 18, 4}, {16, 17, 0, 1, 2, 18, 19, 3},
69 {0, 1, 16, 2, 3, 17, 18, 4}, {16, 0, 17, 1, 2, 18, 19, 3},
70 {0, 16, 17, 1, 2, 18, 19, 3}, {16, 17, 18, 0, 1, 19, 20, 2},
71 {0, 1, 2, 16, 3, 17, 18, 4}, {16, 0, 1, 17, 2, 18, 19, 3},
72 {0, 16, 1, 17, 2, 18, 19, 3}, {16, 17, 0, 18, 1, 19, 20, 2},
73 {0, 1, 16, 17, 2, 18, 19, 3}, {16, 0, 17, 18, 1, 19, 20, 2},
74 {0, 16, 17, 18, 1, 19, 20, 2}, {16, 17, 18, 19, 0, 20, 21, 1},
75 {0, 1, 2, 3, 16, 17, 18, 4}, {16, 0, 1, 2, 17, 18, 19, 3},
76 {0, 16, 1, 2, 17, 18, 19, 3}, {16, 17, 0, 1, 18, 19, 20, 2},
77 {0, 1, 16, 2, 17, 18, 19, 3}, {16, 0, 17, 1, 18, 19, 20, 2},
78 {0, 16, 17, 1, 18, 19, 20, 2}, {16, 17, 18, 0, 19, 20, 21, 1},
79 {0, 1, 2, 16, 17, 18, 19, 3}, {16, 0, 1, 17, 18, 19, 20, 2},
80 {0, 16, 1, 17, 18, 19, 20, 2}, {16, 17, 0, 18, 19, 20, 21, 1},
81 {0, 1, 16, 17, 18, 19, 20, 2}, {16, 0, 17, 18, 19, 20, 21, 1},
82 {0, 16, 17, 18, 19, 20, 21, 1}, {16, 17, 18, 19, 20, 21, 22, 0},
83 {0, 1, 2, 3, 4, 5, 6, 16}, {16, 0, 1, 2, 3, 4, 5, 17},
84 {0, 16, 1, 2, 3, 4, 5, 17}, {16, 17, 0, 1, 2, 3, 4, 18},
85 {0, 1, 16, 2, 3, 4, 5, 17}, {16, 0, 17, 1, 2, 3, 4, 18},
86 {0, 16, 17, 1, 2, 3, 4, 18}, {16, 17, 18, 0, 1, 2, 3, 19},
87 {0, 1, 2, 16, 3, 4, 5, 17}, {16, 0, 1, 17, 2, 3, 4, 18},
88 {0, 16, 1, 17, 2, 3, 4, 18}, {16, 17, 0, 18, 1, 2, 3, 19},
89 {0, 1, 16, 17, 2, 3, 4, 18}, {16, 0, 17, 18, 1, 2, 3, 19},
90 {0, 16, 17, 18, 1, 2, 3, 19}, {16, 17, 18, 19, 0, 1, 2, 20},
91 {0, 1, 2, 3, 16, 4, 5, 17}, {16, 0, 1, 2, 17, 3, 4, 18},
92 {0, 16, 1, 2, 17, 3, 4, 18}, {16, 17, 0, 1, 18, 2, 3, 19},
93 {0, 1, 16, 2, 17, 3, 4, 18}, {16, 0, 17, 1, 18, 2, 3, 19},
94 {0, 16, 17, 1, 18, 2, 3, 19}, {16, 17, 18, 0, 19, 1, 2, 20},
95 {0, 1, 2, 16, 17, 3, 4, 18}, {16, 0, 1, 17, 18, 2, 3, 19},
96 {0, 16, 1, 17, 18, 2, 3, 19}, {16, 17, 0, 18, 19, 1, 2, 20},
97 {0, 1, 16, 17, 18, 2, 3, 19}, {16, 0, 17, 18, 19, 1, 2, 20},
98 {0, 16, 17, 18, 19, 1, 2, 20}, {16, 17, 18, 19, 20, 0, 1, 21},
99 {0, 1, 2, 3, 4, 16, 5, 17}, {16, 0, 1, 2, 3, 17, 4, 18},
100 {0, 16, 1, 2, 3, 17, 4, 18}, {16, 17, 0, 1, 2, 18, 3, 19},
101 {0, 1, 16, 2, 3, 17, 4, 18}, {16, 0, 17, 1, 2, 18, 3, 19},
102 {0, 16, 17, 1, 2, 18, 3, 19}, {16, 17, 18, 0, 1, 19, 2, 20},
103 {0, 1, 2, 16, 3, 17, 4, 18}, {16, 0, 1, 17, 2, 18, 3, 19},
104 {0, 16, 1, 17, 2, 18, 3, 19}, {16, 17, 0, 18, 1, 19, 2, 20},
105 {0, 1, 16, 17, 2, 18, 3, 19}, {16, 0, 17, 18, 1, 19, 2, 20},
106 {0, 16, 17, 18, 1, 19, 2, 20}, {16, 17, 18, 19, 0, 20, 1, 21},
107 {0, 1, 2, 3, 16, 17, 4, 18}, {16, 0, 1, 2, 17, 18, 3, 19},
108 {0, 16, 1, 2, 17, 18, 3, 19}, {16, 17, 0, 1, 18, 19, 2, 20},
109 {0, 1, 16, 2, 17, 18, 3, 19}, {16, 0, 17, 1, 18, 19, 2, 20},
110 {0, 16, 17, 1, 18, 19, 2, 20}, {16, 17, 18, 0, 19, 20, 1, 21},
111 {0, 1, 2, 16, 17, 18, 3, 19}, {16, 0, 1, 17, 18, 19, 2, 20},
112 {0, 16, 1, 17, 18, 19, 2, 20}, {16, 17, 0, 18, 19, 20, 1, 21},
113 {0, 1, 16, 17, 18, 19, 2, 20}, {16, 0, 17, 18, 19, 20, 1, 21},
114 {0, 16, 17, 18, 19, 20, 1, 21}, {16, 17, 18, 19, 20, 21, 0, 22},
115 {0, 1, 2, 3, 4, 5, 16, 17}, {16, 0, 1, 2, 3, 4, 17, 18},
116 {0, 16, 1, 2, 3, 4, 17, 18}, {16, 17, 0, 1, 2, 3, 18, 19},
117 {0, 1, 16, 2, 3, 4, 17, 18}, {16, 0, 17, 1, 2, 3, 18, 19},
118 {0, 16, 17, 1, 2, 3, 18, 19}, {16, 17, 18, 0, 1, 2, 19, 20},
119 {0, 1, 2, 16, 3, 4, 17, 18}, {16, 0, 1, 17, 2, 3, 18, 19},
120 {0, 16, 1, 17, 2, 3, 18, 19}, {16, 17, 0, 18, 1, 2, 19, 20},
121 {0, 1, 16, 17, 2, 3, 18, 19}, {16, 0, 17, 18, 1, 2, 19, 20},
122 {0, 16, 17, 18, 1, 2, 19, 20}, {16, 17, 18, 19, 0, 1, 20, 21},
123 {0, 1, 2, 3, 16, 4, 17, 18}, {16, 0, 1, 2, 17, 3, 18, 19},
124 {0, 16, 1, 2, 17, 3, 18, 19}, {16, 17, 0, 1, 18, 2, 19, 20},
125 {0, 1, 16, 2, 17, 3, 18, 19}, {16, 0, 17, 1, 18, 2, 19, 20},
126 {0, 16, 17, 1, 18, 2, 19, 20}, {16, 17, 18, 0, 19, 1, 20, 21},
127 {0, 1, 2, 16, 17, 3, 18, 19}, {16, 0, 1, 17, 18, 2, 19, 20},
128 {0, 16, 1, 17, 18, 2, 19, 20}, {16, 17, 0, 18, 19, 1, 20, 21},
129 {0, 1, 16, 17, 18, 2, 19, 20}, {16, 0, 17, 18, 19, 1, 20, 21},
130 {0, 16, 17, 18, 19, 1, 20, 21}, {16, 17, 18, 19, 20, 0, 21, 22},
131 {0, 1, 2, 3, 4, 16, 17, 18}, {16, 0, 1, 2, 3, 17, 18, 19},
132 {0, 16, 1, 2, 3, 17, 18, 19}, {16, 17, 0, 1, 2, 18, 19, 20},
133 {0, 1, 16, 2, 3, 17, 18, 19}, {16, 0, 17, 1, 2, 18, 19, 20},
134 {0, 16, 17, 1, 2, 18, 19, 20}, {16, 17, 18, 0, 1, 19, 20, 21},
135 {0, 1, 2, 16, 3, 17, 18, 19}, {16, 0, 1, 17, 2, 18, 19, 20},
136 {0, 16, 1, 17, 2, 18, 19, 20}, {16, 17, 0, 18, 1, 19, 20, 21},
137 {0, 1, 16, 17, 2, 18, 19, 20}, {16, 0, 17, 18, 1, 19, 20, 21},
138 {0, 16, 17, 18, 1, 19, 20, 21}, {16, 17, 18, 19, 0, 20, 21, 22},
139 {0, 1, 2, 3, 16, 17, 18, 19}, {16, 0, 1, 2, 17, 18, 19, 20},
140 {0, 16, 1, 2, 17, 18, 19, 20}, {16, 17, 0, 1, 18, 19, 20, 21},
141 {0, 1, 16, 2, 17, 18, 19, 20}, {16, 0, 17, 1, 18, 19, 20, 21},
142 {0, 16, 17, 1, 18, 19, 20, 21}, {16, 17, 18, 0, 19, 20, 21, 22},
143 {0, 1, 2, 16, 17, 18, 19, 20}, {16, 0, 1, 17, 18, 19, 20, 21},
144 {0, 16, 1, 17, 18, 19, 20, 21}, {16, 17, 0, 18, 19, 20, 21, 22},
145 {0, 1, 16, 17, 18, 19, 20, 21}, {16, 0, 17, 18, 19, 20, 21, 22},
146 {0, 16, 17, 18, 19, 20, 21, 22}, {16, 17, 18, 19, 20, 21, 22, 23},
147};
148
149const uint8_t zxc_pivco_idxb_pre[9][256][8] = {
150 {
151 {8, 9, 10, 11, 12, 13, 14, 15}, {16, 8, 9, 10, 11, 12, 13, 14},
152 {8, 16, 9, 10, 11, 12, 13, 14}, {16, 17, 8, 9, 10, 11, 12, 13},
153 {8, 9, 16, 10, 11, 12, 13, 14}, {16, 8, 17, 9, 10, 11, 12, 13},
154 {8, 16, 17, 9, 10, 11, 12, 13}, {16, 17, 18, 8, 9, 10, 11, 12},
155 {8, 9, 10, 16, 11, 12, 13, 14}, {16, 8, 9, 17, 10, 11, 12, 13},
156 {8, 16, 9, 17, 10, 11, 12, 13}, {16, 17, 8, 18, 9, 10, 11, 12},
157 {8, 9, 16, 17, 10, 11, 12, 13}, {16, 8, 17, 18, 9, 10, 11, 12},
158 {8, 16, 17, 18, 9, 10, 11, 12}, {16, 17, 18, 19, 8, 9, 10, 11},
159 {8, 9, 10, 11, 16, 12, 13, 14}, {16, 8, 9, 10, 17, 11, 12, 13},
160 {8, 16, 9, 10, 17, 11, 12, 13}, {16, 17, 8, 9, 18, 10, 11, 12},
161 {8, 9, 16, 10, 17, 11, 12, 13}, {16, 8, 17, 9, 18, 10, 11, 12},
162 {8, 16, 17, 9, 18, 10, 11, 12}, {16, 17, 18, 8, 19, 9, 10, 11},
163 {8, 9, 10, 16, 17, 11, 12, 13}, {16, 8, 9, 17, 18, 10, 11, 12},
164 {8, 16, 9, 17, 18, 10, 11, 12}, {16, 17, 8, 18, 19, 9, 10, 11},
165 {8, 9, 16, 17, 18, 10, 11, 12}, {16, 8, 17, 18, 19, 9, 10, 11},
166 {8, 16, 17, 18, 19, 9, 10, 11}, {16, 17, 18, 19, 20, 8, 9, 10},
167 {8, 9, 10, 11, 12, 16, 13, 14}, {16, 8, 9, 10, 11, 17, 12, 13},
168 {8, 16, 9, 10, 11, 17, 12, 13}, {16, 17, 8, 9, 10, 18, 11, 12},
169 {8, 9, 16, 10, 11, 17, 12, 13}, {16, 8, 17, 9, 10, 18, 11, 12},
170 {8, 16, 17, 9, 10, 18, 11, 12}, {16, 17, 18, 8, 9, 19, 10, 11},
171 {8, 9, 10, 16, 11, 17, 12, 13}, {16, 8, 9, 17, 10, 18, 11, 12},
172 {8, 16, 9, 17, 10, 18, 11, 12}, {16, 17, 8, 18, 9, 19, 10, 11},
173 {8, 9, 16, 17, 10, 18, 11, 12}, {16, 8, 17, 18, 9, 19, 10, 11},
174 {8, 16, 17, 18, 9, 19, 10, 11}, {16, 17, 18, 19, 8, 20, 9, 10},
175 {8, 9, 10, 11, 16, 17, 12, 13}, {16, 8, 9, 10, 17, 18, 11, 12},
176 {8, 16, 9, 10, 17, 18, 11, 12}, {16, 17, 8, 9, 18, 19, 10, 11},
177 {8, 9, 16, 10, 17, 18, 11, 12}, {16, 8, 17, 9, 18, 19, 10, 11},
178 {8, 16, 17, 9, 18, 19, 10, 11}, {16, 17, 18, 8, 19, 20, 9, 10},
179 {8, 9, 10, 16, 17, 18, 11, 12}, {16, 8, 9, 17, 18, 19, 10, 11},
180 {8, 16, 9, 17, 18, 19, 10, 11}, {16, 17, 8, 18, 19, 20, 9, 10},
181 {8, 9, 16, 17, 18, 19, 10, 11}, {16, 8, 17, 18, 19, 20, 9, 10},
182 {8, 16, 17, 18, 19, 20, 9, 10}, {16, 17, 18, 19, 20, 21, 8, 9},
183 {8, 9, 10, 11, 12, 13, 16, 14}, {16, 8, 9, 10, 11, 12, 17, 13},
184 {8, 16, 9, 10, 11, 12, 17, 13}, {16, 17, 8, 9, 10, 11, 18, 12},
185 {8, 9, 16, 10, 11, 12, 17, 13}, {16, 8, 17, 9, 10, 11, 18, 12},
186 {8, 16, 17, 9, 10, 11, 18, 12}, {16, 17, 18, 8, 9, 10, 19, 11},
187 {8, 9, 10, 16, 11, 12, 17, 13}, {16, 8, 9, 17, 10, 11, 18, 12},
188 {8, 16, 9, 17, 10, 11, 18, 12}, {16, 17, 8, 18, 9, 10, 19, 11},
189 {8, 9, 16, 17, 10, 11, 18, 12}, {16, 8, 17, 18, 9, 10, 19, 11},
190 {8, 16, 17, 18, 9, 10, 19, 11}, {16, 17, 18, 19, 8, 9, 20, 10},
191 {8, 9, 10, 11, 16, 12, 17, 13}, {16, 8, 9, 10, 17, 11, 18, 12},
192 {8, 16, 9, 10, 17, 11, 18, 12}, {16, 17, 8, 9, 18, 10, 19, 11},
193 {8, 9, 16, 10, 17, 11, 18, 12}, {16, 8, 17, 9, 18, 10, 19, 11},
194 {8, 16, 17, 9, 18, 10, 19, 11}, {16, 17, 18, 8, 19, 9, 20, 10},
195 {8, 9, 10, 16, 17, 11, 18, 12}, {16, 8, 9, 17, 18, 10, 19, 11},
196 {8, 16, 9, 17, 18, 10, 19, 11}, {16, 17, 8, 18, 19, 9, 20, 10},
197 {8, 9, 16, 17, 18, 10, 19, 11}, {16, 8, 17, 18, 19, 9, 20, 10},
198 {8, 16, 17, 18, 19, 9, 20, 10}, {16, 17, 18, 19, 20, 8, 21, 9},
199 {8, 9, 10, 11, 12, 16, 17, 13}, {16, 8, 9, 10, 11, 17, 18, 12},
200 {8, 16, 9, 10, 11, 17, 18, 12}, {16, 17, 8, 9, 10, 18, 19, 11},
201 {8, 9, 16, 10, 11, 17, 18, 12}, {16, 8, 17, 9, 10, 18, 19, 11},
202 {8, 16, 17, 9, 10, 18, 19, 11}, {16, 17, 18, 8, 9, 19, 20, 10},
203 {8, 9, 10, 16, 11, 17, 18, 12}, {16, 8, 9, 17, 10, 18, 19, 11},
204 {8, 16, 9, 17, 10, 18, 19, 11}, {16, 17, 8, 18, 9, 19, 20, 10},
205 {8, 9, 16, 17, 10, 18, 19, 11}, {16, 8, 17, 18, 9, 19, 20, 10},
206 {8, 16, 17, 18, 9, 19, 20, 10}, {16, 17, 18, 19, 8, 20, 21, 9},
207 {8, 9, 10, 11, 16, 17, 18, 12}, {16, 8, 9, 10, 17, 18, 19, 11},
208 {8, 16, 9, 10, 17, 18, 19, 11}, {16, 17, 8, 9, 18, 19, 20, 10},
209 {8, 9, 16, 10, 17, 18, 19, 11}, {16, 8, 17, 9, 18, 19, 20, 10},
210 {8, 16, 17, 9, 18, 19, 20, 10}, {16, 17, 18, 8, 19, 20, 21, 9},
211 {8, 9, 10, 16, 17, 18, 19, 11}, {16, 8, 9, 17, 18, 19, 20, 10},
212 {8, 16, 9, 17, 18, 19, 20, 10}, {16, 17, 8, 18, 19, 20, 21, 9},
213 {8, 9, 16, 17, 18, 19, 20, 10}, {16, 8, 17, 18, 19, 20, 21, 9},
214 {8, 16, 17, 18, 19, 20, 21, 9}, {16, 17, 18, 19, 20, 21, 22, 8},
215 {8, 9, 10, 11, 12, 13, 14, 16}, {16, 8, 9, 10, 11, 12, 13, 17},
216 {8, 16, 9, 10, 11, 12, 13, 17}, {16, 17, 8, 9, 10, 11, 12, 18},
217 {8, 9, 16, 10, 11, 12, 13, 17}, {16, 8, 17, 9, 10, 11, 12, 18},
218 {8, 16, 17, 9, 10, 11, 12, 18}, {16, 17, 18, 8, 9, 10, 11, 19},
219 {8, 9, 10, 16, 11, 12, 13, 17}, {16, 8, 9, 17, 10, 11, 12, 18},
220 {8, 16, 9, 17, 10, 11, 12, 18}, {16, 17, 8, 18, 9, 10, 11, 19},
221 {8, 9, 16, 17, 10, 11, 12, 18}, {16, 8, 17, 18, 9, 10, 11, 19},
222 {8, 16, 17, 18, 9, 10, 11, 19}, {16, 17, 18, 19, 8, 9, 10, 20},
223 {8, 9, 10, 11, 16, 12, 13, 17}, {16, 8, 9, 10, 17, 11, 12, 18},
224 {8, 16, 9, 10, 17, 11, 12, 18}, {16, 17, 8, 9, 18, 10, 11, 19},
225 {8, 9, 16, 10, 17, 11, 12, 18}, {16, 8, 17, 9, 18, 10, 11, 19},
226 {8, 16, 17, 9, 18, 10, 11, 19}, {16, 17, 18, 8, 19, 9, 10, 20},
227 {8, 9, 10, 16, 17, 11, 12, 18}, {16, 8, 9, 17, 18, 10, 11, 19},
228 {8, 16, 9, 17, 18, 10, 11, 19}, {16, 17, 8, 18, 19, 9, 10, 20},
229 {8, 9, 16, 17, 18, 10, 11, 19}, {16, 8, 17, 18, 19, 9, 10, 20},
230 {8, 16, 17, 18, 19, 9, 10, 20}, {16, 17, 18, 19, 20, 8, 9, 21},
231 {8, 9, 10, 11, 12, 16, 13, 17}, {16, 8, 9, 10, 11, 17, 12, 18},
232 {8, 16, 9, 10, 11, 17, 12, 18}, {16, 17, 8, 9, 10, 18, 11, 19},
233 {8, 9, 16, 10, 11, 17, 12, 18}, {16, 8, 17, 9, 10, 18, 11, 19},
234 {8, 16, 17, 9, 10, 18, 11, 19}, {16, 17, 18, 8, 9, 19, 10, 20},
235 {8, 9, 10, 16, 11, 17, 12, 18}, {16, 8, 9, 17, 10, 18, 11, 19},
236 {8, 16, 9, 17, 10, 18, 11, 19}, {16, 17, 8, 18, 9, 19, 10, 20},
237 {8, 9, 16, 17, 10, 18, 11, 19}, {16, 8, 17, 18, 9, 19, 10, 20},
238 {8, 16, 17, 18, 9, 19, 10, 20}, {16, 17, 18, 19, 8, 20, 9, 21},
239 {8, 9, 10, 11, 16, 17, 12, 18}, {16, 8, 9, 10, 17, 18, 11, 19},
240 {8, 16, 9, 10, 17, 18, 11, 19}, {16, 17, 8, 9, 18, 19, 10, 20},
241 {8, 9, 16, 10, 17, 18, 11, 19}, {16, 8, 17, 9, 18, 19, 10, 20},
242 {8, 16, 17, 9, 18, 19, 10, 20}, {16, 17, 18, 8, 19, 20, 9, 21},
243 {8, 9, 10, 16, 17, 18, 11, 19}, {16, 8, 9, 17, 18, 19, 10, 20},
244 {8, 16, 9, 17, 18, 19, 10, 20}, {16, 17, 8, 18, 19, 20, 9, 21},
245 {8, 9, 16, 17, 18, 19, 10, 20}, {16, 8, 17, 18, 19, 20, 9, 21},
246 {8, 16, 17, 18, 19, 20, 9, 21}, {16, 17, 18, 19, 20, 21, 8, 22},
247 {8, 9, 10, 11, 12, 13, 16, 17}, {16, 8, 9, 10, 11, 12, 17, 18},
248 {8, 16, 9, 10, 11, 12, 17, 18}, {16, 17, 8, 9, 10, 11, 18, 19},
249 {8, 9, 16, 10, 11, 12, 17, 18}, {16, 8, 17, 9, 10, 11, 18, 19},
250 {8, 16, 17, 9, 10, 11, 18, 19}, {16, 17, 18, 8, 9, 10, 19, 20},
251 {8, 9, 10, 16, 11, 12, 17, 18}, {16, 8, 9, 17, 10, 11, 18, 19},
252 {8, 16, 9, 17, 10, 11, 18, 19}, {16, 17, 8, 18, 9, 10, 19, 20},
253 {8, 9, 16, 17, 10, 11, 18, 19}, {16, 8, 17, 18, 9, 10, 19, 20},
254 {8, 16, 17, 18, 9, 10, 19, 20}, {16, 17, 18, 19, 8, 9, 20, 21},
255 {8, 9, 10, 11, 16, 12, 17, 18}, {16, 8, 9, 10, 17, 11, 18, 19},
256 {8, 16, 9, 10, 17, 11, 18, 19}, {16, 17, 8, 9, 18, 10, 19, 20},
257 {8, 9, 16, 10, 17, 11, 18, 19}, {16, 8, 17, 9, 18, 10, 19, 20},
258 {8, 16, 17, 9, 18, 10, 19, 20}, {16, 17, 18, 8, 19, 9, 20, 21},
259 {8, 9, 10, 16, 17, 11, 18, 19}, {16, 8, 9, 17, 18, 10, 19, 20},
260 {8, 16, 9, 17, 18, 10, 19, 20}, {16, 17, 8, 18, 19, 9, 20, 21},
261 {8, 9, 16, 17, 18, 10, 19, 20}, {16, 8, 17, 18, 19, 9, 20, 21},
262 {8, 16, 17, 18, 19, 9, 20, 21}, {16, 17, 18, 19, 20, 8, 21, 22},
263 {8, 9, 10, 11, 12, 16, 17, 18}, {16, 8, 9, 10, 11, 17, 18, 19},
264 {8, 16, 9, 10, 11, 17, 18, 19}, {16, 17, 8, 9, 10, 18, 19, 20},
265 {8, 9, 16, 10, 11, 17, 18, 19}, {16, 8, 17, 9, 10, 18, 19, 20},
266 {8, 16, 17, 9, 10, 18, 19, 20}, {16, 17, 18, 8, 9, 19, 20, 21},
267 {8, 9, 10, 16, 11, 17, 18, 19}, {16, 8, 9, 17, 10, 18, 19, 20},
268 {8, 16, 9, 17, 10, 18, 19, 20}, {16, 17, 8, 18, 9, 19, 20, 21},
269 {8, 9, 16, 17, 10, 18, 19, 20}, {16, 8, 17, 18, 9, 19, 20, 21},
270 {8, 16, 17, 18, 9, 19, 20, 21}, {16, 17, 18, 19, 8, 20, 21, 22},
271 {8, 9, 10, 11, 16, 17, 18, 19}, {16, 8, 9, 10, 17, 18, 19, 20},
272 {8, 16, 9, 10, 17, 18, 19, 20}, {16, 17, 8, 9, 18, 19, 20, 21},
273 {8, 9, 16, 10, 17, 18, 19, 20}, {16, 8, 17, 9, 18, 19, 20, 21},
274 {8, 16, 17, 9, 18, 19, 20, 21}, {16, 17, 18, 8, 19, 20, 21, 22},
275 {8, 9, 10, 16, 17, 18, 19, 20}, {16, 8, 9, 17, 18, 19, 20, 21},
276 {8, 16, 9, 17, 18, 19, 20, 21}, {16, 17, 8, 18, 19, 20, 21, 22},
277 {8, 9, 16, 17, 18, 19, 20, 21}, {16, 8, 17, 18, 19, 20, 21, 22},
278 {8, 16, 17, 18, 19, 20, 21, 22}, {16, 17, 18, 19, 20, 21, 22, 23},
279 },
280 {
281 {7, 8, 9, 10, 11, 12, 13, 14}, {17, 7, 8, 9, 10, 11, 12, 13},
282 {7, 17, 8, 9, 10, 11, 12, 13}, {17, 18, 7, 8, 9, 10, 11, 12},
283 {7, 8, 17, 9, 10, 11, 12, 13}, {17, 7, 18, 8, 9, 10, 11, 12},
284 {7, 17, 18, 8, 9, 10, 11, 12}, {17, 18, 19, 7, 8, 9, 10, 11},
285 {7, 8, 9, 17, 10, 11, 12, 13}, {17, 7, 8, 18, 9, 10, 11, 12},
286 {7, 17, 8, 18, 9, 10, 11, 12}, {17, 18, 7, 19, 8, 9, 10, 11},
287 {7, 8, 17, 18, 9, 10, 11, 12}, {17, 7, 18, 19, 8, 9, 10, 11},
288 {7, 17, 18, 19, 8, 9, 10, 11}, {17, 18, 19, 20, 7, 8, 9, 10},
289 {7, 8, 9, 10, 17, 11, 12, 13}, {17, 7, 8, 9, 18, 10, 11, 12},
290 {7, 17, 8, 9, 18, 10, 11, 12}, {17, 18, 7, 8, 19, 9, 10, 11},
291 {7, 8, 17, 9, 18, 10, 11, 12}, {17, 7, 18, 8, 19, 9, 10, 11},
292 {7, 17, 18, 8, 19, 9, 10, 11}, {17, 18, 19, 7, 20, 8, 9, 10},
293 {7, 8, 9, 17, 18, 10, 11, 12}, {17, 7, 8, 18, 19, 9, 10, 11},
294 {7, 17, 8, 18, 19, 9, 10, 11}, {17, 18, 7, 19, 20, 8, 9, 10},
295 {7, 8, 17, 18, 19, 9, 10, 11}, {17, 7, 18, 19, 20, 8, 9, 10},
296 {7, 17, 18, 19, 20, 8, 9, 10}, {17, 18, 19, 20, 21, 7, 8, 9},
297 {7, 8, 9, 10, 11, 17, 12, 13}, {17, 7, 8, 9, 10, 18, 11, 12},
298 {7, 17, 8, 9, 10, 18, 11, 12}, {17, 18, 7, 8, 9, 19, 10, 11},
299 {7, 8, 17, 9, 10, 18, 11, 12}, {17, 7, 18, 8, 9, 19, 10, 11},
300 {7, 17, 18, 8, 9, 19, 10, 11}, {17, 18, 19, 7, 8, 20, 9, 10},
301 {7, 8, 9, 17, 10, 18, 11, 12}, {17, 7, 8, 18, 9, 19, 10, 11},
302 {7, 17, 8, 18, 9, 19, 10, 11}, {17, 18, 7, 19, 8, 20, 9, 10},
303 {7, 8, 17, 18, 9, 19, 10, 11}, {17, 7, 18, 19, 8, 20, 9, 10},
304 {7, 17, 18, 19, 8, 20, 9, 10}, {17, 18, 19, 20, 7, 21, 8, 9},
305 {7, 8, 9, 10, 17, 18, 11, 12}, {17, 7, 8, 9, 18, 19, 10, 11},
306 {7, 17, 8, 9, 18, 19, 10, 11}, {17, 18, 7, 8, 19, 20, 9, 10},
307 {7, 8, 17, 9, 18, 19, 10, 11}, {17, 7, 18, 8, 19, 20, 9, 10},
308 {7, 17, 18, 8, 19, 20, 9, 10}, {17, 18, 19, 7, 20, 21, 8, 9},
309 {7, 8, 9, 17, 18, 19, 10, 11}, {17, 7, 8, 18, 19, 20, 9, 10},
310 {7, 17, 8, 18, 19, 20, 9, 10}, {17, 18, 7, 19, 20, 21, 8, 9},
311 {7, 8, 17, 18, 19, 20, 9, 10}, {17, 7, 18, 19, 20, 21, 8, 9},
312 {7, 17, 18, 19, 20, 21, 8, 9}, {17, 18, 19, 20, 21, 22, 7, 8},
313 {7, 8, 9, 10, 11, 12, 17, 13}, {17, 7, 8, 9, 10, 11, 18, 12},
314 {7, 17, 8, 9, 10, 11, 18, 12}, {17, 18, 7, 8, 9, 10, 19, 11},
315 {7, 8, 17, 9, 10, 11, 18, 12}, {17, 7, 18, 8, 9, 10, 19, 11},
316 {7, 17, 18, 8, 9, 10, 19, 11}, {17, 18, 19, 7, 8, 9, 20, 10},
317 {7, 8, 9, 17, 10, 11, 18, 12}, {17, 7, 8, 18, 9, 10, 19, 11},
318 {7, 17, 8, 18, 9, 10, 19, 11}, {17, 18, 7, 19, 8, 9, 20, 10},
319 {7, 8, 17, 18, 9, 10, 19, 11}, {17, 7, 18, 19, 8, 9, 20, 10},
320 {7, 17, 18, 19, 8, 9, 20, 10}, {17, 18, 19, 20, 7, 8, 21, 9},
321 {7, 8, 9, 10, 17, 11, 18, 12}, {17, 7, 8, 9, 18, 10, 19, 11},
322 {7, 17, 8, 9, 18, 10, 19, 11}, {17, 18, 7, 8, 19, 9, 20, 10},
323 {7, 8, 17, 9, 18, 10, 19, 11}, {17, 7, 18, 8, 19, 9, 20, 10},
324 {7, 17, 18, 8, 19, 9, 20, 10}, {17, 18, 19, 7, 20, 8, 21, 9},
325 {7, 8, 9, 17, 18, 10, 19, 11}, {17, 7, 8, 18, 19, 9, 20, 10},
326 {7, 17, 8, 18, 19, 9, 20, 10}, {17, 18, 7, 19, 20, 8, 21, 9},
327 {7, 8, 17, 18, 19, 9, 20, 10}, {17, 7, 18, 19, 20, 8, 21, 9},
328 {7, 17, 18, 19, 20, 8, 21, 9}, {17, 18, 19, 20, 21, 7, 22, 8},
329 {7, 8, 9, 10, 11, 17, 18, 12}, {17, 7, 8, 9, 10, 18, 19, 11},
330 {7, 17, 8, 9, 10, 18, 19, 11}, {17, 18, 7, 8, 9, 19, 20, 10},
331 {7, 8, 17, 9, 10, 18, 19, 11}, {17, 7, 18, 8, 9, 19, 20, 10},
332 {7, 17, 18, 8, 9, 19, 20, 10}, {17, 18, 19, 7, 8, 20, 21, 9},
333 {7, 8, 9, 17, 10, 18, 19, 11}, {17, 7, 8, 18, 9, 19, 20, 10},
334 {7, 17, 8, 18, 9, 19, 20, 10}, {17, 18, 7, 19, 8, 20, 21, 9},
335 {7, 8, 17, 18, 9, 19, 20, 10}, {17, 7, 18, 19, 8, 20, 21, 9},
336 {7, 17, 18, 19, 8, 20, 21, 9}, {17, 18, 19, 20, 7, 21, 22, 8},
337 {7, 8, 9, 10, 17, 18, 19, 11}, {17, 7, 8, 9, 18, 19, 20, 10},
338 {7, 17, 8, 9, 18, 19, 20, 10}, {17, 18, 7, 8, 19, 20, 21, 9},
339 {7, 8, 17, 9, 18, 19, 20, 10}, {17, 7, 18, 8, 19, 20, 21, 9},
340 {7, 17, 18, 8, 19, 20, 21, 9}, {17, 18, 19, 7, 20, 21, 22, 8},
341 {7, 8, 9, 17, 18, 19, 20, 10}, {17, 7, 8, 18, 19, 20, 21, 9},
342 {7, 17, 8, 18, 19, 20, 21, 9}, {17, 18, 7, 19, 20, 21, 22, 8},
343 {7, 8, 17, 18, 19, 20, 21, 9}, {17, 7, 18, 19, 20, 21, 22, 8},
344 {7, 17, 18, 19, 20, 21, 22, 8}, {17, 18, 19, 20, 21, 22, 23, 7},
345 {7, 8, 9, 10, 11, 12, 13, 17}, {17, 7, 8, 9, 10, 11, 12, 18},
346 {7, 17, 8, 9, 10, 11, 12, 18}, {17, 18, 7, 8, 9, 10, 11, 19},
347 {7, 8, 17, 9, 10, 11, 12, 18}, {17, 7, 18, 8, 9, 10, 11, 19},
348 {7, 17, 18, 8, 9, 10, 11, 19}, {17, 18, 19, 7, 8, 9, 10, 20},
349 {7, 8, 9, 17, 10, 11, 12, 18}, {17, 7, 8, 18, 9, 10, 11, 19},
350 {7, 17, 8, 18, 9, 10, 11, 19}, {17, 18, 7, 19, 8, 9, 10, 20},
351 {7, 8, 17, 18, 9, 10, 11, 19}, {17, 7, 18, 19, 8, 9, 10, 20},
352 {7, 17, 18, 19, 8, 9, 10, 20}, {17, 18, 19, 20, 7, 8, 9, 21},
353 {7, 8, 9, 10, 17, 11, 12, 18}, {17, 7, 8, 9, 18, 10, 11, 19},
354 {7, 17, 8, 9, 18, 10, 11, 19}, {17, 18, 7, 8, 19, 9, 10, 20},
355 {7, 8, 17, 9, 18, 10, 11, 19}, {17, 7, 18, 8, 19, 9, 10, 20},
356 {7, 17, 18, 8, 19, 9, 10, 20}, {17, 18, 19, 7, 20, 8, 9, 21},
357 {7, 8, 9, 17, 18, 10, 11, 19}, {17, 7, 8, 18, 19, 9, 10, 20},
358 {7, 17, 8, 18, 19, 9, 10, 20}, {17, 18, 7, 19, 20, 8, 9, 21},
359 {7, 8, 17, 18, 19, 9, 10, 20}, {17, 7, 18, 19, 20, 8, 9, 21},
360 {7, 17, 18, 19, 20, 8, 9, 21}, {17, 18, 19, 20, 21, 7, 8, 22},
361 {7, 8, 9, 10, 11, 17, 12, 18}, {17, 7, 8, 9, 10, 18, 11, 19},
362 {7, 17, 8, 9, 10, 18, 11, 19}, {17, 18, 7, 8, 9, 19, 10, 20},
363 {7, 8, 17, 9, 10, 18, 11, 19}, {17, 7, 18, 8, 9, 19, 10, 20},
364 {7, 17, 18, 8, 9, 19, 10, 20}, {17, 18, 19, 7, 8, 20, 9, 21},
365 {7, 8, 9, 17, 10, 18, 11, 19}, {17, 7, 8, 18, 9, 19, 10, 20},
366 {7, 17, 8, 18, 9, 19, 10, 20}, {17, 18, 7, 19, 8, 20, 9, 21},
367 {7, 8, 17, 18, 9, 19, 10, 20}, {17, 7, 18, 19, 8, 20, 9, 21},
368 {7, 17, 18, 19, 8, 20, 9, 21}, {17, 18, 19, 20, 7, 21, 8, 22},
369 {7, 8, 9, 10, 17, 18, 11, 19}, {17, 7, 8, 9, 18, 19, 10, 20},
370 {7, 17, 8, 9, 18, 19, 10, 20}, {17, 18, 7, 8, 19, 20, 9, 21},
371 {7, 8, 17, 9, 18, 19, 10, 20}, {17, 7, 18, 8, 19, 20, 9, 21},
372 {7, 17, 18, 8, 19, 20, 9, 21}, {17, 18, 19, 7, 20, 21, 8, 22},
373 {7, 8, 9, 17, 18, 19, 10, 20}, {17, 7, 8, 18, 19, 20, 9, 21},
374 {7, 17, 8, 18, 19, 20, 9, 21}, {17, 18, 7, 19, 20, 21, 8, 22},
375 {7, 8, 17, 18, 19, 20, 9, 21}, {17, 7, 18, 19, 20, 21, 8, 22},
376 {7, 17, 18, 19, 20, 21, 8, 22}, {17, 18, 19, 20, 21, 22, 7, 23},
377 {7, 8, 9, 10, 11, 12, 17, 18}, {17, 7, 8, 9, 10, 11, 18, 19},
378 {7, 17, 8, 9, 10, 11, 18, 19}, {17, 18, 7, 8, 9, 10, 19, 20},
379 {7, 8, 17, 9, 10, 11, 18, 19}, {17, 7, 18, 8, 9, 10, 19, 20},
380 {7, 17, 18, 8, 9, 10, 19, 20}, {17, 18, 19, 7, 8, 9, 20, 21},
381 {7, 8, 9, 17, 10, 11, 18, 19}, {17, 7, 8, 18, 9, 10, 19, 20},
382 {7, 17, 8, 18, 9, 10, 19, 20}, {17, 18, 7, 19, 8, 9, 20, 21},
383 {7, 8, 17, 18, 9, 10, 19, 20}, {17, 7, 18, 19, 8, 9, 20, 21},
384 {7, 17, 18, 19, 8, 9, 20, 21}, {17, 18, 19, 20, 7, 8, 21, 22},
385 {7, 8, 9, 10, 17, 11, 18, 19}, {17, 7, 8, 9, 18, 10, 19, 20},
386 {7, 17, 8, 9, 18, 10, 19, 20}, {17, 18, 7, 8, 19, 9, 20, 21},
387 {7, 8, 17, 9, 18, 10, 19, 20}, {17, 7, 18, 8, 19, 9, 20, 21},
388 {7, 17, 18, 8, 19, 9, 20, 21}, {17, 18, 19, 7, 20, 8, 21, 22},
389 {7, 8, 9, 17, 18, 10, 19, 20}, {17, 7, 8, 18, 19, 9, 20, 21},
390 {7, 17, 8, 18, 19, 9, 20, 21}, {17, 18, 7, 19, 20, 8, 21, 22},
391 {7, 8, 17, 18, 19, 9, 20, 21}, {17, 7, 18, 19, 20, 8, 21, 22},
392 {7, 17, 18, 19, 20, 8, 21, 22}, {17, 18, 19, 20, 21, 7, 22, 23},
393 {7, 8, 9, 10, 11, 17, 18, 19}, {17, 7, 8, 9, 10, 18, 19, 20},
394 {7, 17, 8, 9, 10, 18, 19, 20}, {17, 18, 7, 8, 9, 19, 20, 21},
395 {7, 8, 17, 9, 10, 18, 19, 20}, {17, 7, 18, 8, 9, 19, 20, 21},
396 {7, 17, 18, 8, 9, 19, 20, 21}, {17, 18, 19, 7, 8, 20, 21, 22},
397 {7, 8, 9, 17, 10, 18, 19, 20}, {17, 7, 8, 18, 9, 19, 20, 21},
398 {7, 17, 8, 18, 9, 19, 20, 21}, {17, 18, 7, 19, 8, 20, 21, 22},
399 {7, 8, 17, 18, 9, 19, 20, 21}, {17, 7, 18, 19, 8, 20, 21, 22},
400 {7, 17, 18, 19, 8, 20, 21, 22}, {17, 18, 19, 20, 7, 21, 22, 23},
401 {7, 8, 9, 10, 17, 18, 19, 20}, {17, 7, 8, 9, 18, 19, 20, 21},
402 {7, 17, 8, 9, 18, 19, 20, 21}, {17, 18, 7, 8, 19, 20, 21, 22},
403 {7, 8, 17, 9, 18, 19, 20, 21}, {17, 7, 18, 8, 19, 20, 21, 22},
404 {7, 17, 18, 8, 19, 20, 21, 22}, {17, 18, 19, 7, 20, 21, 22, 23},
405 {7, 8, 9, 17, 18, 19, 20, 21}, {17, 7, 8, 18, 19, 20, 21, 22},
406 {7, 17, 8, 18, 19, 20, 21, 22}, {17, 18, 7, 19, 20, 21, 22, 23},
407 {7, 8, 17, 18, 19, 20, 21, 22}, {17, 7, 18, 19, 20, 21, 22, 23},
408 {7, 17, 18, 19, 20, 21, 22, 23}, {17, 18, 19, 20, 21, 22, 23, 24},
409 },
410 {
411 {6, 7, 8, 9, 10, 11, 12, 13}, {18, 6, 7, 8, 9, 10, 11, 12},
412 {6, 18, 7, 8, 9, 10, 11, 12}, {18, 19, 6, 7, 8, 9, 10, 11},
413 {6, 7, 18, 8, 9, 10, 11, 12}, {18, 6, 19, 7, 8, 9, 10, 11},
414 {6, 18, 19, 7, 8, 9, 10, 11}, {18, 19, 20, 6, 7, 8, 9, 10},
415 {6, 7, 8, 18, 9, 10, 11, 12}, {18, 6, 7, 19, 8, 9, 10, 11},
416 {6, 18, 7, 19, 8, 9, 10, 11}, {18, 19, 6, 20, 7, 8, 9, 10},
417 {6, 7, 18, 19, 8, 9, 10, 11}, {18, 6, 19, 20, 7, 8, 9, 10},
418 {6, 18, 19, 20, 7, 8, 9, 10}, {18, 19, 20, 21, 6, 7, 8, 9},
419 {6, 7, 8, 9, 18, 10, 11, 12}, {18, 6, 7, 8, 19, 9, 10, 11},
420 {6, 18, 7, 8, 19, 9, 10, 11}, {18, 19, 6, 7, 20, 8, 9, 10},
421 {6, 7, 18, 8, 19, 9, 10, 11}, {18, 6, 19, 7, 20, 8, 9, 10},
422 {6, 18, 19, 7, 20, 8, 9, 10}, {18, 19, 20, 6, 21, 7, 8, 9},
423 {6, 7, 8, 18, 19, 9, 10, 11}, {18, 6, 7, 19, 20, 8, 9, 10},
424 {6, 18, 7, 19, 20, 8, 9, 10}, {18, 19, 6, 20, 21, 7, 8, 9},
425 {6, 7, 18, 19, 20, 8, 9, 10}, {18, 6, 19, 20, 21, 7, 8, 9},
426 {6, 18, 19, 20, 21, 7, 8, 9}, {18, 19, 20, 21, 22, 6, 7, 8},
427 {6, 7, 8, 9, 10, 18, 11, 12}, {18, 6, 7, 8, 9, 19, 10, 11},
428 {6, 18, 7, 8, 9, 19, 10, 11}, {18, 19, 6, 7, 8, 20, 9, 10},
429 {6, 7, 18, 8, 9, 19, 10, 11}, {18, 6, 19, 7, 8, 20, 9, 10},
430 {6, 18, 19, 7, 8, 20, 9, 10}, {18, 19, 20, 6, 7, 21, 8, 9},
431 {6, 7, 8, 18, 9, 19, 10, 11}, {18, 6, 7, 19, 8, 20, 9, 10},
432 {6, 18, 7, 19, 8, 20, 9, 10}, {18, 19, 6, 20, 7, 21, 8, 9},
433 {6, 7, 18, 19, 8, 20, 9, 10}, {18, 6, 19, 20, 7, 21, 8, 9},
434 {6, 18, 19, 20, 7, 21, 8, 9}, {18, 19, 20, 21, 6, 22, 7, 8},
435 {6, 7, 8, 9, 18, 19, 10, 11}, {18, 6, 7, 8, 19, 20, 9, 10},
436 {6, 18, 7, 8, 19, 20, 9, 10}, {18, 19, 6, 7, 20, 21, 8, 9},
437 {6, 7, 18, 8, 19, 20, 9, 10}, {18, 6, 19, 7, 20, 21, 8, 9},
438 {6, 18, 19, 7, 20, 21, 8, 9}, {18, 19, 20, 6, 21, 22, 7, 8},
439 {6, 7, 8, 18, 19, 20, 9, 10}, {18, 6, 7, 19, 20, 21, 8, 9},
440 {6, 18, 7, 19, 20, 21, 8, 9}, {18, 19, 6, 20, 21, 22, 7, 8},
441 {6, 7, 18, 19, 20, 21, 8, 9}, {18, 6, 19, 20, 21, 22, 7, 8},
442 {6, 18, 19, 20, 21, 22, 7, 8}, {18, 19, 20, 21, 22, 23, 6, 7},
443 {6, 7, 8, 9, 10, 11, 18, 12}, {18, 6, 7, 8, 9, 10, 19, 11},
444 {6, 18, 7, 8, 9, 10, 19, 11}, {18, 19, 6, 7, 8, 9, 20, 10},
445 {6, 7, 18, 8, 9, 10, 19, 11}, {18, 6, 19, 7, 8, 9, 20, 10},
446 {6, 18, 19, 7, 8, 9, 20, 10}, {18, 19, 20, 6, 7, 8, 21, 9},
447 {6, 7, 8, 18, 9, 10, 19, 11}, {18, 6, 7, 19, 8, 9, 20, 10},
448 {6, 18, 7, 19, 8, 9, 20, 10}, {18, 19, 6, 20, 7, 8, 21, 9},
449 {6, 7, 18, 19, 8, 9, 20, 10}, {18, 6, 19, 20, 7, 8, 21, 9},
450 {6, 18, 19, 20, 7, 8, 21, 9}, {18, 19, 20, 21, 6, 7, 22, 8},
451 {6, 7, 8, 9, 18, 10, 19, 11}, {18, 6, 7, 8, 19, 9, 20, 10},
452 {6, 18, 7, 8, 19, 9, 20, 10}, {18, 19, 6, 7, 20, 8, 21, 9},
453 {6, 7, 18, 8, 19, 9, 20, 10}, {18, 6, 19, 7, 20, 8, 21, 9},
454 {6, 18, 19, 7, 20, 8, 21, 9}, {18, 19, 20, 6, 21, 7, 22, 8},
455 {6, 7, 8, 18, 19, 9, 20, 10}, {18, 6, 7, 19, 20, 8, 21, 9},
456 {6, 18, 7, 19, 20, 8, 21, 9}, {18, 19, 6, 20, 21, 7, 22, 8},
457 {6, 7, 18, 19, 20, 8, 21, 9}, {18, 6, 19, 20, 21, 7, 22, 8},
458 {6, 18, 19, 20, 21, 7, 22, 8}, {18, 19, 20, 21, 22, 6, 23, 7},
459 {6, 7, 8, 9, 10, 18, 19, 11}, {18, 6, 7, 8, 9, 19, 20, 10},
460 {6, 18, 7, 8, 9, 19, 20, 10}, {18, 19, 6, 7, 8, 20, 21, 9},
461 {6, 7, 18, 8, 9, 19, 20, 10}, {18, 6, 19, 7, 8, 20, 21, 9},
462 {6, 18, 19, 7, 8, 20, 21, 9}, {18, 19, 20, 6, 7, 21, 22, 8},
463 {6, 7, 8, 18, 9, 19, 20, 10}, {18, 6, 7, 19, 8, 20, 21, 9},
464 {6, 18, 7, 19, 8, 20, 21, 9}, {18, 19, 6, 20, 7, 21, 22, 8},
465 {6, 7, 18, 19, 8, 20, 21, 9}, {18, 6, 19, 20, 7, 21, 22, 8},
466 {6, 18, 19, 20, 7, 21, 22, 8}, {18, 19, 20, 21, 6, 22, 23, 7},
467 {6, 7, 8, 9, 18, 19, 20, 10}, {18, 6, 7, 8, 19, 20, 21, 9},
468 {6, 18, 7, 8, 19, 20, 21, 9}, {18, 19, 6, 7, 20, 21, 22, 8},
469 {6, 7, 18, 8, 19, 20, 21, 9}, {18, 6, 19, 7, 20, 21, 22, 8},
470 {6, 18, 19, 7, 20, 21, 22, 8}, {18, 19, 20, 6, 21, 22, 23, 7},
471 {6, 7, 8, 18, 19, 20, 21, 9}, {18, 6, 7, 19, 20, 21, 22, 8},
472 {6, 18, 7, 19, 20, 21, 22, 8}, {18, 19, 6, 20, 21, 22, 23, 7},
473 {6, 7, 18, 19, 20, 21, 22, 8}, {18, 6, 19, 20, 21, 22, 23, 7},
474 {6, 18, 19, 20, 21, 22, 23, 7}, {18, 19, 20, 21, 22, 23, 24, 6},
475 {6, 7, 8, 9, 10, 11, 12, 18}, {18, 6, 7, 8, 9, 10, 11, 19},
476 {6, 18, 7, 8, 9, 10, 11, 19}, {18, 19, 6, 7, 8, 9, 10, 20},
477 {6, 7, 18, 8, 9, 10, 11, 19}, {18, 6, 19, 7, 8, 9, 10, 20},
478 {6, 18, 19, 7, 8, 9, 10, 20}, {18, 19, 20, 6, 7, 8, 9, 21},
479 {6, 7, 8, 18, 9, 10, 11, 19}, {18, 6, 7, 19, 8, 9, 10, 20},
480 {6, 18, 7, 19, 8, 9, 10, 20}, {18, 19, 6, 20, 7, 8, 9, 21},
481 {6, 7, 18, 19, 8, 9, 10, 20}, {18, 6, 19, 20, 7, 8, 9, 21},
482 {6, 18, 19, 20, 7, 8, 9, 21}, {18, 19, 20, 21, 6, 7, 8, 22},
483 {6, 7, 8, 9, 18, 10, 11, 19}, {18, 6, 7, 8, 19, 9, 10, 20},
484 {6, 18, 7, 8, 19, 9, 10, 20}, {18, 19, 6, 7, 20, 8, 9, 21},
485 {6, 7, 18, 8, 19, 9, 10, 20}, {18, 6, 19, 7, 20, 8, 9, 21},
486 {6, 18, 19, 7, 20, 8, 9, 21}, {18, 19, 20, 6, 21, 7, 8, 22},
487 {6, 7, 8, 18, 19, 9, 10, 20}, {18, 6, 7, 19, 20, 8, 9, 21},
488 {6, 18, 7, 19, 20, 8, 9, 21}, {18, 19, 6, 20, 21, 7, 8, 22},
489 {6, 7, 18, 19, 20, 8, 9, 21}, {18, 6, 19, 20, 21, 7, 8, 22},
490 {6, 18, 19, 20, 21, 7, 8, 22}, {18, 19, 20, 21, 22, 6, 7, 23},
491 {6, 7, 8, 9, 10, 18, 11, 19}, {18, 6, 7, 8, 9, 19, 10, 20},
492 {6, 18, 7, 8, 9, 19, 10, 20}, {18, 19, 6, 7, 8, 20, 9, 21},
493 {6, 7, 18, 8, 9, 19, 10, 20}, {18, 6, 19, 7, 8, 20, 9, 21},
494 {6, 18, 19, 7, 8, 20, 9, 21}, {18, 19, 20, 6, 7, 21, 8, 22},
495 {6, 7, 8, 18, 9, 19, 10, 20}, {18, 6, 7, 19, 8, 20, 9, 21},
496 {6, 18, 7, 19, 8, 20, 9, 21}, {18, 19, 6, 20, 7, 21, 8, 22},
497 {6, 7, 18, 19, 8, 20, 9, 21}, {18, 6, 19, 20, 7, 21, 8, 22},
498 {6, 18, 19, 20, 7, 21, 8, 22}, {18, 19, 20, 21, 6, 22, 7, 23},
499 {6, 7, 8, 9, 18, 19, 10, 20}, {18, 6, 7, 8, 19, 20, 9, 21},
500 {6, 18, 7, 8, 19, 20, 9, 21}, {18, 19, 6, 7, 20, 21, 8, 22},
501 {6, 7, 18, 8, 19, 20, 9, 21}, {18, 6, 19, 7, 20, 21, 8, 22},
502 {6, 18, 19, 7, 20, 21, 8, 22}, {18, 19, 20, 6, 21, 22, 7, 23},
503 {6, 7, 8, 18, 19, 20, 9, 21}, {18, 6, 7, 19, 20, 21, 8, 22},
504 {6, 18, 7, 19, 20, 21, 8, 22}, {18, 19, 6, 20, 21, 22, 7, 23},
505 {6, 7, 18, 19, 20, 21, 8, 22}, {18, 6, 19, 20, 21, 22, 7, 23},
506 {6, 18, 19, 20, 21, 22, 7, 23}, {18, 19, 20, 21, 22, 23, 6, 24},
507 {6, 7, 8, 9, 10, 11, 18, 19}, {18, 6, 7, 8, 9, 10, 19, 20},
508 {6, 18, 7, 8, 9, 10, 19, 20}, {18, 19, 6, 7, 8, 9, 20, 21},
509 {6, 7, 18, 8, 9, 10, 19, 20}, {18, 6, 19, 7, 8, 9, 20, 21},
510 {6, 18, 19, 7, 8, 9, 20, 21}, {18, 19, 20, 6, 7, 8, 21, 22},
511 {6, 7, 8, 18, 9, 10, 19, 20}, {18, 6, 7, 19, 8, 9, 20, 21},
512 {6, 18, 7, 19, 8, 9, 20, 21}, {18, 19, 6, 20, 7, 8, 21, 22},
513 {6, 7, 18, 19, 8, 9, 20, 21}, {18, 6, 19, 20, 7, 8, 21, 22},
514 {6, 18, 19, 20, 7, 8, 21, 22}, {18, 19, 20, 21, 6, 7, 22, 23},
515 {6, 7, 8, 9, 18, 10, 19, 20}, {18, 6, 7, 8, 19, 9, 20, 21},
516 {6, 18, 7, 8, 19, 9, 20, 21}, {18, 19, 6, 7, 20, 8, 21, 22},
517 {6, 7, 18, 8, 19, 9, 20, 21}, {18, 6, 19, 7, 20, 8, 21, 22},
518 {6, 18, 19, 7, 20, 8, 21, 22}, {18, 19, 20, 6, 21, 7, 22, 23},
519 {6, 7, 8, 18, 19, 9, 20, 21}, {18, 6, 7, 19, 20, 8, 21, 22},
520 {6, 18, 7, 19, 20, 8, 21, 22}, {18, 19, 6, 20, 21, 7, 22, 23},
521 {6, 7, 18, 19, 20, 8, 21, 22}, {18, 6, 19, 20, 21, 7, 22, 23},
522 {6, 18, 19, 20, 21, 7, 22, 23}, {18, 19, 20, 21, 22, 6, 23, 24},
523 {6, 7, 8, 9, 10, 18, 19, 20}, {18, 6, 7, 8, 9, 19, 20, 21},
524 {6, 18, 7, 8, 9, 19, 20, 21}, {18, 19, 6, 7, 8, 20, 21, 22},
525 {6, 7, 18, 8, 9, 19, 20, 21}, {18, 6, 19, 7, 8, 20, 21, 22},
526 {6, 18, 19, 7, 8, 20, 21, 22}, {18, 19, 20, 6, 7, 21, 22, 23},
527 {6, 7, 8, 18, 9, 19, 20, 21}, {18, 6, 7, 19, 8, 20, 21, 22},
528 {6, 18, 7, 19, 8, 20, 21, 22}, {18, 19, 6, 20, 7, 21, 22, 23},
529 {6, 7, 18, 19, 8, 20, 21, 22}, {18, 6, 19, 20, 7, 21, 22, 23},
530 {6, 18, 19, 20, 7, 21, 22, 23}, {18, 19, 20, 21, 6, 22, 23, 24},
531 {6, 7, 8, 9, 18, 19, 20, 21}, {18, 6, 7, 8, 19, 20, 21, 22},
532 {6, 18, 7, 8, 19, 20, 21, 22}, {18, 19, 6, 7, 20, 21, 22, 23},
533 {6, 7, 18, 8, 19, 20, 21, 22}, {18, 6, 19, 7, 20, 21, 22, 23},
534 {6, 18, 19, 7, 20, 21, 22, 23}, {18, 19, 20, 6, 21, 22, 23, 24},
535 {6, 7, 8, 18, 19, 20, 21, 22}, {18, 6, 7, 19, 20, 21, 22, 23},
536 {6, 18, 7, 19, 20, 21, 22, 23}, {18, 19, 6, 20, 21, 22, 23, 24},
537 {6, 7, 18, 19, 20, 21, 22, 23}, {18, 6, 19, 20, 21, 22, 23, 24},
538 {6, 18, 19, 20, 21, 22, 23, 24}, {18, 19, 20, 21, 22, 23, 24, 25},
539 },
540 {
541 {5, 6, 7, 8, 9, 10, 11, 12}, {19, 5, 6, 7, 8, 9, 10, 11},
542 {5, 19, 6, 7, 8, 9, 10, 11}, {19, 20, 5, 6, 7, 8, 9, 10},
543 {5, 6, 19, 7, 8, 9, 10, 11}, {19, 5, 20, 6, 7, 8, 9, 10},
544 {5, 19, 20, 6, 7, 8, 9, 10}, {19, 20, 21, 5, 6, 7, 8, 9},
545 {5, 6, 7, 19, 8, 9, 10, 11}, {19, 5, 6, 20, 7, 8, 9, 10},
546 {5, 19, 6, 20, 7, 8, 9, 10}, {19, 20, 5, 21, 6, 7, 8, 9},
547 {5, 6, 19, 20, 7, 8, 9, 10}, {19, 5, 20, 21, 6, 7, 8, 9},
548 {5, 19, 20, 21, 6, 7, 8, 9}, {19, 20, 21, 22, 5, 6, 7, 8},
549 {5, 6, 7, 8, 19, 9, 10, 11}, {19, 5, 6, 7, 20, 8, 9, 10},
550 {5, 19, 6, 7, 20, 8, 9, 10}, {19, 20, 5, 6, 21, 7, 8, 9},
551 {5, 6, 19, 7, 20, 8, 9, 10}, {19, 5, 20, 6, 21, 7, 8, 9},
552 {5, 19, 20, 6, 21, 7, 8, 9}, {19, 20, 21, 5, 22, 6, 7, 8},
553 {5, 6, 7, 19, 20, 8, 9, 10}, {19, 5, 6, 20, 21, 7, 8, 9},
554 {5, 19, 6, 20, 21, 7, 8, 9}, {19, 20, 5, 21, 22, 6, 7, 8},
555 {5, 6, 19, 20, 21, 7, 8, 9}, {19, 5, 20, 21, 22, 6, 7, 8},
556 {5, 19, 20, 21, 22, 6, 7, 8}, {19, 20, 21, 22, 23, 5, 6, 7},
557 {5, 6, 7, 8, 9, 19, 10, 11}, {19, 5, 6, 7, 8, 20, 9, 10},
558 {5, 19, 6, 7, 8, 20, 9, 10}, {19, 20, 5, 6, 7, 21, 8, 9},
559 {5, 6, 19, 7, 8, 20, 9, 10}, {19, 5, 20, 6, 7, 21, 8, 9},
560 {5, 19, 20, 6, 7, 21, 8, 9}, {19, 20, 21, 5, 6, 22, 7, 8},
561 {5, 6, 7, 19, 8, 20, 9, 10}, {19, 5, 6, 20, 7, 21, 8, 9},
562 {5, 19, 6, 20, 7, 21, 8, 9}, {19, 20, 5, 21, 6, 22, 7, 8},
563 {5, 6, 19, 20, 7, 21, 8, 9}, {19, 5, 20, 21, 6, 22, 7, 8},
564 {5, 19, 20, 21, 6, 22, 7, 8}, {19, 20, 21, 22, 5, 23, 6, 7},
565 {5, 6, 7, 8, 19, 20, 9, 10}, {19, 5, 6, 7, 20, 21, 8, 9},
566 {5, 19, 6, 7, 20, 21, 8, 9}, {19, 20, 5, 6, 21, 22, 7, 8},
567 {5, 6, 19, 7, 20, 21, 8, 9}, {19, 5, 20, 6, 21, 22, 7, 8},
568 {5, 19, 20, 6, 21, 22, 7, 8}, {19, 20, 21, 5, 22, 23, 6, 7},
569 {5, 6, 7, 19, 20, 21, 8, 9}, {19, 5, 6, 20, 21, 22, 7, 8},
570 {5, 19, 6, 20, 21, 22, 7, 8}, {19, 20, 5, 21, 22, 23, 6, 7},
571 {5, 6, 19, 20, 21, 22, 7, 8}, {19, 5, 20, 21, 22, 23, 6, 7},
572 {5, 19, 20, 21, 22, 23, 6, 7}, {19, 20, 21, 22, 23, 24, 5, 6},
573 {5, 6, 7, 8, 9, 10, 19, 11}, {19, 5, 6, 7, 8, 9, 20, 10},
574 {5, 19, 6, 7, 8, 9, 20, 10}, {19, 20, 5, 6, 7, 8, 21, 9},
575 {5, 6, 19, 7, 8, 9, 20, 10}, {19, 5, 20, 6, 7, 8, 21, 9},
576 {5, 19, 20, 6, 7, 8, 21, 9}, {19, 20, 21, 5, 6, 7, 22, 8},
577 {5, 6, 7, 19, 8, 9, 20, 10}, {19, 5, 6, 20, 7, 8, 21, 9},
578 {5, 19, 6, 20, 7, 8, 21, 9}, {19, 20, 5, 21, 6, 7, 22, 8},
579 {5, 6, 19, 20, 7, 8, 21, 9}, {19, 5, 20, 21, 6, 7, 22, 8},
580 {5, 19, 20, 21, 6, 7, 22, 8}, {19, 20, 21, 22, 5, 6, 23, 7},
581 {5, 6, 7, 8, 19, 9, 20, 10}, {19, 5, 6, 7, 20, 8, 21, 9},
582 {5, 19, 6, 7, 20, 8, 21, 9}, {19, 20, 5, 6, 21, 7, 22, 8},
583 {5, 6, 19, 7, 20, 8, 21, 9}, {19, 5, 20, 6, 21, 7, 22, 8},
584 {5, 19, 20, 6, 21, 7, 22, 8}, {19, 20, 21, 5, 22, 6, 23, 7},
585 {5, 6, 7, 19, 20, 8, 21, 9}, {19, 5, 6, 20, 21, 7, 22, 8},
586 {5, 19, 6, 20, 21, 7, 22, 8}, {19, 20, 5, 21, 22, 6, 23, 7},
587 {5, 6, 19, 20, 21, 7, 22, 8}, {19, 5, 20, 21, 22, 6, 23, 7},
588 {5, 19, 20, 21, 22, 6, 23, 7}, {19, 20, 21, 22, 23, 5, 24, 6},
589 {5, 6, 7, 8, 9, 19, 20, 10}, {19, 5, 6, 7, 8, 20, 21, 9},
590 {5, 19, 6, 7, 8, 20, 21, 9}, {19, 20, 5, 6, 7, 21, 22, 8},
591 {5, 6, 19, 7, 8, 20, 21, 9}, {19, 5, 20, 6, 7, 21, 22, 8},
592 {5, 19, 20, 6, 7, 21, 22, 8}, {19, 20, 21, 5, 6, 22, 23, 7},
593 {5, 6, 7, 19, 8, 20, 21, 9}, {19, 5, 6, 20, 7, 21, 22, 8},
594 {5, 19, 6, 20, 7, 21, 22, 8}, {19, 20, 5, 21, 6, 22, 23, 7},
595 {5, 6, 19, 20, 7, 21, 22, 8}, {19, 5, 20, 21, 6, 22, 23, 7},
596 {5, 19, 20, 21, 6, 22, 23, 7}, {19, 20, 21, 22, 5, 23, 24, 6},
597 {5, 6, 7, 8, 19, 20, 21, 9}, {19, 5, 6, 7, 20, 21, 22, 8},
598 {5, 19, 6, 7, 20, 21, 22, 8}, {19, 20, 5, 6, 21, 22, 23, 7},
599 {5, 6, 19, 7, 20, 21, 22, 8}, {19, 5, 20, 6, 21, 22, 23, 7},
600 {5, 19, 20, 6, 21, 22, 23, 7}, {19, 20, 21, 5, 22, 23, 24, 6},
601 {5, 6, 7, 19, 20, 21, 22, 8}, {19, 5, 6, 20, 21, 22, 23, 7},
602 {5, 19, 6, 20, 21, 22, 23, 7}, {19, 20, 5, 21, 22, 23, 24, 6},
603 {5, 6, 19, 20, 21, 22, 23, 7}, {19, 5, 20, 21, 22, 23, 24, 6},
604 {5, 19, 20, 21, 22, 23, 24, 6}, {19, 20, 21, 22, 23, 24, 25, 5},
605 {5, 6, 7, 8, 9, 10, 11, 19}, {19, 5, 6, 7, 8, 9, 10, 20},
606 {5, 19, 6, 7, 8, 9, 10, 20}, {19, 20, 5, 6, 7, 8, 9, 21},
607 {5, 6, 19, 7, 8, 9, 10, 20}, {19, 5, 20, 6, 7, 8, 9, 21},
608 {5, 19, 20, 6, 7, 8, 9, 21}, {19, 20, 21, 5, 6, 7, 8, 22},
609 {5, 6, 7, 19, 8, 9, 10, 20}, {19, 5, 6, 20, 7, 8, 9, 21},
610 {5, 19, 6, 20, 7, 8, 9, 21}, {19, 20, 5, 21, 6, 7, 8, 22},
611 {5, 6, 19, 20, 7, 8, 9, 21}, {19, 5, 20, 21, 6, 7, 8, 22},
612 {5, 19, 20, 21, 6, 7, 8, 22}, {19, 20, 21, 22, 5, 6, 7, 23},
613 {5, 6, 7, 8, 19, 9, 10, 20}, {19, 5, 6, 7, 20, 8, 9, 21},
614 {5, 19, 6, 7, 20, 8, 9, 21}, {19, 20, 5, 6, 21, 7, 8, 22},
615 {5, 6, 19, 7, 20, 8, 9, 21}, {19, 5, 20, 6, 21, 7, 8, 22},
616 {5, 19, 20, 6, 21, 7, 8, 22}, {19, 20, 21, 5, 22, 6, 7, 23},
617 {5, 6, 7, 19, 20, 8, 9, 21}, {19, 5, 6, 20, 21, 7, 8, 22},
618 {5, 19, 6, 20, 21, 7, 8, 22}, {19, 20, 5, 21, 22, 6, 7, 23},
619 {5, 6, 19, 20, 21, 7, 8, 22}, {19, 5, 20, 21, 22, 6, 7, 23},
620 {5, 19, 20, 21, 22, 6, 7, 23}, {19, 20, 21, 22, 23, 5, 6, 24},
621 {5, 6, 7, 8, 9, 19, 10, 20}, {19, 5, 6, 7, 8, 20, 9, 21},
622 {5, 19, 6, 7, 8, 20, 9, 21}, {19, 20, 5, 6, 7, 21, 8, 22},
623 {5, 6, 19, 7, 8, 20, 9, 21}, {19, 5, 20, 6, 7, 21, 8, 22},
624 {5, 19, 20, 6, 7, 21, 8, 22}, {19, 20, 21, 5, 6, 22, 7, 23},
625 {5, 6, 7, 19, 8, 20, 9, 21}, {19, 5, 6, 20, 7, 21, 8, 22},
626 {5, 19, 6, 20, 7, 21, 8, 22}, {19, 20, 5, 21, 6, 22, 7, 23},
627 {5, 6, 19, 20, 7, 21, 8, 22}, {19, 5, 20, 21, 6, 22, 7, 23},
628 {5, 19, 20, 21, 6, 22, 7, 23}, {19, 20, 21, 22, 5, 23, 6, 24},
629 {5, 6, 7, 8, 19, 20, 9, 21}, {19, 5, 6, 7, 20, 21, 8, 22},
630 {5, 19, 6, 7, 20, 21, 8, 22}, {19, 20, 5, 6, 21, 22, 7, 23},
631 {5, 6, 19, 7, 20, 21, 8, 22}, {19, 5, 20, 6, 21, 22, 7, 23},
632 {5, 19, 20, 6, 21, 22, 7, 23}, {19, 20, 21, 5, 22, 23, 6, 24},
633 {5, 6, 7, 19, 20, 21, 8, 22}, {19, 5, 6, 20, 21, 22, 7, 23},
634 {5, 19, 6, 20, 21, 22, 7, 23}, {19, 20, 5, 21, 22, 23, 6, 24},
635 {5, 6, 19, 20, 21, 22, 7, 23}, {19, 5, 20, 21, 22, 23, 6, 24},
636 {5, 19, 20, 21, 22, 23, 6, 24}, {19, 20, 21, 22, 23, 24, 5, 25},
637 {5, 6, 7, 8, 9, 10, 19, 20}, {19, 5, 6, 7, 8, 9, 20, 21},
638 {5, 19, 6, 7, 8, 9, 20, 21}, {19, 20, 5, 6, 7, 8, 21, 22},
639 {5, 6, 19, 7, 8, 9, 20, 21}, {19, 5, 20, 6, 7, 8, 21, 22},
640 {5, 19, 20, 6, 7, 8, 21, 22}, {19, 20, 21, 5, 6, 7, 22, 23},
641 {5, 6, 7, 19, 8, 9, 20, 21}, {19, 5, 6, 20, 7, 8, 21, 22},
642 {5, 19, 6, 20, 7, 8, 21, 22}, {19, 20, 5, 21, 6, 7, 22, 23},
643 {5, 6, 19, 20, 7, 8, 21, 22}, {19, 5, 20, 21, 6, 7, 22, 23},
644 {5, 19, 20, 21, 6, 7, 22, 23}, {19, 20, 21, 22, 5, 6, 23, 24},
645 {5, 6, 7, 8, 19, 9, 20, 21}, {19, 5, 6, 7, 20, 8, 21, 22},
646 {5, 19, 6, 7, 20, 8, 21, 22}, {19, 20, 5, 6, 21, 7, 22, 23},
647 {5, 6, 19, 7, 20, 8, 21, 22}, {19, 5, 20, 6, 21, 7, 22, 23},
648 {5, 19, 20, 6, 21, 7, 22, 23}, {19, 20, 21, 5, 22, 6, 23, 24},
649 {5, 6, 7, 19, 20, 8, 21, 22}, {19, 5, 6, 20, 21, 7, 22, 23},
650 {5, 19, 6, 20, 21, 7, 22, 23}, {19, 20, 5, 21, 22, 6, 23, 24},
651 {5, 6, 19, 20, 21, 7, 22, 23}, {19, 5, 20, 21, 22, 6, 23, 24},
652 {5, 19, 20, 21, 22, 6, 23, 24}, {19, 20, 21, 22, 23, 5, 24, 25},
653 {5, 6, 7, 8, 9, 19, 20, 21}, {19, 5, 6, 7, 8, 20, 21, 22},
654 {5, 19, 6, 7, 8, 20, 21, 22}, {19, 20, 5, 6, 7, 21, 22, 23},
655 {5, 6, 19, 7, 8, 20, 21, 22}, {19, 5, 20, 6, 7, 21, 22, 23},
656 {5, 19, 20, 6, 7, 21, 22, 23}, {19, 20, 21, 5, 6, 22, 23, 24},
657 {5, 6, 7, 19, 8, 20, 21, 22}, {19, 5, 6, 20, 7, 21, 22, 23},
658 {5, 19, 6, 20, 7, 21, 22, 23}, {19, 20, 5, 21, 6, 22, 23, 24},
659 {5, 6, 19, 20, 7, 21, 22, 23}, {19, 5, 20, 21, 6, 22, 23, 24},
660 {5, 19, 20, 21, 6, 22, 23, 24}, {19, 20, 21, 22, 5, 23, 24, 25},
661 {5, 6, 7, 8, 19, 20, 21, 22}, {19, 5, 6, 7, 20, 21, 22, 23},
662 {5, 19, 6, 7, 20, 21, 22, 23}, {19, 20, 5, 6, 21, 22, 23, 24},
663 {5, 6, 19, 7, 20, 21, 22, 23}, {19, 5, 20, 6, 21, 22, 23, 24},
664 {5, 19, 20, 6, 21, 22, 23, 24}, {19, 20, 21, 5, 22, 23, 24, 25},
665 {5, 6, 7, 19, 20, 21, 22, 23}, {19, 5, 6, 20, 21, 22, 23, 24},
666 {5, 19, 6, 20, 21, 22, 23, 24}, {19, 20, 5, 21, 22, 23, 24, 25},
667 {5, 6, 19, 20, 21, 22, 23, 24}, {19, 5, 20, 21, 22, 23, 24, 25},
668 {5, 19, 20, 21, 22, 23, 24, 25}, {19, 20, 21, 22, 23, 24, 25, 26},
669 },
670 {
671 {4, 5, 6, 7, 8, 9, 10, 11}, {20, 4, 5, 6, 7, 8, 9, 10},
672 {4, 20, 5, 6, 7, 8, 9, 10}, {20, 21, 4, 5, 6, 7, 8, 9},
673 {4, 5, 20, 6, 7, 8, 9, 10}, {20, 4, 21, 5, 6, 7, 8, 9},
674 {4, 20, 21, 5, 6, 7, 8, 9}, {20, 21, 22, 4, 5, 6, 7, 8},
675 {4, 5, 6, 20, 7, 8, 9, 10}, {20, 4, 5, 21, 6, 7, 8, 9},
676 {4, 20, 5, 21, 6, 7, 8, 9}, {20, 21, 4, 22, 5, 6, 7, 8},
677 {4, 5, 20, 21, 6, 7, 8, 9}, {20, 4, 21, 22, 5, 6, 7, 8},
678 {4, 20, 21, 22, 5, 6, 7, 8}, {20, 21, 22, 23, 4, 5, 6, 7},
679 {4, 5, 6, 7, 20, 8, 9, 10}, {20, 4, 5, 6, 21, 7, 8, 9},
680 {4, 20, 5, 6, 21, 7, 8, 9}, {20, 21, 4, 5, 22, 6, 7, 8},
681 {4, 5, 20, 6, 21, 7, 8, 9}, {20, 4, 21, 5, 22, 6, 7, 8},
682 {4, 20, 21, 5, 22, 6, 7, 8}, {20, 21, 22, 4, 23, 5, 6, 7},
683 {4, 5, 6, 20, 21, 7, 8, 9}, {20, 4, 5, 21, 22, 6, 7, 8},
684 {4, 20, 5, 21, 22, 6, 7, 8}, {20, 21, 4, 22, 23, 5, 6, 7},
685 {4, 5, 20, 21, 22, 6, 7, 8}, {20, 4, 21, 22, 23, 5, 6, 7},
686 {4, 20, 21, 22, 23, 5, 6, 7}, {20, 21, 22, 23, 24, 4, 5, 6},
687 {4, 5, 6, 7, 8, 20, 9, 10}, {20, 4, 5, 6, 7, 21, 8, 9},
688 {4, 20, 5, 6, 7, 21, 8, 9}, {20, 21, 4, 5, 6, 22, 7, 8},
689 {4, 5, 20, 6, 7, 21, 8, 9}, {20, 4, 21, 5, 6, 22, 7, 8},
690 {4, 20, 21, 5, 6, 22, 7, 8}, {20, 21, 22, 4, 5, 23, 6, 7},
691 {4, 5, 6, 20, 7, 21, 8, 9}, {20, 4, 5, 21, 6, 22, 7, 8},
692 {4, 20, 5, 21, 6, 22, 7, 8}, {20, 21, 4, 22, 5, 23, 6, 7},
693 {4, 5, 20, 21, 6, 22, 7, 8}, {20, 4, 21, 22, 5, 23, 6, 7},
694 {4, 20, 21, 22, 5, 23, 6, 7}, {20, 21, 22, 23, 4, 24, 5, 6},
695 {4, 5, 6, 7, 20, 21, 8, 9}, {20, 4, 5, 6, 21, 22, 7, 8},
696 {4, 20, 5, 6, 21, 22, 7, 8}, {20, 21, 4, 5, 22, 23, 6, 7},
697 {4, 5, 20, 6, 21, 22, 7, 8}, {20, 4, 21, 5, 22, 23, 6, 7},
698 {4, 20, 21, 5, 22, 23, 6, 7}, {20, 21, 22, 4, 23, 24, 5, 6},
699 {4, 5, 6, 20, 21, 22, 7, 8}, {20, 4, 5, 21, 22, 23, 6, 7},
700 {4, 20, 5, 21, 22, 23, 6, 7}, {20, 21, 4, 22, 23, 24, 5, 6},
701 {4, 5, 20, 21, 22, 23, 6, 7}, {20, 4, 21, 22, 23, 24, 5, 6},
702 {4, 20, 21, 22, 23, 24, 5, 6}, {20, 21, 22, 23, 24, 25, 4, 5},
703 {4, 5, 6, 7, 8, 9, 20, 10}, {20, 4, 5, 6, 7, 8, 21, 9},
704 {4, 20, 5, 6, 7, 8, 21, 9}, {20, 21, 4, 5, 6, 7, 22, 8},
705 {4, 5, 20, 6, 7, 8, 21, 9}, {20, 4, 21, 5, 6, 7, 22, 8},
706 {4, 20, 21, 5, 6, 7, 22, 8}, {20, 21, 22, 4, 5, 6, 23, 7},
707 {4, 5, 6, 20, 7, 8, 21, 9}, {20, 4, 5, 21, 6, 7, 22, 8},
708 {4, 20, 5, 21, 6, 7, 22, 8}, {20, 21, 4, 22, 5, 6, 23, 7},
709 {4, 5, 20, 21, 6, 7, 22, 8}, {20, 4, 21, 22, 5, 6, 23, 7},
710 {4, 20, 21, 22, 5, 6, 23, 7}, {20, 21, 22, 23, 4, 5, 24, 6},
711 {4, 5, 6, 7, 20, 8, 21, 9}, {20, 4, 5, 6, 21, 7, 22, 8},
712 {4, 20, 5, 6, 21, 7, 22, 8}, {20, 21, 4, 5, 22, 6, 23, 7},
713 {4, 5, 20, 6, 21, 7, 22, 8}, {20, 4, 21, 5, 22, 6, 23, 7},
714 {4, 20, 21, 5, 22, 6, 23, 7}, {20, 21, 22, 4, 23, 5, 24, 6},
715 {4, 5, 6, 20, 21, 7, 22, 8}, {20, 4, 5, 21, 22, 6, 23, 7},
716 {4, 20, 5, 21, 22, 6, 23, 7}, {20, 21, 4, 22, 23, 5, 24, 6},
717 {4, 5, 20, 21, 22, 6, 23, 7}, {20, 4, 21, 22, 23, 5, 24, 6},
718 {4, 20, 21, 22, 23, 5, 24, 6}, {20, 21, 22, 23, 24, 4, 25, 5},
719 {4, 5, 6, 7, 8, 20, 21, 9}, {20, 4, 5, 6, 7, 21, 22, 8},
720 {4, 20, 5, 6, 7, 21, 22, 8}, {20, 21, 4, 5, 6, 22, 23, 7},
721 {4, 5, 20, 6, 7, 21, 22, 8}, {20, 4, 21, 5, 6, 22, 23, 7},
722 {4, 20, 21, 5, 6, 22, 23, 7}, {20, 21, 22, 4, 5, 23, 24, 6},
723 {4, 5, 6, 20, 7, 21, 22, 8}, {20, 4, 5, 21, 6, 22, 23, 7},
724 {4, 20, 5, 21, 6, 22, 23, 7}, {20, 21, 4, 22, 5, 23, 24, 6},
725 {4, 5, 20, 21, 6, 22, 23, 7}, {20, 4, 21, 22, 5, 23, 24, 6},
726 {4, 20, 21, 22, 5, 23, 24, 6}, {20, 21, 22, 23, 4, 24, 25, 5},
727 {4, 5, 6, 7, 20, 21, 22, 8}, {20, 4, 5, 6, 21, 22, 23, 7},
728 {4, 20, 5, 6, 21, 22, 23, 7}, {20, 21, 4, 5, 22, 23, 24, 6},
729 {4, 5, 20, 6, 21, 22, 23, 7}, {20, 4, 21, 5, 22, 23, 24, 6},
730 {4, 20, 21, 5, 22, 23, 24, 6}, {20, 21, 22, 4, 23, 24, 25, 5},
731 {4, 5, 6, 20, 21, 22, 23, 7}, {20, 4, 5, 21, 22, 23, 24, 6},
732 {4, 20, 5, 21, 22, 23, 24, 6}, {20, 21, 4, 22, 23, 24, 25, 5},
733 {4, 5, 20, 21, 22, 23, 24, 6}, {20, 4, 21, 22, 23, 24, 25, 5},
734 {4, 20, 21, 22, 23, 24, 25, 5}, {20, 21, 22, 23, 24, 25, 26, 4},
735 {4, 5, 6, 7, 8, 9, 10, 20}, {20, 4, 5, 6, 7, 8, 9, 21},
736 {4, 20, 5, 6, 7, 8, 9, 21}, {20, 21, 4, 5, 6, 7, 8, 22},
737 {4, 5, 20, 6, 7, 8, 9, 21}, {20, 4, 21, 5, 6, 7, 8, 22},
738 {4, 20, 21, 5, 6, 7, 8, 22}, {20, 21, 22, 4, 5, 6, 7, 23},
739 {4, 5, 6, 20, 7, 8, 9, 21}, {20, 4, 5, 21, 6, 7, 8, 22},
740 {4, 20, 5, 21, 6, 7, 8, 22}, {20, 21, 4, 22, 5, 6, 7, 23},
741 {4, 5, 20, 21, 6, 7, 8, 22}, {20, 4, 21, 22, 5, 6, 7, 23},
742 {4, 20, 21, 22, 5, 6, 7, 23}, {20, 21, 22, 23, 4, 5, 6, 24},
743 {4, 5, 6, 7, 20, 8, 9, 21}, {20, 4, 5, 6, 21, 7, 8, 22},
744 {4, 20, 5, 6, 21, 7, 8, 22}, {20, 21, 4, 5, 22, 6, 7, 23},
745 {4, 5, 20, 6, 21, 7, 8, 22}, {20, 4, 21, 5, 22, 6, 7, 23},
746 {4, 20, 21, 5, 22, 6, 7, 23}, {20, 21, 22, 4, 23, 5, 6, 24},
747 {4, 5, 6, 20, 21, 7, 8, 22}, {20, 4, 5, 21, 22, 6, 7, 23},
748 {4, 20, 5, 21, 22, 6, 7, 23}, {20, 21, 4, 22, 23, 5, 6, 24},
749 {4, 5, 20, 21, 22, 6, 7, 23}, {20, 4, 21, 22, 23, 5, 6, 24},
750 {4, 20, 21, 22, 23, 5, 6, 24}, {20, 21, 22, 23, 24, 4, 5, 25},
751 {4, 5, 6, 7, 8, 20, 9, 21}, {20, 4, 5, 6, 7, 21, 8, 22},
752 {4, 20, 5, 6, 7, 21, 8, 22}, {20, 21, 4, 5, 6, 22, 7, 23},
753 {4, 5, 20, 6, 7, 21, 8, 22}, {20, 4, 21, 5, 6, 22, 7, 23},
754 {4, 20, 21, 5, 6, 22, 7, 23}, {20, 21, 22, 4, 5, 23, 6, 24},
755 {4, 5, 6, 20, 7, 21, 8, 22}, {20, 4, 5, 21, 6, 22, 7, 23},
756 {4, 20, 5, 21, 6, 22, 7, 23}, {20, 21, 4, 22, 5, 23, 6, 24},
757 {4, 5, 20, 21, 6, 22, 7, 23}, {20, 4, 21, 22, 5, 23, 6, 24},
758 {4, 20, 21, 22, 5, 23, 6, 24}, {20, 21, 22, 23, 4, 24, 5, 25},
759 {4, 5, 6, 7, 20, 21, 8, 22}, {20, 4, 5, 6, 21, 22, 7, 23},
760 {4, 20, 5, 6, 21, 22, 7, 23}, {20, 21, 4, 5, 22, 23, 6, 24},
761 {4, 5, 20, 6, 21, 22, 7, 23}, {20, 4, 21, 5, 22, 23, 6, 24},
762 {4, 20, 21, 5, 22, 23, 6, 24}, {20, 21, 22, 4, 23, 24, 5, 25},
763 {4, 5, 6, 20, 21, 22, 7, 23}, {20, 4, 5, 21, 22, 23, 6, 24},
764 {4, 20, 5, 21, 22, 23, 6, 24}, {20, 21, 4, 22, 23, 24, 5, 25},
765 {4, 5, 20, 21, 22, 23, 6, 24}, {20, 4, 21, 22, 23, 24, 5, 25},
766 {4, 20, 21, 22, 23, 24, 5, 25}, {20, 21, 22, 23, 24, 25, 4, 26},
767 {4, 5, 6, 7, 8, 9, 20, 21}, {20, 4, 5, 6, 7, 8, 21, 22},
768 {4, 20, 5, 6, 7, 8, 21, 22}, {20, 21, 4, 5, 6, 7, 22, 23},
769 {4, 5, 20, 6, 7, 8, 21, 22}, {20, 4, 21, 5, 6, 7, 22, 23},
770 {4, 20, 21, 5, 6, 7, 22, 23}, {20, 21, 22, 4, 5, 6, 23, 24},
771 {4, 5, 6, 20, 7, 8, 21, 22}, {20, 4, 5, 21, 6, 7, 22, 23},
772 {4, 20, 5, 21, 6, 7, 22, 23}, {20, 21, 4, 22, 5, 6, 23, 24},
773 {4, 5, 20, 21, 6, 7, 22, 23}, {20, 4, 21, 22, 5, 6, 23, 24},
774 {4, 20, 21, 22, 5, 6, 23, 24}, {20, 21, 22, 23, 4, 5, 24, 25},
775 {4, 5, 6, 7, 20, 8, 21, 22}, {20, 4, 5, 6, 21, 7, 22, 23},
776 {4, 20, 5, 6, 21, 7, 22, 23}, {20, 21, 4, 5, 22, 6, 23, 24},
777 {4, 5, 20, 6, 21, 7, 22, 23}, {20, 4, 21, 5, 22, 6, 23, 24},
778 {4, 20, 21, 5, 22, 6, 23, 24}, {20, 21, 22, 4, 23, 5, 24, 25},
779 {4, 5, 6, 20, 21, 7, 22, 23}, {20, 4, 5, 21, 22, 6, 23, 24},
780 {4, 20, 5, 21, 22, 6, 23, 24}, {20, 21, 4, 22, 23, 5, 24, 25},
781 {4, 5, 20, 21, 22, 6, 23, 24}, {20, 4, 21, 22, 23, 5, 24, 25},
782 {4, 20, 21, 22, 23, 5, 24, 25}, {20, 21, 22, 23, 24, 4, 25, 26},
783 {4, 5, 6, 7, 8, 20, 21, 22}, {20, 4, 5, 6, 7, 21, 22, 23},
784 {4, 20, 5, 6, 7, 21, 22, 23}, {20, 21, 4, 5, 6, 22, 23, 24},
785 {4, 5, 20, 6, 7, 21, 22, 23}, {20, 4, 21, 5, 6, 22, 23, 24},
786 {4, 20, 21, 5, 6, 22, 23, 24}, {20, 21, 22, 4, 5, 23, 24, 25},
787 {4, 5, 6, 20, 7, 21, 22, 23}, {20, 4, 5, 21, 6, 22, 23, 24},
788 {4, 20, 5, 21, 6, 22, 23, 24}, {20, 21, 4, 22, 5, 23, 24, 25},
789 {4, 5, 20, 21, 6, 22, 23, 24}, {20, 4, 21, 22, 5, 23, 24, 25},
790 {4, 20, 21, 22, 5, 23, 24, 25}, {20, 21, 22, 23, 4, 24, 25, 26},
791 {4, 5, 6, 7, 20, 21, 22, 23}, {20, 4, 5, 6, 21, 22, 23, 24},
792 {4, 20, 5, 6, 21, 22, 23, 24}, {20, 21, 4, 5, 22, 23, 24, 25},
793 {4, 5, 20, 6, 21, 22, 23, 24}, {20, 4, 21, 5, 22, 23, 24, 25},
794 {4, 20, 21, 5, 22, 23, 24, 25}, {20, 21, 22, 4, 23, 24, 25, 26},
795 {4, 5, 6, 20, 21, 22, 23, 24}, {20, 4, 5, 21, 22, 23, 24, 25},
796 {4, 20, 5, 21, 22, 23, 24, 25}, {20, 21, 4, 22, 23, 24, 25, 26},
797 {4, 5, 20, 21, 22, 23, 24, 25}, {20, 4, 21, 22, 23, 24, 25, 26},
798 {4, 20, 21, 22, 23, 24, 25, 26}, {20, 21, 22, 23, 24, 25, 26, 27},
799 },
800 {
801 {3, 4, 5, 6, 7, 8, 9, 10}, {21, 3, 4, 5, 6, 7, 8, 9},
802 {3, 21, 4, 5, 6, 7, 8, 9}, {21, 22, 3, 4, 5, 6, 7, 8},
803 {3, 4, 21, 5, 6, 7, 8, 9}, {21, 3, 22, 4, 5, 6, 7, 8},
804 {3, 21, 22, 4, 5, 6, 7, 8}, {21, 22, 23, 3, 4, 5, 6, 7},
805 {3, 4, 5, 21, 6, 7, 8, 9}, {21, 3, 4, 22, 5, 6, 7, 8},
806 {3, 21, 4, 22, 5, 6, 7, 8}, {21, 22, 3, 23, 4, 5, 6, 7},
807 {3, 4, 21, 22, 5, 6, 7, 8}, {21, 3, 22, 23, 4, 5, 6, 7},
808 {3, 21, 22, 23, 4, 5, 6, 7}, {21, 22, 23, 24, 3, 4, 5, 6},
809 {3, 4, 5, 6, 21, 7, 8, 9}, {21, 3, 4, 5, 22, 6, 7, 8},
810 {3, 21, 4, 5, 22, 6, 7, 8}, {21, 22, 3, 4, 23, 5, 6, 7},
811 {3, 4, 21, 5, 22, 6, 7, 8}, {21, 3, 22, 4, 23, 5, 6, 7},
812 {3, 21, 22, 4, 23, 5, 6, 7}, {21, 22, 23, 3, 24, 4, 5, 6},
813 {3, 4, 5, 21, 22, 6, 7, 8}, {21, 3, 4, 22, 23, 5, 6, 7},
814 {3, 21, 4, 22, 23, 5, 6, 7}, {21, 22, 3, 23, 24, 4, 5, 6},
815 {3, 4, 21, 22, 23, 5, 6, 7}, {21, 3, 22, 23, 24, 4, 5, 6},
816 {3, 21, 22, 23, 24, 4, 5, 6}, {21, 22, 23, 24, 25, 3, 4, 5},
817 {3, 4, 5, 6, 7, 21, 8, 9}, {21, 3, 4, 5, 6, 22, 7, 8},
818 {3, 21, 4, 5, 6, 22, 7, 8}, {21, 22, 3, 4, 5, 23, 6, 7},
819 {3, 4, 21, 5, 6, 22, 7, 8}, {21, 3, 22, 4, 5, 23, 6, 7},
820 {3, 21, 22, 4, 5, 23, 6, 7}, {21, 22, 23, 3, 4, 24, 5, 6},
821 {3, 4, 5, 21, 6, 22, 7, 8}, {21, 3, 4, 22, 5, 23, 6, 7},
822 {3, 21, 4, 22, 5, 23, 6, 7}, {21, 22, 3, 23, 4, 24, 5, 6},
823 {3, 4, 21, 22, 5, 23, 6, 7}, {21, 3, 22, 23, 4, 24, 5, 6},
824 {3, 21, 22, 23, 4, 24, 5, 6}, {21, 22, 23, 24, 3, 25, 4, 5},
825 {3, 4, 5, 6, 21, 22, 7, 8}, {21, 3, 4, 5, 22, 23, 6, 7},
826 {3, 21, 4, 5, 22, 23, 6, 7}, {21, 22, 3, 4, 23, 24, 5, 6},
827 {3, 4, 21, 5, 22, 23, 6, 7}, {21, 3, 22, 4, 23, 24, 5, 6},
828 {3, 21, 22, 4, 23, 24, 5, 6}, {21, 22, 23, 3, 24, 25, 4, 5},
829 {3, 4, 5, 21, 22, 23, 6, 7}, {21, 3, 4, 22, 23, 24, 5, 6},
830 {3, 21, 4, 22, 23, 24, 5, 6}, {21, 22, 3, 23, 24, 25, 4, 5},
831 {3, 4, 21, 22, 23, 24, 5, 6}, {21, 3, 22, 23, 24, 25, 4, 5},
832 {3, 21, 22, 23, 24, 25, 4, 5}, {21, 22, 23, 24, 25, 26, 3, 4},
833 {3, 4, 5, 6, 7, 8, 21, 9}, {21, 3, 4, 5, 6, 7, 22, 8},
834 {3, 21, 4, 5, 6, 7, 22, 8}, {21, 22, 3, 4, 5, 6, 23, 7},
835 {3, 4, 21, 5, 6, 7, 22, 8}, {21, 3, 22, 4, 5, 6, 23, 7},
836 {3, 21, 22, 4, 5, 6, 23, 7}, {21, 22, 23, 3, 4, 5, 24, 6},
837 {3, 4, 5, 21, 6, 7, 22, 8}, {21, 3, 4, 22, 5, 6, 23, 7},
838 {3, 21, 4, 22, 5, 6, 23, 7}, {21, 22, 3, 23, 4, 5, 24, 6},
839 {3, 4, 21, 22, 5, 6, 23, 7}, {21, 3, 22, 23, 4, 5, 24, 6},
840 {3, 21, 22, 23, 4, 5, 24, 6}, {21, 22, 23, 24, 3, 4, 25, 5},
841 {3, 4, 5, 6, 21, 7, 22, 8}, {21, 3, 4, 5, 22, 6, 23, 7},
842 {3, 21, 4, 5, 22, 6, 23, 7}, {21, 22, 3, 4, 23, 5, 24, 6},
843 {3, 4, 21, 5, 22, 6, 23, 7}, {21, 3, 22, 4, 23, 5, 24, 6},
844 {3, 21, 22, 4, 23, 5, 24, 6}, {21, 22, 23, 3, 24, 4, 25, 5},
845 {3, 4, 5, 21, 22, 6, 23, 7}, {21, 3, 4, 22, 23, 5, 24, 6},
846 {3, 21, 4, 22, 23, 5, 24, 6}, {21, 22, 3, 23, 24, 4, 25, 5},
847 {3, 4, 21, 22, 23, 5, 24, 6}, {21, 3, 22, 23, 24, 4, 25, 5},
848 {3, 21, 22, 23, 24, 4, 25, 5}, {21, 22, 23, 24, 25, 3, 26, 4},
849 {3, 4, 5, 6, 7, 21, 22, 8}, {21, 3, 4, 5, 6, 22, 23, 7},
850 {3, 21, 4, 5, 6, 22, 23, 7}, {21, 22, 3, 4, 5, 23, 24, 6},
851 {3, 4, 21, 5, 6, 22, 23, 7}, {21, 3, 22, 4, 5, 23, 24, 6},
852 {3, 21, 22, 4, 5, 23, 24, 6}, {21, 22, 23, 3, 4, 24, 25, 5},
853 {3, 4, 5, 21, 6, 22, 23, 7}, {21, 3, 4, 22, 5, 23, 24, 6},
854 {3, 21, 4, 22, 5, 23, 24, 6}, {21, 22, 3, 23, 4, 24, 25, 5},
855 {3, 4, 21, 22, 5, 23, 24, 6}, {21, 3, 22, 23, 4, 24, 25, 5},
856 {3, 21, 22, 23, 4, 24, 25, 5}, {21, 22, 23, 24, 3, 25, 26, 4},
857 {3, 4, 5, 6, 21, 22, 23, 7}, {21, 3, 4, 5, 22, 23, 24, 6},
858 {3, 21, 4, 5, 22, 23, 24, 6}, {21, 22, 3, 4, 23, 24, 25, 5},
859 {3, 4, 21, 5, 22, 23, 24, 6}, {21, 3, 22, 4, 23, 24, 25, 5},
860 {3, 21, 22, 4, 23, 24, 25, 5}, {21, 22, 23, 3, 24, 25, 26, 4},
861 {3, 4, 5, 21, 22, 23, 24, 6}, {21, 3, 4, 22, 23, 24, 25, 5},
862 {3, 21, 4, 22, 23, 24, 25, 5}, {21, 22, 3, 23, 24, 25, 26, 4},
863 {3, 4, 21, 22, 23, 24, 25, 5}, {21, 3, 22, 23, 24, 25, 26, 4},
864 {3, 21, 22, 23, 24, 25, 26, 4}, {21, 22, 23, 24, 25, 26, 27, 3},
865 {3, 4, 5, 6, 7, 8, 9, 21}, {21, 3, 4, 5, 6, 7, 8, 22},
866 {3, 21, 4, 5, 6, 7, 8, 22}, {21, 22, 3, 4, 5, 6, 7, 23},
867 {3, 4, 21, 5, 6, 7, 8, 22}, {21, 3, 22, 4, 5, 6, 7, 23},
868 {3, 21, 22, 4, 5, 6, 7, 23}, {21, 22, 23, 3, 4, 5, 6, 24},
869 {3, 4, 5, 21, 6, 7, 8, 22}, {21, 3, 4, 22, 5, 6, 7, 23},
870 {3, 21, 4, 22, 5, 6, 7, 23}, {21, 22, 3, 23, 4, 5, 6, 24},
871 {3, 4, 21, 22, 5, 6, 7, 23}, {21, 3, 22, 23, 4, 5, 6, 24},
872 {3, 21, 22, 23, 4, 5, 6, 24}, {21, 22, 23, 24, 3, 4, 5, 25},
873 {3, 4, 5, 6, 21, 7, 8, 22}, {21, 3, 4, 5, 22, 6, 7, 23},
874 {3, 21, 4, 5, 22, 6, 7, 23}, {21, 22, 3, 4, 23, 5, 6, 24},
875 {3, 4, 21, 5, 22, 6, 7, 23}, {21, 3, 22, 4, 23, 5, 6, 24},
876 {3, 21, 22, 4, 23, 5, 6, 24}, {21, 22, 23, 3, 24, 4, 5, 25},
877 {3, 4, 5, 21, 22, 6, 7, 23}, {21, 3, 4, 22, 23, 5, 6, 24},
878 {3, 21, 4, 22, 23, 5, 6, 24}, {21, 22, 3, 23, 24, 4, 5, 25},
879 {3, 4, 21, 22, 23, 5, 6, 24}, {21, 3, 22, 23, 24, 4, 5, 25},
880 {3, 21, 22, 23, 24, 4, 5, 25}, {21, 22, 23, 24, 25, 3, 4, 26},
881 {3, 4, 5, 6, 7, 21, 8, 22}, {21, 3, 4, 5, 6, 22, 7, 23},
882 {3, 21, 4, 5, 6, 22, 7, 23}, {21, 22, 3, 4, 5, 23, 6, 24},
883 {3, 4, 21, 5, 6, 22, 7, 23}, {21, 3, 22, 4, 5, 23, 6, 24},
884 {3, 21, 22, 4, 5, 23, 6, 24}, {21, 22, 23, 3, 4, 24, 5, 25},
885 {3, 4, 5, 21, 6, 22, 7, 23}, {21, 3, 4, 22, 5, 23, 6, 24},
886 {3, 21, 4, 22, 5, 23, 6, 24}, {21, 22, 3, 23, 4, 24, 5, 25},
887 {3, 4, 21, 22, 5, 23, 6, 24}, {21, 3, 22, 23, 4, 24, 5, 25},
888 {3, 21, 22, 23, 4, 24, 5, 25}, {21, 22, 23, 24, 3, 25, 4, 26},
889 {3, 4, 5, 6, 21, 22, 7, 23}, {21, 3, 4, 5, 22, 23, 6, 24},
890 {3, 21, 4, 5, 22, 23, 6, 24}, {21, 22, 3, 4, 23, 24, 5, 25},
891 {3, 4, 21, 5, 22, 23, 6, 24}, {21, 3, 22, 4, 23, 24, 5, 25},
892 {3, 21, 22, 4, 23, 24, 5, 25}, {21, 22, 23, 3, 24, 25, 4, 26},
893 {3, 4, 5, 21, 22, 23, 6, 24}, {21, 3, 4, 22, 23, 24, 5, 25},
894 {3, 21, 4, 22, 23, 24, 5, 25}, {21, 22, 3, 23, 24, 25, 4, 26},
895 {3, 4, 21, 22, 23, 24, 5, 25}, {21, 3, 22, 23, 24, 25, 4, 26},
896 {3, 21, 22, 23, 24, 25, 4, 26}, {21, 22, 23, 24, 25, 26, 3, 27},
897 {3, 4, 5, 6, 7, 8, 21, 22}, {21, 3, 4, 5, 6, 7, 22, 23},
898 {3, 21, 4, 5, 6, 7, 22, 23}, {21, 22, 3, 4, 5, 6, 23, 24},
899 {3, 4, 21, 5, 6, 7, 22, 23}, {21, 3, 22, 4, 5, 6, 23, 24},
900 {3, 21, 22, 4, 5, 6, 23, 24}, {21, 22, 23, 3, 4, 5, 24, 25},
901 {3, 4, 5, 21, 6, 7, 22, 23}, {21, 3, 4, 22, 5, 6, 23, 24},
902 {3, 21, 4, 22, 5, 6, 23, 24}, {21, 22, 3, 23, 4, 5, 24, 25},
903 {3, 4, 21, 22, 5, 6, 23, 24}, {21, 3, 22, 23, 4, 5, 24, 25},
904 {3, 21, 22, 23, 4, 5, 24, 25}, {21, 22, 23, 24, 3, 4, 25, 26},
905 {3, 4, 5, 6, 21, 7, 22, 23}, {21, 3, 4, 5, 22, 6, 23, 24},
906 {3, 21, 4, 5, 22, 6, 23, 24}, {21, 22, 3, 4, 23, 5, 24, 25},
907 {3, 4, 21, 5, 22, 6, 23, 24}, {21, 3, 22, 4, 23, 5, 24, 25},
908 {3, 21, 22, 4, 23, 5, 24, 25}, {21, 22, 23, 3, 24, 4, 25, 26},
909 {3, 4, 5, 21, 22, 6, 23, 24}, {21, 3, 4, 22, 23, 5, 24, 25},
910 {3, 21, 4, 22, 23, 5, 24, 25}, {21, 22, 3, 23, 24, 4, 25, 26},
911 {3, 4, 21, 22, 23, 5, 24, 25}, {21, 3, 22, 23, 24, 4, 25, 26},
912 {3, 21, 22, 23, 24, 4, 25, 26}, {21, 22, 23, 24, 25, 3, 26, 27},
913 {3, 4, 5, 6, 7, 21, 22, 23}, {21, 3, 4, 5, 6, 22, 23, 24},
914 {3, 21, 4, 5, 6, 22, 23, 24}, {21, 22, 3, 4, 5, 23, 24, 25},
915 {3, 4, 21, 5, 6, 22, 23, 24}, {21, 3, 22, 4, 5, 23, 24, 25},
916 {3, 21, 22, 4, 5, 23, 24, 25}, {21, 22, 23, 3, 4, 24, 25, 26},
917 {3, 4, 5, 21, 6, 22, 23, 24}, {21, 3, 4, 22, 5, 23, 24, 25},
918 {3, 21, 4, 22, 5, 23, 24, 25}, {21, 22, 3, 23, 4, 24, 25, 26},
919 {3, 4, 21, 22, 5, 23, 24, 25}, {21, 3, 22, 23, 4, 24, 25, 26},
920 {3, 21, 22, 23, 4, 24, 25, 26}, {21, 22, 23, 24, 3, 25, 26, 27},
921 {3, 4, 5, 6, 21, 22, 23, 24}, {21, 3, 4, 5, 22, 23, 24, 25},
922 {3, 21, 4, 5, 22, 23, 24, 25}, {21, 22, 3, 4, 23, 24, 25, 26},
923 {3, 4, 21, 5, 22, 23, 24, 25}, {21, 3, 22, 4, 23, 24, 25, 26},
924 {3, 21, 22, 4, 23, 24, 25, 26}, {21, 22, 23, 3, 24, 25, 26, 27},
925 {3, 4, 5, 21, 22, 23, 24, 25}, {21, 3, 4, 22, 23, 24, 25, 26},
926 {3, 21, 4, 22, 23, 24, 25, 26}, {21, 22, 3, 23, 24, 25, 26, 27},
927 {3, 4, 21, 22, 23, 24, 25, 26}, {21, 3, 22, 23, 24, 25, 26, 27},
928 {3, 21, 22, 23, 24, 25, 26, 27}, {21, 22, 23, 24, 25, 26, 27, 28},
929 },
930 {
931 {2, 3, 4, 5, 6, 7, 8, 9}, {22, 2, 3, 4, 5, 6, 7, 8},
932 {2, 22, 3, 4, 5, 6, 7, 8}, {22, 23, 2, 3, 4, 5, 6, 7},
933 {2, 3, 22, 4, 5, 6, 7, 8}, {22, 2, 23, 3, 4, 5, 6, 7},
934 {2, 22, 23, 3, 4, 5, 6, 7}, {22, 23, 24, 2, 3, 4, 5, 6},
935 {2, 3, 4, 22, 5, 6, 7, 8}, {22, 2, 3, 23, 4, 5, 6, 7},
936 {2, 22, 3, 23, 4, 5, 6, 7}, {22, 23, 2, 24, 3, 4, 5, 6},
937 {2, 3, 22, 23, 4, 5, 6, 7}, {22, 2, 23, 24, 3, 4, 5, 6},
938 {2, 22, 23, 24, 3, 4, 5, 6}, {22, 23, 24, 25, 2, 3, 4, 5},
939 {2, 3, 4, 5, 22, 6, 7, 8}, {22, 2, 3, 4, 23, 5, 6, 7},
940 {2, 22, 3, 4, 23, 5, 6, 7}, {22, 23, 2, 3, 24, 4, 5, 6},
941 {2, 3, 22, 4, 23, 5, 6, 7}, {22, 2, 23, 3, 24, 4, 5, 6},
942 {2, 22, 23, 3, 24, 4, 5, 6}, {22, 23, 24, 2, 25, 3, 4, 5},
943 {2, 3, 4, 22, 23, 5, 6, 7}, {22, 2, 3, 23, 24, 4, 5, 6},
944 {2, 22, 3, 23, 24, 4, 5, 6}, {22, 23, 2, 24, 25, 3, 4, 5},
945 {2, 3, 22, 23, 24, 4, 5, 6}, {22, 2, 23, 24, 25, 3, 4, 5},
946 {2, 22, 23, 24, 25, 3, 4, 5}, {22, 23, 24, 25, 26, 2, 3, 4},
947 {2, 3, 4, 5, 6, 22, 7, 8}, {22, 2, 3, 4, 5, 23, 6, 7},
948 {2, 22, 3, 4, 5, 23, 6, 7}, {22, 23, 2, 3, 4, 24, 5, 6},
949 {2, 3, 22, 4, 5, 23, 6, 7}, {22, 2, 23, 3, 4, 24, 5, 6},
950 {2, 22, 23, 3, 4, 24, 5, 6}, {22, 23, 24, 2, 3, 25, 4, 5},
951 {2, 3, 4, 22, 5, 23, 6, 7}, {22, 2, 3, 23, 4, 24, 5, 6},
952 {2, 22, 3, 23, 4, 24, 5, 6}, {22, 23, 2, 24, 3, 25, 4, 5},
953 {2, 3, 22, 23, 4, 24, 5, 6}, {22, 2, 23, 24, 3, 25, 4, 5},
954 {2, 22, 23, 24, 3, 25, 4, 5}, {22, 23, 24, 25, 2, 26, 3, 4},
955 {2, 3, 4, 5, 22, 23, 6, 7}, {22, 2, 3, 4, 23, 24, 5, 6},
956 {2, 22, 3, 4, 23, 24, 5, 6}, {22, 23, 2, 3, 24, 25, 4, 5},
957 {2, 3, 22, 4, 23, 24, 5, 6}, {22, 2, 23, 3, 24, 25, 4, 5},
958 {2, 22, 23, 3, 24, 25, 4, 5}, {22, 23, 24, 2, 25, 26, 3, 4},
959 {2, 3, 4, 22, 23, 24, 5, 6}, {22, 2, 3, 23, 24, 25, 4, 5},
960 {2, 22, 3, 23, 24, 25, 4, 5}, {22, 23, 2, 24, 25, 26, 3, 4},
961 {2, 3, 22, 23, 24, 25, 4, 5}, {22, 2, 23, 24, 25, 26, 3, 4},
962 {2, 22, 23, 24, 25, 26, 3, 4}, {22, 23, 24, 25, 26, 27, 2, 3},
963 {2, 3, 4, 5, 6, 7, 22, 8}, {22, 2, 3, 4, 5, 6, 23, 7},
964 {2, 22, 3, 4, 5, 6, 23, 7}, {22, 23, 2, 3, 4, 5, 24, 6},
965 {2, 3, 22, 4, 5, 6, 23, 7}, {22, 2, 23, 3, 4, 5, 24, 6},
966 {2, 22, 23, 3, 4, 5, 24, 6}, {22, 23, 24, 2, 3, 4, 25, 5},
967 {2, 3, 4, 22, 5, 6, 23, 7}, {22, 2, 3, 23, 4, 5, 24, 6},
968 {2, 22, 3, 23, 4, 5, 24, 6}, {22, 23, 2, 24, 3, 4, 25, 5},
969 {2, 3, 22, 23, 4, 5, 24, 6}, {22, 2, 23, 24, 3, 4, 25, 5},
970 {2, 22, 23, 24, 3, 4, 25, 5}, {22, 23, 24, 25, 2, 3, 26, 4},
971 {2, 3, 4, 5, 22, 6, 23, 7}, {22, 2, 3, 4, 23, 5, 24, 6},
972 {2, 22, 3, 4, 23, 5, 24, 6}, {22, 23, 2, 3, 24, 4, 25, 5},
973 {2, 3, 22, 4, 23, 5, 24, 6}, {22, 2, 23, 3, 24, 4, 25, 5},
974 {2, 22, 23, 3, 24, 4, 25, 5}, {22, 23, 24, 2, 25, 3, 26, 4},
975 {2, 3, 4, 22, 23, 5, 24, 6}, {22, 2, 3, 23, 24, 4, 25, 5},
976 {2, 22, 3, 23, 24, 4, 25, 5}, {22, 23, 2, 24, 25, 3, 26, 4},
977 {2, 3, 22, 23, 24, 4, 25, 5}, {22, 2, 23, 24, 25, 3, 26, 4},
978 {2, 22, 23, 24, 25, 3, 26, 4}, {22, 23, 24, 25, 26, 2, 27, 3},
979 {2, 3, 4, 5, 6, 22, 23, 7}, {22, 2, 3, 4, 5, 23, 24, 6},
980 {2, 22, 3, 4, 5, 23, 24, 6}, {22, 23, 2, 3, 4, 24, 25, 5},
981 {2, 3, 22, 4, 5, 23, 24, 6}, {22, 2, 23, 3, 4, 24, 25, 5},
982 {2, 22, 23, 3, 4, 24, 25, 5}, {22, 23, 24, 2, 3, 25, 26, 4},
983 {2, 3, 4, 22, 5, 23, 24, 6}, {22, 2, 3, 23, 4, 24, 25, 5},
984 {2, 22, 3, 23, 4, 24, 25, 5}, {22, 23, 2, 24, 3, 25, 26, 4},
985 {2, 3, 22, 23, 4, 24, 25, 5}, {22, 2, 23, 24, 3, 25, 26, 4},
986 {2, 22, 23, 24, 3, 25, 26, 4}, {22, 23, 24, 25, 2, 26, 27, 3},
987 {2, 3, 4, 5, 22, 23, 24, 6}, {22, 2, 3, 4, 23, 24, 25, 5},
988 {2, 22, 3, 4, 23, 24, 25, 5}, {22, 23, 2, 3, 24, 25, 26, 4},
989 {2, 3, 22, 4, 23, 24, 25, 5}, {22, 2, 23, 3, 24, 25, 26, 4},
990 {2, 22, 23, 3, 24, 25, 26, 4}, {22, 23, 24, 2, 25, 26, 27, 3},
991 {2, 3, 4, 22, 23, 24, 25, 5}, {22, 2, 3, 23, 24, 25, 26, 4},
992 {2, 22, 3, 23, 24, 25, 26, 4}, {22, 23, 2, 24, 25, 26, 27, 3},
993 {2, 3, 22, 23, 24, 25, 26, 4}, {22, 2, 23, 24, 25, 26, 27, 3},
994 {2, 22, 23, 24, 25, 26, 27, 3}, {22, 23, 24, 25, 26, 27, 28, 2},
995 {2, 3, 4, 5, 6, 7, 8, 22}, {22, 2, 3, 4, 5, 6, 7, 23},
996 {2, 22, 3, 4, 5, 6, 7, 23}, {22, 23, 2, 3, 4, 5, 6, 24},
997 {2, 3, 22, 4, 5, 6, 7, 23}, {22, 2, 23, 3, 4, 5, 6, 24},
998 {2, 22, 23, 3, 4, 5, 6, 24}, {22, 23, 24, 2, 3, 4, 5, 25},
999 {2, 3, 4, 22, 5, 6, 7, 23}, {22, 2, 3, 23, 4, 5, 6, 24},
1000 {2, 22, 3, 23, 4, 5, 6, 24}, {22, 23, 2, 24, 3, 4, 5, 25},
1001 {2, 3, 22, 23, 4, 5, 6, 24}, {22, 2, 23, 24, 3, 4, 5, 25},
1002 {2, 22, 23, 24, 3, 4, 5, 25}, {22, 23, 24, 25, 2, 3, 4, 26},
1003 {2, 3, 4, 5, 22, 6, 7, 23}, {22, 2, 3, 4, 23, 5, 6, 24},
1004 {2, 22, 3, 4, 23, 5, 6, 24}, {22, 23, 2, 3, 24, 4, 5, 25},
1005 {2, 3, 22, 4, 23, 5, 6, 24}, {22, 2, 23, 3, 24, 4, 5, 25},
1006 {2, 22, 23, 3, 24, 4, 5, 25}, {22, 23, 24, 2, 25, 3, 4, 26},
1007 {2, 3, 4, 22, 23, 5, 6, 24}, {22, 2, 3, 23, 24, 4, 5, 25},
1008 {2, 22, 3, 23, 24, 4, 5, 25}, {22, 23, 2, 24, 25, 3, 4, 26},
1009 {2, 3, 22, 23, 24, 4, 5, 25}, {22, 2, 23, 24, 25, 3, 4, 26},
1010 {2, 22, 23, 24, 25, 3, 4, 26}, {22, 23, 24, 25, 26, 2, 3, 27},
1011 {2, 3, 4, 5, 6, 22, 7, 23}, {22, 2, 3, 4, 5, 23, 6, 24},
1012 {2, 22, 3, 4, 5, 23, 6, 24}, {22, 23, 2, 3, 4, 24, 5, 25},
1013 {2, 3, 22, 4, 5, 23, 6, 24}, {22, 2, 23, 3, 4, 24, 5, 25},
1014 {2, 22, 23, 3, 4, 24, 5, 25}, {22, 23, 24, 2, 3, 25, 4, 26},
1015 {2, 3, 4, 22, 5, 23, 6, 24}, {22, 2, 3, 23, 4, 24, 5, 25},
1016 {2, 22, 3, 23, 4, 24, 5, 25}, {22, 23, 2, 24, 3, 25, 4, 26},
1017 {2, 3, 22, 23, 4, 24, 5, 25}, {22, 2, 23, 24, 3, 25, 4, 26},
1018 {2, 22, 23, 24, 3, 25, 4, 26}, {22, 23, 24, 25, 2, 26, 3, 27},
1019 {2, 3, 4, 5, 22, 23, 6, 24}, {22, 2, 3, 4, 23, 24, 5, 25},
1020 {2, 22, 3, 4, 23, 24, 5, 25}, {22, 23, 2, 3, 24, 25, 4, 26},
1021 {2, 3, 22, 4, 23, 24, 5, 25}, {22, 2, 23, 3, 24, 25, 4, 26},
1022 {2, 22, 23, 3, 24, 25, 4, 26}, {22, 23, 24, 2, 25, 26, 3, 27},
1023 {2, 3, 4, 22, 23, 24, 5, 25}, {22, 2, 3, 23, 24, 25, 4, 26},
1024 {2, 22, 3, 23, 24, 25, 4, 26}, {22, 23, 2, 24, 25, 26, 3, 27},
1025 {2, 3, 22, 23, 24, 25, 4, 26}, {22, 2, 23, 24, 25, 26, 3, 27},
1026 {2, 22, 23, 24, 25, 26, 3, 27}, {22, 23, 24, 25, 26, 27, 2, 28},
1027 {2, 3, 4, 5, 6, 7, 22, 23}, {22, 2, 3, 4, 5, 6, 23, 24},
1028 {2, 22, 3, 4, 5, 6, 23, 24}, {22, 23, 2, 3, 4, 5, 24, 25},
1029 {2, 3, 22, 4, 5, 6, 23, 24}, {22, 2, 23, 3, 4, 5, 24, 25},
1030 {2, 22, 23, 3, 4, 5, 24, 25}, {22, 23, 24, 2, 3, 4, 25, 26},
1031 {2, 3, 4, 22, 5, 6, 23, 24}, {22, 2, 3, 23, 4, 5, 24, 25},
1032 {2, 22, 3, 23, 4, 5, 24, 25}, {22, 23, 2, 24, 3, 4, 25, 26},
1033 {2, 3, 22, 23, 4, 5, 24, 25}, {22, 2, 23, 24, 3, 4, 25, 26},
1034 {2, 22, 23, 24, 3, 4, 25, 26}, {22, 23, 24, 25, 2, 3, 26, 27},
1035 {2, 3, 4, 5, 22, 6, 23, 24}, {22, 2, 3, 4, 23, 5, 24, 25},
1036 {2, 22, 3, 4, 23, 5, 24, 25}, {22, 23, 2, 3, 24, 4, 25, 26},
1037 {2, 3, 22, 4, 23, 5, 24, 25}, {22, 2, 23, 3, 24, 4, 25, 26},
1038 {2, 22, 23, 3, 24, 4, 25, 26}, {22, 23, 24, 2, 25, 3, 26, 27},
1039 {2, 3, 4, 22, 23, 5, 24, 25}, {22, 2, 3, 23, 24, 4, 25, 26},
1040 {2, 22, 3, 23, 24, 4, 25, 26}, {22, 23, 2, 24, 25, 3, 26, 27},
1041 {2, 3, 22, 23, 24, 4, 25, 26}, {22, 2, 23, 24, 25, 3, 26, 27},
1042 {2, 22, 23, 24, 25, 3, 26, 27}, {22, 23, 24, 25, 26, 2, 27, 28},
1043 {2, 3, 4, 5, 6, 22, 23, 24}, {22, 2, 3, 4, 5, 23, 24, 25},
1044 {2, 22, 3, 4, 5, 23, 24, 25}, {22, 23, 2, 3, 4, 24, 25, 26},
1045 {2, 3, 22, 4, 5, 23, 24, 25}, {22, 2, 23, 3, 4, 24, 25, 26},
1046 {2, 22, 23, 3, 4, 24, 25, 26}, {22, 23, 24, 2, 3, 25, 26, 27},
1047 {2, 3, 4, 22, 5, 23, 24, 25}, {22, 2, 3, 23, 4, 24, 25, 26},
1048 {2, 22, 3, 23, 4, 24, 25, 26}, {22, 23, 2, 24, 3, 25, 26, 27},
1049 {2, 3, 22, 23, 4, 24, 25, 26}, {22, 2, 23, 24, 3, 25, 26, 27},
1050 {2, 22, 23, 24, 3, 25, 26, 27}, {22, 23, 24, 25, 2, 26, 27, 28},
1051 {2, 3, 4, 5, 22, 23, 24, 25}, {22, 2, 3, 4, 23, 24, 25, 26},
1052 {2, 22, 3, 4, 23, 24, 25, 26}, {22, 23, 2, 3, 24, 25, 26, 27},
1053 {2, 3, 22, 4, 23, 24, 25, 26}, {22, 2, 23, 3, 24, 25, 26, 27},
1054 {2, 22, 23, 3, 24, 25, 26, 27}, {22, 23, 24, 2, 25, 26, 27, 28},
1055 {2, 3, 4, 22, 23, 24, 25, 26}, {22, 2, 3, 23, 24, 25, 26, 27},
1056 {2, 22, 3, 23, 24, 25, 26, 27}, {22, 23, 2, 24, 25, 26, 27, 28},
1057 {2, 3, 22, 23, 24, 25, 26, 27}, {22, 2, 23, 24, 25, 26, 27, 28},
1058 {2, 22, 23, 24, 25, 26, 27, 28}, {22, 23, 24, 25, 26, 27, 28, 29},
1059 },
1060 {
1061 {1, 2, 3, 4, 5, 6, 7, 8}, {23, 1, 2, 3, 4, 5, 6, 7},
1062 {1, 23, 2, 3, 4, 5, 6, 7}, {23, 24, 1, 2, 3, 4, 5, 6},
1063 {1, 2, 23, 3, 4, 5, 6, 7}, {23, 1, 24, 2, 3, 4, 5, 6},
1064 {1, 23, 24, 2, 3, 4, 5, 6}, {23, 24, 25, 1, 2, 3, 4, 5},
1065 {1, 2, 3, 23, 4, 5, 6, 7}, {23, 1, 2, 24, 3, 4, 5, 6},
1066 {1, 23, 2, 24, 3, 4, 5, 6}, {23, 24, 1, 25, 2, 3, 4, 5},
1067 {1, 2, 23, 24, 3, 4, 5, 6}, {23, 1, 24, 25, 2, 3, 4, 5},
1068 {1, 23, 24, 25, 2, 3, 4, 5}, {23, 24, 25, 26, 1, 2, 3, 4},
1069 {1, 2, 3, 4, 23, 5, 6, 7}, {23, 1, 2, 3, 24, 4, 5, 6},
1070 {1, 23, 2, 3, 24, 4, 5, 6}, {23, 24, 1, 2, 25, 3, 4, 5},
1071 {1, 2, 23, 3, 24, 4, 5, 6}, {23, 1, 24, 2, 25, 3, 4, 5},
1072 {1, 23, 24, 2, 25, 3, 4, 5}, {23, 24, 25, 1, 26, 2, 3, 4},
1073 {1, 2, 3, 23, 24, 4, 5, 6}, {23, 1, 2, 24, 25, 3, 4, 5},
1074 {1, 23, 2, 24, 25, 3, 4, 5}, {23, 24, 1, 25, 26, 2, 3, 4},
1075 {1, 2, 23, 24, 25, 3, 4, 5}, {23, 1, 24, 25, 26, 2, 3, 4},
1076 {1, 23, 24, 25, 26, 2, 3, 4}, {23, 24, 25, 26, 27, 1, 2, 3},
1077 {1, 2, 3, 4, 5, 23, 6, 7}, {23, 1, 2, 3, 4, 24, 5, 6},
1078 {1, 23, 2, 3, 4, 24, 5, 6}, {23, 24, 1, 2, 3, 25, 4, 5},
1079 {1, 2, 23, 3, 4, 24, 5, 6}, {23, 1, 24, 2, 3, 25, 4, 5},
1080 {1, 23, 24, 2, 3, 25, 4, 5}, {23, 24, 25, 1, 2, 26, 3, 4},
1081 {1, 2, 3, 23, 4, 24, 5, 6}, {23, 1, 2, 24, 3, 25, 4, 5},
1082 {1, 23, 2, 24, 3, 25, 4, 5}, {23, 24, 1, 25, 2, 26, 3, 4},
1083 {1, 2, 23, 24, 3, 25, 4, 5}, {23, 1, 24, 25, 2, 26, 3, 4},
1084 {1, 23, 24, 25, 2, 26, 3, 4}, {23, 24, 25, 26, 1, 27, 2, 3},
1085 {1, 2, 3, 4, 23, 24, 5, 6}, {23, 1, 2, 3, 24, 25, 4, 5},
1086 {1, 23, 2, 3, 24, 25, 4, 5}, {23, 24, 1, 2, 25, 26, 3, 4},
1087 {1, 2, 23, 3, 24, 25, 4, 5}, {23, 1, 24, 2, 25, 26, 3, 4},
1088 {1, 23, 24, 2, 25, 26, 3, 4}, {23, 24, 25, 1, 26, 27, 2, 3},
1089 {1, 2, 3, 23, 24, 25, 4, 5}, {23, 1, 2, 24, 25, 26, 3, 4},
1090 {1, 23, 2, 24, 25, 26, 3, 4}, {23, 24, 1, 25, 26, 27, 2, 3},
1091 {1, 2, 23, 24, 25, 26, 3, 4}, {23, 1, 24, 25, 26, 27, 2, 3},
1092 {1, 23, 24, 25, 26, 27, 2, 3}, {23, 24, 25, 26, 27, 28, 1, 2},
1093 {1, 2, 3, 4, 5, 6, 23, 7}, {23, 1, 2, 3, 4, 5, 24, 6},
1094 {1, 23, 2, 3, 4, 5, 24, 6}, {23, 24, 1, 2, 3, 4, 25, 5},
1095 {1, 2, 23, 3, 4, 5, 24, 6}, {23, 1, 24, 2, 3, 4, 25, 5},
1096 {1, 23, 24, 2, 3, 4, 25, 5}, {23, 24, 25, 1, 2, 3, 26, 4},
1097 {1, 2, 3, 23, 4, 5, 24, 6}, {23, 1, 2, 24, 3, 4, 25, 5},
1098 {1, 23, 2, 24, 3, 4, 25, 5}, {23, 24, 1, 25, 2, 3, 26, 4},
1099 {1, 2, 23, 24, 3, 4, 25, 5}, {23, 1, 24, 25, 2, 3, 26, 4},
1100 {1, 23, 24, 25, 2, 3, 26, 4}, {23, 24, 25, 26, 1, 2, 27, 3},
1101 {1, 2, 3, 4, 23, 5, 24, 6}, {23, 1, 2, 3, 24, 4, 25, 5},
1102 {1, 23, 2, 3, 24, 4, 25, 5}, {23, 24, 1, 2, 25, 3, 26, 4},
1103 {1, 2, 23, 3, 24, 4, 25, 5}, {23, 1, 24, 2, 25, 3, 26, 4},
1104 {1, 23, 24, 2, 25, 3, 26, 4}, {23, 24, 25, 1, 26, 2, 27, 3},
1105 {1, 2, 3, 23, 24, 4, 25, 5}, {23, 1, 2, 24, 25, 3, 26, 4},
1106 {1, 23, 2, 24, 25, 3, 26, 4}, {23, 24, 1, 25, 26, 2, 27, 3},
1107 {1, 2, 23, 24, 25, 3, 26, 4}, {23, 1, 24, 25, 26, 2, 27, 3},
1108 {1, 23, 24, 25, 26, 2, 27, 3}, {23, 24, 25, 26, 27, 1, 28, 2},
1109 {1, 2, 3, 4, 5, 23, 24, 6}, {23, 1, 2, 3, 4, 24, 25, 5},
1110 {1, 23, 2, 3, 4, 24, 25, 5}, {23, 24, 1, 2, 3, 25, 26, 4},
1111 {1, 2, 23, 3, 4, 24, 25, 5}, {23, 1, 24, 2, 3, 25, 26, 4},
1112 {1, 23, 24, 2, 3, 25, 26, 4}, {23, 24, 25, 1, 2, 26, 27, 3},
1113 {1, 2, 3, 23, 4, 24, 25, 5}, {23, 1, 2, 24, 3, 25, 26, 4},
1114 {1, 23, 2, 24, 3, 25, 26, 4}, {23, 24, 1, 25, 2, 26, 27, 3},
1115 {1, 2, 23, 24, 3, 25, 26, 4}, {23, 1, 24, 25, 2, 26, 27, 3},
1116 {1, 23, 24, 25, 2, 26, 27, 3}, {23, 24, 25, 26, 1, 27, 28, 2},
1117 {1, 2, 3, 4, 23, 24, 25, 5}, {23, 1, 2, 3, 24, 25, 26, 4},
1118 {1, 23, 2, 3, 24, 25, 26, 4}, {23, 24, 1, 2, 25, 26, 27, 3},
1119 {1, 2, 23, 3, 24, 25, 26, 4}, {23, 1, 24, 2, 25, 26, 27, 3},
1120 {1, 23, 24, 2, 25, 26, 27, 3}, {23, 24, 25, 1, 26, 27, 28, 2},
1121 {1, 2, 3, 23, 24, 25, 26, 4}, {23, 1, 2, 24, 25, 26, 27, 3},
1122 {1, 23, 2, 24, 25, 26, 27, 3}, {23, 24, 1, 25, 26, 27, 28, 2},
1123 {1, 2, 23, 24, 25, 26, 27, 3}, {23, 1, 24, 25, 26, 27, 28, 2},
1124 {1, 23, 24, 25, 26, 27, 28, 2}, {23, 24, 25, 26, 27, 28, 29, 1},
1125 {1, 2, 3, 4, 5, 6, 7, 23}, {23, 1, 2, 3, 4, 5, 6, 24},
1126 {1, 23, 2, 3, 4, 5, 6, 24}, {23, 24, 1, 2, 3, 4, 5, 25},
1127 {1, 2, 23, 3, 4, 5, 6, 24}, {23, 1, 24, 2, 3, 4, 5, 25},
1128 {1, 23, 24, 2, 3, 4, 5, 25}, {23, 24, 25, 1, 2, 3, 4, 26},
1129 {1, 2, 3, 23, 4, 5, 6, 24}, {23, 1, 2, 24, 3, 4, 5, 25},
1130 {1, 23, 2, 24, 3, 4, 5, 25}, {23, 24, 1, 25, 2, 3, 4, 26},
1131 {1, 2, 23, 24, 3, 4, 5, 25}, {23, 1, 24, 25, 2, 3, 4, 26},
1132 {1, 23, 24, 25, 2, 3, 4, 26}, {23, 24, 25, 26, 1, 2, 3, 27},
1133 {1, 2, 3, 4, 23, 5, 6, 24}, {23, 1, 2, 3, 24, 4, 5, 25},
1134 {1, 23, 2, 3, 24, 4, 5, 25}, {23, 24, 1, 2, 25, 3, 4, 26},
1135 {1, 2, 23, 3, 24, 4, 5, 25}, {23, 1, 24, 2, 25, 3, 4, 26},
1136 {1, 23, 24, 2, 25, 3, 4, 26}, {23, 24, 25, 1, 26, 2, 3, 27},
1137 {1, 2, 3, 23, 24, 4, 5, 25}, {23, 1, 2, 24, 25, 3, 4, 26},
1138 {1, 23, 2, 24, 25, 3, 4, 26}, {23, 24, 1, 25, 26, 2, 3, 27},
1139 {1, 2, 23, 24, 25, 3, 4, 26}, {23, 1, 24, 25, 26, 2, 3, 27},
1140 {1, 23, 24, 25, 26, 2, 3, 27}, {23, 24, 25, 26, 27, 1, 2, 28},
1141 {1, 2, 3, 4, 5, 23, 6, 24}, {23, 1, 2, 3, 4, 24, 5, 25},
1142 {1, 23, 2, 3, 4, 24, 5, 25}, {23, 24, 1, 2, 3, 25, 4, 26},
1143 {1, 2, 23, 3, 4, 24, 5, 25}, {23, 1, 24, 2, 3, 25, 4, 26},
1144 {1, 23, 24, 2, 3, 25, 4, 26}, {23, 24, 25, 1, 2, 26, 3, 27},
1145 {1, 2, 3, 23, 4, 24, 5, 25}, {23, 1, 2, 24, 3, 25, 4, 26},
1146 {1, 23, 2, 24, 3, 25, 4, 26}, {23, 24, 1, 25, 2, 26, 3, 27},
1147 {1, 2, 23, 24, 3, 25, 4, 26}, {23, 1, 24, 25, 2, 26, 3, 27},
1148 {1, 23, 24, 25, 2, 26, 3, 27}, {23, 24, 25, 26, 1, 27, 2, 28},
1149 {1, 2, 3, 4, 23, 24, 5, 25}, {23, 1, 2, 3, 24, 25, 4, 26},
1150 {1, 23, 2, 3, 24, 25, 4, 26}, {23, 24, 1, 2, 25, 26, 3, 27},
1151 {1, 2, 23, 3, 24, 25, 4, 26}, {23, 1, 24, 2, 25, 26, 3, 27},
1152 {1, 23, 24, 2, 25, 26, 3, 27}, {23, 24, 25, 1, 26, 27, 2, 28},
1153 {1, 2, 3, 23, 24, 25, 4, 26}, {23, 1, 2, 24, 25, 26, 3, 27},
1154 {1, 23, 2, 24, 25, 26, 3, 27}, {23, 24, 1, 25, 26, 27, 2, 28},
1155 {1, 2, 23, 24, 25, 26, 3, 27}, {23, 1, 24, 25, 26, 27, 2, 28},
1156 {1, 23, 24, 25, 26, 27, 2, 28}, {23, 24, 25, 26, 27, 28, 1, 29},
1157 {1, 2, 3, 4, 5, 6, 23, 24}, {23, 1, 2, 3, 4, 5, 24, 25},
1158 {1, 23, 2, 3, 4, 5, 24, 25}, {23, 24, 1, 2, 3, 4, 25, 26},
1159 {1, 2, 23, 3, 4, 5, 24, 25}, {23, 1, 24, 2, 3, 4, 25, 26},
1160 {1, 23, 24, 2, 3, 4, 25, 26}, {23, 24, 25, 1, 2, 3, 26, 27},
1161 {1, 2, 3, 23, 4, 5, 24, 25}, {23, 1, 2, 24, 3, 4, 25, 26},
1162 {1, 23, 2, 24, 3, 4, 25, 26}, {23, 24, 1, 25, 2, 3, 26, 27},
1163 {1, 2, 23, 24, 3, 4, 25, 26}, {23, 1, 24, 25, 2, 3, 26, 27},
1164 {1, 23, 24, 25, 2, 3, 26, 27}, {23, 24, 25, 26, 1, 2, 27, 28},
1165 {1, 2, 3, 4, 23, 5, 24, 25}, {23, 1, 2, 3, 24, 4, 25, 26},
1166 {1, 23, 2, 3, 24, 4, 25, 26}, {23, 24, 1, 2, 25, 3, 26, 27},
1167 {1, 2, 23, 3, 24, 4, 25, 26}, {23, 1, 24, 2, 25, 3, 26, 27},
1168 {1, 23, 24, 2, 25, 3, 26, 27}, {23, 24, 25, 1, 26, 2, 27, 28},
1169 {1, 2, 3, 23, 24, 4, 25, 26}, {23, 1, 2, 24, 25, 3, 26, 27},
1170 {1, 23, 2, 24, 25, 3, 26, 27}, {23, 24, 1, 25, 26, 2, 27, 28},
1171 {1, 2, 23, 24, 25, 3, 26, 27}, {23, 1, 24, 25, 26, 2, 27, 28},
1172 {1, 23, 24, 25, 26, 2, 27, 28}, {23, 24, 25, 26, 27, 1, 28, 29},
1173 {1, 2, 3, 4, 5, 23, 24, 25}, {23, 1, 2, 3, 4, 24, 25, 26},
1174 {1, 23, 2, 3, 4, 24, 25, 26}, {23, 24, 1, 2, 3, 25, 26, 27},
1175 {1, 2, 23, 3, 4, 24, 25, 26}, {23, 1, 24, 2, 3, 25, 26, 27},
1176 {1, 23, 24, 2, 3, 25, 26, 27}, {23, 24, 25, 1, 2, 26, 27, 28},
1177 {1, 2, 3, 23, 4, 24, 25, 26}, {23, 1, 2, 24, 3, 25, 26, 27},
1178 {1, 23, 2, 24, 3, 25, 26, 27}, {23, 24, 1, 25, 2, 26, 27, 28},
1179 {1, 2, 23, 24, 3, 25, 26, 27}, {23, 1, 24, 25, 2, 26, 27, 28},
1180 {1, 23, 24, 25, 2, 26, 27, 28}, {23, 24, 25, 26, 1, 27, 28, 29},
1181 {1, 2, 3, 4, 23, 24, 25, 26}, {23, 1, 2, 3, 24, 25, 26, 27},
1182 {1, 23, 2, 3, 24, 25, 26, 27}, {23, 24, 1, 2, 25, 26, 27, 28},
1183 {1, 2, 23, 3, 24, 25, 26, 27}, {23, 1, 24, 2, 25, 26, 27, 28},
1184 {1, 23, 24, 2, 25, 26, 27, 28}, {23, 24, 25, 1, 26, 27, 28, 29},
1185 {1, 2, 3, 23, 24, 25, 26, 27}, {23, 1, 2, 24, 25, 26, 27, 28},
1186 {1, 23, 2, 24, 25, 26, 27, 28}, {23, 24, 1, 25, 26, 27, 28, 29},
1187 {1, 2, 23, 24, 25, 26, 27, 28}, {23, 1, 24, 25, 26, 27, 28, 29},
1188 {1, 23, 24, 25, 26, 27, 28, 29}, {23, 24, 25, 26, 27, 28, 29, 30},
1189 },
1190 {
1191 {0, 1, 2, 3, 4, 5, 6, 7}, {24, 0, 1, 2, 3, 4, 5, 6},
1192 {0, 24, 1, 2, 3, 4, 5, 6}, {24, 25, 0, 1, 2, 3, 4, 5},
1193 {0, 1, 24, 2, 3, 4, 5, 6}, {24, 0, 25, 1, 2, 3, 4, 5},
1194 {0, 24, 25, 1, 2, 3, 4, 5}, {24, 25, 26, 0, 1, 2, 3, 4},
1195 {0, 1, 2, 24, 3, 4, 5, 6}, {24, 0, 1, 25, 2, 3, 4, 5},
1196 {0, 24, 1, 25, 2, 3, 4, 5}, {24, 25, 0, 26, 1, 2, 3, 4},
1197 {0, 1, 24, 25, 2, 3, 4, 5}, {24, 0, 25, 26, 1, 2, 3, 4},
1198 {0, 24, 25, 26, 1, 2, 3, 4}, {24, 25, 26, 27, 0, 1, 2, 3},
1199 {0, 1, 2, 3, 24, 4, 5, 6}, {24, 0, 1, 2, 25, 3, 4, 5},
1200 {0, 24, 1, 2, 25, 3, 4, 5}, {24, 25, 0, 1, 26, 2, 3, 4},
1201 {0, 1, 24, 2, 25, 3, 4, 5}, {24, 0, 25, 1, 26, 2, 3, 4},
1202 {0, 24, 25, 1, 26, 2, 3, 4}, {24, 25, 26, 0, 27, 1, 2, 3},
1203 {0, 1, 2, 24, 25, 3, 4, 5}, {24, 0, 1, 25, 26, 2, 3, 4},
1204 {0, 24, 1, 25, 26, 2, 3, 4}, {24, 25, 0, 26, 27, 1, 2, 3},
1205 {0, 1, 24, 25, 26, 2, 3, 4}, {24, 0, 25, 26, 27, 1, 2, 3},
1206 {0, 24, 25, 26, 27, 1, 2, 3}, {24, 25, 26, 27, 28, 0, 1, 2},
1207 {0, 1, 2, 3, 4, 24, 5, 6}, {24, 0, 1, 2, 3, 25, 4, 5},
1208 {0, 24, 1, 2, 3, 25, 4, 5}, {24, 25, 0, 1, 2, 26, 3, 4},
1209 {0, 1, 24, 2, 3, 25, 4, 5}, {24, 0, 25, 1, 2, 26, 3, 4},
1210 {0, 24, 25, 1, 2, 26, 3, 4}, {24, 25, 26, 0, 1, 27, 2, 3},
1211 {0, 1, 2, 24, 3, 25, 4, 5}, {24, 0, 1, 25, 2, 26, 3, 4},
1212 {0, 24, 1, 25, 2, 26, 3, 4}, {24, 25, 0, 26, 1, 27, 2, 3},
1213 {0, 1, 24, 25, 2, 26, 3, 4}, {24, 0, 25, 26, 1, 27, 2, 3},
1214 {0, 24, 25, 26, 1, 27, 2, 3}, {24, 25, 26, 27, 0, 28, 1, 2},
1215 {0, 1, 2, 3, 24, 25, 4, 5}, {24, 0, 1, 2, 25, 26, 3, 4},
1216 {0, 24, 1, 2, 25, 26, 3, 4}, {24, 25, 0, 1, 26, 27, 2, 3},
1217 {0, 1, 24, 2, 25, 26, 3, 4}, {24, 0, 25, 1, 26, 27, 2, 3},
1218 {0, 24, 25, 1, 26, 27, 2, 3}, {24, 25, 26, 0, 27, 28, 1, 2},
1219 {0, 1, 2, 24, 25, 26, 3, 4}, {24, 0, 1, 25, 26, 27, 2, 3},
1220 {0, 24, 1, 25, 26, 27, 2, 3}, {24, 25, 0, 26, 27, 28, 1, 2},
1221 {0, 1, 24, 25, 26, 27, 2, 3}, {24, 0, 25, 26, 27, 28, 1, 2},
1222 {0, 24, 25, 26, 27, 28, 1, 2}, {24, 25, 26, 27, 28, 29, 0, 1},
1223 {0, 1, 2, 3, 4, 5, 24, 6}, {24, 0, 1, 2, 3, 4, 25, 5},
1224 {0, 24, 1, 2, 3, 4, 25, 5}, {24, 25, 0, 1, 2, 3, 26, 4},
1225 {0, 1, 24, 2, 3, 4, 25, 5}, {24, 0, 25, 1, 2, 3, 26, 4},
1226 {0, 24, 25, 1, 2, 3, 26, 4}, {24, 25, 26, 0, 1, 2, 27, 3},
1227 {0, 1, 2, 24, 3, 4, 25, 5}, {24, 0, 1, 25, 2, 3, 26, 4},
1228 {0, 24, 1, 25, 2, 3, 26, 4}, {24, 25, 0, 26, 1, 2, 27, 3},
1229 {0, 1, 24, 25, 2, 3, 26, 4}, {24, 0, 25, 26, 1, 2, 27, 3},
1230 {0, 24, 25, 26, 1, 2, 27, 3}, {24, 25, 26, 27, 0, 1, 28, 2},
1231 {0, 1, 2, 3, 24, 4, 25, 5}, {24, 0, 1, 2, 25, 3, 26, 4},
1232 {0, 24, 1, 2, 25, 3, 26, 4}, {24, 25, 0, 1, 26, 2, 27, 3},
1233 {0, 1, 24, 2, 25, 3, 26, 4}, {24, 0, 25, 1, 26, 2, 27, 3},
1234 {0, 24, 25, 1, 26, 2, 27, 3}, {24, 25, 26, 0, 27, 1, 28, 2},
1235 {0, 1, 2, 24, 25, 3, 26, 4}, {24, 0, 1, 25, 26, 2, 27, 3},
1236 {0, 24, 1, 25, 26, 2, 27, 3}, {24, 25, 0, 26, 27, 1, 28, 2},
1237 {0, 1, 24, 25, 26, 2, 27, 3}, {24, 0, 25, 26, 27, 1, 28, 2},
1238 {0, 24, 25, 26, 27, 1, 28, 2}, {24, 25, 26, 27, 28, 0, 29, 1},
1239 {0, 1, 2, 3, 4, 24, 25, 5}, {24, 0, 1, 2, 3, 25, 26, 4},
1240 {0, 24, 1, 2, 3, 25, 26, 4}, {24, 25, 0, 1, 2, 26, 27, 3},
1241 {0, 1, 24, 2, 3, 25, 26, 4}, {24, 0, 25, 1, 2, 26, 27, 3},
1242 {0, 24, 25, 1, 2, 26, 27, 3}, {24, 25, 26, 0, 1, 27, 28, 2},
1243 {0, 1, 2, 24, 3, 25, 26, 4}, {24, 0, 1, 25, 2, 26, 27, 3},
1244 {0, 24, 1, 25, 2, 26, 27, 3}, {24, 25, 0, 26, 1, 27, 28, 2},
1245 {0, 1, 24, 25, 2, 26, 27, 3}, {24, 0, 25, 26, 1, 27, 28, 2},
1246 {0, 24, 25, 26, 1, 27, 28, 2}, {24, 25, 26, 27, 0, 28, 29, 1},
1247 {0, 1, 2, 3, 24, 25, 26, 4}, {24, 0, 1, 2, 25, 26, 27, 3},
1248 {0, 24, 1, 2, 25, 26, 27, 3}, {24, 25, 0, 1, 26, 27, 28, 2},
1249 {0, 1, 24, 2, 25, 26, 27, 3}, {24, 0, 25, 1, 26, 27, 28, 2},
1250 {0, 24, 25, 1, 26, 27, 28, 2}, {24, 25, 26, 0, 27, 28, 29, 1},
1251 {0, 1, 2, 24, 25, 26, 27, 3}, {24, 0, 1, 25, 26, 27, 28, 2},
1252 {0, 24, 1, 25, 26, 27, 28, 2}, {24, 25, 0, 26, 27, 28, 29, 1},
1253 {0, 1, 24, 25, 26, 27, 28, 2}, {24, 0, 25, 26, 27, 28, 29, 1},
1254 {0, 24, 25, 26, 27, 28, 29, 1}, {24, 25, 26, 27, 28, 29, 30, 0},
1255 {0, 1, 2, 3, 4, 5, 6, 24}, {24, 0, 1, 2, 3, 4, 5, 25},
1256 {0, 24, 1, 2, 3, 4, 5, 25}, {24, 25, 0, 1, 2, 3, 4, 26},
1257 {0, 1, 24, 2, 3, 4, 5, 25}, {24, 0, 25, 1, 2, 3, 4, 26},
1258 {0, 24, 25, 1, 2, 3, 4, 26}, {24, 25, 26, 0, 1, 2, 3, 27},
1259 {0, 1, 2, 24, 3, 4, 5, 25}, {24, 0, 1, 25, 2, 3, 4, 26},
1260 {0, 24, 1, 25, 2, 3, 4, 26}, {24, 25, 0, 26, 1, 2, 3, 27},
1261 {0, 1, 24, 25, 2, 3, 4, 26}, {24, 0, 25, 26, 1, 2, 3, 27},
1262 {0, 24, 25, 26, 1, 2, 3, 27}, {24, 25, 26, 27, 0, 1, 2, 28},
1263 {0, 1, 2, 3, 24, 4, 5, 25}, {24, 0, 1, 2, 25, 3, 4, 26},
1264 {0, 24, 1, 2, 25, 3, 4, 26}, {24, 25, 0, 1, 26, 2, 3, 27},
1265 {0, 1, 24, 2, 25, 3, 4, 26}, {24, 0, 25, 1, 26, 2, 3, 27},
1266 {0, 24, 25, 1, 26, 2, 3, 27}, {24, 25, 26, 0, 27, 1, 2, 28},
1267 {0, 1, 2, 24, 25, 3, 4, 26}, {24, 0, 1, 25, 26, 2, 3, 27},
1268 {0, 24, 1, 25, 26, 2, 3, 27}, {24, 25, 0, 26, 27, 1, 2, 28},
1269 {0, 1, 24, 25, 26, 2, 3, 27}, {24, 0, 25, 26, 27, 1, 2, 28},
1270 {0, 24, 25, 26, 27, 1, 2, 28}, {24, 25, 26, 27, 28, 0, 1, 29},
1271 {0, 1, 2, 3, 4, 24, 5, 25}, {24, 0, 1, 2, 3, 25, 4, 26},
1272 {0, 24, 1, 2, 3, 25, 4, 26}, {24, 25, 0, 1, 2, 26, 3, 27},
1273 {0, 1, 24, 2, 3, 25, 4, 26}, {24, 0, 25, 1, 2, 26, 3, 27},
1274 {0, 24, 25, 1, 2, 26, 3, 27}, {24, 25, 26, 0, 1, 27, 2, 28},
1275 {0, 1, 2, 24, 3, 25, 4, 26}, {24, 0, 1, 25, 2, 26, 3, 27},
1276 {0, 24, 1, 25, 2, 26, 3, 27}, {24, 25, 0, 26, 1, 27, 2, 28},
1277 {0, 1, 24, 25, 2, 26, 3, 27}, {24, 0, 25, 26, 1, 27, 2, 28},
1278 {0, 24, 25, 26, 1, 27, 2, 28}, {24, 25, 26, 27, 0, 28, 1, 29},
1279 {0, 1, 2, 3, 24, 25, 4, 26}, {24, 0, 1, 2, 25, 26, 3, 27},
1280 {0, 24, 1, 2, 25, 26, 3, 27}, {24, 25, 0, 1, 26, 27, 2, 28},
1281 {0, 1, 24, 2, 25, 26, 3, 27}, {24, 0, 25, 1, 26, 27, 2, 28},
1282 {0, 24, 25, 1, 26, 27, 2, 28}, {24, 25, 26, 0, 27, 28, 1, 29},
1283 {0, 1, 2, 24, 25, 26, 3, 27}, {24, 0, 1, 25, 26, 27, 2, 28},
1284 {0, 24, 1, 25, 26, 27, 2, 28}, {24, 25, 0, 26, 27, 28, 1, 29},
1285 {0, 1, 24, 25, 26, 27, 2, 28}, {24, 0, 25, 26, 27, 28, 1, 29},
1286 {0, 24, 25, 26, 27, 28, 1, 29}, {24, 25, 26, 27, 28, 29, 0, 30},
1287 {0, 1, 2, 3, 4, 5, 24, 25}, {24, 0, 1, 2, 3, 4, 25, 26},
1288 {0, 24, 1, 2, 3, 4, 25, 26}, {24, 25, 0, 1, 2, 3, 26, 27},
1289 {0, 1, 24, 2, 3, 4, 25, 26}, {24, 0, 25, 1, 2, 3, 26, 27},
1290 {0, 24, 25, 1, 2, 3, 26, 27}, {24, 25, 26, 0, 1, 2, 27, 28},
1291 {0, 1, 2, 24, 3, 4, 25, 26}, {24, 0, 1, 25, 2, 3, 26, 27},
1292 {0, 24, 1, 25, 2, 3, 26, 27}, {24, 25, 0, 26, 1, 2, 27, 28},
1293 {0, 1, 24, 25, 2, 3, 26, 27}, {24, 0, 25, 26, 1, 2, 27, 28},
1294 {0, 24, 25, 26, 1, 2, 27, 28}, {24, 25, 26, 27, 0, 1, 28, 29},
1295 {0, 1, 2, 3, 24, 4, 25, 26}, {24, 0, 1, 2, 25, 3, 26, 27},
1296 {0, 24, 1, 2, 25, 3, 26, 27}, {24, 25, 0, 1, 26, 2, 27, 28},
1297 {0, 1, 24, 2, 25, 3, 26, 27}, {24, 0, 25, 1, 26, 2, 27, 28},
1298 {0, 24, 25, 1, 26, 2, 27, 28}, {24, 25, 26, 0, 27, 1, 28, 29},
1299 {0, 1, 2, 24, 25, 3, 26, 27}, {24, 0, 1, 25, 26, 2, 27, 28},
1300 {0, 24, 1, 25, 26, 2, 27, 28}, {24, 25, 0, 26, 27, 1, 28, 29},
1301 {0, 1, 24, 25, 26, 2, 27, 28}, {24, 0, 25, 26, 27, 1, 28, 29},
1302 {0, 24, 25, 26, 27, 1, 28, 29}, {24, 25, 26, 27, 28, 0, 29, 30},
1303 {0, 1, 2, 3, 4, 24, 25, 26}, {24, 0, 1, 2, 3, 25, 26, 27},
1304 {0, 24, 1, 2, 3, 25, 26, 27}, {24, 25, 0, 1, 2, 26, 27, 28},
1305 {0, 1, 24, 2, 3, 25, 26, 27}, {24, 0, 25, 1, 2, 26, 27, 28},
1306 {0, 24, 25, 1, 2, 26, 27, 28}, {24, 25, 26, 0, 1, 27, 28, 29},
1307 {0, 1, 2, 24, 3, 25, 26, 27}, {24, 0, 1, 25, 2, 26, 27, 28},
1308 {0, 24, 1, 25, 2, 26, 27, 28}, {24, 25, 0, 26, 1, 27, 28, 29},
1309 {0, 1, 24, 25, 2, 26, 27, 28}, {24, 0, 25, 26, 1, 27, 28, 29},
1310 {0, 24, 25, 26, 1, 27, 28, 29}, {24, 25, 26, 27, 0, 28, 29, 30},
1311 {0, 1, 2, 3, 24, 25, 26, 27}, {24, 0, 1, 2, 25, 26, 27, 28},
1312 {0, 24, 1, 2, 25, 26, 27, 28}, {24, 25, 0, 1, 26, 27, 28, 29},
1313 {0, 1, 24, 2, 25, 26, 27, 28}, {24, 0, 25, 1, 26, 27, 28, 29},
1314 {0, 24, 25, 1, 26, 27, 28, 29}, {24, 25, 26, 0, 27, 28, 29, 30},
1315 {0, 1, 2, 24, 25, 26, 27, 28}, {24, 0, 1, 25, 26, 27, 28, 29},
1316 {0, 24, 1, 25, 26, 27, 28, 29}, {24, 25, 0, 26, 27, 28, 29, 30},
1317 {0, 1, 24, 25, 26, 27, 28, 29}, {24, 0, 25, 26, 27, 28, 29, 30},
1318 {0, 24, 25, 26, 27, 28, 29, 30}, {24, 25, 26, 27, 28, 29, 30, 31},
1319 },
1320};
zxc_pivco_tables.h
Shuffle-index tables for the PivCo merge routines (declarations).