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