35 #ifndef __MCTABLE_HPP__
36 #define __MCTABLE_HPP__
42 {{-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
43 { 8, 3, 0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
44 { 9, 0, 1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
45 { 8, 3, 1, 8, 1, 9,-1,-1,-1,-1,-1,-1,-1},
46 {11, 1, 2,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
47 { 8, 3, 0, 1, 2,11,-1,-1,-1,-1,-1,-1,-1},
48 { 9, 0, 2, 9, 2,11,-1,-1,-1,-1,-1,-1,-1},
49 { 3, 2, 8, 2,11, 8, 8,11, 9,-1,-1,-1,-1},
50 {10, 2, 3,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
51 {10, 2, 0,10, 0, 8,-1,-1,-1,-1,-1,-1,-1},
52 {10, 2, 3, 0, 1, 9,-1,-1,-1,-1,-1,-1,-1},
53 { 2, 1,10, 1, 9,10,10, 9, 8,-1,-1,-1,-1},
54 {11, 1, 3,11, 3,10,-1,-1,-1,-1,-1,-1,-1},
55 { 1, 0,11, 0, 8,11,11, 8,10,-1,-1,-1,-1},
56 { 0, 3, 9, 3,10, 9, 9,10,11,-1,-1,-1,-1},
57 { 8,11, 9, 8,10,11,-1,-1,-1,-1,-1,-1,-1},
58 { 8, 4, 7,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
59 { 3, 0, 4, 3, 4, 7,-1,-1,-1,-1,-1,-1,-1},
60 { 1, 9, 0, 8, 4, 7,-1,-1,-1,-1,-1,-1,-1},
61 { 9, 4, 1, 4, 7, 1, 1, 7, 3,-1,-1,-1,-1},
62 {11, 1, 2, 8, 4, 7,-1,-1,-1,-1,-1,-1,-1},
63 { 2,11, 1, 0, 4, 7, 0, 7, 3,-1,-1,-1,-1},
64 { 4, 7, 8, 0, 2,11, 0,11, 9,-1,-1,-1,-1},
65 { 2, 7, 3, 2, 9, 7, 7, 9, 4, 2,11, 9,-1},
66 { 2, 3,10, 7, 8, 4,-1,-1,-1,-1,-1,-1,-1},
67 { 7,10, 4,10, 2, 4, 4, 2, 0,-1,-1,-1,-1},
68 { 3,10, 2, 4, 7, 8, 9, 0, 1,-1,-1,-1,-1},
69 { 2, 7,10, 2, 1, 7, 1, 4, 7, 1, 9, 4,-1},
70 { 8, 4, 7,10,11, 1,10, 1, 3,-1,-1,-1,-1},
71 {10, 4, 7, 1, 4,10, 1,10,11, 1, 0, 4,-1},
72 { 3, 8, 0, 7,10, 4,10, 9, 4,10,11, 9,-1},
73 { 7,10, 4, 4,10, 9,10,11, 9,-1,-1,-1,-1},
74 { 9, 5, 4,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
75 { 3, 0, 8, 4, 9, 5,-1,-1,-1,-1,-1,-1,-1},
76 { 5, 4, 0, 5, 0, 1,-1,-1,-1,-1,-1,-1,-1},
77 { 4, 8, 5, 8, 3, 5, 5, 3, 1,-1,-1,-1,-1},
78 { 2,11, 1, 9, 5, 4,-1,-1,-1,-1,-1,-1,-1},
79 { 0, 8, 3, 5, 4, 9,11, 1, 2,-1,-1,-1,-1},
80 {11, 5, 2, 5, 4, 2, 2, 4, 0,-1,-1,-1,-1},
81 { 3, 4, 8, 3, 2, 4, 2, 5, 4, 2,11, 5,-1},
82 {10, 2, 3, 9, 5, 4,-1,-1,-1,-1,-1,-1,-1},
83 { 9, 5, 4, 8,10, 2, 8, 2, 0,-1,-1,-1,-1},
84 { 3,10, 2, 1, 5, 4, 1, 4, 0,-1,-1,-1,-1},
85 { 8, 5, 4, 2, 5, 8, 2, 8,10, 2, 1, 5,-1},
86 { 5, 4, 9, 1, 3,10, 1,10,11,-1,-1,-1,-1},
87 { 0, 9, 1, 4, 8, 5, 8,11, 5, 8,10,11,-1},
88 { 3, 4, 0, 3,11, 4, 4,11, 5, 3,10,11,-1},
89 { 4, 8, 5, 5, 8,11, 8,10,11,-1,-1,-1,-1},
90 { 9, 5, 7, 9, 7, 8,-1,-1,-1,-1,-1,-1,-1},
91 { 0, 9, 3, 9, 5, 3, 3, 5, 7,-1,-1,-1,-1},
92 { 8, 0, 7, 0, 1, 7, 7, 1, 5,-1,-1,-1,-1},
93 { 1, 7, 3, 1, 5, 7,-1,-1,-1,-1,-1,-1,-1},
94 { 1, 2,11, 5, 7, 8, 5, 8, 9,-1,-1,-1,-1},
95 { 9, 1, 0,11, 5, 2, 5, 3, 2, 5, 7, 3,-1},
96 { 5, 2,11, 8, 2, 5, 8, 5, 7, 8, 0, 2,-1},
97 {11, 5, 2, 2, 5, 3, 5, 7, 3,-1,-1,-1,-1},
98 {10, 2, 3, 8, 9, 5, 8, 5, 7,-1,-1,-1,-1},
99 { 9, 2, 0, 9, 7, 2, 2, 7,10, 9, 5, 7,-1},
100 { 0, 3, 8, 2, 1,10, 1, 7,10, 1, 5, 7,-1},
101 { 2, 1,10,10, 1, 7, 1, 5, 7,-1,-1,-1,-1},
102 { 3, 9, 1, 3, 8, 9, 7,10,11, 7,11, 5,-1},
103 { 9, 1, 0,11, 7,10,11, 5, 7,-1,-1,-1,-1},
104 { 3, 8, 0, 7,11, 5, 7,10,11,-1,-1,-1,-1},
105 {10, 5, 7,10,11, 5,-1,-1,-1,-1,-1,-1,-1},
106 {11, 6, 5,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
107 { 8, 3, 0,11, 6, 5,-1,-1,-1,-1,-1,-1,-1},
108 { 0, 1, 9, 5,11, 6,-1,-1,-1,-1,-1,-1,-1},
109 {11, 6, 5, 9, 8, 3, 9, 3, 1,-1,-1,-1,-1},
110 { 1, 2, 6, 1, 6, 5,-1,-1,-1,-1,-1,-1,-1},
111 { 0, 8, 3, 2, 6, 5, 2, 5, 1,-1,-1,-1,-1},
112 { 5, 9, 6, 9, 0, 6, 6, 0, 2,-1,-1,-1,-1},
113 { 9, 6, 5, 3, 6, 9, 3, 9, 8, 3, 2, 6,-1},
114 { 3,10, 2,11, 6, 5,-1,-1,-1,-1,-1,-1,-1},
115 { 6, 5,11, 2, 0, 8, 2, 8,10,-1,-1,-1,-1},
116 { 1, 9, 0, 6, 5,11,10, 2, 3,-1,-1,-1,-1},
117 { 1,11, 2, 5, 9, 6, 9,10, 6, 9, 8,10,-1},
118 {10, 6, 3, 6, 5, 3, 3, 5, 1,-1,-1,-1,-1},
119 { 0, 5, 1, 0,10, 5, 5,10, 6, 0, 8,10,-1},
120 { 0, 5, 9, 0, 3, 5, 3, 6, 5, 3,10, 6,-1},
121 { 5, 9, 6, 6, 9,10, 9, 8,10,-1,-1,-1,-1},
122 {11, 6, 5, 4, 7, 8,-1,-1,-1,-1,-1,-1,-1},
123 { 5,11, 6, 7, 3, 0, 7, 0, 4,-1,-1,-1,-1},
124 { 5,11, 6, 0, 1, 9, 8, 4, 7,-1,-1,-1,-1},
125 { 4, 5, 9, 6, 7,11, 7, 1,11, 7, 3, 1,-1},
126 { 7, 8, 4, 5, 1, 2, 5, 2, 6,-1,-1,-1,-1},
127 { 4, 1, 0, 4, 5, 1, 6, 7, 3, 6, 3, 2,-1},
128 { 9, 4, 5, 8, 0, 7, 0, 6, 7, 0, 2, 6,-1},
129 { 4, 5, 9, 6, 3, 2, 6, 7, 3,-1,-1,-1,-1},
130 { 7, 8, 4, 2, 3,10,11, 6, 5,-1,-1,-1,-1},
131 {10, 6, 7,11, 2, 5, 2, 4, 5, 2, 0, 4,-1},
132 {10, 6, 7, 8, 0, 3, 1,11, 2, 9, 4, 5,-1},
133 { 6, 7,10, 1,11, 2, 9, 4, 5,-1,-1,-1,-1},
134 { 6, 7,10, 4, 5, 8, 5, 3, 8, 5, 1, 3,-1},
135 { 6, 7,10, 4, 1, 0, 4, 5, 1,-1,-1,-1,-1},
136 { 4, 5, 9, 3, 8, 0,10, 6, 7,-1,-1,-1,-1},
137 { 9, 4, 5, 7,10, 6,-1,-1,-1,-1,-1,-1,-1},
138 {11, 6, 4,11, 4, 9,-1,-1,-1,-1,-1,-1,-1},
139 { 8, 3, 0, 9,11, 6, 9, 6, 4,-1,-1,-1,-1},
140 { 1,11, 0,11, 6, 0, 0, 6, 4,-1,-1,-1,-1},
141 { 8, 6, 4, 8, 1, 6, 6, 1,11, 8, 3, 1,-1},
142 { 9, 1, 4, 1, 2, 4, 4, 2, 6,-1,-1,-1,-1},
143 { 1, 0, 9, 3, 2, 8, 2, 4, 8, 2, 6, 4,-1},
144 { 2, 4, 0, 2, 6, 4,-1,-1,-1,-1,-1,-1,-1},
145 { 3, 2, 8, 8, 2, 4, 2, 6, 4,-1,-1,-1,-1},
146 { 2, 3,10, 6, 4, 9, 6, 9,11,-1,-1,-1,-1},
147 { 0,11, 2, 0, 9,11, 4, 8,10, 4,10, 6,-1},
148 {11, 2, 1,10, 6, 3, 6, 0, 3, 6, 4, 0,-1},
149 {11, 2, 1,10, 4, 8,10, 6, 4,-1,-1,-1,-1},
150 { 1, 4, 9,10, 4, 1,10, 1, 3,10, 6, 4,-1},
151 { 0, 9, 1, 4,10, 6, 4, 8,10,-1,-1,-1,-1},
152 {10, 6, 3, 3, 6, 0, 6, 4, 0,-1,-1,-1,-1},
153 { 8, 6, 4, 8,10, 6,-1,-1,-1,-1,-1,-1,-1},
154 { 6, 7,11, 7, 8,11,11, 8, 9,-1,-1,-1,-1},
155 { 9, 3, 0, 6, 3, 9, 6, 9,11, 6, 7, 3,-1},
156 { 6, 1,11, 6, 7, 1, 7, 0, 1, 7, 8, 0,-1},
157 { 6, 7,11,11, 7, 1, 7, 3, 1,-1,-1,-1,-1},
158 { 7, 2, 6, 7, 9, 2, 2, 9, 1, 7, 8, 9,-1},
159 { 1, 0, 9, 3, 6, 7, 3, 2, 6,-1,-1,-1,-1},
160 { 8, 0, 7, 7, 0, 6, 0, 2, 6,-1,-1,-1,-1},
161 { 2, 7, 3, 2, 6, 7,-1,-1,-1,-1,-1,-1,-1},
162 { 7,10, 6, 3, 8, 2, 8,11, 2, 8, 9,11,-1},
163 {10, 6, 7,11, 0, 9,11, 2, 0,-1,-1,-1,-1},
164 { 2, 1,11, 7,10, 6, 8, 0, 3,-1,-1,-1,-1},
165 { 1,11, 2, 6, 7,10,-1,-1,-1,-1,-1,-1,-1},
166 { 7,10, 6, 3, 9, 1, 3, 8, 9,-1,-1,-1,-1},
167 { 9, 1, 0,10, 6, 7,-1,-1,-1,-1,-1,-1,-1},
168 { 0, 3, 8,10, 6, 7,-1,-1,-1,-1,-1,-1,-1},
169 {10, 6, 7,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
170 {10, 7, 6,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
171 { 0, 8, 3,10, 7, 6,-1,-1,-1,-1,-1,-1,-1},
172 { 9, 0, 1,10, 7, 6,-1,-1,-1,-1,-1,-1,-1},
173 { 7, 6,10, 3, 1, 9, 3, 9, 8,-1,-1,-1,-1},
174 { 1, 2,11, 6,10, 7,-1,-1,-1,-1,-1,-1,-1},
175 { 2,11, 1, 7, 6,10, 8, 3, 0,-1,-1,-1,-1},
176 {10, 7, 6,11, 9, 0,11, 0, 2,-1,-1,-1,-1},
177 { 7, 6,10, 3, 2, 8, 8, 2,11, 8,11, 9,-1},
178 { 2, 3, 7, 2, 7, 6,-1,-1,-1,-1,-1,-1,-1},
179 { 8, 7, 0, 7, 6, 0, 0, 6, 2,-1,-1,-1,-1},
180 { 1, 9, 0, 3, 7, 6, 3, 6, 2,-1,-1,-1,-1},
181 { 7, 6, 2, 7, 2, 9, 2, 1, 9, 7, 9, 8,-1},
182 { 6,11, 7,11, 1, 7, 7, 1, 3,-1,-1,-1,-1},
183 { 6,11, 1, 6, 1, 7, 7, 1, 0, 7, 0, 8,-1},
184 { 9, 0, 3, 6, 9, 3, 6,11, 9, 6, 3, 7,-1},
185 { 6,11, 7, 7,11, 8,11, 9, 8,-1,-1,-1,-1},
186 { 8, 4, 6, 8, 6,10,-1,-1,-1,-1,-1,-1,-1},
187 {10, 3, 6, 3, 0, 6, 6, 0, 4,-1,-1,-1,-1},
188 { 0, 1, 9, 4, 6,10, 4,10, 8,-1,-1,-1,-1},
189 { 1, 9, 4,10, 1, 4,10, 3, 1,10, 4, 6,-1},
190 {11, 1, 2,10, 8, 4,10, 4, 6,-1,-1,-1,-1},
191 {11, 1, 2,10, 3, 6, 6, 3, 0, 6, 0, 4,-1},
192 { 0, 2,11, 0,11, 9, 4,10, 8, 4, 6,10,-1},
193 { 2,10, 3, 6, 9, 4, 6,11, 9,-1,-1,-1,-1},
194 { 3, 8, 2, 8, 4, 2, 2, 4, 6,-1,-1,-1,-1},
195 { 2, 0, 4, 2, 4, 6,-1,-1,-1,-1,-1,-1,-1},
196 { 1, 9, 0, 3, 8, 2, 2, 8, 4, 2, 4, 6,-1},
197 { 9, 4, 1, 1, 4, 2, 4, 6, 2,-1,-1,-1,-1},
198 { 8, 4, 6, 8, 6, 1, 6,11, 1, 8, 1, 3,-1},
199 { 1, 0,11,11, 0, 6, 0, 4, 6,-1,-1,-1,-1},
200 { 8, 0, 3, 9, 6,11, 9, 4, 6,-1,-1,-1,-1},
201 {11, 4, 6,11, 9, 4,-1,-1,-1,-1,-1,-1,-1},
202 { 9, 5, 4, 7, 6,10,-1,-1,-1,-1,-1,-1,-1},
203 { 4, 9, 5, 3, 0, 8,10, 7, 6,-1,-1,-1,-1},
204 { 6,10, 7, 4, 0, 1, 4, 1, 5,-1,-1,-1,-1},
205 { 6,10, 7, 4, 8, 5, 5, 8, 3, 5, 3, 1,-1},
206 { 6,10, 7, 1, 2,11, 9, 5, 4,-1,-1,-1,-1},
207 {10, 7, 6, 8, 3, 0, 1, 2,11, 9, 5, 4,-1},
208 {10, 7, 6,11, 5, 2, 2, 5, 4, 2, 4, 0,-1},
209 { 7, 4, 8, 2,10, 3,11, 5, 6,-1,-1,-1,-1},
210 { 4, 9, 5, 6, 2, 3, 6, 3, 7,-1,-1,-1,-1},
211 { 9, 5, 4, 8, 7, 0, 0, 7, 6, 0, 6, 2,-1},
212 { 4, 0, 1, 4, 1, 5, 6, 3, 7, 6, 2, 3,-1},
213 { 7, 4, 8, 5, 2, 1, 5, 6, 2,-1,-1,-1,-1},
214 { 4, 9, 5, 6,11, 7, 7,11, 1, 7, 1, 3,-1},
215 { 5, 6,11, 0, 9, 1, 8, 7, 4,-1,-1,-1,-1},
216 { 5, 6,11, 7, 0, 3, 7, 4, 0,-1,-1,-1,-1},
217 {11, 5, 6, 4, 8, 7,-1,-1,-1,-1,-1,-1,-1},
218 { 5, 6, 9, 6,10, 9, 9,10, 8,-1,-1,-1,-1},
219 { 0, 9, 5, 0, 5, 3, 3, 5, 6, 3, 6,10,-1},
220 { 0, 1, 5, 0, 5,10, 5, 6,10, 0,10, 8,-1},
221 {10, 3, 6, 6, 3, 5, 3, 1, 5,-1,-1,-1,-1},
222 { 1, 2,11, 5, 6, 9, 9, 6,10, 9,10, 8,-1},
223 { 1, 0, 9, 6,11, 5,10, 3, 2,-1,-1,-1,-1},
224 { 6,11, 5, 2, 8, 0, 2,10, 8,-1,-1,-1,-1},
225 { 3, 2,10,11, 5, 6,-1,-1,-1,-1,-1,-1,-1},
226 { 9, 5, 6, 3, 9, 6, 3, 8, 9, 3, 6, 2,-1},
227 { 5, 6, 9, 9, 6, 0, 6, 2, 0,-1,-1,-1,-1},
228 { 0, 3, 8, 2, 5, 6, 2, 1, 5,-1,-1,-1,-1},
229 { 1, 6, 2, 1, 5, 6,-1,-1,-1,-1,-1,-1,-1},
230 {11, 5, 6, 9, 3, 8, 9, 1, 3,-1,-1,-1,-1},
231 { 0, 9, 1, 5, 6,11,-1,-1,-1,-1,-1,-1,-1},
232 { 8, 0, 3,11, 5, 6,-1,-1,-1,-1,-1,-1,-1},
233 {11, 5, 6,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
234 {10, 7, 5,10, 5,11,-1,-1,-1,-1,-1,-1,-1},
235 { 3, 0, 8, 7, 5,11, 7,11,10,-1,-1,-1,-1},
236 { 9, 0, 1,11,10, 7,11, 7, 5,-1,-1,-1,-1},
237 { 3, 1, 9, 3, 9, 8, 7,11,10, 7, 5,11,-1},
238 { 2,10, 1,10, 7, 1, 1, 7, 5,-1,-1,-1,-1},
239 { 0, 8, 3, 2,10, 1, 1,10, 7, 1, 7, 5,-1},
240 { 9, 0, 2, 9, 2, 7, 2,10, 7, 9, 7, 5,-1},
241 {10, 3, 2, 8, 5, 9, 8, 7, 5,-1,-1,-1,-1},
242 {11, 2, 5, 2, 3, 5, 5, 3, 7,-1,-1,-1,-1},
243 { 5,11, 2, 8, 5, 2, 8, 7, 5, 8, 2, 0,-1},
244 { 9, 0, 1,11, 2, 5, 5, 2, 3, 5, 3, 7,-1},
245 { 1,11, 2, 5, 8, 7, 5, 9, 8,-1,-1,-1,-1},
246 { 1, 3, 7, 1, 7, 5,-1,-1,-1,-1,-1,-1,-1},
247 { 8, 7, 0, 0, 7, 1, 7, 5, 1,-1,-1,-1,-1},
248 { 0, 3, 9, 9, 3, 5, 3, 7, 5,-1,-1,-1,-1},
249 { 9, 7, 5, 9, 8, 7,-1,-1,-1,-1,-1,-1,-1},
250 { 4, 5, 8, 5,11, 8, 8,11,10,-1,-1,-1,-1},
251 { 3, 0, 4, 3, 4,11, 4, 5,11, 3,11,10,-1},
252 { 0, 1, 9, 4, 5, 8, 8, 5,11, 8,11,10,-1},
253 { 5, 9, 4, 1,10, 3, 1,11,10,-1,-1,-1,-1},
254 { 8, 4, 5, 2, 8, 5, 2,10, 8, 2, 5, 1,-1},
255 { 3, 2,10, 1, 4, 5, 1, 0, 4,-1,-1,-1,-1},
256 { 9, 4, 5, 8, 2,10, 8, 0, 2,-1,-1,-1,-1},
257 {10, 3, 2, 9, 4, 5,-1,-1,-1,-1,-1,-1,-1},
258 { 3, 8, 4, 3, 4, 2, 2, 4, 5, 2, 5,11,-1},
259 {11, 2, 5, 5, 2, 4, 2, 0, 4,-1,-1,-1,-1},
260 { 0, 3, 8, 5, 9, 4,11, 2, 1,-1,-1,-1,-1},
261 { 2, 1,11, 9, 4, 5,-1,-1,-1,-1,-1,-1,-1},
262 { 4, 5, 8, 8, 5, 3, 5, 1, 3,-1,-1,-1,-1},
263 { 5, 0, 4, 5, 1, 0,-1,-1,-1,-1,-1,-1,-1},
264 { 3, 8, 0, 4, 5, 9,-1,-1,-1,-1,-1,-1,-1},
265 { 9, 4, 5,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
266 { 7, 4,10, 4, 9,10,10, 9,11,-1,-1,-1,-1},
267 { 3, 0, 8, 7, 4,10,10, 4, 9,10, 9,11,-1},
268 {10, 7, 4, 1,10, 4, 1,11,10, 1, 4, 0,-1},
269 { 8, 7, 4,10, 1,11,10, 3, 1,-1,-1,-1,-1},
270 { 2,10, 7, 2, 7, 1, 1, 7, 4, 1, 4, 9,-1},
271 { 3, 2,10, 4, 8, 7, 9, 1, 0,-1,-1,-1,-1},
272 { 7, 4,10,10, 4, 2, 4, 0, 2,-1,-1,-1,-1},
273 { 2,10, 3, 7, 4, 8,-1,-1,-1,-1,-1,-1,-1},
274 { 2, 3, 7, 2, 7, 9, 7, 4, 9, 2, 9,11,-1},
275 { 4, 8, 7, 0,11, 2, 0, 9,11,-1,-1,-1,-1},
276 { 2, 1,11, 0, 7, 4, 0, 3, 7,-1,-1,-1,-1},
277 {11, 2, 1, 8, 7, 4,-1,-1,-1,-1,-1,-1,-1},
278 { 9, 1, 4, 4, 1, 7, 1, 3, 7,-1,-1,-1,-1},
279 { 1, 0, 9, 8, 7, 4,-1,-1,-1,-1,-1,-1,-1},
280 { 3, 4, 0, 3, 7, 4,-1,-1,-1,-1,-1,-1,-1},
281 { 8, 7, 4,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
282 { 8, 9,11, 8,11,10,-1,-1,-1,-1,-1,-1,-1},
283 { 0, 9, 3, 3, 9,10, 9,11,10,-1,-1,-1,-1},
284 { 1,11, 0, 0,11, 8,11,10, 8,-1,-1,-1,-1},
285 {11, 3, 1,11,10, 3,-1,-1,-1,-1,-1,-1,-1},
286 { 2,10, 1, 1,10, 9,10, 8, 9,-1,-1,-1,-1},
287 {10, 3, 2, 0, 9, 1,-1,-1,-1,-1,-1,-1,-1},
288 {10, 0, 2,10, 8, 0,-1,-1,-1,-1,-1,-1,-1},
289 {10, 3, 2,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
290 { 3, 8, 2, 2, 8,11, 8, 9,11,-1,-1,-1,-1},
291 { 9, 2, 0, 9,11, 2,-1,-1,-1,-1,-1,-1,-1},
292 { 8, 0, 3, 1,11, 2,-1,-1,-1,-1,-1,-1,-1},
293 {11, 2, 1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
294 { 8, 1, 3, 8, 9, 1,-1,-1,-1,-1,-1,-1,-1},
295 { 9, 1, 0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
296 { 8, 0, 3,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1},
297 {-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}};