1#define N 4
2#define TESTS \
3T (0,	0, 1, 2, 3) \
4T (1,	0, 0, 0, 0) \
5T (2,	6, 3, 1, 5) \
6T (3,	1, 3, 5, 0) \
7T (4,	6, 3, 5, 4) \
8T (5,	6, 4, 1, 0) \
9T (6,	6, 1, 4, 2) \
10T (7,	3, 7, 4, 4) \
11T (8,	3, 2, 4, 4) \
12T (9,	3, 2, 6, 1) \
13T (10,	5, 4, 5, 6) \
14T (11,	1, 4, 0, 7) \
15T (12,	1, 5, 7, 2) \
16T (13,	2, 3, 0, 4) \
17T (14,	7, 6, 4, 2) \
18T (15,	6, 1, 3, 4) \
19T (16,	0, 2, 4, 6) \
20T (17,	1, 3, 5, 7) \
21T (18,	3, 3, 3, 3) \
22T (19,	3, 2, 1, 0) \
23T (20,	0, 4, 1, 5) \
24T (21,	2, 6, 3, 7) \
25T (22,	1, 2, 3, 0) \
26T (23,	2, 1, 0, 3) \
27T (24,	2, 5, 6, 3) \
28T (25,	0, 1, 4, 5)
29#define EXPTESTS \
30T (116,	1, 2, 4, 3) \
31T (117,	7, 3, 3, 0) \
32T (118,	5, 3, 2, 7) \
33T (119,	0, 3, 5, 6) \
34T (120,	0, 0, 1, 5) \
35T (121,	4, 6, 2, 1) \
36T (123,	4, 6, 3, 2) \
37T (124,	4, 7, 5, 6) \
38T (125,	0, 4, 2, 4) \
39T (126,	2, 4, 6, 0) \
40T (127,	4, 3, 5, 1) \
41T (128,	5, 4, 7, 3) \
42T (129,	7, 5, 6, 4) \
43T (130,	2, 0, 5, 3) \
44T (131,	7, 4, 3, 0) \
45T (132,	6, 1, 3, 1) \
46T (133,	3, 4, 1, 7) \
47T (134,	0, 0, 6, 4) \
48T (135,	6, 4, 0, 1) \
49T (136,	6, 0, 2, 4) \
50T (137,	1, 3, 4, 2) \
51T (138,	3, 1, 2, 4) \
52T (139,	3, 1, 5, 0) \
53T (140,	1, 6, 0, 2) \
54T (141,	0, 2, 6, 4) \
55T (142,	1, 7, 5, 2) \
56T (143,	7, 0, 4, 1) \
57T (144,	7, 3, 5, 6) \
58T (145,	0, 7, 5, 4) \
59T (146,	6, 4, 2, 3) \
60T (147,	1, 5, 7, 6) \
61T (148,	5, 7, 4, 7) \
62T (149,	5, 2, 2, 0) \
63T (150,	7, 1, 6, 4) \
64T (151,	5, 2, 4, 6) \
65T (152,	5, 0, 4, 6) \
66T (153,	4, 2, 7, 3) \
67T (154,	7, 1, 0, 6) \
68T (155,	0, 4, 2, 5) \
69T (156,	3, 4, 3, 2) \
70T (157,	2, 0, 6, 1) \
71T (158,	5, 1, 7, 4) \
72T (159,	2, 1, 5, 6) \
73T (160,	1, 6, 5, 7) \
74T (161,	2, 4, 1, 6) \
75T (162,	3, 7, 1, 6) \
76T (163,	2, 1, 4, 7) \
77T (164,	4, 2, 1, 0) \
78T (165,	0, 7, 1, 3) \
79T (166,	7, 4, 2, 3) \
80T (167,	4, 5, 3, 5) \
81T (168,	1, 5, 6, 7) \
82T (169,	6, 3, 2, 0) \
83T (170,	6, 2, 1, 5) \
84T (171,	5, 6, 1, 3) \
85T (172,	2, 2, 3, 1) \
86T (173,	5, 4, 3, 5) \
87T (174,	7, 3, 4, 1) \
88T (175,	4, 2, 3, 6) \
89T (176,	7, 6, 5, 3) \
90T (177,	7, 2, 0, 6) \
91T (178,	1, 3, 0, 2) \
92T (179,	5, 3, 0, 5) \
93T (180,	4, 6, 7, 2) \
94T (181,	4, 5, 2, 0) \
95T (182,	5, 0, 1, 2) \
96T (183,	2, 3, 4, 1) \
97T (184,	2, 6, 5, 1) \
98T (185,	0, 6, 7, 4) \
99T (186,	4, 1, 6, 2) \
100T (187,	1, 3, 2, 3) \
101T (188,	2, 5, 4, 3) \
102T (189,	2, 5, 6, 4) \
103T (190,	4, 0, 5, 0) \
104T (191,	2, 1, 6, 0) \
105T (192,	7, 5, 0, 1) \
106T (193,	3, 5, 6, 7) \
107T (194,	0, 1, 2, 7) \
108T (195,	3, 1, 0, 2) \
109T (196,	2, 4, 6, 3) \
110T (197,	6, 0, 5, 4) \
111T (198,	6, 5, 7, 1) \
112T (199,	2, 5, 4, 6) \
113T (200,	7, 2, 3, 6) \
114T (201,	3, 5, 7, 3) \
115T (202,	1, 7, 4, 6) \
116T (203,	4, 0, 7, 1) \
117T (204,	7, 1, 0, 4) \
118T (205,	5, 1, 3, 4) \
119T (206,	0, 7, 3, 5) \
120T (207,	3, 2, 1, 5) \
121T (208,	7, 5, 0, 2) \
122T (209,	7, 0, 6, 3) \
123T (210,	6, 6, 7, 7) \
124T (211,	5, 6, 0, 4) \
125T (212,	5, 1, 2, 2) \
126T (213,	7, 1, 2, 6) \
127T (214,	5, 4, 2, 6) \
128T (215,	1, 5, 6, 4) \
129T (216,	7, 0, 2, 1) \
130T (217,	1, 5, 3, 6) \
131T (218,	3, 3, 6, 5) \
132T (219,	2, 3, 5, 7) \
133T (220,	2, 4, 3, 0) \
134T (221,	1, 5, 6, 3) \
135T (222,	7, 5, 1, 5) \
136T (223,	0, 5, 3, 4) \
137T (224,	2, 3, 1, 4) \
138T (225,	2, 3, 5, 1) \
139T (226,	4, 3, 1, 0) \
140T (227,	2, 3, 5, 5)
141