| #define N 4 | |
| #define TESTS \ | |
| T (0, 0, 1, 2, 3) \ | |
| T (1, 0, 0, 0, 0) \ | |
| T (2, 6, 3, 1, 5) \ | |
| T (3, 1, 3, 5, 0) \ | |
| T (4, 6, 3, 5, 4) \ | |
| T (5, 6, 4, 1, 0) \ | |
| T (6, 6, 1, 4, 2) \ | |
| T (7, 3, 7, 4, 4) \ | |
| T (8, 3, 2, 4, 4) \ | |
| T (9, 3, 2, 6, 1) \ | |
| T (10, 5, 4, 5, 6) \ | |
| T (11, 1, 4, 0, 7) \ | |
| T (12, 1, 5, 7, 2) \ | |
| T (13, 2, 3, 0, 4) \ | |
| T (14, 7, 6, 4, 2) \ | |
| T (15, 6, 1, 3, 4) \ | |
| T (16, 0, 2, 4, 6) \ | |
| T (17, 1, 3, 5, 7) \ | |
| T (18, 3, 3, 3, 3) \ | |
| T (19, 3, 2, 1, 0) \ | |
| T (20, 0, 4, 1, 5) \ | |
| T (21, 2, 6, 3, 7) \ | |
| T (22, 1, 2, 3, 0) \ | |
| T (23, 2, 1, 0, 3) \ | |
| T (24, 2, 5, 6, 3) \ | |
| T (25, 0, 1, 4, 5) \ | |
| T (26, 1, 5, 3, 7) \ | |
| T (27, 0, 5, 2, 7) | |
| #define EXPTESTS \ | |
| T (116, 1, 2, 4, 3) \ | |
| T (117, 7, 3, 3, 0) \ | |
| T (118, 5, 3, 2, 7) \ | |
| T (119, 0, 3, 5, 6) \ | |
| T (120, 0, 0, 1, 5) \ | |
| T (121, 4, 6, 2, 1) \ | |
| T (123, 4, 6, 3, 2) \ | |
| T (124, 4, 7, 5, 6) \ | |
| T (125, 0, 4, 2, 4) \ | |
| T (126, 2, 4, 6, 0) \ | |
| T (127, 4, 3, 5, 1) \ | |
| T (128, 5, 4, 7, 3) \ | |
| T (129, 7, 5, 6, 4) \ | |
| T (130, 2, 0, 5, 3) \ | |
| T (131, 7, 4, 3, 0) \ | |
| T (132, 6, 1, 3, 1) \ | |
| T (133, 3, 4, 1, 7) \ | |
| T (134, 0, 0, 6, 4) \ | |
| T (135, 6, 4, 0, 1) \ | |
| T (136, 6, 0, 2, 4) \ | |
| T (137, 1, 3, 4, 2) \ | |
| T (138, 3, 1, 2, 4) \ | |
| T (139, 3, 1, 5, 0) \ | |
| T (140, 1, 6, 0, 2) \ | |
| T (141, 0, 2, 6, 4) \ | |
| T (142, 1, 7, 5, 2) \ | |
| T (143, 7, 0, 4, 1) \ | |
| T (144, 7, 3, 5, 6) \ | |
| T (145, 0, 7, 5, 4) \ | |
| T (146, 6, 4, 2, 3) \ | |
| T (147, 1, 5, 7, 6) \ | |
| T (148, 5, 7, 4, 7) \ | |
| T (149, 5, 2, 2, 0) \ | |
| T (150, 7, 1, 6, 4) \ | |
| T (151, 5, 2, 4, 6) \ | |
| T (152, 5, 0, 4, 6) \ | |
| T (153, 4, 2, 7, 3) \ | |
| T (154, 7, 1, 0, 6) \ | |
| T (155, 0, 4, 2, 5) \ | |
| T (156, 3, 4, 3, 2) \ | |
| T (157, 2, 0, 6, 1) \ | |
| T (158, 5, 1, 7, 4) \ | |
| T (159, 2, 1, 5, 6) \ | |
| T (160, 1, 6, 5, 7) \ | |
| T (161, 2, 4, 1, 6) \ | |
| T (162, 3, 7, 1, 6) \ | |
| T (163, 2, 1, 4, 7) \ | |
| T (164, 4, 2, 1, 0) \ | |
| T (165, 0, 7, 1, 3) \ | |
| T (166, 7, 4, 2, 3) \ | |
| T (167, 4, 5, 3, 5) \ | |
| T (168, 1, 5, 6, 7) \ | |
| T (169, 6, 3, 2, 0) \ | |
| T (170, 6, 2, 1, 5) \ | |
| T (171, 5, 6, 1, 3) \ | |
| T (172, 2, 2, 3, 1) \ | |
| T (173, 5, 4, 3, 5) \ | |
| T (174, 7, 3, 4, 1) \ | |
| T (175, 4, 2, 3, 6) \ | |
| T (176, 7, 6, 5, 3) \ | |
| T (177, 7, 2, 0, 6) \ | |
| T (178, 1, 3, 0, 2) \ | |
| T (179, 5, 3, 0, 5) \ | |
| T (180, 4, 6, 7, 2) \ | |
| T (181, 4, 5, 2, 0) \ | |
| T (182, 5, 0, 1, 2) \ | |
| T (183, 2, 3, 4, 1) \ | |
| T (184, 2, 6, 5, 1) \ | |
| T (185, 0, 6, 7, 4) \ | |
| T (186, 4, 1, 6, 2) \ | |
| T (187, 1, 3, 2, 3) \ | |
| T (188, 2, 5, 4, 3) \ | |
| T (189, 2, 5, 6, 4) \ | |
| T (190, 4, 0, 5, 0) \ | |
| T (191, 2, 1, 6, 0) \ | |
| T (192, 7, 5, 0, 1) \ | |
| T (193, 3, 5, 6, 7) \ | |
| T (194, 0, 1, 2, 7) \ | |
| T (195, 3, 1, 0, 2) \ | |
| T (196, 2, 4, 6, 3) \ | |
| T (197, 6, 0, 5, 4) \ | |
| T (198, 6, 5, 7, 1) \ | |
| T (199, 2, 5, 4, 6) \ | |
| T (200, 7, 2, 3, 6) \ | |
| T (201, 3, 5, 7, 3) \ | |
| T (202, 1, 7, 4, 6) \ | |
| T (203, 4, 0, 7, 1) \ | |
| T (204, 7, 1, 0, 4) \ | |
| T (205, 5, 1, 3, 4) \ | |
| T (206, 0, 7, 3, 5) \ | |
| T (207, 3, 2, 1, 5) \ | |
| T (208, 7, 5, 0, 2) \ | |
| T (209, 7, 0, 6, 3) \ | |
| T (210, 6, 6, 7, 7) \ | |
| T (211, 5, 6, 0, 4) \ | |
| T (212, 5, 1, 2, 2) \ | |
| T (213, 7, 1, 2, 6) \ | |
| T (214, 5, 4, 2, 6) \ | |
| T (215, 1, 5, 6, 4) \ | |
| T (216, 7, 0, 2, 1) \ | |
| T (217, 1, 5, 3, 6) \ | |
| T (218, 3, 3, 6, 5) \ | |
| T (219, 2, 3, 5, 7) \ | |
| T (220, 2, 4, 3, 0) \ | |
| T (221, 1, 5, 6, 3) \ | |
| T (222, 7, 5, 1, 5) \ | |
| T (223, 0, 5, 3, 4) \ | |
| T (224, 2, 3, 1, 4) \ | |
| T (225, 2, 3, 5, 1) \ | |
| T (226, 4, 3, 1, 0) \ | |
| T (227, 2, 3, 5, 5) |