The first, 4, terms of all Wilf classes avoiding a single pattern of length, 3 Up to trivial symmetry, there are , 2, distinct patterns of length, 3 but judging from the first, 4, terms, there are only, 1, of them. Here there are, arranged in lexicographic order [[1, 2, 3], [5, 14]] [1, 3, 2], ` " ` This took, 0.001, seconds. The first, 5, terms of all Wilf classes avoiding a single pattern of length, 4 Up to trivial symmetry, there are , 7, distinct patterns of length, 4 but judging from the first, 5, terms, there are only, 1, of them. Here there are, arranged in lexicographic order [[1, 2, 3, 4], [23, 103]] [1, 2, 4, 3], ` " ` [1, 3, 2, 4], ` " ` [1, 3, 4, 2], ` " ` [1, 4, 3, 2], ` " ` [2, 1, 4, 3], ` " ` [2, 4, 1, 3], ` " ` This took, 0.004, seconds. The first, 6, terms of all Wilf classes avoiding a single pattern of length, 5 Up to trivial symmetry, there are , 23, distinct patterns of length, 5 but judging from the first, 6, terms, there are only, 1, of them. Here there are, arranged in lexicographic order [[1, 2, 3, 4, 5], [119, 694]] [1, 2, 3, 5, 4], ` " ` [1, 2, 4, 3, 5], ` " ` [1, 2, 4, 5, 3], ` " ` [1, 2, 5, 4, 3], ` " ` [1, 3, 2, 5, 4], ` " ` [1, 3, 4, 2, 5], ` " ` [1, 3, 4, 5, 2], ` " ` [1, 3, 5, 2, 4], ` " ` [1, 3, 5, 4, 2], ` " ` [1, 4, 3, 2, 5], ` " ` [1, 4, 3, 5, 2], ` " ` [1, 4, 5, 2, 3], ` " ` [1, 4, 5, 3, 2], ` " ` [1, 5, 3, 4, 2], ` " ` [1, 5, 4, 3, 2], ` " ` [2, 1, 3, 5, 4], ` " ` [2, 1, 4, 5, 3], ` " ` [2, 1, 5, 4, 3], ` " ` [2, 3, 5, 1, 4], ` " ` [2, 4, 1, 5, 3], ` " ` [2, 4, 5, 1, 3], ` " ` [2, 5, 3, 1, 4], ` " ` This took, 0.022, seconds. The first, 7, terms of all Wilf classes avoiding a single pattern of length, 6 Up to trivial symmetry, there are , 115, distinct patterns of length, 6 but judging from the first, 7, terms, there are only, 1, of them. Here there are, arranged in lexicographic order [[1, 2, 3, 4, 5, 6], [719, 5003]] [1, 2, 3, 4, 6, 5], ` " ` [1, 2, 3, 5, 4, 6], ` " ` [1, 2, 3, 5, 6, 4], ` " ` [1, 2, 3, 6, 5, 4], ` " ` [1, 2, 4, 3, 5, 6], ` " ` [1, 2, 4, 3, 6, 5], ` " ` [1, 2, 4, 5, 3, 6], ` " ` [1, 2, 4, 5, 6, 3], ` " ` [1, 2, 4, 6, 3, 5], ` " ` [1, 2, 4, 6, 5, 3], ` " ` [1, 2, 5, 4, 3, 6], ` " ` [1, 2, 5, 4, 6, 3], ` " ` [1, 2, 5, 6, 3, 4], ` " ` [1, 2, 5, 6, 4, 3], ` " ` [1, 2, 6, 4, 5, 3], ` " ` [1, 2, 6, 5, 4, 3], ` " ` [1, 3, 2, 4, 6, 5], ` " ` [1, 3, 2, 5, 4, 6], ` " ` [1, 3, 2, 5, 6, 4], ` " ` [1, 3, 2, 6, 5, 4], ` " ` [1, 3, 4, 2, 6, 5], ` " ` [1, 3, 4, 5, 2, 6], ` " ` [1, 3, 4, 5, 6, 2], ` " ` [1, 3, 4, 6, 2, 5], ` " ` [1, 3, 4, 6, 5, 2], ` " ` [1, 3, 5, 2, 4, 6], ` " ` [1, 3, 5, 2, 6, 4], ` " ` [1, 3, 5, 4, 2, 6], ` " ` [1, 3, 5, 4, 6, 2], ` " ` [1, 3, 5, 6, 2, 4], ` " ` [1, 3, 5, 6, 4, 2], ` " ` [1, 3, 6, 2, 4, 5], ` " ` [1, 3, 6, 2, 5, 4], ` " ` [1, 3, 6, 4, 2, 5], ` " ` [1, 3, 6, 4, 5, 2], ` " ` [1, 3, 6, 5, 2, 4], ` " ` [1, 3, 6, 5, 4, 2], ` " ` [1, 4, 3, 2, 6, 5], ` " ` [1, 4, 3, 5, 6, 2], ` " ` [1, 4, 3, 6, 2, 5], ` " ` [1, 4, 3, 6, 5, 2], ` " ` [1, 4, 5, 2, 3, 6], ` " ` [1, 4, 5, 2, 6, 3], ` " ` [1, 4, 5, 3, 2, 6], ` " ` [1, 4, 5, 3, 6, 2], ` " ` [1, 4, 5, 6, 2, 3], ` " ` [1, 4, 5, 6, 3, 2], ` " ` [1, 4, 6, 2, 5, 3], ` " ` [1, 4, 6, 3, 2, 5], ` " ` [1, 4, 6, 3, 5, 2], ` " ` [1, 4, 6, 5, 2, 3], ` " ` [1, 4, 6, 5, 3, 2], ` " ` [1, 5, 3, 4, 2, 6], ` " ` [1, 5, 3, 4, 6, 2], ` " ` [1, 5, 3, 6, 2, 4], ` " ` [1, 5, 3, 6, 4, 2], ` " ` [1, 5, 4, 3, 2, 6], ` " ` [1, 5, 4, 3, 6, 2], ` " ` [1, 5, 4, 6, 2, 3], ` " ` [1, 5, 4, 6, 3, 2], ` " ` [1, 5, 6, 3, 4, 2], ` " ` [1, 5, 6, 4, 2, 3], ` " ` [1, 5, 6, 4, 3, 2], ` " ` [1, 6, 3, 4, 5, 2], ` " ` [1, 6, 3, 5, 4, 2], ` " ` [1, 6, 4, 3, 5, 2], ` " ` [1, 6, 4, 5, 3, 2], ` " ` [1, 6, 5, 4, 3, 2], ` " ` [2, 1, 3, 4, 6, 5], ` " ` [2, 1, 3, 5, 6, 4], ` " ` [2, 1, 3, 6, 5, 4], ` " ` [2, 1, 4, 3, 6, 5], ` " ` [2, 1, 4, 5, 6, 3], ` " ` [2, 1, 4, 6, 3, 5], ` " ` [2, 1, 4, 6, 5, 3], ` " ` [2, 1, 5, 4, 6, 3], ` " ` [2, 1, 5, 6, 3, 4], ` " ` [2, 1, 5, 6, 4, 3], ` " ` [2, 1, 6, 4, 5, 3], ` " ` [2, 1, 6, 5, 4, 3], ` " ` [2, 3, 1, 5, 6, 4], ` " ` [2, 3, 1, 6, 4, 5], ` " ` [2, 3, 1, 6, 5, 4], ` " ` [2, 3, 4, 6, 1, 5], ` " ` [2, 3, 5, 1, 6, 4], ` " ` [2, 3, 5, 6, 1, 4], ` " ` [2, 3, 6, 1, 4, 5], ` " ` [2, 3, 6, 1, 5, 4], ` " ` [2, 3, 6, 4, 1, 5], ` " ` [2, 3, 6, 5, 1, 4], ` " ` [2, 4, 1, 6, 3, 5], ` " ` [2, 4, 1, 6, 5, 3], ` " ` [2, 4, 3, 6, 1, 5], ` " ` [2, 4, 5, 1, 6, 3], ` " ` [2, 4, 5, 6, 1, 3], ` " ` [2, 4, 6, 1, 3, 5], ` " ` [2, 4, 6, 1, 5, 3], ` " ` [2, 4, 6, 3, 1, 5], ` " ` [2, 4, 6, 5, 1, 3], ` " ` [2, 5, 1, 3, 6, 4], ` " ` [2, 5, 1, 4, 6, 3], ` " ` [2, 5, 1, 6, 3, 4], ` " ` [2, 5, 1, 6, 4, 3], ` " ` [2, 5, 3, 6, 1, 4], ` " ` [2, 5, 4, 1, 6, 3], ` " ` [2, 5, 4, 6, 1, 3], ` " ` [2, 5, 6, 1, 3, 4], ` " ` [2, 5, 6, 1, 4, 3], ` " ` [2, 5, 6, 3, 1, 4], ` " ` [2, 5, 6, 4, 1, 3], ` " ` [2, 6, 3, 4, 1, 5], ` " ` [3, 2, 1, 6, 5, 4], ` " ` [3, 2, 6, 1, 5, 4], ` " ` [3, 5, 1, 6, 2, 4], ` " ` This took, 0.136, seconds. The first, 8, terms of all Wilf classes avoiding a single pattern of length, 7 Up to trivial symmetry, there are , 694, distinct patterns of length, 7 but judging from the first, 8, terms, there are only, 1, of them. Here there are, arranged in lexicographic order [[1, 2, 3, 4, 5, 6, 7], [5039, 40270]] [1, 2, 3, 4, 5, 7, 6], ` " ` [1, 2, 3, 4, 6, 5, 7], ` " ` [1, 2, 3, 4, 6, 7, 5], ` " ` [1, 2, 3, 4, 7, 6, 5], ` " ` [1, 2, 3, 5, 4, 6, 7], ` " ` [1, 2, 3, 5, 4, 7, 6], ` " ` [1, 2, 3, 5, 6, 4, 7], ` " ` [1, 2, 3, 5, 6, 7, 4], ` " ` [1, 2, 3, 5, 7, 4, 6], ` " ` [1, 2, 3, 5, 7, 6, 4], ` " ` [1, 2, 3, 6, 5, 4, 7], ` " ` [1, 2, 3, 6, 5, 7, 4], ` " ` [1, 2, 3, 6, 7, 4, 5], ` " ` [1, 2, 3, 6, 7, 5, 4], ` " ` [1, 2, 3, 7, 5, 6, 4], ` " ` [1, 2, 3, 7, 6, 5, 4], ` " ` [1, 2, 4, 3, 5, 7, 6], ` " ` [1, 2, 4, 3, 6, 5, 7], ` " ` [1, 2, 4, 3, 6, 7, 5], ` " ` [1, 2, 4, 3, 7, 6, 5], ` " ` [1, 2, 4, 5, 3, 6, 7], ` " ` [1, 2, 4, 5, 3, 7, 6], ` " ` [1, 2, 4, 5, 6, 3, 7], ` " ` [1, 2, 4, 5, 6, 7, 3], ` " ` [1, 2, 4, 5, 7, 3, 6], ` " ` [1, 2, 4, 5, 7, 6, 3], ` " ` [1, 2, 4, 6, 3, 5, 7], ` " ` [1, 2, 4, 6, 3, 7, 5], ` " ` [1, 2, 4, 6, 5, 3, 7], ` " ` [1, 2, 4, 6, 5, 7, 3], ` " ` [1, 2, 4, 6, 7, 3, 5], ` " ` [1, 2, 4, 6, 7, 5, 3], ` " ` [1, 2, 4, 7, 3, 5, 6], ` " ` [1, 2, 4, 7, 3, 6, 5], ` " ` [1, 2, 4, 7, 5, 3, 6], ` " ` [1, 2, 4, 7, 5, 6, 3], ` " ` [1, 2, 4, 7, 6, 3, 5], ` " ` [1, 2, 4, 7, 6, 5, 3], ` " ` [1, 2, 5, 4, 3, 6, 7], ` " ` [1, 2, 5, 4, 3, 7, 6], ` " ` [1, 2, 5, 4, 6, 3, 7], ` " ` [1, 2, 5, 4, 6, 7, 3], ` " ` [1, 2, 5, 4, 7, 3, 6], ` " ` [1, 2, 5, 4, 7, 6, 3], ` " ` [1, 2, 5, 6, 3, 4, 7], ` " ` [1, 2, 5, 6, 3, 7, 4], ` " ` [1, 2, 5, 6, 4, 3, 7], ` " ` [1, 2, 5, 6, 4, 7, 3], ` " ` [1, 2, 5, 6, 7, 3, 4], ` " ` [1, 2, 5, 6, 7, 4, 3], ` " ` [1, 2, 5, 7, 3, 6, 4], ` " ` [1, 2, 5, 7, 4, 3, 6], ` " ` [1, 2, 5, 7, 4, 6, 3], ` " ` [1, 2, 5, 7, 6, 3, 4], ` " ` [1, 2, 5, 7, 6, 4, 3], ` " ` [1, 2, 6, 4, 5, 3, 7], ` " ` [1, 2, 6, 4, 5, 7, 3], ` " ` [1, 2, 6, 4, 7, 3, 5], ` " ` [1, 2, 6, 4, 7, 5, 3], ` " ` [1, 2, 6, 5, 4, 3, 7], ` " ` [1, 2, 6, 5, 4, 7, 3], ` " ` [1, 2, 6, 5, 7, 3, 4], ` " ` [1, 2, 6, 5, 7, 4, 3], ` " ` [1, 2, 6, 7, 4, 5, 3], ` " ` [1, 2, 6, 7, 5, 3, 4], ` " ` [1, 2, 6, 7, 5, 4, 3], ` " ` [1, 2, 7, 4, 5, 6, 3], ` " ` [1, 2, 7, 4, 6, 5, 3], ` " ` [1, 2, 7, 5, 4, 6, 3], ` " ` [1, 2, 7, 5, 6, 4, 3], ` " ` [1, 2, 7, 6, 5, 4, 3], ` " ` [1, 3, 2, 4, 5, 7, 6], ` " ` [1, 3, 2, 4, 6, 5, 7], ` " ` [1, 3, 2, 4, 6, 7, 5], ` " ` [1, 3, 2, 4, 7, 6, 5], ` " ` [1, 3, 2, 5, 4, 7, 6], ` " ` [1, 3, 2, 5, 6, 4, 7], ` " ` [1, 3, 2, 5, 6, 7, 4], ` " ` [1, 3, 2, 5, 7, 4, 6], ` " ` [1, 3, 2, 5, 7, 6, 4], ` " ` [1, 3, 2, 6, 5, 4, 7], ` " ` [1, 3, 2, 6, 5, 7, 4], ` " ` [1, 3, 2, 6, 7, 4, 5], ` " ` [1, 3, 2, 6, 7, 5, 4], ` " ` [1, 3, 2, 7, 5, 6, 4], ` " ` [1, 3, 2, 7, 6, 5, 4], ` " ` [1, 3, 4, 2, 5, 7, 6], ` " ` [1, 3, 4, 2, 6, 7, 5], ` " ` [1, 3, 4, 2, 7, 5, 6], ` " ` [1, 3, 4, 2, 7, 6, 5], ` " ` [1, 3, 4, 5, 2, 7, 6], ` " ` [1, 3, 4, 5, 6, 2, 7], ` " ` [1, 3, 4, 5, 6, 7, 2], ` " ` [1, 3, 4, 5, 7, 2, 6], ` " ` [1, 3, 4, 5, 7, 6, 2], ` " ` [1, 3, 4, 6, 2, 5, 7], ` " ` [1, 3, 4, 6, 2, 7, 5], ` " ` [1, 3, 4, 6, 5, 2, 7], ` " ` [1, 3, 4, 6, 5, 7, 2], ` " ` [1, 3, 4, 6, 7, 2, 5], ` " ` [1, 3, 4, 6, 7, 5, 2], ` " ` [1, 3, 4, 7, 2, 5, 6], ` " ` [1, 3, 4, 7, 2, 6, 5], ` " ` [1, 3, 4, 7, 5, 2, 6], ` " ` [1, 3, 4, 7, 5, 6, 2], ` " ` [1, 3, 4, 7, 6, 2, 5], ` " ` [1, 3, 4, 7, 6, 5, 2], ` " ` [1, 3, 5, 2, 4, 7, 6], ` " ` [1, 3, 5, 2, 6, 4, 7], ` " ` [1, 3, 5, 2, 6, 7, 4], ` " ` [1, 3, 5, 2, 7, 4, 6], ` " ` [1, 3, 5, 2, 7, 6, 4], ` " ` [1, 3, 5, 4, 2, 7, 6], ` " ` [1, 3, 5, 4, 6, 2, 7], ` " ` [1, 3, 5, 4, 6, 7, 2], ` " ` [1, 3, 5, 4, 7, 2, 6], ` " ` [1, 3, 5, 4, 7, 6, 2], ` " ` [1, 3, 5, 6, 2, 4, 7], ` " ` [1, 3, 5, 6, 2, 7, 4], ` " ` [1, 3, 5, 6, 4, 2, 7], ` " ` [1, 3, 5, 6, 4, 7, 2], ` " ` [1, 3, 5, 6, 7, 2, 4], ` " ` [1, 3, 5, 6, 7, 4, 2], ` " ` [1, 3, 5, 7, 2, 4, 6], ` " ` [1, 3, 5, 7, 2, 6, 4], ` " ` [1, 3, 5, 7, 4, 2, 6], ` " ` [1, 3, 5, 7, 4, 6, 2], ` " ` [1, 3, 5, 7, 6, 2, 4], ` " ` [1, 3, 5, 7, 6, 4, 2], ` " ` [1, 3, 6, 2, 4, 7, 5], ` " ` [1, 3, 6, 2, 5, 4, 7], ` " ` [1, 3, 6, 2, 5, 7, 4], ` " ` [1, 3, 6, 2, 7, 4, 5], ` " ` [1, 3, 6, 2, 7, 5, 4], ` " ` [1, 3, 6, 4, 2, 5, 7], ` " ` [1, 3, 6, 4, 2, 7, 5], ` " ` [1, 3, 6, 4, 5, 2, 7], ` " ` [1, 3, 6, 4, 5, 7, 2], ` " ` [1, 3, 6, 4, 7, 2, 5], ` " ` [1, 3, 6, 4, 7, 5, 2], ` " ` [1, 3, 6, 5, 2, 4, 7], ` " ` [1, 3, 6, 5, 2, 7, 4], ` " ` [1, 3, 6, 5, 4, 2, 7], ` " ` [1, 3, 6, 5, 4, 7, 2], ` " ` [1, 3, 6, 5, 7, 2, 4], ` " ` [1, 3, 6, 5, 7, 4, 2], ` " ` [1, 3, 6, 7, 2, 4, 5], ` " ` [1, 3, 6, 7, 2, 5, 4], ` " ` [1, 3, 6, 7, 4, 2, 5], ` " ` [1, 3, 6, 7, 4, 5, 2], ` " ` [1, 3, 6, 7, 5, 2, 4], ` " ` [1, 3, 6, 7, 5, 4, 2], ` " ` [1, 3, 7, 2, 4, 5, 6], ` " ` [1, 3, 7, 2, 4, 6, 5], ` " ` [1, 3, 7, 2, 5, 4, 6], ` " ` [1, 3, 7, 2, 5, 6, 4], ` " ` [1, 3, 7, 2, 6, 4, 5], ` " ` [1, 3, 7, 2, 6, 5, 4], ` " ` [1, 3, 7, 4, 2, 5, 6], ` " ` [1, 3, 7, 4, 2, 6, 5], ` " ` [1, 3, 7, 4, 5, 2, 6], ` " ` [1, 3, 7, 4, 5, 6, 2], ` " ` [1, 3, 7, 4, 6, 2, 5], ` " ` [1, 3, 7, 4, 6, 5, 2], ` " ` [1, 3, 7, 5, 2, 4, 6], ` " ` [1, 3, 7, 5, 2, 6, 4], ` " ` [1, 3, 7, 5, 4, 2, 6], ` " ` [1, 3, 7, 5, 4, 6, 2], ` " ` [1, 3, 7, 5, 6, 2, 4], ` " ` [1, 3, 7, 5, 6, 4, 2], ` " ` [1, 3, 7, 6, 2, 4, 5], ` " ` [1, 3, 7, 6, 2, 5, 4], ` " ` [1, 3, 7, 6, 4, 2, 5], ` " ` [1, 3, 7, 6, 4, 5, 2], ` " ` [1, 3, 7, 6, 5, 2, 4], ` " ` [1, 3, 7, 6, 5, 4, 2], ` " ` [1, 4, 3, 2, 5, 7, 6], ` " ` [1, 4, 3, 2, 6, 7, 5], ` " ` [1, 4, 3, 2, 7, 6, 5], ` " ` [1, 4, 3, 5, 2, 7, 6], ` " ` [1, 4, 3, 5, 6, 7, 2], ` " ` [1, 4, 3, 5, 7, 2, 6], ` " ` [1, 4, 3, 5, 7, 6, 2], ` " ` [1, 4, 3, 6, 2, 7, 5], ` " ` [1, 4, 3, 6, 5, 2, 7], ` " ` [1, 4, 3, 6, 5, 7, 2], ` " ` [1, 4, 3, 6, 7, 2, 5], ` " ` [1, 4, 3, 6, 7, 5, 2], ` " ` [1, 4, 3, 7, 2, 5, 6], ` " ` [1, 4, 3, 7, 2, 6, 5], ` " ` [1, 4, 3, 7, 5, 2, 6], ` " ` [1, 4, 3, 7, 5, 6, 2], ` " ` [1, 4, 3, 7, 6, 2, 5], ` " ` [1, 4, 3, 7, 6, 5, 2], ` " ` [1, 4, 5, 2, 3, 7, 6], ` " ` [1, 4, 5, 2, 6, 7, 3], ` " ` [1, 4, 5, 2, 7, 3, 6], ` " ` [1, 4, 5, 2, 7, 6, 3], ` " ` [1, 4, 5, 3, 2, 7, 6], ` " ` [1, 4, 5, 3, 6, 7, 2], ` " ` [1, 4, 5, 3, 7, 2, 6], ` " ` [1, 4, 5, 3, 7, 6, 2], ` " ` [1, 4, 5, 6, 2, 3, 7], ` " ` [1, 4, 5, 6, 2, 7, 3], ` " ` [1, 4, 5, 6, 3, 2, 7], ` " ` [1, 4, 5, 6, 3, 7, 2], ` " ` [1, 4, 5, 6, 7, 2, 3], ` " ` [1, 4, 5, 6, 7, 3, 2], ` " ` [1, 4, 5, 7, 2, 3, 6], ` " ` [1, 4, 5, 7, 2, 6, 3], ` " ` [1, 4, 5, 7, 3, 2, 6], ` " ` [1, 4, 5, 7, 3, 6, 2], ` " ` [1, 4, 5, 7, 6, 2, 3], ` " ` [1, 4, 5, 7, 6, 3, 2], ` " ` [1, 4, 6, 2, 5, 3, 7], ` " ` [1, 4, 6, 2, 5, 7, 3], ` " ` [1, 4, 6, 2, 7, 3, 5], ` " ` [1, 4, 6, 2, 7, 5, 3], ` " ` [1, 4, 6, 3, 2, 7, 5], ` " ` [1, 4, 6, 3, 5, 2, 7], ` " ` [1, 4, 6, 3, 5, 7, 2], ` " ` [1, 4, 6, 3, 7, 2, 5], ` " ` [1, 4, 6, 3, 7, 5, 2], ` " ` [1, 4, 6, 5, 2, 3, 7], ` " ` [1, 4, 6, 5, 2, 7, 3], ` " ` [1, 4, 6, 5, 3, 2, 7], ` " ` [1, 4, 6, 5, 3, 7, 2], ` " ` [1, 4, 6, 5, 7, 2, 3], ` " ` [1, 4, 6, 5, 7, 3, 2], ` " ` [1, 4, 6, 7, 2, 3, 5], ` " ` [1, 4, 6, 7, 2, 5, 3], ` " ` [1, 4, 6, 7, 3, 2, 5], ` " ` [1, 4, 6, 7, 3, 5, 2], ` " ` [1, 4, 6, 7, 5, 2, 3], ` " ` [1, 4, 6, 7, 5, 3, 2], ` " ` [1, 4, 7, 2, 5, 6, 3], ` " ` [1, 4, 7, 2, 6, 5, 3], ` " ` [1, 4, 7, 3, 2, 5, 6], ` " ` [1, 4, 7, 3, 2, 6, 5], ` " ` [1, 4, 7, 3, 5, 2, 6], ` " ` [1, 4, 7, 3, 5, 6, 2], ` " ` [1, 4, 7, 3, 6, 2, 5], ` " ` [1, 4, 7, 3, 6, 5, 2], ` " ` [1, 4, 7, 5, 2, 3, 6], ` " ` [1, 4, 7, 5, 2, 6, 3], ` " ` [1, 4, 7, 5, 3, 2, 6], ` " ` [1, 4, 7, 5, 3, 6, 2], ` " ` [1, 4, 7, 5, 6, 2, 3], ` " ` [1, 4, 7, 5, 6, 3, 2], ` " ` [1, 4, 7, 6, 2, 3, 5], ` " ` [1, 4, 7, 6, 2, 5, 3], ` " ` [1, 4, 7, 6, 3, 2, 5], ` " ` [1, 4, 7, 6, 3, 5, 2], ` " ` [1, 4, 7, 6, 5, 2, 3], ` " ` [1, 4, 7, 6, 5, 3, 2], ` " ` [1, 5, 3, 4, 2, 7, 6], ` " ` [1, 5, 3, 4, 6, 7, 2], ` " ` [1, 5, 3, 4, 7, 2, 6], ` " ` [1, 5, 3, 4, 7, 6, 2], ` " ` [1, 5, 3, 6, 2, 7, 4], ` " ` [1, 5, 3, 6, 4, 7, 2], ` " ` [1, 5, 3, 6, 7, 2, 4], ` " ` [1, 5, 3, 6, 7, 4, 2], ` " ` [1, 5, 3, 7, 2, 6, 4], ` " ` [1, 5, 3, 7, 4, 2, 6], ` " ` [1, 5, 3, 7, 4, 6, 2], ` " ` [1, 5, 3, 7, 6, 2, 4], ` " ` [1, 5, 3, 7, 6, 4, 2], ` " ` [1, 5, 4, 3, 2, 7, 6], ` " ` [1, 5, 4, 3, 6, 7, 2], ` " ` [1, 5, 4, 3, 7, 2, 6], ` " ` [1, 5, 4, 3, 7, 6, 2], ` " ` [1, 5, 4, 6, 2, 7, 3], ` " ` [1, 5, 4, 6, 3, 7, 2], ` " ` [1, 5, 4, 6, 7, 2, 3], ` " ` [1, 5, 4, 6, 7, 3, 2], ` " ` [1, 5, 4, 7, 2, 3, 6], ` " ` [1, 5, 4, 7, 2, 6, 3], ` " ` [1, 5, 4, 7, 3, 2, 6], ` " ` [1, 5, 4, 7, 3, 6, 2], ` " ` [1, 5, 4, 7, 6, 2, 3], ` " ` [1, 5, 4, 7, 6, 3, 2], ` " ` [1, 5, 6, 3, 4, 2, 7], ` " ` [1, 5, 6, 3, 4, 7, 2], ` " ` [1, 5, 6, 3, 7, 2, 4], ` " ` [1, 5, 6, 3, 7, 4, 2], ` " ` [1, 5, 6, 4, 2, 3, 7], ` " ` [1, 5, 6, 4, 2, 7, 3], ` " ` [1, 5, 6, 4, 3, 2, 7], ` " ` [1, 5, 6, 4, 3, 7, 2], ` " ` [1, 5, 6, 4, 7, 2, 3], ` " ` [1, 5, 6, 4, 7, 3, 2], ` " ` [1, 5, 6, 7, 2, 3, 4], ` " ` [1, 5, 6, 7, 2, 4, 3], ` " ` [1, 5, 6, 7, 3, 2, 4], ` " ` [1, 5, 6, 7, 3, 4, 2], ` " ` [1, 5, 6, 7, 4, 2, 3], ` " ` [1, 5, 6, 7, 4, 3, 2], ` " ` [1, 5, 7, 3, 4, 2, 6], ` " ` [1, 5, 7, 3, 4, 6, 2], ` " ` [1, 5, 7, 3, 6, 2, 4], ` " ` [1, 5, 7, 3, 6, 4, 2], ` " ` [1, 5, 7, 4, 2, 6, 3], ` " ` [1, 5, 7, 4, 3, 2, 6], ` " ` [1, 5, 7, 4, 3, 6, 2], ` " ` [1, 5, 7, 4, 6, 2, 3], ` " ` [1, 5, 7, 4, 6, 3, 2], ` " ` [1, 5, 7, 6, 2, 4, 3], ` " ` [1, 5, 7, 6, 3, 2, 4], ` " ` [1, 5, 7, 6, 3, 4, 2], ` " ` [1, 5, 7, 6, 4, 2, 3], ` " ` [1, 5, 7, 6, 4, 3, 2], ` " ` [1, 6, 3, 4, 5, 2, 7], ` " ` [1, 6, 3, 4, 5, 7, 2], ` " ` [1, 6, 3, 4, 7, 2, 5], ` " ` [1, 6, 3, 4, 7, 5, 2], ` " ` [1, 6, 3, 5, 4, 2, 7], ` " ` [1, 6, 3, 5, 4, 7, 2], ` " ` [1, 6, 3, 5, 7, 2, 4], ` " ` [1, 6, 3, 5, 7, 4, 2], ` " ` [1, 6, 3, 7, 4, 5, 2], ` " ` [1, 6, 3, 7, 5, 2, 4], ` " ` [1, 6, 3, 7, 5, 4, 2], ` " ` [1, 6, 4, 3, 5, 7, 2], ` " ` [1, 6, 4, 3, 7, 2, 5], ` " ` [1, 6, 4, 3, 7, 5, 2], ` " ` [1, 6, 4, 5, 3, 2, 7], ` " ` [1, 6, 4, 5, 3, 7, 2], ` " ` [1, 6, 4, 5, 7, 2, 3], ` " ` [1, 6, 4, 5, 7, 3, 2], ` " ` [1, 6, 4, 7, 3, 2, 5], ` " ` [1, 6, 4, 7, 3, 5, 2], ` " ` [1, 6, 4, 7, 5, 2, 3], ` " ` [1, 6, 4, 7, 5, 3, 2], ` " ` [1, 6, 5, 3, 4, 7, 2], ` " ` [1, 6, 5, 3, 7, 4, 2], ` " ` [1, 6, 5, 4, 3, 2, 7], ` " ` [1, 6, 5, 4, 3, 7, 2], ` " ` [1, 6, 5, 4, 7, 2, 3], ` " ` [1, 6, 5, 4, 7, 3, 2], ` " ` [1, 6, 5, 7, 3, 2, 4], ` " ` [1, 6, 5, 7, 3, 4, 2], ` " ` [1, 6, 5, 7, 4, 2, 3], ` " ` [1, 6, 5, 7, 4, 3, 2], ` " ` [1, 6, 7, 3, 4, 5, 2], ` " ` [1, 6, 7, 3, 5, 4, 2], ` " ` [1, 6, 7, 4, 3, 5, 2], ` " ` [1, 6, 7, 4, 5, 2, 3], ` " ` [1, 6, 7, 4, 5, 3, 2], ` " ` [1, 6, 7, 5, 3, 4, 2], ` " ` [1, 6, 7, 5, 4, 2, 3], ` " ` [1, 6, 7, 5, 4, 3, 2], ` " ` [1, 7, 3, 4, 5, 6, 2], ` " ` [1, 7, 3, 4, 6, 5, 2], ` " ` [1, 7, 3, 5, 4, 6, 2], ` " ` [1, 7, 3, 5, 6, 4, 2], ` " ` [1, 7, 3, 6, 5, 4, 2], ` " ` [1, 7, 4, 3, 5, 6, 2], ` " ` [1, 7, 4, 3, 6, 5, 2], ` " ` [1, 7, 4, 5, 3, 6, 2], ` " ` [1, 7, 4, 5, 6, 3, 2], ` " ` [1, 7, 4, 6, 3, 5, 2], ` " ` [1, 7, 4, 6, 5, 3, 2], ` " ` [1, 7, 5, 4, 3, 6, 2], ` " ` [1, 7, 5, 4, 6, 3, 2], ` " ` [1, 7, 5, 6, 3, 4, 2], ` " ` [1, 7, 5, 6, 4, 3, 2], ` " ` [1, 7, 6, 4, 5, 3, 2], ` " ` [1, 7, 6, 5, 4, 3, 2], ` " ` [2, 1, 3, 4, 5, 7, 6], ` " ` [2, 1, 3, 4, 6, 7, 5], ` " ` [2, 1, 3, 4, 7, 6, 5], ` " ` [2, 1, 3, 5, 4, 7, 6], ` " ` [2, 1, 3, 5, 6, 7, 4], ` " ` [2, 1, 3, 5, 7, 4, 6], ` " ` [2, 1, 3, 5, 7, 6, 4], ` " ` [2, 1, 3, 6, 5, 7, 4], ` " ` [2, 1, 3, 6, 7, 4, 5], ` " ` [2, 1, 3, 6, 7, 5, 4], ` " ` [2, 1, 3, 7, 5, 6, 4], ` " ` [2, 1, 3, 7, 6, 5, 4], ` " ` [2, 1, 4, 3, 6, 7, 5], ` " ` [2, 1, 4, 3, 7, 6, 5], ` " ` [2, 1, 4, 5, 3, 7, 6], ` " ` [2, 1, 4, 5, 6, 7, 3], ` " ` [2, 1, 4, 5, 7, 3, 6], ` " ` [2, 1, 4, 5, 7, 6, 3], ` " ` [2, 1, 4, 6, 3, 7, 5], ` " ` [2, 1, 4, 6, 5, 7, 3], ` " ` [2, 1, 4, 6, 7, 3, 5], ` " ` [2, 1, 4, 6, 7, 5, 3], ` " ` [2, 1, 4, 7, 3, 5, 6], ` " ` [2, 1, 4, 7, 3, 6, 5], ` " ` [2, 1, 4, 7, 5, 3, 6], ` " ` [2, 1, 4, 7, 5, 6, 3], ` " ` [2, 1, 4, 7, 6, 3, 5], ` " ` [2, 1, 4, 7, 6, 5, 3], ` " ` [2, 1, 5, 4, 3, 7, 6], ` " ` [2, 1, 5, 4, 6, 7, 3], ` " ` [2, 1, 5, 4, 7, 3, 6], ` " ` [2, 1, 5, 4, 7, 6, 3], ` " ` [2, 1, 5, 6, 3, 7, 4], ` " ` [2, 1, 5, 6, 4, 7, 3], ` " ` [2, 1, 5, 6, 7, 3, 4], ` " ` [2, 1, 5, 6, 7, 4, 3], ` " ` [2, 1, 5, 7, 3, 6, 4], ` " ` [2, 1, 5, 7, 4, 3, 6], ` " ` [2, 1, 5, 7, 4, 6, 3], ` " ` [2, 1, 5, 7, 6, 3, 4], ` " ` [2, 1, 5, 7, 6, 4, 3], ` " ` [2, 1, 6, 4, 5, 7, 3], ` " ` [2, 1, 6, 4, 7, 3, 5], ` " ` [2, 1, 6, 4, 7, 5, 3], ` " ` [2, 1, 6, 5, 4, 7, 3], ` " ` [2, 1, 6, 5, 7, 3, 4], ` " ` [2, 1, 6, 5, 7, 4, 3], ` " ` [2, 1, 6, 7, 4, 5, 3], ` " ` [2, 1, 6, 7, 5, 3, 4], ` " ` [2, 1, 6, 7, 5, 4, 3], ` " ` [2, 1, 7, 4, 5, 6, 3], ` " ` [2, 1, 7, 4, 6, 5, 3], ` " ` [2, 1, 7, 5, 4, 6, 3], ` " ` [2, 1, 7, 5, 6, 4, 3], ` " ` [2, 1, 7, 6, 5, 4, 3], ` " ` [2, 3, 1, 4, 6, 7, 5], ` " ` [2, 3, 1, 4, 7, 5, 6], ` " ` [2, 3, 1, 4, 7, 6, 5], ` " ` [2, 3, 1, 5, 6, 7, 4], ` " ` [2, 3, 1, 5, 7, 4, 6], ` " ` [2, 3, 1, 5, 7, 6, 4], ` " ` [2, 3, 1, 6, 4, 7, 5], ` " ` [2, 3, 1, 6, 5, 7, 4], ` " ` [2, 3, 1, 6, 7, 4, 5], ` " ` [2, 3, 1, 6, 7, 5, 4], ` " ` [2, 3, 1, 7, 4, 5, 6], ` " ` [2, 3, 1, 7, 4, 6, 5], ` " ` [2, 3, 1, 7, 5, 4, 6], ` " ` [2, 3, 1, 7, 5, 6, 4], ` " ` [2, 3, 1, 7, 6, 4, 5], ` " ` [2, 3, 1, 7, 6, 5, 4], ` " ` [2, 3, 4, 1, 7, 6, 5], ` " ` [2, 3, 4, 5, 7, 1, 6], ` " ` [2, 3, 4, 6, 1, 7, 5], ` " ` [2, 3, 4, 6, 7, 1, 5], ` " ` [2, 3, 4, 7, 1, 5, 6], ` " ` [2, 3, 4, 7, 1, 6, 5], ` " ` [2, 3, 4, 7, 5, 1, 6], ` " ` [2, 3, 4, 7, 6, 1, 5], ` " ` [2, 3, 5, 1, 6, 7, 4], ` " ` [2, 3, 5, 1, 7, 4, 6], ` " ` [2, 3, 5, 1, 7, 6, 4], ` " ` [2, 3, 5, 4, 7, 1, 6], ` " ` [2, 3, 5, 6, 1, 7, 4], ` " ` [2, 3, 5, 6, 7, 1, 4], ` " ` [2, 3, 5, 7, 1, 4, 6], ` " ` [2, 3, 5, 7, 1, 6, 4], ` " ` [2, 3, 5, 7, 4, 1, 6], ` " ` [2, 3, 5, 7, 6, 1, 4], ` " ` [2, 3, 6, 1, 4, 7, 5], ` " ` [2, 3, 6, 1, 5, 7, 4], ` " ` [2, 3, 6, 1, 7, 4, 5], ` " ` [2, 3, 6, 1, 7, 5, 4], ` " ` [2, 3, 6, 4, 1, 7, 5], ` " ` [2, 3, 6, 4, 7, 1, 5], ` " ` [2, 3, 6, 5, 1, 7, 4], ` " ` [2, 3, 6, 5, 7, 1, 4], ` " ` [2, 3, 6, 7, 1, 4, 5], ` " ` [2, 3, 6, 7, 1, 5, 4], ` " ` [2, 3, 6, 7, 4, 1, 5], ` " ` [2, 3, 6, 7, 5, 1, 4], ` " ` [2, 3, 7, 1, 4, 6, 5], ` " ` [2, 3, 7, 1, 5, 4, 6], ` " ` [2, 3, 7, 1, 5, 6, 4], ` " ` [2, 3, 7, 1, 6, 4, 5], ` " ` [2, 3, 7, 1, 6, 5, 4], ` " ` [2, 3, 7, 4, 1, 5, 6], ` " ` [2, 3, 7, 4, 1, 6, 5], ` " ` [2, 3, 7, 4, 5, 1, 6], ` " ` [2, 3, 7, 4, 6, 1, 5], ` " ` [2, 3, 7, 5, 1, 4, 6], ` " ` [2, 3, 7, 5, 1, 6, 4], ` " ` [2, 3, 7, 5, 4, 1, 6], ` " ` [2, 3, 7, 5, 6, 1, 4], ` " ` [2, 3, 7, 6, 1, 4, 5], ` " ` [2, 3, 7, 6, 1, 5, 4], ` " ` [2, 3, 7, 6, 4, 1, 5], ` " ` [2, 3, 7, 6, 5, 1, 4], ` " ` [2, 4, 1, 3, 7, 6, 5], ` " ` [2, 4, 1, 5, 7, 3, 6], ` " ` [2, 4, 1, 5, 7, 6, 3], ` " ` [2, 4, 1, 6, 3, 7, 5], ` " ` [2, 4, 1, 6, 5, 7, 3], ` " ` [2, 4, 1, 6, 7, 3, 5], ` " ` [2, 4, 1, 6, 7, 5, 3], ` " ` [2, 4, 1, 7, 3, 6, 5], ` " ` [2, 4, 1, 7, 5, 3, 6], ` " ` [2, 4, 1, 7, 5, 6, 3], ` " ` [2, 4, 1, 7, 6, 3, 5], ` " ` [2, 4, 1, 7, 6, 5, 3], ` " ` [2, 4, 3, 1, 7, 6, 5], ` " ` [2, 4, 3, 5, 7, 1, 6], ` " ` [2, 4, 3, 6, 7, 1, 5], ` " ` [2, 4, 3, 7, 1, 6, 5], ` " ` [2, 4, 3, 7, 5, 1, 6], ` " ` [2, 4, 3, 7, 6, 1, 5], ` " ` [2, 4, 5, 1, 7, 3, 6], ` " ` [2, 4, 5, 1, 7, 6, 3], ` " ` [2, 4, 5, 3, 7, 1, 6], ` " ` [2, 4, 5, 6, 1, 7, 3], ` " ` [2, 4, 5, 6, 7, 1, 3], ` " ` [2, 4, 5, 7, 1, 3, 6], ` " ` [2, 4, 5, 7, 1, 6, 3], ` " ` [2, 4, 5, 7, 3, 1, 6], ` " ` [2, 4, 5, 7, 6, 1, 3], ` " ` [2, 4, 6, 1, 3, 7, 5], ` " ` [2, 4, 6, 1, 5, 7, 3], ` " ` [2, 4, 6, 1, 7, 3, 5], ` " ` [2, 4, 6, 1, 7, 5, 3], ` " ` [2, 4, 6, 3, 1, 7, 5], ` " ` [2, 4, 6, 3, 7, 1, 5], ` " ` [2, 4, 6, 5, 1, 7, 3], ` " ` [2, 4, 6, 5, 7, 1, 3], ` " ` [2, 4, 6, 7, 1, 3, 5], ` " ` [2, 4, 6, 7, 1, 5, 3], ` " ` [2, 4, 6, 7, 3, 1, 5], ` " ` [2, 4, 6, 7, 5, 1, 3], ` " ` [2, 4, 7, 1, 3, 6, 5], ` " ` [2, 4, 7, 1, 5, 3, 6], ` " ` [2, 4, 7, 1, 5, 6, 3], ` " ` [2, 4, 7, 1, 6, 3, 5], ` " ` [2, 4, 7, 1, 6, 5, 3], ` " ` [2, 4, 7, 3, 1, 6, 5], ` " ` [2, 4, 7, 3, 5, 1, 6], ` " ` [2, 4, 7, 3, 6, 1, 5], ` " ` [2, 4, 7, 5, 1, 3, 6], ` " ` [2, 4, 7, 5, 1, 6, 3], ` " ` [2, 4, 7, 5, 3, 1, 6], ` " ` [2, 4, 7, 5, 6, 1, 3], ` " ` [2, 4, 7, 6, 1, 3, 5], ` " ` [2, 4, 7, 6, 1, 5, 3], ` " ` [2, 4, 7, 6, 3, 1, 5], ` " ` [2, 4, 7, 6, 5, 1, 3], ` " ` [2, 5, 1, 3, 7, 6, 4], ` " ` [2, 5, 1, 4, 7, 3, 6], ` " ` [2, 5, 1, 4, 7, 6, 3], ` " ` [2, 5, 1, 6, 7, 3, 4], ` " ` [2, 5, 1, 6, 7, 4, 3], ` " ` [2, 5, 1, 7, 3, 6, 4], ` " ` [2, 5, 1, 7, 4, 3, 6], ` " ` [2, 5, 1, 7, 4, 6, 3], ` " ` [2, 5, 1, 7, 6, 3, 4], ` " ` [2, 5, 1, 7, 6, 4, 3], ` " ` [2, 5, 3, 1, 7, 6, 4], ` " ` [2, 5, 3, 4, 7, 1, 6], ` " ` [2, 5, 3, 6, 7, 1, 4], ` " ` [2, 5, 3, 7, 1, 6, 4], ` " ` [2, 5, 3, 7, 4, 1, 6], ` " ` [2, 5, 3, 7, 6, 1, 4], ` " ` [2, 5, 4, 1, 7, 6, 3], ` " ` [2, 5, 4, 3, 7, 1, 6], ` " ` [2, 5, 4, 6, 7, 1, 3], ` " ` [2, 5, 4, 7, 1, 3, 6], ` " ` [2, 5, 4, 7, 1, 6, 3], ` " ` [2, 5, 4, 7, 3, 1, 6], ` " ` [2, 5, 4, 7, 6, 1, 3], ` " ` [2, 5, 6, 1, 3, 7, 4], ` " ` [2, 5, 6, 1, 4, 7, 3], ` " ` [2, 5, 6, 1, 7, 3, 4], ` " ` [2, 5, 6, 1, 7, 4, 3], ` " ` [2, 5, 6, 3, 7, 1, 4], ` " ` [2, 5, 6, 4, 1, 7, 3], ` " ` [2, 5, 6, 4, 7, 1, 3], ` " ` [2, 5, 6, 7, 1, 3, 4], ` " ` [2, 5, 6, 7, 1, 4, 3], ` " ` [2, 5, 6, 7, 3, 1, 4], ` " ` [2, 5, 6, 7, 4, 1, 3], ` " ` [2, 5, 7, 1, 3, 6, 4], ` " ` [2, 5, 7, 1, 4, 6, 3], ` " ` [2, 5, 7, 1, 6, 3, 4], ` " ` [2, 5, 7, 1, 6, 4, 3], ` " ` [2, 5, 7, 3, 1, 6, 4], ` " ` [2, 5, 7, 3, 4, 1, 6], ` " ` [2, 5, 7, 3, 6, 1, 4], ` " ` [2, 5, 7, 4, 1, 3, 6], ` " ` [2, 5, 7, 4, 1, 6, 3], ` " ` [2, 5, 7, 4, 3, 1, 6], ` " ` [2, 5, 7, 4, 6, 1, 3], ` " ` [2, 5, 7, 6, 1, 3, 4], ` " ` [2, 5, 7, 6, 1, 4, 3], ` " ` [2, 5, 7, 6, 3, 1, 4], ` " ` [2, 5, 7, 6, 4, 1, 3], ` " ` [2, 6, 1, 3, 4, 7, 5], ` " ` [2, 6, 1, 3, 5, 7, 4], ` " ` [2, 6, 1, 3, 7, 4, 5], ` " ` [2, 6, 1, 3, 7, 5, 4], ` " ` [2, 6, 1, 4, 3, 7, 5], ` " ` [2, 6, 1, 4, 5, 7, 3], ` " ` [2, 6, 1, 4, 7, 3, 5], ` " ` [2, 6, 1, 4, 7, 5, 3], ` " ` [2, 6, 1, 5, 3, 7, 4], ` " ` [2, 6, 1, 5, 4, 7, 3], ` " ` [2, 6, 1, 5, 7, 3, 4], ` " ` [2, 6, 1, 5, 7, 4, 3], ` " ` [2, 6, 1, 7, 3, 4, 5], ` " ` [2, 6, 1, 7, 3, 5, 4], ` " ` [2, 6, 1, 7, 4, 3, 5], ` " ` [2, 6, 1, 7, 4, 5, 3], ` " ` [2, 6, 1, 7, 5, 3, 4], ` " ` [2, 6, 1, 7, 5, 4, 3], ` " ` [2, 6, 3, 1, 5, 7, 4], ` " ` [2, 6, 3, 1, 7, 4, 5], ` " ` [2, 6, 3, 1, 7, 5, 4], ` " ` [2, 6, 3, 4, 7, 1, 5], ` " ` [2, 6, 3, 5, 1, 7, 4], ` " ` [2, 6, 3, 5, 7, 1, 4], ` " ` [2, 6, 3, 7, 1, 4, 5], ` " ` [2, 6, 3, 7, 1, 5, 4], ` " ` [2, 6, 3, 7, 4, 1, 5], ` " ` [2, 6, 3, 7, 5, 1, 4], ` " ` [2, 6, 4, 1, 7, 3, 5], ` " ` [2, 6, 4, 1, 7, 5, 3], ` " ` [2, 6, 4, 3, 7, 1, 5], ` " ` [2, 6, 4, 5, 1, 7, 3], ` " ` [2, 6, 4, 5, 7, 1, 3], ` " ` [2, 6, 4, 7, 1, 3, 5], ` " ` [2, 6, 4, 7, 1, 5, 3], ` " ` [2, 6, 4, 7, 3, 1, 5], ` " ` [2, 6, 4, 7, 5, 1, 3], ` " ` [2, 6, 5, 1, 3, 7, 4], ` " ` [2, 6, 5, 1, 4, 7, 3], ` " ` [2, 6, 5, 1, 7, 3, 4], ` " ` [2, 6, 5, 1, 7, 4, 3], ` " ` [2, 6, 5, 3, 7, 1, 4], ` " ` [2, 6, 5, 4, 1, 7, 3], ` " ` [2, 6, 5, 4, 7, 1, 3], ` " ` [2, 6, 5, 7, 1, 3, 4], ` " ` [2, 6, 5, 7, 1, 4, 3], ` " ` [2, 6, 5, 7, 3, 1, 4], ` " ` [2, 6, 5, 7, 4, 1, 3], ` " ` [2, 6, 7, 1, 3, 4, 5], ` " ` [2, 6, 7, 1, 3, 5, 4], ` " ` [2, 6, 7, 1, 4, 3, 5], ` " ` [2, 6, 7, 1, 4, 5, 3], ` " ` [2, 6, 7, 1, 5, 3, 4], ` " ` [2, 6, 7, 1, 5, 4, 3], ` " ` [2, 6, 7, 3, 1, 4, 5], ` " ` [2, 6, 7, 3, 1, 5, 4], ` " ` [2, 6, 7, 3, 4, 1, 5], ` " ` [2, 6, 7, 3, 5, 1, 4], ` " ` [2, 6, 7, 4, 1, 3, 5], ` " ` [2, 6, 7, 4, 1, 5, 3], ` " ` [2, 6, 7, 4, 3, 1, 5], ` " ` [2, 6, 7, 4, 5, 1, 3], ` " ` [2, 6, 7, 5, 1, 3, 4], ` " ` [2, 6, 7, 5, 1, 4, 3], ` " ` [2, 6, 7, 5, 3, 1, 4], ` " ` [2, 6, 7, 5, 4, 1, 3], ` " ` [2, 7, 3, 4, 5, 1, 6], ` " ` [2, 7, 3, 5, 4, 1, 6], ` " ` [3, 2, 1, 4, 7, 6, 5], ` " ` [3, 2, 1, 5, 7, 6, 4], ` " ` [3, 2, 1, 6, 7, 4, 5], ` " ` [3, 2, 1, 6, 7, 5, 4], ` " ` [3, 2, 1, 7, 5, 6, 4], ` " ` [3, 2, 1, 7, 6, 5, 4], ` " ` [3, 2, 4, 7, 1, 6, 5], ` " ` [3, 2, 5, 1, 7, 6, 4], ` " ` [3, 2, 5, 7, 1, 6, 4], ` " ` [3, 2, 6, 1, 7, 4, 5], ` " ` [3, 2, 6, 1, 7, 5, 4], ` " ` [3, 2, 6, 7, 1, 4, 5], ` " ` [3, 2, 6, 7, 1, 5, 4], ` " ` [3, 2, 7, 1, 5, 6, 4], ` " ` [3, 2, 7, 1, 6, 4, 5], ` " ` [3, 2, 7, 1, 6, 5, 4], ` " ` [3, 2, 7, 4, 1, 6, 5], ` " ` [3, 2, 7, 5, 1, 6, 4], ` " ` [3, 2, 7, 6, 1, 4, 5], ` " ` [3, 2, 7, 6, 1, 5, 4], ` " ` [3, 4, 1, 6, 7, 2, 5], ` " ` [3, 4, 1, 7, 6, 2, 5], ` " ` [3, 4, 6, 1, 7, 2, 5], ` " ` [3, 4, 7, 1, 6, 2, 5], ` " ` [3, 5, 1, 7, 2, 6, 4], ` " ` [3, 5, 1, 7, 6, 2, 4], ` " ` [3, 5, 2, 7, 1, 6, 4], ` " ` [3, 5, 6, 1, 7, 2, 4], ` " ` [3, 5, 7, 1, 2, 6, 4], ` " ` [3, 6, 1, 4, 7, 2, 5], ` " ` [3, 6, 1, 5, 7, 2, 4], ` " ` [3, 6, 1, 7, 5, 2, 4], ` " ` [3, 6, 2, 1, 7, 5, 4], ` " ` [3, 6, 5, 1, 7, 2, 4], ` " ` This took, 1.820, seconds. This took, 2.003, seconds.