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