VTK  9.6.2
vtkTableBasedClipCases.h
Go to the documentation of this file.
1// SPDX-FileCopyrightText: Copyright (c) Ken Martin, Will Schroeder, Bill Lorensen
2// SPDX-FileCopyrightText: Copyright (c) 2000 - 2009, Lawrence Livermore National Security, LLC
3// SPDX-License-Identifier: BSD-3-Clause
4
5#ifndef vtkTableBasedClipCases_h
6#define vtkTableBasedClipCases_h
7
8#include "vtkFiltersGeneralModule.h"
9#include "vtkSetGet.h"
10#include "vtkCellType.h"
11
12#include <array>
13#include <cstdint>
14#include <type_traits>
15
16VTK_ABI_NAMESPACE_BEGIN
17class VTKFILTERSGENERAL_EXPORT vtkTableBasedClipCasesBase
18{
19public:
20 // Points of original cell (up to 8, for the hex)
21 // Note: we assume P0 is zero in several places.
22 // Note: we assume these values are contiguous and monotonic.
23 static constexpr uint8_t P0 = 0;
24 static constexpr uint8_t P1 = 1;
25 static constexpr uint8_t P2 = 2;
26 static constexpr uint8_t P3 = 3;
27 static constexpr uint8_t P4 = 4;
28 static constexpr uint8_t P5 = 5;
29 static constexpr uint8_t P6 = 6;
30 static constexpr uint8_t P7 = 7;
31
32 // Edges of original cell (up to 12, for the hex)
33 // Note: we assume these values are contiguous and monotonic.
34 static constexpr uint8_t EA = 8;
35 static constexpr uint8_t EB = 9;
36 static constexpr uint8_t EC = 10;
37 static constexpr uint8_t ED = 11;
38 static constexpr uint8_t EE = 12;
39 static constexpr uint8_t EF = 13;
40 static constexpr uint8_t EG = 14;
41 static constexpr uint8_t EH = 15;
42 static constexpr uint8_t EI = 16;
43 static constexpr uint8_t EJ = 17;
44 static constexpr uint8_t EK = 18;
45 static constexpr uint8_t EL = 19;
46
47 // New interpolated point (ST_PNT outputs)
48 static constexpr uint8_t N0 = 20;
49
50 // Shape types
51 static constexpr uint8_t ST_VTX = 32 + VTK_VERTEX;
52 static constexpr uint8_t ST_LIN = 32 + VTK_LINE;
53 static constexpr uint8_t ST_TRI = 32 + VTK_TRIANGLE;
54 static constexpr uint8_t ST_QUA = 32 + VTK_QUAD;
55 static constexpr uint8_t ST_TET = 32 + VTK_TETRA;
56 static constexpr uint8_t ST_HEX = 32 + VTK_HEXAHEDRON;
57 static constexpr uint8_t ST_PYR = 32 + VTK_PYRAMID;
58 static constexpr uint8_t ST_WDG = 32 + VTK_WEDGE;
59 // This is a special shape type for a centroid point
60 static constexpr uint8_t ST_PNT = 32 + VTK_EMPTY_CELL;
61
62 using EDGEIDXS = uint8_t[2];
63
64protected:
65 static constexpr bool F = false;
66 static constexpr bool T = true;
67 // Supported Cell Types
68 static constexpr bool SupportedCellTypes[VTK_NUMBER_OF_CELL_TYPES] = { F, /*VTK_VERTEX*/ T, F,
69 /*VTK_LINE*/ T, F, /*VTK_TRIANGLE*/ T, F, F, /*VTK_PIXEL*/ T, /*VTK_QUAD*/ T, /*VTK_TETRA*/ T,
70 /*VTK_VOXEL*/ T, /*VTK_HEXAHEDRON*/ T, /*VTK_WEDGE*/ T, /*VTK_PYRAMID*/ T, F, F, F, F, F, F, F,
71 F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F,
72 F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F, F };
73
74 // Cell Max Case based on the number of points
75 static constexpr uint8_t CellMaxCase[9] = { 0, 1, 3, 7, 15, 31, 63, 127, 255 };
76
77 static constexpr uint8_t NUM_CELL_TYPES = 17;
78 static constexpr uint8_t N = 255;
79 static constexpr uint8_t MAX_NUM_EDGES = 12; // VTK_HEXAHEDRON
80
81 // edges for each cell
82 static constexpr uint8_t CellEdges[NUM_CELL_TYPES][MAX_NUM_EDGES][2] = {
83 // VTK_EMPTY_CELL
84 { { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
85 // VTK_VERTEX
86 { { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
87 // VTK_POLY_VERTEX
88 { { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
89 // VTK_LINE
90 { { 0, 1 }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
91 // VTK_POLY_LINE
92 { { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
93 // VTK_TRIANGLE
94 { { 0, 1 }, { 1, 2 }, { 2, 0 }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
95 // VTK_TRIANGLE_STRIP
96 { { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
97 // VTK_POLYGON
98 { { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
99 // VTK_PIXEL
100 { { 0, 1 }, { 1, 3 }, { 2, 3 }, { 0, 2 }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
101 // VTK_QUAD
102 { { 0, 1 }, { 1, 2 }, { 2, 3 }, { 3, 0 }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
103 // VTK_TETRA
104 { { 0, 1 }, { 1, 2 }, { 2, 0 }, { 0, 3 }, { 1, 3 }, { 2, 3 }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
105 // VTK_VOXEL
106 { { 0, 1 }, { 1, 3 }, { 2, 3 }, { 0, 2 }, { 4, 5 }, { 5, 7 }, { 6, 7 }, { 4, 6 }, { 0, 4 }, { 1, 5 }, { 2, 6 }, { 3, 7 } },
107 // VTK_HEXAHEDRON
108 { { 0, 1 }, { 1, 2 }, { 2, 3 }, { 3, 0 }, { 4, 5 }, { 5, 6 }, { 6, 7 }, { 7, 4 }, { 0, 4 }, { 1, 5 }, { 3, 7 }, { 2, 6 } },
109 // VTK_WEDGE
110 { { 0, 1 }, { 1, 2 }, { 2, 0 }, { 3, 4 }, { 4, 5 }, { 5, 3 }, { 0, 3 }, { 1, 4 }, { 2, 5 }, { N, N }, { N, N }, { N, N } },
111 // VTK_PYRAMID
112 { { 0, 1 }, { 1, 2 }, { 2, 3 }, { 3, 0 }, { 0, 4 }, { 1, 4 }, { 2, 4 }, { 3, 4 }, { N, N }, { N, N }, { N, N }, { N, N } },
113 // VTK_PENTAGONAL_PRISM
114 { { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
115 // VTK_HEXAGONAL_PRISM
116 { { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N }, { N, N } },
117 };
118
119 // index into StartCellCases for each cell
120 static constexpr int16_t CellCasesStartIndexLookUp[NUM_CELL_TYPES] = {
121 static_cast<int16_t>(-1), // 0 = VTK_EMPTY_CELL
122 static_cast<int16_t>(0), // 1 = VTK_VERTEX
123 static_cast<int16_t>(-1), // 2 = VTK_POLY_VERTEX
124 static_cast<int16_t>(2), // 3 = VTK_LINE
125 static_cast<int16_t>(-1), // 4 = VTK_POLY_LINE
126 static_cast<int16_t>(6), // 5 = VTK_TRIANGLE
127 static_cast<int16_t>(-1), // 6 = VTK_TRIANGLE_STRIP
128 static_cast<int16_t>(-1), // 7 = VTK_POLYGON
129 static_cast<int16_t>(14), // 8 = VTK_PIXEL
130 static_cast<int16_t>(30), // 9 = VTK_QUAD
131 static_cast<int16_t>(46), // 10 = VTK_TETRA
132 static_cast<int16_t>(62), // 11 = VTK_VOXEL
133 static_cast<int16_t>(318), // 12 = VTK_HEXAHEDRON
134 static_cast<int16_t>(574), // 13 = VTK_WEDGE
135 static_cast<int16_t>(638), // 14 = VTK_PYRAMID
136 static_cast<int16_t>(-1), // 15 = VTK_PENTAGONAL_PRISM
137 static_cast<int16_t>(-1), // 16 = VTK_HEXAGONAL_PRISM
138 };
139
140public:
144 VTK_ALWAYS_INLINE static constexpr bool IsCellTypeSupported(int cellType)
145 {
146 return SupportedCellTypes[cellType];
147 }
148
154 VTK_ALWAYS_INLINE static constexpr EDGEIDXS* GetCellEdges(int cellType)
155 {
156 return const_cast<EDGEIDXS*>(CellEdges[cellType]);
157 }
158
162 VTK_ALWAYS_INLINE static constexpr uint8_t GetCellType(uint8_t shapeType)
163 {
164 return shapeType & 0x07;
165 }
166};
167
168// Primary template declaration
169template <bool InsideOut>
170class VTKFILTERSGENERAL_EXPORT vtkTableBasedClipCases;
171
172// Specialization for false
173template <>
174class VTKFILTERSGENERAL_EXPORT vtkTableBasedClipCases<false> : public vtkTableBasedClipCasesBase
175{
176public:
177 static constexpr uint8_t DISCARDED_CELL_CASE = 0;
178
179private:
180 // clip table for all cases of each cell
181 static constexpr std::array<uint8_t, 26665> CellCases = { {
182 // VTK_VERTEX
183 /* case 0 */ 0,
184 /* case 1 */ 1,
185 ST_VTX, 1, P0,
186 // VTK_LINE
187 /* case 0 */ 0,
188 /* case 1 */ 1,
189 ST_LIN, 2, P0, EA,
190 /* case 2 */ 1,
191 ST_LIN, 2, P1, EA,
192 /* case 3 */ 1,
193 ST_LIN, 2, P0, P1,
194 // VTK_TRIANGLE
195 /* case 0 */ 0,
196 /* case 1 */ 1,
197 ST_TRI, 3, P0, EA, EC,
198 /* case 2 */ 1,
199 ST_TRI, 3, P1, EB, EA,
200 /* case 3 */ 1,
201 ST_QUA, 4, P0, P1, EB, EC,
202 /* case 4 */ 1,
203 ST_TRI, 3, P2, EC, EB,
204 /* case 5 */ 1,
205 ST_QUA, 4, P2, P0, EA, EB,
206 /* case 6 */ 1,
207 ST_QUA, 4, P1, P2, EC, EA,
208 /* case 7 */ 1,
209 ST_TRI, 3, P0, P1, P2,
210 // VTK_PIXEL
211 /* case 0 */ 0,
212 /* case 1 */ 1,
213 ST_TRI, 3, P0, EA, ED,
214 /* case 2 */ 1,
215 ST_TRI, 3, P1, EB, EA,
216 /* case 3 */ 1,
217 ST_QUA, 4, P0, P1, EB, ED,
218 /* case 4 */ 1,
219 ST_TRI, 3, P2, ED, EC,
220 /* case 5 */ 1,
221 ST_QUA, 4, P2, P0, EA, EC,
222 /* case 6 */ 2,
223 ST_QUA, 4, P2, P1, EB, EC,
224 ST_QUA, 4, P1, P2, ED, EA,
225 /* case 7 */ 2,
226 ST_QUA, 4, P2, P1, EB, EC,
227 ST_TRI, 3, P0, P1, P2,
228 /* case 8 */ 1,
229 ST_TRI, 3, P3, EC, EB,
230 /* case 9 */ 2,
231 ST_QUA, 4, P0, P3, EC, ED,
232 ST_QUA, 4, P3, P0, EA, EB,
233 /* case 10 */ 1,
234 ST_QUA, 4, P1, P3, EC, EA,
235 /* case 11 */ 2,
236 ST_QUA, 4, P0, P3, EC, ED,
237 ST_TRI, 3, P1, P3, P0,
238 /* case 12 */ 1,
239 ST_QUA, 4, P3, P2, ED, EB,
240 /* case 13 */ 2,
241 ST_QUA, 4, P3, P0, EA, EB,
242 ST_TRI, 3, P2, P0, P3,
243 /* case 14 */ 2,
244 ST_QUA, 4, P1, P2, ED, EA,
245 ST_TRI, 3, P3, P2, P1,
246 /* case 15 */ 1,
247 ST_QUA, 4, P0, P1, P3, P2,
248 // VTK_QUAD
249 /* case 0 */ 0,
250 /* case 1 */ 1,
251 ST_TRI, 3, P0, EA, ED,
252 /* case 2 */ 1,
253 ST_TRI, 3, P1, EB, EA,
254 /* case 3 */ 1,
255 ST_QUA, 4, P0, P1, EB, ED,
256 /* case 4 */ 1,
257 ST_TRI, 3, P2, EC, EB,
258 /* case 5 */ 2,
259 ST_QUA, 4, P2, P0, EA, EB,
260 ST_QUA, 4, P0, P2, EC, ED,
261 /* case 6 */ 1,
262 ST_QUA, 4, P1, P2, EC, EA,
263 /* case 7 */ 2,
264 ST_QUA, 4, P0, P2, EC, ED,
265 ST_TRI, 3, P1, P2, P0,
266 /* case 8 */ 1,
267 ST_TRI, 3, P3, ED, EC,
268 /* case 9 */ 1,
269 ST_QUA, 4, P3, P0, EA, EC,
270 /* case 10 */ 2,
271 ST_QUA, 4, P3, P1, EB, EC,
272 ST_QUA, 4, P1, P3, ED, EA,
273 /* case 11 */ 2,
274 ST_QUA, 4, P3, P1, EB, EC,
275 ST_TRI, 3, P0, P1, P3,
276 /* case 12 */ 1,
277 ST_QUA, 4, P2, P3, ED, EB,
278 /* case 13 */ 2,
279 ST_QUA, 4, P2, P0, EA, EB,
280 ST_TRI, 3, P3, P0, P2,
281 /* case 14 */ 2,
282 ST_QUA, 4, P1, P3, ED, EA,
283 ST_TRI, 3, P2, P3, P1,
284 /* case 15 */ 1,
285 ST_QUA, 4, P0, P1, P2, P3,
286 // VTK_TETRA
287 /* case 0 */ 0,
288 /* case 1 */ 1,
289 ST_TET, 4, P0, EA, EC, ED,
290 /* case 2 */ 1,
291 ST_TET, 4, P1, EB, EA, EE,
292 /* case 3 */ 1,
293 ST_WDG, 6, P0, ED, EC, P1, EE, EB,
294 /* case 4 */ 1,
295 ST_TET, 4, P2, EC, EB, EF,
296 /* case 5 */ 1,
297 ST_WDG, 6, P2, EF, EB, P0, ED, EA,
298 /* case 6 */ 1,
299 ST_WDG, 6, P1, EE, EA, P2, EF, EC,
300 /* case 7 */ 1,
301 ST_WDG, 6, ED, EE, EF, P0, P1, P2,
302 /* case 8 */ 1,
303 ST_TET, 4, P3, EE, ED, EF,
304 /* case 9 */ 1,
305 ST_WDG, 6, P0, EC, EA, P3, EF, EE,
306 /* case 10 */ 1,
307 ST_WDG, 6, P3, EF, ED, P1, EB, EA,
308 /* case 11 */ 1,
309 ST_WDG, 6, P0, P1, P3, EC, EB, EF,
310 /* case 12 */ 1,
311 ST_WDG, 6, P2, EB, EC, P3, EE, ED,
312 /* case 13 */ 1,
313 ST_WDG, 6, EA, EB, EE, P0, P2, P3,
314 /* case 14 */ 1,
315 ST_WDG, 6, P1, P2, P3, EA, EC, ED,
316 /* case 15 */ 1,
317 ST_TET, 4, P0, P1, P2, P3,
318 // VTK_VOXEL
319 /* case 0 */ 0,
320 /* case 1 */ 1,
321 ST_TET, 4, P0, EA, ED, EI,
322 /* case 2 */ 1,
323 ST_TET, 4, P1, EA, EJ, EB,
324 /* case 3 */ 1,
325 ST_WDG, 6, P1, EB, EJ, P0, ED, EI,
326 /* case 4 */ 1,
327 ST_TET, 4, P2, ED, EC, EK,
328 /* case 5 */ 1,
329 ST_WDG, 6, P2, EK, EC, P0, EI, EA,
330 /* case 6 */ 7,
331 ST_PNT, 2, EK, EJ,
332 ST_PYR, 5, P2, ED, EA, P1, N0,
333 ST_PYR, 5, EC, P2, P1, EB, N0,
334 ST_TET, 4, EB, P1, EJ, N0,
335 ST_TET, 4, P1, EA, EJ, N0,
336 ST_TET, 4, EC, P2, N0, EK,
337 ST_TET, 4, ED, P2, EK, N0,
338 /* case 7 */ 7,
339 ST_PNT, 5, EJ, EI, EB, EC, EK,
340 ST_PYR, 5, EI, P0, P2, EK, N0,
341 ST_PYR, 5, EJ, P1, P0, EI, N0,
342 ST_TET, 4, EB, P1, EJ, N0,
343 ST_TET, 4, P1, P2, P0, N0,
344 ST_PYR, 5, EB, EC, P2, P1, N0,
345 ST_TET, 4, P2, EC, EK, N0,
346 /* case 8 */ 1,
347 ST_TET, 4, P3, EB, EL, EC,
348 /* case 9 */ 7,
349 ST_PNT, 2, EI, EL,
350 ST_PYR, 5, P0, P3, EC, ED, N0,
351 ST_PYR, 5, EA, EB, P3, P0, N0,
352 ST_TET, 4, EB, EL, P3, N0,
353 ST_TET, 4, P3, EL, EC, N0,
354 ST_TET, 4, EA, N0, P0, EI,
355 ST_TET, 4, ED, EI, P0, N0,
356 /* case 10 */ 1,
357 ST_WDG, 6, P3, EC, EL, P1, EA, EJ,
358 /* case 11 */ 7,
359 ST_PNT, 5, EL, EJ, EC, ED, EI,
360 ST_PYR, 5, EJ, P1, P0, EI, N0,
361 ST_PYR, 5, EL, P3, P1, EJ, N0,
362 ST_TET, 4, EC, P3, EL, N0,
363 ST_TET, 4, P3, P0, P1, N0,
364 ST_PYR, 5, EC, ED, P0, P3, N0,
365 ST_TET, 4, P0, ED, EI, N0,
366 /* case 12 */ 1,
367 ST_WDG, 6, P2, ED, EK, P3, EB, EL,
368 /* case 13 */ 7,
369 ST_PNT, 5, EL, EK, EB, EA, EI,
370 ST_PYR, 5, EK, EI, P0, P2, N0,
371 ST_PYR, 5, EL, EK, P2, P3, N0,
372 ST_TET, 4, EB, EL, P3, N0,
373 ST_TET, 4, P3, P2, P0, N0,
374 ST_PYR, 5, EB, P3, P0, EA, N0,
375 ST_TET, 4, P0, EI, EA, N0,
376 /* case 14 */ 7,
377 ST_PNT, 5, EK, EL, ED, EA, EJ,
378 ST_PYR, 5, EL, P3, P1, EJ, N0,
379 ST_PYR, 5, EK, P2, P3, EL, N0,
380 ST_TET, 4, ED, P2, EK, N0,
381 ST_TET, 4, P2, P1, P3, N0,
382 ST_PYR, 5, ED, EA, P1, P2, N0,
383 ST_TET, 4, P1, EA, EJ, N0,
384 /* case 15 */ 1,
385 ST_HEX, 8, P0, P1, P3, P2, EI, EJ, EL, EK,
386 /* case 16 */ 1,
387 ST_TET, 4, P4, EE, EI, EH,
388 /* case 17 */ 1,
389 ST_WDG, 6, P0, ED, EA, P4, EH, EE,
390 /* case 18 */ 7,
391 ST_PNT, 2, EH, EB,
392 ST_PYR, 5, P4, P1, EA, EI, N0,
393 ST_PYR, 5, EE, EJ, P1, P4, N0,
394 ST_TET, 4, EJ, EB, P1, N0,
395 ST_TET, 4, P1, EB, EA, N0,
396 ST_TET, 4, EE, N0, P4, EH,
397 ST_TET, 4, EI, EH, P4, N0,
398 /* case 19 */ 7,
399 ST_PNT, 5, EB, ED, EJ, EE, EH,
400 ST_PYR, 5, ED, EH, P4, P0, N0,
401 ST_PYR, 5, EB, ED, P0, P1, N0,
402 ST_TET, 4, EJ, EB, P1, N0,
403 ST_TET, 4, P1, P0, P4, N0,
404 ST_PYR, 5, EJ, P1, P4, EE, N0,
405 ST_TET, 4, P4, EH, EE, N0,
406 /* case 20 */ 7,
407 ST_PNT, 2, EC, EE,
408 ST_PYR, 5, P2, P4, EI, ED, N0,
409 ST_PYR, 5, EK, EH, P4, P2, N0,
410 ST_TET, 4, EH, EE, P4, N0,
411 ST_TET, 4, P4, EE, EI, N0,
412 ST_TET, 4, EK, N0, P2, EC,
413 ST_TET, 4, ED, EC, P2, N0,
414 /* case 21 */ 7,
415 ST_PNT, 5, EE, EA, EH, EK, EC,
416 ST_PYR, 5, EA, EC, P2, P0, N0,
417 ST_PYR, 5, EE, EA, P0, P4, N0,
418 ST_TET, 4, EH, EE, P4, N0,
419 ST_TET, 4, P4, P0, P2, N0,
420 ST_PYR, 5, EH, P4, P2, EK, N0,
421 ST_TET, 4, P2, EC, EK, N0,
422 /* case 22 */ 5,
423 ST_WDG, 6, ED, EA, EI, P2, P1, P4,
424 ST_PYR, 5, P2, EK, EH, P4, EC,
425 ST_PYR, 5, EE, EJ, P1, P4, EB,
426 ST_PYR, 5, EC, P2, P1, EB, P4,
427 ST_PYR, 5, EC, EB, EE, EH, P4,
428 /* case 23 */ 5,
429 ST_TET, 4, P0, P1, P2, P4,
430 ST_PYR, 5, EH, P4, P2, EK, EC,
431 ST_PYR, 5, EE, EJ, P1, P4, EB,
432 ST_PYR, 5, P2, P1, EB, EC, P4,
433 ST_PYR, 5, EH, EC, EB, EE, P4,
434 /* case 24 */ 2,
435 ST_TET, 4, P4, EE, EI, EH,
436 ST_TET, 4, P3, EC, EB, EL,
437 /* case 25 */ 8,
438 ST_PNT, 4, EE, EH, EL, EL,
439 ST_PYR, 5, P3, EC, ED, P0, N0,
440 ST_PYR, 5, EA, EB, P3, P0, N0,
441 ST_TET, 4, P3, EL, EC, N0,
442 ST_TET, 4, EB, EL, P3, N0,
443 ST_PYR, 5, ED, EH, P4, P0, N0,
444 ST_PYR, 5, P0, P4, EE, EA, N0,
445 ST_TET, 4, EE, P4, EH, N0,
446 /* case 26 */ 8,
447 ST_PNT, 4, EL, EC, EH, EH,
448 ST_PYR, 5, P4, P1, EA, EI, N0,
449 ST_PYR, 5, EJ, P1, P4, EE, N0,
450 ST_TET, 4, P4, EI, EH, N0,
451 ST_TET, 4, EE, P4, EH, N0,
452 ST_PYR, 5, EA, P1, P3, EC, N0,
453 ST_PYR, 5, P1, EJ, EL, P3, N0,
454 ST_TET, 4, EL, EC, P3, N0,
455 /* case 27 */ 9,
456 ST_PNT, 6, ED, EC, EL, EJ, EE, EH,
457 ST_TET, 4, P0, P1, P3, N0,
458 ST_PYR, 5, ED, P0, P3, EC, N0,
459 ST_PYR, 5, ED, EH, P4, P0, N0,
460 ST_TET, 4, P4, P1, P0, N0,
461 ST_TET, 4, P4, EH, EE, N0,
462 ST_PYR, 5, P4, EE, EJ, P1, N0,
463 ST_PYR, 5, EJ, EL, P3, P1, N0,
464 ST_TET, 4, EL, EC, P3, N0,
465 /* case 28 */ 8,
466 ST_PNT, 4, EL, EB, EE, EE,
467 ST_PYR, 5, P4, EI, ED, P2, N0,
468 ST_PYR, 5, EK, EH, P4, P2, N0,
469 ST_TET, 4, P4, EE, EI, N0,
470 ST_TET, 4, EH, EE, P4, N0,
471 ST_PYR, 5, ED, EB, P3, P2, N0,
472 ST_PYR, 5, P2, P3, EL, EK, N0,
473 ST_TET, 4, EL, P3, EB, N0,
474 /* case 29 */ 9,
475 ST_PNT, 6, EA, EB, EL, EK, EH, EE,
476 ST_TET, 4, P0, P3, P2, N0,
477 ST_PYR, 5, EA, EB, P3, P0, N0,
478 ST_PYR, 5, EA, P0, P4, EE, N0,
479 ST_TET, 4, P4, P0, P2, N0,
480 ST_TET, 4, P4, EH, EE, N0,
481 ST_PYR, 5, P4, P2, EK, EH, N0,
482 ST_PYR, 5, EK, P2, P3, EL, N0,
483 ST_TET, 4, EL, P3, EB, N0,
484 /* case 30 */ 9,
485 ST_PNT, 5, EL, EJ, EK, EH, EE,
486 ST_WDG, 6, ED, EA, EI, P2, P1, P4,
487 ST_TET, 4, P1, P2, P4, N0,
488 ST_PYR, 5, P2, EK, EH, P4, N0,
489 ST_TET, 4, P3, P2, P1, N0,
490 ST_PYR, 5, EJ, EL, P3, P1, N0,
491 ST_PYR, 5, EL, EK, P2, P3, N0,
492 ST_PYR, 5, P4, EE, EJ, P1, N0,
493 ST_TET, 4, EH, EE, P4, N0,
494 /* case 31 */ 9,
495 ST_PNT, 5, EJ, EL, EK, EE, EH,
496 ST_PYR, 5, P0, P1, P3, P2, N0,
497 ST_TET, 4, P2, P4, P0, N0,
498 ST_TET, 4, P4, P1, P0, N0,
499 ST_PYR, 5, P4, EE, EJ, P1, N0,
500 ST_PYR, 5, EJ, EL, P3, P1, N0,
501 ST_PYR, 5, EL, EK, P2, P3, N0,
502 ST_PYR, 5, EK, EH, P4, P2, N0,
503 ST_TET, 4, EE, P4, EH, N0,
504 /* case 32 */ 1,
505 ST_TET, 4, P5, EF, EJ, EE,
506 /* case 33 */ 7,
507 ST_PNT, 2, ED, EF,
508 ST_PYR, 5, P0, EI, EE, P5, N0,
509 ST_PYR, 5, EA, P0, P5, EJ, N0,
510 ST_TET, 4, EJ, P5, EF, N0,
511 ST_TET, 4, P5, EE, EF, N0,
512 ST_TET, 4, EA, P0, N0, ED,
513 ST_TET, 4, EI, P0, ED, N0,
514 /* case 34 */ 1,
515 ST_WDG, 6, P1, EA, EB, P5, EE, EF,
516 /* case 35 */ 7,
517 ST_PNT, 5, EF, EB, EE, EI, ED,
518 ST_PYR, 5, EB, ED, P0, P1, N0,
519 ST_PYR, 5, EF, EB, P1, P5, N0,
520 ST_TET, 4, EE, EF, P5, N0,
521 ST_TET, 4, P5, P1, P0, N0,
522 ST_PYR, 5, EE, P5, P0, EI, N0,
523 ST_TET, 4, P0, ED, EI, N0,
524 /* case 36 */ 2,
525 ST_TET, 4, P2, ED, EC, EK,
526 ST_TET, 4, P5, EJ, EE, EF,
527 /* case 37 */ 8,
528 ST_PNT, 4, EC, EK, EF, EF,
529 ST_PYR, 5, P5, P0, EI, EE, N0,
530 ST_PYR, 5, EA, P0, P5, EJ, N0,
531 ST_TET, 4, P5, EE, EF, N0,
532 ST_TET, 4, EJ, P5, EF, N0,
533 ST_PYR, 5, EI, P0, P2, EK, N0,
534 ST_PYR, 5, P0, EA, EC, P2, N0,
535 ST_TET, 4, EC, EK, P2, N0,
536 /* case 38 */ 8,
537 ST_PNT, 4, EF, EE, EK, EK,
538 ST_PYR, 5, P2, ED, EA, P1, N0,
539 ST_PYR, 5, EB, EC, P2, P1, N0,
540 ST_TET, 4, P2, EK, ED, N0,
541 ST_TET, 4, EC, EK, P2, N0,
542 ST_PYR, 5, EA, EE, P5, P1, N0,
543 ST_PYR, 5, P1, P5, EF, EB, N0,
544 ST_TET, 4, EF, P5, EE, N0,
545 /* case 39 */ 9,
546 ST_PNT, 6, EI, EE, EF, EB, EC, EK,
547 ST_TET, 4, P0, P5, P1, N0,
548 ST_PYR, 5, EI, EE, P5, P0, N0,
549 ST_PYR, 5, EI, P0, P2, EK, N0,
550 ST_TET, 4, P2, P0, P1, N0,
551 ST_TET, 4, P2, EC, EK, N0,
552 ST_PYR, 5, P2, P1, EB, EC, N0,
553 ST_PYR, 5, EB, P1, P5, EF, N0,
554 ST_TET, 4, EF, P5, EE, N0,
555 /* case 40 */ 7,
556 ST_PNT, 2, EC, EE,
557 ST_PYR, 5, P3, EB, EJ, P5, N0,
558 ST_PYR, 5, EL, P3, P5, EF, N0,
559 ST_TET, 4, EF, P5, EE, N0,
560 ST_TET, 4, P5, EJ, EE, N0,
561 ST_TET, 4, EL, P3, N0, EC,
562 ST_TET, 4, EB, P3, EC, N0,
563 /* case 41 */ 5,
564 ST_WDG, 6, P0, P5, P3, EA, EJ, EB,
565 ST_PYR, 5, P0, P3, EC, ED, EI,
566 ST_PYR, 5, EL, P3, P5, EF, EE,
567 ST_PYR, 5, EI, EE, P5, P0, P3,
568 ST_PYR, 5, EI, EC, EL, EE, P3,
569 /* case 42 */ 7,
570 ST_PNT, 5, EE, EA, EF, EL, EC,
571 ST_PYR, 5, EA, P1, P3, EC, N0,
572 ST_PYR, 5, EE, P5, P1, EA, N0,
573 ST_TET, 4, EF, P5, EE, N0,
574 ST_TET, 4, P5, P3, P1, N0,
575 ST_PYR, 5, EF, EL, P3, P5, N0,
576 ST_TET, 4, P3, EL, EC, N0,
577 /* case 43 */ 5,
578 ST_TET, 4, P1, P0, P5, P3,
579 ST_PYR, 5, EC, ED, P0, P3, EI,
580 ST_PYR, 5, EL, P3, P5, EF, EE,
581 ST_PYR, 5, P0, EI, EE, P5, P3,
582 ST_PYR, 5, EC, EL, EE, EI, P3,
583 /* case 44 */ 8,
584 ST_PNT, 4, EK, ED, EE, EE,
585 ST_PYR, 5, P5, P3, EB, EJ, N0,
586 ST_PYR, 5, EL, P3, P5, EF, N0,
587 ST_TET, 4, P5, EJ, EE, N0,
588 ST_TET, 4, EF, P5, EE, N0,
589 ST_PYR, 5, EB, P3, P2, ED, N0,
590 ST_PYR, 5, P3, EL, EK, P2, N0,
591 ST_TET, 4, EK, ED, P2, N0,
592 /* case 45 */ 9,
593 ST_PNT, 5, EK, EL, EI, EE, EF,
594 ST_WDG, 6, EA, EB, EJ, P0, P3, P5,
595 ST_TET, 4, P3, P0, P5, N0,
596 ST_PYR, 5, P0, EI, EE, P5, N0,
597 ST_TET, 4, P2, P0, P3, N0,
598 ST_PYR, 5, EL, EK, P2, P3, N0,
599 ST_PYR, 5, EK, EI, P0, P2, N0,
600 ST_PYR, 5, P5, EF, EL, P3, N0,
601 ST_TET, 4, EE, EF, P5, N0,
602 /* case 46 */ 9,
603 ST_PNT, 6, EA, ED, EK, EL, EF, EE,
604 ST_TET, 4, P1, P3, P2, N0,
605 ST_PYR, 5, EA, P1, P2, ED, N0,
606 ST_PYR, 5, EA, EE, P5, P1, N0,
607 ST_TET, 4, P5, P3, P1, N0,
608 ST_TET, 4, P5, EE, EF, N0,
609 ST_PYR, 5, P5, EF, EL, P3, N0,
610 ST_PYR, 5, EL, EK, P2, P3, N0,
611 ST_TET, 4, EK, ED, P2, N0,
612 /* case 47 */ 9,
613 ST_PNT, 5, EL, EK, EI, EF, EE,
614 ST_PYR, 5, P1, P3, P2, P0, N0,
615 ST_TET, 4, P0, P5, P1, N0,
616 ST_TET, 4, P5, P3, P1, N0,
617 ST_PYR, 5, P5, EF, EL, P3, N0,
618 ST_PYR, 5, EL, EK, P2, P3, N0,
619 ST_PYR, 5, EK, EI, P0, P2, N0,
620 ST_PYR, 5, EI, EE, P5, P0, N0,
621 ST_TET, 4, EF, P5, EE, N0,
622 /* case 48 */ 1,
623 ST_WDG, 6, P5, EJ, EF, P4, EI, EH,
624 /* case 49 */ 7,
625 ST_PNT, 5, EF, EH, EJ, EA, ED,
626 ST_PYR, 5, EH, P4, P0, ED, N0,
627 ST_PYR, 5, EF, P5, P4, EH, N0,
628 ST_TET, 4, EJ, P5, EF, N0,
629 ST_TET, 4, P5, P0, P4, N0,
630 ST_PYR, 5, EJ, EA, P0, P5, N0,
631 ST_TET, 4, P0, EA, ED, N0,
632 /* case 50 */ 7,
633 ST_PNT, 5, EH, EF, EI, EA, EB,
634 ST_PYR, 5, EF, EB, P1, P5, N0,
635 ST_PYR, 5, EH, EF, P5, P4, N0,
636 ST_TET, 4, EI, EH, P4, N0,
637 ST_TET, 4, P4, P5, P1, N0,
638 ST_PYR, 5, EI, P4, P1, EA, N0,
639 ST_TET, 4, P1, EB, EA, N0,
640 /* case 51 */ 1,
641 ST_HEX, 8, ED, EB, EF, EH, P0, P1, P5, P4,
642 /* case 52 */ 8,
643 ST_PNT, 4, EF, EJ, EC, EC,
644 ST_PYR, 5, P2, P4, EI, ED, N0,
645 ST_PYR, 5, EH, P4, P2, EK, N0,
646 ST_TET, 4, P2, ED, EC, N0,
647 ST_TET, 4, EK, P2, EC, N0,
648 ST_PYR, 5, EI, P4, P5, EJ, N0,
649 ST_PYR, 5, P4, EH, EF, P5, N0,
650 ST_TET, 4, EF, EJ, P5, N0,
651 /* case 53 */ 9,
652 ST_PNT, 6, EA, EJ, EF, EH, EK, EC,
653 ST_TET, 4, P0, P4, P5, N0,
654 ST_PYR, 5, EA, P0, P5, EJ, N0,
655 ST_PYR, 5, EA, EC, P2, P0, N0,
656 ST_TET, 4, P2, P4, P0, N0,
657 ST_TET, 4, P2, EC, EK, N0,
658 ST_PYR, 5, P2, EK, EH, P4, N0,
659 ST_PYR, 5, EH, EF, P5, P4, N0,
660 ST_TET, 4, EF, EJ, P5, N0,
661 /* case 54 */ 9,
662 ST_PNT, 5, EF, EB, EH, EK, EC,
663 ST_WDG, 6, P4, P1, P2, EI, EA, ED,
664 ST_TET, 4, P1, P2, P4, N0,
665 ST_PYR, 5, P4, P2, EK, EH, N0,
666 ST_TET, 4, P5, P1, P4, N0,
667 ST_PYR, 5, EB, P1, P5, EF, N0,
668 ST_PYR, 5, EF, P5, P4, EH, N0,
669 ST_PYR, 5, P2, P1, EB, EC, N0,
670 ST_TET, 4, EK, P2, EC, N0,
671 /* case 55 */ 9,
672 ST_PNT, 5, EB, EF, EH, EC, EK,
673 ST_PYR, 5, P0, P4, P5, P1, N0,
674 ST_TET, 4, P4, P0, P2, N0,
675 ST_TET, 4, P2, P0, P1, N0,
676 ST_PYR, 5, P2, P1, EB, EC, N0,
677 ST_PYR, 5, EB, P1, P5, EF, N0,
678 ST_PYR, 5, EF, P5, P4, EH, N0,
679 ST_PYR, 5, EH, P4, P2, EK, N0,
680 ST_TET, 4, EC, EK, P2, N0,
681 /* case 56 */ 8,
682 ST_PNT, 4, EH, EI, EC, EC,
683 ST_PYR, 5, P3, EB, EJ, P5, N0,
684 ST_PYR, 5, EF, EL, P3, P5, N0,
685 ST_TET, 4, P3, EC, EB, N0,
686 ST_TET, 4, EL, EC, P3, N0,
687 ST_PYR, 5, EJ, EI, P4, P5, N0,
688 ST_PYR, 5, P5, P4, EH, EF, N0,
689 ST_TET, 4, EH, P4, EI, N0,
690 /* case 57 */ 9,
691 ST_PNT, 5, EH, EF, ED, EC, EL,
692 ST_WDG, 6, P0, P5, P3, EA, EJ, EB,
693 ST_TET, 4, P5, P3, P0, N0,
694 ST_PYR, 5, P0, P3, EC, ED, N0,
695 ST_TET, 4, P4, P5, P0, N0,
696 ST_PYR, 5, EF, P5, P4, EH, N0,
697 ST_PYR, 5, EH, P4, P0, ED, N0,
698 ST_PYR, 5, P3, P5, EF, EL, N0,
699 ST_TET, 4, EC, P3, EL, N0,
700 /* case 58 */ 9,
701 ST_PNT, 6, EA, EI, EH, EF, EL, EC,
702 ST_TET, 4, P1, P4, P5, N0,
703 ST_PYR, 5, EA, EI, P4, P1, N0,
704 ST_PYR, 5, EA, P1, P3, EC, N0,
705 ST_TET, 4, P3, P1, P5, N0,
706 ST_TET, 4, P3, EL, EC, N0,
707 ST_PYR, 5, P3, P5, EF, EL, N0,
708 ST_PYR, 5, EF, P5, P4, EH, N0,
709 ST_TET, 4, EH, P4, EI, N0,
710 /* case 59 */ 9,
711 ST_PNT, 5, EF, EH, ED, EL, EC,
712 ST_PYR, 5, P1, P0, P4, P5, N0,
713 ST_TET, 4, P0, P1, P3, N0,
714 ST_TET, 4, P3, P1, P5, N0,
715 ST_PYR, 5, P3, P5, EF, EL, N0,
716 ST_PYR, 5, EF, P5, P4, EH, N0,
717 ST_PYR, 5, EH, P4, P0, ED, N0,
718 ST_PYR, 5, ED, P0, P3, EC, N0,
719 ST_TET, 4, EL, EC, P3, N0,
720 /* case 60 */ 2,
721 ST_HEX, 8, P2, P4, P5, P3, EK, EH, EF, EL,
722 ST_HEX, 8, ED, EI, EJ, EB, P2, P4, P5, P3,
723 /* case 61 */ 11,
724 ST_PNT, 6, P0, P3, P2, P4, EF, EH,
725 ST_WDG, 6, P0, P5, P3, EA, EJ, EB,
726 ST_PYR, 5, EH, EF, P5, P4, N0,
727 ST_TET, 4, P4, P5, P0, N0,
728 ST_TET, 4, P4, P0, P2, N0,
729 ST_PYR, 5, EK, EH, P4, P2, N0,
730 ST_PYR, 5, EL, EK, P2, P3, N0,
731 ST_TET, 4, P2, P0, P3, N0,
732 ST_PYR, 5, EF, EH, EK, EL, N0,
733 ST_TET, 4, P3, P0, P5, N0,
734 ST_PYR, 5, EF, EL, P3, P5, N0,
735 /* case 62 */ 11,
736 ST_PNT, 6, P1, P2, P3, P5, EH, EF,
737 ST_WDG, 6, EA, EI, ED, P1, P4, P2,
738 ST_PYR, 5, EF, P5, P4, EH, N0,
739 ST_TET, 4, P5, P1, P4, N0,
740 ST_TET, 4, P5, P3, P1, N0,
741 ST_PYR, 5, EL, P3, P5, EF, N0,
742 ST_PYR, 5, EK, P2, P3, EL, N0,
743 ST_TET, 4, P3, P2, P1, N0,
744 ST_PYR, 5, EH, EK, EL, EF, N0,
745 ST_TET, 4, P2, P4, P1, N0,
746 ST_PYR, 5, EH, P4, P2, EK, N0,
747 /* case 63 */ 2,
748 ST_HEX, 8, P2, P4, P5, P3, EK, EH, EF, EL,
749 ST_WDG, 6, P1, P3, P5, P0, P2, P4,
750 /* case 64 */ 1,
751 ST_TET, 4, P6, EG, EH, EK,
752 /* case 65 */ 7,
753 ST_PNT, 2, EA, EG,
754 ST_PYR, 5, P0, ED, EK, P6, N0,
755 ST_PYR, 5, EI, P0, P6, EH, N0,
756 ST_TET, 4, EH, P6, EG, N0,
757 ST_TET, 4, P6, EK, EG, N0,
758 ST_TET, 4, EI, P0, N0, EA,
759 ST_TET, 4, ED, P0, EA, N0,
760 /* case 66 */ 2,
761 ST_TET, 4, P1, EA, EJ, EB,
762 ST_TET, 4, P6, EH, EK, EG,
763 /* case 67 */ 8,
764 ST_PNT, 4, EJ, EB, EG, EG,
765 ST_PYR, 5, P6, P0, ED, EK, N0,
766 ST_PYR, 5, EI, P0, P6, EH, N0,
767 ST_TET, 4, P6, EK, EG, N0,
768 ST_TET, 4, EH, P6, EG, N0,
769 ST_PYR, 5, ED, P0, P1, EB, N0,
770 ST_PYR, 5, P0, EI, EJ, P1, N0,
771 ST_TET, 4, EJ, EB, P1, N0,
772 /* case 68 */ 1,
773 ST_WDG, 6, P6, EH, EG, P2, ED, EC,
774 /* case 69 */ 7,
775 ST_PNT, 5, EG, EC, EH, EI, EA,
776 ST_PYR, 5, EC, P2, P0, EA, N0,
777 ST_PYR, 5, EG, P6, P2, EC, N0,
778 ST_TET, 4, EH, P6, EG, N0,
779 ST_TET, 4, P6, P0, P2, N0,
780 ST_PYR, 5, EH, EI, P0, P6, N0,
781 ST_TET, 4, P0, EI, EA, N0,
782 /* case 70 */ 8,
783 ST_PNT, 4, EG, EH, EJ, EJ,
784 ST_PYR, 5, P1, P2, ED, EA, N0,
785 ST_PYR, 5, EC, P2, P1, EB, N0,
786 ST_TET, 4, P1, EA, EJ, N0,
787 ST_TET, 4, EB, P1, EJ, N0,
788 ST_PYR, 5, ED, P2, P6, EH, N0,
789 ST_PYR, 5, P2, EC, EG, P6, N0,
790 ST_TET, 4, EG, EH, P6, N0,
791 /* case 71 */ 9,
792 ST_PNT, 6, EI, EH, EG, EC, EB, EJ,
793 ST_TET, 4, P0, P2, P6, N0,
794 ST_PYR, 5, EI, P0, P6, EH, N0,
795 ST_PYR, 5, EI, EJ, P1, P0, N0,
796 ST_TET, 4, P1, P2, P0, N0,
797 ST_TET, 4, P1, EJ, EB, N0,
798 ST_PYR, 5, P1, EB, EC, P2, N0,
799 ST_PYR, 5, EC, EG, P6, P2, N0,
800 ST_TET, 4, EG, EH, P6, N0,
801 /* case 72 */ 7,
802 ST_PNT, 2, EH, EB,
803 ST_PYR, 5, P6, EK, EC, P3, N0,
804 ST_PYR, 5, EG, P6, P3, EL, N0,
805 ST_TET, 4, EL, P3, EB, N0,
806 ST_TET, 4, P3, EC, EB, N0,
807 ST_TET, 4, EG, P6, N0, EH,
808 ST_TET, 4, EK, P6, EH, N0,
809 /* case 73 */ 5,
810 ST_WDG, 6, P0, P3, P6, ED, EC, EK,
811 ST_PYR, 5, P0, P6, EH, EI, EA,
812 ST_PYR, 5, EG, P6, P3, EL, EB,
813 ST_PYR, 5, EA, EB, P3, P0, P6,
814 ST_PYR, 5, EA, EH, EG, EB, P6,
815 /* case 74 */ 8,
816 ST_PNT, 4, EJ, EA, EH, EH,
817 ST_PYR, 5, P6, EK, EC, P3, N0,
818 ST_PYR, 5, EL, EG, P6, P3, N0,
819 ST_TET, 4, P6, EH, EK, N0,
820 ST_TET, 4, EG, EH, P6, N0,
821 ST_PYR, 5, EC, EA, P1, P3, N0,
822 ST_PYR, 5, P3, P1, EJ, EL, N0,
823 ST_TET, 4, EJ, P1, EA, N0,
824 /* case 75 */ 9,
825 ST_PNT, 5, EJ, EL, EI, EH, EG,
826 ST_WDG, 6, P0, P3, P6, ED, EC, EK,
827 ST_TET, 4, P3, P6, P0, N0,
828 ST_PYR, 5, P0, P6, EH, EI, N0,
829 ST_TET, 4, P1, P3, P0, N0,
830 ST_PYR, 5, EL, P3, P1, EJ, N0,
831 ST_PYR, 5, EJ, P1, P0, EI, N0,
832 ST_PYR, 5, P6, P3, EL, EG, N0,
833 ST_TET, 4, EH, P6, EG, N0,
834 /* case 76 */ 7,
835 ST_PNT, 5, EB, ED, EL, EG, EH,
836 ST_PYR, 5, ED, P2, P6, EH, N0,
837 ST_PYR, 5, EB, P3, P2, ED, N0,
838 ST_TET, 4, EL, P3, EB, N0,
839 ST_TET, 4, P3, P6, P2, N0,
840 ST_PYR, 5, EL, EG, P6, P3, N0,
841 ST_TET, 4, P6, EG, EH, N0,
842 /* case 77 */ 5,
843 ST_TET, 4, P2, P0, P3, P6,
844 ST_PYR, 5, EH, EI, P0, P6, EA,
845 ST_PYR, 5, EG, P6, P3, EL, EB,
846 ST_PYR, 5, P0, EA, EB, P3, P6,
847 ST_PYR, 5, EH, EG, EB, EA, P6,
848 /* case 78 */ 9,
849 ST_PNT, 6, ED, EA, EJ, EL, EG, EH,
850 ST_TET, 4, P2, P1, P3, N0,
851 ST_PYR, 5, ED, EA, P1, P2, N0,
852 ST_PYR, 5, ED, P2, P6, EH, N0,
853 ST_TET, 4, P6, P2, P3, N0,
854 ST_TET, 4, P6, EG, EH, N0,
855 ST_PYR, 5, P6, P3, EL, EG, N0,
856 ST_PYR, 5, EL, P3, P1, EJ, N0,
857 ST_TET, 4, EJ, P1, EA, N0,
858 /* case 79 */ 9,
859 ST_PNT, 5, EL, EJ, EI, EG, EH,
860 ST_PYR, 5, P2, P0, P1, P3, N0,
861 ST_TET, 4, P0, P2, P6, N0,
862 ST_TET, 4, P6, P2, P3, N0,
863 ST_PYR, 5, P6, P3, EL, EG, N0,
864 ST_PYR, 5, EL, P3, P1, EJ, N0,
865 ST_PYR, 5, EJ, P1, P0, EI, N0,
866 ST_PYR, 5, EI, P0, P6, EH, N0,
867 ST_TET, 4, EG, EH, P6, N0,
868 /* case 80 */ 1,
869 ST_WDG, 6, P4, EI, EE, P6, EK, EG,
870 /* case 81 */ 7,
871 ST_PNT, 5, EG, EE, EK, ED, EA,
872 ST_PYR, 5, EE, EA, P0, P4, N0,
873 ST_PYR, 5, EG, EE, P4, P6, N0,
874 ST_TET, 4, EK, EG, P6, N0,
875 ST_TET, 4, P6, P4, P0, N0,
876 ST_PYR, 5, EK, P6, P0, ED, N0,
877 ST_TET, 4, P0, EA, ED, N0,
878 /* case 82 */ 8,
879 ST_PNT, 4, EG, EK, EB, EB,
880 ST_PYR, 5, P1, EA, EI, P4, N0,
881 ST_PYR, 5, EE, EJ, P1, P4, N0,
882 ST_TET, 4, P1, EB, EA, N0,
883 ST_TET, 4, EJ, EB, P1, N0,
884 ST_PYR, 5, EI, EK, P6, P4, N0,
885 ST_PYR, 5, P4, P6, EG, EE, N0,
886 ST_TET, 4, EG, P6, EK, N0,
887 /* case 83 */ 9,
888 ST_PNT, 6, ED, EK, EG, EE, EJ, EB,
889 ST_TET, 4, P0, P6, P4, N0,
890 ST_PYR, 5, ED, EK, P6, P0, N0,
891 ST_PYR, 5, ED, P0, P1, EB, N0,
892 ST_TET, 4, P1, P0, P4, N0,
893 ST_TET, 4, P1, EJ, EB, N0,
894 ST_PYR, 5, P1, P4, EE, EJ, N0,
895 ST_PYR, 5, EE, P4, P6, EG, N0,
896 ST_TET, 4, EG, P6, EK, N0,
897 /* case 84 */ 7,
898 ST_PNT, 5, EC, EG, ED, EI, EE,
899 ST_PYR, 5, EG, EE, P4, P6, N0,
900 ST_PYR, 5, EC, EG, P6, P2, N0,
901 ST_TET, 4, ED, EC, P2, N0,
902 ST_TET, 4, P2, P6, P4, N0,
903 ST_PYR, 5, ED, P2, P4, EI, N0,
904 ST_TET, 4, P4, EE, EI, N0,
905 /* case 85 */ 1,
906 ST_HEX, 8, EA, EE, EG, EC, P0, P4, P6, P2,
907 /* case 86 */ 9,
908 ST_PNT, 5, EG, EE, EC, EB, EJ,
909 ST_WDG, 6, P2, P4, P1, ED, EI, EA,
910 ST_TET, 4, P4, P1, P2, N0,
911 ST_PYR, 5, P2, P1, EB, EC, N0,
912 ST_TET, 4, P6, P4, P2, N0,
913 ST_PYR, 5, EE, P4, P6, EG, N0,
914 ST_PYR, 5, EG, P6, P2, EC, N0,
915 ST_PYR, 5, P1, P4, EE, EJ, N0,
916 ST_TET, 4, EB, P1, EJ, N0,
917 /* case 87 */ 9,
918 ST_PNT, 5, EE, EG, EC, EJ, EB,
919 ST_PYR, 5, P0, P2, P6, P4, N0,
920 ST_TET, 4, P2, P0, P1, N0,
921 ST_TET, 4, P1, P0, P4, N0,
922 ST_PYR, 5, P1, P4, EE, EJ, N0,
923 ST_PYR, 5, EE, P4, P6, EG, N0,
924 ST_PYR, 5, EG, P6, P2, EC, N0,
925 ST_PYR, 5, EC, P2, P1, EB, N0,
926 ST_TET, 4, EJ, EB, P1, N0,
927 /* case 88 */ 8,
928 ST_PNT, 4, EE, EI, EB, EB,
929 ST_PYR, 5, P3, P6, EK, EC, N0,
930 ST_PYR, 5, EG, P6, P3, EL, N0,
931 ST_TET, 4, P3, EC, EB, N0,
932 ST_TET, 4, EL, P3, EB, N0,
933 ST_PYR, 5, EK, P6, P4, EI, N0,
934 ST_PYR, 5, P6, EG, EE, P4, N0,
935 ST_TET, 4, EE, EI, P4, N0,
936 /* case 89 */ 9,
937 ST_PNT, 5, EE, EG, EA, EB, EL,
938 ST_WDG, 6, ED, EK, EC, P0, P6, P3,
939 ST_TET, 4, P6, P0, P3, N0,
940 ST_PYR, 5, P0, EA, EB, P3, N0,
941 ST_TET, 4, P4, P0, P6, N0,
942 ST_PYR, 5, EG, EE, P4, P6, N0,
943 ST_PYR, 5, EE, EA, P0, P4, N0,
944 ST_PYR, 5, P3, EL, EG, P6, N0,
945 ST_TET, 4, EB, EL, P3, N0,
946 /* case 90 */ 2,
947 ST_HEX, 8, P4, P1, P3, P6, EE, EJ, EL, EG,
948 ST_HEX, 8, EI, EA, EC, EK, P4, P1, P3, P6,
949 /* case 91 */ 11,
950 ST_PNT, 6, P0, P6, P4, P1, EL, EJ,
951 ST_WDG, 6, P0, P3, P6, ED, EC, EK,
952 ST_PYR, 5, EJ, EL, P3, P1, N0,
953 ST_TET, 4, P1, P3, P0, N0,
954 ST_TET, 4, P1, P0, P4, N0,
955 ST_PYR, 5, EE, EJ, P1, P4, N0,
956 ST_PYR, 5, EG, EE, P4, P6, N0,
957 ST_TET, 4, P4, P0, P6, N0,
958 ST_PYR, 5, EL, EJ, EE, EG, N0,
959 ST_TET, 4, P6, P0, P3, N0,
960 ST_PYR, 5, EL, EG, P6, P3, N0,
961 /* case 92 */ 9,
962 ST_PNT, 6, ED, EI, EE, EG, EL, EB,
963 ST_TET, 4, P2, P6, P4, N0,
964 ST_PYR, 5, ED, P2, P4, EI, N0,
965 ST_PYR, 5, ED, EB, P3, P2, N0,
966 ST_TET, 4, P3, P6, P2, N0,
967 ST_TET, 4, P3, EB, EL, N0,
968 ST_PYR, 5, P3, EL, EG, P6, N0,
969 ST_PYR, 5, EG, EE, P4, P6, N0,
970 ST_TET, 4, EE, EI, P4, N0,
971 /* case 93 */ 9,
972 ST_PNT, 5, EG, EE, EA, EL, EB,
973 ST_PYR, 5, P2, P6, P4, P0, N0,
974 ST_TET, 4, P0, P3, P2, N0,
975 ST_TET, 4, P3, P6, P2, N0,
976 ST_PYR, 5, P3, EL, EG, P6, N0,
977 ST_PYR, 5, EG, EE, P4, P6, N0,
978 ST_PYR, 5, EE, EA, P0, P4, N0,
979 ST_PYR, 5, EA, EB, P3, P0, N0,
980 ST_TET, 4, EL, P3, EB, N0,
981 /* case 94 */ 11,
982 ST_PNT, 6, P2, P4, P6, P3, EJ, EL,
983 ST_WDG, 6, ED, EA, EI, P2, P1, P4,
984 ST_PYR, 5, EL, P3, P1, EJ, N0,
985 ST_TET, 4, P3, P2, P1, N0,
986 ST_TET, 4, P3, P6, P2, N0,
987 ST_PYR, 5, EG, P6, P3, EL, N0,
988 ST_PYR, 5, EE, P4, P6, EG, N0,
989 ST_TET, 4, P6, P4, P2, N0,
990 ST_PYR, 5, EJ, EE, EG, EL, N0,
991 ST_TET, 4, P4, P1, P2, N0,
992 ST_PYR, 5, EJ, P1, P4, EE, N0,
993 /* case 95 */ 2,
994 ST_HEX, 8, P4, P1, P3, P6, EE, EJ, EL, EG,
995 ST_WDG, 6, P2, P6, P3, P0, P4, P1,
996 /* case 96 */ 7,
997 ST_PNT, 2, EK, EJ,
998 ST_PYR, 5, P6, P5, EE, EH, N0,
999 ST_PYR, 5, EG, EF, P5, P6, N0,
1000 ST_TET, 4, EF, EJ, P5, N0,
1001 ST_TET, 4, P5, EJ, EE, N0,
1002 ST_TET, 4, EG, N0, P6, EK,
1003 ST_TET, 4, EH, EK, P6, N0,
1004 /* case 97 */ 5,
1005 ST_WDG, 6, EI, EE, EH, P0, P5, P6,
1006 ST_PYR, 5, P0, ED, EK, P6, EA,
1007 ST_PYR, 5, EG, EF, P5, P6, EJ,
1008 ST_PYR, 5, EA, P0, P5, EJ, P6,
1009 ST_PYR, 5, EA, EJ, EG, EK, P6,
1010 /* case 98 */ 8,
1011 ST_PNT, 4, EB, EA, EK, EK,
1012 ST_PYR, 5, P6, P5, EE, EH, N0,
1013 ST_PYR, 5, EF, P5, P6, EG, N0,
1014 ST_TET, 4, P6, EH, EK, N0,
1015 ST_TET, 4, EG, P6, EK, N0,
1016 ST_PYR, 5, EE, P5, P1, EA, N0,
1017 ST_PYR, 5, P5, EF, EB, P1, N0,
1018 ST_TET, 4, EB, EA, P1, N0,
1019 /* case 99 */ 9,
1020 ST_PNT, 5, EB, EF, ED, EK, EG,
1021 ST_WDG, 6, EI, EE, EH, P0, P5, P6,
1022 ST_TET, 4, P5, P0, P6, N0,
1023 ST_PYR, 5, P0, ED, EK, P6, N0,
1024 ST_TET, 4, P1, P0, P5, N0,
1025 ST_PYR, 5, EF, EB, P1, P5, N0,
1026 ST_PYR, 5, EB, ED, P0, P1, N0,
1027 ST_PYR, 5, P6, EG, EF, P5, N0,
1028 ST_TET, 4, EK, EG, P6, N0,
1029 /* case 100 */ 8,
1030 ST_PNT, 4, EC, ED, EJ, EJ,
1031 ST_PYR, 5, P5, EE, EH, P6, N0,
1032 ST_PYR, 5, EG, EF, P5, P6, N0,
1033 ST_TET, 4, P5, EJ, EE, N0,
1034 ST_TET, 4, EF, EJ, P5, N0,
1035 ST_PYR, 5, EH, ED, P2, P6, N0,
1036 ST_PYR, 5, P6, P2, EC, EG, N0,
1037 ST_TET, 4, EC, P2, ED, N0,
1038 /* case 101 */ 9,
1039 ST_PNT, 5, EC, EG, EA, EJ, EF,
1040 ST_WDG, 6, P0, P6, P5, EI, EH, EE,
1041 ST_TET, 4, P6, P5, P0, N0,
1042 ST_PYR, 5, P0, P5, EJ, EA, N0,
1043 ST_TET, 4, P2, P6, P0, N0,
1044 ST_PYR, 5, EG, P6, P2, EC, N0,
1045 ST_PYR, 5, EC, P2, P0, EA, N0,
1046 ST_PYR, 5, P5, P6, EG, EF, N0,
1047 ST_TET, 4, EJ, P5, EF, N0,
1048 /* case 102 */ 2,
1049 ST_HEX, 8, EC, EB, EF, EG, P2, P1, P5, P6,
1050 ST_HEX, 8, P2, P1, P5, P6, ED, EA, EE, EH,
1051 /* case 103 */ 11,
1052 ST_PNT, 6, P0, P6, P2, P1, EF, EB,
1053 ST_WDG, 6, EI, EE, EH, P0, P5, P6,
1054 ST_PYR, 5, EB, P1, P5, EF, N0,
1055 ST_TET, 4, P1, P0, P5, N0,
1056 ST_TET, 4, P1, P2, P0, N0,
1057 ST_PYR, 5, EC, P2, P1, EB, N0,
1058 ST_PYR, 5, EG, P6, P2, EC, N0,
1059 ST_TET, 4, P2, P6, P0, N0,
1060 ST_PYR, 5, EF, EG, EC, EB, N0,
1061 ST_TET, 4, P6, P5, P0, N0,
1062 ST_PYR, 5, EF, P5, P6, EG, N0,
1063 /* case 104 */ 5,
1064 ST_WDG, 6, P5, P6, P3, EF, EG, EL,
1065 ST_PYR, 5, P5, P3, EB, EJ, EE,
1066 ST_PYR, 5, EC, P3, P6, EK, EH,
1067 ST_PYR, 5, EE, EH, P6, P5, P3,
1068 ST_PYR, 5, EE, EB, EC, EH, P3,
1069 /* case 105 */ 5,
1070 ST_WDG, 6, P3, P0, P5, EB, EA, EJ,
1071 ST_TET, 4, P3, P0, P5, P6,
1072 ST_WDG, 6, EG, EF, EL, P6, P5, P3,
1073 ST_WDG, 6, ED, EK, EC, P0, P6, P3,
1074 ST_WDG, 6, EE, EH, EI, P5, P6, P0,
1075 /* case 106 */ 9,
1076 ST_PNT, 5, EA, EC, EE, EH, EK,
1077 ST_WDG, 6, EF, EL, EG, P5, P3, P6,
1078 ST_TET, 4, P3, P5, P6, N0,
1079 ST_PYR, 5, P5, EE, EH, P6, N0,
1080 ST_TET, 4, P1, P5, P3, N0,
1081 ST_PYR, 5, EC, EA, P1, P3, N0,
1082 ST_PYR, 5, EA, EE, P5, P1, N0,
1083 ST_PYR, 5, P6, EK, EC, P3, N0,
1084 ST_TET, 4, EH, EK, P6, N0,
1085 /* case 107 */ 5,
1086 ST_WDG, 6, EH, EI, EE, P6, P0, P5,
1087 ST_WDG, 6, P3, P6, P0, EC, EK, ED,
1088 ST_WDG, 6, EL, EG, EF, P3, P6, P5,
1089 ST_TET, 4, P6, P5, P0, P3,
1090 ST_TET, 4, P3, P1, P5, P0,
1091 /* case 108 */ 9,
1092 ST_PNT, 5, ED, EH, EB, EJ, EE,
1093 ST_WDG, 6, EL, EG, EF, P3, P6, P5,
1094 ST_TET, 4, P6, P3, P5, N0,
1095 ST_PYR, 5, P3, EB, EJ, P5, N0,
1096 ST_TET, 4, P2, P3, P6, N0,
1097 ST_PYR, 5, EH, ED, P2, P6, N0,
1098 ST_PYR, 5, ED, EB, P3, P2, N0,
1099 ST_PYR, 5, P5, EE, EH, P6, N0,
1100 ST_TET, 4, EJ, EE, P5, N0,
1101 /* case 109 */ 5,
1102 ST_WDG, 6, EJ, EA, EB, P5, P0, P3,
1103 ST_WDG, 6, P6, P5, P0, EH, EE, EI,
1104 ST_WDG, 6, EG, EF, EL, P6, P5, P3,
1105 ST_TET, 4, P5, P3, P0, P6,
1106 ST_TET, 4, P6, P2, P3, P0,
1107 /* case 110 */ 11,
1108 ST_PNT, 6, P3, P5, P1, P2, EH, ED,
1109 ST_WDG, 6, EL, EG, EF, P3, P6, P5,
1110 ST_PYR, 5, ED, P2, P6, EH, N0,
1111 ST_TET, 4, P2, P3, P6, N0,
1112 ST_TET, 4, P2, P1, P3, N0,
1113 ST_PYR, 5, EA, P1, P2, ED, N0,
1114 ST_PYR, 5, EE, P5, P1, EA, N0,
1115 ST_TET, 4, P1, P5, P3, N0,
1116 ST_PYR, 5, EH, EE, EA, ED, N0,
1117 ST_TET, 4, P5, P6, P3, N0,
1118 ST_PYR, 5, EH, P6, P5, EE, N0,
1119 /* case 111 */ 5,
1120 ST_WDG, 6, EG, EF, EL, P6, P5, P3,
1121 ST_WDG, 6, P6, P5, P0, EH, EE, EI,
1122 ST_PYR, 5, P2, P0, P1, P3, P6,
1123 ST_TET, 4, P5, P1, P0, P6,
1124 ST_TET, 4, P5, P3, P1, P6,
1125 /* case 112 */ 7,
1126 ST_PNT, 5, EJ, EI, EF, EG, EK,
1127 ST_PYR, 5, EI, EK, P6, P4, N0,
1128 ST_PYR, 5, EJ, EI, P4, P5, N0,
1129 ST_TET, 4, EF, EJ, P5, N0,
1130 ST_TET, 4, P5, P4, P6, N0,
1131 ST_PYR, 5, EF, P5, P6, EG, N0,
1132 ST_TET, 4, P6, EK, EG, N0,
1133 /* case 113 */ 5,
1134 ST_TET, 4, P4, P5, P0, P6,
1135 ST_PYR, 5, EK, P6, P0, ED, EA,
1136 ST_PYR, 5, EG, EF, P5, P6, EJ,
1137 ST_PYR, 5, P0, P5, EJ, EA, P6,
1138 ST_PYR, 5, EK, EA, EJ, EG, P6,
1139 /* case 114 */ 9,
1140 ST_PNT, 6, EI, EA, EB, EF, EG, EK,
1141 ST_TET, 4, P4, P5, P1, N0,
1142 ST_PYR, 5, EI, P4, P1, EA, N0,
1143 ST_PYR, 5, EI, EK, P6, P4, N0,
1144 ST_TET, 4, P6, P5, P4, N0,
1145 ST_TET, 4, P6, EK, EG, N0,
1146 ST_PYR, 5, P6, EG, EF, P5, N0,
1147 ST_PYR, 5, EF, EB, P1, P5, N0,
1148 ST_TET, 4, EB, EA, P1, N0,
1149 /* case 115 */ 9,
1150 ST_PNT, 5, EF, EB, ED, EG, EK,
1151 ST_PYR, 5, P4, P5, P1, P0, N0,
1152 ST_TET, 4, P0, P6, P4, N0,
1153 ST_TET, 4, P6, P5, P4, N0,
1154 ST_PYR, 5, P6, EG, EF, P5, N0,
1155 ST_PYR, 5, EF, EB, P1, P5, N0,
1156 ST_PYR, 5, EB, ED, P0, P1, N0,
1157 ST_PYR, 5, ED, EK, P6, P0, N0,
1158 ST_TET, 4, EG, P6, EK, N0,
1159 /* case 116 */ 9,
1160 ST_PNT, 6, EI, ED, EC, EG, EF, EJ,
1161 ST_TET, 4, P4, P2, P6, N0,
1162 ST_PYR, 5, EI, ED, P2, P4, N0,
1163 ST_PYR, 5, EI, P4, P5, EJ, N0,
1164 ST_TET, 4, P5, P4, P6, N0,
1165 ST_TET, 4, P5, EF, EJ, N0,
1166 ST_PYR, 5, P5, P6, EG, EF, N0,
1167 ST_PYR, 5, EG, P6, P2, EC, N0,
1168 ST_TET, 4, EC, P2, ED, N0,
1169 /* case 117 */ 9,
1170 ST_PNT, 5, EG, EC, EA, EF, EJ,
1171 ST_PYR, 5, P4, P0, P2, P6, N0,
1172 ST_TET, 4, P0, P4, P5, N0,
1173 ST_TET, 4, P5, P4, P6, N0,
1174 ST_PYR, 5, P5, P6, EG, EF, N0,
1175 ST_PYR, 5, EG, P6, P2, EC, N0,
1176 ST_PYR, 5, EC, P2, P0, EA, N0,
1177 ST_PYR, 5, EA, P0, P5, EJ, N0,
1178 ST_TET, 4, EF, EJ, P5, N0,
1179 /* case 118 */ 11,
1180 ST_PNT, 6, P4, P2, P6, P5, EB, EF,
1181 ST_WDG, 6, P4, P1, P2, EI, EA, ED,
1182 ST_PYR, 5, EF, EB, P1, P5, N0,
1183 ST_TET, 4, P5, P1, P4, N0,
1184 ST_TET, 4, P5, P4, P6, N0,
1185 ST_PYR, 5, EG, EF, P5, P6, N0,
1186 ST_PYR, 5, EC, EG, P6, P2, N0,
1187 ST_TET, 4, P6, P4, P2, N0,
1188 ST_PYR, 5, EB, EF, EG, EC, N0,
1189 ST_TET, 4, P2, P4, P1, N0,
1190 ST_PYR, 5, EB, EC, P2, P1, N0,
1191 /* case 119 */ 2,
1192 ST_HEX, 8, EC, EB, EF, EG, P2, P1, P5, P6,
1193 ST_WDG, 6, P0, P2, P1, P4, P6, P5,
1194 /* case 120 */ 9,
1195 ST_PNT, 5, EI, EK, EJ, EB, EC,
1196 ST_WDG, 6, P5, P6, P3, EF, EG, EL,
1197 ST_TET, 4, P6, P3, P5, N0,
1198 ST_PYR, 5, P5, P3, EB, EJ, N0,
1199 ST_TET, 4, P4, P6, P5, N0,
1200 ST_PYR, 5, EK, P6, P4, EI, N0,
1201 ST_PYR, 5, EI, P4, P5, EJ, N0,
1202 ST_PYR, 5, P3, P6, EK, EC, N0,
1203 ST_TET, 4, EB, P3, EC, N0,
1204 /* case 121 */ 5,
1205 ST_WDG, 6, P3, P0, P5, EB, EA, EJ,
1206 ST_WDG, 6, EK, EC, ED, P6, P3, P0,
1207 ST_WDG, 6, P6, P3, P5, EG, EL, EF,
1208 ST_TET, 4, P3, P0, P5, P6,
1209 ST_TET, 4, P6, P5, P4, P0,
1210 /* case 122 */ 11,
1211 ST_PNT, 6, P5, P3, P1, P4, EK, EI,
1212 ST_WDG, 6, P5, P6, P3, EF, EG, EL,
1213 ST_PYR, 5, EI, EK, P6, P4, N0,
1214 ST_TET, 4, P4, P6, P5, N0,
1215 ST_TET, 4, P4, P5, P1, N0,
1216 ST_PYR, 5, EA, EI, P4, P1, N0,
1217 ST_PYR, 5, EC, EA, P1, P3, N0,
1218 ST_TET, 4, P1, P5, P3, N0,
1219 ST_PYR, 5, EK, EI, EA, EC, N0,
1220 ST_TET, 4, P3, P5, P6, N0,
1221 ST_PYR, 5, EK, EC, P3, P6, N0,
1222 /* case 123 */ 5,
1223 ST_WDG, 6, P6, P3, P5, EG, EL, EF,
1224 ST_WDG, 6, EK, EC, ED, P6, P3, P0,
1225 ST_PYR, 5, P4, P5, P1, P0, P6,
1226 ST_TET, 4, P3, P0, P1, P6,
1227 ST_TET, 4, P3, P1, P5, P6,
1228 /* case 124 */ 11,
1229 ST_PNT, 6, P6, P5, P4, P2, EB, ED,
1230 ST_WDG, 6, P6, P3, P5, EG, EL, EF,
1231 ST_PYR, 5, ED, EB, P3, P2, N0,
1232 ST_TET, 4, P2, P3, P6, N0,
1233 ST_TET, 4, P2, P6, P4, N0,
1234 ST_PYR, 5, EI, ED, P2, P4, N0,
1235 ST_PYR, 5, EJ, EI, P4, P5, N0,
1236 ST_TET, 4, P4, P6, P5, N0,
1237 ST_PYR, 5, EB, ED, EI, EJ, N0,
1238 ST_TET, 4, P5, P6, P3, N0,
1239 ST_PYR, 5, EB, EJ, P5, P3, N0,
1240 /* case 125 */ 5,
1241 ST_WDG, 6, P3, P5, P6, EL, EF, EG,
1242 ST_WDG, 6, EB, EJ, EA, P3, P5, P0,
1243 ST_PYR, 5, P2, P6, P4, P0, P3,
1244 ST_TET, 4, P5, P0, P4, P3,
1245 ST_TET, 4, P5, P4, P6, P3,
1246 /* case 126 */ 6,
1247 ST_WDG, 6, ED, EA, EI, P2, P1, P4,
1248 ST_WDG, 6, EL, EG, EF, P3, P6, P5,
1249 ST_TET, 4, P5, P4, P6, P3,
1250 ST_TET, 4, P3, P2, P1, P4,
1251 ST_TET, 4, P2, P3, P6, P4,
1252 ST_TET, 4, P3, P1, P5, P4,
1253 /* case 127 */ 9,
1254 ST_PNT, 7, P1, P0, P2, P3, P5, P4, P6,
1255 ST_WDG, 6, P5, P6, P3, EF, EG, EL,
1256 ST_TET, 4, P5, P6, P3, N0,
1257 ST_PYR, 5, P4, P0, P2, P6, N0,
1258 ST_TET, 4, P6, P2, P3, N0,
1259 ST_PYR, 5, P1, P3, P2, P0, N0,
1260 ST_TET, 4, P1, P5, P3, N0,
1261 ST_PYR, 5, P1, P0, P4, P5, N0,
1262 ST_TET, 4, P5, P4, P6, N0,
1263 /* case 128 */ 1,
1264 ST_TET, 4, P7, EF, EG, EL,
1265 /* case 129 */ 2,
1266 ST_TET, 4, P0, EI, EA, ED,
1267 ST_TET, 4, P7, EF, EG, EL,
1268 /* case 130 */ 7,
1269 ST_PNT, 2, EA, EG,
1270 ST_PYR, 5, P1, P7, EL, EB, N0,
1271 ST_PYR, 5, EJ, EF, P7, P1, N0,
1272 ST_TET, 4, EF, EG, P7, N0,
1273 ST_TET, 4, P7, EG, EL, N0,
1274 ST_TET, 4, EJ, N0, P1, EA,
1275 ST_TET, 4, EB, EA, P1, N0,
1276 /* case 131 */ 8,
1277 ST_PNT, 4, EI, ED, EG, EG,
1278 ST_PYR, 5, P7, EL, EB, P1, N0,
1279 ST_PYR, 5, EJ, EF, P7, P1, N0,
1280 ST_TET, 4, P7, EG, EL, N0,
1281 ST_TET, 4, EF, EG, P7, N0,
1282 ST_PYR, 5, EB, ED, P0, P1, N0,
1283 ST_PYR, 5, P1, P0, EI, EJ, N0,
1284 ST_TET, 4, EI, P0, ED, N0,
1285 /* case 132 */ 7,
1286 ST_PNT, 2, ED, EF,
1287 ST_PYR, 5, P2, P7, EG, EK, N0,
1288 ST_PYR, 5, EC, EL, P7, P2, N0,
1289 ST_TET, 4, EL, EF, P7, N0,
1290 ST_TET, 4, P7, EF, EG, N0,
1291 ST_TET, 4, EC, N0, P2, ED,
1292 ST_TET, 4, EK, ED, P2, N0,
1293 /* case 133 */ 8,
1294 ST_PNT, 4, EA, EI, EF, EF,
1295 ST_PYR, 5, P7, EG, EK, P2, N0,
1296 ST_PYR, 5, EC, EL, P7, P2, N0,
1297 ST_TET, 4, P7, EF, EG, N0,
1298 ST_TET, 4, EL, EF, P7, N0,
1299 ST_PYR, 5, EK, EI, P0, P2, N0,
1300 ST_PYR, 5, P2, P0, EA, EC, N0,
1301 ST_TET, 4, EA, P0, EI, N0,
1302 /* case 134 */ 5,
1303 ST_WDG, 6, P1, P7, P2, EB, EL, EC,
1304 ST_PYR, 5, P1, P2, ED, EA, EJ,
1305 ST_PYR, 5, EK, P2, P7, EG, EF,
1306 ST_PYR, 5, EJ, EF, P7, P1, P2,
1307 ST_PYR, 5, EJ, ED, EK, EF, P2,
1308 /* case 135 */ 9,
1309 ST_PNT, 5, EI, EK, EJ, EF, EG,
1310 ST_WDG, 6, EB, EC, EL, P1, P2, P7,
1311 ST_TET, 4, P2, P1, P7, N0,
1312 ST_PYR, 5, P1, EJ, EF, P7, N0,
1313 ST_TET, 4, P0, P1, P2, N0,
1314 ST_PYR, 5, EK, EI, P0, P2, N0,
1315 ST_PYR, 5, EI, EJ, P1, P0, N0,
1316 ST_PYR, 5, P7, EG, EK, P2, N0,
1317 ST_TET, 4, EF, EG, P7, N0,
1318 /* case 136 */ 1,
1319 ST_WDG, 6, P3, EB, EC, P7, EF, EG,
1320 /* case 137 */ 8,
1321 ST_PNT, 4, EG, EF, EI, EI,
1322 ST_PYR, 5, P0, EA, EB, P3, N0,
1323 ST_PYR, 5, EC, ED, P0, P3, N0,
1324 ST_TET, 4, P0, EI, EA, N0,
1325 ST_TET, 4, ED, EI, P0, N0,
1326 ST_PYR, 5, EB, EF, P7, P3, N0,
1327 ST_PYR, 5, P3, P7, EG, EC, N0,
1328 ST_TET, 4, EG, P7, EF, N0,
1329 /* case 138 */ 7,
1330 ST_PNT, 5, EG, EC, EF, EJ, EA,
1331 ST_PYR, 5, EC, EA, P1, P3, N0,
1332 ST_PYR, 5, EG, EC, P3, P7, N0,
1333 ST_TET, 4, EF, EG, P7, N0,
1334 ST_TET, 4, P7, P3, P1, N0,
1335 ST_PYR, 5, EF, P7, P1, EJ, N0,
1336 ST_TET, 4, P1, EA, EJ, N0,
1337 /* case 139 */ 9,
1338 ST_PNT, 6, EJ, EF, EG, EC, ED, EI,
1339 ST_TET, 4, P1, P7, P3, N0,
1340 ST_PYR, 5, EJ, EF, P7, P1, N0,
1341 ST_PYR, 5, EJ, P1, P0, EI, N0,
1342 ST_TET, 4, P0, P1, P3, N0,
1343 ST_TET, 4, P0, ED, EI, N0,
1344 ST_PYR, 5, P0, P3, EC, ED, N0,
1345 ST_PYR, 5, EC, P3, P7, EG, N0,
1346 ST_TET, 4, EG, P7, EF, N0,
1347 /* case 140 */ 7,
1348 ST_PNT, 5, EF, EB, EG, EK, ED,
1349 ST_PYR, 5, EB, P3, P2, ED, N0,
1350 ST_PYR, 5, EF, P7, P3, EB, N0,
1351 ST_TET, 4, EG, P7, EF, N0,
1352 ST_TET, 4, P7, P2, P3, N0,
1353 ST_PYR, 5, EG, EK, P2, P7, N0,
1354 ST_TET, 4, P2, EK, ED, N0,
1355 /* case 141 */ 9,
1356 ST_PNT, 6, EK, EG, EF, EB, EA, EI,
1357 ST_TET, 4, P2, P3, P7, N0,
1358 ST_PYR, 5, EK, P2, P7, EG, N0,
1359 ST_PYR, 5, EK, EI, P0, P2, N0,
1360 ST_TET, 4, P0, P3, P2, N0,
1361 ST_TET, 4, P0, EI, EA, N0,
1362 ST_PYR, 5, P0, EA, EB, P3, N0,
1363 ST_PYR, 5, EB, EF, P7, P3, N0,
1364 ST_TET, 4, EF, EG, P7, N0,
1365 /* case 142 */ 5,
1366 ST_TET, 4, P3, P1, P7, P2,
1367 ST_PYR, 5, ED, EA, P1, P2, EJ,
1368 ST_PYR, 5, EK, P2, P7, EG, EF,
1369 ST_PYR, 5, P1, EJ, EF, P7, P2,
1370 ST_PYR, 5, ED, EK, EF, EJ, P2,
1371 /* case 143 */ 9,
1372 ST_PNT, 5, EK, EI, EJ, EG, EF,
1373 ST_PYR, 5, P3, P2, P0, P1, N0,
1374 ST_TET, 4, P1, P7, P3, N0,
1375 ST_TET, 4, P7, P2, P3, N0,
1376 ST_PYR, 5, P7, EG, EK, P2, N0,
1377 ST_PYR, 5, EK, EI, P0, P2, N0,
1378 ST_PYR, 5, EI, EJ, P1, P0, N0,
1379 ST_PYR, 5, EJ, EF, P7, P1, N0,
1380 ST_TET, 4, EG, P7, EF, N0,
1381 /* case 144 */ 7,
1382 ST_PNT, 2, EI, EL,
1383 ST_PYR, 5, P4, EH, EG, P7, N0,
1384 ST_PYR, 5, EE, P4, P7, EF, N0,
1385 ST_TET, 4, EF, P7, EL, N0,
1386 ST_TET, 4, P7, EG, EL, N0,
1387 ST_TET, 4, EE, P4, N0, EI,
1388 ST_TET, 4, EH, P4, EI, N0,
1389 /* case 145 */ 8,
1390 ST_PNT, 4, EA, ED, EL, EL,
1391 ST_PYR, 5, P7, P4, EH, EG, N0,
1392 ST_PYR, 5, EE, P4, P7, EF, N0,
1393 ST_TET, 4, P7, EG, EL, N0,
1394 ST_TET, 4, EF, P7, EL, N0,
1395 ST_PYR, 5, EH, P4, P0, ED, N0,
1396 ST_PYR, 5, P4, EE, EA, P0, N0,
1397 ST_TET, 4, EA, ED, P0, N0,
1398 /* case 146 */ 5,
1399 ST_WDG, 6, EJ, EF, EE, P1, P7, P4,
1400 ST_PYR, 5, P1, EA, EI, P4, EB,
1401 ST_PYR, 5, EH, EG, P7, P4, EL,
1402 ST_PYR, 5, EB, P1, P7, EL, P4,
1403 ST_PYR, 5, EB, EL, EH, EI, P4,
1404 /* case 147 */ 9,
1405 ST_PNT, 5, ED, EH, EB, EL, EG,
1406 ST_WDG, 6, P1, P4, P7, EJ, EE, EF,
1407 ST_TET, 4, P4, P7, P1, N0,
1408 ST_PYR, 5, P1, P7, EL, EB, N0,
1409 ST_TET, 4, P0, P4, P1, N0,
1410 ST_PYR, 5, EH, P4, P0, ED, N0,
1411 ST_PYR, 5, ED, P0, P1, EB, N0,
1412 ST_PYR, 5, P7, P4, EH, EG, N0,
1413 ST_TET, 4, EL, P7, EG, N0,
1414 /* case 148 */ 5,
1415 ST_WDG, 6, EH, EG, EK, P4, P7, P2,
1416 ST_PYR, 5, P4, EI, ED, P2, EE,
1417 ST_PYR, 5, EC, EL, P7, P2, EF,
1418 ST_PYR, 5, EE, P4, P7, EF, P2,
1419 ST_PYR, 5, EE, EF, EC, ED, P2,
1420 /* case 149 */ 9,
1421 ST_PNT, 5, EA, EC, EE, EF, EL,
1422 ST_WDG, 6, P4, P2, P7, EH, EK, EG,
1423 ST_TET, 4, P2, P7, P4, N0,
1424 ST_PYR, 5, P4, P7, EF, EE, N0,
1425 ST_TET, 4, P0, P2, P4, N0,
1426 ST_PYR, 5, EC, P2, P0, EA, N0,
1427 ST_PYR, 5, EA, P0, P4, EE, N0,
1428 ST_PYR, 5, P7, P2, EC, EL, N0,
1429 ST_TET, 4, EF, P7, EL, N0,
1430 /* case 150 */ 5,
1431 ST_WDG, 6, EB, EC, EL, P1, P2, P7,
1432 ST_TET, 4, P1, P7, P2, P4,
1433 ST_WDG, 6, P4, P7, P1, EE, EF, EJ,
1434 ST_WDG, 6, P2, P4, P1, ED, EI, EA,
1435 ST_WDG, 6, P7, P4, P2, EG, EH, EK,
1436 /* case 151 */ 5,
1437 ST_WDG, 6, P7, P1, P4, EF, EJ, EE,
1438 ST_WDG, 6, EC, EL, EB, P2, P7, P1,
1439 ST_WDG, 6, P2, P7, P4, EK, EG, EH,
1440 ST_TET, 4, P7, P1, P4, P2,
1441 ST_TET, 4, P2, P4, P0, P1,
1442 /* case 152 */ 8,
1443 ST_PNT, 4, EC, EB, EI, EI,
1444 ST_PYR, 5, P4, P7, EF, EE, N0,
1445 ST_PYR, 5, EG, P7, P4, EH, N0,
1446 ST_TET, 4, P4, EE, EI, N0,
1447 ST_TET, 4, EH, P4, EI, N0,
1448 ST_PYR, 5, EF, P7, P3, EB, N0,
1449 ST_PYR, 5, P7, EG, EC, P3, N0,
1450 ST_TET, 4, EC, EB, P3, N0,
1451 /* case 153 */ 2,
1452 ST_HEX, 8, P0, P3, P7, P4, EA, EB, EF, EE,
1453 ST_HEX, 8, ED, EC, EG, EH, P0, P3, P7, P4,
1454 /* case 154 */ 9,
1455 ST_PNT, 5, EC, EG, EA, EI, EH,
1456 ST_WDG, 6, EJ, EF, EE, P1, P7, P4,
1457 ST_TET, 4, P7, P1, P4, N0,
1458 ST_PYR, 5, P1, EA, EI, P4, N0,
1459 ST_TET, 4, P3, P1, P7, N0,
1460 ST_PYR, 5, EG, EC, P3, P7, N0,
1461 ST_PYR, 5, EC, EA, P1, P3, N0,
1462 ST_PYR, 5, P4, EH, EG, P7, N0,
1463 ST_TET, 4, EI, EH, P4, N0,
1464 /* case 155 */ 11,
1465 ST_PNT, 6, P1, P4, P0, P3, EG, EC,
1466 ST_WDG, 6, EJ, EF, EE, P1, P7, P4,
1467 ST_PYR, 5, EC, P3, P7, EG, N0,
1468 ST_TET, 4, P3, P1, P7, N0,
1469 ST_TET, 4, P3, P0, P1, N0,
1470 ST_PYR, 5, ED, P0, P3, EC, N0,
1471 ST_PYR, 5, EH, P4, P0, ED, N0,
1472 ST_TET, 4, P0, P4, P1, N0,
1473 ST_PYR, 5, EG, EH, ED, EC, N0,
1474 ST_TET, 4, P4, P7, P1, N0,
1475 ST_PYR, 5, EG, P7, P4, EH, N0,
1476 /* case 156 */ 9,
1477 ST_PNT, 5, EB, EF, ED, EI, EE,
1478 ST_WDG, 6, P2, P7, P4, EK, EG, EH,
1479 ST_TET, 4, P7, P4, P2, N0,
1480 ST_PYR, 5, P2, P4, EI, ED, N0,
1481 ST_TET, 4, P3, P7, P2, N0,
1482 ST_PYR, 5, EF, P7, P3, EB, N0,
1483 ST_PYR, 5, EB, P3, P2, ED, N0,
1484 ST_PYR, 5, P4, P7, EF, EE, N0,
1485 ST_TET, 4, EI, P4, EE, N0,
1486 /* case 157 */ 11,
1487 ST_PNT, 6, P2, P4, P0, P3, EF, EB,
1488 ST_WDG, 6, P2, P7, P4, EK, EG, EH,
1489 ST_PYR, 5, EB, EF, P7, P3, N0,
1490 ST_TET, 4, P3, P7, P2, N0,
1491 ST_TET, 4, P3, P2, P0, N0,
1492 ST_PYR, 5, EA, EB, P3, P0, N0,
1493 ST_PYR, 5, EE, EA, P0, P4, N0,
1494 ST_TET, 4, P0, P2, P4, N0,
1495 ST_PYR, 5, EF, EB, EA, EE, N0,
1496 ST_TET, 4, P4, P2, P7, N0,
1497 ST_PYR, 5, EF, EE, P4, P7, N0,
1498 /* case 158 */ 5,
1499 ST_WDG, 6, P4, P2, P7, EH, EK, EG,
1500 ST_WDG, 6, EA, EI, ED, P1, P4, P2,
1501 ST_WDG, 6, P1, P4, P7, EJ, EE, EF,
1502 ST_TET, 4, P4, P2, P7, P1,
1503 ST_TET, 4, P1, P7, P3, P2,
1504 /* case 159 */ 5,
1505 ST_WDG, 6, P4, P7, P1, EE, EF, EJ,
1506 ST_WDG, 6, EH, EG, EK, P4, P7, P2,
1507 ST_PYR, 5, P0, P1, P3, P2, P4,
1508 ST_TET, 4, P7, P2, P3, P4,
1509 ST_TET, 4, P7, P3, P1, P4,
1510 /* case 160 */ 1,
1511 ST_WDG, 6, P7, EL, EG, P5, EJ, EE,
1512 /* case 161 */ 8,
1513 ST_PNT, 4, EG, EL, ED, ED,
1514 ST_PYR, 5, P0, P5, EJ, EA, N0,
1515 ST_PYR, 5, EE, P5, P0, EI, N0,
1516 ST_TET, 4, P0, EA, ED, N0,
1517 ST_TET, 4, EI, P0, ED, N0,
1518 ST_PYR, 5, EJ, P5, P7, EL, N0,
1519 ST_PYR, 5, P5, EE, EG, P7, N0,
1520 ST_TET, 4, EG, EL, P7, N0,
1521 /* case 162 */ 7,
1522 ST_PNT, 5, EG, EE, EL, EB, EA,
1523 ST_PYR, 5, EE, P5, P1, EA, N0,
1524 ST_PYR, 5, EG, P7, P5, EE, N0,
1525 ST_TET, 4, EL, P7, EG, N0,
1526 ST_TET, 4, P7, P1, P5, N0,
1527 ST_PYR, 5, EL, EB, P1, P7, N0,
1528 ST_TET, 4, P1, EB, EA, N0,
1529 /* case 163 */ 9,
1530 ST_PNT, 6, EB, EL, EG, EE, EI, ED,
1531 ST_TET, 4, P1, P5, P7, N0,
1532 ST_PYR, 5, EB, P1, P7, EL, N0,
1533 ST_PYR, 5, EB, ED, P0, P1, N0,
1534 ST_TET, 4, P0, P5, P1, N0,
1535 ST_TET, 4, P0, ED, EI, N0,
1536 ST_PYR, 5, P0, EI, EE, P5, N0,
1537 ST_PYR, 5, EE, EG, P7, P5, N0,
1538 ST_TET, 4, EG, EL, P7, N0,
1539 /* case 164 */ 8,
1540 ST_PNT, 4, EE, EJ, ED, ED,
1541 ST_PYR, 5, P2, EC, EL, P7, N0,
1542 ST_PYR, 5, EG, EK, P2, P7, N0,
1543 ST_TET, 4, P2, ED, EC, N0,
1544 ST_TET, 4, EK, ED, P2, N0,
1545 ST_PYR, 5, EL, EJ, P5, P7, N0,
1546 ST_PYR, 5, P7, P5, EE, EG, N0,
1547 ST_TET, 4, EE, P5, EJ, N0,
1548 /* case 165 */ 2,
1549 ST_HEX, 8, EA, EJ, EL, EC, P0, P5, P7, P2,
1550 ST_HEX, 8, P0, P5, P7, P2, EI, EE, EG, EK,
1551 /* case 166 */ 9,
1552 ST_PNT, 5, EE, EG, EA, ED, EK,
1553 ST_WDG, 6, P1, P7, P2, EB, EL, EC,
1554 ST_TET, 4, P7, P2, P1, N0,
1555 ST_PYR, 5, P1, P2, ED, EA, N0,
1556 ST_TET, 4, P5, P7, P1, N0,
1557 ST_PYR, 5, EG, P7, P5, EE, N0,
1558 ST_PYR, 5, EE, P5, P1, EA, N0,
1559 ST_PYR, 5, P2, P7, EG, EK, N0,
1560 ST_TET, 4, ED, P2, EK, N0,
1561 /* case 167 */ 11,
1562 ST_PNT, 6, P1, P2, P0, P5, EG, EE,
1563 ST_WDG, 6, P1, P7, P2, EB, EL, EC,
1564 ST_PYR, 5, EE, EG, P7, P5, N0,
1565 ST_TET, 4, P5, P7, P1, N0,
1566 ST_TET, 4, P5, P1, P0, N0,
1567 ST_PYR, 5, EI, EE, P5, P0, N0,
1568 ST_PYR, 5, EK, EI, P0, P2, N0,
1569 ST_TET, 4, P0, P1, P2, N0,
1570 ST_PYR, 5, EG, EE, EI, EK, N0,
1571 ST_TET, 4, P2, P1, P7, N0,
1572 ST_PYR, 5, EG, EK, P2, P7, N0,
1573 /* case 168 */ 7,
1574 ST_PNT, 5, EC, EG, EB, EJ, EE,
1575 ST_PYR, 5, EG, P7, P5, EE, N0,
1576 ST_PYR, 5, EC, P3, P7, EG, N0,
1577 ST_TET, 4, EB, P3, EC, N0,
1578 ST_TET, 4, P3, P5, P7, N0,
1579 ST_PYR, 5, EB, EJ, P5, P3, N0,
1580 ST_TET, 4, P5, EJ, EE, N0,
1581 /* case 169 */ 9,
1582 ST_PNT, 5, EG, EE, EC, ED, EI,
1583 ST_WDG, 6, EB, EJ, EA, P3, P5, P0,
1584 ST_TET, 4, P5, P3, P0, N0,
1585 ST_PYR, 5, P3, EC, ED, P0, N0,
1586 ST_TET, 4, P7, P3, P5, N0,
1587 ST_PYR, 5, EE, EG, P7, P5, N0,
1588 ST_PYR, 5, EG, EC, P3, P7, N0,
1589 ST_PYR, 5, P0, EI, EE, P5, N0,
1590 ST_TET, 4, ED, EI, P0, N0,
1591 /* case 170 */ 1,
1592 ST_HEX, 8, P1, P5, P7, P3, EA, EE, EG, EC,
1593 /* case 171 */ 9,
1594 ST_PNT, 5, EE, EG, EC, EI, ED,
1595 ST_PYR, 5, P1, P5, P7, P3, N0,
1596 ST_TET, 4, P3, P0, P1, N0,
1597 ST_TET, 4, P0, P5, P1, N0,
1598 ST_PYR, 5, P0, EI, EE, P5, N0,
1599 ST_PYR, 5, EE, EG, P7, P5, N0,
1600 ST_PYR, 5, EG, EC, P3, P7, N0,
1601 ST_PYR, 5, EC, ED, P0, P3, N0,
1602 ST_TET, 4, EI, P0, ED, N0,
1603 /* case 172 */ 9,
1604 ST_PNT, 6, EB, EJ, EE, EG, EK, ED,
1605 ST_TET, 4, P3, P5, P7, N0,
1606 ST_PYR, 5, EB, EJ, P5, P3, N0,
1607 ST_PYR, 5, EB, P3, P2, ED, N0,
1608 ST_TET, 4, P2, P3, P7, N0,
1609 ST_TET, 4, P2, EK, ED, N0,
1610 ST_PYR, 5, P2, P7, EG, EK, N0,
1611 ST_PYR, 5, EG, P7, P5, EE, N0,
1612 ST_TET, 4, EE, P5, EJ, N0,
1613 /* case 173 */ 11,
1614 ST_PNT, 6, P3, P0, P2, P7, EE, EG,
1615 ST_WDG, 6, EB, EJ, EA, P3, P5, P0,
1616 ST_PYR, 5, EG, P7, P5, EE, N0,
1617 ST_TET, 4, P7, P3, P5, N0,
1618 ST_TET, 4, P7, P2, P3, N0,
1619 ST_PYR, 5, EK, P2, P7, EG, N0,
1620 ST_PYR, 5, EI, P0, P2, EK, N0,
1621 ST_TET, 4, P2, P0, P3, N0,
1622 ST_PYR, 5, EE, EI, EK, EG, N0,
1623 ST_TET, 4, P0, P5, P3, N0,
1624 ST_PYR, 5, EE, P5, P0, EI, N0,
1625 /* case 174 */ 9,
1626 ST_PNT, 5, EG, EE, EA, EK, ED,
1627 ST_PYR, 5, P3, P1, P5, P7, N0,
1628 ST_TET, 4, P1, P3, P2, N0,
1629 ST_TET, 4, P2, P3, P7, N0,
1630 ST_PYR, 5, P2, P7, EG, EK, N0,
1631 ST_PYR, 5, EG, P7, P5, EE, N0,
1632 ST_PYR, 5, EE, P5, P1, EA, N0,
1633 ST_PYR, 5, EA, P1, P2, ED, N0,
1634 ST_TET, 4, EK, ED, P2, N0,
1635 /* case 175 */ 2,
1636 ST_HEX, 8, P0, P5, P7, P2, EI, EE, EG, EK,
1637 ST_WDG, 6, P3, P2, P7, P1, P0, P5,
1638 /* case 176 */ 7,
1639 ST_PNT, 5, EL, EJ, EG, EH, EI,
1640 ST_PYR, 5, EJ, EI, P4, P5, N0,
1641 ST_PYR, 5, EL, EJ, P5, P7, N0,
1642 ST_TET, 4, EG, EL, P7, N0,
1643 ST_TET, 4, P7, P5, P4, N0,
1644 ST_PYR, 5, EG, P7, P4, EH, N0,
1645 ST_TET, 4, P4, EI, EH, N0,
1646 /* case 177 */ 9,
1647 ST_PNT, 6, EH, EG, EL, EJ, EA, ED,
1648 ST_TET, 4, P4, P7, P5, N0,
1649 ST_PYR, 5, EH, EG, P7, P4, N0,
1650 ST_PYR, 5, EH, P4, P0, ED, N0,
1651 ST_TET, 4, P0, P4, P5, N0,
1652 ST_TET, 4, P0, EA, ED, N0,
1653 ST_PYR, 5, P0, P5, EJ, EA, N0,
1654 ST_PYR, 5, EJ, P5, P7, EL, N0,
1655 ST_TET, 4, EL, P7, EG, N0,
1656 /* case 178 */ 5,
1657 ST_TET, 4, P5, P7, P1, P4,
1658 ST_PYR, 5, EI, P4, P1, EA, EB,
1659 ST_PYR, 5, EH, EG, P7, P4, EL,
1660 ST_PYR, 5, P1, P7, EL, EB, P4,
1661 ST_PYR, 5, EI, EB, EL, EH, P4,
1662 /* case 179 */ 9,
1663 ST_PNT, 5, EH, ED, EB, EG, EL,
1664 ST_PYR, 5, P5, P1, P0, P4, N0,
1665 ST_TET, 4, P1, P5, P7, N0,
1666 ST_TET, 4, P7, P5, P4, N0,
1667 ST_PYR, 5, P7, P4, EH, EG, N0,
1668 ST_PYR, 5, EH, P4, P0, ED, N0,
1669 ST_PYR, 5, ED, P0, P1, EB, N0,
1670 ST_PYR, 5, EB, P1, P7, EL, N0,
1671 ST_TET, 4, EG, EL, P7, N0,
1672 /* case 180 */ 9,
1673 ST_PNT, 5, EJ, EL, EI, ED, EC,
1674 ST_WDG, 6, EH, EG, EK, P4, P7, P2,
1675 ST_TET, 4, P7, P4, P2, N0,
1676 ST_PYR, 5, P4, EI, ED, P2, N0,
1677 ST_TET, 4, P5, P4, P7, N0,
1678 ST_PYR, 5, EL, EJ, P5, P7, N0,
1679 ST_PYR, 5, EJ, EI, P4, P5, N0,
1680 ST_PYR, 5, P2, EC, EL, P7, N0,
1681 ST_TET, 4, ED, EC, P2, N0,
1682 /* case 181 */ 11,
1683 ST_PNT, 6, P4, P2, P0, P5, EL, EJ,
1684 ST_WDG, 6, EH, EG, EK, P4, P7, P2,
1685 ST_PYR, 5, EJ, P5, P7, EL, N0,
1686 ST_TET, 4, P5, P4, P7, N0,
1687 ST_TET, 4, P5, P0, P4, N0,
1688 ST_PYR, 5, EA, P0, P5, EJ, N0,
1689 ST_PYR, 5, EC, P2, P0, EA, N0,
1690 ST_TET, 4, P0, P2, P4, N0,
1691 ST_PYR, 5, EL, EC, EA, EJ, N0,
1692 ST_TET, 4, P2, P7, P4, N0,
1693 ST_PYR, 5, EL, P7, P2, EC, N0,
1694 /* case 182 */ 5,
1695 ST_WDG, 6, EK, EH, EG, P2, P4, P7,
1696 ST_WDG, 6, P1, P2, P4, EA, ED, EI,
1697 ST_WDG, 6, EB, EC, EL, P1, P2, P7,
1698 ST_TET, 4, P2, P7, P4, P1,
1699 ST_TET, 4, P1, P5, P7, P4,
1700 /* case 183 */ 5,
1701 ST_WDG, 6, EC, EL, EB, P2, P7, P1,
1702 ST_WDG, 6, P2, P7, P4, EK, EG, EH,
1703 ST_PYR, 5, P0, P4, P5, P1, P2,
1704 ST_TET, 4, P7, P5, P4, P2,
1705 ST_TET, 4, P7, P1, P5, P2,
1706 /* case 184 */ 9,
1707 ST_PNT, 6, EJ, EB, EC, EG, EH, EI,
1708 ST_TET, 4, P5, P7, P3, N0,
1709 ST_PYR, 5, EJ, P5, P3, EB, N0,
1710 ST_PYR, 5, EJ, EI, P4, P5, N0,
1711 ST_TET, 4, P4, P7, P5, N0,
1712 ST_TET, 4, P4, EI, EH, N0,
1713 ST_PYR, 5, P4, EH, EG, P7, N0,
1714 ST_PYR, 5, EG, EC, P3, P7, N0,
1715 ST_TET, 4, EC, EB, P3, N0,
1716 /* case 185 */ 11,
1717 ST_PNT, 6, P5, P0, P4, P7, EC, EG,
1718 ST_WDG, 6, P5, P3, P0, EJ, EB, EA,
1719 ST_PYR, 5, EG, EC, P3, P7, N0,
1720 ST_TET, 4, P7, P3, P5, N0,
1721 ST_TET, 4, P7, P5, P4, N0,
1722 ST_PYR, 5, EH, EG, P7, P4, N0,
1723 ST_PYR, 5, ED, EH, P4, P0, N0,
1724 ST_TET, 4, P4, P5, P0, N0,
1725 ST_PYR, 5, EC, EG, EH, ED, N0,
1726 ST_TET, 4, P0, P5, P3, N0,
1727 ST_PYR, 5, EC, ED, P0, P3, N0,
1728 /* case 186 */ 9,
1729 ST_PNT, 5, EG, EC, EA, EH, EI,
1730 ST_PYR, 5, P5, P7, P3, P1, N0,
1731 ST_TET, 4, P1, P4, P5, N0,
1732 ST_TET, 4, P4, P7, P5, N0,
1733 ST_PYR, 5, P4, EH, EG, P7, N0,
1734 ST_PYR, 5, EG, EC, P3, P7, N0,
1735 ST_PYR, 5, EC, EA, P1, P3, N0,
1736 ST_PYR, 5, EA, EI, P4, P1, N0,
1737 ST_TET, 4, EH, P4, EI, N0,
1738 /* case 187 */ 2,
1739 ST_HEX, 8, ED, EC, EG, EH, P0, P3, P7, P4,
1740 ST_WDG, 6, P1, P0, P3, P5, P4, P7,
1741 /* case 188 */ 11,
1742 ST_PNT, 6, P7, P4, P5, P3, ED, EB,
1743 ST_WDG, 6, EG, EK, EH, P7, P2, P4,
1744 ST_PYR, 5, EB, P3, P2, ED, N0,
1745 ST_TET, 4, P3, P7, P2, N0,
1746 ST_TET, 4, P3, P5, P7, N0,
1747 ST_PYR, 5, EJ, P5, P3, EB, N0,
1748 ST_PYR, 5, EI, P4, P5, EJ, N0,
1749 ST_TET, 4, P5, P4, P7, N0,
1750 ST_PYR, 5, ED, EI, EJ, EB, N0,
1751 ST_TET, 4, P4, P2, P7, N0,
1752 ST_PYR, 5, ED, P2, P4, EI, N0,
1753 /* case 189 */ 6,
1754 ST_WDG, 6, P0, P5, P3, EA, EJ, EB,
1755 ST_WDG, 6, P4, P2, P7, EH, EK, EG,
1756 ST_TET, 4, P7, P2, P3, P4,
1757 ST_TET, 4, P4, P5, P0, P3,
1758 ST_TET, 4, P0, P2, P4, P3,
1759 ST_TET, 4, P4, P7, P5, P3,
1760 /* case 190 */ 5,
1761 ST_WDG, 6, EK, EH, EG, P2, P4, P7,
1762 ST_WDG, 6, P2, P4, P1, ED, EI, EA,
1763 ST_PYR, 5, P3, P1, P5, P7, P2,
1764 ST_TET, 4, P4, P5, P1, P2,
1765 ST_TET, 4, P4, P7, P5, P2,
1766 /* case 191 */ 9,
1767 ST_PNT, 7, P5, P1, P0, P4, P7, P3, P2,
1768 ST_WDG, 6, EG, EK, EH, P7, P2, P4,
1769 ST_TET, 4, P7, P4, P2, N0,
1770 ST_PYR, 5, P3, P2, P0, P1, N0,
1771 ST_TET, 4, P2, P4, P0, N0,
1772 ST_PYR, 5, P5, P1, P0, P4, N0,
1773 ST_TET, 4, P5, P4, P7, N0,
1774 ST_PYR, 5, P5, P7, P3, P1, N0,
1775 ST_TET, 4, P7, P2, P3, N0,
1776 /* case 192 */ 1,
1777 ST_WDG, 6, P7, EF, EL, P6, EH, EK,
1778 /* case 193 */ 8,
1779 ST_PNT, 4, EL, EF, EA, EA,
1780 ST_PYR, 5, P0, P6, EH, EI, N0,
1781 ST_PYR, 5, EK, P6, P0, ED, N0,
1782 ST_TET, 4, P0, EI, EA, N0,
1783 ST_TET, 4, ED, P0, EA, N0,
1784 ST_PYR, 5, EH, P6, P7, EF, N0,
1785 ST_PYR, 5, P6, EK, EL, P7, N0,
1786 ST_TET, 4, EL, EF, P7, N0,
1787 /* case 194 */ 8,
1788 ST_PNT, 4, EK, EH, EA, EA,
1789 ST_PYR, 5, P1, EJ, EF, P7, N0,
1790 ST_PYR, 5, EL, EB, P1, P7, N0,
1791 ST_TET, 4, P1, EA, EJ, N0,
1792 ST_TET, 4, EB, EA, P1, N0,
1793 ST_PYR, 5, EF, EH, P6, P7, N0,
1794 ST_PYR, 5, P7, P6, EK, EL, N0,
1795 ST_TET, 4, EK, P6, EH, N0,
1796 /* case 195 */ 2,
1797 ST_HEX, 8, EI, EH, EF, EJ, P0, P6, P7, P1,
1798 ST_HEX, 8, P0, P6, P7, P1, ED, EK, EL, EB,
1799 /* case 196 */ 7,
1800 ST_PNT, 5, EF, EH, EL, EC, ED,
1801 ST_PYR, 5, EH, ED, P2, P6, N0,
1802 ST_PYR, 5, EF, EH, P6, P7, N0,
1803 ST_TET, 4, EL, EF, P7, N0,
1804 ST_TET, 4, P7, P6, P2, N0,
1805 ST_PYR, 5, EL, P7, P2, EC, N0,
1806 ST_TET, 4, P2, ED, EC, N0,
1807 /* case 197 */ 9,
1808 ST_PNT, 6, EC, EL, EF, EH, EI, EA,
1809 ST_TET, 4, P2, P7, P6, N0,
1810 ST_PYR, 5, EC, EL, P7, P2, N0,
1811 ST_PYR, 5, EC, P2, P0, EA, N0,
1812 ST_TET, 4, P0, P2, P6, N0,
1813 ST_TET, 4, P0, EI, EA, N0,
1814 ST_PYR, 5, P0, P6, EH, EI, N0,
1815 ST_PYR, 5, EH, P6, P7, EF, N0,
1816 ST_TET, 4, EF, P7, EL, N0,
1817 /* case 198 */ 9,
1818 ST_PNT, 5, EH, EF, ED, EA, EJ,
1819 ST_WDG, 6, EC, EL, EB, P2, P7, P1,
1820 ST_TET, 4, P7, P2, P1, N0,
1821 ST_PYR, 5, P2, ED, EA, P1, N0,
1822 ST_TET, 4, P6, P2, P7, N0,
1823 ST_PYR, 5, EF, EH, P6, P7, N0,
1824 ST_PYR, 5, EH, ED, P2, P6, N0,
1825 ST_PYR, 5, P1, EJ, EF, P7, N0,
1826 ST_TET, 4, EA, EJ, P1, N0,
1827 /* case 199 */ 11,
1828 ST_PNT, 6, P2, P1, P0, P6, EF, EH,
1829 ST_WDG, 6, EC, EL, EB, P2, P7, P1,
1830 ST_PYR, 5, EH, P6, P7, EF, N0,
1831 ST_TET, 4, P6, P2, P7, N0,
1832 ST_TET, 4, P6, P0, P2, N0,
1833 ST_PYR, 5, EI, P0, P6, EH, N0,
1834 ST_PYR, 5, EJ, P1, P0, EI, N0,
1835 ST_TET, 4, P0, P1, P2, N0,
1836 ST_PYR, 5, EF, EJ, EI, EH, N0,
1837 ST_TET, 4, P1, P7, P2, N0,
1838 ST_PYR, 5, EF, P7, P1, EJ, N0,
1839 /* case 200 */ 7,
1840 ST_PNT, 5, EH, EF, EK, EC, EB,
1841 ST_PYR, 5, EF, P7, P3, EB, N0,
1842 ST_PYR, 5, EH, P6, P7, EF, N0,
1843 ST_TET, 4, EK, P6, EH, N0,
1844 ST_TET, 4, P6, P3, P7, N0,
1845 ST_PYR, 5, EK, EC, P3, P6, N0,
1846 ST_TET, 4, P3, EC, EB, N0,
1847 /* case 201 */ 9,
1848 ST_PNT, 5, EF, EB, EH, EI, EA,
1849 ST_WDG, 6, EK, EC, ED, P6, P3, P0,
1850 ST_TET, 4, P3, P6, P0, N0,
1851 ST_PYR, 5, P6, EH, EI, P0, N0,
1852 ST_TET, 4, P7, P6, P3, N0,
1853 ST_PYR, 5, EB, EF, P7, P3, N0,
1854 ST_PYR, 5, EF, EH, P6, P7, N0,
1855 ST_PYR, 5, P0, EA, EB, P3, N0,
1856 ST_TET, 4, EI, EA, P0, N0,
1857 /* case 202 */ 9,
1858 ST_PNT, 6, EC, EK, EH, EF, EJ, EA,
1859 ST_TET, 4, P3, P7, P6, N0,
1860 ST_PYR, 5, EC, P3, P6, EK, N0,
1861 ST_PYR, 5, EC, EA, P1, P3, N0,
1862 ST_TET, 4, P1, P7, P3, N0,
1863 ST_TET, 4, P1, EA, EJ, N0,
1864 ST_PYR, 5, P1, EJ, EF, P7, N0,
1865 ST_PYR, 5, EF, EH, P6, P7, N0,
1866 ST_TET, 4, EH, EK, P6, N0,
1867 /* case 203 */ 11,
1868 ST_PNT, 6, P3, P0, P1, P7, EH, EF,
1869 ST_WDG, 6, P3, P6, P0, EC, EK, ED,
1870 ST_PYR, 5, EF, EH, P6, P7, N0,
1871 ST_TET, 4, P7, P6, P3, N0,
1872 ST_TET, 4, P7, P3, P1, N0,
1873 ST_PYR, 5, EJ, EF, P7, P1, N0,
1874 ST_PYR, 5, EI, EJ, P1, P0, N0,
1875 ST_TET, 4, P1, P3, P0, N0,
1876 ST_PYR, 5, EH, EF, EJ, EI, N0,
1877 ST_TET, 4, P0, P3, P6, N0,
1878 ST_PYR, 5, EH, EI, P0, P6, N0,
1879 /* case 204 */ 1,
1880 ST_HEX, 8, P2, P3, P7, P6, ED, EB, EF, EH,
1881 /* case 205 */ 9,
1882 ST_PNT, 5, EB, EF, EH, EA, EI,
1883 ST_PYR, 5, P2, P3, P7, P6, N0,
1884 ST_TET, 4, P6, P0, P2, N0,
1885 ST_TET, 4, P0, P3, P2, N0,
1886 ST_PYR, 5, P0, EA, EB, P3, N0,
1887 ST_PYR, 5, EB, EF, P7, P3, N0,
1888 ST_PYR, 5, EF, EH, P6, P7, N0,
1889 ST_PYR, 5, EH, EI, P0, P6, N0,
1890 ST_TET, 4, EA, P0, EI, N0,
1891 /* case 206 */ 9,
1892 ST_PNT, 5, EF, EH, ED, EJ, EA,
1893 ST_PYR, 5, P3, P7, P6, P2, N0,
1894 ST_TET, 4, P2, P1, P3, N0,
1895 ST_TET, 4, P1, P7, P3, N0,
1896 ST_PYR, 5, P1, EJ, EF, P7, N0,
1897 ST_PYR, 5, EF, EH, P6, P7, N0,
1898 ST_PYR, 5, EH, ED, P2, P6, N0,
1899 ST_PYR, 5, ED, EA, P1, P2, N0,
1900 ST_TET, 4, EJ, P1, EA, N0,
1901 /* case 207 */ 2,
1902 ST_HEX, 8, EI, EH, EF, EJ, P0, P6, P7, P1,
1903 ST_WDG, 6, P2, P0, P6, P3, P1, P7,
1904 /* case 208 */ 7,
1905 ST_PNT, 5, EL, EK, EF, EE, EI,
1906 ST_PYR, 5, EK, P6, P4, EI, N0,
1907 ST_PYR, 5, EL, P7, P6, EK, N0,
1908 ST_TET, 4, EF, P7, EL, N0,
1909 ST_TET, 4, P7, P4, P6, N0,
1910 ST_PYR, 5, EF, EE, P4, P7, N0,
1911 ST_TET, 4, P4, EE, EI, N0,
1912 /* case 209 */ 9,
1913 ST_PNT, 6, EE, EF, EL, EK, ED, EA,
1914 ST_TET, 4, P4, P6, P7, N0,
1915 ST_PYR, 5, EE, P4, P7, EF, N0,
1916 ST_PYR, 5, EE, EA, P0, P4, N0,
1917 ST_TET, 4, P0, P6, P4, N0,
1918 ST_TET, 4, P0, EA, ED, N0,
1919 ST_PYR, 5, P0, ED, EK, P6, N0,
1920 ST_PYR, 5, EK, EL, P7, P6, N0,
1921 ST_TET, 4, EL, EF, P7, N0,
1922 /* case 210 */ 9,
1923 ST_PNT, 5, EK, EL, EI, EA, EB,
1924 ST_WDG, 6, P4, P7, P1, EE, EF, EJ,
1925 ST_TET, 4, P7, P1, P4, N0,
1926 ST_PYR, 5, P4, P1, EA, EI, N0,
1927 ST_TET, 4, P6, P7, P4, N0,
1928 ST_PYR, 5, EL, P7, P6, EK, N0,
1929 ST_PYR, 5, EK, P6, P4, EI, N0,
1930 ST_PYR, 5, P1, P7, EL, EB, N0,
1931 ST_TET, 4, EA, P1, EB, N0,
1932 /* case 211 */ 11,
1933 ST_PNT, 6, P4, P1, P0, P6, EL, EK,
1934 ST_WDG, 6, P4, P7, P1, EE, EF, EJ,
1935 ST_PYR, 5, EK, EL, P7, P6, N0,
1936 ST_TET, 4, P6, P7, P4, N0,
1937 ST_TET, 4, P6, P4, P0, N0,
1938 ST_PYR, 5, ED, EK, P6, P0, N0,
1939 ST_PYR, 5, EB, ED, P0, P1, N0,
1940 ST_TET, 4, P0, P4, P1, N0,
1941 ST_PYR, 5, EL, EK, ED, EB, N0,
1942 ST_TET, 4, P1, P4, P7, N0,
1943 ST_PYR, 5, EL, EB, P1, P7, N0,
1944 /* case 212 */ 5,
1945 ST_TET, 4, P6, P7, P4, P2,
1946 ST_PYR, 5, ED, P2, P4, EI, EE,
1947 ST_PYR, 5, EC, EL, P7, P2, EF,
1948 ST_PYR, 5, P4, P7, EF, EE, P2,
1949 ST_PYR, 5, ED, EE, EF, EC, P2,
1950 /* case 213 */ 9,
1951 ST_PNT, 5, EC, EA, EE, EL, EF,
1952 ST_PYR, 5, P6, P4, P0, P2, N0,
1953 ST_TET, 4, P4, P6, P7, N0,
1954 ST_TET, 4, P7, P6, P2, N0,
1955 ST_PYR, 5, P7, P2, EC, EL, N0,
1956 ST_PYR, 5, EC, P2, P0, EA, N0,
1957 ST_PYR, 5, EA, P0, P4, EE, N0,
1958 ST_PYR, 5, EE, P4, P7, EF, N0,
1959 ST_TET, 4, EL, EF, P7, N0,
1960 /* case 214 */ 5,
1961 ST_WDG, 6, EB, EC, EL, P1, P2, P7,
1962 ST_WDG, 6, P4, P1, P2, EI, EA, ED,
1963 ST_WDG, 6, EE, EJ, EF, P4, P1, P7,
1964 ST_TET, 4, P1, P7, P2, P4,
1965 ST_TET, 4, P4, P6, P7, P2,
1966 /* case 215 */ 5,
1967 ST_WDG, 6, EJ, EF, EE, P1, P7, P4,
1968 ST_WDG, 6, P1, P7, P2, EB, EL, EC,
1969 ST_PYR, 5, P0, P2, P6, P4, P1,
1970 ST_TET, 4, P7, P6, P2, P1,
1971 ST_TET, 4, P7, P4, P6, P1,
1972 /* case 216 */ 9,
1973 ST_PNT, 6, EK, EC, EB, EF, EE, EI,
1974 ST_TET, 4, P6, P3, P7, N0,
1975 ST_PYR, 5, EK, EC, P3, P6, N0,
1976 ST_PYR, 5, EK, P6, P4, EI, N0,
1977 ST_TET, 4, P4, P6, P7, N0,
1978 ST_TET, 4, P4, EE, EI, N0,
1979 ST_PYR, 5, P4, P7, EF, EE, N0,
1980 ST_PYR, 5, EF, P7, P3, EB, N0,
1981 ST_TET, 4, EB, P3, EC, N0,
1982 /* case 217 */ 11,
1983 ST_PNT, 6, P6, P0, P4, P7, EB, EF,
1984 ST_WDG, 6, EK, EC, ED, P6, P3, P0,
1985 ST_PYR, 5, EF, P7, P3, EB, N0,
1986 ST_TET, 4, P7, P6, P3, N0,
1987 ST_TET, 4, P7, P4, P6, N0,
1988 ST_PYR, 5, EE, P4, P7, EF, N0,
1989 ST_PYR, 5, EA, P0, P4, EE, N0,
1990 ST_TET, 4, P4, P0, P6, N0,
1991 ST_PYR, 5, EB, EA, EE, EF, N0,
1992 ST_TET, 4, P0, P3, P6, N0,
1993 ST_PYR, 5, EB, P3, P0, EA, N0,
1994 /* case 218 */ 11,
1995 ST_PNT, 6, P7, P1, P3, P6, EI, EK,
1996 ST_WDG, 6, EF, EE, EJ, P7, P4, P1,
1997 ST_PYR, 5, EK, P6, P4, EI, N0,
1998 ST_TET, 4, P6, P7, P4, N0,
1999 ST_TET, 4, P6, P3, P7, N0,
2000 ST_PYR, 5, EC, P3, P6, EK, N0,
2001 ST_PYR, 5, EA, P1, P3, EC, N0,
2002 ST_TET, 4, P3, P1, P7, N0,
2003 ST_PYR, 5, EI, EA, EC, EK, N0,
2004 ST_TET, 4, P1, P4, P7, N0,
2005 ST_PYR, 5, EI, P4, P1, EA, N0,
2006 /* case 219 */ 6,
2007 ST_WDG, 6, P0, P3, P6, ED, EC, EK,
2008 ST_WDG, 6, P1, P4, P7, EJ, EE, EF,
2009 ST_TET, 4, P7, P4, P6, P1,
2010 ST_TET, 4, P1, P3, P0, P6,
2011 ST_TET, 4, P0, P4, P1, P6,
2012 ST_TET, 4, P1, P7, P3, P6,
2013 /* case 220 */ 9,
2014 ST_PNT, 5, EF, EB, ED, EE, EI,
2015 ST_PYR, 5, P6, P2, P3, P7, N0,
2016 ST_TET, 4, P2, P6, P4, N0,
2017 ST_TET, 4, P4, P6, P7, N0,
2018 ST_PYR, 5, P4, P7, EF, EE, N0,
2019 ST_PYR, 5, EF, P7, P3, EB, N0,
2020 ST_PYR, 5, EB, P3, P2, ED, N0,
2021 ST_PYR, 5, ED, P2, P4, EI, N0,
2022 ST_TET, 4, EE, EI, P4, N0,
2023 /* case 221 */ 2,
2024 ST_HEX, 8, P0, P3, P7, P4, EA, EB, EF, EE,
2025 ST_WDG, 6, P6, P4, P7, P2, P0, P3,
2026 /* case 222 */ 5,
2027 ST_WDG, 6, EE, EJ, EF, P4, P1, P7,
2028 ST_WDG, 6, P4, P1, P2, EI, EA, ED,
2029 ST_PYR, 5, P6, P2, P3, P7, P4,
2030 ST_TET, 4, P1, P3, P2, P4,
2031 ST_TET, 4, P1, P7, P3, P4,
2032 /* case 223 */ 9,
2033 ST_PNT, 7, P3, P2, P0, P1, P7, P6, P4,
2034 ST_WDG, 6, EF, EE, EJ, P7, P4, P1,
2035 ST_TET, 4, P7, P1, P4, N0,
2036 ST_PYR, 5, P6, P4, P0, P2, N0,
2037 ST_TET, 4, P4, P1, P0, N0,
2038 ST_PYR, 5, P3, P2, P0, P1, N0,
2039 ST_TET, 4, P3, P1, P7, N0,
2040 ST_PYR, 5, P3, P7, P6, P2, N0,
2041 ST_TET, 4, P7, P4, P6, N0,
2042 /* case 224 */ 7,
2043 ST_PNT, 5, EK, EL, EH, EE, EJ,
2044 ST_PYR, 5, EL, EJ, P5, P7, N0,
2045 ST_PYR, 5, EK, EL, P7, P6, N0,
2046 ST_TET, 4, EH, EK, P6, N0,
2047 ST_TET, 4, P6, P7, P5, N0,
2048 ST_PYR, 5, EH, P6, P5, EE, N0,
2049 ST_TET, 4, P5, EJ, EE, N0,
2050 /* case 225 */ 9,
2051 ST_PNT, 5, EL, EJ, EK, ED, EA,
2052 ST_WDG, 6, P6, P5, P0, EH, EE, EI,
2053 ST_TET, 4, P5, P0, P6, N0,
2054 ST_PYR, 5, P6, P0, ED, EK, N0,
2055 ST_TET, 4, P7, P5, P6, N0,
2056 ST_PYR, 5, EJ, P5, P7, EL, N0,
2057 ST_PYR, 5, EL, P7, P6, EK, N0,
2058 ST_PYR, 5, P0, P5, EJ, EA, N0,
2059 ST_TET, 4, ED, P0, EA, N0,
2060 /* case 226 */ 9,
2061 ST_PNT, 6, EE, EH, EK, EL, EB, EA,
2062 ST_TET, 4, P5, P6, P7, N0,
2063 ST_PYR, 5, EE, EH, P6, P5, N0,
2064 ST_PYR, 5, EE, P5, P1, EA, N0,
2065 ST_TET, 4, P1, P5, P7, N0,
2066 ST_TET, 4, P1, EB, EA, N0,
2067 ST_PYR, 5, P1, P7, EL, EB, N0,
2068 ST_PYR, 5, EL, P7, P6, EK, N0,
2069 ST_TET, 4, EK, P6, EH, N0,
2070 /* case 227 */ 11,
2071 ST_PNT, 6, P5, P0, P1, P7, EK, EL,
2072 ST_WDG, 6, EE, EH, EI, P5, P6, P0,
2073 ST_PYR, 5, EL, P7, P6, EK, N0,
2074 ST_TET, 4, P7, P5, P6, N0,
2075 ST_TET, 4, P7, P1, P5, N0,
2076 ST_PYR, 5, EB, P1, P7, EL, N0,
2077 ST_PYR, 5, ED, P0, P1, EB, N0,
2078 ST_TET, 4, P1, P0, P5, N0,
2079 ST_PYR, 5, EK, ED, EB, EL, N0,
2080 ST_TET, 4, P0, P6, P5, N0,
2081 ST_PYR, 5, EK, P6, P0, ED, N0,
2082 /* case 228 */ 9,
2083 ST_PNT, 6, EH, EE, EJ, EL, EC, ED,
2084 ST_TET, 4, P6, P7, P5, N0,
2085 ST_PYR, 5, EH, P6, P5, EE, N0,
2086 ST_PYR, 5, EH, ED, P2, P6, N0,
2087 ST_TET, 4, P2, P7, P6, N0,
2088 ST_TET, 4, P2, ED, EC, N0,
2089 ST_PYR, 5, P2, EC, EL, P7, N0,
2090 ST_PYR, 5, EL, EJ, P5, P7, N0,
2091 ST_TET, 4, EJ, EE, P5, N0,
2092 /* case 229 */ 11,
2093 ST_PNT, 6, P6, P0, P2, P7, EJ, EL,
2094 ST_WDG, 6, P6, P5, P0, EH, EE, EI,
2095 ST_PYR, 5, EL, EJ, P5, P7, N0,
2096 ST_TET, 4, P7, P5, P6, N0,
2097 ST_TET, 4, P7, P6, P2, N0,
2098 ST_PYR, 5, EC, EL, P7, P2, N0,
2099 ST_PYR, 5, EA, EC, P2, P0, N0,
2100 ST_TET, 4, P2, P6, P0, N0,
2101 ST_PYR, 5, EJ, EL, EC, EA, N0,
2102 ST_TET, 4, P0, P6, P5, N0,
2103 ST_PYR, 5, EJ, EA, P0, P5, N0,
2104 /* case 230 */ 11,
2105 ST_PNT, 6, P7, P1, P5, P6, ED, EH,
2106 ST_WDG, 6, P7, P2, P1, EL, EC, EB,
2107 ST_PYR, 5, EH, ED, P2, P6, N0,
2108 ST_TET, 4, P6, P2, P7, N0,
2109 ST_TET, 4, P6, P7, P5, N0,
2110 ST_PYR, 5, EE, EH, P6, P5, N0,
2111 ST_PYR, 5, EA, EE, P5, P1, N0,
2112 ST_TET, 4, P5, P7, P1, N0,
2113 ST_PYR, 5, ED, EH, EE, EA, N0,
2114 ST_TET, 4, P1, P7, P2, N0,
2115 ST_PYR, 5, ED, EA, P1, P2, N0,
2116 /* case 231 */ 6,
2117 ST_WDG, 6, EI, EE, EH, P0, P5, P6,
2118 ST_WDG, 6, EB, EC, EL, P1, P2, P7,
2119 ST_TET, 4, P7, P6, P2, P1,
2120 ST_TET, 4, P1, P0, P5, P6,
2121 ST_TET, 4, P0, P1, P2, P6,
2122 ST_TET, 4, P1, P5, P7, P6,
2123 /* case 232 */ 5,
2124 ST_TET, 4, P7, P5, P6, P3,
2125 ST_PYR, 5, EB, EJ, P5, P3, EE,
2126 ST_PYR, 5, EC, P3, P6, EK, EH,
2127 ST_PYR, 5, P5, EE, EH, P6, P3,
2128 ST_PYR, 5, EB, EC, EH, EE, P3,
2129 /* case 233 */ 5,
2130 ST_WDG, 6, ED, EK, EC, P0, P6, P3,
2131 ST_WDG, 6, P5, P0, P6, EE, EI, EH,
2132 ST_WDG, 6, EJ, EA, EB, P5, P0, P3,
2133 ST_TET, 4, P0, P3, P6, P5,
2134 ST_TET, 4, P5, P7, P3, P6,
2135 /* case 234 */ 9,
2136 ST_PNT, 5, EC, EA, EE, EK, EH,
2137 ST_PYR, 5, P7, P3, P1, P5, N0,
2138 ST_TET, 4, P5, P6, P7, N0,
2139 ST_TET, 4, P6, P3, P7, N0,
2140 ST_PYR, 5, P6, EK, EC, P3, N0,
2141 ST_PYR, 5, EC, EA, P1, P3, N0,
2142 ST_PYR, 5, EA, EE, P5, P1, N0,
2143 ST_PYR, 5, EE, EH, P6, P5, N0,
2144 ST_TET, 4, EK, P6, EH, N0,
2145 /* case 235 */ 5,
2146 ST_WDG, 6, P0, P6, P5, EI, EH, EE,
2147 ST_WDG, 6, ED, EK, EC, P0, P6, P3,
2148 ST_PYR, 5, P1, P5, P7, P3, P0,
2149 ST_TET, 4, P6, P3, P7, P0,
2150 ST_TET, 4, P6, P7, P5, P0,
2151 /* case 236 */ 9,
2152 ST_PNT, 5, EH, ED, EB, EE, EJ,
2153 ST_PYR, 5, P7, P6, P2, P3, N0,
2154 ST_TET, 4, P3, P5, P7, N0,
2155 ST_TET, 4, P5, P6, P7, N0,
2156 ST_PYR, 5, P5, EE, EH, P6, N0,
2157 ST_PYR, 5, EH, ED, P2, P6, N0,
2158 ST_PYR, 5, ED, EB, P3, P2, N0,
2159 ST_PYR, 5, EB, EJ, P5, P3, N0,
2160 ST_TET, 4, EE, P5, EJ, N0,
2161 /* case 237 */ 5,
2162 ST_WDG, 6, P0, P5, P3, EA, EJ, EB,
2163 ST_WDG, 6, EI, EE, EH, P0, P5, P6,
2164 ST_PYR, 5, P2, P3, P7, P6, P0,
2165 ST_TET, 4, P5, P6, P7, P0,
2166 ST_TET, 4, P5, P7, P3, P0,
2167 /* case 238 */ 2,
2168 ST_HEX, 8, EA, ED, EH, EE, P1, P2, P6, P5,
2169 ST_WDG, 6, P3, P1, P2, P7, P5, P6,
2170 /* case 239 */ 9,
2171 ST_PNT, 7, P7, P3, P1, P5, P6, P2, P0,
2172 ST_WDG, 6, EH, EI, EE, P6, P0, P5,
2173 ST_TET, 4, P6, P5, P0, N0,
2174 ST_PYR, 5, P2, P0, P1, P3, N0,
2175 ST_TET, 4, P0, P5, P1, N0,
2176 ST_PYR, 5, P7, P3, P1, P5, N0,
2177 ST_TET, 4, P7, P5, P6, N0,
2178 ST_PYR, 5, P7, P6, P2, P3, N0,
2179 ST_TET, 4, P6, P0, P2, N0,
2180 /* case 240 */ 1,
2181 ST_HEX, 8, EI, EJ, EL, EK, P4, P5, P7, P6,
2182 /* case 241 */ 9,
2183 ST_PNT, 5, EJ, EL, EK, EA, ED,
2184 ST_PYR, 5, P4, P6, P7, P5, N0,
2185 ST_TET, 4, P6, P4, P0, N0,
2186 ST_TET, 4, P0, P4, P5, N0,
2187 ST_PYR, 5, P0, P5, EJ, EA, N0,
2188 ST_PYR, 5, EJ, P5, P7, EL, N0,
2189 ST_PYR, 5, EL, P7, P6, EK, N0,
2190 ST_PYR, 5, EK, P6, P0, ED, N0,
2191 ST_TET, 4, EA, ED, P0, N0,
2192 /* case 242 */ 9,
2193 ST_PNT, 5, EL, EK, EI, EB, EA,
2194 ST_PYR, 5, P5, P4, P6, P7, N0,
2195 ST_TET, 4, P4, P5, P1, N0,
2196 ST_TET, 4, P1, P5, P7, N0,
2197 ST_PYR, 5, P1, P7, EL, EB, N0,
2198 ST_PYR, 5, EL, P7, P6, EK, N0,
2199 ST_PYR, 5, EK, P6, P4, EI, N0,
2200 ST_PYR, 5, EI, P4, P1, EA, N0,
2201 ST_TET, 4, EB, EA, P1, N0,
2202 /* case 243 */ 2,
2203 ST_HEX, 8, P0, P6, P7, P1, ED, EK, EL, EB,
2204 ST_WDG, 6, P5, P1, P7, P4, P0, P6,
2205 /* case 244 */ 9,
2206 ST_PNT, 5, EL, EJ, EI, EC, ED,
2207 ST_PYR, 5, P6, P7, P5, P4, N0,
2208 ST_TET, 4, P4, P2, P6, N0,
2209 ST_TET, 4, P2, P7, P6, N0,
2210 ST_PYR, 5, P2, EC, EL, P7, N0,
2211 ST_PYR, 5, EL, EJ, P5, P7, N0,
2212 ST_PYR, 5, EJ, EI, P4, P5, N0,
2213 ST_PYR, 5, EI, ED, P2, P4, N0,
2214 ST_TET, 4, EC, P2, ED, N0,
2215 /* case 245 */ 2,
2216 ST_HEX, 8, EA, EJ, EL, EC, P0, P5, P7, P2,
2217 ST_WDG, 6, P4, P0, P5, P6, P2, P7,
2218 /* case 246 */ 5,
2219 ST_WDG, 6, P2, P1, P7, EC, EB, EL,
2220 ST_WDG, 6, ED, EA, EI, P2, P1, P4,
2221 ST_PYR, 5, P6, P7, P5, P4, P2,
2222 ST_TET, 4, P1, P4, P5, P2,
2223 ST_TET, 4, P1, P5, P7, P2,
2224 /* case 247 */ 9,
2225 ST_PNT, 7, P5, P4, P0, P1, P7, P6, P2,
2226 ST_WDG, 6, P7, P2, P1, EL, EC, EB,
2227 ST_TET, 4, P7, P2, P1, N0,
2228 ST_PYR, 5, P6, P4, P0, P2, N0,
2229 ST_TET, 4, P2, P0, P1, N0,
2230 ST_PYR, 5, P5, P1, P0, P4, N0,
2231 ST_TET, 4, P5, P7, P1, N0,
2232 ST_PYR, 5, P5, P4, P6, P7, N0,
2233 ST_TET, 4, P7, P6, P2, N0,
2234 /* case 248 */ 9,
2235 ST_PNT, 5, EK, EI, EJ, EC, EB,
2236 ST_PYR, 5, P7, P5, P4, P6, N0,
2237 ST_TET, 4, P5, P7, P3, N0,
2238 ST_TET, 4, P3, P7, P6, N0,
2239 ST_PYR, 5, P3, P6, EK, EC, N0,
2240 ST_PYR, 5, EK, P6, P4, EI, N0,
2241 ST_PYR, 5, EI, P4, P5, EJ, N0,
2242 ST_PYR, 5, EJ, P5, P3, EB, N0,
2243 ST_TET, 4, EC, EB, P3, N0,
2244 /* case 249 */ 5,
2245 ST_WDG, 6, EA, EB, EJ, P0, P3, P5,
2246 ST_WDG, 6, P0, P3, P6, ED, EC, EK,
2247 ST_PYR, 5, P4, P6, P7, P5, P0,
2248 ST_TET, 4, P3, P7, P6, P0,
2249 ST_TET, 4, P3, P5, P7, P0,
2250 /* case 250 */ 2,
2251 ST_HEX, 8, P1, P4, P6, P3, EA, EI, EK, EC,
2252 ST_WDG, 6, P7, P3, P6, P5, P1, P4,
2253 /* case 251 */ 9,
2254 ST_PNT, 7, P7, P5, P1, P3, P6, P4, P0,
2255 ST_WDG, 6, P6, P0, P3, EK, ED, EC,
2256 ST_TET, 4, P6, P0, P3, N0,
2257 ST_PYR, 5, P4, P5, P1, P0, N0,
2258 ST_TET, 4, P0, P1, P3, N0,
2259 ST_PYR, 5, P7, P3, P1, P5, N0,
2260 ST_TET, 4, P7, P6, P3, N0,
2261 ST_PYR, 5, P7, P5, P4, P6, N0,
2262 ST_TET, 4, P6, P4, P0, N0,
2263 /* case 252 */ 2,
2264 ST_HEX, 8, P4, P2, P3, P5, EI, ED, EB, EJ,
2265 ST_WDG, 6, P7, P5, P3, P6, P4, P2,
2266 /* case 253 */ 9,
2267 ST_PNT, 7, P7, P6, P4, P5, P3, P2, P0,
2268 ST_WDG, 6, P3, P0, P5, EB, EA, EJ,
2269 ST_TET, 4, P3, P0, P5, N0,
2270 ST_PYR, 5, P2, P6, P4, P0, N0,
2271 ST_TET, 4, P0, P4, P5, N0,
2272 ST_PYR, 5, P7, P5, P4, P6, N0,
2273 ST_TET, 4, P7, P3, P5, N0,
2274 ST_PYR, 5, P7, P6, P2, P3, N0,
2275 ST_TET, 4, P3, P2, P0, N0,
2276 /* case 254 */ 9,
2277 ST_PNT, 7, P6, P7, P5, P4, P2, P3, P1,
2278 ST_WDG, 6, ED, EA, EI, P2, P1, P4,
2279 ST_TET, 4, P2, P4, P1, N0,
2280 ST_PYR, 5, P3, P1, P5, P7, N0,
2281 ST_TET, 4, P1, P4, P5, N0,
2282 ST_PYR, 5, P6, P7, P5, P4, N0,
2283 ST_TET, 4, P6, P4, P2, N0,
2284 ST_PYR, 5, P6, P2, P3, P7, N0,
2285 ST_TET, 4, P2, P1, P3, N0,
2286 /* case 255 */ 1,
2287 ST_HEX, 8, P0, P1, P3, P2, P4, P5, P7, P6,
2288 // VTK_HEXAHEDRON
2289 /* case 0 */ 0,
2290 /* case 1 */ 1,
2291 ST_TET, 4, P0, EA, ED, EI,
2292 /* case 2 */ 1,
2293 ST_TET, 4, P1, EA, EJ, EB,
2294 /* case 3 */ 1,
2295 ST_WDG, 6, P1, EB, EJ, P0, ED, EI,
2296 /* case 4 */ 1,
2297 ST_TET, 4, P2, EB, EL, EC,
2298 /* case 5 */ 7,
2299 ST_PNT, 2, EI, EL,
2300 ST_PYR, 5, P0, P2, EC, ED, N0,
2301 ST_PYR, 5, EA, EB, P2, P0, N0,
2302 ST_TET, 4, EB, EL, P2, N0,
2303 ST_TET, 4, P2, EL, EC, N0,
2304 ST_TET, 4, EA, N0, P0, EI,
2305 ST_TET, 4, ED, EI, P0, N0,
2306 /* case 6 */ 1,
2307 ST_WDG, 6, P2, EC, EL, P1, EA, EJ,
2308 /* case 7 */ 7,
2309 ST_PNT, 5, EI, EJ, ED, EC, EL,
2310 ST_PYR, 5, EJ, EL, P2, P1, N0,
2311 ST_PYR, 5, EI, EJ, P1, P0, N0,
2312 ST_TET, 4, ED, EI, P0, N0,
2313 ST_TET, 4, P0, P1, P2, N0,
2314 ST_PYR, 5, ED, P0, P2, EC, N0,
2315 ST_TET, 4, P2, EL, EC, N0,
2316 /* case 8 */ 1,
2317 ST_TET, 4, P3, ED, EC, EK,
2318 /* case 9 */ 1,
2319 ST_WDG, 6, P3, EK, EC, P0, EI, EA,
2320 /* case 10 */ 7,
2321 ST_PNT, 2, EK, EJ,
2322 ST_PYR, 5, P3, ED, EA, P1, N0,
2323 ST_PYR, 5, EC, P3, P1, EB, N0,
2324 ST_TET, 4, EB, P1, EJ, N0,
2325 ST_TET, 4, P1, EA, EJ, N0,
2326 ST_TET, 4, EC, P3, N0, EK,
2327 ST_TET, 4, ED, P3, EK, N0,
2328 /* case 11 */ 7,
2329 ST_PNT, 5, EJ, EI, EB, EC, EK,
2330 ST_PYR, 5, EI, P0, P3, EK, N0,
2331 ST_PYR, 5, EJ, P1, P0, EI, N0,
2332 ST_TET, 4, EB, P1, EJ, N0,
2333 ST_TET, 4, P1, P3, P0, N0,
2334 ST_PYR, 5, EB, EC, P3, P1, N0,
2335 ST_TET, 4, P3, EC, EK, N0,
2336 /* case 12 */ 1,
2337 ST_WDG, 6, P3, ED, EK, P2, EB, EL,
2338 /* case 13 */ 7,
2339 ST_PNT, 5, EI, EK, EA, EB, EL,
2340 ST_PYR, 5, EK, P3, P2, EL, N0,
2341 ST_PYR, 5, EI, P0, P3, EK, N0,
2342 ST_TET, 4, EA, P0, EI, N0,
2343 ST_TET, 4, P0, P2, P3, N0,
2344 ST_PYR, 5, EA, EB, P2, P0, N0,
2345 ST_TET, 4, P2, EB, EL, N0,
2346 /* case 14 */ 7,
2347 ST_PNT, 5, EK, EL, ED, EA, EJ,
2348 ST_PYR, 5, EL, P2, P1, EJ, N0,
2349 ST_PYR, 5, EK, P3, P2, EL, N0,
2350 ST_TET, 4, ED, P3, EK, N0,
2351 ST_TET, 4, P3, P1, P2, N0,
2352 ST_PYR, 5, ED, EA, P1, P3, N0,
2353 ST_TET, 4, P1, EA, EJ, N0,
2354 /* case 15 */ 1,
2355 ST_HEX, 8, P0, P1, P2, P3, EI, EJ, EL, EK,
2356 /* case 16 */ 1,
2357 ST_TET, 4, P4, EE, EI, EH,
2358 /* case 17 */ 1,
2359 ST_WDG, 6, P0, ED, EA, P4, EH, EE,
2360 /* case 18 */ 7,
2361 ST_PNT, 2, EH, EB,
2362 ST_PYR, 5, P4, P1, EA, EI, N0,
2363 ST_PYR, 5, EE, EJ, P1, P4, N0,
2364 ST_TET, 4, EJ, EB, P1, N0,
2365 ST_TET, 4, P1, EB, EA, N0,
2366 ST_TET, 4, EE, N0, P4, EH,
2367 ST_TET, 4, EI, EH, P4, N0,
2368 /* case 19 */ 7,
2369 ST_PNT, 5, EB, ED, EJ, EE, EH,
2370 ST_PYR, 5, ED, EH, P4, P0, N0,
2371 ST_PYR, 5, EB, ED, P0, P1, N0,
2372 ST_TET, 4, EJ, EB, P1, N0,
2373 ST_TET, 4, P1, P0, P4, N0,
2374 ST_PYR, 5, EJ, P1, P4, EE, N0,
2375 ST_TET, 4, P4, EH, EE, N0,
2376 /* case 20 */ 2,
2377 ST_TET, 4, P4, EE, EI, EH,
2378 ST_TET, 4, P2, EC, EB, EL,
2379 /* case 21 */ 8,
2380 ST_PNT, 4, EE, EH, EL, EL,
2381 ST_PYR, 5, P2, EC, ED, P0, N0,
2382 ST_PYR, 5, EA, EB, P2, P0, N0,
2383 ST_TET, 4, P2, EL, EC, N0,
2384 ST_TET, 4, EB, EL, P2, N0,
2385 ST_PYR, 5, ED, EH, P4, P0, N0,
2386 ST_PYR, 5, P0, P4, EE, EA, N0,
2387 ST_TET, 4, EE, P4, EH, N0,
2388 /* case 22 */ 8,
2389 ST_PNT, 4, EL, EC, EH, EH,
2390 ST_PYR, 5, P4, P1, EA, EI, N0,
2391 ST_PYR, 5, EJ, P1, P4, EE, N0,
2392 ST_TET, 4, P4, EI, EH, N0,
2393 ST_TET, 4, EE, P4, EH, N0,
2394 ST_PYR, 5, EA, P1, P2, EC, N0,
2395 ST_PYR, 5, P1, EJ, EL, P2, N0,
2396 ST_TET, 4, EL, EC, P2, N0,
2397 /* case 23 */ 9,
2398 ST_PNT, 6, ED, EC, EL, EJ, EE, EH,
2399 ST_TET, 4, P0, P1, P2, N0,
2400 ST_PYR, 5, ED, P0, P2, EC, N0,
2401 ST_PYR, 5, ED, EH, P4, P0, N0,
2402 ST_TET, 4, P4, P1, P0, N0,
2403 ST_TET, 4, P4, EH, EE, N0,
2404 ST_PYR, 5, P4, EE, EJ, P1, N0,
2405 ST_PYR, 5, EJ, EL, P2, P1, N0,
2406 ST_TET, 4, EL, EC, P2, N0,
2407 /* case 24 */ 7,
2408 ST_PNT, 2, EC, EE,
2409 ST_PYR, 5, P3, P4, EI, ED, N0,
2410 ST_PYR, 5, EK, EH, P4, P3, N0,
2411 ST_TET, 4, EH, EE, P4, N0,
2412 ST_TET, 4, P4, EE, EI, N0,
2413 ST_TET, 4, EK, N0, P3, EC,
2414 ST_TET, 4, ED, EC, P3, N0,
2415 /* case 25 */ 7,
2416 ST_PNT, 5, EE, EA, EH, EK, EC,
2417 ST_PYR, 5, EA, EC, P3, P0, N0,
2418 ST_PYR, 5, EE, EA, P0, P4, N0,
2419 ST_TET, 4, EH, EE, P4, N0,
2420 ST_TET, 4, P4, P0, P3, N0,
2421 ST_PYR, 5, EH, P4, P3, EK, N0,
2422 ST_TET, 4, P3, EC, EK, N0,
2423 /* case 26 */ 5,
2424 ST_WDG, 6, ED, EA, EI, P3, P1, P4,
2425 ST_PYR, 5, P3, EK, EH, P4, EC,
2426 ST_PYR, 5, EE, EJ, P1, P4, EB,
2427 ST_PYR, 5, EC, P3, P1, EB, P4,
2428 ST_PYR, 5, EC, EB, EE, EH, P4,
2429 /* case 27 */ 5,
2430 ST_TET, 4, P0, P1, P3, P4,
2431 ST_PYR, 5, EH, P4, P3, EK, EC,
2432 ST_PYR, 5, EE, EJ, P1, P4, EB,
2433 ST_PYR, 5, P3, P1, EB, EC, P4,
2434 ST_PYR, 5, EH, EC, EB, EE, P4,
2435 /* case 28 */ 8,
2436 ST_PNT, 4, EL, EB, EE, EE,
2437 ST_PYR, 5, P4, EI, ED, P3, N0,
2438 ST_PYR, 5, EK, EH, P4, P3, N0,
2439 ST_TET, 4, P4, EE, EI, N0,
2440 ST_TET, 4, EH, EE, P4, N0,
2441 ST_PYR, 5, ED, EB, P2, P3, N0,
2442 ST_PYR, 5, P3, P2, EL, EK, N0,
2443 ST_TET, 4, EL, P2, EB, N0,
2444 /* case 29 */ 9,
2445 ST_PNT, 6, EA, EB, EL, EK, EH, EE,
2446 ST_TET, 4, P0, P2, P3, N0,
2447 ST_PYR, 5, EA, EB, P2, P0, N0,
2448 ST_PYR, 5, EA, P0, P4, EE, N0,
2449 ST_TET, 4, P4, P0, P3, N0,
2450 ST_TET, 4, P4, EH, EE, N0,
2451 ST_PYR, 5, P4, P3, EK, EH, N0,
2452 ST_PYR, 5, EK, P3, P2, EL, N0,
2453 ST_TET, 4, EL, P2, EB, N0,
2454 /* case 30 */ 9,
2455 ST_PNT, 5, EL, EJ, EK, EH, EE,
2456 ST_WDG, 6, ED, EA, EI, P3, P1, P4,
2457 ST_TET, 4, P1, P3, P4, N0,
2458 ST_PYR, 5, P3, EK, EH, P4, N0,
2459 ST_TET, 4, P2, P3, P1, N0,
2460 ST_PYR, 5, EJ, EL, P2, P1, N0,
2461 ST_PYR, 5, EL, EK, P3, P2, N0,
2462 ST_PYR, 5, P4, EE, EJ, P1, N0,
2463 ST_TET, 4, EH, EE, P4, N0,
2464 /* case 31 */ 9,
2465 ST_PNT, 5, EJ, EL, EK, EE, EH,
2466 ST_PYR, 5, P0, P1, P2, P3, N0,
2467 ST_TET, 4, P3, P4, P0, N0,
2468 ST_TET, 4, P4, P1, P0, N0,
2469 ST_PYR, 5, P4, EE, EJ, P1, N0,
2470 ST_PYR, 5, EJ, EL, P2, P1, N0,
2471 ST_PYR, 5, EL, EK, P3, P2, N0,
2472 ST_PYR, 5, EK, EH, P4, P3, N0,
2473 ST_TET, 4, EE, P4, EH, N0,
2474 /* case 32 */ 1,
2475 ST_TET, 4, P5, EF, EJ, EE,
2476 /* case 33 */ 7,
2477 ST_PNT, 2, ED, EF,
2478 ST_PYR, 5, P0, EI, EE, P5, N0,
2479 ST_PYR, 5, EA, P0, P5, EJ, N0,
2480 ST_TET, 4, EJ, P5, EF, N0,
2481 ST_TET, 4, P5, EE, EF, N0,
2482 ST_TET, 4, EA, P0, N0, ED,
2483 ST_TET, 4, EI, P0, ED, N0,
2484 /* case 34 */ 1,
2485 ST_WDG, 6, P1, EA, EB, P5, EE, EF,
2486 /* case 35 */ 7,
2487 ST_PNT, 5, ED, EB, EI, EE, EF,
2488 ST_PYR, 5, EB, P1, P5, EF, N0,
2489 ST_PYR, 5, ED, P0, P1, EB, N0,
2490 ST_TET, 4, EI, P0, ED, N0,
2491 ST_TET, 4, P0, P5, P1, N0,
2492 ST_PYR, 5, EI, EE, P5, P0, N0,
2493 ST_TET, 4, P5, EE, EF, N0,
2494 /* case 36 */ 7,
2495 ST_PNT, 2, EC, EE,
2496 ST_PYR, 5, P2, EB, EJ, P5, N0,
2497 ST_PYR, 5, EL, P2, P5, EF, N0,
2498 ST_TET, 4, EF, P5, EE, N0,
2499 ST_TET, 4, P5, EJ, EE, N0,
2500 ST_TET, 4, EL, P2, N0, EC,
2501 ST_TET, 4, EB, P2, EC, N0,
2502 /* case 37 */ 5,
2503 ST_WDG, 6, P0, P5, P2, EA, EJ, EB,
2504 ST_PYR, 5, P0, P2, EC, ED, EI,
2505 ST_PYR, 5, EL, P2, P5, EF, EE,
2506 ST_PYR, 5, EI, EE, P5, P0, P2,
2507 ST_PYR, 5, EI, EC, EL, EE, P2,
2508 /* case 38 */ 7,
2509 ST_PNT, 5, EE, EA, EF, EL, EC,
2510 ST_PYR, 5, EA, P1, P2, EC, N0,
2511 ST_PYR, 5, EE, P5, P1, EA, N0,
2512 ST_TET, 4, EF, P5, EE, N0,
2513 ST_TET, 4, P5, P2, P1, N0,
2514 ST_PYR, 5, EF, EL, P2, P5, N0,
2515 ST_TET, 4, P2, EL, EC, N0,
2516 /* case 39 */ 5,
2517 ST_TET, 4, P1, P0, P5, P2,
2518 ST_PYR, 5, EC, ED, P0, P2, EI,
2519 ST_PYR, 5, EL, P2, P5, EF, EE,
2520 ST_PYR, 5, P0, EI, EE, P5, P2,
2521 ST_PYR, 5, EC, EL, EE, EI, P2,
2522 /* case 40 */ 2,
2523 ST_TET, 4, P3, ED, EC, EK,
2524 ST_TET, 4, P5, EJ, EE, EF,
2525 /* case 41 */ 8,
2526 ST_PNT, 4, EC, EK, EF, EF,
2527 ST_PYR, 5, P5, P0, EI, EE, N0,
2528 ST_PYR, 5, EA, P0, P5, EJ, N0,
2529 ST_TET, 4, P5, EE, EF, N0,
2530 ST_TET, 4, EJ, P5, EF, N0,
2531 ST_PYR, 5, EI, P0, P3, EK, N0,
2532 ST_PYR, 5, P0, EA, EC, P3, N0,
2533 ST_TET, 4, EC, EK, P3, N0,
2534 /* case 42 */ 8,
2535 ST_PNT, 4, EF, EE, EK, EK,
2536 ST_PYR, 5, P3, ED, EA, P1, N0,
2537 ST_PYR, 5, EB, EC, P3, P1, N0,
2538 ST_TET, 4, P3, EK, ED, N0,
2539 ST_TET, 4, EC, EK, P3, N0,
2540 ST_PYR, 5, EA, EE, P5, P1, N0,
2541 ST_PYR, 5, P1, P5, EF, EB, N0,
2542 ST_TET, 4, EF, P5, EE, N0,
2543 /* case 43 */ 9,
2544 ST_PNT, 6, EI, EE, EF, EB, EC, EK,
2545 ST_TET, 4, P0, P5, P1, N0,
2546 ST_PYR, 5, EI, EE, P5, P0, N0,
2547 ST_PYR, 5, EI, P0, P3, EK, N0,
2548 ST_TET, 4, P3, P0, P1, N0,
2549 ST_TET, 4, P3, EC, EK, N0,
2550 ST_PYR, 5, P3, P1, EB, EC, N0,
2551 ST_PYR, 5, EB, P1, P5, EF, N0,
2552 ST_TET, 4, EF, P5, EE, N0,
2553 /* case 44 */ 8,
2554 ST_PNT, 4, EK, ED, EE, EE,
2555 ST_PYR, 5, P5, P2, EB, EJ, N0,
2556 ST_PYR, 5, EL, P2, P5, EF, N0,
2557 ST_TET, 4, P5, EJ, EE, N0,
2558 ST_TET, 4, EF, P5, EE, N0,
2559 ST_PYR, 5, EB, P2, P3, ED, N0,
2560 ST_PYR, 5, P2, EL, EK, P3, N0,
2561 ST_TET, 4, EK, ED, P3, N0,
2562 /* case 45 */ 9,
2563 ST_PNT, 5, EK, EL, EI, EE, EF,
2564 ST_WDG, 6, EA, EB, EJ, P0, P2, P5,
2565 ST_TET, 4, P2, P0, P5, N0,
2566 ST_PYR, 5, P0, EI, EE, P5, N0,
2567 ST_TET, 4, P3, P0, P2, N0,
2568 ST_PYR, 5, EL, EK, P3, P2, N0,
2569 ST_PYR, 5, EK, EI, P0, P3, N0,
2570 ST_PYR, 5, P5, EF, EL, P2, N0,
2571 ST_TET, 4, EE, EF, P5, N0,
2572 /* case 46 */ 9,
2573 ST_PNT, 6, EA, ED, EK, EL, EF, EE,
2574 ST_TET, 4, P1, P2, P3, N0,
2575 ST_PYR, 5, EA, P1, P3, ED, N0,
2576 ST_PYR, 5, EA, EE, P5, P1, N0,
2577 ST_TET, 4, P5, P2, P1, N0,
2578 ST_TET, 4, P5, EE, EF, N0,
2579 ST_PYR, 5, P5, EF, EL, P2, N0,
2580 ST_PYR, 5, EL, EK, P3, P2, N0,
2581 ST_TET, 4, EK, ED, P3, N0,
2582 /* case 47 */ 9,
2583 ST_PNT, 5, EL, EK, EI, EF, EE,
2584 ST_PYR, 5, P1, P2, P3, P0, N0,
2585 ST_TET, 4, P0, P5, P1, N0,
2586 ST_TET, 4, P5, P2, P1, N0,
2587 ST_PYR, 5, P5, EF, EL, P2, N0,
2588 ST_PYR, 5, EL, EK, P3, P2, N0,
2589 ST_PYR, 5, EK, EI, P0, P3, N0,
2590 ST_PYR, 5, EI, EE, P5, P0, N0,
2591 ST_TET, 4, EF, P5, EE, N0,
2592 /* case 48 */ 1,
2593 ST_WDG, 6, P5, EJ, EF, P4, EI, EH,
2594 /* case 49 */ 7,
2595 ST_PNT, 5, ED, EH, EA, EJ, EF,
2596 ST_PYR, 5, EH, EF, P5, P4, N0,
2597 ST_PYR, 5, ED, EH, P4, P0, N0,
2598 ST_TET, 4, EA, ED, P0, N0,
2599 ST_TET, 4, P0, P4, P5, N0,
2600 ST_PYR, 5, EA, P0, P5, EJ, N0,
2601 ST_TET, 4, P5, EF, EJ, N0,
2602 /* case 50 */ 7,
2603 ST_PNT, 5, EH, EF, EI, EA, EB,
2604 ST_PYR, 5, EF, EB, P1, P5, N0,
2605 ST_PYR, 5, EH, EF, P5, P4, N0,
2606 ST_TET, 4, EI, EH, P4, N0,
2607 ST_TET, 4, P4, P5, P1, N0,
2608 ST_PYR, 5, EI, P4, P1, EA, N0,
2609 ST_TET, 4, P1, EB, EA, N0,
2610 /* case 51 */ 1,
2611 ST_HEX, 8, ED, EB, EF, EH, P0, P1, P5, P4,
2612 /* case 52 */ 8,
2613 ST_PNT, 4, EH, EI, EC, EC,
2614 ST_PYR, 5, P2, EB, EJ, P5, N0,
2615 ST_PYR, 5, EF, EL, P2, P5, N0,
2616 ST_TET, 4, P2, EC, EB, N0,
2617 ST_TET, 4, EL, EC, P2, N0,
2618 ST_PYR, 5, EJ, EI, P4, P5, N0,
2619 ST_PYR, 5, P5, P4, EH, EF, N0,
2620 ST_TET, 4, EH, P4, EI, N0,
2621 /* case 53 */ 9,
2622 ST_PNT, 5, EH, EF, ED, EC, EL,
2623 ST_WDG, 6, P0, P5, P2, EA, EJ, EB,
2624 ST_TET, 4, P5, P2, P0, N0,
2625 ST_PYR, 5, P0, P2, EC, ED, N0,
2626 ST_TET, 4, P4, P5, P0, N0,
2627 ST_PYR, 5, EF, P5, P4, EH, N0,
2628 ST_PYR, 5, EH, P4, P0, ED, N0,
2629 ST_PYR, 5, P2, P5, EF, EL, N0,
2630 ST_TET, 4, EC, P2, EL, N0,
2631 /* case 54 */ 9,
2632 ST_PNT, 6, EA, EI, EH, EF, EL, EC,
2633 ST_TET, 4, P1, P4, P5, N0,
2634 ST_PYR, 5, EA, EI, P4, P1, N0,
2635 ST_PYR, 5, EA, P1, P2, EC, N0,
2636 ST_TET, 4, P2, P1, P5, N0,
2637 ST_TET, 4, P2, EL, EC, N0,
2638 ST_PYR, 5, P2, P5, EF, EL, N0,
2639 ST_PYR, 5, EF, P5, P4, EH, N0,
2640 ST_TET, 4, EH, P4, EI, N0,
2641 /* case 55 */ 9,
2642 ST_PNT, 5, EF, EH, ED, EL, EC,
2643 ST_PYR, 5, P1, P0, P4, P5, N0,
2644 ST_TET, 4, P0, P1, P2, N0,
2645 ST_TET, 4, P2, P1, P5, N0,
2646 ST_PYR, 5, P2, P5, EF, EL, N0,
2647 ST_PYR, 5, EF, P5, P4, EH, N0,
2648 ST_PYR, 5, EH, P4, P0, ED, N0,
2649 ST_PYR, 5, ED, P0, P2, EC, N0,
2650 ST_TET, 4, EL, EC, P2, N0,
2651 /* case 56 */ 8,
2652 ST_PNT, 4, EF, EJ, EC, EC,
2653 ST_PYR, 5, P3, P4, EI, ED, N0,
2654 ST_PYR, 5, EH, P4, P3, EK, N0,
2655 ST_TET, 4, P3, ED, EC, N0,
2656 ST_TET, 4, EK, P3, EC, N0,
2657 ST_PYR, 5, EI, P4, P5, EJ, N0,
2658 ST_PYR, 5, P4, EH, EF, P5, N0,
2659 ST_TET, 4, EF, EJ, P5, N0,
2660 /* case 57 */ 9,
2661 ST_PNT, 6, EA, EJ, EF, EH, EK, EC,
2662 ST_TET, 4, P0, P4, P5, N0,
2663 ST_PYR, 5, EA, P0, P5, EJ, N0,
2664 ST_PYR, 5, EA, EC, P3, P0, N0,
2665 ST_TET, 4, P3, P4, P0, N0,
2666 ST_TET, 4, P3, EC, EK, N0,
2667 ST_PYR, 5, P3, EK, EH, P4, N0,
2668 ST_PYR, 5, EH, EF, P5, P4, N0,
2669 ST_TET, 4, EF, EJ, P5, N0,
2670 /* case 58 */ 9,
2671 ST_PNT, 5, EF, EB, EH, EK, EC,
2672 ST_WDG, 6, P4, P1, P3, EI, EA, ED,
2673 ST_TET, 4, P1, P3, P4, N0,
2674 ST_PYR, 5, P4, P3, EK, EH, N0,
2675 ST_TET, 4, P5, P1, P4, N0,
2676 ST_PYR, 5, EB, P1, P5, EF, N0,
2677 ST_PYR, 5, EF, P5, P4, EH, N0,
2678 ST_PYR, 5, P3, P1, EB, EC, N0,
2679 ST_TET, 4, EK, P3, EC, N0,
2680 /* case 59 */ 9,
2681 ST_PNT, 5, EB, EF, EH, EC, EK,
2682 ST_PYR, 5, P0, P4, P5, P1, N0,
2683 ST_TET, 4, P4, P0, P3, N0,
2684 ST_TET, 4, P3, P0, P1, N0,
2685 ST_PYR, 5, P3, P1, EB, EC, N0,
2686 ST_PYR, 5, EB, P1, P5, EF, N0,
2687 ST_PYR, 5, EF, P5, P4, EH, N0,
2688 ST_PYR, 5, EH, P4, P3, EK, N0,
2689 ST_TET, 4, EC, EK, P3, N0,
2690 /* case 60 */ 2,
2691 ST_HEX, 8, P3, P4, P5, P2, EK, EH, EF, EL,
2692 ST_HEX, 8, ED, EI, EJ, EB, P3, P4, P5, P2,
2693 /* case 61 */ 11,
2694 ST_PNT, 6, P0, P2, P3, P4, EF, EH,
2695 ST_WDG, 6, P0, P5, P2, EA, EJ, EB,
2696 ST_PYR, 5, EH, EF, P5, P4, N0,
2697 ST_TET, 4, P4, P5, P0, N0,
2698 ST_TET, 4, P4, P0, P3, N0,
2699 ST_PYR, 5, EK, EH, P4, P3, N0,
2700 ST_PYR, 5, EL, EK, P3, P2, N0,
2701 ST_TET, 4, P3, P0, P2, N0,
2702 ST_PYR, 5, EF, EH, EK, EL, N0,
2703 ST_TET, 4, P2, P0, P5, N0,
2704 ST_PYR, 5, EF, EL, P2, P5, N0,
2705 /* case 62 */ 11,
2706 ST_PNT, 6, P1, P3, P2, P5, EH, EF,
2707 ST_WDG, 6, EA, EI, ED, P1, P4, P3,
2708 ST_PYR, 5, EF, P5, P4, EH, N0,
2709 ST_TET, 4, P5, P1, P4, N0,
2710 ST_TET, 4, P5, P2, P1, N0,
2711 ST_PYR, 5, EL, P2, P5, EF, N0,
2712 ST_PYR, 5, EK, P3, P2, EL, N0,
2713 ST_TET, 4, P2, P3, P1, N0,
2714 ST_PYR, 5, EH, EK, EL, EF, N0,
2715 ST_TET, 4, P3, P4, P1, N0,
2716 ST_PYR, 5, EH, P4, P3, EK, N0,
2717 /* case 63 */ 2,
2718 ST_HEX, 8, P3, P4, P5, P2, EK, EH, EF, EL,
2719 ST_WDG, 6, P1, P2, P5, P0, P3, P4,
2720 /* case 64 */ 1,
2721 ST_TET, 4, P6, EF, EG, EL,
2722 /* case 65 */ 2,
2723 ST_TET, 4, P0, EI, EA, ED,
2724 ST_TET, 4, P6, EF, EG, EL,
2725 /* case 66 */ 7,
2726 ST_PNT, 2, EA, EG,
2727 ST_PYR, 5, P1, P6, EL, EB, N0,
2728 ST_PYR, 5, EJ, EF, P6, P1, N0,
2729 ST_TET, 4, EF, EG, P6, N0,
2730 ST_TET, 4, P6, EG, EL, N0,
2731 ST_TET, 4, EJ, N0, P1, EA,
2732 ST_TET, 4, EB, EA, P1, N0,
2733 /* case 67 */ 8,
2734 ST_PNT, 4, EI, ED, EG, EG,
2735 ST_PYR, 5, P6, EL, EB, P1, N0,
2736 ST_PYR, 5, EJ, EF, P6, P1, N0,
2737 ST_TET, 4, P6, EG, EL, N0,
2738 ST_TET, 4, EF, EG, P6, N0,
2739 ST_PYR, 5, EB, ED, P0, P1, N0,
2740 ST_PYR, 5, P1, P0, EI, EJ, N0,
2741 ST_TET, 4, EI, P0, ED, N0,
2742 /* case 68 */ 1,
2743 ST_WDG, 6, P2, EB, EC, P6, EF, EG,
2744 /* case 69 */ 8,
2745 ST_PNT, 4, EG, EF, EI, EI,
2746 ST_PYR, 5, P0, EA, EB, P2, N0,
2747 ST_PYR, 5, EC, ED, P0, P2, N0,
2748 ST_TET, 4, P0, EI, EA, N0,
2749 ST_TET, 4, ED, EI, P0, N0,
2750 ST_PYR, 5, EB, EF, P6, P2, N0,
2751 ST_PYR, 5, P2, P6, EG, EC, N0,
2752 ST_TET, 4, EG, P6, EF, N0,
2753 /* case 70 */ 7,
2754 ST_PNT, 5, EA, EC, EJ, EF, EG,
2755 ST_PYR, 5, EC, P2, P6, EG, N0,
2756 ST_PYR, 5, EA, P1, P2, EC, N0,
2757 ST_TET, 4, EJ, P1, EA, N0,
2758 ST_TET, 4, P1, P6, P2, N0,
2759 ST_PYR, 5, EJ, EF, P6, P1, N0,
2760 ST_TET, 4, P6, EF, EG, N0,
2761 /* case 71 */ 9,
2762 ST_PNT, 6, EJ, EF, EG, EC, ED, EI,
2763 ST_TET, 4, P1, P6, P2, N0,
2764 ST_PYR, 5, EJ, EF, P6, P1, N0,
2765 ST_PYR, 5, EJ, P1, P0, EI, N0,
2766 ST_TET, 4, P0, P1, P2, N0,
2767 ST_TET, 4, P0, ED, EI, N0,
2768 ST_PYR, 5, P0, P2, EC, ED, N0,
2769 ST_PYR, 5, EC, P2, P6, EG, N0,
2770 ST_TET, 4, EG, P6, EF, N0,
2771 /* case 72 */ 7,
2772 ST_PNT, 2, ED, EF,
2773 ST_PYR, 5, P3, P6, EG, EK, N0,
2774 ST_PYR, 5, EC, EL, P6, P3, N0,
2775 ST_TET, 4, EL, EF, P6, N0,
2776 ST_TET, 4, P6, EF, EG, N0,
2777 ST_TET, 4, EC, N0, P3, ED,
2778 ST_TET, 4, EK, ED, P3, N0,
2779 /* case 73 */ 8,
2780 ST_PNT, 4, EA, EI, EF, EF,
2781 ST_PYR, 5, P6, EG, EK, P3, N0,
2782 ST_PYR, 5, EC, EL, P6, P3, N0,
2783 ST_TET, 4, P6, EF, EG, N0,
2784 ST_TET, 4, EL, EF, P6, N0,
2785 ST_PYR, 5, EK, EI, P0, P3, N0,
2786 ST_PYR, 5, P3, P0, EA, EC, N0,
2787 ST_TET, 4, EA, P0, EI, N0,
2788 /* case 74 */ 5,
2789 ST_WDG, 6, P1, P6, P3, EB, EL, EC,
2790 ST_PYR, 5, P1, P3, ED, EA, EJ,
2791 ST_PYR, 5, EK, P3, P6, EG, EF,
2792 ST_PYR, 5, EJ, EF, P6, P1, P3,
2793 ST_PYR, 5, EJ, ED, EK, EF, P3,
2794 /* case 75 */ 9,
2795 ST_PNT, 5, EI, EK, EJ, EF, EG,
2796 ST_WDG, 6, EB, EC, EL, P1, P3, P6,
2797 ST_TET, 4, P3, P1, P6, N0,
2798 ST_PYR, 5, P1, EJ, EF, P6, N0,
2799 ST_TET, 4, P0, P1, P3, N0,
2800 ST_PYR, 5, EK, EI, P0, P3, N0,
2801 ST_PYR, 5, EI, EJ, P1, P0, N0,
2802 ST_PYR, 5, P6, EG, EK, P3, N0,
2803 ST_TET, 4, EF, EG, P6, N0,
2804 /* case 76 */ 7,
2805 ST_PNT, 5, ED, EB, EK, EG, EF,
2806 ST_PYR, 5, EB, EF, P6, P2, N0,
2807 ST_PYR, 5, ED, EB, P2, P3, N0,
2808 ST_TET, 4, EK, ED, P3, N0,
2809 ST_TET, 4, P3, P2, P6, N0,
2810 ST_PYR, 5, EK, P3, P6, EG, N0,
2811 ST_TET, 4, P6, EF, EG, N0,
2812 /* case 77 */ 9,
2813 ST_PNT, 6, EK, EG, EF, EB, EA, EI,
2814 ST_TET, 4, P3, P2, P6, N0,
2815 ST_PYR, 5, EK, P3, P6, EG, N0,
2816 ST_PYR, 5, EK, EI, P0, P3, N0,
2817 ST_TET, 4, P0, P2, P3, N0,
2818 ST_TET, 4, P0, EI, EA, N0,
2819 ST_PYR, 5, P0, EA, EB, P2, N0,
2820 ST_PYR, 5, EB, EF, P6, P2, N0,
2821 ST_TET, 4, EF, EG, P6, N0,
2822 /* case 78 */ 5,
2823 ST_TET, 4, P2, P1, P6, P3,
2824 ST_PYR, 5, ED, EA, P1, P3, EJ,
2825 ST_PYR, 5, EK, P3, P6, EG, EF,
2826 ST_PYR, 5, P1, EJ, EF, P6, P3,
2827 ST_PYR, 5, ED, EK, EF, EJ, P3,
2828 /* case 79 */ 9,
2829 ST_PNT, 5, EK, EI, EJ, EG, EF,
2830 ST_PYR, 5, P2, P3, P0, P1, N0,
2831 ST_TET, 4, P1, P6, P2, N0,
2832 ST_TET, 4, P6, P3, P2, N0,
2833 ST_PYR, 5, P6, EG, EK, P3, N0,
2834 ST_PYR, 5, EK, EI, P0, P3, N0,
2835 ST_PYR, 5, EI, EJ, P1, P0, N0,
2836 ST_PYR, 5, EJ, EF, P6, P1, N0,
2837 ST_TET, 4, EG, P6, EF, N0,
2838 /* case 80 */ 7,
2839 ST_PNT, 2, EI, EL,
2840 ST_PYR, 5, P4, EH, EG, P6, N0,
2841 ST_PYR, 5, EE, P4, P6, EF, N0,
2842 ST_TET, 4, EF, P6, EL, N0,
2843 ST_TET, 4, P6, EG, EL, N0,
2844 ST_TET, 4, EE, P4, N0, EI,
2845 ST_TET, 4, EH, P4, EI, N0,
2846 /* case 81 */ 8,
2847 ST_PNT, 4, EA, ED, EL, EL,
2848 ST_PYR, 5, P6, P4, EH, EG, N0,
2849 ST_PYR, 5, EE, P4, P6, EF, N0,
2850 ST_TET, 4, P6, EG, EL, N0,
2851 ST_TET, 4, EF, P6, EL, N0,
2852 ST_PYR, 5, EH, P4, P0, ED, N0,
2853 ST_PYR, 5, P4, EE, EA, P0, N0,
2854 ST_TET, 4, EA, ED, P0, N0,
2855 /* case 82 */ 5,
2856 ST_WDG, 6, EJ, EF, EE, P1, P6, P4,
2857 ST_PYR, 5, P1, EA, EI, P4, EB,
2858 ST_PYR, 5, EH, EG, P6, P4, EL,
2859 ST_PYR, 5, EB, P1, P6, EL, P4,
2860 ST_PYR, 5, EB, EL, EH, EI, P4,
2861 /* case 83 */ 9,
2862 ST_PNT, 5, ED, EH, EB, EL, EG,
2863 ST_WDG, 6, P1, P4, P6, EJ, EE, EF,
2864 ST_TET, 4, P4, P6, P1, N0,
2865 ST_PYR, 5, P1, P6, EL, EB, N0,
2866 ST_TET, 4, P0, P4, P1, N0,
2867 ST_PYR, 5, EH, P4, P0, ED, N0,
2868 ST_PYR, 5, ED, P0, P1, EB, N0,
2869 ST_PYR, 5, P6, P4, EH, EG, N0,
2870 ST_TET, 4, EL, P6, EG, N0,
2871 /* case 84 */ 8,
2872 ST_PNT, 4, EC, EB, EI, EI,
2873 ST_PYR, 5, P4, P6, EF, EE, N0,
2874 ST_PYR, 5, EG, P6, P4, EH, N0,
2875 ST_TET, 4, P4, EE, EI, N0,
2876 ST_TET, 4, EH, P4, EI, N0,
2877 ST_PYR, 5, EF, P6, P2, EB, N0,
2878 ST_PYR, 5, P6, EG, EC, P2, N0,
2879 ST_TET, 4, EC, EB, P2, N0,
2880 /* case 85 */ 2,
2881 ST_HEX, 8, P0, P2, P6, P4, EA, EB, EF, EE,
2882 ST_HEX, 8, ED, EC, EG, EH, P0, P2, P6, P4,
2883 /* case 86 */ 9,
2884 ST_PNT, 5, EC, EG, EA, EI, EH,
2885 ST_WDG, 6, EJ, EF, EE, P1, P6, P4,
2886 ST_TET, 4, P6, P1, P4, N0,
2887 ST_PYR, 5, P1, EA, EI, P4, N0,
2888 ST_TET, 4, P2, P1, P6, N0,
2889 ST_PYR, 5, EG, EC, P2, P6, N0,
2890 ST_PYR, 5, EC, EA, P1, P2, N0,
2891 ST_PYR, 5, P4, EH, EG, P6, N0,
2892 ST_TET, 4, EI, EH, P4, N0,
2893 /* case 87 */ 11,
2894 ST_PNT, 6, P1, P4, P0, P2, EG, EC,
2895 ST_WDG, 6, EJ, EF, EE, P1, P6, P4,
2896 ST_PYR, 5, EC, P2, P6, EG, N0,
2897 ST_TET, 4, P2, P1, P6, N0,
2898 ST_TET, 4, P2, P0, P1, N0,
2899 ST_PYR, 5, ED, P0, P2, EC, N0,
2900 ST_PYR, 5, EH, P4, P0, ED, N0,
2901 ST_TET, 4, P0, P4, P1, N0,
2902 ST_PYR, 5, EG, EH, ED, EC, N0,
2903 ST_TET, 4, P4, P6, P1, N0,
2904 ST_PYR, 5, EG, P6, P4, EH, N0,
2905 /* case 88 */ 5,
2906 ST_WDG, 6, EH, EG, EK, P4, P6, P3,
2907 ST_PYR, 5, P4, EI, ED, P3, EE,
2908 ST_PYR, 5, EC, EL, P6, P3, EF,
2909 ST_PYR, 5, EE, P4, P6, EF, P3,
2910 ST_PYR, 5, EE, EF, EC, ED, P3,
2911 /* case 89 */ 9,
2912 ST_PNT, 5, EA, EC, EE, EF, EL,
2913 ST_WDG, 6, P4, P3, P6, EH, EK, EG,
2914 ST_TET, 4, P3, P6, P4, N0,
2915 ST_PYR, 5, P4, P6, EF, EE, N0,
2916 ST_TET, 4, P0, P3, P4, N0,
2917 ST_PYR, 5, EC, P3, P0, EA, N0,
2918 ST_PYR, 5, EA, P0, P4, EE, N0,
2919 ST_PYR, 5, P6, P3, EC, EL, N0,
2920 ST_TET, 4, EF, P6, EL, N0,
2921 /* case 90 */ 5,
2922 ST_WDG, 6, EB, EC, EL, P1, P3, P6,
2923 ST_TET, 4, P1, P6, P3, P4,
2924 ST_WDG, 6, P4, P6, P1, EE, EF, EJ,
2925 ST_WDG, 6, P3, P4, P1, ED, EI, EA,
2926 ST_WDG, 6, P6, P4, P3, EG, EH, EK,
2927 /* case 91 */ 5,
2928 ST_WDG, 6, P6, P3, P1, EL, EC, EB,
2929 ST_WDG, 6, EH, EG, EK, P4, P6, P3,
2930 ST_WDG, 6, P4, P6, P1, EE, EF, EJ,
2931 ST_TET, 4, P6, P3, P1, P4,
2932 ST_TET, 4, P4, P1, P0, P3,
2933 /* case 92 */ 9,
2934 ST_PNT, 5, EB, EF, ED, EI, EE,
2935 ST_WDG, 6, P3, P6, P4, EK, EG, EH,
2936 ST_TET, 4, P6, P4, P3, N0,
2937 ST_PYR, 5, P3, P4, EI, ED, N0,
2938 ST_TET, 4, P2, P6, P3, N0,
2939 ST_PYR, 5, EF, P6, P2, EB, N0,
2940 ST_PYR, 5, EB, P2, P3, ED, N0,
2941 ST_PYR, 5, P4, P6, EF, EE, N0,
2942 ST_TET, 4, EI, P4, EE, N0,
2943 /* case 93 */ 11,
2944 ST_PNT, 6, P3, P4, P0, P2, EF, EB,
2945 ST_WDG, 6, P3, P6, P4, EK, EG, EH,
2946 ST_PYR, 5, EB, EF, P6, P2, N0,
2947 ST_TET, 4, P2, P6, P3, N0,
2948 ST_TET, 4, P2, P3, P0, N0,
2949 ST_PYR, 5, EA, EB, P2, P0, N0,
2950 ST_PYR, 5, EE, EA, P0, P4, N0,
2951 ST_TET, 4, P0, P3, P4, N0,
2952 ST_PYR, 5, EF, EB, EA, EE, N0,
2953 ST_TET, 4, P4, P3, P6, N0,
2954 ST_PYR, 5, EF, EE, P4, P6, N0,
2955 /* case 94 */ 5,
2956 ST_WDG, 6, EE, EJ, EF, P4, P1, P6,
2957 ST_WDG, 6, P3, P4, P1, ED, EI, EA,
2958 ST_WDG, 6, EK, EH, EG, P3, P4, P6,
2959 ST_TET, 4, P4, P6, P1, P3,
2960 ST_TET, 4, P3, P2, P6, P1,
2961 /* case 95 */ 5,
2962 ST_WDG, 6, P4, P6, P1, EE, EF, EJ,
2963 ST_WDG, 6, EH, EG, EK, P4, P6, P3,
2964 ST_PYR, 5, P0, P1, P2, P3, P4,
2965 ST_TET, 4, P6, P3, P2, P4,
2966 ST_TET, 4, P6, P2, P1, P4,
2967 /* case 96 */ 1,
2968 ST_WDG, 6, P6, EL, EG, P5, EJ, EE,
2969 /* case 97 */ 8,
2970 ST_PNT, 4, EG, EL, ED, ED,
2971 ST_PYR, 5, P0, P5, EJ, EA, N0,
2972 ST_PYR, 5, EE, P5, P0, EI, N0,
2973 ST_TET, 4, P0, EA, ED, N0,
2974 ST_TET, 4, EI, P0, ED, N0,
2975 ST_PYR, 5, EJ, P5, P6, EL, N0,
2976 ST_PYR, 5, P5, EE, EG, P6, N0,
2977 ST_TET, 4, EG, EL, P6, N0,
2978 /* case 98 */ 7,
2979 ST_PNT, 5, EA, EE, EB, EL, EG,
2980 ST_PYR, 5, EE, EG, P6, P5, N0,
2981 ST_PYR, 5, EA, EE, P5, P1, N0,
2982 ST_TET, 4, EB, EA, P1, N0,
2983 ST_TET, 4, P1, P5, P6, N0,
2984 ST_PYR, 5, EB, P1, P6, EL, N0,
2985 ST_TET, 4, P6, EG, EL, N0,
2986 /* case 99 */ 9,
2987 ST_PNT, 6, EB, EL, EG, EE, EI, ED,
2988 ST_TET, 4, P1, P5, P6, N0,
2989 ST_PYR, 5, EB, P1, P6, EL, N0,
2990 ST_PYR, 5, EB, ED, P0, P1, N0,
2991 ST_TET, 4, P0, P5, P1, N0,
2992 ST_TET, 4, P0, ED, EI, N0,
2993 ST_PYR, 5, P0, EI, EE, P5, N0,
2994 ST_PYR, 5, EE, EG, P6, P5, N0,
2995 ST_TET, 4, EG, EL, P6, N0,
2996 /* case 100 */ 7,
2997 ST_PNT, 5, EC, EG, EB, EJ, EE,
2998 ST_PYR, 5, EG, P6, P5, EE, N0,
2999 ST_PYR, 5, EC, P2, P6, EG, N0,
3000 ST_TET, 4, EB, P2, EC, N0,
3001 ST_TET, 4, P2, P5, P6, N0,
3002 ST_PYR, 5, EB, EJ, P5, P2, N0,
3003 ST_TET, 4, P5, EJ, EE, N0,
3004 /* case 101 */ 9,
3005 ST_PNT, 5, EG, EE, EC, ED, EI,
3006 ST_WDG, 6, EB, EJ, EA, P2, P5, P0,
3007 ST_TET, 4, P5, P2, P0, N0,
3008 ST_PYR, 5, P2, EC, ED, P0, N0,
3009 ST_TET, 4, P6, P2, P5, N0,
3010 ST_PYR, 5, EE, EG, P6, P5, N0,
3011 ST_PYR, 5, EG, EC, P2, P6, N0,
3012 ST_PYR, 5, P0, EI, EE, P5, N0,
3013 ST_TET, 4, ED, EI, P0, N0,
3014 /* case 102 */ 1,
3015 ST_HEX, 8, P1, P5, P6, P2, EA, EE, EG, EC,
3016 /* case 103 */ 9,
3017 ST_PNT, 5, EE, EG, EC, EI, ED,
3018 ST_PYR, 5, P1, P5, P6, P2, N0,
3019 ST_TET, 4, P2, P0, P1, N0,
3020 ST_TET, 4, P0, P5, P1, N0,
3021 ST_PYR, 5, P0, EI, EE, P5, N0,
3022 ST_PYR, 5, EE, EG, P6, P5, N0,
3023 ST_PYR, 5, EG, EC, P2, P6, N0,
3024 ST_PYR, 5, EC, ED, P0, P2, N0,
3025 ST_TET, 4, EI, P0, ED, N0,
3026 /* case 104 */ 8,
3027 ST_PNT, 4, EE, EJ, ED, ED,
3028 ST_PYR, 5, P3, EC, EL, P6, N0,
3029 ST_PYR, 5, EG, EK, P3, P6, N0,
3030 ST_TET, 4, P3, ED, EC, N0,
3031 ST_TET, 4, EK, ED, P3, N0,
3032 ST_PYR, 5, EL, EJ, P5, P6, N0,
3033 ST_PYR, 5, P6, P5, EE, EG, N0,
3034 ST_TET, 4, EE, P5, EJ, N0,
3035 /* case 105 */ 2,
3036 ST_HEX, 8, EA, EJ, EL, EC, P0, P5, P6, P3,
3037 ST_HEX, 8, P0, P5, P6, P3, EI, EE, EG, EK,
3038 /* case 106 */ 9,
3039 ST_PNT, 5, EE, EG, EA, ED, EK,
3040 ST_WDG, 6, P1, P6, P3, EB, EL, EC,
3041 ST_TET, 4, P6, P3, P1, N0,
3042 ST_PYR, 5, P1, P3, ED, EA, N0,
3043 ST_TET, 4, P5, P6, P1, N0,
3044 ST_PYR, 5, EG, P6, P5, EE, N0,
3045 ST_PYR, 5, EE, P5, P1, EA, N0,
3046 ST_PYR, 5, P3, P6, EG, EK, N0,
3047 ST_TET, 4, ED, P3, EK, N0,
3048 /* case 107 */ 11,
3049 ST_PNT, 6, P1, P3, P0, P5, EG, EE,
3050 ST_WDG, 6, P1, P6, P3, EB, EL, EC,
3051 ST_PYR, 5, EE, EG, P6, P5, N0,
3052 ST_TET, 4, P5, P6, P1, N0,
3053 ST_TET, 4, P5, P1, P0, N0,
3054 ST_PYR, 5, EI, EE, P5, P0, N0,
3055 ST_PYR, 5, EK, EI, P0, P3, N0,
3056 ST_TET, 4, P0, P1, P3, N0,
3057 ST_PYR, 5, EG, EE, EI, EK, N0,
3058 ST_TET, 4, P3, P1, P6, N0,
3059 ST_PYR, 5, EG, EK, P3, P6, N0,
3060 /* case 108 */ 9,
3061 ST_PNT, 6, EB, EJ, EE, EG, EK, ED,
3062 ST_TET, 4, P2, P5, P6, N0,
3063 ST_PYR, 5, EB, EJ, P5, P2, N0,
3064 ST_PYR, 5, EB, P2, P3, ED, N0,
3065 ST_TET, 4, P3, P2, P6, N0,
3066 ST_TET, 4, P3, EK, ED, N0,
3067 ST_PYR, 5, P3, P6, EG, EK, N0,
3068 ST_PYR, 5, EG, P6, P5, EE, N0,
3069 ST_TET, 4, EE, P5, EJ, N0,
3070 /* case 109 */ 11,
3071 ST_PNT, 6, P2, P0, P3, P6, EE, EG,
3072 ST_WDG, 6, EB, EJ, EA, P2, P5, P0,
3073 ST_PYR, 5, EG, P6, P5, EE, N0,
3074 ST_TET, 4, P6, P2, P5, N0,
3075 ST_TET, 4, P6, P3, P2, N0,
3076 ST_PYR, 5, EK, P3, P6, EG, N0,
3077 ST_PYR, 5, EI, P0, P3, EK, N0,
3078 ST_TET, 4, P3, P0, P2, N0,
3079 ST_PYR, 5, EE, EI, EK, EG, N0,
3080 ST_TET, 4, P0, P5, P2, N0,
3081 ST_PYR, 5, EE, P5, P0, EI, N0,
3082 /* case 110 */ 9,
3083 ST_PNT, 5, EG, EE, EA, EK, ED,
3084 ST_PYR, 5, P2, P1, P5, P6, N0,
3085 ST_TET, 4, P1, P2, P3, N0,
3086 ST_TET, 4, P3, P2, P6, N0,
3087 ST_PYR, 5, P3, P6, EG, EK, N0,
3088 ST_PYR, 5, EG, P6, P5, EE, N0,
3089 ST_PYR, 5, EE, P5, P1, EA, N0,
3090 ST_PYR, 5, EA, P1, P3, ED, N0,
3091 ST_TET, 4, EK, ED, P3, N0,
3092 /* case 111 */ 2,
3093 ST_HEX, 8, P0, P5, P6, P3, EI, EE, EG, EK,
3094 ST_WDG, 6, P2, P3, P6, P1, P0, P5,
3095 /* case 112 */ 7,
3096 ST_PNT, 5, EI, EJ, EH, EG, EL,
3097 ST_PYR, 5, EJ, P5, P6, EL, N0,
3098 ST_PYR, 5, EI, P4, P5, EJ, N0,
3099 ST_TET, 4, EH, P4, EI, N0,
3100 ST_TET, 4, P4, P6, P5, N0,
3101 ST_PYR, 5, EH, EG, P6, P4, N0,
3102 ST_TET, 4, P6, EG, EL, N0,
3103 /* case 113 */ 9,
3104 ST_PNT, 6, EH, EG, EL, EJ, EA, ED,
3105 ST_TET, 4, P4, P6, P5, N0,
3106 ST_PYR, 5, EH, EG, P6, P4, N0,
3107 ST_PYR, 5, EH, P4, P0, ED, N0,
3108 ST_TET, 4, P0, P4, P5, N0,
3109 ST_TET, 4, P0, EA, ED, N0,
3110 ST_PYR, 5, P0, P5, EJ, EA, N0,
3111 ST_PYR, 5, EJ, P5, P6, EL, N0,
3112 ST_TET, 4, EL, P6, EG, N0,
3113 /* case 114 */ 5,
3114 ST_TET, 4, P5, P6, P1, P4,
3115 ST_PYR, 5, EI, P4, P1, EA, EB,