OpenCores
URL https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.target/] [i386/] [vperm-4-2.inc] - Blame information for rev 318

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 318 jeremybenn 
/* This file auto-generated with ./vperm.pl 4 2.  */
2 
 
3 
void check0(void)
4 
{
5 
  TEST (0, 0, 0, 0)
6 
  TEST (1, 0, 0, 0)
7 
  TEST (2, 0, 0, 0)
8 
  TEST (3, 0, 0, 0)
9 
  TEST (4, 0, 0, 0)
10 
  TEST (5, 0, 0, 0)
11 
  TEST (6, 0, 0, 0)
12 
  TEST (7, 0, 0, 0)
13 
  TEST (0, 1, 0, 0)
14 
  TEST (1, 1, 0, 0)
15 
  TEST (2, 1, 0, 0)
16 
  TEST (3, 1, 0, 0)
17 
  TEST (4, 1, 0, 0)
18 
  TEST (5, 1, 0, 0)
19 
  TEST (6, 1, 0, 0)
20 
  TEST (7, 1, 0, 0)
21 
  TEST (0, 2, 0, 0)
22 
  TEST (1, 2, 0, 0)
23 
  TEST (2, 2, 0, 0)
24 
  TEST (3, 2, 0, 0)
25 
  TEST (4, 2, 0, 0)
26 
  TEST (5, 2, 0, 0)
27 
  TEST (6, 2, 0, 0)
28 
  TEST (7, 2, 0, 0)
29 
  TEST (0, 3, 0, 0)
30 
  TEST (1, 3, 0, 0)
31 
  TEST (2, 3, 0, 0)
32 
  TEST (3, 3, 0, 0)
33 
  TEST (4, 3, 0, 0)
34 
  TEST (5, 3, 0, 0)
35 
  TEST (6, 3, 0, 0)
36 
  TEST (7, 3, 0, 0)
37 
  TEST (0, 4, 0, 0)
38 
  TEST (1, 4, 0, 0)
39 
  TEST (2, 4, 0, 0)
40 
  TEST (3, 4, 0, 0)
41 
  TEST (4, 4, 0, 0)
42 
  TEST (5, 4, 0, 0)
43 
  TEST (6, 4, 0, 0)
44 
  TEST (7, 4, 0, 0)
45 
  TEST (0, 5, 0, 0)
46 
  TEST (1, 5, 0, 0)
47 
  TEST (2, 5, 0, 0)
48 
  TEST (3, 5, 0, 0)
49 
  TEST (4, 5, 0, 0)
50 
  TEST (5, 5, 0, 0)
51 
  TEST (6, 5, 0, 0)
52 
  TEST (7, 5, 0, 0)
53 
  TEST (0, 6, 0, 0)
54 
  TEST (1, 6, 0, 0)
55 
  TEST (2, 6, 0, 0)
56 
  TEST (3, 6, 0, 0)
57 
  TEST (4, 6, 0, 0)
58 
  TEST (5, 6, 0, 0)
59 
  TEST (6, 6, 0, 0)
60 
  TEST (7, 6, 0, 0)
61 
  TEST (0, 7, 0, 0)
62 
  TEST (1, 7, 0, 0)
63 
  TEST (2, 7, 0, 0)
64 
  TEST (3, 7, 0, 0)
65 
  TEST (4, 7, 0, 0)
66 
  TEST (5, 7, 0, 0)
67 
  TEST (6, 7, 0, 0)
68 
  TEST (7, 7, 0, 0)
69 
  TEST (0, 0, 1, 0)
70 
  TEST (1, 0, 1, 0)
71 
  TEST (2, 0, 1, 0)
72 
  TEST (3, 0, 1, 0)
73 
  TEST (4, 0, 1, 0)
74 
  TEST (5, 0, 1, 0)
75 
  TEST (6, 0, 1, 0)
76 
  TEST (7, 0, 1, 0)
77 
  TEST (0, 1, 1, 0)
78 
  TEST (1, 1, 1, 0)
79 
  TEST (2, 1, 1, 0)
80 
  TEST (3, 1, 1, 0)
81 
  TEST (4, 1, 1, 0)
82 
  TEST (5, 1, 1, 0)
83 
  TEST (6, 1, 1, 0)
84 
  TEST (7, 1, 1, 0)
85 
  TEST (0, 2, 1, 0)
86 
  TEST (1, 2, 1, 0)
87 
  TEST (2, 2, 1, 0)
88 
  TEST (3, 2, 1, 0)
89 
  TEST (4, 2, 1, 0)
90 
  TEST (5, 2, 1, 0)
91 
  TEST (6, 2, 1, 0)
92 
  TEST (7, 2, 1, 0)
93 
  TEST (0, 3, 1, 0)
94 
  TEST (1, 3, 1, 0)
95 
  TEST (2, 3, 1, 0)
96 
  TEST (3, 3, 1, 0)
97 
  TEST (4, 3, 1, 0)
98 
  TEST (5, 3, 1, 0)
99 
  TEST (6, 3, 1, 0)
100 
  TEST (7, 3, 1, 0)
101 
  TEST (0, 4, 1, 0)
102 
  TEST (1, 4, 1, 0)
103 
  TEST (2, 4, 1, 0)
104 
  TEST (3, 4, 1, 0)
105 
  TEST (4, 4, 1, 0)
106 
  TEST (5, 4, 1, 0)
107 
  TEST (6, 4, 1, 0)
108 
  TEST (7, 4, 1, 0)
109 
  TEST (0, 5, 1, 0)
110 
  TEST (1, 5, 1, 0)
111 
  TEST (2, 5, 1, 0)
112 
  TEST (3, 5, 1, 0)
113 
  TEST (4, 5, 1, 0)
114 
  TEST (5, 5, 1, 0)
115 
  TEST (6, 5, 1, 0)
116 
  TEST (7, 5, 1, 0)
117 
  TEST (0, 6, 1, 0)
118 
  TEST (1, 6, 1, 0)
119 
  TEST (2, 6, 1, 0)
120 
  TEST (3, 6, 1, 0)
121 
  TEST (4, 6, 1, 0)
122 
  TEST (5, 6, 1, 0)
123 
  TEST (6, 6, 1, 0)
124 
  TEST (7, 6, 1, 0)
125 
  TEST (0, 7, 1, 0)
126 
  TEST (1, 7, 1, 0)
127 
  TEST (2, 7, 1, 0)
128 
  TEST (3, 7, 1, 0)
129 
  TEST (4, 7, 1, 0)
130 
  TEST (5, 7, 1, 0)
131 
  TEST (6, 7, 1, 0)
132 
  TEST (7, 7, 1, 0)
133 
}
134 
 
135 
void check1(void)
136 
{
137 
  TEST (0, 0, 2, 0)
138 
  TEST (1, 0, 2, 0)
139 
  TEST (2, 0, 2, 0)
140 
  TEST (3, 0, 2, 0)
141 
  TEST (4, 0, 2, 0)
142 
  TEST (5, 0, 2, 0)
143 
  TEST (6, 0, 2, 0)
144 
  TEST (7, 0, 2, 0)
145 
  TEST (0, 1, 2, 0)
146 
  TEST (1, 1, 2, 0)
147 
  TEST (2, 1, 2, 0)
148 
  TEST (3, 1, 2, 0)
149 
  TEST (4, 1, 2, 0)
150 
  TEST (5, 1, 2, 0)
151 
  TEST (6, 1, 2, 0)
152 
  TEST (7, 1, 2, 0)
153 
  TEST (0, 2, 2, 0)
154 
  TEST (1, 2, 2, 0)
155 
  TEST (2, 2, 2, 0)
156 
  TEST (3, 2, 2, 0)
157 
  TEST (4, 2, 2, 0)
158 
  TEST (5, 2, 2, 0)
159 
  TEST (6, 2, 2, 0)
160 
  TEST (7, 2, 2, 0)
161 
  TEST (0, 3, 2, 0)
162 
  TEST (1, 3, 2, 0)
163 
  TEST (2, 3, 2, 0)
164 
  TEST (3, 3, 2, 0)
165 
  TEST (4, 3, 2, 0)
166 
  TEST (5, 3, 2, 0)
167 
  TEST (6, 3, 2, 0)
168 
  TEST (7, 3, 2, 0)
169 
  TEST (0, 4, 2, 0)
170 
  TEST (1, 4, 2, 0)
171 
  TEST (2, 4, 2, 0)
172 
  TEST (3, 4, 2, 0)
173 
  TEST (4, 4, 2, 0)
174 
  TEST (5, 4, 2, 0)
175 
  TEST (6, 4, 2, 0)
176 
  TEST (7, 4, 2, 0)
177 
  TEST (0, 5, 2, 0)
178 
  TEST (1, 5, 2, 0)
179 
  TEST (2, 5, 2, 0)
180 
  TEST (3, 5, 2, 0)
181 
  TEST (4, 5, 2, 0)
182 
  TEST (5, 5, 2, 0)
183 
  TEST (6, 5, 2, 0)
184 
  TEST (7, 5, 2, 0)
185 
  TEST (0, 6, 2, 0)
186 
  TEST (1, 6, 2, 0)
187 
  TEST (2, 6, 2, 0)
188 
  TEST (3, 6, 2, 0)
189 
  TEST (4, 6, 2, 0)
190 
  TEST (5, 6, 2, 0)
191 
  TEST (6, 6, 2, 0)
192 
  TEST (7, 6, 2, 0)
193 
  TEST (0, 7, 2, 0)
194 
  TEST (1, 7, 2, 0)
195 
  TEST (2, 7, 2, 0)
196 
  TEST (3, 7, 2, 0)
197 
  TEST (4, 7, 2, 0)
198 
  TEST (5, 7, 2, 0)
199 
  TEST (6, 7, 2, 0)
200 
  TEST (7, 7, 2, 0)
201 
  TEST (0, 0, 3, 0)
202 
  TEST (1, 0, 3, 0)
203 
  TEST (2, 0, 3, 0)
204 
  TEST (3, 0, 3, 0)
205 
  TEST (4, 0, 3, 0)
206 
  TEST (5, 0, 3, 0)
207 
  TEST (6, 0, 3, 0)
208 
  TEST (7, 0, 3, 0)
209 
  TEST (0, 1, 3, 0)
210 
  TEST (1, 1, 3, 0)
211 
  TEST (2, 1, 3, 0)
212 
  TEST (3, 1, 3, 0)
213 
  TEST (4, 1, 3, 0)
214 
  TEST (5, 1, 3, 0)
215 
  TEST (6, 1, 3, 0)
216 
  TEST (7, 1, 3, 0)
217 
  TEST (0, 2, 3, 0)
218 
  TEST (1, 2, 3, 0)
219 
  TEST (2, 2, 3, 0)
220 
  TEST (3, 2, 3, 0)
221 
  TEST (4, 2, 3, 0)
222 
  TEST (5, 2, 3, 0)
223 
  TEST (6, 2, 3, 0)
224 
  TEST (7, 2, 3, 0)
225 
  TEST (0, 3, 3, 0)
226 
  TEST (1, 3, 3, 0)
227 
  TEST (2, 3, 3, 0)
228 
  TEST (3, 3, 3, 0)
229 
  TEST (4, 3, 3, 0)
230 
  TEST (5, 3, 3, 0)
231 
  TEST (6, 3, 3, 0)
232 
  TEST (7, 3, 3, 0)
233 
  TEST (0, 4, 3, 0)
234 
  TEST (1, 4, 3, 0)
235 
  TEST (2, 4, 3, 0)
236 
  TEST (3, 4, 3, 0)
237 
  TEST (4, 4, 3, 0)
238 
  TEST (5, 4, 3, 0)
239 
  TEST (6, 4, 3, 0)
240 
  TEST (7, 4, 3, 0)
241 
  TEST (0, 5, 3, 0)
242 
  TEST (1, 5, 3, 0)
243 
  TEST (2, 5, 3, 0)
244 
  TEST (3, 5, 3, 0)
245 
  TEST (4, 5, 3, 0)
246 
  TEST (5, 5, 3, 0)
247 
  TEST (6, 5, 3, 0)
248 
  TEST (7, 5, 3, 0)
249 
  TEST (0, 6, 3, 0)
250 
  TEST (1, 6, 3, 0)
251 
  TEST (2, 6, 3, 0)
252 
  TEST (3, 6, 3, 0)
253 
  TEST (4, 6, 3, 0)
254 
  TEST (5, 6, 3, 0)
255 
  TEST (6, 6, 3, 0)
256 
  TEST (7, 6, 3, 0)
257 
  TEST (0, 7, 3, 0)
258 
  TEST (1, 7, 3, 0)
259 
  TEST (2, 7, 3, 0)
260 
  TEST (3, 7, 3, 0)
261 
  TEST (4, 7, 3, 0)
262 
  TEST (5, 7, 3, 0)
263 
  TEST (6, 7, 3, 0)
264 
  TEST (7, 7, 3, 0)
265 
}
266 
 
267 
void check2(void)
268 
{
269 
  TEST (0, 0, 4, 0)
270 
  TEST (1, 0, 4, 0)
271 
  TEST (2, 0, 4, 0)
272 
  TEST (3, 0, 4, 0)
273 
  TEST (4, 0, 4, 0)
274 
  TEST (5, 0, 4, 0)
275 
  TEST (6, 0, 4, 0)
276 
  TEST (7, 0, 4, 0)
277 
  TEST (0, 1, 4, 0)
278 
  TEST (1, 1, 4, 0)
279 
  TEST (2, 1, 4, 0)
280 
  TEST (3, 1, 4, 0)
281 
  TEST (4, 1, 4, 0)
282 
  TEST (5, 1, 4, 0)
283 
  TEST (6, 1, 4, 0)
284 
  TEST (7, 1, 4, 0)
285 
  TEST (0, 2, 4, 0)
286 
  TEST (1, 2, 4, 0)
287 
  TEST (2, 2, 4, 0)
288 
  TEST (3, 2, 4, 0)
289 
  TEST (4, 2, 4, 0)
290 
  TEST (5, 2, 4, 0)
291 
  TEST (6, 2, 4, 0)
292 
  TEST (7, 2, 4, 0)
293 
  TEST (0, 3, 4, 0)
294 
  TEST (1, 3, 4, 0)
295 
  TEST (2, 3, 4, 0)
296 
  TEST (3, 3, 4, 0)
297 
  TEST (4, 3, 4, 0)
298 
  TEST (5, 3, 4, 0)
299 
  TEST (6, 3, 4, 0)
300 
  TEST (7, 3, 4, 0)
301 
  TEST (0, 4, 4, 0)
302 
  TEST (1, 4, 4, 0)
303 
  TEST (2, 4, 4, 0)
304 
  TEST (3, 4, 4, 0)
305 
  TEST (4, 4, 4, 0)
306 
  TEST (5, 4, 4, 0)
307 
  TEST (6, 4, 4, 0)
308 
  TEST (7, 4, 4, 0)
309 
  TEST (0, 5, 4, 0)
310 
  TEST (1, 5, 4, 0)
311 
  TEST (2, 5, 4, 0)
312 
  TEST (3, 5, 4, 0)
313 
  TEST (4, 5, 4, 0)
314 
  TEST (5, 5, 4, 0)
315 
  TEST (6, 5, 4, 0)
316 
  TEST (7, 5, 4, 0)
317 
  TEST (0, 6, 4, 0)
318 
  TEST (1, 6, 4, 0)
319 
  TEST (2, 6, 4, 0)
320 
  TEST (3, 6, 4, 0)
321 
  TEST (4, 6, 4, 0)
322 
  TEST (5, 6, 4, 0)
323 
  TEST (6, 6, 4, 0)
324 
  TEST (7, 6, 4, 0)
325 
  TEST (0, 7, 4, 0)
326 
  TEST (1, 7, 4, 0)
327 
  TEST (2, 7, 4, 0)
328 
  TEST (3, 7, 4, 0)
329 
  TEST (4, 7, 4, 0)
330 
  TEST (5, 7, 4, 0)
331 
  TEST (6, 7, 4, 0)
332 
  TEST (7, 7, 4, 0)
333 
  TEST (0, 0, 5, 0)
334 
  TEST (1, 0, 5, 0)
335 
  TEST (2, 0, 5, 0)
336 
  TEST (3, 0, 5, 0)
337 
  TEST (4, 0, 5, 0)
338 
  TEST (5, 0, 5, 0)
339 
  TEST (6, 0, 5, 0)
340 
  TEST (7, 0, 5, 0)
341 
  TEST (0, 1, 5, 0)
342 
  TEST (1, 1, 5, 0)
343 
  TEST (2, 1, 5, 0)
344 
  TEST (3, 1, 5, 0)
345 
  TEST (4, 1, 5, 0)
346 
  TEST (5, 1, 5, 0)
347 
  TEST (6, 1, 5, 0)
348 
  TEST (7, 1, 5, 0)
349 
  TEST (0, 2, 5, 0)
350 
  TEST (1, 2, 5, 0)
351 
  TEST (2, 2, 5, 0)
352 
  TEST (3, 2, 5, 0)
353 
  TEST (4, 2, 5, 0)
354 
  TEST (5, 2, 5, 0)
355 
  TEST (6, 2, 5, 0)
356 
  TEST (7, 2, 5, 0)
357 
  TEST (0, 3, 5, 0)
358 
  TEST (1, 3, 5, 0)
359 
  TEST (2, 3, 5, 0)
360 
  TEST (3, 3, 5, 0)
361 
  TEST (4, 3, 5, 0)
362 
  TEST (5, 3, 5, 0)
363 
  TEST (6, 3, 5, 0)
364 
  TEST (7, 3, 5, 0)
365 
  TEST (0, 4, 5, 0)
366 
  TEST (1, 4, 5, 0)
367 
  TEST (2, 4, 5, 0)
368 
  TEST (3, 4, 5, 0)
369 
  TEST (4, 4, 5, 0)
370 
  TEST (5, 4, 5, 0)
371 
  TEST (6, 4, 5, 0)
372 
  TEST (7, 4, 5, 0)
373 
  TEST (0, 5, 5, 0)
374 
  TEST (1, 5, 5, 0)
375 
  TEST (2, 5, 5, 0)
376 
  TEST (3, 5, 5, 0)
377 
  TEST (4, 5, 5, 0)
378 
  TEST (5, 5, 5, 0)
379 
  TEST (6, 5, 5, 0)
380 
  TEST (7, 5, 5, 0)
381 
  TEST (0, 6, 5, 0)
382 
  TEST (1, 6, 5, 0)
383 
  TEST (2, 6, 5, 0)
384 
  TEST (3, 6, 5, 0)
385 
  TEST (4, 6, 5, 0)
386 
  TEST (5, 6, 5, 0)
387 
  TEST (6, 6, 5, 0)
388 
  TEST (7, 6, 5, 0)
389 
  TEST (0, 7, 5, 0)
390 
  TEST (1, 7, 5, 0)
391 
  TEST (2, 7, 5, 0)
392 
  TEST (3, 7, 5, 0)
393 
  TEST (4, 7, 5, 0)
394 
  TEST (5, 7, 5, 0)
395 
  TEST (6, 7, 5, 0)
396 
  TEST (7, 7, 5, 0)
397 
}
398 
 
399 
void check3(void)
400 
{
401 
  TEST (0, 0, 6, 0)
402 
  TEST (1, 0, 6, 0)
403 
  TEST (2, 0, 6, 0)
404 
  TEST (3, 0, 6, 0)
405 
  TEST (4, 0, 6, 0)
406 
  TEST (5, 0, 6, 0)
407 
  TEST (6, 0, 6, 0)
408 
  TEST (7, 0, 6, 0)
409 
  TEST (0, 1, 6, 0)
410 
  TEST (1, 1, 6, 0)
411 
  TEST (2, 1, 6, 0)
412 
  TEST (3, 1, 6, 0)
413 
  TEST (4, 1, 6, 0)
414 
  TEST (5, 1, 6, 0)
415 
  TEST (6, 1, 6, 0)
416 
  TEST (7, 1, 6, 0)
417 
  TEST (0, 2, 6, 0)
418 
  TEST (1, 2, 6, 0)
419 
  TEST (2, 2, 6, 0)
420 
  TEST (3, 2, 6, 0)
421 
  TEST (4, 2, 6, 0)
422 
  TEST (5, 2, 6, 0)
423 
  TEST (6, 2, 6, 0)
424 
  TEST (7, 2, 6, 0)
425 
  TEST (0, 3, 6, 0)
426 
  TEST (1, 3, 6, 0)
427 
  TEST (2, 3, 6, 0)
428 
  TEST (3, 3, 6, 0)
429 
  TEST (4, 3, 6, 0)
430 
  TEST (5, 3, 6, 0)
431 
  TEST (6, 3, 6, 0)
432 
  TEST (7, 3, 6, 0)
433 
  TEST (0, 4, 6, 0)
434 
  TEST (1, 4, 6, 0)
435 
  TEST (2, 4, 6, 0)
436 
  TEST (3, 4, 6, 0)
437 
  TEST (4, 4, 6, 0)
438 
  TEST (5, 4, 6, 0)
439 
  TEST (6, 4, 6, 0)
440 
  TEST (7, 4, 6, 0)
441 
  TEST (0, 5, 6, 0)
442 
  TEST (1, 5, 6, 0)
443 
  TEST (2, 5, 6, 0)
444 
  TEST (3, 5, 6, 0)
445 
  TEST (4, 5, 6, 0)
446 
  TEST (5, 5, 6, 0)
447 
  TEST (6, 5, 6, 0)
448 
  TEST (7, 5, 6, 0)
449 
  TEST (0, 6, 6, 0)
450 
  TEST (1, 6, 6, 0)
451 
  TEST (2, 6, 6, 0)
452 
  TEST (3, 6, 6, 0)
453 
  TEST (4, 6, 6, 0)
454 
  TEST (5, 6, 6, 0)
455 
  TEST (6, 6, 6, 0)
456 
  TEST (7, 6, 6, 0)
457 
  TEST (0, 7, 6, 0)
458 
  TEST (1, 7, 6, 0)
459 
  TEST (2, 7, 6, 0)
460 
  TEST (3, 7, 6, 0)
461 
  TEST (4, 7, 6, 0)
462 
  TEST (5, 7, 6, 0)
463 
  TEST (6, 7, 6, 0)
464 
  TEST (7, 7, 6, 0)
465 
  TEST (0, 0, 7, 0)
466 
  TEST (1, 0, 7, 0)
467 
  TEST (2, 0, 7, 0)
468 
  TEST (3, 0, 7, 0)
469 
  TEST (4, 0, 7, 0)
470 
  TEST (5, 0, 7, 0)
471 
  TEST (6, 0, 7, 0)
472 
  TEST (7, 0, 7, 0)
473 
  TEST (0, 1, 7, 0)
474 
  TEST (1, 1, 7, 0)
475 
  TEST (2, 1, 7, 0)
476 
  TEST (3, 1, 7, 0)
477 
  TEST (4, 1, 7, 0)
478 
  TEST (5, 1, 7, 0)
479 
  TEST (6, 1, 7, 0)
480 
  TEST (7, 1, 7, 0)
481 
  TEST (0, 2, 7, 0)
482 
  TEST (1, 2, 7, 0)
483 
  TEST (2, 2, 7, 0)
484 
  TEST (3, 2, 7, 0)
485 
  TEST (4, 2, 7, 0)
486 
  TEST (5, 2, 7, 0)
487 
  TEST (6, 2, 7, 0)
488 
  TEST (7, 2, 7, 0)
489 
  TEST (0, 3, 7, 0)
490 
  TEST (1, 3, 7, 0)
491 
  TEST (2, 3, 7, 0)
492 
  TEST (3, 3, 7, 0)
493 
  TEST (4, 3, 7, 0)
494 
  TEST (5, 3, 7, 0)
495 
  TEST (6, 3, 7, 0)
496 
  TEST (7, 3, 7, 0)
497 
  TEST (0, 4, 7, 0)
498 
  TEST (1, 4, 7, 0)
499 
  TEST (2, 4, 7, 0)
500 
  TEST (3, 4, 7, 0)
501 
  TEST (4, 4, 7, 0)
502 
  TEST (5, 4, 7, 0)
503 
  TEST (6, 4, 7, 0)
504 
  TEST (7, 4, 7, 0)
505 
  TEST (0, 5, 7, 0)
506 
  TEST (1, 5, 7, 0)
507 
  TEST (2, 5, 7, 0)
508 
  TEST (3, 5, 7, 0)
509 
  TEST (4, 5, 7, 0)
510 
  TEST (5, 5, 7, 0)
511 
  TEST (6, 5, 7, 0)
512 
  TEST (7, 5, 7, 0)
513 
  TEST (0, 6, 7, 0)
514 
  TEST (1, 6, 7, 0)
515 
  TEST (2, 6, 7, 0)
516 
  TEST (3, 6, 7, 0)
517 
  TEST (4, 6, 7, 0)
518 
  TEST (5, 6, 7, 0)
519 
  TEST (6, 6, 7, 0)
520 
  TEST (7, 6, 7, 0)
521 
  TEST (0, 7, 7, 0)
522 
  TEST (1, 7, 7, 0)
523 
  TEST (2, 7, 7, 0)
524 
  TEST (3, 7, 7, 0)
525 
  TEST (4, 7, 7, 0)
526 
  TEST (5, 7, 7, 0)
527 
  TEST (6, 7, 7, 0)
528 
  TEST (7, 7, 7, 0)
529 
}
530 
 
531 
void check4(void)
532 
{
533 
  TEST (0, 0, 0, 1)
534 
  TEST (1, 0, 0, 1)
535 
  TEST (2, 0, 0, 1)
536 
  TEST (3, 0, 0, 1)
537 
  TEST (4, 0, 0, 1)
538 
  TEST (5, 0, 0, 1)
539 
  TEST (6, 0, 0, 1)
540 
  TEST (7, 0, 0, 1)
541 
  TEST (0, 1, 0, 1)
542 
  TEST (1, 1, 0, 1)
543 
  TEST (2, 1, 0, 1)
544 
  TEST (3, 1, 0, 1)
545 
  TEST (4, 1, 0, 1)
546 
  TEST (5, 1, 0, 1)
547 
  TEST (6, 1, 0, 1)
548 
  TEST (7, 1, 0, 1)
549 
  TEST (0, 2, 0, 1)
550 
  TEST (1, 2, 0, 1)
551 
  TEST (2, 2, 0, 1)
552 
  TEST (3, 2, 0, 1)
553 
  TEST (4, 2, 0, 1)
554 
  TEST (5, 2, 0, 1)
555 
  TEST (6, 2, 0, 1)
556 
  TEST (7, 2, 0, 1)
557 
  TEST (0, 3, 0, 1)
558 
  TEST (1, 3, 0, 1)
559 
  TEST (2, 3, 0, 1)
560 
  TEST (3, 3, 0, 1)
561 
  TEST (4, 3, 0, 1)
562 
  TEST (5, 3, 0, 1)
563 
  TEST (6, 3, 0, 1)
564 
  TEST (7, 3, 0, 1)
565 
  TEST (0, 4, 0, 1)
566 
  TEST (1, 4, 0, 1)
567 
  TEST (2, 4, 0, 1)
568 
  TEST (3, 4, 0, 1)
569 
  TEST (4, 4, 0, 1)
570 
  TEST (5, 4, 0, 1)
571 
  TEST (6, 4, 0, 1)
572 
  TEST (7, 4, 0, 1)
573 
  TEST (0, 5, 0, 1)
574 
  TEST (1, 5, 0, 1)
575 
  TEST (2, 5, 0, 1)
576 
  TEST (3, 5, 0, 1)
577 
  TEST (4, 5, 0, 1)
578 
  TEST (5, 5, 0, 1)
579 
  TEST (6, 5, 0, 1)
580 
  TEST (7, 5, 0, 1)
581 
  TEST (0, 6, 0, 1)
582 
  TEST (1, 6, 0, 1)
583 
  TEST (2, 6, 0, 1)
584 
  TEST (3, 6, 0, 1)
585 
  TEST (4, 6, 0, 1)
586 
  TEST (5, 6, 0, 1)
587 
  TEST (6, 6, 0, 1)
588 
  TEST (7, 6, 0, 1)
589 
  TEST (0, 7, 0, 1)
590 
  TEST (1, 7, 0, 1)
591 
  TEST (2, 7, 0, 1)
592 
  TEST (3, 7, 0, 1)
593 
  TEST (4, 7, 0, 1)
594 
  TEST (5, 7, 0, 1)
595 
  TEST (6, 7, 0, 1)
596 
  TEST (7, 7, 0, 1)
597 
  TEST (0, 0, 1, 1)
598 
  TEST (1, 0, 1, 1)
599 
  TEST (2, 0, 1, 1)
600 
  TEST (3, 0, 1, 1)
601 
  TEST (4, 0, 1, 1)
602 
  TEST (5, 0, 1, 1)
603 
  TEST (6, 0, 1, 1)
604 
  TEST (7, 0, 1, 1)
605 
  TEST (0, 1, 1, 1)
606 
  TEST (1, 1, 1, 1)
607 
  TEST (2, 1, 1, 1)
608 
  TEST (3, 1, 1, 1)
609 
  TEST (4, 1, 1, 1)
610 
  TEST (5, 1, 1, 1)
611 
  TEST (6, 1, 1, 1)
612 
  TEST (7, 1, 1, 1)
613 
  TEST (0, 2, 1, 1)
614 
  TEST (1, 2, 1, 1)
615 
  TEST (2, 2, 1, 1)
616 
  TEST (3, 2, 1, 1)
617 
  TEST (4, 2, 1, 1)
618 
  TEST (5, 2, 1, 1)
619 
  TEST (6, 2, 1, 1)
620 
  TEST (7, 2, 1, 1)
621 
  TEST (0, 3, 1, 1)
622 
  TEST (1, 3, 1, 1)
623 
  TEST (2, 3, 1, 1)
624 
  TEST (3, 3, 1, 1)
625 
  TEST (4, 3, 1, 1)
626 
  TEST (5, 3, 1, 1)
627 
  TEST (6, 3, 1, 1)
628 
  TEST (7, 3, 1, 1)
629 
  TEST (0, 4, 1, 1)
630 
  TEST (1, 4, 1, 1)
631 
  TEST (2, 4, 1, 1)
632 
  TEST (3, 4, 1, 1)
633 
  TEST (4, 4, 1, 1)
634 
  TEST (5, 4, 1, 1)
635 
  TEST (6, 4, 1, 1)
636 
  TEST (7, 4, 1, 1)
637 
  TEST (0, 5, 1, 1)
638 
  TEST (1, 5, 1, 1)
639 
  TEST (2, 5, 1, 1)
640 
  TEST (3, 5, 1, 1)
641 
  TEST (4, 5, 1, 1)
642 
  TEST (5, 5, 1, 1)
643 
  TEST (6, 5, 1, 1)
644 
  TEST (7, 5, 1, 1)
645 
  TEST (0, 6, 1, 1)
646 
  TEST (1, 6, 1, 1)
647 
  TEST (2, 6, 1, 1)
648 
  TEST (3, 6, 1, 1)
649 
  TEST (4, 6, 1, 1)
650 
  TEST (5, 6, 1, 1)
651 
  TEST (6, 6, 1, 1)
652 
  TEST (7, 6, 1, 1)
653 
  TEST (0, 7, 1, 1)
654 
  TEST (1, 7, 1, 1)
655 
  TEST (2, 7, 1, 1)
656 
  TEST (3, 7, 1, 1)
657 
  TEST (4, 7, 1, 1)
658 
  TEST (5, 7, 1, 1)
659 
  TEST (6, 7, 1, 1)
660 
  TEST (7, 7, 1, 1)
661 
}
662 
 
663 
void check5(void)
664 
{
665 
  TEST (0, 0, 2, 1)
666 
  TEST (1, 0, 2, 1)
667 
  TEST (2, 0, 2, 1)
668 
  TEST (3, 0, 2, 1)
669 
  TEST (4, 0, 2, 1)
670 
  TEST (5, 0, 2, 1)
671 
  TEST (6, 0, 2, 1)
672 
  TEST (7, 0, 2, 1)
673 
  TEST (0, 1, 2, 1)
674 
  TEST (1, 1, 2, 1)
675 
  TEST (2, 1, 2, 1)
676 
  TEST (3, 1, 2, 1)
677 
  TEST (4, 1, 2, 1)
678 
  TEST (5, 1, 2, 1)
679 
  TEST (6, 1, 2, 1)
680 
  TEST (7, 1, 2, 1)
681 
  TEST (0, 2, 2, 1)
682 
  TEST (1, 2, 2, 1)
683 
  TEST (2, 2, 2, 1)
684 
  TEST (3, 2, 2, 1)
685 
  TEST (4, 2, 2, 1)
686 
  TEST (5, 2, 2, 1)
687 
  TEST (6, 2, 2, 1)
688 
  TEST (7, 2, 2, 1)
689 
  TEST (0, 3, 2, 1)
690 
  TEST (1, 3, 2, 1)
691 
  TEST (2, 3, 2, 1)
692 
  TEST (3, 3, 2, 1)
693 
  TEST (4, 3, 2, 1)
694 
  TEST (5, 3, 2, 1)
695 
  TEST (6, 3, 2, 1)
696 
  TEST (7, 3, 2, 1)
697 
  TEST (0, 4, 2, 1)
698 
  TEST (1, 4, 2, 1)
699 
  TEST (2, 4, 2, 1)
700 
  TEST (3, 4, 2, 1)
701 
  TEST (4, 4, 2, 1)
702 
  TEST (5, 4, 2, 1)
703 
  TEST (6, 4, 2, 1)
704 
  TEST (7, 4, 2, 1)
705 
  TEST (0, 5, 2, 1)
706 
  TEST (1, 5, 2, 1)
707 
  TEST (2, 5, 2, 1)
708 
  TEST (3, 5, 2, 1)
709 
  TEST (4, 5, 2, 1)
710 
  TEST (5, 5, 2, 1)
711 
  TEST (6, 5, 2, 1)
712 
  TEST (7, 5, 2, 1)
713 
  TEST (0, 6, 2, 1)
714 
  TEST (1, 6, 2, 1)
715 
  TEST (2, 6, 2, 1)
716 
  TEST (3, 6, 2, 1)
717 
  TEST (4, 6, 2, 1)
718 
  TEST (5, 6, 2, 1)
719 
  TEST (6, 6, 2, 1)
720 
  TEST (7, 6, 2, 1)
721 
  TEST (0, 7, 2, 1)
722 
  TEST (1, 7, 2, 1)
723 
  TEST (2, 7, 2, 1)
724 
  TEST (3, 7, 2, 1)
725 
  TEST (4, 7, 2, 1)
726 
  TEST (5, 7, 2, 1)
727 
  TEST (6, 7, 2, 1)
728 
  TEST (7, 7, 2, 1)
729 
  TEST (0, 0, 3, 1)
730 
  TEST (1, 0, 3, 1)
731 
  TEST (2, 0, 3, 1)
732 
  TEST (3, 0, 3, 1)
733 
  TEST (4, 0, 3, 1)
734 
  TEST (5, 0, 3, 1)
735 
  TEST (6, 0, 3, 1)
736 
  TEST (7, 0, 3, 1)
737 
  TEST (0, 1, 3, 1)
738 
  TEST (1, 1, 3, 1)
739 
  TEST (2, 1, 3, 1)
740 
  TEST (3, 1, 3, 1)
741 
  TEST (4, 1, 3, 1)
742 
  TEST (5, 1, 3, 1)
743 
  TEST (6, 1, 3, 1)
744 
  TEST (7, 1, 3, 1)
745 
  TEST (0, 2, 3, 1)
746 
  TEST (1, 2, 3, 1)
747 
  TEST (2, 2, 3, 1)
748 
  TEST (3, 2, 3, 1)
749 
  TEST (4, 2, 3, 1)
750 
  TEST (5, 2, 3, 1)
751 
  TEST (6, 2, 3, 1)
752 
  TEST (7, 2, 3, 1)
753 
  TEST (0, 3, 3, 1)
754 
  TEST (1, 3, 3, 1)
755 
  TEST (2, 3, 3, 1)
756 
  TEST (3, 3, 3, 1)
757 
  TEST (4, 3, 3, 1)
758 
  TEST (5, 3, 3, 1)
759 
  TEST (6, 3, 3, 1)
760 
  TEST (7, 3, 3, 1)
761 
  TEST (0, 4, 3, 1)
762 
  TEST (1, 4, 3, 1)
763 
  TEST (2, 4, 3, 1)
764 
  TEST (3, 4, 3, 1)
765 
  TEST (4, 4, 3, 1)
766 
  TEST (5, 4, 3, 1)
767 
  TEST (6, 4, 3, 1)
768 
  TEST (7, 4, 3, 1)
769 
  TEST (0, 5, 3, 1)
770 
  TEST (1, 5, 3, 1)
771 
  TEST (2, 5, 3, 1)
772 
  TEST (3, 5, 3, 1)
773 
  TEST (4, 5, 3, 1)
774 
  TEST (5, 5, 3, 1)
775 
  TEST (6, 5, 3, 1)
776 
  TEST (7, 5, 3, 1)
777 
  TEST (0, 6, 3, 1)
778 
  TEST (1, 6, 3, 1)
779 
  TEST (2, 6, 3, 1)
780 
  TEST (3, 6, 3, 1)
781 
  TEST (4, 6, 3, 1)
782 
  TEST (5, 6, 3, 1)
783 
  TEST (6, 6, 3, 1)
784 
  TEST (7, 6, 3, 1)
785 
  TEST (0, 7, 3, 1)
786 
  TEST (1, 7, 3, 1)
787 
  TEST (2, 7, 3, 1)
788 
  TEST (3, 7, 3, 1)
789 
  TEST (4, 7, 3, 1)
790 
  TEST (5, 7, 3, 1)
791 
  TEST (6, 7, 3, 1)
792 
  TEST (7, 7, 3, 1)
793 
}
794 
 
795 
void check6(void)
796 
{
797 
  TEST (0, 0, 4, 1)
798 
  TEST (1, 0, 4, 1)
799 
  TEST (2, 0, 4, 1)
800 
  TEST (3, 0, 4, 1)
801 
  TEST (4, 0, 4, 1)
802 
  TEST (5, 0, 4, 1)
803 
  TEST (6, 0, 4, 1)
804 
  TEST (7, 0, 4, 1)
805 
  TEST (0, 1, 4, 1)
806 
  TEST (1, 1, 4, 1)
807 
  TEST (2, 1, 4, 1)
808 
  TEST (3, 1, 4, 1)
809 
  TEST (4, 1, 4, 1)
810 
  TEST (5, 1, 4, 1)
811 
  TEST (6, 1, 4, 1)
812 
  TEST (7, 1, 4, 1)
813 
  TEST (0, 2, 4, 1)
814 
  TEST (1, 2, 4, 1)
815 
  TEST (2, 2, 4, 1)
816 
  TEST (3, 2, 4, 1)
817 
  TEST (4, 2, 4, 1)
818 
  TEST (5, 2, 4, 1)
819 
  TEST (6, 2, 4, 1)
820 
  TEST (7, 2, 4, 1)
821 
  TEST (0, 3, 4, 1)
822 
  TEST (1, 3, 4, 1)
823 
  TEST (2, 3, 4, 1)
824 
  TEST (3, 3, 4, 1)
825 
  TEST (4, 3, 4, 1)
826 
  TEST (5, 3, 4, 1)
827 
  TEST (6, 3, 4, 1)
828 
  TEST (7, 3, 4, 1)
829 
  TEST (0, 4, 4, 1)
830 
  TEST (1, 4, 4, 1)
831 
  TEST (2, 4, 4, 1)
832 
  TEST (3, 4, 4, 1)
833 
  TEST (4, 4, 4, 1)
834 
  TEST (5, 4, 4, 1)
835 
  TEST (6, 4, 4, 1)
836 
  TEST (7, 4, 4, 1)
837 
  TEST (0, 5, 4, 1)
838 
  TEST (1, 5, 4, 1)
839 
  TEST (2, 5, 4, 1)
840 
  TEST (3, 5, 4, 1)
841 
  TEST (4, 5, 4, 1)
842 
  TEST (5, 5, 4, 1)
843 
  TEST (6, 5, 4, 1)
844 
  TEST (7, 5, 4, 1)
845 
  TEST (0, 6, 4, 1)
846 
  TEST (1, 6, 4, 1)
847 
  TEST (2, 6, 4, 1)
848 
  TEST (3, 6, 4, 1)
849 
  TEST (4, 6, 4, 1)
850 
  TEST (5, 6, 4, 1)
851 
  TEST (6, 6, 4, 1)
852 
  TEST (7, 6, 4, 1)
853 
  TEST (0, 7, 4, 1)
854 
  TEST (1, 7, 4, 1)
855 
  TEST (2, 7, 4, 1)
856 
  TEST (3, 7, 4, 1)
857 
  TEST (4, 7, 4, 1)
858 
  TEST (5, 7, 4, 1)
859 
  TEST (6, 7, 4, 1)
860 
  TEST (7, 7, 4, 1)
861 
  TEST (0, 0, 5, 1)
862 
  TEST (1, 0, 5, 1)
863 
  TEST (2, 0, 5, 1)
864 
  TEST (3, 0, 5, 1)
865 
  TEST (4, 0, 5, 1)
866 
  TEST (5, 0, 5, 1)
867 
  TEST (6, 0, 5, 1)
868 
  TEST (7, 0, 5, 1)
869 
  TEST (0, 1, 5, 1)
870 
  TEST (1, 1, 5, 1)
871 
  TEST (2, 1, 5, 1)
872 
  TEST (3, 1, 5, 1)
873 
  TEST (4, 1, 5, 1)
874 
  TEST (5, 1, 5, 1)
875 
  TEST (6, 1, 5, 1)
876 
  TEST (7, 1, 5, 1)
877 
  TEST (0, 2, 5, 1)
878 
  TEST (1, 2, 5, 1)
879 
  TEST (2, 2, 5, 1)
880 
  TEST (3, 2, 5, 1)
881 
  TEST (4, 2, 5, 1)
882 
  TEST (5, 2, 5, 1)
883 
  TEST (6, 2, 5, 1)
884 
  TEST (7, 2, 5, 1)
885 
  TEST (0, 3, 5, 1)
886 
  TEST (1, 3, 5, 1)
887 
  TEST (2, 3, 5, 1)
888 
  TEST (3, 3, 5, 1)
889 
  TEST (4, 3, 5, 1)
890 
  TEST (5, 3, 5, 1)
891 
  TEST (6, 3, 5, 1)
892 
  TEST (7, 3, 5, 1)
893 
  TEST (0, 4, 5, 1)
894 
  TEST (1, 4, 5, 1)
895 
  TEST (2, 4, 5, 1)
896 
  TEST (3, 4, 5, 1)
897 
  TEST (4, 4, 5, 1)
898 
  TEST (5, 4, 5, 1)
899 
  TEST (6, 4, 5, 1)
900 
  TEST (7, 4, 5, 1)
901 
  TEST (0, 5, 5, 1)
902 
  TEST (1, 5, 5, 1)
903 
  TEST (2, 5, 5, 1)
904 
  TEST (3, 5, 5, 1)
905 
  TEST (4, 5, 5, 1)
906 
  TEST (5, 5, 5, 1)
907 
  TEST (6, 5, 5, 1)
908 
  TEST (7, 5, 5, 1)
909 
  TEST (0, 6, 5, 1)
910 
  TEST (1, 6, 5, 1)
911 
  TEST (2, 6, 5, 1)
912 
  TEST (3, 6, 5, 1)
913 
  TEST (4, 6, 5, 1)
914 
  TEST (5, 6, 5, 1)
915 
  TEST (6, 6, 5, 1)
916 
  TEST (7, 6, 5, 1)
917 
  TEST (0, 7, 5, 1)
918 
  TEST (1, 7, 5, 1)
919 
  TEST (2, 7, 5, 1)
920 
  TEST (3, 7, 5, 1)
921 
  TEST (4, 7, 5, 1)
922 
  TEST (5, 7, 5, 1)
923 
  TEST (6, 7, 5, 1)
924 
  TEST (7, 7, 5, 1)
925 
}
926 
 
927 
void check7(void)
928 
{
929 
  TEST (0, 0, 6, 1)
930 
  TEST (1, 0, 6, 1)
931 
  TEST (2, 0, 6, 1)
932 
  TEST (3, 0, 6, 1)
933 
  TEST (4, 0, 6, 1)
934 
  TEST (5, 0, 6, 1)
935 
  TEST (6, 0, 6, 1)
936 
  TEST (7, 0, 6, 1)
937 
  TEST (0, 1, 6, 1)
938 
  TEST (1, 1, 6, 1)
939 
  TEST (2, 1, 6, 1)
940 
  TEST (3, 1, 6, 1)
941 
  TEST (4, 1, 6, 1)
942 
  TEST (5, 1, 6, 1)
943 
  TEST (6, 1, 6, 1)
944 
  TEST (7, 1, 6, 1)
945 
  TEST (0, 2, 6, 1)
946 
  TEST (1, 2, 6, 1)
947 
  TEST (2, 2, 6, 1)
948 
  TEST (3, 2, 6, 1)
949 
  TEST (4, 2, 6, 1)
950 
  TEST (5, 2, 6, 1)
951 
  TEST (6, 2, 6, 1)
952 
  TEST (7, 2, 6, 1)
953 
  TEST (0, 3, 6, 1)
954 
  TEST (1, 3, 6, 1)
955 
  TEST (2, 3, 6, 1)
956 
  TEST (3, 3, 6, 1)
957 
  TEST (4, 3, 6, 1)
958 
  TEST (5, 3, 6, 1)
959 
  TEST (6, 3, 6, 1)
960 
  TEST (7, 3, 6, 1)
961 
  TEST (0, 4, 6, 1)
962 
  TEST (1, 4, 6, 1)
963 
  TEST (2, 4, 6, 1)
964 
  TEST (3, 4, 6, 1)
965 
  TEST (4, 4, 6, 1)
966 
  TEST (5, 4, 6, 1)
967 
  TEST (6, 4, 6, 1)
968 
  TEST (7, 4, 6, 1)
969 
  TEST (0, 5, 6, 1)
970 
  TEST (1, 5, 6, 1)
971 
  TEST (2, 5, 6, 1)
972 
  TEST (3, 5, 6, 1)
973 
  TEST (4, 5, 6, 1)
974 
  TEST (5, 5, 6, 1)
975 
  TEST (6, 5, 6, 1)
976 
  TEST (7, 5, 6, 1)
977 
  TEST (0, 6, 6, 1)
978 
  TEST (1, 6, 6, 1)
979 
  TEST (2, 6, 6, 1)
980 
  TEST (3, 6, 6, 1)
981 
  TEST (4, 6, 6, 1)
982 
  TEST (5, 6, 6, 1)
983 
  TEST (6, 6, 6, 1)
984 
  TEST (7, 6, 6, 1)
985 
  TEST (0, 7, 6, 1)
986 
  TEST (1, 7, 6, 1)
987 
  TEST (2, 7, 6, 1)
988 
  TEST (3, 7, 6, 1)
989 
  TEST (4, 7, 6, 1)
990 
  TEST (5, 7, 6, 1)
991 
  TEST (6, 7, 6, 1)
992 
  TEST (7, 7, 6, 1)
993 
  TEST (0, 0, 7, 1)
994 
  TEST (1, 0, 7, 1)
995 
  TEST (2, 0, 7, 1)
996 
  TEST (3, 0, 7, 1)
997 
  TEST (4, 0, 7, 1)
998 
  TEST (5, 0, 7, 1)
999 
  TEST (6, 0, 7, 1)
1000 
  TEST (7, 0, 7, 1)
1001 
  TEST (0, 1, 7, 1)
1002 
  TEST (1, 1, 7, 1)
1003 
  TEST (2, 1, 7, 1)
1004 
  TEST (3, 1, 7, 1)
1005 
  TEST (4, 1, 7, 1)
1006 
  TEST (5, 1, 7, 1)
1007 
  TEST (6, 1, 7, 1)
1008 
  TEST (7, 1, 7, 1)
1009 
  TEST (0, 2, 7, 1)
1010 
  TEST (1, 2, 7, 1)
1011 
  TEST (2, 2, 7, 1)
1012 
  TEST (3, 2, 7, 1)
1013 
  TEST (4, 2, 7, 1)
1014 
  TEST (5, 2, 7, 1)
1015 
  TEST (6, 2, 7, 1)
1016 
  TEST (7, 2, 7, 1)
1017 
  TEST (0, 3, 7, 1)
1018 
  TEST (1, 3, 7, 1)
1019 
  TEST (2, 3, 7, 1)
1020 
  TEST (3, 3, 7, 1)
1021 
  TEST (4, 3, 7, 1)
1022 
  TEST (5, 3, 7, 1)
1023 
  TEST (6, 3, 7, 1)
1024 
  TEST (7, 3, 7, 1)
1025 
  TEST (0, 4, 7, 1)
1026 
  TEST (1, 4, 7, 1)
1027 
  TEST (2, 4, 7, 1)
1028 
  TEST (3, 4, 7, 1)
1029 
  TEST (4, 4, 7, 1)
1030 
  TEST (5, 4, 7, 1)
1031 
  TEST (6, 4, 7, 1)
1032 
  TEST (7, 4, 7, 1)
1033 
  TEST (0, 5, 7, 1)
1034 
  TEST (1, 5, 7, 1)
1035 
  TEST (2, 5, 7, 1)
1036 
  TEST (3, 5, 7, 1)
1037 
  TEST (4, 5, 7, 1)
1038 
  TEST (5, 5, 7, 1)
1039 
  TEST (6, 5, 7, 1)
1040 
  TEST (7, 5, 7, 1)
1041 
  TEST (0, 6, 7, 1)
1042 
  TEST (1, 6, 7, 1)
1043 
  TEST (2, 6, 7, 1)
1044 
  TEST (3, 6, 7, 1)
1045 
  TEST (4, 6, 7, 1)
1046 
  TEST (5, 6, 7, 1)
1047 
  TEST (6, 6, 7, 1)
1048 
  TEST (7, 6, 7, 1)
1049 
  TEST (0, 7, 7, 1)
1050 
  TEST (1, 7, 7, 1)
1051 
  TEST (2, 7, 7, 1)
1052 
  TEST (3, 7, 7, 1)
1053 
  TEST (4, 7, 7, 1)
1054 
  TEST (5, 7, 7, 1)
1055 
  TEST (6, 7, 7, 1)
1056 
  TEST (7, 7, 7, 1)
1057 
}
1058 
 
1059 
void check8(void)
1060 
{
1061 
  TEST (0, 0, 0, 2)
1062 
  TEST (1, 0, 0, 2)
1063 
  TEST (2, 0, 0, 2)
1064 
  TEST (3, 0, 0, 2)
1065 
  TEST (4, 0, 0, 2)
1066 
  TEST (5, 0, 0, 2)
1067 
  TEST (6, 0, 0, 2)
1068 
  TEST (7, 0, 0, 2)
1069 
  TEST (0, 1, 0, 2)
1070 
  TEST (1, 1, 0, 2)
1071 
  TEST (2, 1, 0, 2)
1072 
  TEST (3, 1, 0, 2)
1073 
  TEST (4, 1, 0, 2)
1074 
  TEST (5, 1, 0, 2)
1075 
  TEST (6, 1, 0, 2)
1076 
  TEST (7, 1, 0, 2)
1077 
  TEST (0, 2, 0, 2)
1078 
  TEST (1, 2, 0, 2)
1079 
  TEST (2, 2, 0, 2)
1080 
  TEST (3, 2, 0, 2)
1081 
  TEST (4, 2, 0, 2)
1082 
  TEST (5, 2, 0, 2)
1083 
  TEST (6, 2, 0, 2)
1084 
  TEST (7, 2, 0, 2)
1085 
  TEST (0, 3, 0, 2)
1086 
  TEST (1, 3, 0, 2)
1087 
  TEST (2, 3, 0, 2)
1088 
  TEST (3, 3, 0, 2)
1089 
  TEST (4, 3, 0, 2)
1090 
  TEST (5, 3, 0, 2)
1091 
  TEST (6, 3, 0, 2)
1092 
  TEST (7, 3, 0, 2)
1093 
  TEST (0, 4, 0, 2)
1094 
  TEST (1, 4, 0, 2)
1095 
  TEST (2, 4, 0, 2)
1096 
  TEST (3, 4, 0, 2)
1097 
  TEST (4, 4, 0, 2)
1098 
  TEST (5, 4, 0, 2)
1099 
  TEST (6, 4, 0, 2)
1100 
  TEST (7, 4, 0, 2)
1101 
  TEST (0, 5, 0, 2)
1102 
  TEST (1, 5, 0, 2)
1103 
  TEST (2, 5, 0, 2)
1104 
  TEST (3, 5, 0, 2)
1105 
  TEST (4, 5, 0, 2)
1106 
  TEST (5, 5, 0, 2)
1107 
  TEST (6, 5, 0, 2)
1108 
  TEST (7, 5, 0, 2)
1109 
  TEST (0, 6, 0, 2)
1110 
  TEST (1, 6, 0, 2)
1111 
  TEST (2, 6, 0, 2)
1112 
  TEST (3, 6, 0, 2)
1113 
  TEST (4, 6, 0, 2)
1114 
  TEST (5, 6, 0, 2)
1115 
  TEST (6, 6, 0, 2)
1116 
  TEST (7, 6, 0, 2)
1117 
  TEST (0, 7, 0, 2)
1118 
  TEST (1, 7, 0, 2)
1119 
  TEST (2, 7, 0, 2)
1120 
  TEST (3, 7, 0, 2)
1121 
  TEST (4, 7, 0, 2)
1122 
  TEST (5, 7, 0, 2)
1123 
  TEST (6, 7, 0, 2)
1124 
  TEST (7, 7, 0, 2)
1125 
  TEST (0, 0, 1, 2)
1126 
  TEST (1, 0, 1, 2)
1127 
  TEST (2, 0, 1, 2)
1128 
  TEST (3, 0, 1, 2)
1129 
  TEST (4, 0, 1, 2)
1130 
  TEST (5, 0, 1, 2)
1131 
  TEST (6, 0, 1, 2)
1132 
  TEST (7, 0, 1, 2)
1133 
  TEST (0, 1, 1, 2)
1134 
  TEST (1, 1, 1, 2)
1135 
  TEST (2, 1, 1, 2)
1136 
  TEST (3, 1, 1, 2)
1137 
  TEST (4, 1, 1, 2)
1138 
  TEST (5, 1, 1, 2)
1139 
  TEST (6, 1, 1, 2)
1140 
  TEST (7, 1, 1, 2)
1141 
  TEST (0, 2, 1, 2)
1142 
  TEST (1, 2, 1, 2)
1143 
  TEST (2, 2, 1, 2)
1144 
  TEST (3, 2, 1, 2)
1145 
  TEST (4, 2, 1, 2)
1146 
  TEST (5, 2, 1, 2)
1147 
  TEST (6, 2, 1, 2)
1148 
  TEST (7, 2, 1, 2)
1149 
  TEST (0, 3, 1, 2)
1150 
  TEST (1, 3, 1, 2)
1151 
  TEST (2, 3, 1, 2)
1152 
  TEST (3, 3, 1, 2)
1153 
  TEST (4, 3, 1, 2)
1154 
  TEST (5, 3, 1, 2)
1155 
  TEST (6, 3, 1, 2)
1156 
  TEST (7, 3, 1, 2)
1157 
  TEST (0, 4, 1, 2)
1158 
  TEST (1, 4, 1, 2)
1159 
  TEST (2, 4, 1, 2)
1160 
  TEST (3, 4, 1, 2)
1161 
  TEST (4, 4, 1, 2)
1162 
  TEST (5, 4, 1, 2)
1163 
  TEST (6, 4, 1, 2)
1164 
  TEST (7, 4, 1, 2)
1165 
  TEST (0, 5, 1, 2)
1166 
  TEST (1, 5, 1, 2)
1167 
  TEST (2, 5, 1, 2)
1168 
  TEST (3, 5, 1, 2)
1169 
  TEST (4, 5, 1, 2)
1170 
  TEST (5, 5, 1, 2)
1171 
  TEST (6, 5, 1, 2)
1172 
  TEST (7, 5, 1, 2)
1173 
  TEST (0, 6, 1, 2)
1174 
  TEST (1, 6, 1, 2)
1175 
  TEST (2, 6, 1, 2)
1176 
  TEST (3, 6, 1, 2)
1177 
  TEST (4, 6, 1, 2)
1178 
  TEST (5, 6, 1, 2)
1179 
  TEST (6, 6, 1, 2)
1180 
  TEST (7, 6, 1, 2)
1181 
  TEST (0, 7, 1, 2)
1182 
  TEST (1, 7, 1, 2)
1183 
  TEST (2, 7, 1, 2)
1184 
  TEST (3, 7, 1, 2)
1185 
  TEST (4, 7, 1, 2)
1186 
  TEST (5, 7, 1, 2)
1187 
  TEST (6, 7, 1, 2)
1188 
  TEST (7, 7, 1, 2)
1189 
}
1190 
 
1191 
void check9(void)
1192 
{
1193 
  TEST (0, 0, 2, 2)
1194 
  TEST (1, 0, 2, 2)
1195 
  TEST (2, 0, 2, 2)
1196 
  TEST (3, 0, 2, 2)
1197 
  TEST (4, 0, 2, 2)
1198 
  TEST (5, 0, 2, 2)
1199 
  TEST (6, 0, 2, 2)
1200 
  TEST (7, 0, 2, 2)
1201 
  TEST (0, 1, 2, 2)
1202 
  TEST (1, 1, 2, 2)
1203 
  TEST (2, 1, 2, 2)
1204 
  TEST (3, 1, 2, 2)
1205 
  TEST (4, 1, 2, 2)
1206 
  TEST (5, 1, 2, 2)
1207 
  TEST (6, 1, 2, 2)
1208 
  TEST (7, 1, 2, 2)
1209 
  TEST (0, 2, 2, 2)
1210 
  TEST (1, 2, 2, 2)
1211 
  TEST (2, 2, 2, 2)
1212 
  TEST (3, 2, 2, 2)
1213 
  TEST (4, 2, 2, 2)
1214 
  TEST (5, 2, 2, 2)
1215 
  TEST (6, 2, 2, 2)
1216 
  TEST (7, 2, 2, 2)
1217 
  TEST (0, 3, 2, 2)
1218 
  TEST (1, 3, 2, 2)
1219 
  TEST (2, 3, 2, 2)
1220 
  TEST (3, 3, 2, 2)
1221 
  TEST (4, 3, 2, 2)
1222 
  TEST (5, 3, 2, 2)
1223 
  TEST (6, 3, 2, 2)
1224 
  TEST (7, 3, 2, 2)
1225 
  TEST (0, 4, 2, 2)
1226 
  TEST (1, 4, 2, 2)
1227 
  TEST (2, 4, 2, 2)
1228 
  TEST (3, 4, 2, 2)
1229 
  TEST (4, 4, 2, 2)
1230 
  TEST (5, 4, 2, 2)
1231 
  TEST (6, 4, 2, 2)
1232 
  TEST (7, 4, 2, 2)
1233 
  TEST (0, 5, 2, 2)
1234 
  TEST (1, 5, 2, 2)
1235 
  TEST (2, 5, 2, 2)
1236 
  TEST (3, 5, 2, 2)
1237 
  TEST (4, 5, 2, 2)
1238 
  TEST (5, 5, 2, 2)
1239 
  TEST (6, 5, 2, 2)
1240 
  TEST (7, 5, 2, 2)
1241 
  TEST (0, 6, 2, 2)
1242 
  TEST (1, 6, 2, 2)
1243 
  TEST (2, 6, 2, 2)
1244 
  TEST (3, 6, 2, 2)
1245 
  TEST (4, 6, 2, 2)
1246 
  TEST (5, 6, 2, 2)
1247 
  TEST (6, 6, 2, 2)
1248 
  TEST (7, 6, 2, 2)
1249 
  TEST (0, 7, 2, 2)
1250 
  TEST (1, 7, 2, 2)
1251 
  TEST (2, 7, 2, 2)
1252 
  TEST (3, 7, 2, 2)
1253 
  TEST (4, 7, 2, 2)
1254 
  TEST (5, 7, 2, 2)
1255 
  TEST (6, 7, 2, 2)
1256 
  TEST (7, 7, 2, 2)
1257 
  TEST (0, 0, 3, 2)
1258 
  TEST (1, 0, 3, 2)
1259 
  TEST (2, 0, 3, 2)
1260 
  TEST (3, 0, 3, 2)
1261 
  TEST (4, 0, 3, 2)
1262 
  TEST (5, 0, 3, 2)
1263 
  TEST (6, 0, 3, 2)
1264 
  TEST (7, 0, 3, 2)
1265 
  TEST (0, 1, 3, 2)
1266 
  TEST (1, 1, 3, 2)
1267 
  TEST (2, 1, 3, 2)
1268 
  TEST (3, 1, 3, 2)
1269 
  TEST (4, 1, 3, 2)
1270 
  TEST (5, 1, 3, 2)
1271 
  TEST (6, 1, 3, 2)
1272 
  TEST (7, 1, 3, 2)
1273 
  TEST (0, 2, 3, 2)
1274 
  TEST (1, 2, 3, 2)
1275 
  TEST (2, 2, 3, 2)
1276 
  TEST (3, 2, 3, 2)
1277 
  TEST (4, 2, 3, 2)
1278 
  TEST (5, 2, 3, 2)
1279 
  TEST (6, 2, 3, 2)
1280 
  TEST (7, 2, 3, 2)
1281 
  TEST (0, 3, 3, 2)
1282 
  TEST (1, 3, 3, 2)
1283 
  TEST (2, 3, 3, 2)
1284 
  TEST (3, 3, 3, 2)
1285 
  TEST (4, 3, 3, 2)
1286 
  TEST (5, 3, 3, 2)
1287 
  TEST (6, 3, 3, 2)
1288 
  TEST (7, 3, 3, 2)
1289 
  TEST (0, 4, 3, 2)
1290 
  TEST (1, 4, 3, 2)
1291 
  TEST (2, 4, 3, 2)
1292 
  TEST (3, 4, 3, 2)
1293 
  TEST (4, 4, 3, 2)
1294 
  TEST (5, 4, 3, 2)
1295 
  TEST (6, 4, 3, 2)
1296 
  TEST (7, 4, 3, 2)
1297 
  TEST (0, 5, 3, 2)
1298 
  TEST (1, 5, 3, 2)
1299 
  TEST (2, 5, 3, 2)
1300 
  TEST (3, 5, 3, 2)
1301 
  TEST (4, 5, 3, 2)
1302 
  TEST (5, 5, 3, 2)
1303 
  TEST (6, 5, 3, 2)
1304 
  TEST (7, 5, 3, 2)
1305 
  TEST (0, 6, 3, 2)
1306 
  TEST (1, 6, 3, 2)
1307 
  TEST (2, 6, 3, 2)
1308 
  TEST (3, 6, 3, 2)
1309 
  TEST (4, 6, 3, 2)
1310 
  TEST (5, 6, 3, 2)
1311 
  TEST (6, 6, 3, 2)
1312 
  TEST (7, 6, 3, 2)
1313 
  TEST (0, 7, 3, 2)
1314 
  TEST (1, 7, 3, 2)
1315 
  TEST (2, 7, 3, 2)
1316 
  TEST (3, 7, 3, 2)
1317 
  TEST (4, 7, 3, 2)
1318 
  TEST (5, 7, 3, 2)
1319 
  TEST (6, 7, 3, 2)
1320 
  TEST (7, 7, 3, 2)
1321 
}
1322 
 
1323 
void check10(void)
1324 
{
1325 
  TEST (0, 0, 4, 2)
1326 
  TEST (1, 0, 4, 2)
1327 
  TEST (2, 0, 4, 2)
1328 
  TEST (3, 0, 4, 2)
1329 
  TEST (4, 0, 4, 2)
1330 
  TEST (5, 0, 4, 2)
1331 
  TEST (6, 0, 4, 2)
1332 
  TEST (7, 0, 4, 2)
1333 
  TEST (0, 1, 4, 2)
1334 
  TEST (1, 1, 4, 2)
1335 
  TEST (2, 1, 4, 2)
1336 
  TEST (3, 1, 4, 2)
1337 
  TEST (4, 1, 4, 2)
1338 
  TEST (5, 1, 4, 2)
1339 
  TEST (6, 1, 4, 2)
1340 
  TEST (7, 1, 4, 2)
1341 
  TEST (0, 2, 4, 2)
1342 
  TEST (1, 2, 4, 2)
1343 
  TEST (2, 2, 4, 2)
1344 
  TEST (3, 2, 4, 2)
1345 
  TEST (4, 2, 4, 2)
1346 
  TEST (5, 2, 4, 2)
1347 
  TEST (6, 2, 4, 2)
1348 
  TEST (7, 2, 4, 2)
1349 
  TEST (0, 3, 4, 2)
1350 
  TEST (1, 3, 4, 2)
1351 
  TEST (2, 3, 4, 2)
1352 
  TEST (3, 3, 4, 2)
1353 
  TEST (4, 3, 4, 2)
1354 
  TEST (5, 3, 4, 2)
1355 
  TEST (6, 3, 4, 2)
1356 
  TEST (7, 3, 4, 2)
1357 
  TEST (0, 4, 4, 2)
1358 
  TEST (1, 4, 4, 2)
1359 
  TEST (2, 4, 4, 2)
1360 
  TEST (3, 4, 4, 2)
1361 
  TEST (4, 4, 4, 2)
1362 
  TEST (5, 4, 4, 2)
1363 
  TEST (6, 4, 4, 2)
1364 
  TEST (7, 4, 4, 2)
1365 
  TEST (0, 5, 4, 2)
1366 
  TEST (1, 5, 4, 2)
1367 
  TEST (2, 5, 4, 2)
1368 
  TEST (3, 5, 4, 2)
1369 
  TEST (4, 5, 4, 2)
1370 
  TEST (5, 5, 4, 2)
1371 
  TEST (6, 5, 4, 2)
1372 
  TEST (7, 5, 4, 2)
1373 
  TEST (0, 6, 4, 2)
1374 
  TEST (1, 6, 4, 2)
1375 
  TEST (2, 6, 4, 2)
1376 
  TEST (3, 6, 4, 2)
1377 
  TEST (4, 6, 4, 2)
1378 
  TEST (5, 6, 4, 2)
1379 
  TEST (6, 6, 4, 2)
1380 
  TEST (7, 6, 4, 2)
1381 
  TEST (0, 7, 4, 2)
1382 
  TEST (1, 7, 4, 2)
1383 
  TEST (2, 7, 4, 2)
1384 
  TEST (3, 7, 4, 2)
1385 
  TEST (4, 7, 4, 2)
1386 
  TEST (5, 7, 4, 2)
1387 
  TEST (6, 7, 4, 2)
1388 
  TEST (7, 7, 4, 2)
1389 
  TEST (0, 0, 5, 2)
1390 
  TEST (1, 0, 5, 2)
1391 
  TEST (2, 0, 5, 2)
1392 
  TEST (3, 0, 5, 2)
1393 
  TEST (4, 0, 5, 2)
1394 
  TEST (5, 0, 5, 2)
1395 
  TEST (6, 0, 5, 2)
1396 
  TEST (7, 0, 5, 2)
1397 
  TEST (0, 1, 5, 2)
1398 
  TEST (1, 1, 5, 2)
1399 
  TEST (2, 1, 5, 2)
1400 
  TEST (3, 1, 5, 2)
1401 
  TEST (4, 1, 5, 2)
1402 
  TEST (5, 1, 5, 2)
1403 
  TEST (6, 1, 5, 2)
1404 
  TEST (7, 1, 5, 2)
1405 
  TEST (0, 2, 5, 2)
1406 
  TEST (1, 2, 5, 2)
1407 
  TEST (2, 2, 5, 2)
1408 
  TEST (3, 2, 5, 2)
1409 
  TEST (4, 2, 5, 2)
1410 
  TEST (5, 2, 5, 2)
1411 
  TEST (6, 2, 5, 2)
1412 
  TEST (7, 2, 5, 2)
1413 
  TEST (0, 3, 5, 2)
1414 
  TEST (1, 3, 5, 2)
1415 
  TEST (2, 3, 5, 2)
1416 
  TEST (3, 3, 5, 2)
1417 
  TEST (4, 3, 5, 2)
1418 
  TEST (5, 3, 5, 2)
1419 
  TEST (6, 3, 5, 2)
1420 
  TEST (7, 3, 5, 2)
1421 
  TEST (0, 4, 5, 2)
1422 
  TEST (1, 4, 5, 2)
1423 
  TEST (2, 4, 5, 2)
1424 
  TEST (3, 4, 5, 2)
1425 
  TEST (4, 4, 5, 2)
1426 
  TEST (5, 4, 5, 2)
1427 
  TEST (6, 4, 5, 2)
1428 
  TEST (7, 4, 5, 2)
1429 
  TEST (0, 5, 5, 2)
1430 
  TEST (1, 5, 5, 2)
1431 
  TEST (2, 5, 5, 2)
1432 
  TEST (3, 5, 5, 2)
1433 
  TEST (4, 5, 5, 2)
1434 
  TEST (5, 5, 5, 2)
1435 
  TEST (6, 5, 5, 2)
1436 
  TEST (7, 5, 5, 2)
1437 
  TEST (0, 6, 5, 2)
1438 
  TEST (1, 6, 5, 2)
1439 
  TEST (2, 6, 5, 2)
1440 
  TEST (3, 6, 5, 2)
1441 
  TEST (4, 6, 5, 2)
1442 
  TEST (5, 6, 5, 2)
1443 
  TEST (6, 6, 5, 2)
1444 
  TEST (7, 6, 5, 2)
1445 
  TEST (0, 7, 5, 2)
1446 
  TEST (1, 7, 5, 2)
1447 
  TEST (2, 7, 5, 2)
1448 
  TEST (3, 7, 5, 2)
1449 
  TEST (4, 7, 5, 2)
1450 
  TEST (5, 7, 5, 2)
1451 
  TEST (6, 7, 5, 2)
1452 
  TEST (7, 7, 5, 2)
1453 
}
1454 
 
1455 
void check11(void)
1456 
{
1457 
  TEST (0, 0, 6, 2)
1458 
  TEST (1, 0, 6, 2)
1459 
  TEST (2, 0, 6, 2)
1460 
  TEST (3, 0, 6, 2)
1461 
  TEST (4, 0, 6, 2)
1462 
  TEST (5, 0, 6, 2)
1463 
  TEST (6, 0, 6, 2)
1464 
  TEST (7, 0, 6, 2)
1465 
  TEST (0, 1, 6, 2)
1466 
  TEST (1, 1, 6, 2)
1467 
  TEST (2, 1, 6, 2)
1468 
  TEST (3, 1, 6, 2)
1469 
  TEST (4, 1, 6, 2)
1470 
  TEST (5, 1, 6, 2)
1471 
  TEST (6, 1, 6, 2)
1472 
  TEST (7, 1, 6, 2)
1473 
  TEST (0, 2, 6, 2)
1474 
  TEST (1, 2, 6, 2)
1475 
  TEST (2, 2, 6, 2)
1476 
  TEST (3, 2, 6, 2)
1477 
  TEST (4, 2, 6, 2)
1478 
  TEST (5, 2, 6, 2)
1479 
  TEST (6, 2, 6, 2)
1480 
  TEST (7, 2, 6, 2)
1481 
  TEST (0, 3, 6, 2)
1482 
  TEST (1, 3, 6, 2)
1483 
  TEST (2, 3, 6, 2)
1484 
  TEST (3, 3, 6, 2)
1485 
  TEST (4, 3, 6, 2)
1486 
  TEST (5, 3, 6, 2)
1487 
  TEST (6, 3, 6, 2)
1488 
  TEST (7, 3, 6, 2)
1489 
  TEST (0, 4, 6, 2)
1490 
  TEST (1, 4, 6, 2)
1491 
  TEST (2, 4, 6, 2)
1492 
  TEST (3, 4, 6, 2)
1493 
  TEST (4, 4, 6, 2)
1494 
  TEST (5, 4, 6, 2)
1495 
  TEST (6, 4, 6, 2)
1496 
  TEST (7, 4, 6, 2)
1497 
  TEST (0, 5, 6, 2)
1498 
  TEST (1, 5, 6, 2)
1499 
  TEST (2, 5, 6, 2)
1500 
  TEST (3, 5, 6, 2)
1501 
  TEST (4, 5, 6, 2)
1502 
  TEST (5, 5, 6, 2)
1503 
  TEST (6, 5, 6, 2)
1504 
  TEST (7, 5, 6, 2)
1505 
  TEST (0, 6, 6, 2)
1506 
  TEST (1, 6, 6, 2)
1507 
  TEST (2, 6, 6, 2)
1508 
  TEST (3, 6, 6, 2)
1509 
  TEST (4, 6, 6, 2)
1510 
  TEST (5, 6, 6, 2)
1511 
  TEST (6, 6, 6, 2)
1512 
  TEST (7, 6, 6, 2)
1513 
  TEST (0, 7, 6, 2)
1514 
  TEST (1, 7, 6, 2)
1515 
  TEST (2, 7, 6, 2)
1516 
  TEST (3, 7, 6, 2)
1517 
  TEST (4, 7, 6, 2)
1518 
  TEST (5, 7, 6, 2)
1519 
  TEST (6, 7, 6, 2)
1520 
  TEST (7, 7, 6, 2)
1521 
  TEST (0, 0, 7, 2)
1522 
  TEST (1, 0, 7, 2)
1523 
  TEST (2, 0, 7, 2)
1524 
  TEST (3, 0, 7, 2)
1525 
  TEST (4, 0, 7, 2)
1526 
  TEST (5, 0, 7, 2)
1527 
  TEST (6, 0, 7, 2)
1528 
  TEST (7, 0, 7, 2)
1529 
  TEST (0, 1, 7, 2)
1530 
  TEST (1, 1, 7, 2)
1531 
  TEST (2, 1, 7, 2)
1532 
  TEST (3, 1, 7, 2)
1533 
  TEST (4, 1, 7, 2)
1534 
  TEST (5, 1, 7, 2)
1535 
  TEST (6, 1, 7, 2)
1536 
  TEST (7, 1, 7, 2)
1537 
  TEST (0, 2, 7, 2)
1538 
  TEST (1, 2, 7, 2)
1539 
  TEST (2, 2, 7, 2)
1540 
  TEST (3, 2, 7, 2)
1541 
  TEST (4, 2, 7, 2)
1542 
  TEST (5, 2, 7, 2)
1543 
  TEST (6, 2, 7, 2)
1544 
  TEST (7, 2, 7, 2)
1545 
  TEST (0, 3, 7, 2)
1546 
  TEST (1, 3, 7, 2)
1547 
  TEST (2, 3, 7, 2)
1548 
  TEST (3, 3, 7, 2)
1549 
  TEST (4, 3, 7, 2)
1550 
  TEST (5, 3, 7, 2)
1551 
  TEST (6, 3, 7, 2)
1552 
  TEST (7, 3, 7, 2)
1553 
  TEST (0, 4, 7, 2)
1554 
  TEST (1, 4, 7, 2)
1555 
  TEST (2, 4, 7, 2)
1556 
  TEST (3, 4, 7, 2)
1557 
  TEST (4, 4, 7, 2)
1558 
  TEST (5, 4, 7, 2)
1559 
  TEST (6, 4, 7, 2)
1560 
  TEST (7, 4, 7, 2)
1561 
  TEST (0, 5, 7, 2)
1562 
  TEST (1, 5, 7, 2)
1563 
  TEST (2, 5, 7, 2)
1564 
  TEST (3, 5, 7, 2)
1565 
  TEST (4, 5, 7, 2)
1566 
  TEST (5, 5, 7, 2)
1567 
  TEST (6, 5, 7, 2)
1568 
  TEST (7, 5, 7, 2)
1569 
  TEST (0, 6, 7, 2)
1570 
  TEST (1, 6, 7, 2)
1571 
  TEST (2, 6, 7, 2)
1572 
  TEST (3, 6, 7, 2)
1573 
  TEST (4, 6, 7, 2)
1574 
  TEST (5, 6, 7, 2)
1575 
  TEST (6, 6, 7, 2)
1576 
  TEST (7, 6, 7, 2)
1577 
  TEST (0, 7, 7, 2)
1578 
  TEST (1, 7, 7, 2)
1579 
  TEST (2, 7, 7, 2)
1580 
  TEST (3, 7, 7, 2)
1581 
  TEST (4, 7, 7, 2)
1582 
  TEST (5, 7, 7, 2)
1583 
  TEST (6, 7, 7, 2)
1584 
  TEST (7, 7, 7, 2)
1585 
}
1586 
 
1587 
void check12(void)
1588 
{
1589 
  TEST (0, 0, 0, 3)
1590 
  TEST (1, 0, 0, 3)
1591 
  TEST (2, 0, 0, 3)
1592 
  TEST (3, 0, 0, 3)
1593 
  TEST (4, 0, 0, 3)
1594 
  TEST (5, 0, 0, 3)
1595 
  TEST (6, 0, 0, 3)
1596 
  TEST (7, 0, 0, 3)
1597 
  TEST (0, 1, 0, 3)
1598 
  TEST (1, 1, 0, 3)
1599 
  TEST (2, 1, 0, 3)
1600 
  TEST (3, 1, 0, 3)
1601 
  TEST (4, 1, 0, 3)
1602 
  TEST (5, 1, 0, 3)
1603 
  TEST (6, 1, 0, 3)
1604 
  TEST (7, 1, 0, 3)
1605 
  TEST (0, 2, 0, 3)
1606 
  TEST (1, 2, 0, 3)
1607 
  TEST (2, 2, 0, 3)
1608 
  TEST (3, 2, 0, 3)
1609 
  TEST (4, 2, 0, 3)
1610 
  TEST (5, 2, 0, 3)
1611 
  TEST (6, 2, 0, 3)
1612 
  TEST (7, 2, 0, 3)
1613 
  TEST (0, 3, 0, 3)
1614 
  TEST (1, 3, 0, 3)
1615 
  TEST (2, 3, 0, 3)
1616 
  TEST (3, 3, 0, 3)
1617 
  TEST (4, 3, 0, 3)
1618 
  TEST (5, 3, 0, 3)
1619 
  TEST (6, 3, 0, 3)
1620 
  TEST (7, 3, 0, 3)
1621 
  TEST (0, 4, 0, 3)
1622 
  TEST (1, 4, 0, 3)
1623 
  TEST (2, 4, 0, 3)
1624 
  TEST (3, 4, 0, 3)
1625 
  TEST (4, 4, 0, 3)
1626 
  TEST (5, 4, 0, 3)
1627 
  TEST (6, 4, 0, 3)
1628 
  TEST (7, 4, 0, 3)
1629 
  TEST (0, 5, 0, 3)
1630 
  TEST (1, 5, 0, 3)
1631 
  TEST (2, 5, 0, 3)
1632 
  TEST (3, 5, 0, 3)
1633 
  TEST (4, 5, 0, 3)
1634 
  TEST (5, 5, 0, 3)
1635 
  TEST (6, 5, 0, 3)
1636 
  TEST (7, 5, 0, 3)
1637 
  TEST (0, 6, 0, 3)
1638 
  TEST (1, 6, 0, 3)
1639 
  TEST (2, 6, 0, 3)
1640 
  TEST (3, 6, 0, 3)
1641 
  TEST (4, 6, 0, 3)
1642 
  TEST (5, 6, 0, 3)
1643 
  TEST (6, 6, 0, 3)
1644 
  TEST (7, 6, 0, 3)
1645 
  TEST (0, 7, 0, 3)
1646 
  TEST (1, 7, 0, 3)
1647 
  TEST (2, 7, 0, 3)
1648 
  TEST (3, 7, 0, 3)
1649 
  TEST (4, 7, 0, 3)
1650 
  TEST (5, 7, 0, 3)
1651 
  TEST (6, 7, 0, 3)
1652 
  TEST (7, 7, 0, 3)
1653 
  TEST (0, 0, 1, 3)
1654 
  TEST (1, 0, 1, 3)
1655 
  TEST (2, 0, 1, 3)
1656 
  TEST (3, 0, 1, 3)
1657 
  TEST (4, 0, 1, 3)
1658 
  TEST (5, 0, 1, 3)
1659 
  TEST (6, 0, 1, 3)
1660 
  TEST (7, 0, 1, 3)
1661 
  TEST (0, 1, 1, 3)
1662 
  TEST (1, 1, 1, 3)
1663 
  TEST (2, 1, 1, 3)
1664 
  TEST (3, 1, 1, 3)
1665 
  TEST (4, 1, 1, 3)
1666 
  TEST (5, 1, 1, 3)
1667 
  TEST (6, 1, 1, 3)
1668 
  TEST (7, 1, 1, 3)
1669 
  TEST (0, 2, 1, 3)
1670 
  TEST (1, 2, 1, 3)
1671 
  TEST (2, 2, 1, 3)
1672 
  TEST (3, 2, 1, 3)
1673 
  TEST (4, 2, 1, 3)
1674 
  TEST (5, 2, 1, 3)
1675 
  TEST (6, 2, 1, 3)
1676 
  TEST (7, 2, 1, 3)
1677 
  TEST (0, 3, 1, 3)
1678 
  TEST (1, 3, 1, 3)
1679 
  TEST (2, 3, 1, 3)
1680 
  TEST (3, 3, 1, 3)
1681 
  TEST (4, 3, 1, 3)
1682 
  TEST (5, 3, 1, 3)
1683 
  TEST (6, 3, 1, 3)
1684 
  TEST (7, 3, 1, 3)
1685 
  TEST (0, 4, 1, 3)
1686 
  TEST (1, 4, 1, 3)
1687 
  TEST (2, 4, 1, 3)
1688 
  TEST (3, 4, 1, 3)
1689 
  TEST (4, 4, 1, 3)
1690 
  TEST (5, 4, 1, 3)
1691 
  TEST (6, 4, 1, 3)
1692 
  TEST (7, 4, 1, 3)
1693 
  TEST (0, 5, 1, 3)
1694 
  TEST (1, 5, 1, 3)
1695 
  TEST (2, 5, 1, 3)
1696 
  TEST (3, 5, 1, 3)
1697 
  TEST (4, 5, 1, 3)
1698 
  TEST (5, 5, 1, 3)
1699 
  TEST (6, 5, 1, 3)
1700 
  TEST (7, 5, 1, 3)
1701 
  TEST (0, 6, 1, 3)
1702 
  TEST (1, 6, 1, 3)
1703 
  TEST (2, 6, 1, 3)
1704 
  TEST (3, 6, 1, 3)
1705 
  TEST (4, 6, 1, 3)
1706 
  TEST (5, 6, 1, 3)
1707 
  TEST (6, 6, 1, 3)
1708 
  TEST (7, 6, 1, 3)
1709 
  TEST (0, 7, 1, 3)
1710 
  TEST (1, 7, 1, 3)
1711 
  TEST (2, 7, 1, 3)
1712 
  TEST (3, 7, 1, 3)
1713 
  TEST (4, 7, 1, 3)
1714 
  TEST (5, 7, 1, 3)
1715 
  TEST (6, 7, 1, 3)
1716 
  TEST (7, 7, 1, 3)
1717 
}
1718 
 
1719 
void check13(void)
1720 
{
1721 
  TEST (0, 0, 2, 3)
1722 
  TEST (1, 0, 2, 3)
1723 
  TEST (2, 0, 2, 3)
1724 
  TEST (3, 0, 2, 3)
1725 
  TEST (4, 0, 2, 3)
1726 
  TEST (5, 0, 2, 3)
1727 
  TEST (6, 0, 2, 3)
1728 
  TEST (7, 0, 2, 3)
1729 
  TEST (0, 1, 2, 3)
1730 
  TEST (1, 1, 2, 3)
1731 
  TEST (2, 1, 2, 3)
1732 
  TEST (3, 1, 2, 3)
1733 
  TEST (4, 1, 2, 3)
1734 
  TEST (5, 1, 2, 3)
1735 
  TEST (6, 1, 2, 3)
1736 
  TEST (7, 1, 2, 3)
1737 
  TEST (0, 2, 2, 3)
1738 
  TEST (1, 2, 2, 3)
1739 
  TEST (2, 2, 2, 3)
1740 
  TEST (3, 2, 2, 3)
1741 
  TEST (4, 2, 2, 3)
1742 
  TEST (5, 2, 2, 3)
1743 
  TEST (6, 2, 2, 3)
1744 
  TEST (7, 2, 2, 3)
1745 
  TEST (0, 3, 2, 3)
1746 
  TEST (1, 3, 2, 3)
1747 
  TEST (2, 3, 2, 3)
1748 
  TEST (3, 3, 2, 3)
1749 
  TEST (4, 3, 2, 3)
1750 
  TEST (5, 3, 2, 3)
1751 
  TEST (6, 3, 2, 3)
1752 
  TEST (7, 3, 2, 3)
1753 
  TEST (0, 4, 2, 3)
1754 
  TEST (1, 4, 2, 3)
1755 
  TEST (2, 4, 2, 3)
1756 
  TEST (3, 4, 2, 3)
1757 
  TEST (4, 4, 2, 3)
1758 
  TEST (5, 4, 2, 3)
1759 
  TEST (6, 4, 2, 3)
1760 
  TEST (7, 4, 2, 3)
1761 
  TEST (0, 5, 2, 3)
1762 
  TEST (1, 5, 2, 3)
1763 
  TEST (2, 5, 2, 3)
1764 
  TEST (3, 5, 2, 3)
1765 
  TEST (4, 5, 2, 3)
1766 
  TEST (5, 5, 2, 3)
1767 
  TEST (6, 5, 2, 3)
1768 
  TEST (7, 5, 2, 3)
1769 
  TEST (0, 6, 2, 3)
1770 
  TEST (1, 6, 2, 3)
1771 
  TEST (2, 6, 2, 3)
1772 
  TEST (3, 6, 2, 3)
1773 
  TEST (4, 6, 2, 3)
1774 
  TEST (5, 6, 2, 3)
1775 
  TEST (6, 6, 2, 3)
1776 
  TEST (7, 6, 2, 3)
1777 
  TEST (0, 7, 2, 3)
1778 
  TEST (1, 7, 2, 3)
1779 
  TEST (2, 7, 2, 3)
1780 
  TEST (3, 7, 2, 3)
1781 
  TEST (4, 7, 2, 3)
1782 
  TEST (5, 7, 2, 3)
1783 
  TEST (6, 7, 2, 3)
1784 
  TEST (7, 7, 2, 3)
1785 
  TEST (0, 0, 3, 3)
1786 
  TEST (1, 0, 3, 3)
1787 
  TEST (2, 0, 3, 3)
1788 
  TEST (3, 0, 3, 3)
1789 
  TEST (4, 0, 3, 3)
1790 
  TEST (5, 0, 3, 3)
1791 
  TEST (6, 0, 3, 3)
1792 
  TEST (7, 0, 3, 3)
1793 
  TEST (0, 1, 3, 3)
1794 
  TEST (1, 1, 3, 3)
1795 
  TEST (2, 1, 3, 3)
1796 
  TEST (3, 1, 3, 3)
1797 
  TEST (4, 1, 3, 3)
1798 
  TEST (5, 1, 3, 3)
1799 
  TEST (6, 1, 3, 3)
1800 
  TEST (7, 1, 3, 3)
1801 
  TEST (0, 2, 3, 3)
1802 
  TEST (1, 2, 3, 3)
1803 
  TEST (2, 2, 3, 3)
1804 
  TEST (3, 2, 3, 3)
1805 
  TEST (4, 2, 3, 3)
1806 
  TEST (5, 2, 3, 3)
1807 
  TEST (6, 2, 3, 3)
1808 
  TEST (7, 2, 3, 3)
1809 
  TEST (0, 3, 3, 3)
1810 
  TEST (1, 3, 3, 3)
1811 
  TEST (2, 3, 3, 3)
1812 
  TEST (3, 3, 3, 3)
1813 
  TEST (4, 3, 3, 3)
1814 
  TEST (5, 3, 3, 3)
1815 
  TEST (6, 3, 3, 3)
1816 
  TEST (7, 3, 3, 3)
1817 
  TEST (0, 4, 3, 3)
1818 
  TEST (1, 4, 3, 3)
1819 
  TEST (2, 4, 3, 3)
1820 
  TEST (3, 4, 3, 3)
1821 
  TEST (4, 4, 3, 3)
1822 
  TEST (5, 4, 3, 3)
1823 
  TEST (6, 4, 3, 3)
1824 
  TEST (7, 4, 3, 3)
1825 
  TEST (0, 5, 3, 3)
1826 
  TEST (1, 5, 3, 3)
1827 
  TEST (2, 5, 3, 3)
1828 
  TEST (3, 5, 3, 3)
1829 
  TEST (4, 5, 3, 3)
1830 
  TEST (5, 5, 3, 3)
1831 
  TEST (6, 5, 3, 3)
1832 
  TEST (7, 5, 3, 3)
1833 
  TEST (0, 6, 3, 3)
1834 
  TEST (1, 6, 3, 3)
1835 
  TEST (2, 6, 3, 3)
1836 
  TEST (3, 6, 3, 3)
1837 
  TEST (4, 6, 3, 3)
1838 
  TEST (5, 6, 3, 3)
1839 
  TEST (6, 6, 3, 3)
1840 
  TEST (7, 6, 3, 3)
1841 
  TEST (0, 7, 3, 3)
1842 
  TEST (1, 7, 3, 3)
1843 
  TEST (2, 7, 3, 3)
1844 
  TEST (3, 7, 3, 3)
1845 
  TEST (4, 7, 3, 3)
1846 
  TEST (5, 7, 3, 3)
1847 
  TEST (6, 7, 3, 3)
1848 
  TEST (7, 7, 3, 3)
1849 
}
1850 
 
1851 
void check14(void)
1852 
{
1853 
  TEST (0, 0, 4, 3)
1854 
  TEST (1, 0, 4, 3)
1855 
  TEST (2, 0, 4, 3)
1856 
  TEST (3, 0, 4, 3)
1857 
  TEST (4, 0, 4, 3)
1858 
  TEST (5, 0, 4, 3)
1859 
  TEST (6, 0, 4, 3)
1860 
  TEST (7, 0, 4, 3)
1861 
  TEST (0, 1, 4, 3)
1862 
  TEST (1, 1, 4, 3)
1863 
  TEST (2, 1, 4, 3)
1864 
  TEST (3, 1, 4, 3)
1865 
  TEST (4, 1, 4, 3)
1866 
  TEST (5, 1, 4, 3)
1867 
  TEST (6, 1, 4, 3)
1868 
  TEST (7, 1, 4, 3)
1869 
  TEST (0, 2, 4, 3)
1870 
  TEST (1, 2, 4, 3)
1871 
  TEST (2, 2, 4, 3)
1872 
  TEST (3, 2, 4, 3)
1873 
  TEST (4, 2, 4, 3)
1874 
  TEST (5, 2, 4, 3)
1875 
  TEST (6, 2, 4, 3)
1876 
  TEST (7, 2, 4, 3)
1877 
  TEST (0, 3, 4, 3)
1878 
  TEST (1, 3, 4, 3)
1879 
  TEST (2, 3, 4, 3)
1880 
  TEST (3, 3, 4, 3)
1881 
  TEST (4, 3, 4, 3)
1882 
  TEST (5, 3, 4, 3)
1883 
  TEST (6, 3, 4, 3)
1884 
  TEST (7, 3, 4, 3)
1885 
  TEST (0, 4, 4, 3)
1886 
  TEST (1, 4, 4, 3)
1887 
  TEST (2, 4, 4, 3)
1888 
  TEST (3, 4, 4, 3)
1889 
  TEST (4, 4, 4, 3)
1890 
  TEST (5, 4, 4, 3)
1891 
  TEST (6, 4, 4, 3)
1892 
  TEST (7, 4, 4, 3)
1893 
  TEST (0, 5, 4, 3)
1894 
  TEST (1, 5, 4, 3)
1895 
  TEST (2, 5, 4, 3)
1896 
  TEST (3, 5, 4, 3)
1897 
  TEST (4, 5, 4, 3)
1898 
  TEST (5, 5, 4, 3)
1899 
  TEST (6, 5, 4, 3)
1900 
  TEST (7, 5, 4, 3)
1901 
  TEST (0, 6, 4, 3)
1902 
  TEST (1, 6, 4, 3)
1903 
  TEST (2, 6, 4, 3)
1904 
  TEST (3, 6, 4, 3)
1905 
  TEST (4, 6, 4, 3)
1906 
  TEST (5, 6, 4, 3)
1907 
  TEST (6, 6, 4, 3)
1908 
  TEST (7, 6, 4, 3)
1909 
  TEST (0, 7, 4, 3)
1910 
  TEST (1, 7, 4, 3)
1911 
  TEST (2, 7, 4, 3)
1912 
  TEST (3, 7, 4, 3)
1913 
  TEST (4, 7, 4, 3)
1914 
  TEST (5, 7, 4, 3)
1915 
  TEST (6, 7, 4, 3)
1916 
  TEST (7, 7, 4, 3)
1917 
  TEST (0, 0, 5, 3)
1918 
  TEST (1, 0, 5, 3)
1919 
  TEST (2, 0, 5, 3)
1920 
  TEST (3, 0, 5, 3)
1921 
  TEST (4, 0, 5, 3)
1922 
  TEST (5, 0, 5, 3)
1923 
  TEST (6, 0, 5, 3)
1924 
  TEST (7, 0, 5, 3)
1925 
  TEST (0, 1, 5, 3)
1926 
  TEST (1, 1, 5, 3)
1927 
  TEST (2, 1, 5, 3)
1928 
  TEST (3, 1, 5, 3)
1929 
  TEST (4, 1, 5, 3)
1930 
  TEST (5, 1, 5, 3)
1931 
  TEST (6, 1, 5, 3)
1932 
  TEST (7, 1, 5, 3)
1933 
  TEST (0, 2, 5, 3)
1934 
  TEST (1, 2, 5, 3)
1935 
  TEST (2, 2, 5, 3)
1936 
  TEST (3, 2, 5, 3)
1937 
  TEST (4, 2, 5, 3)
1938 
  TEST (5, 2, 5, 3)
1939 
  TEST (6, 2, 5, 3)
1940 
  TEST (7, 2, 5, 3)
1941 
  TEST (0, 3, 5, 3)
1942 
  TEST (1, 3, 5, 3)
1943 
  TEST (2, 3, 5, 3)
1944 
  TEST (3, 3, 5, 3)
1945 
  TEST (4, 3, 5, 3)
1946 
  TEST (5, 3, 5, 3)
1947 
  TEST (6, 3, 5, 3)
1948 
  TEST (7, 3, 5, 3)
1949 
  TEST (0, 4, 5, 3)
1950 
  TEST (1, 4, 5, 3)
1951 
  TEST (2, 4, 5, 3)
1952 
  TEST (3, 4, 5, 3)
1953 
  TEST (4, 4, 5, 3)
1954 
  TEST (5, 4, 5, 3)
1955 
  TEST (6, 4, 5, 3)
1956 
  TEST (7, 4, 5, 3)
1957 
  TEST (0, 5, 5, 3)
1958 
  TEST (1, 5, 5, 3)
1959 
  TEST (2, 5, 5, 3)
1960 
  TEST (3, 5, 5, 3)
1961 
  TEST (4, 5, 5, 3)
1962 
  TEST (5, 5, 5, 3)
1963 
  TEST (6, 5, 5, 3)
1964 
  TEST (7, 5, 5, 3)
1965 
  TEST (0, 6, 5, 3)
1966 
  TEST (1, 6, 5, 3)
1967 
  TEST (2, 6, 5, 3)
1968 
  TEST (3, 6, 5, 3)
1969 
  TEST (4, 6, 5, 3)
1970 
  TEST (5, 6, 5, 3)
1971 
  TEST (6, 6, 5, 3)
1972 
  TEST (7, 6, 5, 3)
1973 
  TEST (0, 7, 5, 3)
1974 
  TEST (1, 7, 5, 3)
1975 
  TEST (2, 7, 5, 3)
1976 
  TEST (3, 7, 5, 3)
1977 
  TEST (4, 7, 5, 3)
1978 
  TEST (5, 7, 5, 3)
1979 
  TEST (6, 7, 5, 3)
1980 
  TEST (7, 7, 5, 3)
1981 
}
1982 
 
1983 
void check15(void)
1984 
{
1985 
  TEST (0, 0, 6, 3)
1986 
  TEST (1, 0, 6, 3)
1987 
  TEST (2, 0, 6, 3)
1988 
  TEST (3, 0, 6, 3)
1989 
  TEST (4, 0, 6, 3)
1990 
  TEST (5, 0, 6, 3)
1991 
  TEST (6, 0, 6, 3)
1992 
  TEST (7, 0, 6, 3)
1993 
  TEST (0, 1, 6, 3)
1994 
  TEST (1, 1, 6, 3)
1995 
  TEST (2, 1, 6, 3)
1996 
  TEST (3, 1, 6, 3)
1997 
  TEST (4, 1, 6, 3)
1998 
  TEST (5, 1, 6, 3)
1999 
  TEST (6, 1, 6, 3)
2000 
  TEST (7, 1, 6, 3)
2001 
  TEST (0, 2, 6, 3)
2002 
  TEST (1, 2, 6, 3)
2003 
  TEST (2, 2, 6, 3)
2004 
  TEST (3, 2, 6, 3)
2005 
  TEST (4, 2, 6, 3)
2006 
  TEST (5, 2, 6, 3)
2007 
  TEST (6, 2, 6, 3)
2008 
  TEST (7, 2, 6, 3)
2009 
  TEST (0, 3, 6, 3)
2010 
  TEST (1, 3, 6, 3)
2011 
  TEST (2, 3, 6, 3)
2012 
  TEST (3, 3, 6, 3)
2013 
  TEST (4, 3, 6, 3)
2014 
  TEST (5, 3, 6, 3)
2015 
  TEST (6, 3, 6, 3)
2016 
  TEST (7, 3, 6, 3)
2017 
  TEST (0, 4, 6, 3)
2018 
  TEST (1, 4, 6, 3)
2019 
  TEST (2, 4, 6, 3)
2020 
  TEST (3, 4, 6, 3)
2021 
  TEST (4, 4, 6, 3)
2022 
  TEST (5, 4, 6, 3)
2023 
  TEST (6, 4, 6, 3)
2024 
  TEST (7, 4, 6, 3)
2025 
  TEST (0, 5, 6, 3)
2026 
  TEST (1, 5, 6, 3)
2027 
  TEST (2, 5, 6, 3)
2028 
  TEST (3, 5, 6, 3)
2029 
  TEST (4, 5, 6, 3)
2030 
  TEST (5, 5, 6, 3)
2031 
  TEST (6, 5, 6, 3)
2032 
  TEST (7, 5, 6, 3)
2033 
  TEST (0, 6, 6, 3)
2034 
  TEST (1, 6, 6, 3)
2035 
  TEST (2, 6, 6, 3)
2036 
  TEST (3, 6, 6, 3)
2037 
  TEST (4, 6, 6, 3)
2038 
  TEST (5, 6, 6, 3)
2039 
  TEST (6, 6, 6, 3)
2040 
  TEST (7, 6, 6, 3)
2041 
  TEST (0, 7, 6, 3)
2042 
  TEST (1, 7, 6, 3)
2043 
  TEST (2, 7, 6, 3)
2044 
  TEST (3, 7, 6, 3)
2045 
  TEST (4, 7, 6, 3)
2046 
  TEST (5, 7, 6, 3)
2047 
  TEST (6, 7, 6, 3)
2048 
  TEST (7, 7, 6, 3)
2049 
  TEST (0, 0, 7, 3)
2050 
  TEST (1, 0, 7, 3)
2051 
  TEST (2, 0, 7, 3)
2052 
  TEST (3, 0, 7, 3)
2053 
  TEST (4, 0, 7, 3)
2054 
  TEST (5, 0, 7, 3)
2055 
  TEST (6, 0, 7, 3)
2056 
  TEST (7, 0, 7, 3)
2057 
  TEST (0, 1, 7, 3)
2058 
  TEST (1, 1, 7, 3)
2059 
  TEST (2, 1, 7, 3)
2060 
  TEST (3, 1, 7, 3)
2061 
  TEST (4, 1, 7, 3)
2062 
  TEST (5, 1, 7, 3)
2063 
  TEST (6, 1, 7, 3)
2064 
  TEST (7, 1, 7, 3)
2065 
  TEST (0, 2, 7, 3)
2066 
  TEST (1, 2, 7, 3)
2067 
  TEST (2, 2, 7, 3)
2068 
  TEST (3, 2, 7, 3)
2069 
  TEST (4, 2, 7, 3)
2070 
  TEST (5, 2, 7, 3)
2071 
  TEST (6, 2, 7, 3)
2072 
  TEST (7, 2, 7, 3)
2073 
  TEST (0, 3, 7, 3)
2074 
  TEST (1, 3, 7, 3)
2075 
  TEST (2, 3, 7, 3)
2076 
  TEST (3, 3, 7, 3)
2077 
  TEST (4, 3, 7, 3)
2078 
  TEST (5, 3, 7, 3)
2079 
  TEST (6, 3, 7, 3)
2080 
  TEST (7, 3, 7, 3)
2081 
  TEST (0, 4, 7, 3)
2082 
  TEST (1, 4, 7, 3)
2083 
  TEST (2, 4, 7, 3)
2084 
  TEST (3, 4, 7, 3)
2085 
  TEST (4, 4, 7, 3)
2086 
  TEST (5, 4, 7, 3)
2087 
  TEST (6, 4, 7, 3)
2088 
  TEST (7, 4, 7, 3)
2089 
  TEST (0, 5, 7, 3)
2090 
  TEST (1, 5, 7, 3)
2091 
  TEST (2, 5, 7, 3)
2092 
  TEST (3, 5, 7, 3)
2093 
  TEST (4, 5, 7, 3)
2094 
  TEST (5, 5, 7, 3)
2095 
  TEST (6, 5, 7, 3)
2096 
  TEST (7, 5, 7, 3)
2097 
  TEST (0, 6, 7, 3)
2098 
  TEST (1, 6, 7, 3)
2099 
  TEST (2, 6, 7, 3)
2100 
  TEST (3, 6, 7, 3)
2101 
  TEST (4, 6, 7, 3)
2102 
  TEST (5, 6, 7, 3)
2103 
  TEST (6, 6, 7, 3)
2104 
  TEST (7, 6, 7, 3)
2105 
  TEST (0, 7, 7, 3)
2106 
  TEST (1, 7, 7, 3)
2107 
  TEST (2, 7, 7, 3)
2108 
  TEST (3, 7, 7, 3)
2109 
  TEST (4, 7, 7, 3)
2110 
  TEST (5, 7, 7, 3)
2111 
  TEST (6, 7, 7, 3)
2112 
  TEST (7, 7, 7, 3)
2113 
}
2114 
 
2115 
void check16(void)
2116 
{
2117 
  TEST (0, 0, 0, 4)
2118 
  TEST (1, 0, 0, 4)
2119 
  TEST (2, 0, 0, 4)
2120 
  TEST (3, 0, 0, 4)
2121 
  TEST (4, 0, 0, 4)
2122 
  TEST (5, 0, 0, 4)
2123 
  TEST (6, 0, 0, 4)
2124 
  TEST (7, 0, 0, 4)
2125 
  TEST (0, 1, 0, 4)
2126 
  TEST (1, 1, 0, 4)
2127 
  TEST (2, 1, 0, 4)
2128 
  TEST (3, 1, 0, 4)
2129 
  TEST (4, 1, 0, 4)
2130 
  TEST (5, 1, 0, 4)
2131 
  TEST (6, 1, 0, 4)
2132 
  TEST (7, 1, 0, 4)
2133 
  TEST (0, 2, 0, 4)
2134 
  TEST (1, 2, 0, 4)
2135 
  TEST (2, 2, 0, 4)
2136 
  TEST (3, 2, 0, 4)
2137 
  TEST (4, 2, 0, 4)
2138 
  TEST (5, 2, 0, 4)
2139 
  TEST (6, 2, 0, 4)
2140 
  TEST (7, 2, 0, 4)
2141 
  TEST (0, 3, 0, 4)
2142 
  TEST (1, 3, 0, 4)
2143 
  TEST (2, 3, 0, 4)
2144 
  TEST (3, 3, 0, 4)
2145 
  TEST (4, 3, 0, 4)
2146 
  TEST (5, 3, 0, 4)
2147 
  TEST (6, 3, 0, 4)
2148 
  TEST (7, 3, 0, 4)
2149 
  TEST (0, 4, 0, 4)
2150 
  TEST (1, 4, 0, 4)
2151 
  TEST (2, 4, 0, 4)
2152 
  TEST (3, 4, 0, 4)
2153 
  TEST (4, 4, 0, 4)
2154 
  TEST (5, 4, 0, 4)
2155 
  TEST (6, 4, 0, 4)
2156 
  TEST (7, 4, 0, 4)
2157 
  TEST (0, 5, 0, 4)
2158 
  TEST (1, 5, 0, 4)
2159 
  TEST (2, 5, 0, 4)
2160 
  TEST (3, 5, 0, 4)
2161 
  TEST (4, 5, 0, 4)
2162 
  TEST (5, 5, 0, 4)
2163 
  TEST (6, 5, 0, 4)
2164 
  TEST (7, 5, 0, 4)
2165 
  TEST (0, 6, 0, 4)
2166 
  TEST (1, 6, 0, 4)
2167 
  TEST (2, 6, 0, 4)
2168 
  TEST (3, 6, 0, 4)
2169 
  TEST (4, 6, 0, 4)
2170 
  TEST (5, 6, 0, 4)
2171 
  TEST (6, 6, 0, 4)
2172 
  TEST (7, 6, 0, 4)
2173 
  TEST (0, 7, 0, 4)
2174 
  TEST (1, 7, 0, 4)
2175 
  TEST (2, 7, 0, 4)
2176 
  TEST (3, 7, 0, 4)
2177 
  TEST (4, 7, 0, 4)
2178 
  TEST (5, 7, 0, 4)
2179 
  TEST (6, 7, 0, 4)
2180 
  TEST (7, 7, 0, 4)
2181 
  TEST (0, 0, 1, 4)
2182 
  TEST (1, 0, 1, 4)
2183 
  TEST (2, 0, 1, 4)
2184 
  TEST (3, 0, 1, 4)
2185 
  TEST (4, 0, 1, 4)
2186 
  TEST (5, 0, 1, 4)
2187 
  TEST (6, 0, 1, 4)
2188 
  TEST (7, 0, 1, 4)
2189 
  TEST (0, 1, 1, 4)
2190 
  TEST (1, 1, 1, 4)
2191 
  TEST (2, 1, 1, 4)
2192 
  TEST (3, 1, 1, 4)
2193 
  TEST (4, 1, 1, 4)
2194 
  TEST (5, 1, 1, 4)
2195 
  TEST (6, 1, 1, 4)
2196 
  TEST (7, 1, 1, 4)
2197 
  TEST (0, 2, 1, 4)
2198 
  TEST (1, 2, 1, 4)
2199 
  TEST (2, 2, 1, 4)
2200 
  TEST (3, 2, 1, 4)
2201 
  TEST (4, 2, 1, 4)
2202 
  TEST (5, 2, 1, 4)
2203 
  TEST (6, 2, 1, 4)
2204 
  TEST (7, 2, 1, 4)
2205 
  TEST (0, 3, 1, 4)
2206 
  TEST (1, 3, 1, 4)
2207 
  TEST (2, 3, 1, 4)
2208 
  TEST (3, 3, 1, 4)
2209 
  TEST (4, 3, 1, 4)
2210 
  TEST (5, 3, 1, 4)
2211 
  TEST (6, 3, 1, 4)
2212 
  TEST (7, 3, 1, 4)
2213 
  TEST (0, 4, 1, 4)
2214 
  TEST (1, 4, 1, 4)
2215 
  TEST (2, 4, 1, 4)
2216 
  TEST (3, 4, 1, 4)
2217 
  TEST (4, 4, 1, 4)
2218 
  TEST (5, 4, 1, 4)
2219 
  TEST (6, 4, 1, 4)
2220 
  TEST (7, 4, 1, 4)
2221 
  TEST (0, 5, 1, 4)
2222 
  TEST (1, 5, 1, 4)
2223 
  TEST (2, 5, 1, 4)
2224 
  TEST (3, 5, 1, 4)
2225 
  TEST (4, 5, 1, 4)
2226 
  TEST (5, 5, 1, 4)
2227 
  TEST (6, 5, 1, 4)
2228 
  TEST (7, 5, 1, 4)
2229 
  TEST (0, 6, 1, 4)
2230 
  TEST (1, 6, 1, 4)
2231 
  TEST (2, 6, 1, 4)
2232 
  TEST (3, 6, 1, 4)
2233 
  TEST (4, 6, 1, 4)
2234 
  TEST (5, 6, 1, 4)
2235 
  TEST (6, 6, 1, 4)
2236 
  TEST (7, 6, 1, 4)
2237 
  TEST (0, 7, 1, 4)
2238 
  TEST (1, 7, 1, 4)
2239 
  TEST (2, 7, 1, 4)
2240 
  TEST (3, 7, 1, 4)
2241 
  TEST (4, 7, 1, 4)
2242 
  TEST (5, 7, 1, 4)
2243 
  TEST (6, 7, 1, 4)
2244 
  TEST (7, 7, 1, 4)
2245 
}
2246 
 
2247 
void check17(void)
2248 
{
2249 
  TEST (0, 0, 2, 4)
2250 
  TEST (1, 0, 2, 4)
2251 
  TEST (2, 0, 2, 4)
2252 
  TEST (3, 0, 2, 4)
2253 
  TEST (4, 0, 2, 4)
2254 
  TEST (5, 0, 2, 4)
2255 
  TEST (6, 0, 2, 4)
2256 
  TEST (7, 0, 2, 4)
2257 
  TEST (0, 1, 2, 4)
2258 
  TEST (1, 1, 2, 4)
2259 
  TEST (2, 1, 2, 4)
2260 
  TEST (3, 1, 2, 4)
2261 
  TEST (4, 1, 2, 4)
2262 
  TEST (5, 1, 2, 4)
2263 
  TEST (6, 1, 2, 4)
2264 
  TEST (7, 1, 2, 4)
2265 
  TEST (0, 2, 2, 4)
2266 
  TEST (1, 2, 2, 4)
2267 
  TEST (2, 2, 2, 4)
2268 
  TEST (3, 2, 2, 4)
2269 
  TEST (4, 2, 2, 4)
2270 
  TEST (5, 2, 2, 4)
2271 
  TEST (6, 2, 2, 4)
2272 
  TEST (7, 2, 2, 4)
2273 
  TEST (0, 3, 2, 4)
2274 
  TEST (1, 3, 2, 4)
2275 
  TEST (2, 3, 2, 4)
2276 
  TEST (3, 3, 2, 4)
2277 
  TEST (4, 3, 2, 4)
2278 
  TEST (5, 3, 2, 4)
2279 
  TEST (6, 3, 2, 4)
2280 
  TEST (7, 3, 2, 4)
2281 
  TEST (0, 4, 2, 4)
2282 
  TEST (1, 4, 2, 4)
2283 
  TEST (2, 4, 2, 4)
2284 
  TEST (3, 4, 2, 4)
2285 
  TEST (4, 4, 2, 4)
2286 
  TEST (5, 4, 2, 4)
2287 
  TEST (6, 4, 2, 4)
2288 
  TEST (7, 4, 2, 4)
2289 
  TEST (0, 5, 2, 4)
2290 
  TEST (1, 5, 2, 4)
2291 
  TEST (2, 5, 2, 4)
2292 
  TEST (3, 5, 2, 4)
2293 
  TEST (4, 5, 2, 4)
2294 
  TEST (5, 5, 2, 4)
2295 
  TEST (6, 5, 2, 4)
2296 
  TEST (7, 5, 2, 4)
2297 
  TEST (0, 6, 2, 4)
2298 
  TEST (1, 6, 2, 4)
2299 
  TEST (2, 6, 2, 4)
2300 
  TEST (3, 6, 2, 4)
2301 
  TEST (4, 6, 2, 4)
2302 
  TEST (5, 6, 2, 4)
2303 
  TEST (6, 6, 2, 4)
2304 
  TEST (7, 6, 2, 4)
2305 
  TEST (0, 7, 2, 4)
2306 
  TEST (1, 7, 2, 4)
2307 
  TEST (2, 7, 2, 4)
2308 
  TEST (3, 7, 2, 4)
2309 
  TEST (4, 7, 2, 4)
2310 
  TEST (5, 7, 2, 4)
2311 
  TEST (6, 7, 2, 4)
2312 
  TEST (7, 7, 2, 4)
2313 
  TEST (0, 0, 3, 4)
2314 
  TEST (1, 0, 3, 4)
2315 
  TEST (2, 0, 3, 4)
2316 
  TEST (3, 0, 3, 4)
2317 
  TEST (4, 0, 3, 4)
2318 
  TEST (5, 0, 3, 4)
2319 
  TEST (6, 0, 3, 4)
2320 
  TEST (7, 0, 3, 4)
2321 
  TEST (0, 1, 3, 4)
2322 
  TEST (1, 1, 3, 4)
2323 
  TEST (2, 1, 3, 4)
2324 
  TEST (3, 1, 3, 4)
2325 
  TEST (4, 1, 3, 4)
2326 
  TEST (5, 1, 3, 4)
2327 
  TEST (6, 1, 3, 4)
2328 
  TEST (7, 1, 3, 4)
2329 
  TEST (0, 2, 3, 4)
2330 
  TEST (1, 2, 3, 4)
2331 
  TEST (2, 2, 3, 4)
2332 
  TEST (3, 2, 3, 4)
2333 
  TEST (4, 2, 3, 4)
2334 
  TEST (5, 2, 3, 4)
2335 
  TEST (6, 2, 3, 4)
2336 
  TEST (7, 2, 3, 4)
2337 
  TEST (0, 3, 3, 4)
2338 
  TEST (1, 3, 3, 4)
2339 
  TEST (2, 3, 3, 4)
2340 
  TEST (3, 3, 3, 4)
2341 
  TEST (4, 3, 3, 4)
2342 
  TEST (5, 3, 3, 4)
2343 
  TEST (6, 3, 3, 4)
2344 
  TEST (7, 3, 3, 4)
2345 
  TEST (0, 4, 3, 4)
2346 
  TEST (1, 4, 3, 4)
2347 
  TEST (2, 4, 3, 4)
2348 
  TEST (3, 4, 3, 4)
2349 
  TEST (4, 4, 3, 4)
2350 
  TEST (5, 4, 3, 4)
2351 
  TEST (6, 4, 3, 4)
2352 
  TEST (7, 4, 3, 4)
2353 
  TEST (0, 5, 3, 4)
2354 
  TEST (1, 5, 3, 4)
2355 
  TEST (2, 5, 3, 4)
2356 
  TEST (3, 5, 3, 4)
2357 
  TEST (4, 5, 3, 4)
2358 
  TEST (5, 5, 3, 4)
2359 
  TEST (6, 5, 3, 4)
2360 
  TEST (7, 5, 3, 4)
2361 
  TEST (0, 6, 3, 4)
2362 
  TEST (1, 6, 3, 4)
2363 
  TEST (2, 6, 3, 4)
2364 
  TEST (3, 6, 3, 4)
2365 
  TEST (4, 6, 3, 4)
2366 
  TEST (5, 6, 3, 4)
2367 
  TEST (6, 6, 3, 4)
2368 
  TEST (7, 6, 3, 4)
2369 
  TEST (0, 7, 3, 4)
2370 
  TEST (1, 7, 3, 4)
2371 
  TEST (2, 7, 3, 4)
2372 
  TEST (3, 7, 3, 4)
2373 
  TEST (4, 7, 3, 4)
2374 
  TEST (5, 7, 3, 4)
2375 
  TEST (6, 7, 3, 4)
2376 
  TEST (7, 7, 3, 4)
2377 
}
2378 
 
2379 
void check18(void)
2380 
{
2381 
  TEST (0, 0, 4, 4)
2382 
  TEST (1, 0, 4, 4)
2383 
  TEST (2, 0, 4, 4)
2384 
  TEST (3, 0, 4, 4)
2385 
  TEST (4, 0, 4, 4)
2386 
  TEST (5, 0, 4, 4)
2387 
  TEST (6, 0, 4, 4)
2388 
  TEST (7, 0, 4, 4)
2389 
  TEST (0, 1, 4, 4)
2390 
  TEST (1, 1, 4, 4)
2391 
  TEST (2, 1, 4, 4)
2392 
  TEST (3, 1, 4, 4)
2393 
  TEST (4, 1, 4, 4)
2394 
  TEST (5, 1, 4, 4)
2395 
  TEST (6, 1, 4, 4)
2396 
  TEST (7, 1, 4, 4)
2397 
  TEST (0, 2, 4, 4)
2398 
  TEST (1, 2, 4, 4)
2399 
  TEST (2, 2, 4, 4)
2400 
  TEST (3, 2, 4, 4)
2401 
  TEST (4, 2, 4, 4)
2402 
  TEST (5, 2, 4, 4)
2403 
  TEST (6, 2, 4, 4)
2404 
  TEST (7, 2, 4, 4)
2405 
  TEST (0, 3, 4, 4)
2406 
  TEST (1, 3, 4, 4)
2407 
  TEST (2, 3, 4, 4)
2408 
  TEST (3, 3, 4, 4)
2409 
  TEST (4, 3, 4, 4)
2410 
  TEST (5, 3, 4, 4)
2411 
  TEST (6, 3, 4, 4)
2412 
  TEST (7, 3, 4, 4)
2413 
  TEST (0, 4, 4, 4)
2414 
  TEST (1, 4, 4, 4)
2415 
  TEST (2, 4, 4, 4)
2416 
  TEST (3, 4, 4, 4)
2417 
  TEST (4, 4, 4, 4)
2418 
  TEST (5, 4, 4, 4)
2419 
  TEST (6, 4, 4, 4)
2420 
  TEST (7, 4, 4, 4)
2421 
  TEST (0, 5, 4, 4)
2422 
  TEST (1, 5, 4, 4)
2423 
  TEST (2, 5, 4, 4)
2424 
  TEST (3, 5, 4, 4)
2425 
  TEST (4, 5, 4, 4)
2426 
  TEST (5, 5, 4, 4)
2427 
  TEST (6, 5, 4, 4)
2428 
  TEST (7, 5, 4, 4)
2429 
  TEST (0, 6, 4, 4)
2430 
  TEST (1, 6, 4, 4)
2431 
  TEST (2, 6, 4, 4)
2432 
  TEST (3, 6, 4, 4)
2433 
  TEST (4, 6, 4, 4)
2434 
  TEST (5, 6, 4, 4)
2435 
  TEST (6, 6, 4, 4)
2436 
  TEST (7, 6, 4, 4)
2437 
  TEST (0, 7, 4, 4)
2438 
  TEST (1, 7, 4, 4)
2439 
  TEST (2, 7, 4, 4)
2440 
  TEST (3, 7, 4, 4)
2441 
  TEST (4, 7, 4, 4)
2442 
  TEST (5, 7, 4, 4)
2443 
  TEST (6, 7, 4, 4)
2444 
  TEST (7, 7, 4, 4)
2445 
  TEST (0, 0, 5, 4)
2446 
  TEST (1, 0, 5, 4)
2447 
  TEST (2, 0, 5, 4)
2448 
  TEST (3, 0, 5, 4)
2449 
  TEST (4, 0, 5, 4)
2450 
  TEST (5, 0, 5, 4)
2451 
  TEST (6, 0, 5, 4)
2452 
  TEST (7, 0, 5, 4)
2453 
  TEST (0, 1, 5, 4)
2454 
  TEST (1, 1, 5, 4)
2455 
  TEST (2, 1, 5, 4)
2456 
  TEST (3, 1, 5, 4)
2457 
  TEST (4, 1, 5, 4)
2458 
  TEST (5, 1, 5, 4)
2459 
  TEST (6, 1, 5, 4)
2460 
  TEST (7, 1, 5, 4)
2461 
  TEST (0, 2, 5, 4)
2462 
  TEST (1, 2, 5, 4)
2463 
  TEST (2, 2, 5, 4)
2464 
  TEST (3, 2, 5, 4)
2465 
  TEST (4, 2, 5, 4)
2466 
  TEST (5, 2, 5, 4)
2467 
  TEST (6, 2, 5, 4)
2468 
  TEST (7, 2, 5, 4)
2469 
  TEST (0, 3, 5, 4)
2470 
  TEST (1, 3, 5, 4)
2471 
  TEST (2, 3, 5, 4)
2472 
  TEST (3, 3, 5, 4)
2473 
  TEST (4, 3, 5, 4)
2474 
  TEST (5, 3, 5, 4)
2475 
  TEST (6, 3, 5, 4)
2476 
  TEST (7, 3, 5, 4)
2477 
  TEST (0, 4, 5, 4)
2478 
  TEST (1, 4, 5, 4)
2479 
  TEST (2, 4, 5, 4)
2480 
  TEST (3, 4, 5, 4)
2481 
  TEST (4, 4, 5, 4)
2482 
  TEST (5, 4, 5, 4)
2483 
  TEST (6, 4, 5, 4)
2484 
  TEST (7, 4, 5, 4)
2485 
  TEST (0, 5, 5, 4)
2486 
  TEST (1, 5, 5, 4)
2487 
  TEST (2, 5, 5, 4)
2488 
  TEST (3, 5, 5, 4)
2489 
  TEST (4, 5, 5, 4)
2490 
  TEST (5, 5, 5, 4)
2491 
  TEST (6, 5, 5, 4)
2492 
  TEST (7, 5, 5, 4)
2493 
  TEST (0, 6, 5, 4)
2494 
  TEST (1, 6, 5, 4)
2495 
  TEST (2, 6, 5, 4)
2496 
  TEST (3, 6, 5, 4)
2497 
  TEST (4, 6, 5, 4)
2498 
  TEST (5, 6, 5, 4)
2499 
  TEST (6, 6, 5, 4)
2500 
  TEST (7, 6, 5, 4)
2501 
  TEST (0, 7, 5, 4)
2502 
  TEST (1, 7, 5, 4)
2503 
  TEST (2, 7, 5, 4)
2504 
  TEST (3, 7, 5, 4)
2505 
  TEST (4, 7, 5, 4)
2506 
  TEST (5, 7, 5, 4)
2507 
  TEST (6, 7, 5, 4)
2508 
  TEST (7, 7, 5, 4)
2509 
}
2510 
 
2511 
void check19(void)
2512 
{
2513 
  TEST (0, 0, 6, 4)
2514 
  TEST (1, 0, 6, 4)
2515 
  TEST (2, 0, 6, 4)
2516 
  TEST (3, 0, 6, 4)
2517 
  TEST (4, 0, 6, 4)
2518 
  TEST (5, 0, 6, 4)
2519 
  TEST (6, 0, 6, 4)
2520 
  TEST (7, 0, 6, 4)
2521 
  TEST (0, 1, 6, 4)
2522 
  TEST (1, 1, 6, 4)
2523 
  TEST (2, 1, 6, 4)
2524 
  TEST (3, 1, 6, 4)
2525 
  TEST (4, 1, 6, 4)
2526 
  TEST (5, 1, 6, 4)
2527 
  TEST (6, 1, 6, 4)
2528 
  TEST (7, 1, 6, 4)
2529 
  TEST (0, 2, 6, 4)
2530 
  TEST (1, 2, 6, 4)
2531 
  TEST (2, 2, 6, 4)
2532 
  TEST (3, 2, 6, 4)
2533 
  TEST (4, 2, 6, 4)
2534 
  TEST (5, 2, 6, 4)
2535 
  TEST (6, 2, 6, 4)
2536 
  TEST (7, 2, 6, 4)
2537 
  TEST (0, 3, 6, 4)
2538 
  TEST (1, 3, 6, 4)
2539 
  TEST (2, 3, 6, 4)
2540 
  TEST (3, 3, 6, 4)
2541 
  TEST (4, 3, 6, 4)
2542 
  TEST (5, 3, 6, 4)
2543 
  TEST (6, 3, 6, 4)
2544 
  TEST (7, 3, 6, 4)
2545 
  TEST (0, 4, 6, 4)
2546 
  TEST (1, 4, 6, 4)
2547 
  TEST (2, 4, 6, 4)
2548 
  TEST (3, 4, 6, 4)
2549 
  TEST (4, 4, 6, 4)
2550 
  TEST (5, 4, 6, 4)
2551 
  TEST (6, 4, 6, 4)
2552 
  TEST (7, 4, 6, 4)
2553 
  TEST (0, 5, 6, 4)
2554 
  TEST (1, 5, 6, 4)
2555 
  TEST (2, 5, 6, 4)
2556 
  TEST (3, 5, 6, 4)
2557 
  TEST (4, 5, 6, 4)
2558 
  TEST (5, 5, 6, 4)
2559 
  TEST (6, 5, 6, 4)
2560 
  TEST (7, 5, 6, 4)
2561 
  TEST (0, 6, 6, 4)
2562 
  TEST (1, 6, 6, 4)
2563 
  TEST (2, 6, 6, 4)
2564 
  TEST (3, 6, 6, 4)
2565 
  TEST (4, 6, 6, 4)
2566 
  TEST (5, 6, 6, 4)
2567 
  TEST (6, 6, 6, 4)
2568 
  TEST (7, 6, 6, 4)
2569 
  TEST (0, 7, 6, 4)
2570 
  TEST (1, 7, 6, 4)
2571 
  TEST (2, 7, 6, 4)
2572 
  TEST (3, 7, 6, 4)
2573 
  TEST (4, 7, 6, 4)
2574 
  TEST (5, 7, 6, 4)
2575 
  TEST (6, 7, 6, 4)
2576 
  TEST (7, 7, 6, 4)
2577 
  TEST (0, 0, 7, 4)
2578 
  TEST (1, 0, 7, 4)
2579 
  TEST (2, 0, 7, 4)
2580 
  TEST (3, 0, 7, 4)
2581 
  TEST (4, 0, 7, 4)
2582 
  TEST (5, 0, 7, 4)
2583 
  TEST (6, 0, 7, 4)
2584 
  TEST (7, 0, 7, 4)
2585 
  TEST (0, 1, 7, 4)
2586 
  TEST (1, 1, 7, 4)
2587 
  TEST (2, 1, 7, 4)
2588 
  TEST (3, 1, 7, 4)
2589 
  TEST (4, 1, 7, 4)
2590 
  TEST (5, 1, 7, 4)
2591 
  TEST (6, 1, 7, 4)
2592 
  TEST (7, 1, 7, 4)
2593 
  TEST (0, 2, 7, 4)
2594 
  TEST (1, 2, 7, 4)
2595 
  TEST (2, 2, 7, 4)
2596 
  TEST (3, 2, 7, 4)
2597 
  TEST (4, 2, 7, 4)
2598 
  TEST (5, 2, 7, 4)
2599 
  TEST (6, 2, 7, 4)
2600 
  TEST (7, 2, 7, 4)
2601 
  TEST (0, 3, 7, 4)
2602 
  TEST (1, 3, 7, 4)
2603 
  TEST (2, 3, 7, 4)
2604 
  TEST (3, 3, 7, 4)
2605 
  TEST (4, 3, 7, 4)
2606 
  TEST (5, 3, 7, 4)
2607 
  TEST (6, 3, 7, 4)
2608 
  TEST (7, 3, 7, 4)
2609 
  TEST (0, 4, 7, 4)
2610 
  TEST (1, 4, 7, 4)
2611 
  TEST (2, 4, 7, 4)
2612 
  TEST (3, 4, 7, 4)
2613 
  TEST (4, 4, 7, 4)
2614 
  TEST (5, 4, 7, 4)
2615 
  TEST (6, 4, 7, 4)
2616 
  TEST (7, 4, 7, 4)
2617 
  TEST (0, 5, 7, 4)
2618 
  TEST (1, 5, 7, 4)
2619 
  TEST (2, 5, 7, 4)
2620 
  TEST (3, 5, 7, 4)
2621 
  TEST (4, 5, 7, 4)
2622 
  TEST (5, 5, 7, 4)
2623 
  TEST (6, 5, 7, 4)
2624 
  TEST (7, 5, 7, 4)
2625 
  TEST (0, 6, 7, 4)
2626 
  TEST (1, 6, 7, 4)
2627 
  TEST (2, 6, 7, 4)
2628 
  TEST (3, 6, 7, 4)
2629 
  TEST (4, 6, 7, 4)
2630 
  TEST (5, 6, 7, 4)
2631 
  TEST (6, 6, 7, 4)
2632 
  TEST (7, 6, 7, 4)
2633 
  TEST (0, 7, 7, 4)
2634 
  TEST (1, 7, 7, 4)
2635 
  TEST (2, 7, 7, 4)
2636 
  TEST (3, 7, 7, 4)
2637 
  TEST (4, 7, 7, 4)
2638 
  TEST (5, 7, 7, 4)
2639 
  TEST (6, 7, 7, 4)
2640 
  TEST (7, 7, 7, 4)
2641 
}
2642 
 
2643 
void check20(void)
2644 
{
2645 
  TEST (0, 0, 0, 5)
2646 
  TEST (1, 0, 0, 5)
2647 
  TEST (2, 0, 0, 5)
2648 
  TEST (3, 0, 0, 5)
2649 
  TEST (4, 0, 0, 5)
2650 
  TEST (5, 0, 0, 5)
2651 
  TEST (6, 0, 0, 5)
2652 
  TEST (7, 0, 0, 5)
2653 
  TEST (0, 1, 0, 5)
2654 
  TEST (1, 1, 0, 5)
2655 
  TEST (2, 1, 0, 5)
2656 
  TEST (3, 1, 0, 5)
2657 
  TEST (4, 1, 0, 5)
2658 
  TEST (5, 1, 0, 5)
2659 
  TEST (6, 1, 0, 5)
2660 
  TEST (7, 1, 0, 5)
2661 
  TEST (0, 2, 0, 5)
2662 
  TEST (1, 2, 0, 5)
2663 
  TEST (2, 2, 0, 5)
2664 
  TEST (3, 2, 0, 5)
2665 
  TEST (4, 2, 0, 5)
2666 
  TEST (5, 2, 0, 5)
2667 
  TEST (6, 2, 0, 5)
2668 
  TEST (7, 2, 0, 5)
2669 
  TEST (0, 3, 0, 5)
2670 
  TEST (1, 3, 0, 5)
2671 
  TEST (2, 3, 0, 5)
2672 
  TEST (3, 3, 0, 5)
2673 
  TEST (4, 3, 0, 5)
2674 
  TEST (5, 3, 0, 5)
2675 
  TEST (6, 3, 0, 5)
2676 
  TEST (7, 3, 0, 5)
2677 
  TEST (0, 4, 0, 5)
2678 
  TEST (1, 4, 0, 5)
2679 
  TEST (2, 4, 0, 5)
2680 
  TEST (3, 4, 0, 5)
2681 
  TEST (4, 4, 0, 5)
2682 
  TEST (5, 4, 0, 5)
2683 
  TEST (6, 4, 0, 5)
2684 
  TEST (7, 4, 0, 5)
2685 
  TEST (0, 5, 0, 5)
2686 
  TEST (1, 5, 0, 5)
2687 
  TEST (2, 5, 0, 5)
2688 
  TEST (3, 5, 0, 5)
2689 
  TEST (4, 5, 0, 5)
2690 
  TEST (5, 5, 0, 5)
2691 
  TEST (6, 5, 0, 5)
2692 
  TEST (7, 5, 0, 5)
2693 
  TEST (0, 6, 0, 5)
2694 
  TEST (1, 6, 0, 5)
2695 
  TEST (2, 6, 0, 5)
2696 
  TEST (3, 6, 0, 5)
2697 
  TEST (4, 6, 0, 5)
2698 
  TEST (5, 6, 0, 5)
2699 
  TEST (6, 6, 0, 5)
2700 
  TEST (7, 6, 0, 5)
2701 
  TEST (0, 7, 0, 5)
2702 
  TEST (1, 7, 0, 5)
2703 
  TEST (2, 7, 0, 5)
2704 
  TEST (3, 7, 0, 5)
2705 
  TEST (4, 7, 0, 5)
2706 
  TEST (5, 7, 0, 5)
2707 
  TEST (6, 7, 0, 5)
2708 
  TEST (7, 7, 0, 5)
2709 
  TEST (0, 0, 1, 5)
2710 
  TEST (1, 0, 1, 5)
2711 
  TEST (2, 0, 1, 5)
2712 
  TEST (3, 0, 1, 5)
2713 
  TEST (4, 0, 1, 5)
2714 
  TEST (5, 0, 1, 5)
2715 
  TEST (6, 0, 1, 5)
2716 
  TEST (7, 0, 1, 5)
2717 
  TEST (0, 1, 1, 5)
2718 
  TEST (1, 1, 1, 5)
2719 
  TEST (2, 1, 1, 5)
2720 
  TEST (3, 1, 1, 5)
2721 
  TEST (4, 1, 1, 5)
2722 
  TEST (5, 1, 1, 5)
2723 
  TEST (6, 1, 1, 5)
2724 
  TEST (7, 1, 1, 5)
2725 
  TEST (0, 2, 1, 5)
2726 
  TEST (1, 2, 1, 5)
2727 
  TEST (2, 2, 1, 5)
2728 
  TEST (3, 2, 1, 5)
2729 
  TEST (4, 2, 1, 5)
2730 
  TEST (5, 2, 1, 5)
2731 
  TEST (6, 2, 1, 5)
2732 
  TEST (7, 2, 1, 5)
2733 
  TEST (0, 3, 1, 5)
2734 
  TEST (1, 3, 1, 5)
2735 
  TEST (2, 3, 1, 5)
2736 
  TEST (3, 3, 1, 5)
2737 
  TEST (4, 3, 1, 5)
2738 
  TEST (5, 3, 1, 5)
2739 
  TEST (6, 3, 1, 5)
2740 
  TEST (7, 3, 1, 5)
2741 
  TEST (0, 4, 1, 5)
2742 
  TEST (1, 4, 1, 5)
2743 
  TEST (2, 4, 1, 5)
2744 
  TEST (3, 4, 1, 5)
2745 
  TEST (4, 4, 1, 5)
2746 
  TEST (5, 4, 1, 5)
2747 
  TEST (6, 4, 1, 5)
2748 
  TEST (7, 4, 1, 5)
2749 
  TEST (0, 5, 1, 5)
2750 
  TEST (1, 5, 1, 5)
2751 
  TEST (2, 5, 1, 5)
2752 
  TEST (3, 5, 1, 5)
2753 
  TEST (4, 5, 1, 5)
2754 
  TEST (5, 5, 1, 5)
2755 
  TEST (6, 5, 1, 5)
2756 
  TEST (7, 5, 1, 5)
2757 
  TEST (0, 6, 1, 5)
2758 
  TEST (1, 6, 1, 5)
2759 
  TEST (2, 6, 1, 5)
2760 
  TEST (3, 6, 1, 5)
2761 
  TEST (4, 6, 1, 5)
2762 
  TEST (5, 6, 1, 5)
2763 
  TEST (6, 6, 1, 5)
2764 
  TEST (7, 6, 1, 5)
2765 
  TEST (0, 7, 1, 5)
2766 
  TEST (1, 7, 1, 5)
2767 
  TEST (2, 7, 1, 5)
2768 
  TEST (3, 7, 1, 5)
2769 
  TEST (4, 7, 1, 5)
2770 
  TEST (5, 7, 1, 5)
2771 
  TEST (6, 7, 1, 5)
2772 
  TEST (7, 7, 1, 5)
2773 
}
2774 
 
2775 
void check21(void)
2776 
{
2777 
  TEST (0, 0, 2, 5)
2778 
  TEST (1, 0, 2, 5)
2779 
  TEST (2, 0, 2, 5)
2780 
  TEST (3, 0, 2, 5)
2781 
  TEST (4, 0, 2, 5)
2782 
  TEST (5, 0, 2, 5)
2783 
  TEST (6, 0, 2, 5)
2784 
  TEST (7, 0, 2, 5)
2785 
  TEST (0, 1, 2, 5)
2786 
  TEST (1, 1, 2, 5)
2787 
  TEST (2, 1, 2, 5)
2788 
  TEST (3, 1, 2, 5)
2789 
  TEST (4, 1, 2, 5)
2790 
  TEST (5, 1, 2, 5)
2791 
  TEST (6, 1, 2, 5)
2792 
  TEST (7, 1, 2, 5)
2793 
  TEST (0, 2, 2, 5)
2794 
  TEST (1, 2, 2, 5)
2795 
  TEST (2, 2, 2, 5)
2796 
  TEST (3, 2, 2, 5)
2797 
  TEST (4, 2, 2, 5)
2798 
  TEST (5, 2, 2, 5)
2799 
  TEST (6, 2, 2, 5)
2800 
  TEST (7, 2, 2, 5)
2801 
  TEST (0, 3, 2, 5)
2802 
  TEST (1, 3, 2, 5)
2803 
  TEST (2, 3, 2, 5)
2804 
  TEST (3, 3, 2, 5)
2805 
  TEST (4, 3, 2, 5)
2806 
  TEST (5, 3, 2, 5)
2807 
  TEST (6, 3, 2, 5)
2808 
  TEST (7, 3, 2, 5)
2809 
  TEST (0, 4, 2, 5)
2810 
  TEST (1, 4, 2, 5)
2811 
  TEST (2, 4, 2, 5)
2812 
  TEST (3, 4, 2, 5)
2813 
  TEST (4, 4, 2, 5)
2814 
  TEST (5, 4, 2, 5)
2815 
  TEST (6, 4, 2, 5)
2816 
  TEST (7, 4, 2, 5)
2817 
  TEST (0, 5, 2, 5)
2818 
  TEST (1, 5, 2, 5)
2819 
  TEST (2, 5, 2, 5)
2820 
  TEST (3, 5, 2, 5)
2821 
  TEST (4, 5, 2, 5)
2822 
  TEST (5, 5, 2, 5)
2823 
  TEST (6, 5, 2, 5)
2824 
  TEST (7, 5, 2, 5)
2825 
  TEST (0, 6, 2, 5)
2826 
  TEST (1, 6, 2, 5)
2827 
  TEST (2, 6, 2, 5)
2828 
  TEST (3, 6, 2, 5)
2829 
  TEST (4, 6, 2, 5)
2830 
  TEST (5, 6, 2, 5)
2831 
  TEST (6, 6, 2, 5)
2832 
  TEST (7, 6, 2, 5)
2833 
  TEST (0, 7, 2, 5)
2834 
  TEST (1, 7, 2, 5)
2835 
  TEST (2, 7, 2, 5)
2836 
  TEST (3, 7, 2, 5)
2837 
  TEST (4, 7, 2, 5)
2838 
  TEST (5, 7, 2, 5)
2839 
  TEST (6, 7, 2, 5)
2840 
  TEST (7, 7, 2, 5)
2841 
  TEST (0, 0, 3, 5)
2842 
  TEST (1, 0, 3, 5)
2843 
  TEST (2, 0, 3, 5)
2844 
  TEST (3, 0, 3, 5)
2845 
  TEST (4, 0, 3, 5)
2846 
  TEST (5, 0, 3, 5)
2847 
  TEST (6, 0, 3, 5)
2848 
  TEST (7, 0, 3, 5)
2849 
  TEST (0, 1, 3, 5)
2850 
  TEST (1, 1, 3, 5)
2851 
  TEST (2, 1, 3, 5)
2852 
  TEST (3, 1, 3, 5)
2853 
  TEST (4, 1, 3, 5)
2854 
  TEST (5, 1, 3, 5)
2855 
  TEST (6, 1, 3, 5)
2856 
  TEST (7, 1, 3, 5)
2857 
  TEST (0, 2, 3, 5)
2858 
  TEST (1, 2, 3, 5)
2859 
  TEST (2, 2, 3, 5)
2860 
  TEST (3, 2, 3, 5)
2861 
  TEST (4, 2, 3, 5)
2862 
  TEST (5, 2, 3, 5)
2863 
  TEST (6, 2, 3, 5)
2864 
  TEST (7, 2, 3, 5)
2865 
  TEST (0, 3, 3, 5)
2866 
  TEST (1, 3, 3, 5)
2867 
  TEST (2, 3, 3, 5)
2868 
  TEST (3, 3, 3, 5)
2869 
  TEST (4, 3, 3, 5)
2870 
  TEST (5, 3, 3, 5)
2871 
  TEST (6, 3, 3, 5)
2872 
  TEST (7, 3, 3, 5)
2873 
  TEST (0, 4, 3, 5)
2874 
  TEST (1, 4, 3, 5)
2875 
  TEST (2, 4, 3, 5)
2876 
  TEST (3, 4, 3, 5)
2877 
  TEST (4, 4, 3, 5)
2878 
  TEST (5, 4, 3, 5)
2879 
  TEST (6, 4, 3, 5)
2880 
  TEST (7, 4, 3, 5)
2881 
  TEST (0, 5, 3, 5)
2882 
  TEST (1, 5, 3, 5)
2883 
  TEST (2, 5, 3, 5)
2884 
  TEST (3, 5, 3, 5)
2885 
  TEST (4, 5, 3, 5)
2886 
  TEST (5, 5, 3, 5)
2887 
  TEST (6, 5, 3, 5)
2888 
  TEST (7, 5, 3, 5)
2889 
  TEST (0, 6, 3, 5)
2890 
  TEST (1, 6, 3, 5)
2891 
  TEST (2, 6, 3, 5)
2892 
  TEST (3, 6, 3, 5)
2893 
  TEST (4, 6, 3, 5)
2894 
  TEST (5, 6, 3, 5)
2895 
  TEST (6, 6, 3, 5)
2896 
  TEST (7, 6, 3, 5)
2897 
  TEST (0, 7, 3, 5)
2898 
  TEST (1, 7, 3, 5)
2899 
  TEST (2, 7, 3, 5)
2900 
  TEST (3, 7, 3, 5)
2901 
  TEST (4, 7, 3, 5)
2902 
  TEST (5, 7, 3, 5)
2903 
  TEST (6, 7, 3, 5)
2904 
  TEST (7, 7, 3, 5)
2905 
}
2906 
 
2907 
void check22(void)
2908 
{
2909 
  TEST (0, 0, 4, 5)
2910 
  TEST (1, 0, 4, 5)
2911 
  TEST (2, 0, 4, 5)
2912 
  TEST (3, 0, 4, 5)
2913 
  TEST (4, 0, 4, 5)
2914 
  TEST (5, 0, 4, 5)
2915 
  TEST (6, 0, 4, 5)
2916 
  TEST (7, 0, 4, 5)
2917 
  TEST (0, 1, 4, 5)
2918 
  TEST (1, 1, 4, 5)
2919 
  TEST (2, 1, 4, 5)
2920 
  TEST (3, 1, 4, 5)
2921 
  TEST (4, 1, 4, 5)
2922 
  TEST (5, 1, 4, 5)
2923 
  TEST (6, 1, 4, 5)
2924 
  TEST (7, 1, 4, 5)
2925 
  TEST (0, 2, 4, 5)
2926 
  TEST (1, 2, 4, 5)
2927 
  TEST (2, 2, 4, 5)
2928 
  TEST (3, 2, 4, 5)
2929 
  TEST (4, 2, 4, 5)
2930 
  TEST (5, 2, 4, 5)
2931 
  TEST (6, 2, 4, 5)
2932 
  TEST (7, 2, 4, 5)
2933 
  TEST (0, 3, 4, 5)
2934 
  TEST (1, 3, 4, 5)
2935 
  TEST (2, 3, 4, 5)
2936 
  TEST (3, 3, 4, 5)
2937 
  TEST (4, 3, 4, 5)
2938 
  TEST (5, 3, 4, 5)
2939 
  TEST (6, 3, 4, 5)
2940 
  TEST (7, 3, 4, 5)
2941 
  TEST (0, 4, 4, 5)
2942 
  TEST (1, 4, 4, 5)
2943 
  TEST (2, 4, 4, 5)
2944 
  TEST (3, 4, 4, 5)
2945 
  TEST (4, 4, 4, 5)
2946 
  TEST (5, 4, 4, 5)
2947 
  TEST (6, 4, 4, 5)
2948 
  TEST (7, 4, 4, 5)
2949 
  TEST (0, 5, 4, 5)
2950 
  TEST (1, 5, 4, 5)
2951 
  TEST (2, 5, 4, 5)
2952 
  TEST (3, 5, 4, 5)
2953 
  TEST (4, 5, 4, 5)
2954 
  TEST (5, 5, 4, 5)
2955 
  TEST (6, 5, 4, 5)
2956 
  TEST (7, 5, 4, 5)
2957 
  TEST (0, 6, 4, 5)
2958 
  TEST (1, 6, 4, 5)
2959 
  TEST (2, 6, 4, 5)
2960 
  TEST (3, 6, 4, 5)
2961 
  TEST (4, 6, 4, 5)
2962 
  TEST (5, 6, 4, 5)
2963 
  TEST (6, 6, 4, 5)
2964 
  TEST (7, 6, 4, 5)
2965 
  TEST (0, 7, 4, 5)
2966 
  TEST (1, 7, 4, 5)
2967 
  TEST (2, 7, 4, 5)
2968 
  TEST (3, 7, 4, 5)
2969 
  TEST (4, 7, 4, 5)
2970 
  TEST (5, 7, 4, 5)
2971 
  TEST (6, 7, 4, 5)
2972 
  TEST (7, 7, 4, 5)
2973 
  TEST (0, 0, 5, 5)
2974 
  TEST (1, 0, 5, 5)
2975 
  TEST (2, 0, 5, 5)
2976 
  TEST (3, 0, 5, 5)
2977 
  TEST (4, 0, 5, 5)
2978 
  TEST (5, 0, 5, 5)
2979 
  TEST (6, 0, 5, 5)
2980 
  TEST (7, 0, 5, 5)
2981 
  TEST (0, 1, 5, 5)
2982 
  TEST (1, 1, 5, 5)
2983 
  TEST (2, 1, 5, 5)
2984 
  TEST (3, 1, 5, 5)
2985 
  TEST (4, 1, 5, 5)
2986 
  TEST (5, 1, 5, 5)
2987 
  TEST (6, 1, 5, 5)
2988 
  TEST (7, 1, 5, 5)
2989 
  TEST (0, 2, 5, 5)
2990 
  TEST (1, 2, 5, 5)
2991 
  TEST (2, 2, 5, 5)
2992 
  TEST (3, 2, 5, 5)
2993 
  TEST (4, 2, 5, 5)
2994 
  TEST (5, 2, 5, 5)
2995 
  TEST (6, 2, 5, 5)
2996 
  TEST (7, 2, 5, 5)
2997 
  TEST (0, 3, 5, 5)
2998 
  TEST (1, 3, 5, 5)
2999 
  TEST (2, 3, 5, 5)
3000 
  TEST (3, 3, 5, 5)
3001 
  TEST (4, 3, 5, 5)
3002 
  TEST (5, 3, 5, 5)
3003 
  TEST (6, 3, 5, 5)
3004 
  TEST (7, 3, 5, 5)
3005 
  TEST (0, 4, 5, 5)
3006 
  TEST (1, 4, 5, 5)
3007 
  TEST (2, 4, 5, 5)
3008 
  TEST (3, 4, 5, 5)
3009 
  TEST (4, 4, 5, 5)
3010 
  TEST (5, 4, 5, 5)
3011 
  TEST (6, 4, 5, 5)
3012 
  TEST (7, 4, 5, 5)
3013 
  TEST (0, 5, 5, 5)
3014 
  TEST (1, 5, 5, 5)
3015 
  TEST (2, 5, 5, 5)
3016 
  TEST (3, 5, 5, 5)
3017 
  TEST (4, 5, 5, 5)
3018 
  TEST (5, 5, 5, 5)
3019 
  TEST (6, 5, 5, 5)
3020 
  TEST (7, 5, 5, 5)
3021 
  TEST (0, 6, 5, 5)
3022 
  TEST (1, 6, 5, 5)
3023 
  TEST (2, 6, 5, 5)
3024 
  TEST (3, 6, 5, 5)
3025 
  TEST (4, 6, 5, 5)
3026 
  TEST (5, 6, 5, 5)
3027 
  TEST (6, 6, 5, 5)
3028 
  TEST (7, 6, 5, 5)
3029 
  TEST (0, 7, 5, 5)
3030 
  TEST (1, 7, 5, 5)
3031 
  TEST (2, 7, 5, 5)
3032 
  TEST (3, 7, 5, 5)
3033 
  TEST (4, 7, 5, 5)
3034 
  TEST (5, 7, 5, 5)
3035 
  TEST (6, 7, 5, 5)
3036 
  TEST (7, 7, 5, 5)
3037 
}
3038 
 
3039 
void check23(void)
3040 
{
3041 
  TEST (0, 0, 6, 5)
3042 
  TEST (1, 0, 6, 5)
3043 
  TEST (2, 0, 6, 5)
3044 
  TEST (3, 0, 6, 5)
3045 
  TEST (4, 0, 6, 5)
3046 
  TEST (5, 0, 6, 5)
3047 
  TEST (6, 0, 6, 5)
3048 
  TEST (7, 0, 6, 5)
3049 
  TEST (0, 1, 6, 5)
3050 
  TEST (1, 1, 6, 5)
3051 
  TEST (2, 1, 6, 5)
3052 
  TEST (3, 1, 6, 5)
3053 
  TEST (4, 1, 6, 5)
3054 
  TEST (5, 1, 6, 5)
3055 
  TEST (6, 1, 6, 5)
3056 
  TEST (7, 1, 6, 5)
3057 
  TEST (0, 2, 6, 5)
3058 
  TEST (1, 2, 6, 5)
3059 
  TEST (2, 2, 6, 5)
3060 
  TEST (3, 2, 6, 5)
3061 
  TEST (4, 2, 6, 5)
3062 
  TEST (5, 2, 6, 5)
3063 
  TEST (6, 2, 6, 5)
3064 
  TEST (7, 2, 6, 5)
3065 
  TEST (0, 3, 6, 5)
3066 
  TEST (1, 3, 6, 5)
3067 
  TEST (2, 3, 6, 5)
3068 
  TEST (3, 3, 6, 5)
3069 
  TEST (4, 3, 6, 5)
3070 
  TEST (5, 3, 6, 5)
3071 
  TEST (6, 3, 6, 5)
3072 
  TEST (7, 3, 6, 5)
3073 
  TEST (0, 4, 6, 5)
3074 
  TEST (1, 4, 6, 5)
3075 
  TEST (2, 4, 6, 5)
3076 
  TEST (3, 4, 6, 5)
3077 
  TEST (4, 4, 6, 5)
3078 
  TEST (5, 4, 6, 5)
3079 
  TEST (6, 4, 6, 5)
3080 
  TEST (7, 4, 6, 5)
3081 
  TEST (0, 5, 6, 5)
3082 
  TEST (1, 5, 6, 5)
3083 
  TEST (2, 5, 6, 5)
3084 
  TEST (3, 5, 6, 5)
3085 
  TEST (4, 5, 6, 5)
3086 
  TEST (5, 5, 6, 5)
3087 
  TEST (6, 5, 6, 5)
3088 
  TEST (7, 5, 6, 5)
3089 
  TEST (0, 6, 6, 5)
3090 
  TEST (1, 6, 6, 5)
3091 
  TEST (2, 6, 6, 5)
3092 
  TEST (3, 6, 6, 5)
3093 
  TEST (4, 6, 6, 5)
3094 
  TEST (5, 6, 6, 5)
3095 
  TEST (6, 6, 6, 5)
3096 
  TEST (7, 6, 6, 5)
3097 
  TEST (0, 7, 6, 5)
3098 
  TEST (1, 7, 6, 5)
3099 
  TEST (2, 7, 6, 5)
3100 
  TEST (3, 7, 6, 5)
3101 
  TEST (4, 7, 6, 5)
3102 
  TEST (5, 7, 6, 5)
3103 
  TEST (6, 7, 6, 5)
3104 
  TEST (7, 7, 6, 5)
3105 
  TEST (0, 0, 7, 5)
3106 
  TEST (1, 0, 7, 5)
3107 
  TEST (2, 0, 7, 5)
3108 
  TEST (3, 0, 7, 5)
3109 
  TEST (4, 0, 7, 5)
3110 
  TEST (5, 0, 7, 5)
3111 
  TEST (6, 0, 7, 5)
3112 
  TEST (7, 0, 7, 5)
3113 
  TEST (0, 1, 7, 5)
3114 
  TEST (1, 1, 7, 5)
3115 
  TEST (2, 1, 7, 5)
3116 
  TEST (3, 1, 7, 5)
3117 
  TEST (4, 1, 7, 5)
3118 
  TEST (5, 1, 7, 5)
3119 
  TEST (6, 1, 7, 5)
3120 
  TEST (7, 1, 7, 5)
3121 
  TEST (0, 2, 7, 5)
3122 
  TEST (1, 2, 7, 5)
3123 
  TEST (2, 2, 7, 5)
3124 
  TEST (3, 2, 7, 5)
3125 
  TEST (4, 2, 7, 5)
3126 
  TEST (5, 2, 7, 5)
3127 
  TEST (6, 2, 7, 5)
3128 
  TEST (7, 2, 7, 5)
3129 
  TEST (0, 3, 7, 5)
3130 
  TEST (1, 3, 7, 5)
3131 
  TEST (2, 3, 7, 5)
3132 
  TEST (3, 3, 7, 5)
3133 
  TEST (4, 3, 7, 5)
3134 
  TEST (5, 3, 7, 5)
3135 
  TEST (6, 3, 7, 5)
3136 
  TEST (7, 3, 7, 5)
3137 
  TEST (0, 4, 7, 5)
3138 
  TEST (1, 4, 7, 5)
3139 
  TEST (2, 4, 7, 5)
3140 
  TEST (3, 4, 7, 5)
3141 
  TEST (4, 4, 7, 5)
3142 
  TEST (5, 4, 7, 5)
3143 
  TEST (6, 4, 7, 5)
3144 
  TEST (7, 4, 7, 5)
3145 
  TEST (0, 5, 7, 5)
3146 
  TEST (1, 5, 7, 5)
3147 
  TEST (2, 5, 7, 5)
3148 
  TEST (3, 5, 7, 5)
3149 
  TEST (4, 5, 7, 5)
3150 
  TEST (5, 5, 7, 5)
3151 
  TEST (6, 5, 7, 5)
3152 
  TEST (7, 5, 7, 5)
3153 
  TEST (0, 6, 7, 5)
3154 
  TEST (1, 6, 7, 5)
3155 
  TEST (2, 6, 7, 5)
3156 
  TEST (3, 6, 7, 5)
3157 
  TEST (4, 6, 7, 5)
3158 
  TEST (5, 6, 7, 5)
3159 
  TEST (6, 6, 7, 5)
3160 
  TEST (7, 6, 7, 5)
3161 
  TEST (0, 7, 7, 5)
3162 
  TEST (1, 7, 7, 5)
3163 
  TEST (2, 7, 7, 5)
3164 
  TEST (3, 7, 7, 5)
3165 
  TEST (4, 7, 7, 5)
3166 
  TEST (5, 7, 7, 5)
3167 
  TEST (6, 7, 7, 5)
3168 
  TEST (7, 7, 7, 5)
3169 
}
3170 
 
3171 
void check24(void)
3172 
{
3173 
  TEST (0, 0, 0, 6)
3174 
  TEST (1, 0, 0, 6)
3175 
  TEST (2, 0, 0, 6)
3176 
  TEST (3, 0, 0, 6)
3177 
  TEST (4, 0, 0, 6)
3178 
  TEST (5, 0, 0, 6)
3179 
  TEST (6, 0, 0, 6)
3180 
  TEST (7, 0, 0, 6)
3181 
  TEST (0, 1, 0, 6)
3182 
  TEST (1, 1, 0, 6)
3183 
  TEST (2, 1, 0, 6)
3184 
  TEST (3, 1, 0, 6)
3185 
  TEST (4, 1, 0, 6)
3186 
  TEST (5, 1, 0, 6)
3187 
  TEST (6, 1, 0, 6)
3188 
  TEST (7, 1, 0, 6)
3189 
  TEST (0, 2, 0, 6)
3190 
  TEST (1, 2, 0, 6)
3191 
  TEST (2, 2, 0, 6)
3192 
  TEST (3, 2, 0, 6)
3193 
  TEST (4, 2, 0, 6)
3194 
  TEST (5, 2, 0, 6)
3195 
  TEST (6, 2, 0, 6)
3196 
  TEST (7, 2, 0, 6)
3197 
  TEST (0, 3, 0, 6)
3198 
  TEST (1, 3, 0, 6)
3199 
  TEST (2, 3, 0, 6)
3200 
  TEST (3, 3, 0, 6)
3201 
  TEST (4, 3, 0, 6)
3202 
  TEST (5, 3, 0, 6)
3203 
  TEST (6, 3, 0, 6)
3204 
  TEST (7, 3, 0, 6)
3205 
  TEST (0, 4, 0, 6)
3206 
  TEST (1, 4, 0, 6)
3207 
  TEST (2, 4, 0, 6)
3208 
  TEST (3, 4, 0, 6)
3209 
  TEST (4, 4, 0, 6)
3210 
  TEST (5, 4, 0, 6)
3211 
  TEST (6, 4, 0, 6)
3212 
  TEST (7, 4, 0, 6)
3213 
  TEST (0, 5, 0, 6)
3214 
  TEST (1, 5, 0, 6)
3215 
  TEST (2, 5, 0, 6)
3216 
  TEST (3, 5, 0, 6)
3217 
  TEST (4, 5, 0, 6)
3218 
  TEST (5, 5, 0, 6)
3219 
  TEST (6, 5, 0, 6)
3220 
  TEST (7, 5, 0, 6)
3221 
  TEST (0, 6, 0, 6)
3222 
  TEST (1, 6, 0, 6)
3223 
  TEST (2, 6, 0, 6)
3224 
  TEST (3, 6, 0, 6)
3225 
  TEST (4, 6, 0, 6)
3226 
  TEST (5, 6, 0, 6)
3227 
  TEST (6, 6, 0, 6)
3228 
  TEST (7, 6, 0, 6)
3229 
  TEST (0, 7, 0, 6)
3230 
  TEST (1, 7, 0, 6)
3231 
  TEST (2, 7, 0, 6)
3232 
  TEST (3, 7, 0, 6)
3233 
  TEST (4, 7, 0, 6)
3234 
  TEST (5, 7, 0, 6)
3235 
  TEST (6, 7, 0, 6)
3236 
  TEST (7, 7, 0, 6)
3237 
  TEST (0, 0, 1, 6)
3238 
  TEST (1, 0, 1, 6)
3239 
  TEST (2, 0, 1, 6)
3240 
  TEST (3, 0, 1, 6)
3241 
  TEST (4, 0, 1, 6)
3242 
  TEST (5, 0, 1, 6)
3243 
  TEST (6, 0, 1, 6)
3244 
  TEST (7, 0, 1, 6)
3245 
  TEST (0, 1, 1, 6)
3246 
  TEST (1, 1, 1, 6)
3247 
  TEST (2, 1, 1, 6)
3248 
  TEST (3, 1, 1, 6)
3249 
  TEST (4, 1, 1, 6)
3250 
  TEST (5, 1, 1, 6)
3251 
  TEST (6, 1, 1, 6)
3252 
  TEST (7, 1, 1, 6)
3253 
  TEST (0, 2, 1, 6)
3254 
  TEST (1, 2, 1, 6)
3255 
  TEST (2, 2, 1, 6)
3256 
  TEST (3, 2, 1, 6)
3257 
  TEST (4, 2, 1, 6)
3258 
  TEST (5, 2, 1, 6)
3259 
  TEST (6, 2, 1, 6)
3260 
  TEST (7, 2, 1, 6)
3261 
  TEST (0, 3, 1, 6)
3262 
  TEST (1, 3, 1, 6)
3263 
  TEST (2, 3, 1, 6)
3264 
  TEST (3, 3, 1, 6)
3265 
  TEST (4, 3, 1, 6)
3266 
  TEST (5, 3, 1, 6)
3267 
  TEST (6, 3, 1, 6)
3268 
  TEST (7, 3, 1, 6)
3269 
  TEST (0, 4, 1, 6)
3270 
  TEST (1, 4, 1, 6)
3271 
  TEST (2, 4, 1, 6)
3272 
  TEST (3, 4, 1, 6)
3273 
  TEST (4, 4, 1, 6)
3274 
  TEST (5, 4, 1, 6)
3275 
  TEST (6, 4, 1, 6)
3276 
  TEST (7, 4, 1, 6)
3277 
  TEST (0, 5, 1, 6)
3278 
  TEST (1, 5, 1, 6)
3279 
  TEST (2, 5, 1, 6)
3280 
  TEST (3, 5, 1, 6)
3281 
  TEST (4, 5, 1, 6)
3282 
  TEST (5, 5, 1, 6)
3283 
  TEST (6, 5, 1, 6)
3284 
  TEST (7, 5, 1, 6)
3285 
  TEST (0, 6, 1, 6)
3286 
  TEST (1, 6, 1, 6)
3287 
  TEST (2, 6, 1, 6)
3288 
  TEST (3, 6, 1, 6)
3289 
  TEST (4, 6, 1, 6)
3290 
  TEST (5, 6, 1, 6)
3291 
  TEST (6, 6, 1, 6)
3292 
  TEST (7, 6, 1, 6)
3293 
  TEST (0, 7, 1, 6)
3294 
  TEST (1, 7, 1, 6)
3295 
  TEST (2, 7, 1, 6)
3296 
  TEST (3, 7, 1, 6)
3297 
  TEST (4, 7, 1, 6)
3298 
  TEST (5, 7, 1, 6)
3299 
  TEST (6, 7, 1, 6)
3300 
  TEST (7, 7, 1, 6)
3301 
}
3302 
 
3303 
void check25(void)
3304 
{
3305 
  TEST (0, 0, 2, 6)
3306 
  TEST (1, 0, 2, 6)
3307 
  TEST (2, 0, 2, 6)
3308 
  TEST (3, 0, 2, 6)
3309 
  TEST (4, 0, 2, 6)
3310 
  TEST (5, 0, 2, 6)
3311 
  TEST (6, 0, 2, 6)
3312 
  TEST (7, 0, 2, 6)
3313 
  TEST (0, 1, 2, 6)
3314 
  TEST (1, 1, 2, 6)
3315 
  TEST (2, 1, 2, 6)
3316 
  TEST (3, 1, 2, 6)
3317 
  TEST (4, 1, 2, 6)
3318 
  TEST (5, 1, 2, 6)
3319 
  TEST (6, 1, 2, 6)
3320 
  TEST (7, 1, 2, 6)
3321 
  TEST (0, 2, 2, 6)
3322 
  TEST (1, 2, 2, 6)
3323 
  TEST (2, 2, 2, 6)
3324 
  TEST (3, 2, 2, 6)
3325 
  TEST (4, 2, 2, 6)
3326 
  TEST (5, 2, 2, 6)
3327 
  TEST (6, 2, 2, 6)
3328 
  TEST (7, 2, 2, 6)
3329 
  TEST (0, 3, 2, 6)
3330 
  TEST (1, 3, 2, 6)
3331 
  TEST (2, 3, 2, 6)
3332 
  TEST (3, 3, 2, 6)
3333 
  TEST (4, 3, 2, 6)
3334 
  TEST (5, 3, 2, 6)
3335 
  TEST (6, 3, 2, 6)
3336 
  TEST (7, 3, 2, 6)
3337 
  TEST (0, 4, 2, 6)
3338 
  TEST (1, 4, 2, 6)
3339 
  TEST (2, 4, 2, 6)
3340 
  TEST (3, 4, 2, 6)
3341 
  TEST (4, 4, 2, 6)
3342 
  TEST (5, 4, 2, 6)
3343 
  TEST (6, 4, 2, 6)
3344 
  TEST (7, 4, 2, 6)
3345 
  TEST (0, 5, 2, 6)
3346 
  TEST (1, 5, 2, 6)
3347 
  TEST (2, 5, 2, 6)
3348 
  TEST (3, 5, 2, 6)
3349 
  TEST (4, 5, 2, 6)
3350 
  TEST (5, 5, 2, 6)
3351 
  TEST (6, 5, 2, 6)
3352 
  TEST (7, 5, 2, 6)
3353 
  TEST (0, 6, 2, 6)
3354 
  TEST (1, 6, 2, 6)
3355 
  TEST (2, 6, 2, 6)
3356 
  TEST (3, 6, 2, 6)
3357 
  TEST (4, 6, 2, 6)
3358 
  TEST (5, 6, 2, 6)
3359 
  TEST (6, 6, 2, 6)
3360 
  TEST (7, 6, 2, 6)
3361 
  TEST (0, 7, 2, 6)
3362 
  TEST (1, 7, 2, 6)
3363 
  TEST (2, 7, 2, 6)
3364 
  TEST (3, 7, 2, 6)
3365 
  TEST (4, 7, 2, 6)
3366 
  TEST (5, 7, 2, 6)
3367 
  TEST (6, 7, 2, 6)
3368 
  TEST (7, 7, 2, 6)
3369 
  TEST (0, 0, 3, 6)
3370 
  TEST (1, 0, 3, 6)
3371 
  TEST (2, 0, 3, 6)
3372 
  TEST (3, 0, 3, 6)
3373 
  TEST (4, 0, 3, 6)
3374 
  TEST (5, 0, 3, 6)
3375 
  TEST (6, 0, 3, 6)
3376 
  TEST (7, 0, 3, 6)
3377 
  TEST (0, 1, 3, 6)
3378 
  TEST (1, 1, 3, 6)
3379 
  TEST (2, 1, 3, 6)
3380 
  TEST (3, 1, 3, 6)
3381 
  TEST (4, 1, 3, 6)
3382 
  TEST (5, 1, 3, 6)
3383 
  TEST (6, 1, 3, 6)
3384 
  TEST (7, 1, 3, 6)
3385 
  TEST (0, 2, 3, 6)
3386 
  TEST (1, 2, 3, 6)
3387 
  TEST (2, 2, 3, 6)
3388 
  TEST (3, 2, 3, 6)
3389 
  TEST (4, 2, 3, 6)
3390 
  TEST (5, 2, 3, 6)
3391 
  TEST (6, 2, 3, 6)
3392 
  TEST (7, 2, 3, 6)
3393 
  TEST (0, 3, 3, 6)
3394 
  TEST (1, 3, 3, 6)
3395 
  TEST (2, 3, 3, 6)
3396 
  TEST (3, 3, 3, 6)
3397 
  TEST (4, 3, 3, 6)
3398 
  TEST (5, 3, 3, 6)
3399 
  TEST (6, 3, 3, 6)
3400 
  TEST (7, 3, 3, 6)
3401 
  TEST (0, 4, 3, 6)
3402 
  TEST (1, 4, 3, 6)
3403 
  TEST (2, 4, 3, 6)
3404 
  TEST (3, 4, 3, 6)
3405 
  TEST (4, 4, 3, 6)
3406 
  TEST (5, 4, 3, 6)
3407 
  TEST (6, 4, 3, 6)
3408 
  TEST (7, 4, 3, 6)
3409 
  TEST (0, 5, 3, 6)
3410 
  TEST (1, 5, 3, 6)
3411 
  TEST (2, 5, 3, 6)
3412 
  TEST (3, 5, 3, 6)
3413 
  TEST (4, 5, 3, 6)
3414 
  TEST (5, 5, 3, 6)
3415 
  TEST (6, 5, 3, 6)
3416 
  TEST (7, 5, 3, 6)
3417 
  TEST (0, 6, 3, 6)
3418 
  TEST (1, 6, 3, 6)
3419 
  TEST (2, 6, 3, 6)
3420 
  TEST (3, 6, 3, 6)
3421 
  TEST (4, 6, 3, 6)
3422 
  TEST (5, 6, 3, 6)
3423 
  TEST (6, 6, 3, 6)
3424 
  TEST (7, 6, 3, 6)
3425 
  TEST (0, 7, 3, 6)
3426 
  TEST (1, 7, 3, 6)
3427 
  TEST (2, 7, 3, 6)
3428 
  TEST (3, 7, 3, 6)
3429 
  TEST (4, 7, 3, 6)
3430 
  TEST (5, 7, 3, 6)
3431 
  TEST (6, 7, 3, 6)
3432 
  TEST (7, 7, 3, 6)
3433 
}
3434 
 
3435 
void check26(void)
3436 
{
3437 
  TEST (0, 0, 4, 6)
3438 
  TEST (1, 0, 4, 6)
3439 
  TEST (2, 0, 4, 6)
3440 
  TEST (3, 0, 4, 6)
3441 
  TEST (4, 0, 4, 6)
3442 
  TEST (5, 0, 4, 6)
3443 
  TEST (6, 0, 4, 6)
3444 
  TEST (7, 0, 4, 6)
3445 
  TEST (0, 1, 4, 6)
3446 
  TEST (1, 1, 4, 6)
3447 
  TEST (2, 1, 4, 6)
3448 
  TEST (3, 1, 4, 6)
3449 
  TEST (4, 1, 4, 6)
3450 
  TEST (5, 1, 4, 6)
3451 
  TEST (6, 1, 4, 6)
3452 
  TEST (7, 1, 4, 6)
3453 
  TEST (0, 2, 4, 6)
3454 
  TEST (1, 2, 4, 6)
3455 
  TEST (2, 2, 4, 6)
3456 
  TEST (3, 2, 4, 6)
3457 
  TEST (4, 2, 4, 6)
3458 
  TEST (5, 2, 4, 6)
3459 
  TEST (6, 2, 4, 6)
3460 
  TEST (7, 2, 4, 6)
3461 
  TEST (0, 3, 4, 6)
3462 
  TEST (1, 3, 4, 6)
3463 
  TEST (2, 3, 4, 6)
3464 
  TEST (3, 3, 4, 6)
3465 
  TEST (4, 3, 4, 6)
3466 
  TEST (5, 3, 4, 6)
3467 
  TEST (6, 3, 4, 6)
3468 
  TEST (7, 3, 4, 6)
3469 
  TEST (0, 4, 4, 6)
3470 
  TEST (1, 4, 4, 6)
3471 
  TEST (2, 4, 4, 6)
3472 
  TEST (3, 4, 4, 6)
3473 
  TEST (4, 4, 4, 6)
3474 
  TEST (5, 4, 4, 6)
3475 
  TEST (6, 4, 4, 6)
3476 
  TEST (7, 4, 4, 6)
3477 
  TEST (0, 5, 4, 6)
3478 
  TEST (1, 5, 4, 6)
3479 
  TEST (2, 5, 4, 6)
3480 
  TEST (3, 5, 4, 6)
3481 
  TEST (4, 5, 4, 6)
3482 
  TEST (5, 5, 4, 6)
3483 
  TEST (6, 5, 4, 6)
3484 
  TEST (7, 5, 4, 6)
3485 
  TEST (0, 6, 4, 6)
3486 
  TEST (1, 6, 4, 6)
3487 
  TEST (2, 6, 4, 6)
3488 
  TEST (3, 6, 4, 6)
3489 
  TEST (4, 6, 4, 6)
3490 
  TEST (5, 6, 4, 6)
3491 
  TEST (6, 6, 4, 6)
3492 
  TEST (7, 6, 4, 6)
3493 
  TEST (0, 7, 4, 6)
3494 
  TEST (1, 7, 4, 6)
3495 
  TEST (2, 7, 4, 6)
3496 
  TEST (3, 7, 4, 6)
3497 
  TEST (4, 7, 4, 6)
3498 
  TEST (5, 7, 4, 6)
3499 
  TEST (6, 7, 4, 6)
3500 
  TEST (7, 7, 4, 6)
3501 
  TEST (0, 0, 5, 6)
3502 
  TEST (1, 0, 5, 6)
3503 
  TEST (2, 0, 5, 6)
3504 
  TEST (3, 0, 5, 6)
3505 
  TEST (4, 0, 5, 6)
3506 
  TEST (5, 0, 5, 6)
3507 
  TEST (6, 0, 5, 6)
3508 
  TEST (7, 0, 5, 6)
3509 
  TEST (0, 1, 5, 6)
3510 
  TEST (1, 1, 5, 6)
3511 
  TEST (2, 1, 5, 6)
3512 
  TEST (3, 1, 5, 6)
3513 
  TEST (4, 1, 5, 6)
3514 
  TEST (5, 1, 5, 6)
3515 
  TEST (6, 1, 5, 6)
3516 
  TEST (7, 1, 5, 6)
3517 
  TEST (0, 2, 5, 6)
3518 
  TEST (1, 2, 5, 6)
3519 
  TEST (2, 2, 5, 6)
3520 
  TEST (3, 2, 5, 6)
3521 
  TEST (4, 2, 5, 6)
3522 
  TEST (5, 2, 5, 6)
3523 
  TEST (6, 2, 5, 6)
3524 
  TEST (7, 2, 5, 6)
3525 
  TEST (0, 3, 5, 6)
3526 
  TEST (1, 3, 5, 6)
3527 
  TEST (2, 3, 5, 6)
3528 
  TEST (3, 3, 5, 6)
3529 
  TEST (4, 3, 5, 6)
3530 
  TEST (5, 3, 5, 6)
3531 
  TEST (6, 3, 5, 6)
3532 
  TEST (7, 3, 5, 6)
3533 
  TEST (0, 4, 5, 6)
3534 
  TEST (1, 4, 5, 6)
3535 
  TEST (2, 4, 5, 6)
3536 
  TEST (3, 4, 5, 6)
3537 
  TEST (4, 4, 5, 6)
3538 
  TEST (5, 4, 5, 6)
3539 
  TEST (6, 4, 5, 6)
3540 
  TEST (7, 4, 5, 6)
3541 
  TEST (0, 5, 5, 6)
3542 
  TEST (1, 5, 5, 6)
3543 
  TEST (2, 5, 5, 6)
3544 
  TEST (3, 5, 5, 6)
3545 
  TEST (4, 5, 5, 6)
3546 
  TEST (5, 5, 5, 6)
3547 
  TEST (6, 5, 5, 6)
3548 
  TEST (7, 5, 5, 6)
3549 
  TEST (0, 6, 5, 6)
3550 
  TEST (1, 6, 5, 6)
3551 
  TEST (2, 6, 5, 6)
3552 
  TEST (3, 6, 5, 6)
3553 
  TEST (4, 6, 5, 6)
3554 
  TEST (5, 6, 5, 6)
3555 
  TEST (6, 6, 5, 6)
3556 
  TEST (7, 6, 5, 6)
3557 
  TEST (0, 7, 5, 6)
3558 
  TEST (1, 7, 5, 6)
3559 
  TEST (2, 7, 5, 6)
3560 
  TEST (3, 7, 5, 6)
3561 
  TEST (4, 7, 5, 6)
3562 
  TEST (5, 7, 5, 6)
3563 
  TEST (6, 7, 5, 6)
3564 
  TEST (7, 7, 5, 6)
3565 
}
3566 
 
3567 
void check27(void)
3568 
{
3569 
  TEST (0, 0, 6, 6)
3570 
  TEST (1, 0, 6, 6)
3571 
  TEST (2, 0, 6, 6)
3572 
  TEST (3, 0, 6, 6)
3573 
  TEST (4, 0, 6, 6)
3574 
  TEST (5, 0, 6, 6)
3575 
  TEST (6, 0, 6, 6)
3576 
  TEST (7, 0, 6, 6)
3577 
  TEST (0, 1, 6, 6)
3578 
  TEST (1, 1, 6, 6)
3579 
  TEST (2, 1, 6, 6)
3580 
  TEST (3, 1, 6, 6)
3581 
  TEST (4, 1, 6, 6)
3582 
  TEST (5, 1, 6, 6)
3583 
  TEST (6, 1, 6, 6)
3584 
  TEST (7, 1, 6, 6)
3585 
  TEST (0, 2, 6, 6)
3586 
  TEST (1, 2, 6, 6)
3587 
  TEST (2, 2, 6, 6)
3588 
  TEST (3, 2, 6, 6)
3589 
  TEST (4, 2, 6, 6)
3590 
  TEST (5, 2, 6, 6)
3591 
  TEST (6, 2, 6, 6)
3592 
  TEST (7, 2, 6, 6)
3593 
  TEST (0, 3, 6, 6)
3594 
  TEST (1, 3, 6, 6)
3595 
  TEST (2, 3, 6, 6)
3596 
  TEST (3, 3, 6, 6)
3597 
  TEST (4, 3, 6, 6)
3598 
  TEST (5, 3, 6, 6)
3599 
  TEST (6, 3, 6, 6)
3600 
  TEST (7, 3, 6, 6)
3601 
  TEST (0, 4, 6, 6)
3602 
  TEST (1, 4, 6, 6)
3603 
  TEST (2, 4, 6, 6)
3604 
  TEST (3, 4, 6, 6)
3605 
  TEST (4, 4, 6, 6)
3606 
  TEST (5, 4, 6, 6)
3607 
  TEST (6, 4, 6, 6)
3608 
  TEST (7, 4, 6, 6)
3609 
  TEST (0, 5, 6, 6)
3610 
  TEST (1, 5, 6, 6)
3611 
  TEST (2, 5, 6, 6)
3612 
  TEST (3, 5, 6, 6)
3613 
  TEST (4, 5, 6, 6)
3614 
  TEST (5, 5, 6, 6)
3615 
  TEST (6, 5, 6, 6)
3616 
  TEST (7, 5, 6, 6)
3617 
  TEST (0, 6, 6, 6)
3618 
  TEST (1, 6, 6, 6)
3619 
  TEST (2, 6, 6, 6)
3620 
  TEST (3, 6, 6, 6)
3621 
  TEST (4, 6, 6, 6)
3622 
  TEST (5, 6, 6, 6)
3623 
  TEST (6, 6, 6, 6)
3624 
  TEST (7, 6, 6, 6)
3625 
  TEST (0, 7, 6, 6)
3626 
  TEST (1, 7, 6, 6)
3627 
  TEST (2, 7, 6, 6)
3628 
  TEST (3, 7, 6, 6)
3629 
  TEST (4, 7, 6, 6)
3630 
  TEST (5, 7, 6, 6)
3631 
  TEST (6, 7, 6, 6)
3632 
  TEST (7, 7, 6, 6)
3633 
  TEST (0, 0, 7, 6)
3634 
  TEST (1, 0, 7, 6)
3635 
  TEST (2, 0, 7, 6)
3636 
  TEST (3, 0, 7, 6)
3637 
  TEST (4, 0, 7, 6)
3638 
  TEST (5, 0, 7, 6)
3639 
  TEST (6, 0, 7, 6)
3640 
  TEST (7, 0, 7, 6)
3641 
  TEST (0, 1, 7, 6)
3642 
  TEST (1, 1, 7, 6)
3643 
  TEST (2, 1, 7, 6)
3644 
  TEST (3, 1, 7, 6)
3645 
  TEST (4, 1, 7, 6)
3646 
  TEST (5, 1, 7, 6)
3647 
  TEST (6, 1, 7, 6)
3648 
  TEST (7, 1, 7, 6)
3649 
  TEST (0, 2, 7, 6)
3650 
  TEST (1, 2, 7, 6)
3651 
  TEST (2, 2, 7, 6)
3652 
  TEST (3, 2, 7, 6)
3653 
  TEST (4, 2, 7, 6)
3654 
  TEST (5, 2, 7, 6)
3655 
  TEST (6, 2, 7, 6)
3656 
  TEST (7, 2, 7, 6)
3657 
  TEST (0, 3, 7, 6)
3658 
  TEST (1, 3, 7, 6)
3659 
  TEST (2, 3, 7, 6)
3660 
  TEST (3, 3, 7, 6)
3661 
  TEST (4, 3, 7, 6)
3662 
  TEST (5, 3, 7, 6)
3663 
  TEST (6, 3, 7, 6)
3664 
  TEST (7, 3, 7, 6)
3665 
  TEST (0, 4, 7, 6)
3666 
  TEST (1, 4, 7, 6)
3667 
  TEST (2, 4, 7, 6)
3668 
  TEST (3, 4, 7, 6)
3669 
  TEST (4, 4, 7, 6)
3670 
  TEST (5, 4, 7, 6)
3671 
  TEST (6, 4, 7, 6)
3672 
  TEST (7, 4, 7, 6)
3673 
  TEST (0, 5, 7, 6)
3674 
  TEST (1, 5, 7, 6)
3675 
  TEST (2, 5, 7, 6)
3676 
  TEST (3, 5, 7, 6)
3677 
  TEST (4, 5, 7, 6)
3678 
  TEST (5, 5, 7, 6)
3679 
  TEST (6, 5, 7, 6)
3680 
  TEST (7, 5, 7, 6)
3681 
  TEST (0, 6, 7, 6)
3682 
  TEST (1, 6, 7, 6)
3683 
  TEST (2, 6, 7, 6)
3684 
  TEST (3, 6, 7, 6)
3685 
  TEST (4, 6, 7, 6)
3686 
  TEST (5, 6, 7, 6)
3687 
  TEST (6, 6, 7, 6)
3688 
  TEST (7, 6, 7, 6)
3689 
  TEST (0, 7, 7, 6)
3690 
  TEST (1, 7, 7, 6)
3691 
  TEST (2, 7, 7, 6)
3692 
  TEST (3, 7, 7, 6)
3693 
  TEST (4, 7, 7, 6)
3694 
  TEST (5, 7, 7, 6)
3695 
  TEST (6, 7, 7, 6)
3696 
  TEST (7, 7, 7, 6)
3697 
}
3698 
 
3699 
void check28(void)
3700 
{
3701 
  TEST (0, 0, 0, 7)
3702 
  TEST (1, 0, 0, 7)
3703 
  TEST (2, 0, 0, 7)
3704 
  TEST (3, 0, 0, 7)
3705 
  TEST (4, 0, 0, 7)
3706 
  TEST (5, 0, 0, 7)
3707 
  TEST (6, 0, 0, 7)
3708 
  TEST (7, 0, 0, 7)
3709 
  TEST (0, 1, 0, 7)
3710 
  TEST (1, 1, 0, 7)
3711 
  TEST (2, 1, 0, 7)
3712 
  TEST (3, 1, 0, 7)
3713 
  TEST (4, 1, 0, 7)
3714 
  TEST (5, 1, 0, 7)
3715 
  TEST (6, 1, 0, 7)
3716 
  TEST (7, 1, 0, 7)
3717 
  TEST (0, 2, 0, 7)
3718 
  TEST (1, 2, 0, 7)
3719 
  TEST (2, 2, 0, 7)
3720 
  TEST (3, 2, 0, 7)
3721 
  TEST (4, 2, 0, 7)
3722 
  TEST (5, 2, 0, 7)
3723 
  TEST (6, 2, 0, 7)
3724 
  TEST (7, 2, 0, 7)
3725 
  TEST (0, 3, 0, 7)
3726 
  TEST (1, 3, 0, 7)
3727 
  TEST (2, 3, 0, 7)
3728 
  TEST (3, 3, 0, 7)
3729 
  TEST (4, 3, 0, 7)
3730 
  TEST (5, 3, 0, 7)
3731 
  TEST (6, 3, 0, 7)
3732 
  TEST (7, 3, 0, 7)
3733 
  TEST (0, 4, 0, 7)
3734 
  TEST (1, 4, 0, 7)
3735 
  TEST (2, 4, 0, 7)
3736 
  TEST (3, 4, 0, 7)
3737 
  TEST (4, 4, 0, 7)
3738 
  TEST (5, 4, 0, 7)
3739 
  TEST (6, 4, 0, 7)
3740 
  TEST (7, 4, 0, 7)
3741 
  TEST (0, 5, 0, 7)
3742 
  TEST (1, 5, 0, 7)
3743 
  TEST (2, 5, 0, 7)
3744 
  TEST (3, 5, 0, 7)
3745 
  TEST (4, 5, 0, 7)
3746 
  TEST (5, 5, 0, 7)
3747 
  TEST (6, 5, 0, 7)
3748 
  TEST (7, 5, 0, 7)
3749 
  TEST (0, 6, 0, 7)
3750 
  TEST (1, 6, 0, 7)
3751 
  TEST (2, 6, 0, 7)
3752 
  TEST (3, 6, 0, 7)
3753 
  TEST (4, 6, 0, 7)
3754 
  TEST (5, 6, 0, 7)
3755 
  TEST (6, 6, 0, 7)
3756 
  TEST (7, 6, 0, 7)
3757 
  TEST (0, 7, 0, 7)
3758 
  TEST (1, 7, 0, 7)
3759 
  TEST (2, 7, 0, 7)
3760 
  TEST (3, 7, 0, 7)
3761 
  TEST (4, 7, 0, 7)
3762 
  TEST (5, 7, 0, 7)
3763 
  TEST (6, 7, 0, 7)
3764 
  TEST (7, 7, 0, 7)
3765 
  TEST (0, 0, 1, 7)
3766 
  TEST (1, 0, 1, 7)
3767 
  TEST (2, 0, 1, 7)
3768 
  TEST (3, 0, 1, 7)
3769 
  TEST (4, 0, 1, 7)
3770 
  TEST (5, 0, 1, 7)
3771 
  TEST (6, 0, 1, 7)
3772 
  TEST (7, 0, 1, 7)
3773 
  TEST (0, 1, 1, 7)
3774 
  TEST (1, 1, 1, 7)
3775 
  TEST (2, 1, 1, 7)
3776 
  TEST (3, 1, 1, 7)
3777 
  TEST (4, 1, 1, 7)
3778 
  TEST (5, 1, 1, 7)
3779 
  TEST (6, 1, 1, 7)
3780 
  TEST (7, 1, 1, 7)
3781 
  TEST (0, 2, 1, 7)
3782 
  TEST (1, 2, 1, 7)
3783 
  TEST (2, 2, 1, 7)
3784 
  TEST (3, 2, 1, 7)
3785 
  TEST (4, 2, 1, 7)
3786 
  TEST (5, 2, 1, 7)
3787 
  TEST (6, 2, 1, 7)
3788 
  TEST (7, 2, 1, 7)
3789 
  TEST (0, 3, 1, 7)
3790 
  TEST (1, 3, 1, 7)
3791 
  TEST (2, 3, 1, 7)
3792 
  TEST (3, 3, 1, 7)
3793 
  TEST (4, 3, 1, 7)
3794 
  TEST (5, 3, 1, 7)
3795 
  TEST (6, 3, 1, 7)
3796 
  TEST (7, 3, 1, 7)
3797 
  TEST (0, 4, 1, 7)
3798 
  TEST (1, 4, 1, 7)
3799 
  TEST (2, 4, 1, 7)
3800 
  TEST (3, 4, 1, 7)
3801 
  TEST (4, 4, 1, 7)
3802 
  TEST (5, 4, 1, 7)
3803 
  TEST (6, 4, 1, 7)
3804 
  TEST (7, 4, 1, 7)
3805 
  TEST (0, 5, 1, 7)
3806 
  TEST (1, 5, 1, 7)
3807 
  TEST (2, 5, 1, 7)
3808 
  TEST (3, 5, 1, 7)
3809 
  TEST (4, 5, 1, 7)
3810 
  TEST (5, 5, 1, 7)
3811 
  TEST (6, 5, 1, 7)
3812 
  TEST (7, 5, 1, 7)
3813 
  TEST (0, 6, 1, 7)
3814 
  TEST (1, 6, 1, 7)
3815 
  TEST (2, 6, 1, 7)
3816 
  TEST (3, 6, 1, 7)
3817 
  TEST (4, 6, 1, 7)
3818 
  TEST (5, 6, 1, 7)
3819 
  TEST (6, 6, 1, 7)
3820 
  TEST (7, 6, 1, 7)
3821 
  TEST (0, 7, 1, 7)
3822 
  TEST (1, 7, 1, 7)
3823 
  TEST (2, 7, 1, 7)
3824 
  TEST (3, 7, 1, 7)
3825 
  TEST (4, 7, 1, 7)
3826 
  TEST (5, 7, 1, 7)
3827 
  TEST (6, 7, 1, 7)
3828 
  TEST (7, 7, 1, 7)
3829 
}
3830 
 
3831 
void check29(void)
3832 
{
3833 
  TEST (0, 0, 2, 7)
3834 
  TEST (1, 0, 2, 7)
3835 
  TEST (2, 0, 2, 7)
3836 
  TEST (3, 0, 2, 7)
3837 
  TEST (4, 0, 2, 7)
3838 
  TEST (5, 0, 2, 7)
3839 
  TEST (6, 0, 2, 7)
3840 
  TEST (7, 0, 2, 7)
3841 
  TEST (0, 1, 2, 7)
3842 
  TEST (1, 1, 2, 7)
3843 
  TEST (2, 1, 2, 7)
3844 
  TEST (3, 1, 2, 7)
3845 
  TEST (4, 1, 2, 7)
3846 
  TEST (5, 1, 2, 7)
3847 
  TEST (6, 1, 2, 7)
3848 
  TEST (7, 1, 2, 7)
3849 
  TEST (0, 2, 2, 7)
3850 
  TEST (1, 2, 2, 7)
3851 
  TEST (2, 2, 2, 7)
3852 
  TEST (3, 2, 2, 7)
3853 
  TEST (4, 2, 2, 7)
3854 
  TEST (5, 2, 2, 7)
3855 
  TEST (6, 2, 2, 7)
3856 
  TEST (7, 2, 2, 7)
3857 
  TEST (0, 3, 2, 7)
3858 
  TEST (1, 3, 2, 7)
3859 
  TEST (2, 3, 2, 7)
3860 
  TEST (3, 3, 2, 7)
3861 
  TEST (4, 3, 2, 7)
3862 
  TEST (5, 3, 2, 7)
3863 
  TEST (6, 3, 2, 7)
3864 
  TEST (7, 3, 2, 7)
3865 
  TEST (0, 4, 2, 7)
3866 
  TEST (1, 4, 2, 7)
3867 
  TEST (2, 4, 2, 7)
3868 
  TEST (3, 4, 2, 7)
3869 
  TEST (4, 4, 2, 7)
3870 
  TEST (5, 4, 2, 7)
3871 
  TEST (6, 4, 2, 7)
3872 
  TEST (7, 4, 2, 7)
3873 
  TEST (0, 5, 2, 7)
3874 
  TEST (1, 5, 2, 7)
3875 
  TEST (2, 5, 2, 7)
3876 
  TEST (3, 5, 2, 7)
3877 
  TEST (4, 5, 2, 7)
3878 
  TEST (5, 5, 2, 7)
3879 
  TEST (6, 5, 2, 7)
3880 
  TEST (7, 5, 2, 7)
3881 
  TEST (0, 6, 2, 7)
3882 
  TEST (1, 6, 2, 7)
3883 
  TEST (2, 6, 2, 7)
3884 
  TEST (3, 6, 2, 7)
3885 
  TEST (4, 6, 2, 7)
3886 
  TEST (5, 6, 2, 7)
3887 
  TEST (6, 6, 2, 7)
3888 
  TEST (7, 6, 2, 7)
3889 
  TEST (0, 7, 2, 7)
3890 
  TEST (1, 7, 2, 7)
3891 
  TEST (2, 7, 2, 7)
3892 
  TEST (3, 7, 2, 7)
3893 
  TEST (4, 7, 2, 7)
3894 
  TEST (5, 7, 2, 7)
3895 
  TEST (6, 7, 2, 7)
3896 
  TEST (7, 7, 2, 7)
3897 
  TEST (0, 0, 3, 7)
3898 
  TEST (1, 0, 3, 7)
3899 
  TEST (2, 0, 3, 7)
3900 
  TEST (3, 0, 3, 7)
3901 
  TEST (4, 0, 3, 7)
3902 
  TEST (5, 0, 3, 7)
3903 
  TEST (6, 0, 3, 7)
3904 
  TEST (7, 0, 3, 7)
3905 
  TEST (0, 1, 3, 7)
3906 
  TEST (1, 1, 3, 7)
3907 
  TEST (2, 1, 3, 7)
3908 
  TEST (3, 1, 3, 7)
3909 
  TEST (4, 1, 3, 7)
3910 
  TEST (5, 1, 3, 7)
3911 
  TEST (6, 1, 3, 7)
3912 
  TEST (7, 1, 3, 7)
3913 
  TEST (0, 2, 3, 7)
3914 
  TEST (1, 2, 3, 7)
3915 
  TEST (2, 2, 3, 7)
3916 
  TEST (3, 2, 3, 7)
3917 
  TEST (4, 2, 3, 7)
3918 
  TEST (5, 2, 3, 7)
3919 
  TEST (6, 2, 3, 7)
3920 
  TEST (7, 2, 3, 7)
3921 
  TEST (0, 3, 3, 7)
3922 
  TEST (1, 3, 3, 7)
3923 
  TEST (2, 3, 3, 7)
3924 
  TEST (3, 3, 3, 7)
3925 
  TEST (4, 3, 3, 7)
3926 
  TEST (5, 3, 3, 7)
3927 
  TEST (6, 3, 3, 7)
3928 
  TEST (7, 3, 3, 7)
3929 
  TEST (0, 4, 3, 7)
3930 
  TEST (1, 4, 3, 7)
3931 
  TEST (2, 4, 3, 7)
3932 
  TEST (3, 4, 3, 7)
3933 
  TEST (4, 4, 3, 7)
3934 
  TEST (5, 4, 3, 7)
3935 
  TEST (6, 4, 3, 7)
3936 
  TEST (7, 4, 3, 7)
3937 
  TEST (0, 5, 3, 7)
3938 
  TEST (1, 5, 3, 7)
3939 
  TEST (2, 5, 3, 7)
3940 
  TEST (3, 5, 3, 7)
3941 
  TEST (4, 5, 3, 7)
3942 
  TEST (5, 5, 3, 7)
3943 
  TEST (6, 5, 3, 7)
3944 
  TEST (7, 5, 3, 7)
3945 
  TEST (0, 6, 3, 7)
3946 
  TEST (1, 6, 3, 7)
3947 
  TEST (2, 6, 3, 7)
3948 
  TEST (3, 6, 3, 7)
3949 
  TEST (4, 6, 3, 7)
3950 
  TEST (5, 6, 3, 7)
3951 
  TEST (6, 6, 3, 7)
3952 
  TEST (7, 6, 3, 7)
3953 
  TEST (0, 7, 3, 7)
3954 
  TEST (1, 7, 3, 7)
3955 
  TEST (2, 7, 3, 7)
3956 
  TEST (3, 7, 3, 7)
3957 
  TEST (4, 7, 3, 7)
3958 
  TEST (5, 7, 3, 7)
3959 
  TEST (6, 7, 3, 7)
3960 
  TEST (7, 7, 3, 7)
3961 
}
3962 
 
3963 
void check30(void)
3964 
{
3965 
  TEST (0, 0, 4, 7)
3966 
  TEST (1, 0, 4, 7)
3967 
  TEST (2, 0, 4, 7)
3968 
  TEST (3, 0, 4, 7)
3969 
  TEST (4, 0, 4, 7)
3970 
  TEST (5, 0, 4, 7)
3971 
  TEST (6, 0, 4, 7)
3972 
  TEST (7, 0, 4, 7)
3973 
  TEST (0, 1, 4, 7)
3974 
  TEST (1, 1, 4, 7)
3975 
  TEST (2, 1, 4, 7)
3976 
  TEST (3, 1, 4, 7)
3977 
  TEST (4, 1, 4, 7)
3978 
  TEST (5, 1, 4, 7)
3979 
  TEST (6, 1, 4, 7)
3980 
  TEST (7, 1, 4, 7)
3981 
  TEST (0, 2, 4, 7)
3982 
  TEST (1, 2, 4, 7)
3983 
  TEST (2, 2, 4, 7)
3984 
  TEST (3, 2, 4, 7)
3985 
  TEST (4, 2, 4, 7)
3986 
  TEST (5, 2, 4, 7)
3987 
  TEST (6, 2, 4, 7)
3988 
  TEST (7, 2, 4, 7)
3989 
  TEST (0, 3, 4, 7)
3990 
  TEST (1, 3, 4, 7)
3991 
  TEST (2, 3, 4, 7)
3992 
  TEST (3, 3, 4, 7)
3993 
  TEST (4, 3, 4, 7)
3994 
  TEST (5, 3, 4, 7)
3995 
  TEST (6, 3, 4, 7)
3996 
  TEST (7, 3, 4, 7)
3997 
  TEST (0, 4, 4, 7)
3998 
  TEST (1, 4, 4, 7)
3999 
  TEST (2, 4, 4, 7)
4000 
  TEST (3, 4, 4, 7)
4001 
  TEST (4, 4, 4, 7)
4002 
  TEST (5, 4, 4, 7)
4003 
  TEST (6, 4, 4, 7)
4004 
  TEST (7, 4, 4, 7)
4005 
  TEST (0, 5, 4, 7)
4006 
  TEST (1, 5, 4, 7)
4007 
  TEST (2, 5, 4, 7)
4008 
  TEST (3, 5, 4, 7)
4009 
  TEST (4, 5, 4, 7)
4010 
  TEST (5, 5, 4, 7)
4011 
  TEST (6, 5, 4, 7)
4012 
  TEST (7, 5, 4, 7)
4013 
  TEST (0, 6, 4, 7)
4014 
  TEST (1, 6, 4, 7)
4015 
  TEST (2, 6, 4, 7)
4016 
  TEST (3, 6, 4, 7)
4017 
  TEST (4, 6, 4, 7)
4018 
  TEST (5, 6, 4, 7)
4019 
  TEST (6, 6, 4, 7)
4020 
  TEST (7, 6, 4, 7)
4021 
  TEST (0, 7, 4, 7)
4022 
  TEST (1, 7, 4, 7)
4023 
  TEST (2, 7, 4, 7)
4024 
  TEST (3, 7, 4, 7)
4025 
  TEST (4, 7, 4, 7)
4026 
  TEST (5, 7, 4, 7)
4027 
  TEST (6, 7, 4, 7)
4028 
  TEST (7, 7, 4, 7)
4029 
  TEST (0, 0, 5, 7)
4030 
  TEST (1, 0, 5, 7)
4031 
  TEST (2, 0, 5, 7)
4032 
  TEST (3, 0, 5, 7)
4033 
  TEST (4, 0, 5, 7)
4034 
  TEST (5, 0, 5, 7)
4035 
  TEST (6, 0, 5, 7)
4036 
  TEST (7, 0, 5, 7)
4037 
  TEST (0, 1, 5, 7)
4038 
  TEST (1, 1, 5, 7)
4039 
  TEST (2, 1, 5, 7)
4040 
  TEST (3, 1, 5, 7)
4041 
  TEST (4, 1, 5, 7)
4042 
  TEST (5, 1, 5, 7)
4043 
  TEST (6, 1, 5, 7)
4044 
  TEST (7, 1, 5, 7)
4045 
  TEST (0, 2, 5, 7)
4046 
  TEST (1, 2, 5, 7)
4047 
  TEST (2, 2, 5, 7)
4048 
  TEST (3, 2, 5, 7)
4049 
  TEST (4, 2, 5, 7)
4050 
  TEST (5, 2, 5, 7)
4051 
  TEST (6, 2, 5, 7)
4052 
  TEST (7, 2, 5, 7)
4053 
  TEST (0, 3, 5, 7)
4054 
  TEST (1, 3, 5, 7)
4055 
  TEST (2, 3, 5, 7)
4056 
  TEST (3, 3, 5, 7)
4057 
  TEST (4, 3, 5, 7)
4058 
  TEST (5, 3, 5, 7)
4059 
  TEST (6, 3, 5, 7)
4060 
  TEST (7, 3, 5, 7)
4061 
  TEST (0, 4, 5, 7)
4062 
  TEST (1, 4, 5, 7)
4063 
  TEST (2, 4, 5, 7)
4064 
  TEST (3, 4, 5, 7)
4065 
  TEST (4, 4, 5, 7)
4066 
  TEST (5, 4, 5, 7)
4067 
  TEST (6, 4, 5, 7)
4068 
  TEST (7, 4, 5, 7)
4069 
  TEST (0, 5, 5, 7)
4070 
  TEST (1, 5, 5, 7)
4071 
  TEST (2, 5, 5, 7)
4072 
  TEST (3, 5, 5, 7)
4073 
  TEST (4, 5, 5, 7)
4074 
  TEST (5, 5, 5, 7)
4075 
  TEST (6, 5, 5, 7)
4076 
  TEST (7, 5, 5, 7)
4077 
  TEST (0, 6, 5, 7)
4078 
  TEST (1, 6, 5, 7)
4079 
  TEST (2, 6, 5, 7)
4080 
  TEST (3, 6, 5, 7)
4081 
  TEST (4, 6, 5, 7)
4082 
  TEST (5, 6, 5, 7)
4083 
  TEST (6, 6, 5, 7)
4084 
  TEST (7, 6, 5, 7)
4085 
  TEST (0, 7, 5, 7)
4086 
  TEST (1, 7, 5, 7)
4087 
  TEST (2, 7, 5, 7)
4088 
  TEST (3, 7, 5, 7)
4089 
  TEST (4, 7, 5, 7)
4090 
  TEST (5, 7, 5, 7)
4091 
  TEST (6, 7, 5, 7)
4092 
  TEST (7, 7, 5, 7)
4093 
}
4094 
 
4095 
void check31(void)
4096 
{
4097 
  TEST (0, 0, 6, 7)
4098 
  TEST (1, 0, 6, 7)
4099 
  TEST (2, 0, 6, 7)
4100 
  TEST (3, 0, 6, 7)
4101 
  TEST (4, 0, 6, 7)
4102 
  TEST (5, 0, 6, 7)
4103 
  TEST (6, 0, 6, 7)
4104 
  TEST (7, 0, 6, 7)
4105 
  TEST (0, 1, 6, 7)
4106 
  TEST (1, 1, 6, 7)
4107 
  TEST (2, 1, 6, 7)
4108 
  TEST (3, 1, 6, 7)
4109 
  TEST (4, 1, 6, 7)
4110 
  TEST (5, 1, 6, 7)
4111 
  TEST (6, 1, 6, 7)
4112 
  TEST (7, 1, 6, 7)
4113 
  TEST (0, 2, 6, 7)
4114 
  TEST (1, 2, 6, 7)
4115 
  TEST (2, 2, 6, 7)
4116 
  TEST (3, 2, 6, 7)
4117 
  TEST (4, 2, 6, 7)
4118 
  TEST (5, 2, 6, 7)
4119 
  TEST (6, 2, 6, 7)
4120 
  TEST (7, 2, 6, 7)
4121 
  TEST (0, 3, 6, 7)
4122 
  TEST (1, 3, 6, 7)
4123 
  TEST (2, 3, 6, 7)
4124 
  TEST (3, 3, 6, 7)
4125 
  TEST (4, 3, 6, 7)
4126 
  TEST (5, 3, 6, 7)
4127 
  TEST (6, 3, 6, 7)
4128 
  TEST (7, 3, 6, 7)
4129 
  TEST (0, 4, 6, 7)
4130 
  TEST (1, 4, 6, 7)
4131 
  TEST (2, 4, 6, 7)
4132 
  TEST (3, 4, 6, 7)
4133 
  TEST (4, 4, 6, 7)
4134 
  TEST (5, 4, 6, 7)
4135 
  TEST (6, 4, 6, 7)
4136 
  TEST (7, 4, 6, 7)
4137 
  TEST (0, 5, 6, 7)
4138 
  TEST (1, 5, 6, 7)
4139 
  TEST (2, 5, 6, 7)
4140 
  TEST (3, 5, 6, 7)
4141 
  TEST (4, 5, 6, 7)
4142 
  TEST (5, 5, 6, 7)
4143 
  TEST (6, 5, 6, 7)
4144 
  TEST (7, 5, 6, 7)
4145 
  TEST (0, 6, 6, 7)
4146 
  TEST (1, 6, 6, 7)
4147 
  TEST (2, 6, 6, 7)
4148 
  TEST (3, 6, 6, 7)
4149 
  TEST (4, 6, 6, 7)
4150 
  TEST (5, 6, 6, 7)
4151 
  TEST (6, 6, 6, 7)
4152 
  TEST (7, 6, 6, 7)
4153 
  TEST (0, 7, 6, 7)
4154 
  TEST (1, 7, 6, 7)
4155 
  TEST (2, 7, 6, 7)
4156 
  TEST (3, 7, 6, 7)
4157 
  TEST (4, 7, 6, 7)
4158 
  TEST (5, 7, 6, 7)
4159 
  TEST (6, 7, 6, 7)
4160 
  TEST (7, 7, 6, 7)
4161 
  TEST (0, 0, 7, 7)
4162 
  TEST (1, 0, 7, 7)
4163 
  TEST (2, 0, 7, 7)
4164 
  TEST (3, 0, 7, 7)
4165 
  TEST (4, 0, 7, 7)
4166 
  TEST (5, 0, 7, 7)
4167 
  TEST (6, 0, 7, 7)
4168 
  TEST (7, 0, 7, 7)
4169 
  TEST (0, 1, 7, 7)
4170 
  TEST (1, 1, 7, 7)
4171 
  TEST (2, 1, 7, 7)
4172 
  TEST (3, 1, 7, 7)
4173 
  TEST (4, 1, 7, 7)
4174 
  TEST (5, 1, 7, 7)
4175 
  TEST (6, 1, 7, 7)
4176 
  TEST (7, 1, 7, 7)
4177 
  TEST (0, 2, 7, 7)
4178 
  TEST (1, 2, 7, 7)
4179 
  TEST (2, 2, 7, 7)
4180 
  TEST (3, 2, 7, 7)
4181 
  TEST (4, 2, 7, 7)
4182 
  TEST (5, 2, 7, 7)
4183 
  TEST (6, 2, 7, 7)
4184 
  TEST (7, 2, 7, 7)
4185 
  TEST (0, 3, 7, 7)
4186 
  TEST (1, 3, 7, 7)
4187 
  TEST (2, 3, 7, 7)
4188 
  TEST (3, 3, 7, 7)
4189 
  TEST (4, 3, 7, 7)
4190 
  TEST (5, 3, 7, 7)
4191 
  TEST (6, 3, 7, 7)
4192 
  TEST (7, 3, 7, 7)
4193 
  TEST (0, 4, 7, 7)
4194 
  TEST (1, 4, 7, 7)
4195 
  TEST (2, 4, 7, 7)
4196 
  TEST (3, 4, 7, 7)
4197 
  TEST (4, 4, 7, 7)
4198 
  TEST (5, 4, 7, 7)
4199 
  TEST (6, 4, 7, 7)
4200 
  TEST (7, 4, 7, 7)
4201 
  TEST (0, 5, 7, 7)
4202 
  TEST (1, 5, 7, 7)
4203 
  TEST (2, 5, 7, 7)
4204 
  TEST (3, 5, 7, 7)
4205 
  TEST (4, 5, 7, 7)
4206 
  TEST (5, 5, 7, 7)
4207 
  TEST (6, 5, 7, 7)
4208 
  TEST (7, 5, 7, 7)
4209 
  TEST (0, 6, 7, 7)
4210 
  TEST (1, 6, 7, 7)
4211 
  TEST (2, 6, 7, 7)
4212 
  TEST (3, 6, 7, 7)
4213 
  TEST (4, 6, 7, 7)
4214 
  TEST (5, 6, 7, 7)
4215 
  TEST (6, 6, 7, 7)
4216 
  TEST (7, 6, 7, 7)
4217 
  TEST (0, 7, 7, 7)
4218 
  TEST (1, 7, 7, 7)
4219 
  TEST (2, 7, 7, 7)
4220 
  TEST (3, 7, 7, 7)
4221 
  TEST (4, 7, 7, 7)
4222 
  TEST (5, 7, 7, 7)
4223 
  TEST (6, 7, 7, 7)
4224 
  TEST (7, 7, 7, 7)
4225 
}
4226 
 
4227 
void check(void)
4228 
{
4229 
  check0 ();
4230 
  check1 ();
4231 
  check2 ();
4232 
  check3 ();
4233 
  check4 ();
4234 
  check5 ();
4235 
  check6 ();
4236 
  check7 ();
4237 
  check8 ();
4238 
  check9 ();
4239 
  check10 ();
4240 
  check11 ();
4241 
  check12 ();
4242 
  check13 ();
4243 
  check14 ();
4244 
  check15 ();
4245 
  check16 ();
4246 
  check17 ();
4247 
  check18 ();
4248 
  check19 ();
4249 
  check20 ();
4250 
  check21 ();
4251 
  check22 ();
4252 
  check23 ();
4253 
  check24 ();
4254 
  check25 ();
4255 
  check26 ();
4256 
  check27 ();
4257 
  check28 ();
4258 
  check29 ();
4259 
  check30 ();
4260 
  check31 ();
4261 
}
4262 
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.