1/* This file auto-generated with ./vperm.pl 4 1.  */
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 (0, 1, 0, 0)
10  TEST (1, 1, 0, 0)
11  TEST (2, 1, 0, 0)
12  TEST (3, 1, 0, 0)
13  TEST (0, 2, 0, 0)
14  TEST (1, 2, 0, 0)
15  TEST (2, 2, 0, 0)
16  TEST (3, 2, 0, 0)
17  TEST (0, 3, 0, 0)
18  TEST (1, 3, 0, 0)
19  TEST (2, 3, 0, 0)
20  TEST (3, 3, 0, 0)
21  TEST (0, 0, 1, 0)
22  TEST (1, 0, 1, 0)
23  TEST (2, 0, 1, 0)
24  TEST (3, 0, 1, 0)
25  TEST (0, 1, 1, 0)
26  TEST (1, 1, 1, 0)
27  TEST (2, 1, 1, 0)
28  TEST (3, 1, 1, 0)
29  TEST (0, 2, 1, 0)
30  TEST (1, 2, 1, 0)
31  TEST (2, 2, 1, 0)
32  TEST (3, 2, 1, 0)
33  TEST (0, 3, 1, 0)
34  TEST (1, 3, 1, 0)
35  TEST (2, 3, 1, 0)
36  TEST (3, 3, 1, 0)
37  TEST (0, 0, 2, 0)
38  TEST (1, 0, 2, 0)
39  TEST (2, 0, 2, 0)
40  TEST (3, 0, 2, 0)
41  TEST (0, 1, 2, 0)
42  TEST (1, 1, 2, 0)
43  TEST (2, 1, 2, 0)
44  TEST (3, 1, 2, 0)
45  TEST (0, 2, 2, 0)
46  TEST (1, 2, 2, 0)
47  TEST (2, 2, 2, 0)
48  TEST (3, 2, 2, 0)
49  TEST (0, 3, 2, 0)
50  TEST (1, 3, 2, 0)
51  TEST (2, 3, 2, 0)
52  TEST (3, 3, 2, 0)
53  TEST (0, 0, 3, 0)
54  TEST (1, 0, 3, 0)
55  TEST (2, 0, 3, 0)
56  TEST (3, 0, 3, 0)
57  TEST (0, 1, 3, 0)
58  TEST (1, 1, 3, 0)
59  TEST (2, 1, 3, 0)
60  TEST (3, 1, 3, 0)
61  TEST (0, 2, 3, 0)
62  TEST (1, 2, 3, 0)
63  TEST (2, 2, 3, 0)
64  TEST (3, 2, 3, 0)
65  TEST (0, 3, 3, 0)
66  TEST (1, 3, 3, 0)
67  TEST (2, 3, 3, 0)
68  TEST (3, 3, 3, 0)
69  TEST (0, 0, 0, 1)
70  TEST (1, 0, 0, 1)
71  TEST (2, 0, 0, 1)
72  TEST (3, 0, 0, 1)
73  TEST (0, 1, 0, 1)
74  TEST (1, 1, 0, 1)
75  TEST (2, 1, 0, 1)
76  TEST (3, 1, 0, 1)
77  TEST (0, 2, 0, 1)
78  TEST (1, 2, 0, 1)
79  TEST (2, 2, 0, 1)
80  TEST (3, 2, 0, 1)
81  TEST (0, 3, 0, 1)
82  TEST (1, 3, 0, 1)
83  TEST (2, 3, 0, 1)
84  TEST (3, 3, 0, 1)
85  TEST (0, 0, 1, 1)
86  TEST (1, 0, 1, 1)
87  TEST (2, 0, 1, 1)
88  TEST (3, 0, 1, 1)
89  TEST (0, 1, 1, 1)
90  TEST (1, 1, 1, 1)
91  TEST (2, 1, 1, 1)
92  TEST (3, 1, 1, 1)
93  TEST (0, 2, 1, 1)
94  TEST (1, 2, 1, 1)
95  TEST (2, 2, 1, 1)
96  TEST (3, 2, 1, 1)
97  TEST (0, 3, 1, 1)
98  TEST (1, 3, 1, 1)
99  TEST (2, 3, 1, 1)
100  TEST (3, 3, 1, 1)
101  TEST (0, 0, 2, 1)
102  TEST (1, 0, 2, 1)
103  TEST (2, 0, 2, 1)
104  TEST (3, 0, 2, 1)
105  TEST (0, 1, 2, 1)
106  TEST (1, 1, 2, 1)
107  TEST (2, 1, 2, 1)
108  TEST (3, 1, 2, 1)
109  TEST (0, 2, 2, 1)
110  TEST (1, 2, 2, 1)
111  TEST (2, 2, 2, 1)
112  TEST (3, 2, 2, 1)
113  TEST (0, 3, 2, 1)
114  TEST (1, 3, 2, 1)
115  TEST (2, 3, 2, 1)
116  TEST (3, 3, 2, 1)
117  TEST (0, 0, 3, 1)
118  TEST (1, 0, 3, 1)
119  TEST (2, 0, 3, 1)
120  TEST (3, 0, 3, 1)
121  TEST (0, 1, 3, 1)
122  TEST (1, 1, 3, 1)
123  TEST (2, 1, 3, 1)
124  TEST (3, 1, 3, 1)
125  TEST (0, 2, 3, 1)
126  TEST (1, 2, 3, 1)
127  TEST (2, 2, 3, 1)
128  TEST (3, 2, 3, 1)
129  TEST (0, 3, 3, 1)
130  TEST (1, 3, 3, 1)
131  TEST (2, 3, 3, 1)
132  TEST (3, 3, 3, 1)
133}
134
135void check1(void)
136{
137  TEST (0, 0, 0, 2)
138  TEST (1, 0, 0, 2)
139  TEST (2, 0, 0, 2)
140  TEST (3, 0, 0, 2)
141  TEST (0, 1, 0, 2)
142  TEST (1, 1, 0, 2)
143  TEST (2, 1, 0, 2)
144  TEST (3, 1, 0, 2)
145  TEST (0, 2, 0, 2)
146  TEST (1, 2, 0, 2)
147  TEST (2, 2, 0, 2)
148  TEST (3, 2, 0, 2)
149  TEST (0, 3, 0, 2)
150  TEST (1, 3, 0, 2)
151  TEST (2, 3, 0, 2)
152  TEST (3, 3, 0, 2)
153  TEST (0, 0, 1, 2)
154  TEST (1, 0, 1, 2)
155  TEST (2, 0, 1, 2)
156  TEST (3, 0, 1, 2)
157  TEST (0, 1, 1, 2)
158  TEST (1, 1, 1, 2)
159  TEST (2, 1, 1, 2)
160  TEST (3, 1, 1, 2)
161  TEST (0, 2, 1, 2)
162  TEST (1, 2, 1, 2)
163  TEST (2, 2, 1, 2)
164  TEST (3, 2, 1, 2)
165  TEST (0, 3, 1, 2)
166  TEST (1, 3, 1, 2)
167  TEST (2, 3, 1, 2)
168  TEST (3, 3, 1, 2)
169  TEST (0, 0, 2, 2)
170  TEST (1, 0, 2, 2)
171  TEST (2, 0, 2, 2)
172  TEST (3, 0, 2, 2)
173  TEST (0, 1, 2, 2)
174  TEST (1, 1, 2, 2)
175  TEST (2, 1, 2, 2)
176  TEST (3, 1, 2, 2)
177  TEST (0, 2, 2, 2)
178  TEST (1, 2, 2, 2)
179  TEST (2, 2, 2, 2)
180  TEST (3, 2, 2, 2)
181  TEST (0, 3, 2, 2)
182  TEST (1, 3, 2, 2)
183  TEST (2, 3, 2, 2)
184  TEST (3, 3, 2, 2)
185  TEST (0, 0, 3, 2)
186  TEST (1, 0, 3, 2)
187  TEST (2, 0, 3, 2)
188  TEST (3, 0, 3, 2)
189  TEST (0, 1, 3, 2)
190  TEST (1, 1, 3, 2)
191  TEST (2, 1, 3, 2)
192  TEST (3, 1, 3, 2)
193  TEST (0, 2, 3, 2)
194  TEST (1, 2, 3, 2)
195  TEST (2, 2, 3, 2)
196  TEST (3, 2, 3, 2)
197  TEST (0, 3, 3, 2)
198  TEST (1, 3, 3, 2)
199  TEST (2, 3, 3, 2)
200  TEST (3, 3, 3, 2)
201  TEST (0, 0, 0, 3)
202  TEST (1, 0, 0, 3)
203  TEST (2, 0, 0, 3)
204  TEST (3, 0, 0, 3)
205  TEST (0, 1, 0, 3)
206  TEST (1, 1, 0, 3)
207  TEST (2, 1, 0, 3)
208  TEST (3, 1, 0, 3)
209  TEST (0, 2, 0, 3)
210  TEST (1, 2, 0, 3)
211  TEST (2, 2, 0, 3)
212  TEST (3, 2, 0, 3)
213  TEST (0, 3, 0, 3)
214  TEST (1, 3, 0, 3)
215  TEST (2, 3, 0, 3)
216  TEST (3, 3, 0, 3)
217  TEST (0, 0, 1, 3)
218  TEST (1, 0, 1, 3)
219  TEST (2, 0, 1, 3)
220  TEST (3, 0, 1, 3)
221  TEST (0, 1, 1, 3)
222  TEST (1, 1, 1, 3)
223  TEST (2, 1, 1, 3)
224  TEST (3, 1, 1, 3)
225  TEST (0, 2, 1, 3)
226  TEST (1, 2, 1, 3)
227  TEST (2, 2, 1, 3)
228  TEST (3, 2, 1, 3)
229  TEST (0, 3, 1, 3)
230  TEST (1, 3, 1, 3)
231  TEST (2, 3, 1, 3)
232  TEST (3, 3, 1, 3)
233  TEST (0, 0, 2, 3)
234  TEST (1, 0, 2, 3)
235  TEST (2, 0, 2, 3)
236  TEST (3, 0, 2, 3)
237  TEST (0, 1, 2, 3)
238  TEST (1, 1, 2, 3)
239  TEST (2, 1, 2, 3)
240  TEST (3, 1, 2, 3)
241  TEST (0, 2, 2, 3)
242  TEST (1, 2, 2, 3)
243  TEST (2, 2, 2, 3)
244  TEST (3, 2, 2, 3)
245  TEST (0, 3, 2, 3)
246  TEST (1, 3, 2, 3)
247  TEST (2, 3, 2, 3)
248  TEST (3, 3, 2, 3)
249  TEST (0, 0, 3, 3)
250  TEST (1, 0, 3, 3)
251  TEST (2, 0, 3, 3)
252  TEST (3, 0, 3, 3)
253  TEST (0, 1, 3, 3)
254  TEST (1, 1, 3, 3)
255  TEST (2, 1, 3, 3)
256  TEST (3, 1, 3, 3)
257  TEST (0, 2, 3, 3)
258  TEST (1, 2, 3, 3)
259  TEST (2, 2, 3, 3)
260  TEST (3, 2, 3, 3)
261  TEST (0, 3, 3, 3)
262  TEST (1, 3, 3, 3)
263  TEST (2, 3, 3, 3)
264  TEST (3, 3, 3, 3)
265}
266
267void check(void)
268{
269  check0 ();
270  check1 ();
271}
272
273