%% The sets, Rn, of two layer comparator networks on n channels
%% for 4 =< n =< 16. These are the representatives of the equivalence 
%% classes of saturated networks modulo permutation and with reflections 
%% removed. For details see the paper "Optimal-Depth Sorting Networks" by
%% Daniel Bundala, Michael Codish, Luis Cruz-Filipe, Peter Schneider-Kamp, and 
%% Jakub Zavodny


filter(4,[[c(1,4),c(2,3)],[c(1,2),c(3,4)]]).
filter(4,[[c(1,4),c(2,3)],[c(1,3),c(2,4)]]).

filter(5,[[c(1,5),c(2,4)],[c(1,2),c(4,5)]]).
filter(5,[[c(1,5),c(2,4)],[c(1,4),c(2,5)]]).
filter(5,[[c(1,5),c(2,4)],[c(1,3),c(2,5)]]).
filter(5,[[c(1,5),c(2,4)],[c(3,5),c(1,2)]]).

filter(6,[[c(1,6),c(2,5),c(3,4)],[c(2,3),c(4,5)]]).
filter(6,[[c(1,6),c(2,5),c(3,4)],[c(2,4),c(3,5)]]).
filter(6,[[c(1,6),c(2,5),c(3,4)],[c(1,2),c(3,5)]]).
filter(6,[[c(1,6),c(2,5),c(3,4)],[c(1,2),c(3,5),c(4,6)]]).
filter(6,[[c(1,6),c(2,5),c(3,4)],[c(1,5),c(2,4),c(3,6)]]).

filter(7,[[c(1,7),c(2,6),c(3,5)],[c(1,2),c(3,6),c(5,7)]]).
filter(7,[[c(1,7),c(2,6),c(3,5)],[c(1,6),c(2,5),c(3,7)]]).
filter(7,[[c(1,7),c(2,6),c(3,5)],[c(1,4),c(2,7),c(3,6)]]).
filter(7,[[c(1,7),c(2,6),c(3,5)],[c(1,4),c(6,7),c(2,3)]]).
filter(7,[[c(1,7),c(2,6),c(3,5)],[c(4,7),c(1,2),c(3,6)]]).
filter(7,[[c(1,7),c(2,6),c(3,5)],[c(4,7),c(1,6),c(2,3)]]).
filter(7,[[c(1,7),c(2,6),c(3,5)],[c(1,4),c(2,3),c(5,6)]]).
filter(7,[[c(1,7),c(2,6),c(3,5)],[c(1,4),c(2,5),c(3,6)]]).

filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(2,3),c(4,6),c(5,7)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(2,6),c(3,5),c(4,7)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,2),c(3,7),c(4,6)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,2),c(6,7),c(3,4)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,7),c(2,3),c(4,6)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,2),c(3,7),c(4,6),c(5,8)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,2),c(3,7),c(5,6),c(4,8)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,2),c(6,7),c(3,4),c(5,8)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,7),c(2,6),c(3,5),c(4,8)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,2),c(7,8),c(3,4),c(5,6)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,2),c(7,8),c(3,5),c(4,6)]]).
filter(8,[[c(1,8),c(2,7),c(3,6),c(4,5)],[c(1,7),c(2,8),c(3,5),c(4,6)]]).

filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,2),c(3,8),c(4,7),c(6,9)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,2),c(3,8),c(6,7),c(4,9)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,2),c(7,8),c(3,4),c(6,9)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,8),c(2,7),c(3,6),c(4,9)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,2),c(8,9),c(3,4),c(6,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,2),c(8,9),c(3,6),c(4,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,8),c(2,9),c(3,6),c(4,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,5),c(2,9),c(3,8),c(4,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,5),c(2,9),c(7,8),c(3,4)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,5),c(8,9),c(2,3),c(4,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,5),c(8,9),c(2,7),c(3,4)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(5,9),c(1,2),c(3,8),c(4,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(5,9),c(1,2),c(7,8),c(3,4)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(5,9),c(1,8),c(2,3),c(4,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(5,9),c(1,8),c(2,7),c(3,4)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,5),c(2,9),c(3,4),c(6,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,5),c(2,9),c(3,6),c(4,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(5,9),c(1,2),c(3,4),c(6,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(5,9),c(1,2),c(3,6),c(4,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,5),c(2,3),c(4,7)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,5),c(2,3),c(4,7),c(6,8)]]).
filter(9,[[c(1,9),c(2,8),c(3,7),c(4,6)],[c(1,5),c(2,7),c(3,6),c(4,8)]]).

filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(2,3),c(4,8),c(5,7),c(6,9)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(2,3),c(4,8),c(6,7),c(5,9)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(2,3),c(7,8),c(4,5),c(6,9)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(2,8),c(3,7),c(4,6),c(5,9)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(2,3),c(8,9),c(4,5),c(6,7)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(2,3),c(8,9),c(4,6),c(5,7)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(2,8),c(3,9),c(4,6),c(5,7)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(3,9),c(4,8),c(5,7)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(3,9),c(7,8),c(4,5)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(8,9),c(3,4),c(5,7)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,9),c(2,3),c(4,8),c(5,7)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(3,9),c(4,5),c(6,7)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(3,9),c(4,6),c(5,7)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(3,9),c(4,8),c(5,7),c(6,10)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(3,9),c(4,8),c(6,7),c(5,10)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(3,9),c(7,8),c(4,5),c(6,10)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,9),c(2,8),c(3,7),c(4,6),c(5,10)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(9,10),c(3,4),c(5,7),c(6,8)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,2),c(9,10),c(3,7),c(4,6),c(5,8)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,9),c(2,10),c(3,4),c(5,7),c(6,8)]]).
filter(10,[[c(1,10),c(2,9),c(3,8),c(4,7),c(5,6)],[c(1,9),c(2,10),c(3,7),c(4,6),c(5,8)]]).

filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,2),c(3,10),c(4,9),c(5,8),c(7,11)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,2),c(3,10),c(4,9),c(7,8),c(5,11)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,2),c(3,10),c(8,9),c(4,5),c(7,11)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,10),c(2,9),c(3,8),c(4,7),c(5,11)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,2),c(10,11),c(3,4),c(5,8),c(7,9)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,2),c(10,11),c(3,8),c(4,7),c(5,9)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,10),c(2,11),c(3,4),c(5,8),c(7,9)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,10),c(2,11),c(3,8),c(4,7),c(5,9)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,11),c(3,10),c(4,9),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,11),c(3,10),c(8,9),c(4,5)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,11),c(9,10),c(3,4),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,11),c(9,10),c(3,8),c(4,5)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(10,11),c(2,3),c(4,9),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(10,11),c(2,3),c(8,9),c(4,5)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(10,11),c(2,9),c(3,4),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(10,11),c(2,9),c(3,8),c(4,5)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,2),c(3,10),c(4,9),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,2),c(3,10),c(8,9),c(4,5)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,2),c(9,10),c(3,4),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,2),c(9,10),c(3,8),c(4,5)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,10),c(2,3),c(4,9),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,10),c(2,3),c(8,9),c(4,5)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,10),c(2,9),c(3,4),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,10),c(2,9),c(3,8),c(4,5)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,11),c(3,10),c(4,5),c(7,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,11),c(3,10),c(4,7),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(10,11),c(2,3),c(4,5),c(7,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(10,11),c(2,3),c(4,7),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,2),c(3,10),c(4,5),c(7,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,2),c(3,10),c(4,7),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,10),c(2,3),c(4,5),c(7,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,10),c(2,3),c(4,7),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,11),c(3,4),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,11),c(3,4),c(5,8),c(7,9)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,11),c(3,8),c(4,7),c(5,9)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,2),c(3,4),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,2),c(3,4),c(5,8),c(7,9)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(6,11),c(1,2),c(3,8),c(4,7),c(5,9)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,3),c(4,9),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,3),c(8,9),c(4,5)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,9),c(3,4),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,3),c(4,9),c(5,8),c(7,10)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,3),c(4,9),c(7,8),c(5,10)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,3),c(8,9),c(4,5),c(7,10)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,9),c(3,8),c(4,7),c(5,10)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,3),c(9,10),c(4,5),c(7,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,3),c(9,10),c(4,7),c(5,8)]]).
filter(11,[[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7)],[c(1,6),c(2,9),c(3,10),c(4,7),c(5,8)]]).

filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(2,3),c(4,10),c(5,9),c(6,8),c(7,11)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(2,3),c(4,10),c(5,9),c(7,8),c(6,11)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(2,3),c(4,10),c(8,9),c(5,6),c(7,11)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(2,10),c(3,9),c(4,8),c(5,7),c(6,11)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(2,3),c(10,11),c(4,5),c(6,8),c(7,9)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(2,3),c(10,11),c(4,8),c(5,7),c(6,9)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(2,10),c(3,11),c(4,5),c(6,8),c(7,9)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(2,10),c(3,11),c(4,8),c(5,7),c(6,9)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,10),c(5,9),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,10),c(8,9),c(5,6)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(9,10),c(4,5),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(9,10),c(4,8),c(5,6)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(10,11),c(3,4),c(5,9),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(10,11),c(3,4),c(8,9),c(5,6)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(10,11),c(3,9),c(4,5),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,3),c(4,10),c(5,9),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,3),c(9,10),c(4,5),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,10),c(3,4),c(5,9),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,10),c(5,6),c(7,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,10),c(5,7),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(10,11),c(3,4),c(5,6),c(7,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(10,11),c(3,4),c(5,7),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,3),c(4,10),c(5,6),c(7,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,3),c(4,10),c(5,7),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,5),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,5),c(6,8),c(7,9)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,8),c(5,7),c(6,9)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,10),c(5,9),c(6,8),c(7,12)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,10),c(5,9),c(7,8),c(6,12)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,10),c(8,9),c(5,6),c(7,12)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(4,10),c(8,9),c(5,7),c(6,12)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(9,10),c(4,5),c(6,8),c(7,12)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(9,10),c(4,5),c(7,8),c(6,12)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(10,11),c(3,4),c(8,9),c(5,6),c(7,12)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,10),c(3,9),c(4,8),c(5,7),c(6,12)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(10,12),c(4,5),c(6,8),c(7,9)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(3,11),c(10,12),c(4,8),c(5,7),c(6,9)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,10),c(3,12),c(4,8),c(5,7),c(6,9)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(11,12),c(3,4),c(5,9),c(6,8),c(7,10)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(11,12),c(3,4),c(5,9),c(7,8),c(6,10)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(11,12),c(3,4),c(8,9),c(5,6),c(7,10)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(11,12),c(3,9),c(4,8),c(5,7),c(6,10)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(11,12),c(3,4),c(9,10),c(5,6),c(7,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(11,12),c(3,4),c(9,10),c(5,7),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,2),c(11,12),c(3,9),c(4,10),c(5,7),c(6,8)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,12),c(3,4),c(5,9),c(6,8),c(7,10)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,12),c(3,4),c(5,9),c(7,8),c(6,10)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,12),c(3,4),c(8,9),c(5,6),c(7,10)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,12),c(3,9),c(4,8),c(5,7),c(6,10)]]).
filter(12,[[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,7)],[c(1,11),c(2,12),c(3,9),c(4,10),c(5,7),c(6,8)]]).

filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(3,12),c(4,11),c(5,10),c(6,9),c(8,13)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(3,12),c(4,11),c(5,10),c(8,9),c(6,13)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(3,12),c(4,11),c(9,10),c(5,6),c(8,13)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(3,12),c(4,11),c(9,10),c(5,8),c(6,13)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(3,12),c(10,11),c(4,5),c(6,9),c(8,13)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(3,12),c(10,11),c(4,5),c(8,9),c(6,13)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(11,12),c(3,4),c(9,10),c(5,6),c(8,13)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,12),c(2,11),c(3,10),c(4,9),c(5,8),c(6,13)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(3,12),c(11,13),c(4,5),c(6,9),c(8,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(3,12),c(11,13),c(4,9),c(5,8),c(6,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,12),c(2,11),c(3,13),c(4,9),c(5,8),c(6,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(12,13),c(3,4),c(5,10),c(6,9),c(8,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(12,13),c(3,4),c(5,10),c(8,9),c(6,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(12,13),c(3,4),c(9,10),c(5,6),c(8,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(12,13),c(3,10),c(4,9),c(5,8),c(6,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(12,13),c(3,4),c(10,11),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(12,13),c(3,4),c(10,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,2),c(12,13),c(3,10),c(4,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,12),c(2,13),c(3,4),c(5,10),c(6,9),c(8,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,12),c(2,13),c(3,4),c(5,10),c(8,9),c(6,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,12),c(2,13),c(3,4),c(9,10),c(5,6),c(8,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,12),c(2,13),c(3,10),c(4,9),c(5,8),c(6,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,12),c(2,13),c(3,10),c(4,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,12),c(4,11),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,12),c(10,11),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,12),c(10,11),c(4,9),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(11,12),c(3,4),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(11,12),c(3,4),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(11,12),c(3,10),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(11,12),c(3,10),c(4,9),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,3),c(4,11),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,3),c(4,11),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,3),c(10,11),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,3),c(10,11),c(4,9),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,11),c(3,4),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,11),c(3,4),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,11),c(3,10),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,11),c(3,10),c(4,9),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,12),c(4,11),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,12),c(4,11),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,12),c(10,11),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,12),c(10,11),c(4,9),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(11,12),c(3,4),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(11,12),c(3,4),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(11,12),c(3,10),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(11,12),c(3,10),c(4,9),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,3),c(4,11),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,3),c(4,11),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,3),c(10,11),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,3),c(10,11),c(4,9),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,11),c(3,4),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,11),c(3,4),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,11),c(3,10),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,11),c(3,10),c(4,9),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,12),c(4,11),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,12),c(4,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(11,12),c(3,4),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(11,12),c(3,4),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,3),c(4,11),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,3),c(4,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,11),c(3,4),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,11),c(3,4),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,12),c(4,11),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,12),c(4,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(11,12),c(3,4),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(11,12),c(3,4),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,3),c(4,11),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,3),c(4,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,11),c(3,4),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,11),c(3,4),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,12),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,12),c(4,5),c(6,9),c(8,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,12),c(4,9),c(5,8),c(6,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,3),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,3),c(4,5),c(6,9),c(8,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(12,13),c(2,3),c(4,9),c(5,8),c(6,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,12),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,12),c(4,5),c(6,9),c(8,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,12),c(4,9),c(5,8),c(6,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,3),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,3),c(4,5),c(6,9),c(8,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,12),c(2,3),c(4,9),c(5,8),c(6,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,4),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,4),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,10),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,4),c(5,10),c(6,9),c(8,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,4),c(5,10),c(8,9),c(6,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,4),c(9,10),c(5,6),c(8,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,10),c(4,9),c(5,8),c(6,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,4),c(10,11),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,4),c(10,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,13),c(3,10),c(4,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,4),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,4),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,10),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,4),c(5,10),c(6,9),c(8,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,4),c(5,10),c(8,9),c(6,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,4),c(9,10),c(5,6),c(8,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,10),c(4,9),c(5,8),c(6,11)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,4),c(10,11),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,4),c(10,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(7,13),c(1,2),c(3,10),c(4,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(4,11),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(4,11),c(9,10),c(5,6)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(10,11),c(4,5),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,11),c(3,4),c(5,10),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(4,11),c(5,6),c(8,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(4,11),c(5,8),c(6,9)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(4,11),c(5,10),c(6,9),c(8,12)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(4,11),c(5,10),c(8,9),c(6,12)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(4,11),c(9,10),c(5,6),c(8,12)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,11),c(3,10),c(4,9),c(5,8),c(6,12)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(11,12),c(4,5),c(6,9),c(8,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,3),c(11,12),c(4,9),c(5,8),c(6,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,11),c(3,12),c(4,5),c(6,9),c(8,10)]]).
filter(13,[[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8)],[c(1,7),c(2,11),c(3,12),c(4,9),c(5,8),c(6,10)]]).

filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(4,12),c(5,11),c(6,10),c(7,9),c(8,13)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(4,12),c(5,11),c(6,10),c(8,9),c(7,13)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(4,12),c(5,11),c(9,10),c(6,7),c(8,13)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(4,12),c(5,11),c(9,10),c(6,8),c(7,13)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(4,12),c(10,11),c(5,6),c(7,9),c(8,13)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(4,12),c(10,11),c(5,6),c(8,9),c(7,13)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(11,12),c(4,5),c(9,10),c(6,7),c(8,13)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,12),c(3,11),c(4,10),c(5,9),c(6,8),c(7,13)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(4,12),c(11,13),c(5,6),c(7,9),c(8,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(4,12),c(11,13),c(5,9),c(6,8),c(7,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,12),c(3,11),c(4,13),c(5,9),c(6,8),c(7,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(12,13),c(4,5),c(6,10),c(7,9),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(12,13),c(4,5),c(6,10),c(8,9),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(12,13),c(4,5),c(9,10),c(6,7),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(12,13),c(4,10),c(5,9),c(6,8),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(12,13),c(4,5),c(10,11),c(6,7),c(8,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(12,13),c(4,5),c(10,11),c(6,8),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,3),c(12,13),c(4,10),c(5,11),c(6,8),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,12),c(3,13),c(4,5),c(6,10),c(7,9),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,12),c(3,13),c(4,5),c(6,10),c(8,9),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,12),c(3,13),c(4,5),c(9,10),c(6,7),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,12),c(3,13),c(4,10),c(5,9),c(6,8),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(2,12),c(3,13),c(4,10),c(5,11),c(6,8),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,11),c(9,10),c(6,7)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(10,11),c(5,6),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(10,11),c(5,9),c(6,7)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(11,12),c(4,5),c(6,10),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(11,12),c(4,5),c(9,10),c(6,7)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(11,12),c(4,10),c(5,6),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(12,13),c(3,4),c(5,11),c(6,10),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(12,13),c(3,4),c(5,11),c(9,10),c(6,7)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(12,13),c(3,4),c(10,11),c(5,6),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(12,13),c(3,11),c(4,5),c(6,10),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(12,13),c(3,11),c(4,10),c(5,6),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,3),c(4,12),c(5,11),c(6,10),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,3),c(4,12),c(10,11),c(5,6),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,3),c(11,12),c(4,5),c(6,10),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,12),c(3,4),c(5,11),c(6,10),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,11),c(6,7),c(8,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,11),c(6,8),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(11,12),c(4,5),c(6,7),c(8,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(11,12),c(4,5),c(6,8),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(12,13),c(3,4),c(5,11),c(6,7),c(8,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(12,13),c(3,4),c(5,11),c(6,8),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,3),c(4,12),c(5,11),c(6,7),c(8,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,3),c(4,12),c(5,11),c(6,8),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,6),c(7,9),c(8,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,9),c(6,8),c(7,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(12,13),c(3,4),c(5,6),c(7,9),c(8,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(12,13),c(3,4),c(5,9),c(6,8),c(7,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,3),c(4,12),c(5,6),c(7,9),c(8,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,3),c(4,12),c(5,9),c(6,8),c(7,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,5),c(6,10),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,5),c(9,10),c(6,7)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,10),c(5,6),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,5),c(6,10),c(7,9),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,5),c(6,10),c(8,9),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,5),c(9,10),c(6,7),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,10),c(5,9),c(6,8),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,5),c(10,11),c(6,7),c(8,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,5),c(10,11),c(6,8),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,10),c(5,11),c(6,8),c(7,9)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9),c(8,14)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,11),c(6,10),c(8,9),c(7,14)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,11),c(9,10),c(6,7),c(8,14)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(5,11),c(9,10),c(6,8),c(7,14)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(10,11),c(5,6),c(7,9),c(8,14)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(4,12),c(10,11),c(5,6),c(8,9),c(7,14)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(11,12),c(4,5),c(6,10),c(8,9),c(7,14)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(11,12),c(4,5),c(9,10),c(6,7),c(8,14)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,12),c(3,11),c(4,10),c(5,9),c(6,8),c(7,14)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(12,14),c(4,5),c(6,10),c(7,9),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(12,14),c(4,5),c(6,10),c(8,9),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(12,14),c(4,5),c(9,10),c(6,7),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(3,13),c(12,14),c(4,10),c(5,9),c(6,8),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,12),c(3,14),c(4,5),c(6,10),c(7,9),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,12),c(3,14),c(4,5),c(6,10),c(8,9),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,12),c(3,14),c(4,5),c(9,10),c(6,7),c(8,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,12),c(3,14),c(4,10),c(5,9),c(6,8),c(7,11)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(13,14),c(3,4),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(13,14),c(3,4),c(5,11),c(6,10),c(8,9),c(7,12)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(13,14),c(3,4),c(5,11),c(9,10),c(6,7),c(8,12)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(13,14),c(3,11),c(4,10),c(5,9),c(6,8),c(7,12)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(13,14),c(3,4),c(11,12),c(5,6),c(7,9),c(8,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(13,14),c(3,4),c(11,12),c(5,9),c(6,8),c(7,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(13,14),c(3,11),c(4,12),c(5,6),c(7,9),c(8,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,2),c(13,14),c(3,11),c(4,12),c(5,9),c(6,8),c(7,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,14),c(3,4),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,14),c(3,4),c(5,11),c(6,10),c(8,9),c(7,12)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,14),c(3,4),c(5,11),c(9,10),c(6,7),c(8,12)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,14),c(3,11),c(4,10),c(5,9),c(6,8),c(7,12)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,14),c(3,11),c(4,12),c(5,6),c(7,9),c(8,10)]]).
filter(14,[[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,8)],[c(1,13),c(2,14),c(3,11),c(4,12),c(5,9),c(6,8),c(7,10)]]).

filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(9,15)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(4,13),c(5,12),c(6,11),c(9,10),c(7,15)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(4,13),c(5,12),c(10,11),c(6,7),c(9,15)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(4,13),c(5,12),c(10,11),c(6,9),c(7,15)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(4,13),c(11,12),c(5,6),c(7,10),c(9,15)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(4,13),c(11,12),c(5,6),c(9,10),c(7,15)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(12,13),c(4,5),c(6,11),c(9,10),c(7,15)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(12,13),c(4,5),c(10,11),c(6,7),c(9,15)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,15)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(13,15),c(4,5),c(6,11),c(7,10),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(13,15),c(4,5),c(6,11),c(9,10),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(13,15),c(4,5),c(10,11),c(6,7),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(3,14),c(13,15),c(4,11),c(5,10),c(6,9),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,13),c(3,15),c(4,5),c(6,11),c(7,10),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,13),c(3,15),c(4,5),c(6,11),c(9,10),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,13),c(3,15),c(4,5),c(10,11),c(6,7),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,13),c(3,15),c(4,11),c(5,10),c(6,9),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(14,15),c(3,4),c(5,12),c(6,11),c(7,10),c(9,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(14,15),c(3,4),c(5,12),c(6,11),c(9,10),c(7,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(14,15),c(3,4),c(5,12),c(10,11),c(6,7),c(9,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(14,15),c(3,12),c(4,11),c(5,10),c(6,9),c(7,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(14,15),c(3,4),c(12,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(14,15),c(3,4),c(12,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(14,15),c(3,12),c(4,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,2),c(14,15),c(3,12),c(4,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,15),c(3,4),c(5,12),c(6,11),c(7,10),c(9,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,15),c(3,4),c(5,12),c(6,11),c(9,10),c(7,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,15),c(3,4),c(5,12),c(10,11),c(6,7),c(9,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,15),c(3,12),c(4,11),c(5,10),c(6,9),c(7,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,15),c(3,12),c(4,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,14),c(2,15),c(3,12),c(4,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,13),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,13),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,13),c(11,12),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(12,13),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(12,13),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(12,13),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(12,13),c(4,11),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,4),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,4),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,4),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,4),c(11,12),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,12),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,12),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,12),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,12),c(4,11),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,13),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,13),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,13),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,13),c(11,12),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(12,13),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(12,13),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(12,13),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(12,13),c(4,11),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,4),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,4),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,4),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,4),c(11,12),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,12),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,12),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,12),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,12),c(4,11),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,13),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,13),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,13),c(11,12),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(12,13),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(12,13),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(12,13),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(12,13),c(4,11),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,4),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,4),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,4),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,4),c(11,12),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,12),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,12),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,12),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,12),c(4,11),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,13),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,13),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,13),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,13),c(11,12),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(12,13),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(12,13),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(12,13),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(12,13),c(4,11),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,4),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,4),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,4),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,4),c(11,12),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,12),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,12),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,12),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,12),c(4,11),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,13),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,13),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(12,13),c(4,5),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(12,13),c(4,5),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,4),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,4),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,12),c(4,5),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,12),c(4,5),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,13),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,13),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(12,13),c(4,5),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(12,13),c(4,5),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,4),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,4),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,12),c(4,5),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,12),c(4,5),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,13),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,13),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(12,13),c(4,5),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(12,13),c(4,5),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,4),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,4),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,12),c(4,5),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,12),c(4,5),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,13),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,13),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(12,13),c(4,5),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(12,13),c(4,5),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,4),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,4),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,12),c(4,5),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,12),c(4,5),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,13),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,4),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,4),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(13,14),c(3,4),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,13),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,4),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,4),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,13),c(3,4),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,13),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,4),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,4),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(13,14),c(3,4),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,13),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,4),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,4),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,13),c(3,4),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,5),c(6,11),c(7,10),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,5),c(6,11),c(9,10),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,5),c(10,11),c(6,7),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,11),c(5,10),c(6,9),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,5),c(11,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,5),c(11,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,14),c(4,11),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,5),c(6,11),c(7,10),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,5),c(6,11),c(9,10),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,5),c(10,11),c(6,7),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,11),c(5,10),c(6,9),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,5),c(11,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,5),c(11,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(14,15),c(2,3),c(4,11),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,5),c(6,11),c(7,10),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,5),c(6,11),c(9,10),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,5),c(10,11),c(6,7),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,11),c(5,10),c(6,9),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,5),c(11,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,5),c(11,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,14),c(4,11),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,5),c(6,11),c(7,10),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,5),c(6,11),c(9,10),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,5),c(10,11),c(6,7),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,11),c(5,10),c(6,9),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,5),c(11,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,5),c(11,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,14),c(2,3),c(4,11),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,12),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(5,12),c(6,11),c(7,10),c(9,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(5,12),c(6,11),c(9,10),c(7,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(5,12),c(10,11),c(6,7),c(9,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,12),c(4,11),c(5,10),c(6,9),c(7,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(12,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,4),c(12,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,12),c(4,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,15),c(3,12),c(4,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,12),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(5,12),c(6,11),c(7,10),c(9,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(5,12),c(6,11),c(9,10),c(7,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(5,12),c(10,11),c(6,7),c(9,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,12),c(4,11),c(5,10),c(6,9),c(7,13)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(12,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,4),c(12,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,12),c(4,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(8,15),c(1,2),c(3,12),c(4,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,12),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(11,12),c(5,10),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(12,13),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(12,13),c(4,5),c(10,11),c(6,7)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(12,13),c(4,11),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,4),c(5,12),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,4),c(11,12),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,12),c(4,5),c(6,11),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(12,13),c(4,5),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(12,13),c(4,5),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,4),c(5,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,4),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,6),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,12),c(6,11),c(7,10),c(9,14)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,12),c(6,11),c(9,10),c(7,14)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,12),c(10,11),c(6,7),c(9,14)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(5,12),c(10,11),c(6,9),c(7,14)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(11,12),c(5,6),c(7,10),c(9,14)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(11,12),c(5,6),c(9,10),c(7,14)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(11,12),c(5,10),c(6,7),c(9,14)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(12,13),c(4,5),c(10,11),c(6,7),c(9,14)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,12),c(4,11),c(5,10),c(6,9),c(7,14)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(12,14),c(5,6),c(7,10),c(9,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(4,13),c(12,14),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,12),c(4,14),c(5,10),c(6,9),c(7,11)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(13,14),c(4,5),c(6,11),c(7,10),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(13,14),c(4,5),c(6,11),c(9,10),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(13,14),c(4,5),c(10,11),c(6,7),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(13,14),c(4,11),c(5,10),c(6,9),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(13,14),c(4,5),c(11,12),c(6,7),c(9,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(13,14),c(4,5),c(11,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,3),c(13,14),c(4,11),c(5,12),c(6,9),c(7,10)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,14),c(4,5),c(6,11),c(7,10),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,14),c(4,5),c(6,11),c(9,10),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,14),c(4,5),c(10,11),c(6,7),c(9,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,14),c(4,11),c(5,10),c(6,9),c(7,12)]]).
filter(15,[[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9)],[c(1,8),c(2,13),c(3,14),c(4,11),c(5,12),c(6,9),c(7,10)]]).

filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(5,13),c(6,12),c(7,11),c(8,10),c(9,15)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(5,13),c(6,12),c(7,11),c(9,10),c(8,15)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(5,13),c(6,12),c(10,11),c(7,8),c(9,15)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(5,13),c(6,12),c(10,11),c(7,9),c(8,15)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(5,13),c(11,12),c(6,7),c(8,10),c(9,15)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(5,13),c(11,12),c(6,7),c(9,10),c(8,15)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(12,13),c(5,6),c(7,11),c(9,10),c(8,15)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(12,13),c(5,6),c(10,11),c(7,8),c(9,15)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9),c(8,15)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(13,15),c(5,6),c(7,11),c(8,10),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(13,15),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(13,15),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(4,14),c(13,15),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,13),c(4,15),c(5,6),c(7,11),c(8,10),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,13),c(4,15),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,13),c(4,15),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,13),c(4,15),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(14,15),c(4,5),c(6,12),c(7,11),c(8,10),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(14,15),c(4,5),c(6,12),c(7,11),c(9,10),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(14,15),c(4,5),c(6,12),c(10,11),c(7,8),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(14,15),c(4,12),c(5,11),c(6,10),c(7,9),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(14,15),c(4,5),c(12,13),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(14,15),c(4,5),c(12,13),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(14,15),c(4,12),c(5,13),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,3),c(14,15),c(4,12),c(5,13),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,15),c(4,5),c(6,12),c(7,11),c(8,10),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,15),c(4,5),c(6,12),c(7,11),c(9,10),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,15),c(4,5),c(6,12),c(10,11),c(7,8),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,15),c(4,12),c(5,11),c(6,10),c(7,9),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,15),c(4,12),c(5,13),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(2,14),c(3,15),c(4,12),c(5,13),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,12),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,12),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(11,12),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(11,12),c(6,10),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,6),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,6),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,11),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,11),c(6,10),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(6,12),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(6,12),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(11,12),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(11,12),c(6,10),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,12),c(5,6),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,12),c(5,6),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,12),c(5,11),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,13),c(6,12),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,13),c(6,12),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,13),c(11,12),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(12,13),c(5,6),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(12,13),c(5,6),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(12,13),c(5,11),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,13),c(4,5),c(6,12),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,13),c(4,5),c(6,12),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,13),c(4,5),c(11,12),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,13),c(4,12),c(5,6),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,13),c(4,12),c(5,11),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,13),c(6,12),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,13),c(11,12),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(12,13),c(5,6),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(12,13),c(5,11),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(13,14),c(4,5),c(6,12),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(13,14),c(4,5),c(11,12),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(13,14),c(4,12),c(5,6),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,4),c(5,13),c(6,12),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,4),c(12,13),c(5,6),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,13),c(4,5),c(6,12),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,6),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,6),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(6,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,12),c(5,6),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,12),c(5,6),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,13),c(6,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,13),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(12,13),c(5,6),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(12,13),c(5,6),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,13),c(4,5),c(6,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,13),c(4,5),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,13),c(6,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,13),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(13,14),c(4,5),c(6,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(13,14),c(4,5),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,4),c(5,13),c(6,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,4),c(5,13),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,13),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,13),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,13),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,13),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,6),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,6),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,11),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,6),c(7,11),c(8,10),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,6),c(11,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,6),c(11,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,11),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,6),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,11),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,6),c(7,11),c(8,10),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,6),c(11,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,6),c(11,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(5,11),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,11),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,6),c(7,11),c(8,10),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,6),c(11,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,6),c(11,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,3),c(4,14),c(5,11),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(6,12),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(6,12),c(10,11),c(7,8)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(11,12),c(6,7),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,12),c(5,6),c(7,11),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(6,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(6,12),c(7,11),c(8,10),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(6,12),c(7,11),c(9,10),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(6,12),c(10,11),c(7,8),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,12),c(5,11),c(6,10),c(7,9),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(12,13),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,5),c(12,13),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,12),c(5,13),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,12),c(5,13),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,12),c(7,11),c(8,10),c(9,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,12),c(7,11),c(9,10),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,12),c(10,11),c(7,8),c(9,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(6,12),c(10,11),c(7,9),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(11,12),c(6,7),c(8,10),c(9,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(11,12),c(6,7),c(9,10),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(5,13),c(11,12),c(6,10),c(7,9),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,6),c(7,11),c(8,10),c(9,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,6),c(7,11),c(9,10),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,6),c(10,11),c(7,8),c(9,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,6),c(10,11),c(7,9),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(12,13),c(5,11),c(6,7),c(9,10),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(6,12),c(10,11),c(7,8),c(9,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(11,12),c(6,7),c(9,10),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,5),c(11,12),c(6,10),c(7,8),c(9,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,12),c(5,6),c(7,11),c(9,10),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(12,13),c(5,6),c(10,11),c(7,8),c(9,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9),c(8,16)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(13,16),c(5,6),c(7,11),c(8,10),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(13,16),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(13,16),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(4,14),c(13,16),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,16),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,16),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(13,14),c(4,16),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(13,16),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(14,15),c(3,4),c(13,16),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,13),c(4,16),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(14,16),c(4,5),c(6,12),c(7,11),c(8,10),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(14,16),c(4,5),c(6,12),c(7,11),c(9,10),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(14,16),c(4,5),c(6,12),c(10,11),c(7,8),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(3,15),c(14,16),c(4,12),c(5,11),c(6,10),c(7,9),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,16),c(4,5),c(6,12),c(7,11),c(8,10),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,16),c(4,5),c(6,12),c(7,11),c(9,10),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,16),c(4,5),c(6,12),c(10,11),c(7,8),c(9,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,14),c(3,16),c(4,12),c(5,11),c(6,10),c(7,9),c(8,13)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(5,13),c(6,12),c(7,11),c(8,10),c(9,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(5,13),c(6,12),c(7,11),c(9,10),c(8,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(5,13),c(6,12),c(10,11),c(7,8),c(9,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(5,13),c(6,12),c(10,11),c(7,9),c(8,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(5,13),c(11,12),c(6,7),c(8,10),c(9,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(5,13),c(11,12),c(6,7),c(9,10),c(8,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(12,13),c(5,6),c(10,11),c(7,8),c(9,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9),c(8,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(5,13),c(12,14),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(5,13),c(12,14),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,13),c(4,12),c(5,14),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(13,14),c(5,6),c(7,11),c(8,10),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(13,14),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(13,14),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(13,14),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(13,14),c(5,6),c(11,12),c(7,8),c(9,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(13,14),c(5,6),c(11,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,4),c(13,14),c(5,11),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,13),c(4,14),c(5,6),c(7,11),c(8,10),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,13),c(4,14),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,13),c(4,14),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,13),c(4,14),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,2),c(15,16),c(3,13),c(4,14),c(5,11),c(6,12),c(7,9),c(8,10)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,4),c(5,13),c(6,12),c(7,11),c(8,10),c(9,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,4),c(5,13),c(6,12),c(7,11),c(9,10),c(8,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,4),c(5,13),c(6,12),c(10,11),c(7,8),c(9,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,4),c(5,13),c(6,12),c(10,11),c(7,9),c(8,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,4),c(5,13),c(11,12),c(6,7),c(8,10),c(9,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,4),c(5,13),c(11,12),c(6,7),c(9,10),c(8,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,4),c(12,13),c(5,6),c(10,11),c(7,8),c(9,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,13),c(4,12),c(5,11),c(6,10),c(7,9),c(8,14)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,4),c(5,13),c(12,14),c(6,7),c(8,10),c(9,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,4),c(5,13),c(12,14),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,13),c(4,12),c(5,14),c(6,10),c(7,9),c(8,11)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,13),c(4,14),c(5,6),c(7,11),c(8,10),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,13),c(4,14),c(5,6),c(7,11),c(9,10),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,13),c(4,14),c(5,6),c(10,11),c(7,8),c(9,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,13),c(4,14),c(5,11),c(6,10),c(7,9),c(8,12)]]).
filter(16,[[c(1,16),c(2,15),c(3,14),c(4,13),c(5,12),c(6,11),c(7,10),c(8,9)],[c(1,15),c(2,16),c(3,13),c(4,14),c(5,11),c(6,12),c(7,9),c(8,10)]]).
