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

Subversion Repositories openrisc_me

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

Details | Compare with Previous | View Log

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

powered by: WebSVN 2.1.0

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