6 const int64_t
auto_3d_edges[6][2] = {{0, 1}, {0, 2}, {0, 3}, {1, 2}, {1, 3}, {2, 3}};
8 const int64_t
auto_3d_faces[4][3] = {{1, 2, 3}, {0, 2, 3}, {0, 1, 3}, {0, 1, 2}};
11 {-1, -1, -1}, {-1, -1, -1}, {1, 0, 2}, {1, 0, 3}, {-1, -1, -1}, {2, 1, 1},
12 {-1, -1, -1}, {2, 1, 3}, {-1, -1, -1}, {3, 2, 1}, {3, 2, 2}, {-1, -1, -1},
13 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
14 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
15 {-1, -1, -1}, {-1, -1, -1}, {0, 0, 2}, {0, 0, 3}, {-1, -1, -1}, {-1, -1, -1},
16 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
17 {2, 3, 0}, {-1, -1, -1}, {-1, -1, -1}, {2, 3, 3}, {3, 4, 0}, {-1, -1, -1},
18 {3, 4, 2}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
19 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {0, 1, 1},
20 {-1, -1, -1}, {0, 1, 3}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
21 {1, 3, 0}, {-1, -1, -1}, {-1, -1, -1}, {1, 3, 3}, {-1, -1, -1}, {-1, -1, -1},
22 {-1, -1, -1}, {-1, -1, -1}, {3, 5, 0}, {3, 5, 1}, {-1, -1, -1}, {-1, -1, -1},
23 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
24 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {0, 2, 1}, {0, 2, 2}, {-1, -1, -1},
25 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {1, 4, 0}, {-1, -1, -1},
26 {1, 4, 2}, {-1, -1, -1}, {2, 5, 0}, {2, 5, 1}, {-1, -1, -1}, {-1, -1, -1}};
29 {-1, -1, -1}, {-1, -1, -1}, {0, 2, 2}, {0, 1, 3}, {-1, -1, -1}, {0, 2, 1},
30 {-1, -1, -1}, {0, 0, 3}, {-1, -1, -1}, {0, 1, 1}, {0, 0, 2}, {-1, -1, -1},
31 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
32 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
33 {-1, -1, -1}, {-1, -1, -1}, {1, 4, 2}, {1, 3, 3}, {-1, -1, -1}, {-1, -1, -1},
34 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
35 {1, 4, 0}, {-1, -1, -1}, {-1, -1, -1}, {1, 0, 3}, {1, 3, 0}, {-1, -1, -1},
36 {1, 0, 2}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
37 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {2, 5, 1},
38 {-1, -1, -1}, {2, 3, 3}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
39 {2, 5, 0}, {-1, -1, -1}, {-1, -1, -1}, {2, 1, 3}, {-1, -1, -1}, {-1, -1, -1},
40 {-1, -1, -1}, {-1, -1, -1}, {2, 3, 0}, {2, 1, 1}, {-1, -1, -1}, {-1, -1, -1},
41 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
42 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {3, 5, 1}, {3, 4, 2}, {-1, -1, -1},
43 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {3, 5, 0}, {-1, -1, -1},
44 {3, 2, 2}, {-1, -1, -1}, {3, 4, 0}, {3, 2, 1}, {-1, -1, -1}, {-1, -1, -1}};
47 {-1, -1, -1}, {-1, -1, -1}, {0, 0, 3}, {0, 0, 2}, {-1, -1, -1}, {0, 1, 3},
48 {-1, -1, -1}, {0, 1, 1}, {-1, -1, -1}, {0, 2, 2}, {0, 2, 1}, {-1, -1, -1},
49 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
50 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
51 {-1, -1, -1}, {-1, -1, -1}, {1, 0, 3}, {1, 0, 2}, {-1, -1, -1}, {-1, -1, -1},
52 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
53 {1, 3, 3}, {-1, -1, -1}, {-1, -1, -1}, {1, 3, 0}, {1, 4, 2}, {-1, -1, -1},
54 {1, 4, 0}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
55 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {2, 1, 3},
56 {-1, -1, -1}, {2, 1, 1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
57 {2, 3, 3}, {-1, -1, -1}, {-1, -1, -1}, {2, 3, 0}, {-1, -1, -1}, {-1, -1, -1},
58 {-1, -1, -1}, {-1, -1, -1}, {2, 5, 1}, {2, 5, 0}, {-1, -1, -1}, {-1, -1, -1},
59 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1},
60 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {3, 2, 2}, {3, 2, 1}, {-1, -1, -1},
61 {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {-1, -1, -1}, {3, 4, 2}, {-1, -1, -1},
62 {3, 4, 0}, {-1, -1, -1}, {3, 5, 1}, {3, 5, 0}, {-1, -1, -1}, {-1, -1, -1}};
65 -1, -1, 1, 0, -1, 0, -1, 1, -1, 1, 0, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
66 -1, -1, 0, 1, -1, -1, -1, -1, -1, -1, -1, -1, 1, -1, -1, 0, 0, -1, 1, -1, -1, -1, -1, -1,
67 -1, -1, -1, -1, -1, 1, -1, 0, -1, -1, -1, -1, 0, -1, -1, 1, -1, -1, -1, -1, 1, 0, -1, -1,
68 -1, -1, -1, -1, -1, -1, -1, -1, -1, 0, 1, -1, -1, -1, -1, -1, 1, -1, 0, -1, 0, 1, -1, -1};
70 const int64_t
auto_3d_table_complete_vertex[4][3] = {{0, 0, 2}, {1, 0, 3}, {2, 1, 1}, {3, 2, 2}};
73 {{0, 0, 2}, {0, 1, 3}, {0, 2, 1}, {1, 3, 0}, {1, 4, 2}, {2, 5, 0}};
75 const int64_t
auto_3d_table_complete_face[4][3] = {{1, 3, 0}, {0, 2, 1}, {0, 0, 2}, {0, 1, 3}};
78 {0, 0, 2}, {0, 0, 3}, {0, 1, 1}, {0, 1, 3}, {0, 2, 1}, {0, 2, 2}, {1, 0, 2}, {1, 0, 3},
79 {1, 3, 0}, {1, 3, 3}, {1, 4, 0}, {1, 4, 2}, {2, 1, 1}, {2, 1, 3}, {2, 3, 0}, {2, 3, 3},
80 {2, 5, 0}, {2, 5, 1}, {3, 2, 1}, {3, 2, 2}, {3, 4, 0}, {3, 4, 2}, {3, 5, 0}, {3, 5, 1}};
82 const int8_t
auto_valid_tuple_indices[24] = {2, 3, 5, 7, 9, 10, 26, 27, 36, 39, 40, 42,
83 53, 55, 60, 63, 68, 69, 81, 82, 88, 90, 92, 93};
86 -1, -1, 0, 1, -1, 2, -1, 3, -1, 4, 5, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
87 -1, -1, 6, 7, -1, -1, -1, -1, -1, -1, -1, -1, 8, -1, -1, 9, 10, -1, 11, -1, -1, -1, -1, -1,
88 -1, -1, -1, -1, -1, 12, -1, 13, -1, -1, -1, -1, 14, -1, -1, 15, -1, -1, -1, -1, 16, 17, -1, -1,
89 -1, -1, -1, -1, -1, -1, -1, -1, -1, 18, 19, -1, -1, -1, -1, -1, 20, -1, 21, -1, 22, 23, -1, -1};
92 {6, 5, 1}, {7, 3, 0}, {12, 4, 3}, {13, 1, 2}, {18, 2, 5}, {19, 0, 4},
93 {0, 11, 7}, {1, 9, 6}, {14, 10, 9}, {15, 7, 8}, {20, 8, 11}, {21, 6, 10},
94 {2, 17, 13}, {3, 15, 12}, {8, 16, 15}, {9, 13, 14}, {22, 14, 17}, {23, 12, 16},
95 {4, 23, 19}, {5, 21, 18}, {10, 22, 21}, {11, 19, 20}, {16, 20, 23}, {17, 18, 22}};
98 {1, 0, 4, 5, 2, 3, 7, 6, 10, 11, 8, 9, 18, 19, 20, 21, 22, 23, 12, 13, 14, 15, 16, 17},
99 {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23},
100 {3, 2, 5, 4, 0, 1, 13, 12, 16, 17, 14, 15, 19, 18, 22, 23, 20, 21, 6, 7, 8, 9, 10, 11},
101 {2, 3, 0, 1, 5, 4, 12, 13, 14, 15, 16, 17, 6, 7, 8, 9, 10, 11, 19, 18, 22, 23, 20, 21},
102 {5, 4, 3, 2, 1, 0, 19, 18, 22, 23, 20, 21, 13, 12, 16, 17, 14, 15, 7, 6, 10, 11, 8, 9},
103 {4, 5, 1, 0, 3, 2, 18, 19, 20, 21, 22, 23, 7, 6, 10, 11, 8, 9, 13, 12, 16, 17, 14, 15},
104 {7, 6, 10, 11, 8, 9, 1, 0, 4, 5, 2, 3, 20, 21, 18, 19, 23, 22, 14, 15, 12, 13, 17, 16},
105 {6, 7, 8, 9, 10, 11, 0, 1, 2, 3, 4, 5, 14, 15, 12, 13, 17, 16, 20, 21, 18, 19, 23, 22},
106 {9, 8, 11, 10, 6, 7, 15, 14, 17, 16, 12, 13, 21, 20, 23, 22, 18, 19, 0, 1, 2, 3, 4, 5},
107 {8, 9, 6, 7, 11, 10, 14, 15, 12, 13, 17, 16, 0, 1, 2, 3, 4, 5, 21, 20, 23, 22, 18, 19},
108 {11, 10, 9, 8, 7, 6, 21, 20, 23, 22, 18, 19, 15, 14, 17, 16, 12, 13, 1, 0, 4, 5, 2, 3},
109 {10, 11, 7, 6, 9, 8, 20, 21, 18, 19, 23, 22, 1, 0, 4, 5, 2, 3, 15, 14, 17, 16, 12, 13},
110 {13, 12, 16, 17, 14, 15, 3, 2, 5, 4, 0, 1, 22, 23, 19, 18, 21, 20, 8, 9, 6, 7, 11, 10},
111 {12, 13, 14, 15, 16, 17, 2, 3, 0, 1, 5, 4, 8, 9, 6, 7, 11, 10, 22, 23, 19, 18, 21, 20},
112 {15, 14, 17, 16, 12, 13, 9, 8, 11, 10, 6, 7, 23, 22, 21, 20, 19, 18, 2, 3, 0, 1, 5, 4},
113 {14, 15, 12, 13, 17, 16, 8, 9, 6, 7, 11, 10, 2, 3, 0, 1, 5, 4, 23, 22, 21, 20, 19, 18},
114 {17, 16, 15, 14, 13, 12, 23, 22, 21, 20, 19, 18, 9, 8, 11, 10, 6, 7, 3, 2, 5, 4, 0, 1},
115 {16, 17, 13, 12, 15, 14, 22, 23, 19, 18, 21, 20, 3, 2, 5, 4, 0, 1, 9, 8, 11, 10, 6, 7},
116 {19, 18, 22, 23, 20, 21, 5, 4, 3, 2, 1, 0, 16, 17, 13, 12, 15, 14, 10, 11, 7, 6, 9, 8},
117 {18, 19, 20, 21, 22, 23, 4, 5, 1, 0, 3, 2, 10, 11, 7, 6, 9, 8, 16, 17, 13, 12, 15, 14},
118 {21, 20, 23, 22, 18, 19, 11, 10, 9, 8, 7, 6, 17, 16, 15, 14, 13, 12, 4, 5, 1, 0, 3, 2},
119 {20, 21, 18, 19, 23, 22, 10, 11, 7, 6, 9, 8, 4, 5, 1, 0, 3, 2, 17, 16, 15, 14, 13, 12},
120 {23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0},
121 {22, 23, 19, 18, 21, 20, 16, 17, 13, 12, 15, 14, 5, 4, 3, 2, 1, 0, 11, 10, 9, 8, 7, 6}};
123 const int8_t
auto_valid_switch_inverse_table[24] = {0, 1, 5, 3, 4, 2, 6, 7, 19, 13, 18, 12,
124 11, 9, 21, 15, 23, 17, 10, 8, 20, 14, 22, 16};
129 {1, 5, 3, 21, 15, 23}, {1, 3, 5, 15, 21, 23}, {5, 1, 3, 21, 23, 15}, {3, 1, 5, 15, 23, 21},
130 {5, 3, 1, 23, 21, 15}, {3, 5, 1, 23, 15, 21}, {1, 21, 15, 5, 3, 23}, {1, 15, 21, 3, 5, 23},
131 {5, 21, 23, 1, 3, 15}, {3, 15, 23, 1, 5, 21}, {5, 23, 21, 3, 1, 15}, {3, 23, 15, 5, 1, 21},
132 {21, 1, 15, 5, 23, 3}, {15, 1, 21, 3, 23, 5}, {21, 5, 23, 1, 15, 3}, {15, 3, 23, 1, 21, 5},
133 {23, 5, 21, 3, 15, 1}, {23, 3, 15, 5, 21, 1}, {21, 15, 1, 23, 5, 3}, {15, 21, 1, 23, 3, 5},
134 {21, 23, 5, 15, 1, 3}, {15, 23, 3, 21, 1, 5}, {23, 21, 5, 15, 3, 1}, {23, 15, 3, 21, 5, 1}};
137 {3, 1, 1, 0, 0, 0}, {3, 1, 1, 0, 0, 0}, {1, 3, 1, 0, 0, 0}, {1, 3, 1, 0, 0, 0},
138 {1, 1, 3, 0, 0, 0}, {1, 1, 3, 0, 0, 0}, {3, 0, 0, 1, 1, 0}, {3, 0, 0, 1, 1, 0},
139 {1, 0, 0, 3, 1, 0}, {1, 0, 0, 3, 1, 0}, {1, 0, 0, 1, 3, 0}, {1, 0, 0, 1, 3, 0},
140 {0, 3, 0, 1, 0, 1}, {0, 3, 0, 1, 0, 1}, {0, 1, 0, 3, 0, 1}, {0, 1, 0, 3, 0, 1},
141 {0, 1, 0, 1, 0, 3}, {0, 1, 0, 1, 0, 3}, {0, 0, 3, 0, 1, 1}, {0, 0, 3, 0, 1, 1},
142 {0, 0, 1, 0, 3, 1}, {0, 0, 1, 0, 3, 1}, {0, 0, 1, 0, 1, 3}, {0, 0, 1, 0, 1, 3}};
145 {22, 4, 1, 0}, {22, 4, 0, 1}, {22, 1, 4, 0}, {22, 0, 4, 1}, {22, 1, 0, 4}, {22, 0, 1, 4},
146 {4, 22, 1, 0}, {4, 22, 0, 1}, {1, 22, 4, 0}, {0, 22, 4, 1}, {1, 22, 0, 4}, {0, 22, 1, 4},
147 {4, 1, 22, 0}, {4, 0, 22, 1}, {1, 4, 22, 0}, {0, 4, 22, 1}, {1, 0, 22, 4}, {0, 1, 22, 4},
148 {4, 1, 0, 22}, {4, 0, 1, 22}, {1, 4, 0, 22}, {0, 4, 1, 22}, {1, 0, 4, 22}, {0, 1, 4, 22}};
151 {0, 1, 3, 2}, {0, 1, 2, 3}, {0, 3, 1, 2}, {0, 2, 1, 3}, {0, 3, 2, 1}, {0, 2, 3, 1},
152 {1, 0, 3, 2}, {1, 0, 2, 3}, {3, 0, 1, 2}, {2, 0, 1, 3}, {3, 0, 2, 1}, {2, 0, 3, 1},
153 {1, 3, 0, 2}, {1, 2, 0, 3}, {3, 1, 0, 2}, {2, 1, 0, 3}, {3, 2, 0, 1}, {2, 3, 0, 1},
154 {1, 3, 2, 0}, {1, 2, 3, 0}, {3, 1, 2, 0}, {2, 1, 3, 0}, {3, 2, 1, 0}, {2, 3, 1, 0}};
const int8_t subdart_preserving_action_1[24][6]
const int8_t max_subdart_preservation_dimension_1[24][6]
const int64_t auto_3d_table_face[96][3]
const int64_t auto_3d_edges[6][2]
const int8_t subdart_preserving_action_2[24][4]
const int8_t max_subdart_preservation_dimension_2[24][4]
const int8_t auto_valid_switch_product_table[24][24]
const int64_t auto_3d_table_vertex[96][3]
const int64_t auto_3d_table_complete_vertex[4][3]
const int8_t auto_valid_switch_table[24][3]
const int8_t auto_valid_tuple_switch_indices[5]
const int8_t auto_valid_tuples[24][3]
const int8_t auto_valid_switch_inverse_table[24]
const int64_t auto_3d_table_edge[96][3]
const int8_t auto_all_to_valid_tuple_indices[96]
const int64_t auto_3d_table_ccw[96]
const int64_t auto_3d_table_complete_face[4][3]
const int64_t auto_3d_table_complete_edge[6][3]
const int64_t auto_3d_faces[4][3]
const int8_t auto_valid_tuple_indices[24]