unique = (
(0, 2, 3, 7, 13, 15, 4, 11),
(0, 2, 3, 8, 12, 15, 4, 11),
(0, 2, 3, 12, 13, 15, 4, 11),
(0, 2, 7, 8, 12, 15, 4, 11),
(0, 2, 7, 12, 13, 15, 4, 11),
(0, 2, 8, 10, 7, 9, 11, 12),
(0, 2, 8, 10, 7, 12, 11, 15),
(0, 2, 8, 12, 11, 15, 9, 13),
(0, 2, 8, 15, 7, 12, 9, 11),
(0, 3, 4, 7, 12, 15, 8, 11),
(0, 3, 4, 8, 9, 14, 7, 12),
(0, 3, 4, 8, 12, 15, 7, 11),
(0, 3, 4, 11, 12, 15, 7, 8),
(0, 3, 4, 15, 9, 14, 7, 11),
(0, 3, 4, 15, 9, 14, 8, 11),
(0, 3, 4, 15, 12, 14, 7, 8),
(0, 3, 8, 11, 9, 14, 4, 7),
(0, 3, 8, 11, 9, 14, 7, 12),
(0, 3, 8, 11, 12, 15, 4, 7),
(0, 3, 8, 12, 9, 14, 4, 7),
(0, 3, 8, 12, 13, 15, 2, 11),
(0, 3, 12, 15, 9, 14, 7, 11),
(0, 3, 12, 15, 9, 14, 8, 11),
(0, 7, 3, 8, 12, 13, 4, 11),
(0, 7, 3, 15, 12, 14, 1, 8),
(0, 7, 8, 15, 12, 13, 4, 11),
(0, 15, 2, 7, 5, 10, 3, 12),
(0, 15, 2, 8, 5, 10, 3, 12),
(0, 15, 2, 13, 5, 10, 3, 12),
(1, 7, 3, 4, 12, 14, 0, 8),
(1, 7, 3, 4, 12, 14, 8, 15),
(1, 7, 3, 11, 12, 14, 0, 8),
(1, 7, 3, 11, 12, 14, 8, 15),
(1, 7, 4, 11, 12, 14, 0, 8),
(1, 7, 4, 11, 12, 14, 8, 15),
(1, 14, 3, 12, 4, 11, 2, 13),
)