The first, 5, 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, 5, terms, there are only, 1, of them. Here there are, arranged in lexicographic order [[1, 2, 3], [5, 14, 42]] [1, 3, 2], ` " ` This took, 0.003, seconds. The first, 6, 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, 6, terms, there are only, 2, of them. Here there are, arranged in lexicographic order [[1, 3, 4, 2], [23, 103, 512]] [2, 4, 1, 3], ` " ` [[1, 2, 3, 4], [23, 103, 513]] [1, 2, 4, 3], ` " ` [1, 3, 2, 4], ` " ` [1, 4, 3, 2], ` " ` [2, 1, 4, 3], ` " ` This took, 0.017, seconds. The first, 7, 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, 7, terms, there are only, 5, of them. Here there are, arranged in lexicographic order [[2, 5, 3, 1, 4], [119, 694, 4578]] [[2, 3, 5, 1, 4], [119, 694, 4579]] [2, 4, 1, 5, 3], ` " ` [[1, 3, 4, 2, 5], [119, 694, 4580]] [1, 3, 5, 2, 4], ` " ` [1, 3, 5, 4, 2], ` " ` [1, 4, 3, 5, 2], ` " ` [2, 4, 5, 1, 3], ` " ` [[1, 2, 4, 5, 3], [119, 694, 4581]] [1, 3, 4, 5, 2], ` " ` [1, 4, 5, 2, 3], ` " ` [1, 4, 5, 3, 2], ` " ` [1, 5, 3, 4, 2], ` " ` [2, 1, 4, 5, 3], ` " ` [[1, 2, 3, 4, 5], [119, 694, 4582]] [1, 2, 3, 5, 4], ` " ` [1, 2, 4, 3, 5], ` " ` [1, 2, 5, 4, 3], ` " ` [1, 3, 2, 5, 4], ` " ` [1, 4, 3, 2, 5], ` " ` [1, 5, 4, 3, 2], ` " ` [2, 1, 3, 5, 4], ` " ` [2, 1, 5, 4, 3], ` " ` This took, 0.062, seconds. The first, 8, 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, 8, terms, there are only, 6, of them. Here there are, arranged in lexicographic order [[1, 3, 6, 4, 2, 5], [719, 5003, 39424]] [2, 4, 6, 1, 5, 3], ` " ` [2, 4, 6, 3, 1, 5], ` " ` [2, 5, 1, 3, 6, 4], ` " ` [2, 5, 1, 4, 6, 3], ` " ` [2, 5, 3, 6, 1, 4], ` " ` [[1, 3, 4, 6, 2, 5], [719, 5003, 39425]] [1, 3, 5, 2, 6, 4], ` " ` [1, 3, 6, 2, 4, 5], ` " ` [1, 3, 6, 5, 2, 4], ` " ` [1, 4, 6, 2, 5, 3], ` " ` [1, 4, 6, 3, 2, 5], ` " ` [1, 5, 3, 6, 2, 4], ` " ` [2, 3, 5, 1, 6, 4], ` " ` [2, 3, 6, 4, 1, 5], ` " ` [2, 4, 1, 6, 3, 5], ` " ` [2, 4, 1, 6, 5, 3], ` " ` [2, 4, 6, 1, 3, 5], ` " ` [2, 5, 1, 6, 3, 4], ` " ` [2, 5, 1, 6, 4, 3], ` " ` [2, 5, 4, 1, 6, 3], ` " ` [2, 5, 6, 3, 1, 4], ` " ` [2, 6, 3, 4, 1, 5], ` " ` [3, 5, 1, 6, 2, 4], ` " ` [[1, 3, 5, 2, 4, 6], [719, 5003, 39426]] [1, 3, 5, 4, 2, 6], ` " ` [1, 3, 5, 6, 2, 4], ` " ` [1, 3, 5, 6, 4, 2], ` " ` [1, 3, 6, 2, 5, 4], ` " ` [1, 3, 6, 4, 5, 2], ` " ` [1, 4, 3, 6, 2, 5], ` " ` [1, 4, 5, 2, 6, 3], ` " ` [1, 4, 5, 3, 6, 2], ` " ` [1, 4, 6, 3, 5, 2], ` " ` [1, 5, 3, 4, 6, 2], ` " ` [1, 5, 3, 6, 4, 2], ` " ` [1, 6, 3, 5, 4, 2], ` " ` [1, 6, 4, 3, 5, 2], ` " ` [2, 3, 4, 6, 1, 5], ` " ` [2, 3, 5, 6, 1, 4], ` " ` [2, 3, 6, 1, 4, 5], ` " ` [2, 3, 6, 1, 5, 4], ` " ` [2, 3, 6, 5, 1, 4], ` " ` [2, 4, 3, 6, 1, 5], ` " ` [2, 4, 5, 1, 6, 3], ` " ` [2, 4, 6, 5, 1, 3], ` " ` [2, 5, 4, 6, 1, 3], ` " ` [2, 5, 6, 1, 3, 4], ` " ` [2, 5, 6, 1, 4, 3], ` " ` [2, 5, 6, 4, 1, 3], ` " ` [[1, 2, 4, 5, 3, 6], [719, 5003, 39427]] [1, 2, 4, 6, 3, 5], ` " ` [1, 2, 4, 6, 5, 3], ` " ` [1, 2, 5, 4, 6, 3], ` " ` [1, 3, 4, 2, 6, 5], ` " ` [1, 3, 4, 5, 2, 6], ` " ` [1, 3, 4, 6, 5, 2], ` " ` [1, 3, 5, 4, 6, 2], ` " ` [1, 3, 6, 5, 4, 2], ` " ` [1, 4, 3, 5, 6, 2], ` " ` [1, 4, 3, 6, 5, 2], ` " ` [1, 4, 5, 2, 3, 6], ` " ` [1, 4, 5, 3, 2, 6], ` " ` [1, 4, 6, 5, 2, 3], ` " ` [1, 4, 6, 5, 3, 2], ` " ` [1, 5, 3, 4, 2, 6], ` " ` [1, 5, 4, 3, 6, 2], ` " ` [1, 5, 4, 6, 2, 3], ` " ` [1, 5, 4, 6, 3, 2], ` " ` [2, 1, 4, 6, 3, 5], ` " ` [2, 1, 4, 6, 5, 3], ` " ` [2, 1, 5, 4, 6, 3], ` " ` [2, 4, 5, 6, 1, 3], ` " ` [3, 2, 6, 1, 5, 4], ` " ` [[1, 2, 3, 5, 6, 4], [719, 5003, 39428]] [1, 2, 4, 5, 6, 3], ` " ` [1, 2, 5, 6, 3, 4], ` " ` [1, 2, 5, 6, 4, 3], ` " ` [1, 2, 6, 4, 5, 3], ` " ` [1, 3, 2, 5, 6, 4], ` " ` [1, 3, 4, 5, 6, 2], ` " ` [1, 4, 5, 6, 2, 3], ` " ` [1, 4, 5, 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, 4, 5, 3, 2], ` " ` [2, 1, 3, 5, 6, 4], ` " ` [2, 1, 4, 5, 6, 3], ` " ` [2, 1, 5, 6, 3, 4], ` " ` [2, 1, 5, 6, 4, 3], ` " ` [2, 1, 6, 4, 5, 3], ` " ` [2, 3, 1, 5, 6, 4], ` " ` [2, 3, 1, 6, 4, 5], ` " ` [2, 3, 1, 6, 5, 4], ` " ` [[1, 2, 3, 4, 5, 6], [719, 5003, 39429]] [1, 2, 3, 4, 6, 5], ` " ` [1, 2, 3, 5, 4, 6], ` " ` [1, 2, 3, 6, 5, 4], ` " ` [1, 2, 4, 3, 5, 6], ` " ` [1, 2, 4, 3, 6, 5], ` " ` [1, 2, 5, 4, 3, 6], ` " ` [1, 2, 6, 5, 4, 3], ` " ` [1, 3, 2, 4, 6, 5], ` " ` [1, 3, 2, 5, 4, 6], ` " ` [1, 3, 2, 6, 5, 4], ` " ` [1, 4, 3, 2, 6, 5], ` " ` [1, 5, 4, 3, 2, 6], ` " ` [1, 6, 5, 4, 3, 2], ` " ` [2, 1, 3, 4, 6, 5], ` " ` [2, 1, 3, 6, 5, 4], ` " ` [2, 1, 4, 3, 6, 5], ` " ` [2, 1, 6, 5, 4, 3], ` " ` [3, 2, 1, 6, 5, 4], ` " ` This took, 0.570, seconds. The first, 9, 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, 9, terms, there are only, 7, of them. Here there are, arranged in lexicographic order [[1, 3, 5, 7, 2, 6, 4], [5039, 40270, 361296]] [1, 3, 5, 7, 4, 2, 6], ` " ` [1, 3, 6, 2, 4, 7, 5], ` " ` [1, 3, 6, 2, 5, 7, 4], ` " ` [1, 3, 6, 4, 2, 5, 7], ` " ` [1, 3, 6, 4, 2, 7, 5], ` " ` [1, 3, 6, 4, 7, 2, 5], ` " ` [1, 3, 7, 4, 6, 2, 5], ` " ` [1, 3, 7, 5, 2, 4, 6], ` " ` [1, 3, 7, 5, 2, 6, 4], ` " ` [1, 4, 6, 2, 5, 7, 3], ` " ` [1, 4, 6, 2, 7, 5, 3], ` " ` [1, 4, 6, 3, 7, 2, 5], ` " ` [1, 4, 7, 3, 5, 2, 6], ` " ` [1, 4, 7, 5, 2, 6, 3], ` " ` [1, 4, 7, 5, 3, 6, 2], ` " ` [1, 5, 3, 6, 2, 7, 4], ` " ` [1, 5, 3, 7, 4, 2, 6], ` " ` [1, 5, 7, 4, 2, 6, 3], ` " ` [1, 6, 3, 5, 7, 2, 4], ` " ` [1, 6, 3, 5, 7, 4, 2], ` " ` [1, 6, 3, 7, 5, 2, 4], ` " ` [2, 4, 1, 5, 7, 3, 6], ` " ` [2, 4, 1, 7, 5, 3, 6], ` " ` [2, 4, 6, 1, 3, 7, 5], ` " ` [2, 4, 6, 1, 5, 7, 3], ` " ` [2, 4, 6, 1, 7, 5, 3], ` " ` [2, 4, 6, 3, 1, 7, 5], ` " ` [2, 4, 6, 3, 7, 1, 5], ` " ` [2, 4, 7, 1, 5, 3, 6], ` " ` [2, 4, 7, 1, 6, 3, 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, 5, 1, 4, 7, 3, 6], ` " ` [2, 5, 1, 7, 3, 6, 4], ` " ` [2, 5, 1, 7, 4, 6, 3], ` " ` [2, 5, 3, 7, 1, 6, 4], ` " ` [2, 5, 3, 7, 4, 1, 6], ` " ` [2, 5, 7, 1, 3, 6, 4], ` " ` [2, 5, 7, 1, 4, 6, 3], ` " ` [2, 5, 7, 3, 1, 6, 4], ` " ` [2, 5, 7, 3, 6, 1, 4], ` " ` [2, 5, 7, 4, 1, 3, 6], ` " ` [2, 5, 7, 4, 1, 6, 3], ` " ` [2, 6, 1, 3, 5, 7, 4], ` " ` [2, 6, 1, 4, 7, 3, 5], ` " ` [2, 6, 1, 4, 7, 5, 3], ` " ` [2, 6, 1, 5, 3, 7, 4], ` " ` [2, 6, 3, 1, 5, 7, 4], ` " ` [2, 6, 3, 5, 1, 7, 4], ` " ` [2, 6, 3, 5, 7, 1, 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, 7, 1, 3, 5], ` " ` [2, 6, 4, 7, 1, 5, 3], ` " ` [2, 6, 4, 7, 3, 1, 5], ` " ` [3, 5, 1, 7, 2, 6, 4], ` " ` [3, 5, 2, 7, 1, 6, 4], ` " ` [3, 6, 1, 4, 7, 2, 5], ` " ` [3, 6, 1, 5, 7, 2, 4], ` " ` [3, 6, 1, 7, 5, 2, 4], ` " ` [[1, 2, 4, 7, 5, 3, 6], [5039, 40270, 361297]] [1, 3, 4, 6, 2, 5, 7], ` " ` [1, 3, 4, 6, 2, 7, 5], ` " ` [1, 3, 4, 7, 5, 2, 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, 7, 2, 4, 6], ` " ` [1, 3, 6, 2, 7, 4, 5], ` " ` [1, 3, 6, 2, 7, 5, 4], ` " ` [1, 3, 6, 5, 2, 4, 7], ` " ` [1, 3, 6, 5, 2, 7, 4], ` " ` [1, 3, 6, 7, 4, 2, 5], ` " ` [1, 3, 7, 4, 2, 5, 6], ` " ` [1, 3, 7, 4, 2, 6, 5], ` " ` [1, 3, 7, 4, 5, 2, 6], ` " ` [1, 3, 7, 5, 4, 2, 6], ` " ` [1, 3, 7, 6, 4, 2, 5], ` " ` [1, 4, 3, 6, 2, 7, 5], ` " ` [1, 4, 3, 7, 5, 2, 6], ` " ` [1, 4, 5, 2, 7, 3, 6], ` " ` [1, 4, 5, 7, 2, 6, 3], ` " ` [1, 4, 5, 7, 3, 6, 2], ` " ` [1, 4, 6, 2, 5, 3, 7], ` " ` [1, 4, 6, 2, 7, 3, 5], ` " ` [1, 4, 6, 3, 2, 7, 5], ` " ` [1, 4, 6, 3, 7, 5, 2], ` " ` [1, 4, 6, 7, 2, 5, 3], ` " ` [1, 4, 7, 2, 5, 6, 3], ` " ` [1, 4, 7, 3, 5, 6, 2], ` " ` [1, 4, 7, 3, 6, 2, 5], ` " ` [1, 4, 7, 5, 2, 3, 6], ` " ` [1, 4, 7, 5, 3, 2, 6], ` " ` [1, 4, 7, 6, 2, 5, 3], ` " ` [1, 4, 7, 6, 3, 5, 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, 6, 2], ` " ` [1, 5, 3, 7, 6, 2, 4], ` " ` [1, 5, 4, 7, 2, 6, 3], ` " ` [1, 5, 6, 3, 7, 2, 4], ` " ` [1, 5, 7, 3, 6, 2, 4], ` " ` [1, 5, 7, 3, 6, 4, 2], ` " ` [1, 5, 7, 4, 3, 6, 2], ` " ` [1, 6, 3, 4, 7, 2, 5], ` " ` [1, 6, 3, 4, 7, 5, 2], ` " ` [1, 6, 3, 7, 5, 4, 2], ` " ` [1, 6, 4, 7, 3, 2, 5], ` " ` [1, 6, 4, 7, 3, 5, 2], ` " ` [1, 6, 5, 3, 7, 4, 2], ` " ` [2, 1, 4, 7, 5, 3, 6], ` " ` [2, 3, 5, 1, 7, 4, 6], ` " ` [2, 3, 5, 7, 1, 4, 6], ` " ` [2, 3, 5, 7, 1, 6, 4], ` " ` [2, 3, 5, 7, 4, 1, 6], ` " ` [2, 3, 6, 1, 4, 7, 5], ` " ` [2, 3, 6, 1, 5, 7, 4], ` " ` [2, 3, 6, 4, 1, 7, 5], ` " ` [2, 3, 6, 4, 7, 1, 5], ` " ` [2, 3, 7, 4, 6, 1, 5], ` " ` [2, 3, 7, 5, 1, 4, 6], ` " ` [2, 3, 7, 5, 1, 6, 4], ` " ` [2, 4, 1, 6, 3, 7, 5], ` " ` [2, 4, 1, 6, 7, 3, 5], ` " ` [2, 4, 1, 7, 3, 6, 5], ` " ` [2, 4, 1, 7, 6, 3, 5], ` " ` [2, 4, 5, 1, 7, 3, 6], ` " ` [2, 4, 5, 7, 1, 3, 6], ` " ` [2, 4, 5, 7, 1, 6, 3], ` " ` [2, 4, 5, 7, 3, 1, 6], ` " ` [2, 4, 6, 1, 7, 3, 5], ` " ` [2, 4, 6, 7, 1, 5, 3], ` " ` [2, 4, 6, 7, 3, 1, 5], ` " ` [2, 4, 7, 1, 3, 6, 5], ` " ` [2, 4, 7, 1, 5, 6, 3], ` " ` [2, 4, 7, 1, 6, 5, 3], ` " ` [2, 4, 7, 3, 1, 6, 5], ` " ` [2, 4, 7, 6, 1, 3, 5], ` " ` [2, 4, 7, 6, 1, 5, 3], ` " ` [2, 4, 7, 6, 3, 1, 5], ` " ` [2, 5, 1, 3, 7, 6, 4], ` " ` [2, 5, 1, 4, 7, 6, 3], ` " ` [2, 5, 1, 7, 4, 3, 6], ` " ` [2, 5, 3, 1, 7, 6, 4], ` " ` [2, 5, 3, 6, 7, 1, 4], ` " ` [2, 5, 3, 7, 6, 1, 4], ` " ` [2, 5, 4, 7, 1, 3, 6], ` " ` [2, 5, 4, 7, 1, 6, 3], ` " ` [2, 5, 4, 7, 3, 1, 6], ` " ` [2, 5, 6, 1, 3, 7, 4], ` " ` [2, 5, 6, 1, 4, 7, 3], ` " ` [2, 5, 6, 3, 7, 1, 4], ` " ` [2, 5, 7, 1, 6, 3, 4], ` " ` [2, 5, 7, 1, 6, 4, 3], ` " ` [2, 5, 7, 3, 4, 1, 6], ` " ` [2, 5, 7, 4, 3, 1, 6], ` " ` [2, 6, 1, 3, 4, 7, 5], ` " ` [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, 5, 4, 7, 3], ` " ` [2, 6, 1, 5, 7, 3, 4], ` " ` [2, 6, 1, 5, 7, 4, 3], ` " ` [2, 6, 3, 1, 7, 4, 5], ` " ` [2, 6, 3, 1, 7, 5, 4], ` " ` [2, 6, 3, 4, 7, 1, 5], ` " ` [2, 6, 3, 7, 1, 4, 5], ` " ` [2, 6, 3, 7, 1, 5, 4], ` " ` [2, 6, 4, 3, 7, 1, 5], ` " ` [2, 6, 5, 1, 3, 7, 4], ` " ` [2, 6, 5, 1, 4, 7, 3], ` " ` [2, 6, 5, 3, 7, 1, 4], ` " ` [2, 6, 7, 3, 5, 1, 4], ` " ` [2, 6, 7, 4, 1, 3, 5], ` " ` [2, 6, 7, 4, 1, 5, 3], ` " ` [3, 2, 5, 7, 1, 6, 4], ` " ` [3, 2, 7, 5, 1, 6, 4], ` " ` [3, 4, 6, 1, 7, 2, 5], ` " ` [3, 4, 7, 1, 6, 2, 5], ` " ` [3, 5, 1, 7, 6, 2, 4], ` " ` [3, 5, 7, 1, 2, 6, 4], ` " ` [3, 6, 5, 1, 7, 2, 4], ` " ` [[1, 2, 4, 5, 7, 3, 6], [5039, 40270, 361298]] [1, 2, 4, 6, 3, 7, 5], ` " ` [1, 2, 4, 7, 3, 5, 6], ` " ` [1, 2, 4, 7, 6, 3, 5], ` " ` [1, 2, 5, 7, 3, 6, 4], ` " ` [1, 2, 5, 7, 4, 3, 6], ` " ` [1, 2, 6, 4, 7, 3, 5], ` " ` [1, 3, 4, 5, 7, 2, 6], ` " ` [1, 3, 4, 6, 7, 2, 5], ` " ` [1, 3, 4, 7, 2, 5, 6], ` " ` [1, 3, 4, 7, 2, 6, 5], ` " ` [1, 3, 4, 7, 6, 2, 5], ` " ` [1, 3, 5, 4, 7, 2, 6], ` " ` [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, 7, 4, 6, 2], ` " ` [1, 3, 5, 7, 6, 2, 4], ` " ` [1, 3, 5, 7, 6, 4, 2], ` " ` [1, 3, 6, 2, 5, 4, 7], ` " ` [1, 3, 6, 4, 5, 2, 7], ` " ` [1, 3, 6, 4, 5, 7, 2], ` " ` [1, 3, 6, 4, 7, 5, 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, 5, 2, 4], ` " ` [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, 4, 6, 5, 2], ` " ` [1, 3, 7, 5, 4, 6, 2], ` " ` [1, 3, 7, 5, 6, 2, 4], ` " ` [1, 3, 7, 6, 2, 4, 5], ` " ` [1, 3, 7, 6, 2, 5, 4], ` " ` [1, 3, 7, 6, 5, 2, 4], ` " ` [1, 4, 3, 5, 7, 2, 6], ` " ` [1, 4, 3, 6, 7, 2, 5], ` " ` [1, 4, 3, 7, 2, 5, 6], ` " ` [1, 4, 3, 7, 6, 2, 5], ` " ` [1, 4, 5, 2, 6, 7, 3], ` " ` [1, 4, 5, 2, 7, 6, 3], ` " ` [1, 4, 5, 3, 7, 2, 6], ` " ` [1, 4, 5, 7, 2, 3, 6], ` " ` [1, 4, 5, 7, 3, 2, 6], ` " ` [1, 4, 6, 3, 5, 2, 7], ` " ` [1, 4, 6, 3, 5, 7, 2], ` " ` [1, 4, 6, 5, 2, 7, 3], ` " ` [1, 4, 6, 5, 3, 7, 2], ` " ` [1, 4, 6, 7, 3, 2, 5], ` " ` [1, 4, 6, 7, 3, 5, 2], ` " ` [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, 6, 5, 2], ` " ` [1, 4, 7, 6, 2, 3, 5], ` " ` [1, 4, 7, 6, 3, 2, 5], ` " ` [1, 5, 3, 4, 7, 2, 6], ` " ` [1, 5, 3, 6, 4, 7, 2], ` " ` [1, 5, 3, 7, 6, 4, 2], ` " ` [1, 5, 4, 6, 2, 7, 3], ` " ` [1, 5, 4, 6, 3, 7, 2], ` " ` [1, 5, 4, 7, 2, 3, 6], ` " ` [1, 5, 4, 7, 3, 2, 6], ` " ` [1, 5, 4, 7, 3, 6, 2], ` " ` [1, 5, 6, 3, 7, 4, 2], ` " ` [1, 5, 6, 4, 2, 7, 3], ` " ` [1, 5, 7, 3, 4, 2, 6], ` " ` [1, 5, 7, 3, 4, 6, 2], ` " ` [1, 5, 7, 4, 3, 2, 6], ` " ` [1, 6, 3, 5, 4, 2, 7], ` " ` [1, 6, 3, 5, 4, 7, 2], ` " ` [1, 6, 3, 7, 4, 5, 2], ` " ` [1, 6, 4, 3, 5, 7, 2], ` " ` [1, 6, 4, 3, 7, 2, 5], ` " ` [1, 6, 4, 3, 7, 5, 2], ` " ` [1, 7, 3, 5, 6, 4, 2], ` " ` [1, 7, 4, 5, 3, 6, 2], ` " ` [1, 7, 4, 6, 3, 5, 2], ` " ` [2, 1, 4, 5, 7, 3, 6], ` " ` [2, 1, 4, 6, 3, 7, 5], ` " ` [2, 1, 4, 7, 3, 5, 6], ` " ` [2, 1, 4, 7, 6, 3, 5], ` " ` [2, 1, 5, 7, 3, 6, 4], ` " ` [2, 1, 5, 7, 4, 3, 6], ` " ` [2, 1, 6, 4, 7, 3, 5], ` " ` [2, 3, 4, 6, 1, 7, 5], ` " ` [2, 3, 4, 7, 5, 1, 6], ` " ` [2, 3, 5, 1, 6, 7, 4], ` " ` [2, 3, 5, 1, 7, 6, 4], ` " ` [2, 3, 5, 6, 1, 7, 4], ` " ` [2, 3, 6, 1, 7, 4, 5], ` " ` [2, 3, 6, 1, 7, 5, 4], ` " ` [2, 3, 6, 5, 1, 7, 4], ` " ` [2, 3, 6, 7, 4, 1, 5], ` " ` [2, 3, 7, 4, 1, 5, 6], ` " ` [2, 3, 7, 4, 1, 6, 5], ` " ` [2, 3, 7, 4, 5, 1, 6], ` " ` [2, 3, 7, 5, 4, 1, 6], ` " ` [2, 3, 7, 6, 4, 1, 5], ` " ` [2, 4, 1, 5, 7, 6, 3], ` " ` [2, 4, 1, 6, 5, 7, 3], ` " ` [2, 4, 1, 6, 7, 5, 3], ` " ` [2, 4, 1, 7, 5, 6, 3], ` " ` [2, 4, 1, 7, 6, 5, 3], ` " ` [2, 4, 3, 7, 5, 1, 6], ` " ` [2, 4, 5, 1, 7, 6, 3], ` " ` [2, 4, 5, 3, 7, 1, 6], ` " ` [2, 4, 6, 5, 1, 7, 3], ` " ` [2, 4, 6, 7, 1, 3, 5], ` " ` [2, 4, 6, 7, 5, 1, 3], ` " ` [2, 4, 7, 5, 6, 1, 3], ` " ` [2, 5, 1, 6, 7, 3, 4], ` " ` [2, 5, 1, 6, 7, 4, 3], ` " ` [2, 5, 1, 7, 6, 3, 4], ` " ` [2, 5, 1, 7, 6, 4, 3], ` " ` [2, 5, 3, 4, 7, 1, 6], ` " ` [2, 5, 4, 1, 7, 6, 3], ` " ` [2, 5, 6, 1, 7, 3, 4], ` " ` [2, 5, 6, 1, 7, 4, 3], ` " ` [2, 5, 6, 4, 1, 7, 3], ` " ` [2, 5, 6, 4, 7, 1, 3], ` " ` [2, 5, 6, 7, 3, 1, 4], ` " ` [2, 5, 7, 4, 6, 1, 3], ` " ` [2, 5, 7, 6, 3, 1, 4], ` " ` [2, 5, 7, 6, 4, 1, 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, 4, 5, 1, 7, 3], ` " ` [2, 6, 4, 5, 7, 1, 3], ` " ` [2, 6, 4, 7, 5, 1, 3], ` " ` [2, 6, 5, 1, 7, 3, 4], ` " ` [2, 6, 5, 1, 7, 4, 3], ` " ` [2, 6, 5, 4, 1, 7, 3], ` " ` [2, 6, 5, 7, 3, 1, 4], ` " ` [2, 6, 5, 7, 4, 1, 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, 4, 3, 1, 5], ` " ` [2, 6, 7, 5, 3, 1, 4], ` " ` [2, 7, 3, 4, 5, 1, 6], ` " ` [2, 7, 3, 5, 4, 1, 6], ` " ` [3, 2, 5, 1, 7, 6, 4], ` " ` [3, 2, 6, 1, 7, 4, 5], ` " ` [3, 2, 6, 1, 7, 5, 4], ` " ` [3, 2, 7, 4, 1, 6, 5], ` " ` [3, 4, 1, 6, 7, 2, 5], ` " ` [3, 4, 1, 7, 6, 2, 5], ` " ` [3, 5, 6, 1, 7, 2, 4], ` " ` [3, 6, 2, 1, 7, 5, 4], ` " ` [[1, 2, 4, 6, 3, 5, 7], [5039, 40270, 361299]] [1, 2, 4, 6, 5, 3, 7], ` " ` [1, 2, 4, 6, 7, 3, 5], ` " ` [1, 2, 4, 6, 7, 5, 3], ` " ` [1, 2, 4, 7, 3, 6, 5], ` " ` [1, 2, 4, 7, 5, 6, 3], ` " ` [1, 2, 5, 4, 6, 3, 7], ` " ` [1, 2, 5, 4, 7, 3, 6], ` " ` [1, 2, 5, 6, 3, 7, 4], ` " ` [1, 2, 5, 6, 4, 7, 3], ` " ` [1, 2, 5, 7, 4, 6, 3], ` " ` [1, 2, 6, 4, 5, 7, 3], ` " ` [1, 2, 6, 4, 7, 5, 3], ` " ` [1, 2, 7, 4, 6, 5, 3], ` " ` [1, 2, 7, 5, 4, 6, 3], ` " ` [1, 3, 4, 6, 5, 2, 7], ` " ` [1, 3, 4, 6, 7, 5, 2], ` " ` [1, 3, 4, 7, 5, 6, 2], ` " ` [1, 3, 5, 2, 4, 7, 6], ` " ` [1, 3, 5, 4, 2, 7, 6], ` " ` [1, 3, 5, 4, 6, 2, 7], ` " ` [1, 3, 5, 6, 7, 2, 4], ` " ` [1, 3, 5, 6, 7, 4, 2], ` " ` [1, 3, 6, 5, 4, 2, 7], ` " ` [1, 3, 6, 7, 4, 5, 2], ` " ` [1, 3, 6, 7, 5, 4, 2], ` " ` [1, 3, 7, 2, 6, 5, 4], ` " ` [1, 3, 7, 4, 5, 6, 2], ` " ` [1, 3, 7, 5, 6, 4, 2], ` " ` [1, 3, 7, 6, 4, 5, 2], ` " ` [1, 4, 3, 5, 2, 7, 6], ` " ` [1, 4, 3, 6, 5, 2, 7], ` " ` [1, 4, 3, 6, 7, 5, 2], ` " ` [1, 4, 3, 7, 2, 6, 5], ` " ` [1, 4, 3, 7, 5, 6, 2], ` " ` [1, 4, 5, 3, 6, 7, 2], ` " ` [1, 4, 5, 3, 7, 6, 2], ` " ` [1, 4, 5, 6, 2, 7, 3], ` " ` [1, 4, 5, 6, 3, 7, 2], ` " ` [1, 4, 6, 5, 2, 3, 7], ` " ` [1, 4, 6, 5, 3, 2, 7], ` " ` [1, 4, 6, 7, 2, 3, 5], ` " ` [1, 4, 6, 7, 5, 2, 3], ` " ` [1, 4, 6, 7, 5, 3, 2], ` " ` [1, 4, 7, 5, 6, 2, 3], ` " ` [1, 4, 7, 5, 6, 3, 2], ` " ` [1, 5, 3, 4, 6, 7, 2], ` " ` [1, 5, 3, 4, 7, 6, 2], ` " ` [1, 5, 4, 3, 7, 2, 6], ` " ` [1, 5, 6, 3, 4, 7, 2], ` " ` [1, 5, 6, 4, 3, 7, 2], ` " ` [1, 5, 6, 4, 7, 2, 3], ` " ` [1, 5, 6, 4, 7, 3, 2], ` " ` [1, 5, 7, 4, 6, 2, 3], ` " ` [1, 5, 7, 4, 6, 3, 2], ` " ` [1, 6, 3, 4, 5, 7, 2], ` " ` [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, 5, 2, 3], ` " ` [1, 6, 4, 7, 5, 3, 2], ` " ` [1, 6, 5, 3, 4, 7, 2], ` " ` [1, 6, 7, 3, 5, 4, 2], ` " ` [1, 6, 7, 4, 3, 5, 2], ` " ` [1, 7, 3, 4, 6, 5, 2], ` " ` [1, 7, 3, 5, 4, 6, 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, 6, 5, 3, 2], ` " ` [1, 7, 5, 4, 3, 6, 2], ` " ` [1, 7, 5, 4, 6, 3, 2], ` " ` [2, 1, 4, 6, 7, 3, 5], ` " ` [2, 1, 4, 6, 7, 5, 3], ` " ` [2, 1, 4, 7, 3, 6, 5], ` " ` [2, 1, 4, 7, 5, 6, 3], ` " ` [2, 1, 5, 4, 7, 3, 6], ` " ` [2, 1, 5, 6, 3, 7, 4], ` " ` [2, 1, 5, 6, 4, 7, 3], ` " ` [2, 1, 5, 7, 4, 6, 3], ` " ` [2, 1, 6, 4, 5, 7, 3], ` " ` [2, 1, 6, 4, 7, 5, 3], ` " ` [2, 1, 7, 4, 6, 5, 3], ` " ` [2, 1, 7, 5, 4, 6, 3], ` " ` [2, 3, 4, 5, 7, 1, 6], ` " ` [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, 6, 1, 5], ` " ` [2, 3, 5, 4, 7, 1, 6], ` " ` [2, 3, 5, 6, 7, 1, 4], ` " ` [2, 3, 5, 7, 6, 1, 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, 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, 5, 6, 1, 4], ` " ` [2, 3, 7, 6, 1, 4, 5], ` " ` [2, 3, 7, 6, 1, 5, 4], ` " ` [2, 3, 7, 6, 5, 1, 4], ` " ` [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, 6, 1, 5], ` " ` [2, 4, 5, 6, 1, 7, 3], ` " ` [2, 4, 5, 7, 6, 1, 3], ` " ` [2, 4, 6, 5, 7, 1, 3], ` " ` [2, 4, 7, 6, 5, 1, 3], ` " ` [2, 5, 4, 3, 7, 1, 6], ` " ` [2, 5, 4, 6, 7, 1, 3], ` " ` [2, 5, 4, 7, 6, 1, 3], ` " ` [2, 5, 6, 7, 1, 3, 4], ` " ` [2, 5, 6, 7, 1, 4, 3], ` " ` [2, 5, 6, 7, 4, 1, 3], ` " ` [2, 5, 7, 6, 1, 3, 4], ` " ` [2, 5, 7, 6, 1, 4, 3], ` " ` [2, 6, 5, 4, 7, 1, 3], ` " ` [2, 6, 5, 7, 1, 3, 4], ` " ` [2, 6, 5, 7, 1, 4, 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, 4, 5, 1, 3], ` " ` [2, 6, 7, 5, 1, 3, 4], ` " ` [2, 6, 7, 5, 1, 4, 3], ` " ` [2, 6, 7, 5, 4, 1, 3], ` " ` [3, 2, 4, 7, 1, 6, 5], ` " ` [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, 6, 1, 4, 5], ` " ` [3, 2, 7, 6, 1, 5, 4], ` " ` [[1, 2, 3, 5, 6, 4, 7], [5039, 40270, 361300]] [1, 2, 3, 5, 7, 4, 6], ` " ` [1, 2, 3, 5, 7, 6, 4], ` " ` [1, 2, 3, 6, 5, 7, 4], ` " ` [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, 7, 6, 3], ` " ` [1, 2, 4, 6, 5, 7, 3], ` " ` [1, 2, 4, 7, 6, 5, 3], ` " ` [1, 2, 5, 4, 6, 7, 3], ` " ` [1, 2, 5, 4, 7, 6, 3], ` " ` [1, 2, 5, 6, 3, 4, 7], ` " ` [1, 2, 5, 6, 4, 3, 7], ` " ` [1, 2, 5, 7, 6, 3, 4], ` " ` [1, 2, 5, 7, 6, 4, 3], ` " ` [1, 2, 6, 4, 5, 3, 7], ` " ` [1, 2, 6, 5, 4, 7, 3], ` " ` [1, 2, 6, 5, 7, 3, 4], ` " ` [1, 2, 6, 5, 7, 4, 3], ` " ` [1, 3, 2, 5, 6, 4, 7], ` " ` [1, 3, 2, 5, 7, 4, 6], ` " ` [1, 3, 2, 5, 7, 6, 4], ` " ` [1, 3, 2, 6, 5, 7, 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, 7, 6, 2], ` " ` [1, 3, 4, 6, 5, 7, 2], ` " ` [1, 3, 4, 7, 6, 5, 2], ` " ` [1, 3, 5, 4, 6, 7, 2], ` " ` [1, 3, 5, 4, 7, 6, 2], ` " ` [1, 3, 6, 5, 4, 7, 2], ` " ` [1, 3, 7, 6, 5, 4, 2], ` " ` [1, 4, 3, 5, 6, 7, 2], ` " ` [1, 4, 3, 5, 7, 6, 2], ` " ` [1, 4, 3, 6, 5, 7, 2], ` " ` [1, 4, 3, 7, 6, 5, 2], ` " ` [1, 4, 5, 2, 3, 7, 6], ` " ` [1, 4, 5, 3, 2, 7, 6], ` " ` [1, 4, 5, 6, 2, 3, 7], ` " ` [1, 4, 5, 6, 3, 2, 7], ` " ` [1, 4, 5, 7, 6, 2, 3], ` " ` [1, 4, 5, 7, 6, 3, 2], ` " ` [1, 4, 6, 5, 7, 2, 3], ` " ` [1, 4, 6, 5, 7, 3, 2], ` " ` [1, 4, 7, 6, 5, 2, 3], ` " ` [1, 4, 7, 6, 5, 3, 2], ` " ` [1, 5, 3, 4, 2, 7, 6], ` " ` [1, 5, 4, 3, 6, 7, 2], ` " ` [1, 5, 4, 3, 7, 6, 2], ` " ` [1, 5, 4, 6, 7, 2, 3], ` " ` [1, 5, 4, 6, 7, 3, 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, 4, 2, 3, 7], ` " ` [1, 5, 6, 4, 3, 2, 7], ` " ` [1, 5, 6, 7, 2, 4, 3], ` " ` [1, 5, 6, 7, 3, 2, 4], ` " ` [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, 4, 5, 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], ` " ` [2, 1, 3, 5, 7, 4, 6], ` " ` [2, 1, 3, 5, 7, 6, 4], ` " ` [2, 1, 3, 6, 5, 7, 4], ` " ` [2, 1, 4, 5, 3, 7, 6], ` " ` [2, 1, 4, 5, 7, 6, 3], ` " ` [2, 1, 4, 6, 5, 7, 3], ` " ` [2, 1, 4, 7, 6, 5, 3], ` " ` [2, 1, 5, 4, 6, 7, 3], ` " ` [2, 1, 5, 4, 7, 6, 3], ` " ` [2, 1, 5, 7, 6, 3, 4], ` " ` [2, 1, 5, 7, 6, 4, 3], ` " ` [2, 1, 6, 5, 4, 7, 3], ` " ` [2, 1, 6, 5, 7, 3, 4], ` " ` [2, 1, 6, 5, 7, 4, 3], ` " ` [2, 3, 1, 4, 6, 7, 5], ` " ` [2, 3, 1, 4, 7, 5, 6], ` " ` [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, 7, 4, 6, 5], ` " ` [2, 3, 1, 7, 5, 4, 6], ` " ` [2, 4, 1, 3, 7, 6, 5], ` " ` [2, 4, 3, 1, 7, 6, 5], ` " ` [2, 4, 5, 6, 7, 1, 3], ` " ` [3, 2, 1, 5, 7, 6, 4], ` " ` [3, 2, 7, 1, 6, 5, 4], ` " ` [[1, 2, 3, 4, 6, 7, 5], [5039, 40270, 361301]] [1, 2, 3, 5, 6, 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, 4, 3, 6, 7, 5], ` " ` [1, 2, 4, 5, 6, 7, 3], ` " ` [1, 2, 5, 6, 7, 3, 4], ` " ` [1, 2, 5, 6, 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, 5, 6, 4, 3], ` " ` [1, 3, 2, 4, 6, 7, 5], ` " ` [1, 3, 2, 5, 6, 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, 4, 5, 6, 7, 2], ` " ` [1, 4, 3, 2, 6, 7, 5], ` " ` [1, 4, 5, 6, 7, 2, 3], ` " ` [1, 4, 5, 6, 7, 3, 2], ` " ` [1, 5, 6, 7, 2, 3, 4], ` " ` [1, 5, 6, 7, 3, 4, 2], ` " ` [1, 5, 6, 7, 4, 2, 3], ` " ` [1, 5, 6, 7, 4, 3, 2], ` " ` [1, 6, 7, 3, 4, 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, 4, 5, 6, 3, 2], ` " ` [1, 7, 5, 6, 3, 4, 2], ` " ` [1, 7, 5, 6, 4, 3, 2], ` " ` [1, 7, 6, 4, 5, 3, 2], ` " ` [2, 1, 3, 4, 6, 7, 5], ` " ` [2, 1, 3, 5, 6, 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, 4, 3, 6, 7, 5], ` " ` [2, 1, 4, 5, 6, 7, 3], ` " ` [2, 1, 5, 6, 7, 3, 4], ` " ` [2, 1, 5, 6, 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, 5, 6, 4, 3], ` " ` [2, 3, 1, 4, 7, 6, 5], ` " ` [2, 3, 1, 5, 6, 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, 5, 6, 4], ` " ` [2, 3, 1, 7, 6, 4, 5], ` " ` [2, 3, 1, 7, 6, 5, 4], ` " ` [2, 3, 4, 1, 7, 6, 5], ` " ` [3, 2, 1, 6, 7, 4, 5], ` " ` [3, 2, 1, 6, 7, 5, 4], ` " ` [3, 2, 1, 7, 5, 6, 4], ` " ` [[1, 2, 3, 4, 5, 6, 7], [5039, 40270, 361302]] [1, 2, 3, 4, 5, 7, 6], ` " ` [1, 2, 3, 4, 6, 5, 7], ` " ` [1, 2, 3, 4, 7, 6, 5], ` " ` [1, 2, 3, 5, 4, 6, 7], ` " ` [1, 2, 3, 5, 4, 7, 6], ` " ` [1, 2, 3, 6, 5, 4, 7], ` " ` [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, 7, 6, 5], ` " ` [1, 2, 5, 4, 3, 6, 7], ` " ` [1, 2, 5, 4, 3, 7, 6], ` " ` [1, 2, 6, 5, 4, 3, 7], ` " ` [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, 7, 6, 5], ` " ` [1, 3, 2, 5, 4, 7, 6], ` " ` [1, 3, 2, 6, 5, 4, 7], ` " ` [1, 3, 2, 7, 6, 5, 4], ` " ` [1, 4, 3, 2, 5, 7, 6], ` " ` [1, 4, 3, 2, 7, 6, 5], ` " ` [1, 5, 4, 3, 2, 7, 6], ` " ` [1, 6, 5, 4, 3, 2, 7], ` " ` [1, 7, 6, 5, 4, 3, 2], ` " ` [2, 1, 3, 4, 5, 7, 6], ` " ` [2, 1, 3, 4, 7, 6, 5], ` " ` [2, 1, 3, 5, 4, 7, 6], ` " ` [2, 1, 3, 7, 6, 5, 4], ` " ` [2, 1, 4, 3, 7, 6, 5], ` " ` [2, 1, 5, 4, 3, 7, 6], ` " ` [2, 1, 7, 6, 5, 4, 3], ` " ` [3, 2, 1, 4, 7, 6, 5], ` " ` [3, 2, 1, 7, 6, 5, 4], ` " ` This took, 10.298, seconds. This took, 10.970, seconds.