1 /*
2  * Copyright (C) 1997-2005, R3vis Corporation.
3  *
4  * This library is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU Library General Public
6  * License as published by the Free Software Foundation; either
7  * version 2 of the License, or (at your option) any later version.
8  *
9  * This library is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  * Library General Public License for more details.
13  *
14  * You should have received a copy of the GNU Library General Public
15  * License along with this library; if not, write to the Free Software
16  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
17  * USA, or visit http://www.gnu.org/copyleft/lgpl.html.
18  *
19  * Original Contributor:
20  *   Wes Bethel, R3vis Corporation, Marin County, California
21  * Additional Contributor(s):
22  *
23  * The OpenRM project is located at http://openrm.sourceforge.net/.
24  */
25 
26 #ifndef _rmvcell_h
27 #define _rmvcell_h
28 
29 /*
30  *
31  * The following source code is in the public domain.
32  * Specifically, we give to the public domain all rights for future licensing
33  * of the source code, all resale rights, and all publishing rights.
34  *
35  * We ask, but do not require, that the following message be included in all
36  * derived works:
37  *
38  * Portions developed at the National Center for Supercomputing Applications at
39  * the University of Illinois at Urbana-Champaign.
40  *
41  * THE UNIVERSITY OF ILLINOIS GIVES NO WARRANTY, EXPRESSED OR IMPLIED, FOR THE
42  * SOFTWARE AND/OR DOCUMENTATION PROVIDED, INCLUDING, WITHOUT LIMITATION,
43  * WARRANTY OF MERCHANTABILITY AND WARRANTY OF FITNESS FOR A PARTICULAR PURPOSE
44  *
45  * This data was developed by the NCSA Visualization Services and
46  * Development Group.
47  *
48  *
49  * May, June 1993: hacked and chewed on for Khoros 2.0 port.
50  *      Wes Bethel, LBL
51  */
52 
53 typedef struct {
54     int       nverts;		/* possible values: 0-7 */
55     int       verts[8];
56     int       nedges;		/* possible values: 0-12 */
57     int       edges[12];
58     int       npolys;		/* possible values: 0-10 */
59     int       polys[30];	/* 10 polys * 3 vertices = 30 */
60 } CELL_ENTRY;
61 
62 CELL_ENTRY cell_table[256] =
63 {
64     {
65 	0,
66 	{0, 0, 0, 0, 0, 0, 0, 0},
67 	0,
68 	{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
69 	0,
70 	{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
71     },
72     {
73 	1,
74 	{1, 0, 0, 0, 0, 0, 0, 0},
75 	3,
76 	{1, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0},
77 	1,
78 	{1, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
79     },
80     {
81 	1,
82 	{2, 0, 0, 0, 0, 0, 0, 0},
83 	3,
84 	{1, 10, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0},
85 	1,
86 	{1, 10, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
87     },
88     {
89 	2,
90 	{1, 2, 0, 0, 0, 0, 0, 0},
91 	4,
92 	{2, 4, 9, 10, 0, 0, 0, 0, 0, 0, 0, 0},
93 	2,
94 	{2, 9, 10, 2, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
95     },
96     {
97 	1,
98 	{3, 0, 0, 0, 0, 0, 0, 0},
99 	3,
100 	{3, 2, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0},
101 	1,
102 	{3, 2, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
103     },
104     {
105 	2,
106 	{1, 3, 0, 0, 0, 0, 0, 0},
107 	6,
108 	{1, 2, 3, 4, 9, 12, 0, 0, 0, 0, 0, 0},
109 	2,
110 	{1, 4, 9, 3, 2, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
111     },
112     {
113 	2,
114 	{3, 2, 0, 0, 0, 0, 0, 0},
115 	4,
116 	{10, 12, 3, 1, 0, 0, 0, 0, 0, 0, 0, 0},
117 	2,
118 	{10, 3, 1, 10, 12, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
119     },
120     {
121 	3,
122 	{3, 2, 1, 0, 0, 0, 0, 0},
123 	5,
124 	{10, 12, 4, 9, 3, 0, 0, 0, 0, 0, 0, 0},
125 	3,
126 	{12, 9, 10, 3, 9, 12, 3, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
127     },
128     {
129 	1,
130 	{4, 0, 0, 0, 0, 0, 0, 0},
131 	3,
132 	{3, 11, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0},
133 	1,
134 	{3, 11, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
135     },
136     {
137 	2,
138 	{1, 4, 0, 0, 0, 0, 0, 0},
139 	4,
140 	{11, 9, 1, 3, 0, 0, 0, 0, 0, 0, 0, 0},
141 	2,
142 	{11, 1, 3, 11, 9, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
143     },
144     {
145 	2,
146 	{2, 4, 0, 0, 0, 0, 0, 0},
147 	6,
148 	{2, 3, 4, 1, 10, 11, 0, 0, 0, 0, 0, 0},
149 	2,
150 	{2, 1, 10, 4, 3, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}
151     },
152     {
153 	3,
154 	{2, 1, 4, 0, 0, 0, 0, 0},
155 	5,
156 	{9, 10, 3, 11, 2, 0, 0, 0, 0, 0, 0, 0},
157 	3,
158 	{10, 11, 9, 2, 11, 10, 2, 3, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
159     },
160     {
161 	2,
162 	{4, 3, 0, 0, 0, 0, 0, 0},
163 	4,
164 	{12, 11, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0},
165 	2,
166 	{12, 4, 2, 12, 11, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
167     },
168     {
169 	3,
170 	{1, 4, 3, 0, 0, 0, 0, 0},
171 	5,
172 	{11, 9, 2, 12, 1, 0, 0, 0, 0, 0, 0, 0},
173 	3,
174 	{9, 12, 11, 1, 12, 9, 1, 2, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
175     },
176     {
177 	3,
178 	{4, 3, 2, 0, 0, 0, 0, 0},
179 	5,
180 	{12, 11, 1, 10, 4, 0, 0, 0, 0, 0, 0, 0},
181 	3,
182 	{11, 10, 12, 4, 10, 11, 4, 1, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
183     },
184     {
185 	4,
186 	{4, 3, 1, 2, 0, 0, 0, 0},
187 	4,
188 	{12, 11, 10, 9, 0, 0, 0, 0, 0, 0, 0, 0},
189 	2,
190 	{11, 9, 10, 11, 10, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
191     },
192     {
193 	1,
194 	{5, 0, 0, 0, 0, 0, 0, 0},
195 	3,
196 	{5, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0},
197 	1,
198 	{5, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
199     },
200     {
201 	2,
202 	{5, 1, 0, 0, 0, 0, 0, 0},
203 	4,
204 	{4, 8, 5, 1, 0, 0, 0, 0, 0, 0, 0, 0},
205 	2,
206 	{4, 5, 1, 4, 8, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
207     },
208     {
209 	2,
210 	{5, 2, 0, 0, 0, 0, 0, 0},
211 	6,
212 	{5, 10, 1, 9, 8, 2, 0, 0, 0, 0, 0, 0},
213 	2,
214 	{5, 9, 8, 1, 10, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
215     },
216     {
217 	3,
218 	{5, 1, 2, 0, 0, 0, 0, 0},
219 	5,
220 	{4, 8, 10, 2, 5, 0, 0, 0, 0, 0, 0, 0},
221 	3,
222 	{8, 2, 4, 5, 2, 8, 5, 10, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
223     },
224     {
225 	2,
226 	{5, 3, 0, 0, 0, 0, 0, 0},
227 	6,
228 	{5, 9, 12, 3, 8, 2, 0, 0, 0, 0, 0, 0},
229 	2,
230 	{5, 9, 8, 12, 3, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
231     },
232     {
233 	3,
234 	{5, 1, 3, 0, 0, 0, 0, 0},
235 	7,
236 	{4, 8, 2, 12, 5, 1, 3, 0, 0, 0, 0, 0},
237 	3,
238 	{2, 12, 3, 4, 8, 5, 4, 5, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
239     },
240     {
241 	3,
242 	{3, 2, 5, 0, 0, 0, 0, 0},
243 	7,
244 	{10, 12, 9, 8, 3, 1, 5, 0, 0, 0, 0, 0},
245 	3,
246 	{9, 8, 5, 10, 12, 3, 10, 3, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
247     },
248     {
249 	4,
250 	{3, 1, 2, 5, 0, 0, 0, 0},
251 	6,
252 	{3, 12, 10, 5, 4, 8, 0, 0, 0, 0, 0, 0},
253 	4,
254 	{3, 10, 12, 3, 8, 10, 3, 4, 8, 10, 8, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
255     },
256     {
257 	2,
258 	{5, 4, 0, 0, 0, 0, 0, 0},
259 	6,
260 	{9, 4, 11, 8, 5, 3, 0, 0, 0, 0, 0, 0},
261 	2,
262 	{9, 8, 5, 11, 4, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
263     },
264     {
265 	3,
266 	{4, 1, 5, 0, 0, 0, 0, 0},
267 	5,
268 	{1, 3, 8, 5, 11, 0, 0, 0, 0, 0, 0, 0},
269 	3,
270 	{3, 5, 1, 11, 5, 3, 11, 8, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
271     },
272     {
273 	3,
274 	{5, 4, 2, 0, 0, 0, 0, 0},
275 	9,
276 	{8, 9, 4, 11, 10, 2, 5, 3, 1, 0, 0, 0},
277 	3,
278 	{10, 2, 1, 4, 3, 11, 9, 8, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
279     },
280     {
281 	4,
282 	{4, 1, 2, 5, 0, 0, 0, 0},
283 	6,
284 	{3, 11, 10, 5, 2, 8, 0, 0, 0, 0, 0, 0},
285 	4,
286 	{10, 2, 3, 5, 10, 3, 11, 5, 3, 8, 5, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
287     },
288     {
289 	3,
290 	{3, 4, 5, 0, 0, 0, 0, 0},
291 	7,
292 	{4, 2, 8, 5, 12, 11, 9, 0, 0, 0, 0, 0},
293 	3,
294 	{8, 5, 9, 4, 2, 12, 4, 12, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
295     },
296     {
297 	4,
298 	{3, 4, 1, 5, 0, 0, 0, 0},
299 	6,
300 	{2, 12, 8, 11, 1, 5, 0, 0, 0, 0, 0, 0},
301 	4,
302 	{12, 11, 2, 11, 5, 2, 5, 1, 2, 8, 5, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
303     },
304     {
305 	4,
306 	{4, 5, 2, 3, 0, 0, 0, 0},
307 	8,
308 	{4, 11, 8, 9, 12, 10, 1, 5, 0, 0, 0, 0},
309 	4,
310 	{11, 10, 12, 11, 1, 10, 4, 1, 11, 8, 5, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
311     },
312     {
313 	5,
314 	{3, 2, 5, 4, 1, 0, 0, 0},
315 	5,
316 	{12, 10, 8, 11, 5, 0, 0, 0, 0, 0, 0, 0},
317 	3,
318 	{11, 10, 12, 11, 5, 10, 8, 5, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
319     },
320     {
321 	1,
322 	{6, 0, 0, 0, 0, 0, 0, 0},
323 	3,
324 	{5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0},
325 	1,
326 	{5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
327     },
328     {
329 	2,
330 	{6, 1, 0, 0, 0, 0, 0, 0},
331 	6,
332 	{10, 1, 9, 5, 6, 4, 0, 0, 0, 0, 0, 0},
333 	2,
334 	{10, 5, 6, 9, 1, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
335     },
336     {
337 	2,
338 	{2, 6, 0, 0, 0, 0, 0, 0},
339 	4,
340 	{6, 2, 1, 5, 0, 0, 0, 0, 0, 0, 0, 0},
341 	2,
342 	{6, 1, 5, 6, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
343     },
344     {
345 	3,
346 	{1, 2, 6, 0, 0, 0, 0, 0},
347 	5,
348 	{2, 4, 5, 6, 9, 0, 0, 0, 0, 0, 0, 0},
349 	3,
350 	{4, 6, 2, 9, 6, 4, 9, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
351     },
352     {
353 	2,
354 	{3, 6, 0, 0, 0, 0, 0, 0},
355 	6,
356 	{2, 10, 6, 12, 3, 5, 0, 0, 0, 0, 0, 0},
357 	2,
358 	{2, 12, 3, 6, 10, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
359     },
360     {
361 	3,
362 	{6, 1, 3, 0, 0, 0, 0, 0},
363 	9,
364 	{5, 10, 1, 9, 12, 3, 6, 4, 2, 0, 0, 0},
365 	3,
366 	{12, 3, 2, 1, 4, 9, 10, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
367     },
368     {
369 	3,
370 	{6, 2, 3, 0, 0, 0, 0, 0},
371 	5,
372 	{1, 5, 12, 3, 6, 0, 0, 0, 0, 0, 0, 0},
373 	3,
374 	{5, 3, 1, 6, 3, 5, 6, 12, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
375     },
376     {
377 	4,
378 	{1, 2, 3, 6, 0, 0, 0, 0},
379 	6,
380 	{4, 9, 12, 6, 3, 5, 0, 0, 0, 0, 0, 0},
381 	4,
382 	{12, 3, 4, 6, 12, 4, 9, 6, 4, 5, 6, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
383     },
384     {
385 	2,
386 	{4, 6, 0, 0, 0, 0, 0, 0},
387 	6,
388 	{3, 11, 10, 5, 4, 6, 0, 0, 0, 0, 0, 0},
389 	2,
390 	{3, 11, 4, 10, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
391     },
392     {
393 	3,
394 	{4, 1, 6, 0, 0, 0, 0, 0},
395 	7,
396 	{1, 3, 5, 6, 11, 9, 10, 0, 0, 0, 0, 0},
397 	3,
398 	{5, 6, 10, 1, 3, 11, 1, 11, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
399     },
400     {
401 	3,
402 	{6, 2, 4, 0, 0, 0, 0, 0},
403 	7,
404 	{1, 5, 3, 11, 6, 2, 4, 0, 0, 0, 0, 0},
405 	3,
406 	{3, 11, 4, 1, 5, 6, 1, 6, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
407     },
408     {
409 	4,
410 	{4, 1, 2, 6, 0, 0, 0, 0},
411 	6,
412 	{3, 11, 5, 9, 2, 6, 0, 0, 0, 0, 0, 0},
413 	4,
414 	{11, 9, 3, 9, 6, 3, 6, 2, 3, 5, 6, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
415     },
416     {
417 	3,
418 	{4, 3, 6, 0, 0, 0, 0, 0},
419 	7,
420 	{12, 11, 10, 5, 4, 2, 6, 0, 0, 0, 0, 0},
421 	3,
422 	{10, 5, 6, 12, 11, 4, 12, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
423     },
424     {
425 	4,
426 	{1, 6, 3, 4, 0, 0, 0, 0},
427 	8,
428 	{1, 9, 5, 10, 11, 12, 2, 6, 0, 0, 0, 0},
429 	4,
430 	{9, 12, 11, 9, 2, 12, 1, 2, 9, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
431     },
432     {
433 	4,
434 	{4, 2, 3, 6, 0, 0, 0, 0},
435 	6,
436 	{4, 11, 12, 6, 1, 5, 0, 0, 0, 0, 0, 0},
437 	4,
438 	{4, 12, 11, 4, 5, 12, 4, 1, 5, 12, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
439     },
440     {
441 	5,
442 	{4, 3, 6, 1, 2, 0, 0, 0},
443 	5,
444 	{11, 12, 5, 9, 6, 0, 0, 0, 0, 0, 0, 0},
445 	3,
446 	{9, 12, 11, 9, 6, 12, 5, 6, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
447     },
448     {
449 	2,
450 	{5, 6, 0, 0, 0, 0, 0, 0},
451 	4,
452 	{10, 9, 8, 6, 0, 0, 0, 0, 0, 0, 0, 0},
453 	2,
454 	{10, 8, 6, 10, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
455     },
456     {
457 	3,
458 	{6, 5, 1, 0, 0, 0, 0, 0},
459 	5,
460 	{8, 6, 1, 4, 10, 0, 0, 0, 0, 0, 0, 0},
461 	3,
462 	{6, 4, 8, 10, 4, 6, 10, 1, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
463     },
464     {
465 	3,
466 	{2, 6, 5, 0, 0, 0, 0, 0},
467 	5,
468 	{6, 2, 9, 8, 1, 0, 0, 0, 0, 0, 0, 0},
469 	3,
470 	{2, 8, 6, 1, 8, 2, 1, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
471     },
472     {
473 	4,
474 	{1, 2, 5, 6, 0, 0, 0, 0},
475 	4,
476 	{2, 4, 6, 8, 0, 0, 0, 0, 0, 0, 0, 0},
477 	2,
478 	{4, 8, 6, 4, 6, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
479     },
480     {
481 	3,
482 	{5, 6, 3, 0, 0, 0, 0, 0},
483 	7,
484 	{10, 9, 12, 3, 8, 6, 2, 0, 0, 0, 0, 0},
485 	3,
486 	{12, 3, 2, 10, 9, 8, 10, 8, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
487     },
488     {
489 	4,
490 	{6, 3, 1, 5, 0, 0, 0, 0},
491 	8,
492 	{10, 6, 12, 2, 8, 4, 1, 3, 0, 0, 0, 0},
493 	4,
494 	{6, 4, 8, 6, 1, 4, 10, 1, 6, 12, 3, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
495     },
496     {
497 	4,
498 	{5, 6, 2, 3, 0, 0, 0, 0},
499 	6,
500 	{9, 8, 12, 6, 1, 3, 0, 0, 0, 0, 0, 0},
501 	4,
502 	{8, 6, 9, 6, 3, 9, 3, 1, 9, 12, 3, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
503     },
504     {
505 	5,
506 	{5, 1, 3, 6, 2, 0, 0, 0},
507 	5,
508 	{8, 4, 12, 6, 3, 0, 0, 0, 0, 0, 0, 0},
509 	3,
510 	{6, 4, 8, 6, 3, 4, 12, 3, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
511     },
512     {
513 	3,
514 	{6, 5, 4, 0, 0, 0, 0, 0},
515 	7,
516 	{8, 6, 4, 3, 10, 9, 11, 0, 0, 0, 0, 0},
517 	3,
518 	{4, 3, 11, 8, 6, 10, 8, 10, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
519     },
520     {
521 	4,
522 	{6, 1, 5, 4, 0, 0, 0, 0},
523 	6,
524 	{10, 6, 8, 11, 1, 3, 0, 0, 0, 0, 0, 0},
525 	4,
526 	{10, 8, 6, 10, 3, 8, 10, 1, 3, 8, 3, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
527     },
528     {
529 	4,
530 	{2, 4, 5, 6, 0, 0, 0, 0},
531 	8,
532 	{1, 2, 3, 4, 6, 8, 9, 11, 0, 0, 0, 0},
533 	4,
534 	{2, 8, 6, 2, 9, 8, 1, 9, 2, 3, 11, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
535     },
536     {
537 	5,
538 	{6, 5, 4, 2, 1, 0, 0, 0},
539 	5,
540 	{6, 8, 3, 2, 11, 0, 0, 0, 0, 0, 0, 0},
541 	3,
542 	{2, 8, 6, 2, 11, 8, 3, 11, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
543     },
544     {
545 	4,
546 	{3, 4, 6, 5, 0, 0, 0, 0},
547 	8,
548 	{12, 11, 10, 9, 2, 6, 4, 8, 0, 0, 0, 0},
549 	4,
550 	{12, 11, 2, 11, 4, 2, 10, 8, 6, 10, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
551     },
552     {
553 	5,
554 	{6, 5, 4, 3, 1, 0, 0, 0},
555 	7,
556 	{6, 8, 2, 1, 11, 12, 10, 0, 0, 0, 0, 0},
557 	5,
558 	{1, 2, 10, 8, 6, 11, 11, 6, 12, 12, 6, 2, 2, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
559     },
560     {
561 	5,
562 	{4, 3, 6, 5, 2, 0, 0, 0},
563 	7,
564 	{11, 12, 9, 1, 6, 8, 4, 0, 0, 0, 0, 0},
565 	5,
566 	{1, 9, 4, 12, 11, 6, 6, 11, 8, 8, 11, 9, 9, 11, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
567     },
568     {
569 	6,
570 	{6, 5, 4, 3, 2, 1, 0, 0},
571 	4,
572 	{6, 8, 11, 12, 0, 0, 0, 0, 0, 0, 0, 0},
573 	2,
574 	{11, 6, 12, 8, 6, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
575     },
576     {
577 	1,
578 	{7, 0, 0, 0, 0, 0, 0, 0},
579 	3,
580 	{7, 12, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0},
581 	1,
582 	{7, 12, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
583     },
584     {
585 	2,
586 	{1, 7, 0, 0, 0, 0, 0, 0},
587 	6,
588 	{1, 4, 6, 7, 9, 12, 0, 0, 0, 0, 0, 0},
589 	2,
590 	{1, 4, 9, 6, 7, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
591     },
592     {
593 	2,
594 	{2, 7, 0, 0, 0, 0, 0, 0},
595 	6,
596 	{10, 6, 12, 2, 1, 7, 0, 0, 0, 0, 0, 0},
597 	2,
598 	{10, 2, 1, 12, 6, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
599     },
600     {
601 	3,
602 	{1, 2, 7, 0, 0, 0, 0, 0},
603 	7,
604 	{2, 4, 6, 7, 9, 10, 12, 0, 0, 0, 0, 0},
605 	3,
606 	{6, 7, 12, 2, 4, 9, 2, 9, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
607     },
608     {
609 	2,
610 	{7, 3, 0, 0, 0, 0, 0, 0},
611 	4,
612 	{2, 6, 7, 3, 0, 0, 0, 0, 0, 0, 0, 0},
613 	2,
614 	{2, 7, 3, 2, 6, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
615     },
616     {
617 	3,
618 	{7, 3, 1, 0, 0, 0, 0, 0},
619 	7,
620 	{2, 6, 4, 9, 7, 3, 1, 0, 0, 0, 0, 0},
621 	3,
622 	{4, 9, 1, 2, 6, 7, 2, 7, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
623     },
624     {
625 	3,
626 	{2, 3, 7, 0, 0, 0, 0, 0},
627 	5,
628 	{3, 1, 6, 7, 10, 0, 0, 0, 0, 0, 0, 0},
629 	3,
630 	{1, 7, 3, 10, 7, 1, 10, 6, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
631     },
632     {
633 	4,
634 	{1, 2, 3, 7, 0, 0, 0, 0},
635 	6,
636 	{4, 9, 6, 10, 3, 7, 0, 0, 0, 0, 0, 0},
637 	4,
638 	{9, 10, 4, 10, 7, 4, 7, 3, 4, 6, 7, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
639     },
640     {
641 	2,
642 	{4, 7, 0, 0, 0, 0, 0, 0},
643 	6,
644 	{3, 12, 7, 11, 4, 6, 0, 0, 0, 0, 0, 0},
645 	2,
646 	{3, 11, 4, 7, 12, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
647     },
648     {
649 	3,
650 	{1, 4, 7, 0, 0, 0, 0, 0},
651 	7,
652 	{11, 9, 12, 6, 1, 3, 7, 0, 0, 0, 0, 0},
653 	3,
654 	{12, 6, 7, 11, 9, 1, 11, 1, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
655     },
656     {
657 	3,
658 	{2, 4, 7, 0, 0, 0, 0, 0},
659 	9,
660 	{1, 2, 3, 4, 6, 7, 10, 11, 12, 0, 0, 0},
661 	3,
662 	{6, 7, 12, 3, 11, 4, 2, 1, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
663     },
664     {
665 	4,
666 	{2, 7, 4, 1, 0, 0, 0, 0},
667 	8,
668 	{2, 10, 6, 12, 9, 11, 3, 7, 0, 0, 0, 0},
669 	4,
670 	{10, 11, 9, 10, 3, 11, 2, 3, 10, 6, 7, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
671     },
672     {
673 	3,
674 	{7, 3, 4, 0, 0, 0, 0, 0},
675 	5,
676 	{2, 6, 11, 4, 7, 0, 0, 0, 0, 0, 0, 0},
677 	3,
678 	{6, 4, 2, 7, 4, 6, 7, 11, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
679     },
680     {
681 	4,
682 	{7, 4, 3, 1, 0, 0, 0, 0},
683 	6,
684 	{7, 6, 2, 1, 11, 9, 0, 0, 0, 0, 0, 0},
685 	4,
686 	{7, 2, 6, 7, 9, 2, 7, 11, 9, 2, 9, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
687     },
688     {
689 	4,
690 	{4, 3, 7, 2, 0, 0, 0, 0},
691 	6,
692 	{11, 4, 6, 10, 7, 1, 0, 0, 0, 0, 0, 0},
693 	4,
694 	{6, 7, 11, 10, 6, 11, 4, 10, 11, 1, 10, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
695     },
696     {
697 	5,
698 	{1, 4, 7, 2, 3, 0, 0, 0},
699 	5,
700 	{9, 11, 6, 10, 7, 0, 0, 0, 0, 0, 0, 0},
701 	3,
702 	{10, 11, 9, 10, 7, 11, 6, 7, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
703     },
704     {
705 	2,
706 	{7, 5, 0, 0, 0, 0, 0, 0},
707 	6,
708 	{6, 5, 8, 7, 12, 9, 0, 0, 0, 0, 0, 0},
709 	2,
710 	{6, 7, 12, 8, 5, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
711     },
712     {
713 	3,
714 	{1, 5, 7, 0, 0, 0, 0, 0},
715 	7,
716 	{5, 1, 7, 12, 4, 8, 6, 0, 0, 0, 0, 0},
717 	3,
718 	{7, 12, 6, 5, 1, 4, 5, 4, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
719     },
720     {
721 	3,
722 	{7, 5, 2, 0, 0, 0, 0, 0},
723 	9,
724 	{7, 6, 5, 8, 2, 1, 12, 9, 10, 0, 0, 0},
725 	3,
726 	{2, 1, 10, 5, 9, 8, 6, 7, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
727     },
728     {
729 	4,
730 	{5, 7, 2, 1, 0, 0, 0, 0},
731 	8,
732 	{5, 8, 7, 6, 4, 2, 10, 12, 0, 0, 0, 0},
733 	4,
734 	{8, 2, 4, 8, 10, 2, 5, 10, 8, 7, 12, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
735     },
736     {
737 	3,
738 	{3, 7, 5, 0, 0, 0, 0, 0},
739 	7,
740 	{7, 3, 5, 9, 2, 6, 8, 0, 0, 0, 0, 0},
741 	3,
742 	{5, 9, 8, 7, 3, 2, 7, 2, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
743     },
744     {
745 	4,
746 	{5, 1, 7, 3, 0, 0, 0, 0},
747 	8,
748 	{5, 1, 7, 3, 8, 6, 4, 2, 0, 0, 0, 0},
749 	4,
750 	{5, 1, 8, 1, 4, 8, 7, 2, 6, 7, 3, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
751     },
752     {
753 	4,
754 	{2, 5, 7, 3, 0, 0, 0, 0},
755 	8,
756 	{10, 1, 9, 5, 3, 7, 6, 8, 0, 0, 0, 0},
757 	4,
758 	{1, 7, 3, 1, 6, 7, 10, 6, 1, 9, 8, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
759     },
760     {
761 	5,
762 	{5, 1, 3, 7, 2, 0, 0, 0},
763 	7,
764 	{8, 4, 6, 10, 3, 7, 5, 0, 0, 0, 0, 0},
765 	5,
766 	{10, 6, 5, 4, 8, 3, 3, 8, 7, 7, 8, 6, 6, 8, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
767     },
768     {
769 	3,
770 	{4, 5, 7, 0, 0, 0, 0, 0},
771 	9,
772 	{4, 11, 8, 9, 12, 6, 3, 5, 7, 0, 0, 0},
773 	3,
774 	{12, 6, 7, 8, 5, 9, 11, 4, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
775     },
776     {
777 	4,
778 	{4, 7, 5, 1, 0, 0, 0, 0},
779 	8,
780 	{11, 3, 12, 7, 1, 5, 8, 6, 0, 0, 0, 0},
781 	4,
782 	{3, 5, 1, 3, 8, 5, 11, 8, 3, 12, 6, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
783     },
784     {
785 	4,
786 	{4, 7, 2, 5, 0, 0, 0, 0},
787 	12,
788 	{3, 12, 7, 11, 1, 10, 5, 9, 4, 2, 8, 6},
789 	4,
790 	{3, 11, 4, 12, 6, 7, 1, 10, 2, 5, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
791     },
792     {
793 	5,
794 	{4, 7, 1, 2, 5, 0, 0, 0},
795 	9,
796 	{3, 12, 7, 11, 10, 5, 2, 8, 6, 0, 0, 0},
797 	10,
798 	{5, 10, 6, 8, 7, 11, 3, 12, 2, 12, 3, 11, 12, 11, 7, 7, 8, 5, 7, 5, 6, 12, 10, 2, 12, 6, 10, 12, 7, 6},
799     },
800     {
801 	4,
802 	{7, 5, 4, 3, 0, 0, 0, 0},
803 	8,
804 	{7, 6, 5, 8, 2, 4, 11, 9, 0, 0, 0, 0},
805 	4,
806 	{6, 4, 2, 6, 11, 4, 7, 11, 6, 5, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
807     },
808     {
809 	5,
810 	{7, 3, 1, 5, 4, 0, 0, 0},
811 	7,
812 	{6, 2, 8, 11, 1, 5, 7, 0, 0, 0, 0, 0},
813 	5,
814 	{11, 8, 7, 2, 6, 1, 1, 6, 5, 5, 6, 8, 8, 6, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
815     },
816     {
817 	5,
818 	{4, 5, 3, 7, 2, 0, 0, 0},
819 	9,
820 	{11, 8, 9, 4, 6, 10, 7, 1, 5, 0, 0, 0},
821 	10,
822 	{10, 6, 5, 1, 9, 4, 11, 8, 7, 8, 11, 4, 8, 4, 9, 9, 1, 10, 9, 10, 5, 8, 6, 7, 8, 5, 6, 8, 9, 5},
823     },
824     {
825 	6,
826 	{7, 5, 4, 3, 2, 1, 0, 0},
827 	6,
828 	{7, 6, 5, 8, 11, 10, 0, 0, 0, 0, 0, 0},
829 	4,
830 	{8, 7, 11, 6, 5, 10, 6, 7, 8, 6, 8, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
831     },
832     {
833 	2,
834 	{6, 7, 0, 0, 0, 0, 0, 0},
835 	4,
836 	{12, 10, 5, 7, 0, 0, 0, 0, 0, 0, 0, 0},
837 	2,
838 	{12, 5, 7, 12, 10, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
839     },
840     {
841 	3,
842 	{7, 6, 1, 0, 0, 0, 0, 0},
843 	7,
844 	{5, 7, 1, 4, 12, 10, 9, 0, 0, 0, 0, 0},
845 	3,
846 	{1, 4, 9, 5, 7, 12, 5, 12, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
847     },
848     {
849 	3,
850 	{7, 6, 2, 0, 0, 0, 0, 0},
851 	5,
852 	{5, 7, 2, 1, 12, 0, 0, 0, 0, 0, 0, 0},
853 	3,
854 	{7, 1, 5, 12, 1, 7, 12, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
855     },
856     {
857 	4,
858 	{1, 6, 2, 7, 0, 0, 0, 0},
859 	6,
860 	{9, 4, 2, 12, 5, 7, 0, 0, 0, 0, 0, 0},
861 	4,
862 	{9, 2, 4, 9, 7, 2, 9, 5, 7, 2, 7, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
863     },
864     {
865 	3,
866 	{3, 7, 6, 0, 0, 0, 0, 0},
867 	5,
868 	{7, 3, 10, 5, 2, 0, 0, 0, 0, 0, 0, 0},
869 	3,
870 	{3, 5, 7, 2, 5, 3, 2, 10, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
871     },
872     {
873 	4,
874 	{3, 1, 6, 7, 0, 0, 0, 0},
875 	8,
876 	{2, 3, 4, 1, 7, 5, 10, 9, 0, 0, 0, 0},
877 	4,
878 	{3, 5, 7, 3, 10, 5, 2, 10, 3, 4, 9, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
879     },
880     {
881 	4,
882 	{2, 3, 6, 7, 0, 0, 0, 0},
883 	4,
884 	{3, 1, 7, 5, 0, 0, 0, 0, 0, 0, 0, 0},
885 	2,
886 	{1, 5, 7, 1, 7, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
887     },
888     {
889 	5,
890 	{7, 6, 1, 3, 2, 0, 0, 0},
891 	5,
892 	{7, 5, 4, 3, 9, 0, 0, 0, 0, 0, 0, 0},
893 	3,
894 	{3, 5, 7, 3, 9, 5, 4, 9, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
895     },
896     {
897 	3,
898 	{6, 7, 4, 0, 0, 0, 0, 0},
899 	7,
900 	{12, 10, 11, 4, 5, 7, 3, 0, 0, 0, 0, 0},
901 	3,
902 	{11, 4, 3, 12, 10, 5, 12, 5, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
903     },
904     {
905 	4,
906 	{1, 4, 6, 7, 0, 0, 0, 0},
907 	8,
908 	{1, 3, 5, 7, 9, 10, 11, 12, 0, 0, 0, 0},
909 	4,
910 	{1, 3, 9, 3, 11, 9, 5, 12, 10, 5, 7, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
911     },
912     {
913 	4,
914 	{7, 4, 2, 6, 0, 0, 0, 0},
915 	8,
916 	{12, 7, 11, 3, 5, 1, 2, 4, 0, 0, 0, 0},
917 	4,
918 	{7, 1, 5, 7, 2, 1, 12, 2, 7, 11, 4, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
919     },
920     {
921 	5,
922 	{7, 6, 1, 4, 2, 0, 0, 0},
923 	7,
924 	{7, 5, 3, 2, 9, 11, 12, 0, 0, 0, 0, 0},
925 	5,
926 	{2, 3, 12, 5, 7, 9, 9, 7, 11, 11, 7, 3, 3, 7, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
927     },
928     {
929 	4,
930 	{4, 3, 7, 6, 0, 0, 0, 0},
931 	6,
932 	{11, 4, 10, 2, 7, 5, 0, 0, 0, 0, 0, 0},
933 	4,
934 	{4, 2, 11, 2, 5, 11, 5, 7, 11, 10, 5, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
935     },
936     {
937 	5,
938 	{1, 4, 7, 6, 3, 0, 0, 0},
939 	7,
940 	{9, 11, 10, 2, 7, 5, 1, 0, 0, 0, 0, 0},
941 	5,
942 	{2, 10, 1, 11, 9, 7, 7, 9, 5, 5, 9, 10, 10, 9, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
943     },
944     {
945 	5,
946 	{6, 2, 4, 7, 3, 0, 0, 0},
947 	5,
948 	{5, 1, 11, 7, 4, 0, 0, 0, 0, 0, 0, 0},
949 	3,
950  	{7, 1, 5, 7, 4, 1, 11, 4, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
951     },
952     {
953 	6,
954 	{1, 4, 7, 6, 2, 3, 0, 0},
955 	4,
956 	{9, 11, 7, 5, 0, 0, 0, 0, 0, 0, 0, 0},
957 	2,
958 	{7, 9, 5, 11, 9, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
959     },
960     {
961 	3,
962 	{5, 6, 7, 0, 0, 0, 0, 0},
963 	5,
964 	{10, 9, 7, 12, 8, 0, 0, 0, 0, 0, 0, 0},
965 	3,
966 	{9, 12, 10, 8, 12, 9, 8, 7, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
967     },
968     {
969 	4,
970 	{1, 5, 6, 7, 0, 0, 0, 0},
971 	6,
972 	{1, 4, 7, 8, 10, 12, 0, 0, 0, 0, 0, 0},
973 	4,
974 	{4, 8, 1, 8, 12, 1, 12, 10, 1, 7, 12, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
975     },
976     {
977 	4,
978 	{5, 6, 2, 7, 0, 0, 0, 0},
979 	6,
980 	{9, 8, 2, 12, 1, 7, 0, 0, 0, 0, 0, 0},
981 	4,
982 	{2, 1, 9, 12, 2, 9, 8, 12, 9, 7, 12, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
983     },
984     {
985 	5,
986 	{1, 2, 7, 5, 6, 0, 0, 0},
987 	5,
988 	{4, 2, 7, 8, 12, 0, 0, 0, 0, 0, 0, 0},
989 	3,
990 	{8, 2, 4, 8, 12, 2, 7, 12, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
991     },
992     {
993 	4,
994 	{5, 7, 6, 3, 0, 0, 0, 0},
995 	6,
996 	{8, 9, 10, 2, 7, 3, 0, 0, 0, 0, 0, 0},
997 	4,
998 	{8, 10, 9, 8, 3, 10, 8, 7, 3, 10, 3, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
999     },
1000     {
1001 	5,
1002 	{3, 7, 5, 1, 6, 0, 0, 0},
1003 	7,
1004 	{3, 7, 1, 10, 8, 4, 2, 0, 0, 0, 0, 0},
1005 	5,
1006 	{10, 1, 2, 7, 3, 8, 8, 3, 4, 4, 3, 1, 1, 3, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1007     },
1008     {
1009 	5,
1010 	{3, 7, 5, 2, 6, 0, 0, 0},
1011 	5,
1012 	{3, 7, 9, 1, 8, 0, 0, 0, 0, 0, 0, 0},
1013 	3,
1014 	{1, 7, 3, 1, 8, 7, 9, 8, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1015     },
1016     {
1017 	6,
1018 	{5, 1, 3, 7, 6, 2, 0, 0},
1019 	4,
1020 	{8, 4, 3, 7, 0, 0, 0, 0, 0, 0, 0, 0},
1021 	2,
1022 	{3, 8, 7, 4, 8, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1023     },
1024     {
1025 	4,
1026 	{5, 4, 7, 6, 0, 0, 0, 0},
1027 	8,
1028 	{8, 9, 4, 11, 10, 12, 7, 3, 0, 0, 0, 0},
1029 	4,
1030 	{9, 12, 10, 9, 7, 12, 8, 7, 9, 4, 3, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1031     },
1032     {
1033 	5,
1034 	{4, 1, 6, 7, 5, 0, 0, 0},
1035 	7,
1036 	{3, 1, 7, 8, 10, 12, 11, 0, 0, 0, 0, 0},
1037 	5,
1038 	{8, 7, 11, 1, 3, 10, 10, 3, 12, 12, 3, 7, 7, 3, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1039     },
1040     {
1041 	5,
1042 	{5, 4, 6, 2, 7, 0, 0, 0},
1043 	9,
1044 	{9, 4, 11, 8, 2, 12, 1, 7, 3, 0, 0, 0},
1045 	10,
1046 	{12, 2, 3, 7, 11, 8, 9, 4, 1, 4, 9, 8, 4, 8, 11, 11, 7, 12, 11, 12, 3, 4, 2, 1, 4, 3, 2, 4, 11, 3},
1047     },
1048     {
1049 	6,
1050 	{7, 4, 2, 6, 5, 1, 0, 0},
1051 	6,
1052 	{12, 7, 11, 3, 2, 8, 0, 0, 0, 0, 0, 0},
1053 	4,
1054 	{3, 12, 2, 7, 11, 8, 7, 12, 3, 7, 3, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1055     },
1056     {
1057 	5,
1058 	{5, 6, 3, 4, 7, 0, 0, 0},
1059 	7,
1060 	{9, 10, 11, 7, 2, 4, 8, 0, 0, 0, 0, 0},
1061 	5,
1062 	{7, 11, 8, 10, 9, 2, 2, 9, 4, 4, 9, 11, 11, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1063     },
1064     {
1065 	6,
1066 	{7, 6, 5, 4, 3, 1, 0, 0},
1067 	6,
1068 	{7, 8, 2, 1, 11, 10, 0, 0, 0, 0, 0, 0},
1069 	2,
1070 	{8, 7, 11, 1, 2, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1071     },
1072     {
1073 	6,
1074 	{4, 5, 2, 3, 7, 6, 0, 0},
1075 	6,
1076 	{4, 11, 8, 9, 1, 7, 0, 0, 0, 0, 0, 0},
1077 	4,
1078 	{9, 4, 1, 11, 8, 7, 11, 4, 9, 11, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1079     },
1080     {
1081 	7,
1082 	{7, 6, 5, 4, 3, 2, 1, 0},
1083 	3,
1084 	{7, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1085 	1,
1086 	{8, 7, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1087     },
1088     {
1089 	1,
1090 	{8, 0, 0, 0, 0, 0, 0, 0},
1091 	3,
1092 	{7, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1093 	1,
1094 	{7, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1095     },
1096     {
1097 	2,
1098 	{1, 8, 0, 0, 0, 0, 0, 0},
1099 	6,
1100 	{4, 11, 8, 9, 1, 7, 0, 0, 0, 0, 0, 0},
1101 	2,
1102 	{4, 9, 1, 8, 11, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1103     },
1104     {
1105 	2,
1106 	{8, 2, 0, 0, 0, 0, 0, 0},
1107 	6,
1108 	{7, 8, 2, 1, 11, 10, 0, 0, 0, 0, 0, 0},
1109 	2,
1110 	{7, 8, 11, 2, 1, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1111     },
1112     {
1113 	3,
1114 	{2, 1, 8, 0, 0, 0, 0, 0},
1115 	7,
1116 	{9, 10, 11, 7, 2, 4, 8, 0, 0, 0, 0, 0},
1117 	3,
1118 	{11, 7, 8, 9, 10, 2, 9, 2, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1119     },
1120     {
1121 	2,
1122 	{3, 8, 0, 0, 0, 0, 0, 0},
1123 	6,
1124 	{12, 7, 11, 3, 2, 8, 0, 0, 0, 0, 0, 0},
1125 	2,
1126 	{12, 3, 2, 11, 7, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1127     },
1128     {
1129 	3,
1130 	{1, 8, 3, 0, 0, 0, 0, 0},
1131 	9,
1132 	{9, 4, 11, 8, 2, 12, 1, 7, 3, 0, 0, 0},
1133 	3,
1134 	{2, 12, 3, 11, 7, 8, 4, 9, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1135     },
1136     {
1137 	3,
1138 	{2, 3, 8, 0, 0, 0, 0, 0},
1139 	7,
1140 	{3, 1, 7, 8, 10, 12, 11, 0, 0, 0, 0, 0},
1141 	3,
1142 	{7, 8, 11, 3, 1, 10, 3, 10, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1143     },
1144     {
1145 	4,
1146 	{3, 8, 1, 2, 0, 0, 0, 0},
1147 	8,
1148 	{3, 12, 7, 11, 10, 9, 4, 8, 0, 0, 0, 0},
1149 	4,
1150 	{12, 9, 10, 12, 4, 9, 3, 4, 12, 7, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1151     },
1152     {
1153 	2,
1154 	{4, 8, 0, 0, 0, 0, 0, 0},
1155 	4,
1156 	{8, 4, 3, 7, 0, 0, 0, 0, 0, 0, 0, 0},
1157 	2,
1158 	{8, 3, 7, 8, 4, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1159     },
1160     {
1161 	3,
1162 	{8, 4, 1, 0, 0, 0, 0, 0},
1163 	5,
1164 	{3, 7, 9, 1, 8, 0, 0, 0, 0, 0, 0, 0},
1165 	3,
1166 	{7, 1, 3, 8, 1, 7, 8, 9, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1167     },
1168     {
1169 	3,
1170 	{8, 4, 2, 0, 0, 0, 0, 0},
1171 	7,
1172 	{3, 7, 1, 10, 8, 4, 2, 0, 0, 0, 0, 0},
1173 	3,
1174 	{1, 10, 2, 3, 7, 8, 3, 8, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1175     },
1176     {
1177 	4,
1178 	{2, 4, 1, 8, 0, 0, 0, 0},
1179 	6,
1180 	{2, 10, 9, 8, 3, 7, 0, 0, 0, 0, 0, 0},
1181 	4,
1182 	{2, 9, 10, 2, 7, 9, 2, 3, 7, 9, 7, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1183     },
1184     {
1185 	3,
1186 	{3, 4, 8, 0, 0, 0, 0, 0},
1187 	5,
1188 	{4, 2, 7, 8, 12, 0, 0, 0, 0, 0, 0, 0},
1189 	3,
1190 	{2, 8, 4, 12, 8, 2, 12, 7, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1191     },
1192     {
1193 	4,
1194 	{8, 4, 3, 1, 0, 0, 0, 0},
1195 	6,
1196 	{7, 8, 2, 1, 12, 9, 0, 0, 0, 0, 0, 0},
1197 	4,
1198 	{2, 12, 7, 1, 2, 7, 8, 1, 7, 9, 1, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1199     },
1200     {
1201 	4,
1202 	{8, 4, 3, 2, 0, 0, 0, 0},
1203 	6,
1204 	{7, 8, 1, 4, 12, 10, 0, 0, 0, 0, 0, 0},
1205 	4,
1206 	{8, 4, 7, 4, 10, 7, 10, 12, 7, 1, 10, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1207     },
1208     {
1209 	5,
1210 	{2, 1, 8, 3, 4, 0, 0, 0},
1211 	5,
1212 	{10, 9, 7, 12, 8, 0, 0, 0, 0, 0, 0, 0},
1213 	3,
1214 	{12, 9, 10, 12, 8, 9, 7, 8, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1215     },
1216     {
1217 	2,
1218 	{8, 5, 0, 0, 0, 0, 0, 0},
1219 	4,
1220 	{9, 11, 7, 5, 0, 0, 0, 0, 0, 0, 0, 0},
1221 	2,
1222 	{9, 7, 5, 9, 11, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1223     },
1224     {
1225 	3,
1226 	{1, 5, 8, 0, 0, 0, 0, 0},
1227 	5,
1228 	{5, 1, 11, 7, 4, 0, 0, 0, 0, 0, 0, 0},
1229 	3,
1230 	{1, 7, 5, 4, 7, 1, 4, 11, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1231     },
1232     {
1233 	3,
1234 	{8, 5, 2, 0, 0, 0, 0, 0},
1235 	7,
1236 	{9, 11, 10, 2, 7, 5, 1, 0, 0, 0, 0, 0},
1237 	3,
1238 	{10, 2, 1, 9, 11, 7, 9, 7, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1239     },
1240     {
1241 	4,
1242 	{2, 1, 5, 8, 0, 0, 0, 0},
1243 	6,
1244 	{10, 2, 11, 4, 5, 7, 0, 0, 0, 0, 0, 0},
1245 	4,
1246 	{2, 4, 10, 4, 7, 10, 7, 5, 10, 11, 7, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1247     },
1248     {
1249 	3,
1250 	{5, 8, 3, 0, 0, 0, 0, 0},
1251 	7,
1252 	{7, 5, 3, 2, 9, 11, 12, 0, 0, 0, 0, 0},
1253 	3,
1254 	{3, 2, 12, 7, 5, 9, 7, 9, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1255     },
1256     {
1257 	4,
1258 	{1, 3, 8, 5, 0, 0, 0, 0},
1259 	8,
1260 	{4, 1, 2, 3, 5, 7, 11, 12, 0, 0, 0, 0},
1261 	4,
1262 	{1, 7, 5, 1, 11, 7, 4, 11, 1, 2, 12, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1263     },
1264     {
1265 	4,
1266 	{8, 5, 3, 2, 0, 0, 0, 0},
1267 	8,
1268 	{7, 5, 3, 1, 11, 12, 9, 10, 0, 0, 0, 0},
1269 	4,
1270 	{7, 5, 11, 5, 9, 11, 3, 10, 12, 3, 1, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1271     },
1272     {
1273 	5,
1274 	{3, 2, 5, 8, 1, 0, 0, 0},
1275 	7,
1276 	{12, 10, 11, 4, 5, 7, 3, 0, 0, 0, 0, 0},
1277 	5,
1278 	{4, 11, 3, 10, 12, 5, 5, 12, 7, 7, 12, 11, 11, 12, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1279     },
1280     {
1281 	3,
1282 	{5, 8, 4, 0, 0, 0, 0, 0},
1283 	5,
1284 	{7, 5, 4, 3, 9, 0, 0, 0, 0, 0, 0, 0},
1285 	3,
1286 	{5, 3, 7, 9, 3, 5, 9, 4, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1287     },
1288     {
1289 	4,
1290 	{5, 8, 1, 4, 0, 0, 0, 0},
1291 	4,
1292 	{7, 5, 3, 1, 0, 0, 0, 0, 0, 0, 0, 0},
1293 	2,
1294 	{5, 1, 3, 5, 3, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1295     },
1296     {
1297 	4,
1298 	{5, 2, 4, 8, 0, 0, 0, 0},
1299 	8,
1300 	{9, 5, 10, 1, 7, 3, 4, 2, 0, 0, 0, 0},
1301 	4,
1302 	{5, 3, 7, 5, 4, 3, 9, 4, 5, 10, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1303     },
1304     {
1305 	5,
1306 	{8, 4, 2, 5, 1, 0, 0, 0},
1307 	5,
1308 	{7, 3, 10, 5, 2, 0, 0, 0, 0, 0, 0, 0},
1309 	3,
1310 	{5, 3, 7, 5, 2, 3, 10, 2, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1311     },
1312     {
1313 	4,
1314 	{3, 8, 4, 5, 0, 0, 0, 0},
1315 	6,
1316 	{12, 2, 4, 9, 7, 5, 0, 0, 0, 0, 0, 0},
1317 	4,
1318 	{12, 4, 2, 12, 5, 4, 12, 7, 5, 4, 5, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1319     },
1320     {
1321 	5,
1322 	{5, 8, 3, 1, 4, 0, 0, 0},
1323 	5,
1324 	{5, 7, 2, 1, 12, 0, 0, 0, 0, 0, 0, 0},
1325 	3,
1326 	{1, 7, 5, 1, 12, 7, 2, 12, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1327     },
1328     {
1329 	5,
1330 	{5, 8, 3, 2, 4, 0, 0, 0},
1331 	7,
1332 	{5, 7, 1, 4, 12, 10, 9, 0, 0, 0, 0, 0},
1333 	5,
1334 	{4, 1, 9, 7, 5, 12, 12, 5, 10, 10, 5, 1, 1, 5, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1335     },
1336     {
1337 	6,
1338 	{3, 2, 5, 8, 4, 1, 0, 0},
1339 	4,
1340 	{12, 10, 5, 7, 0, 0, 0, 0, 0, 0, 0, 0},
1341 	2,
1342 	{5, 12, 7, 10, 12, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1343     },
1344     {
1345 	2,
1346 	{8, 6, 0, 0, 0, 0, 0, 0},
1347 	6,
1348 	{7, 6, 5, 8, 11, 10, 0, 0, 0, 0, 0, 0},
1349 	2,
1350 	{7, 8, 11, 5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1351     },
1352     {
1353 	3,
1354 	{8, 1, 6, 0, 0, 0, 0, 0},
1355 	9,
1356 	{11, 8, 9, 4, 6, 10, 7, 1, 5, 0, 0, 0},
1357 	3,
1358 	{6, 10, 5, 9, 1, 4, 8, 11, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1359     },
1360     {
1361 	3,
1362 	{2, 6, 8, 0, 0, 0, 0, 0},
1363 	7,
1364 	{6, 2, 8, 11, 1, 5, 7, 0, 0, 0, 0, 0},
1365 	3,
1366 	{8, 11, 7, 6, 2, 1, 6, 1, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1367     },
1368     {
1369 	4,
1370 	{1, 8, 6, 2, 0, 0, 0, 0},
1371 	8,
1372 	{9, 4, 11, 8, 2, 6, 5, 7, 0, 0, 0, 0},
1373 	4,
1374 	{4, 6, 2, 4, 5, 6, 9, 5, 4, 11, 7, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1375     },
1376     {
1377 	3,
1378 	{3, 8, 6, 0, 0, 0, 0, 0},
1379 	9,
1380 	{3, 12, 7, 11, 10, 5, 2, 8, 6, 0, 0, 0},
1381 	3,
1382 	{10, 5, 6, 7, 8, 11, 12, 3, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1383     },
1384     {
1385 	4,
1386 	{1, 3, 6, 8, 0, 0, 0, 0},
1387 	12,
1388 	{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12},
1389 	4,
1390 	{1, 4, 9, 2, 12, 3, 5, 6, 10, 7, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1391     },
1392     {
1393 	4,
1394 	{6, 8, 3, 2, 0, 0, 0, 0},
1395 	8,
1396 	{6, 5, 8, 7, 1, 3, 12, 11, 0, 0, 0, 0},
1397 	4,
1398 	{5, 3, 1, 5, 12, 3, 6, 12, 5, 8, 11, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1399     },
1400     {
1401 	5,
1402 	{1, 8, 2, 3, 6, 0, 0, 0},
1403 	9,
1404 	{4, 11, 8, 9, 12, 6, 3, 5, 7, 0, 0, 0},
1405 	10,
1406 	{6, 12, 7, 5, 8, 9, 4, 11, 3, 11, 4, 9, 11, 9, 8, 8, 5, 6, 8, 6, 7, 11, 12, 3, 11, 7, 12, 11, 8, 7},
1407     },
1408     {
1409 	3,
1410 	{4, 8, 6, 0, 0, 0, 0, 0},
1411 	7,
1412 	{8, 4, 6, 10, 3, 7, 5, 0, 0, 0, 0, 0},
1413 	3,
1414 	{6, 10, 5, 8, 4, 3, 8, 3, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1415     },
1416     {
1417 	4,
1418 	{8, 6, 1, 4, 0, 0, 0, 0},
1419 	8,
1420 	{8, 7, 6, 5, 3, 1, 9, 10, 0, 0, 0, 0},
1421 	4,
1422 	{7, 1, 3, 7, 9, 1, 8, 9, 7, 6, 10, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1423     },
1424     {
1425 	4,
1426 	{4, 8, 2, 6, 0, 0, 0, 0},
1427 	8,
1428 	{3, 7, 1, 5, 4, 2, 8, 6, 0, 0, 0, 0},
1429 	4,
1430 	{3, 7, 4, 7, 8, 4, 1, 6, 2, 1, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1431     },
1432     {
1433 	5,
1434 	{8, 4, 2, 6, 1, 0, 0, 0},
1435 	7,
1436 	{7, 3, 5, 9, 2, 6, 8, 0, 0, 0, 0, 0},
1437 	5,
1438 	{9, 5, 8, 3, 7, 2, 2, 7, 6, 6, 7, 5, 5, 7, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1439     },
1440     {
1441 	4,
1442 	{3, 6, 8, 4, 0, 0, 0, 0},
1443 	8,
1444 	{12, 2, 10, 6, 4, 8, 7, 5, 0, 0, 0, 0},
1445 	4,
1446 	{2, 8, 4, 2, 7, 8, 12, 7, 2, 10, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1447     },
1448     {
1449 	5,
1450 	{8, 6, 4, 3, 1, 0, 0, 0},
1451 	9,
1452 	{7, 6, 5, 8, 2, 1, 12, 9, 10, 0, 0, 0},
1453 	10,
1454 	{1, 2, 10, 9, 5, 8, 7, 6, 12, 6, 7, 8, 6, 8, 5, 5, 9, 1, 5, 1, 10, 6, 2, 12, 6, 10, 2, 6, 5, 10},
1455     },
1456     {
1457 	5,
1458 	{6, 2, 4, 8, 3, 0, 0, 0},
1459 	7,
1460 	{5, 1, 7, 12, 4, 8, 6, 0, 0, 0, 0, 0},
1461 	5,
1462 	{12, 7, 6, 1, 5, 4, 4, 5, 8, 8, 5, 7, 7, 5, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1463     },
1464     {
1465 	6,
1466 	{6, 8, 3, 2, 1, 4, 0, 0},
1467 	6,
1468 	{6, 5, 8, 7, 12, 9, 0, 0, 0, 0, 0, 0},
1469 	4,
1470 	{7, 6, 12, 5, 8, 9, 5, 6, 7, 5, 7, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1471     },
1472     {
1473 	3,
1474 	{8, 5, 6, 0, 0, 0, 0, 0},
1475 	5,
1476 	{9, 11, 6, 10, 7, 0, 0, 0, 0, 0, 0, 0},
1477 	3,
1478 	{11, 10, 9, 7, 10, 11, 7, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1479     },
1480     {
1481 	4,
1482 	{1, 5, 6, 8, 0, 0, 0, 0},
1483 	6,
1484 	{1, 4, 6, 7, 10, 11, 0, 0, 0, 0, 0, 0},
1485 	4,
1486 	{6, 10, 1, 7, 6, 1, 4, 7, 1, 11, 7, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1487     },
1488     {
1489 	4,
1490 	{2, 5, 6, 8, 0, 0, 0, 0},
1491 	6,
1492 	{1, 2, 6, 7, 9, 11, 0, 0, 0, 0, 0, 0},
1493 	4,
1494 	{1, 6, 2, 1, 11, 6, 1, 9, 11, 6, 11, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1495     },
1496     {
1497 	5,
1498 	{2, 6, 8, 1, 5, 0, 0, 0},
1499 	5,
1500 	{2, 6, 11, 4, 7, 0, 0, 0, 0, 0, 0, 0},
1501 	3,
1502 	{4, 6, 2, 4, 7, 6, 11, 7, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1503     },
1504     {
1505 	4,
1506 	{8, 3, 6, 5, 0, 0, 0, 0},
1507 	8,
1508 	{7, 11, 3, 12, 9, 10, 6, 2, 0, 0, 0, 0},
1509 	4,
1510 	{11, 10, 9, 11, 6, 10, 7, 6, 11, 3, 2, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1511     },
1512     {
1513 	5,
1514 	{1, 3, 5, 6, 8, 0, 0, 0},
1515 	9,
1516 	{1, 2, 3, 4, 6, 7, 10, 11, 12, 0, 0, 0},
1517 	10,
1518 	{7, 6, 12, 11, 3, 4, 1, 2, 10, 2, 1, 4, 2, 4, 3, 3, 11, 7, 3, 7, 12, 2, 6, 10, 2, 12, 6, 2, 3, 12},
1519     },
1520     {
1521 	5,
1522 	{8, 5, 2, 3, 6, 0, 0, 0},
1523 	7,
1524 	{11, 9, 12, 6, 1, 3, 7, 0, 0, 0, 0, 0},
1525 	5,
1526 	{6, 12, 7, 9, 11, 1, 1, 11, 3, 3, 11, 12, 12, 11, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1527     },
1528     {
1529 	6,
1530 	{3, 8, 1, 2, 6, 5, 0, 0},
1531 	6,
1532 	{3, 12, 7, 11, 4, 6, 0, 0, 0, 0, 0, 0},
1533 	4,
1534 	{11, 3, 4, 12, 7, 6, 12, 3, 11, 12, 11, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1535     },
1536     {
1537 	4,
1538 	{6, 5, 8, 4, 0, 0, 0, 0},
1539 	6,
1540 	{6, 10, 4, 9, 7, 3, 0, 0, 0, 0, 0, 0},
1541 	4,
1542 	{10, 9, 6, 9, 3, 6, 3, 7, 6, 4, 3, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1543     },
1544     {
1545 	5,
1546 	{4, 1, 6, 8, 5, 0, 0, 0},
1547 	5,
1548 	{3, 1, 6, 7, 10, 0, 0, 0, 0, 0, 0, 0},
1549 	3,
1550 	{7, 1, 3, 7, 10, 1, 6, 10, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1551     },
1552     {
1553 	5,
1554 	{2, 6, 8, 4, 5, 0, 0, 0},
1555 	7,
1556 	{2, 6, 4, 9, 7, 3, 1, 0, 0, 0, 0, 0},
1557 	5,
1558 	{9, 4, 1, 6, 2, 7, 7, 2, 3, 3, 2, 4, 4, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1559     },
1560     {
1561 	6,
1562 	{2, 6, 8, 4, 1, 5, 0, 0},
1563 	4,
1564 	{2, 6, 7, 3, 0, 0, 0, 0, 0, 0, 0, 0},
1565 	2,
1566 	{7, 2, 3, 6, 2, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1567     },
1568     {
1569 	5,
1570 	{3, 4, 5, 6, 8, 0, 0, 0},
1571 	7,
1572 	{2, 4, 6, 7, 9, 10, 12, 0, 0, 0, 0, 0},
1573 	5,
1574 	{7, 6, 12, 4, 2, 9, 9, 2, 10, 10, 2, 6, 6, 2, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1575     },
1576     {
1577 	6,
1578 	{6, 3, 1, 5, 8, 4, 0, 0},
1579 	6,
1580 	{10, 6, 12, 2, 1, 7, 0, 0, 0, 0, 0, 0},
1581 	4,
1582 	{2, 10, 1, 6, 12, 7, 6, 10, 2, 6, 2, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1583     },
1584     {
1585 	6,
1586 	{2, 3, 4, 5, 6, 8, 0, 0},
1587 	6,
1588 	{1, 4, 6, 7, 9, 12, 0, 0, 0, 0, 0, 0},
1589 	2,
1590 	{4, 1, 9, 7, 6, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1591     },
1592     {
1593 	7,
1594 	{8, 4, 3, 6, 5, 1, 2, 0},
1595 	3,
1596 	{7, 12, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1597 	1,
1598 	{12, 7, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1599     },
1600     {
1601 	2,
1602 	{8, 7, 0, 0, 0, 0, 0, 0},
1603 	4,
1604 	{6, 8, 11, 12, 0, 0, 0, 0, 0, 0, 0, 0},
1605 	2,
1606 	{6, 11, 12, 6, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1607     },
1608     {
1609 	3,
1610 	{7, 8, 1, 0, 0, 0, 0, 0},
1611 	7,
1612 	{11, 12, 9, 1, 6, 8, 4, 0, 0, 0, 0, 0},
1613 	3,
1614 	{9, 1, 4, 11, 12, 6, 11, 6, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1615     },
1616     {
1617 	3,
1618 	{8, 7, 2, 0, 0, 0, 0, 0},
1619 	7,
1620 	{6, 8, 2, 1, 11, 12, 10, 0, 0, 0, 0, 0},
1621 	3,
1622 	{2, 1, 10, 6, 8, 11, 6, 11, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1623     },
1624     {
1625 	4,
1626 	{2, 1, 7, 8, 0, 0, 0, 0},
1627 	8,
1628 	{2, 4, 6, 8, 10, 12, 9, 11, 0, 0, 0, 0},
1629 	4,
1630 	{2, 4, 10, 4, 9, 10, 6, 11, 12, 6, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1631     },
1632     {
1633 	3,
1634 	{8, 7, 3, 0, 0, 0, 0, 0},
1635 	5,
1636 	{6, 8, 3, 2, 11, 0, 0, 0, 0, 0, 0, 0},
1637 	3,
1638 	{8, 2, 6, 11, 2, 8, 11, 3, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1639     },
1640     {
1641 	4,
1642 	{8, 1, 3, 7, 0, 0, 0, 0},
1643 	8,
1644 	{11, 8, 9, 4, 6, 2, 3, 1, 0, 0, 0, 0},
1645 	4,
1646 	{8, 2, 6, 8, 3, 2, 11, 3, 8, 9, 1, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1647     },
1648     {
1649 	4,
1650 	{8, 3, 7, 2, 0, 0, 0, 0},
1651 	6,
1652 	{11, 8, 6, 10, 3, 1, 0, 0, 0, 0, 0, 0},
1653 	4,
1654 	{11, 6, 8, 11, 1, 6, 11, 3, 1, 6, 1, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1655     },
1656     {
1657 	5,
1658 	{8, 7, 2, 1, 3, 0, 0, 0},
1659 	7,
1660 	{8, 6, 4, 3, 10, 9, 11, 0, 0, 0, 0, 0},
1661 	5,
1662 	{3, 4, 11, 6, 8, 10, 10, 8, 9, 9, 8, 4, 4, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1663     },
1664     {
1665 	3,
1666 	{4, 8, 7, 0, 0, 0, 0, 0},
1667 	5,
1668 	{8, 4, 12, 6, 3, 0, 0, 0, 0, 0, 0, 0},
1669 	3,
1670 	{4, 6, 8, 3, 6, 4, 3, 12, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1671     },
1672     {
1673 	4,
1674 	{7, 8, 4, 1, 0, 0, 0, 0},
1675 	6,
1676 	{12, 6, 9, 8, 3, 1, 0, 0, 0, 0, 0, 0},
1677 	4,
1678 	{6, 8, 12, 8, 1, 12, 1, 3, 12, 9, 1, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1679     },
1680     {
1681 	4,
1682 	{4, 2, 7, 8, 0, 0, 0, 0},
1683 	8,
1684 	{3, 4, 1, 2, 8, 6, 12, 10, 0, 0, 0, 0},
1685 	4,
1686 	{4, 6, 8, 4, 12, 6, 3, 12, 4, 1, 10, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1687     },
1688     {
1689 	5,
1690 	{2, 1, 8, 7, 4, 0, 0, 0},
1691 	7,
1692 	{10, 9, 12, 3, 8, 6, 2, 0, 0, 0, 0, 0},
1693 	5,
1694 	{3, 12, 2, 9, 10, 8, 8, 10, 6, 6, 10, 12, 12, 10, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1695     },
1696     {
1697 	4,
1698 	{8, 7, 4, 3, 0, 0, 0, 0},
1699 	4,
1700 	{6, 8, 2, 4, 0, 0, 0, 0, 0, 0, 0, 0},
1701 	2,
1702 	{8, 4, 2, 8, 2, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1703     },
1704     {
1705 	5,
1706 	{7, 3, 1, 8, 4, 0, 0, 0},
1707 	5,
1708 	{6, 2, 9, 8, 1, 0, 0, 0, 0, 0, 0, 0},
1709 	3,
1710 	{8, 2, 6, 8, 1, 2, 9, 1, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1711     },
1712     {
1713 	5,
1714 	{8, 7, 2, 4, 3, 0, 0, 0},
1715 	5,
1716 	{8, 6, 1, 4, 10, 0, 0, 0, 0, 0, 0, 0},
1717 	3,
1718 	{4, 6, 8, 4, 10, 6, 1, 10, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1719     },
1720     {
1721 	6,
1722 	{2, 1, 8, 7, 3, 4, 0, 0},
1723 	4,
1724 	{10, 9, 8, 6, 0, 0, 0, 0, 0, 0, 0, 0},
1725 	2,
1726 	{8, 10, 6, 9, 10, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1727     },
1728     {
1729 	3,
1730 	{7, 8, 5, 0, 0, 0, 0, 0},
1731 	5,
1732 	{11, 12, 5, 9, 6, 0, 0, 0, 0, 0, 0, 0},
1733 	3,
1734 	{12, 9, 11, 6, 9, 12, 6, 5, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1735     },
1736     {
1737 	4,
1738 	{7, 5, 8, 1, 0, 0, 0, 0},
1739 	6,
1740 	{6, 12, 11, 4, 5, 1, 0, 0, 0, 0, 0, 0},
1741 	4,
1742 	{6, 11, 12, 6, 1, 11, 6, 5, 1, 11, 1, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1743     },
1744     {
1745 	4,
1746 	{7, 2, 5, 8, 0, 0, 0, 0},
1747 	8,
1748 	{6, 12, 2, 10, 11, 9, 5, 1, 0, 0, 0, 0},
1749 	4,
1750 	{12, 9, 11, 12, 5, 9, 6, 5, 12, 2, 1, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1751     },
1752     {
1753 	5,
1754 	{7, 8, 1, 2, 5, 0, 0, 0},
1755 	7,
1756 	{12, 11, 10, 5, 4, 2, 6, 0, 0, 0, 0, 0},
1757 	5,
1758 	{5, 10, 6, 11, 12, 4, 4, 12, 2, 2, 12, 10, 10, 12, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1759     },
1760     {
1761 	4,
1762 	{5, 8, 7, 3, 0, 0, 0, 0},
1763 	6,
1764 	{5, 9, 3, 11, 6, 2, 0, 0, 0, 0, 0, 0},
1765 	4,
1766 	{9, 11, 5, 11, 2, 5, 2, 6, 5, 3, 2, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1767     },
1768     {
1769 	5,
1770 	{1, 5, 7, 3, 8, 0, 0, 0},
1771 	7,
1772 	{1, 5, 3, 11, 6, 2, 4, 0, 0, 0, 0, 0},
1773 	5,
1774 	{11, 3, 4, 5, 1, 6, 6, 1, 2, 2, 1, 3, 3, 1, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1775     },
1776     {
1777 	5,
1778 	{2, 3, 8, 5, 7, 0, 0, 0},
1779 	7,
1780 	{1, 3, 5, 6, 11, 9, 10, 0, 0, 0, 0, 0},
1781 	5,
1782 	{6, 5, 10, 3, 1, 11, 11, 1, 9, 9, 1, 5, 5, 1, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1783     },
1784     {
1785 	6,
1786 	{3, 7, 8, 1, 2, 5, 0, 0},
1787 	6,
1788 	{3, 11, 10, 5, 4, 6, 0, 0, 0, 0, 0, 0},
1789 	2,
1790 	{11, 3, 4, 5, 10, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1791     },
1792     {
1793 	4,
1794 	{5, 8, 7, 4, 0, 0, 0, 0},
1795 	6,
1796 	{5, 9, 12, 3, 6, 4, 0, 0, 0, 0, 0, 0},
1797 	4,
1798 	{12, 6, 5, 3, 12, 5, 9, 3, 5, 4, 3, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1799     },
1800     {
1801 	5,
1802 	{1, 5, 7, 4, 8, 0, 0, 0},
1803 	5,
1804 	{1, 5, 12, 3, 6, 0, 0, 0, 0, 0, 0, 0},
1805 	3,
1806 	{3, 5, 1, 3, 6, 5, 12, 6, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1807     },
1808     {
1809 	5,
1810 	{5, 2, 8, 7, 4, 0, 0, 0},
1811 	9,
1812 	{5, 10, 1, 9, 12, 3, 6, 4, 2, 0, 0, 0},
1813 	10,
1814 	{3, 12, 2, 4, 1, 9, 5, 10, 6, 10, 5, 9, 10, 9, 1, 1, 4, 3, 1, 3, 2, 10, 12, 6, 10, 2, 12, 10, 1, 2},
1815     },
1816     {
1817 	6,
1818 	{2, 7, 4, 1, 5, 8, 0, 0},
1819 	6,
1820 	{2, 10, 6, 12, 3, 5, 0, 0, 0, 0, 0, 0},
1821 	4,
1822 	{12, 2, 3, 10, 6, 5, 10, 2, 12, 10, 12, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1823     },
1824     {
1825 	5,
1826 	{3, 4, 5, 7, 8, 0, 0, 0},
1827 	5,
1828 	{2, 4, 5, 6, 9, 0, 0, 0, 0, 0, 0, 0},
1829 	3,
1830 	{6, 4, 2, 6, 9, 4, 5, 9, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1831     },
1832     {
1833 	6,
1834 	{7, 3, 1, 5, 8, 4, 0, 0},
1835 	4,
1836 	{6, 2, 1, 5, 0, 0, 0, 0, 0, 0, 0, 0},
1837 	2,
1838 	{1, 6, 5, 2, 6, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1839     },
1840     {
1841 	6,
1842 	{2, 5, 7, 3, 4, 8, 0, 0},
1843 	6,
1844 	{10, 1, 9, 5, 6, 4, 0, 0, 0, 0, 0, 0},
1845 	4,
1846 	{5, 10, 6, 1, 9, 4, 1, 10, 5, 1, 5, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1847     },
1848     {
1849 	7,
1850 	{5, 8, 7, 2, 1, 4, 3, 0},
1851 	3,
1852 	{5, 6, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1853 	1,
1854 	{6, 5, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1855     },
1856     {
1857 	3,
1858 	{6, 7, 8, 0, 0, 0, 0, 0},
1859 	5,
1860 	{12, 10, 8, 11, 5, 0, 0, 0, 0, 0, 0, 0},
1861 	3,
1862 	{10, 11, 12, 5, 11, 10, 5, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1863     },
1864     {
1865 	4,
1866 	{6, 1, 8, 7, 0, 0, 0, 0},
1867 	8,
1868 	{5, 10, 1, 9, 12, 11, 8, 4, 0, 0, 0, 0},
1869 	4,
1870 	{10, 11, 12, 10, 8, 11, 5, 8, 10, 1, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1871     },
1872     {
1873 	4,
1874 	{8, 7, 6, 2, 0, 0, 0, 0},
1875 	6,
1876 	{8, 11, 2, 12, 5, 1, 0, 0, 0, 0, 0, 0},
1877 	4,
1878 	{11, 12, 8, 12, 1, 8, 1, 5, 8, 2, 1, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1879     },
1880     {
1881 	5,
1882 	{1, 2, 7, 8, 6, 0, 0, 0},
1883 	7,
1884 	{4, 2, 8, 5, 12, 11, 9, 0, 0, 0, 0, 0},
1885 	5,
1886 	{5, 8, 9, 2, 4, 12, 12, 4, 11, 11, 4, 8, 8, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1887     },
1888     {
1889 	4,
1890 	{8, 7, 6, 3, 0, 0, 0, 0},
1891 	6,
1892 	{8, 11, 10, 2, 5, 3, 0, 0, 0, 0, 0, 0},
1893 	4,
1894 	{10, 5, 8, 2, 10, 8, 11, 2, 8, 3, 2, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1895     },
1896     {
1897 	5,
1898 	{8, 1, 7, 6, 3, 0, 0, 0},
1899 	9,
1900 	{8, 9, 4, 11, 10, 2, 5, 3, 1, 0, 0, 0},
1901 	10,
1902 	{2, 10, 1, 3, 4, 11, 8, 9, 5, 9, 8, 11, 9, 11, 4, 4, 3, 2, 4, 2, 1, 9, 10, 5, 9, 1, 10, 9, 4, 1},
1903     },
1904     {
1905 	5,
1906 	{2, 3, 8, 6, 7, 0, 0, 0},
1907 	5,
1908 	{1, 3, 8, 5, 11, 0, 0, 0, 0, 0, 0, 0},
1909 	3,
1910 	{5, 3, 1, 5, 11, 3, 8, 11, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1911     },
1912     {
1913 	6,
1914 	{1, 8, 6, 2, 3, 7, 0, 0},
1915 	6,
1916 	{9, 4, 11, 8, 5, 3, 0, 0, 0, 0, 0, 0},
1917 	4,
1918 	{8, 9, 5, 4, 11, 3, 4, 9, 8, 4, 8, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1919     },
1920     {
1921 	4,
1922 	{6, 8, 7, 4, 0, 0, 0, 0},
1923 	6,
1924 	{5, 10, 12, 3, 8, 4, 0, 0, 0, 0, 0, 0},
1925 	4,
1926 	{5, 12, 10, 5, 4, 12, 5, 8, 4, 12, 4, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1927     },
1928     {
1929 	5,
1930 	{6, 7, 4, 1, 8, 0, 0, 0},
1931 	7,
1932 	{10, 12, 9, 8, 3, 1, 5, 0, 0, 0, 0, 0},
1933 	5,
1934 	{8, 9, 5, 12, 10, 3, 3, 10, 1, 1, 10, 9, 9, 10, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1935     },
1936     {
1937 	5,
1938 	{4, 8, 6, 2, 7, 0, 0, 0},
1939 	7,
1940 	{4, 8, 2, 12, 5, 1, 3, 0, 0, 0, 0, 0},
1941 	5,
1942 	{12, 2, 3, 8, 4, 5, 5, 4, 1, 1, 4, 2, 2, 4, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1943     },
1944     {
1945 	6,
1946 	{6, 2, 1, 8, 7, 4, 0, 0},
1947 	6,
1948 	{5, 9, 12, 3, 8, 2, 0, 0, 0, 0, 0, 0},
1949 	2,
1950 	{9, 5, 8, 3, 12, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1951     },
1952     {
1953 	5,
1954 	{4, 8, 6, 3, 7, 0, 0, 0},
1955 	5,
1956 	{4, 8, 10, 2, 5, 0, 0, 0, 0, 0, 0, 0},
1957 	3,
1958 	{2, 8, 4, 2, 5, 8, 10, 5, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1959     },
1960     {
1961 	6,
1962 	{6, 1, 8, 7, 3, 4, 0, 0},
1963 	6,
1964 	{5, 10, 1, 9, 8, 2, 0, 0, 0, 0, 0, 0},
1965 	4,
1966 	{9, 5, 8, 10, 1, 2, 10, 5, 9, 10, 9, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1967     },
1968     {
1969 	6,
1970 	{4, 8, 6, 2, 3, 7, 0, 0},
1971 	4,
1972 	{4, 8, 5, 1, 0, 0, 0, 0, 0, 0, 0, 0},
1973 	2,
1974 	{5, 4, 1, 8, 4, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1975     },
1976     {
1977 	7,
1978 	{6, 2, 1, 8, 7, 3, 4, 0},
1979 	3,
1980 	{5, 9, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1981 	1,
1982 	{9, 5, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1983     },
1984     {
1985 	4,
1986 	{5, 6, 8, 7, 0, 0, 0, 0},
1987 	4,
1988 	{10, 9, 12, 11, 0, 0, 0, 0, 0, 0, 0, 0},
1989 	2,
1990 	{9, 11, 12, 9, 12, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1991     },
1992     {
1993 	5,
1994 	{7, 8, 1, 6, 5, 0, 0, 0},
1995 	5,
1996 	{12, 11, 1, 10, 4, 0, 0, 0, 0, 0, 0, 0},
1997 	3,
1998 	{10, 11, 12, 10, 4, 11, 1, 4, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
1999     },
2000     {
2001 	5,
2002 	{8, 5, 2, 7, 6, 0, 0, 0},
2003 	5,
2004 	{11, 9, 2, 12, 1, 0, 0, 0, 0, 0, 0, 0},
2005 	3,
2006 	{12, 9, 11, 12, 1, 9, 2, 1, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2007     },
2008     {
2009 	6,
2010 	{7, 8, 1, 2, 6, 5, 0, 0},
2011 	4,
2012 	{12, 11, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0},
2013 	2,
2014 	{4, 12, 2, 11, 12, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2015     },
2016     {
2017 	5,
2018 	{5, 6, 3, 8, 7, 0, 0, 0},
2019 	5,
2020 	{9, 10, 3, 11, 2, 0, 0, 0, 0, 0, 0, 0},
2021 	3,
2022 	{11, 10, 9, 11, 2, 10, 3, 2, 11, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2023     },
2024     {
2025 	6,
2026 	{3, 1, 6, 7, 8, 5, 0, 0},
2027 	6,
2028 	{2, 3, 4, 1, 10, 11, 0, 0, 0, 0, 0, 0},
2029 	4,
2030 	{1, 2, 10, 3, 4, 11, 3, 2, 1, 3, 1, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2031     },
2032     {
2033 	6,
2034 	{8, 5, 2, 3, 7, 6, 0, 0},
2035 	4,
2036 	{11, 9, 1, 3, 0, 0, 0, 0, 0, 0, 0, 0},
2037 	2,
2038 	{1, 11, 3, 9, 11, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2039     },
2040     {
2041 	7,
2042 	{3, 7, 8, 1, 2, 6, 5, 0},
2043 	3,
2044 	{3, 11, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2045 	1,
2046 	{11, 3, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2047     },
2048     {
2049 	5,
2050 	{6, 7, 4, 5, 8, 0, 0, 0},
2051 	5,
2052 	{10, 12, 4, 9, 3, 0, 0, 0, 0, 0, 0, 0},
2053 	3,
2054 	{9, 12, 10, 9, 3, 12, 4, 3, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2055     },
2056     {
2057 	6,
2058 	{6, 7, 4, 1, 5, 8, 0, 0},
2059 	4,
2060 	{10, 12, 3, 1, 0, 0, 0, 0, 0, 0, 0, 0},
2061 	2,
2062 	{3, 10, 1, 12, 10, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2063     },
2064     {
2065 	6,
2066 	{2, 4, 5, 6, 7, 8, 0, 0},
2067 	6,
2068 	{1, 2, 3, 4, 9, 12, 0, 0, 0, 0, 0, 0},
2069 	4,
2070 	{4, 1, 9, 2, 3, 12, 2, 1, 4, 2, 4, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2071     },
2072     {
2073 	7,
2074 	{4, 1, 2, 7, 8, 5, 6, 0},
2075 	3,
2076 	{3, 2, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2077 	1,
2078 	{2, 3, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2079     },
2080     {
2081 	6,
2082 	{3, 4, 5, 6, 7, 8, 0, 0},
2083 	4,
2084 	{2, 4, 9, 10, 0, 0, 0, 0, 0, 0, 0, 0},
2085 	2,
2086 	{9, 2, 10, 4, 2, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2087     },
2088     {
2089 	7,
2090 	{1, 5, 6, 3, 4, 8, 7, 0},
2091 	3,
2092 	{1, 10, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2093 	1,
2094 	{10, 1, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2095     },
2096     {
2097 	7,
2098 	{2, 3, 4, 5, 6, 7, 8, 0},
2099 	3,
2100 	{1, 4, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2101 	1,
2102 	{4, 1, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2103     },
2104     {
2105 	0,
2106 	{0, 0, 0, 0, 0, 0, 0, 0},
2107 	0,
2108 	{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2109 	0,
2110 	{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
2111     }
2112 };
2113 
2114 #endif /* _rmvcell_h */
2115 /* EOF */
2116