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