1/* This file auto-generated with ./vperm.pl 4 2.  */
2
3void 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
135void 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
267void 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
399void 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
531void 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
663void 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
795void 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
927void 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
1059void 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
1191void 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
1323void 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
1455void 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
1587void 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
1719void 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
1851void 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
1983void 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
2115void 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
2247void 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
2379void 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
2511void 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
2643void 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
2775void 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
2907void 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
3039void 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
3171void 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
3303void 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
3435void 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
3567void 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
3699void 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
3831void 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
3963void 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
4095void 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
4227void 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
4263