--------------------------------------- The first, 8, 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, 8, terms, there are only, 1, of them. Here there are, arranged in lexicographic order [[1, 2, 3], [5, 14, 42, 132, 429, 1430]] [1, 3, 2], ` " ` This took, 0.060, seconds. The first, 9, 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, 9, terms, there are only, 3, of them. Here there are, arranged in lexicographic order [[1, 3, 4, 2], [23, 103, 512, 2740, 15485, 91245]] [2, 4, 1, 3], ` " ` [[1, 2, 3, 4], [23, 103, 513, 2761, 15767, 94359]] [1, 2, 4, 3], ` " ` [1, 4, 3, 2], ` " ` [2, 1, 4, 3], ` " ` [[1, 3, 2, 4], [23, 103, 513, 2762, 15793, 94776]] This took, 0.573, seconds. The first, 10, 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, 10, terms, there are only, 16, of them. Here there are, arranged in lexicographic order [[2, 5, 3, 1, 4], [119, 694, 4578, 33184, 258757, 2136978]] [[2, 4, 1, 5, 3], [119, 694, 4579, 33216, 259401, 2147525]] [[2, 3, 5, 1, 4], [119, 694, 4579, 33218, 259483, 2149558]] [[2, 4, 5, 1, 3], [119, 694, 4580, 33249, 260092, 2159381]] [[1, 3, 5, 4, 2], [119, 694, 4580, 33252, 260202, 2161837]] [[1, 4, 3, 5, 2], [119, 694, 4580, 33252, 260204, 2161930]] [[1, 3, 5, 2, 4], [119, 694, 4580, 33254, 260285, 2163930]] [[1, 3, 4, 2, 5], [119, 694, 4580, 33256, 260370, 2166120]] [[1, 3, 4, 5, 2], [119, 694, 4581, 33283, 260805, 2171393]] [[1, 4, 5, 2, 3], [119, 694, 4581, 33284, 260847, 2172454]] [[1, 4, 5, 3, 2], [119, 694, 4581, 33285, 260886, 2173374]] [[1, 2, 4, 5, 3], [119, 694, 4581, 33286, 260927, 2174398]] [2, 1, 4, 5, 3], ` " ` [[1, 5, 3, 4, 2], [119, 694, 4581, 33287, 260967, 2175379]] [[1, 2, 3, 4, 5], [119, 694, 4582, 33324, 261808, 2190688]] [1, 2, 3, 5, 4], ` " ` [1, 2, 5, 4, 3], ` " ` [1, 5, 4, 3, 2], ` " ` [2, 1, 3, 5, 4], ` " ` [2, 1, 5, 4, 3], ` " ` [[1, 2, 4, 3, 5], [119, 694, 4582, 33325, 261853, 2191902]] [1, 3, 2, 5, 4], ` " ` [[1, 4, 3, 2, 5], [119, 694, 4582, 33325, 261863, 2192390]] This took, 5.607, seconds. The first, 11, 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, 11, terms, there are only, 91, of them. Here there are, arranged in lexicographic order [[2, 4, 6, 1, 5, 3], [719, 5003, 39424, 344571, 3282986, 33614205]] [[2, 4, 6, 3, 1, 5], [719, 5003, 39424, 344572, 3283043, 33616187]] [[2, 5, 3, 6, 1, 4], [719, 5003, 39424, 344574, 3283168, 33620827]] [[2, 5, 1, 4, 6, 3], [719, 5003, 39424, 344575, 3283227, 33622952]] [[2, 5, 1, 3, 6, 4], [719, 5003, 39424, 344579, 3283483, 33632538]] [[1, 3, 6, 4, 2, 5], [719, 5003, 39424, 344580, 3283521, 33633237]] [[2, 5, 4, 1, 6, 3], [719, 5003, 39425, 344611, 3283955, 33632674]] [[2, 6, 3, 4, 1, 5], [719, 5003, 39425, 344614, 3284117, 33637965]] [[2, 5, 6, 3, 1, 4], [719, 5003, 39425, 344616, 3284248, 33642961]] [[2, 5, 1, 6, 4, 3], [719, 5003, 39425, 344619, 3284418, 33648781]] [[3, 5, 1, 6, 2, 4], [719, 5003, 39425, 344620, 3284441, 33648549]] [[2, 3, 6, 4, 1, 5], [719, 5003, 39425, 344620, 3284457, 33649576]] [[2, 5, 1, 6, 3, 4], [719, 5003, 39425, 344622, 3284567, 33653174]] [[2, 3, 5, 1, 6, 4], [719, 5003, 39425, 344622, 3284568, 33653215]] [[2, 4, 6, 1, 3, 5], [719, 5003, 39425, 344622, 3284571, 33653457]] [[2, 4, 1, 6, 3, 5], [719, 5003, 39425, 344622, 3284575, 33653663]] [[2, 4, 1, 6, 5, 3], [719, 5003, 39425, 344624, 3284706, 33658652]] [[1, 4, 6, 2, 5, 3], [719, 5003, 39425, 344627, 3284887, 33665219]] [[1, 5, 3, 6, 2, 4], [719, 5003, 39425, 344628, 3284941, 33666972]] [[1, 3, 6, 5, 2, 4], [719, 5003, 39425, 344629, 3284991, 33668435]] [[1, 3, 4, 6, 2, 5], [719, 5003, 39425, 344629, 3285006, 33669458]] [[1, 4, 6, 3, 2, 5], [719, 5003, 39425, 344630, 3285060, 33671182]] [[1, 3, 5, 2, 6, 4], [719, 5003, 39425, 344631, 3285115, 33673022]] [[1, 3, 6, 2, 4, 5], [719, 5003, 39425, 344633, 3285228, 33676816]] [[2, 3, 6, 1, 4, 5], [719, 5003, 39426, 344661, 3285505, 33671423]] [[2, 3, 6, 5, 1, 4], [719, 5003, 39426, 344662, 3285559, 33673168]] [[2, 4, 5, 1, 6, 3], [719, 5003, 39426, 344666, 3285746, 33678199]] [[2, 5, 6, 1, 4, 3], [719, 5003, 39426, 344667, 3285813, 33680926]] [[2, 3, 5, 6, 1, 4], [719, 5003, 39426, 344668, 3285874, 33683153]] [[2, 5, 6, 4, 1, 3], [719, 5003, 39426, 344668, 3285891, 33684210]] [[2, 5, 4, 6, 1, 3], [719, 5003, 39426, 344669, 3285926, 33684781]] [[2, 5, 6, 1, 3, 4], [719, 5003, 39426, 344669, 3285936, 33685398]] [[2, 3, 6, 1, 5, 4], [719, 5003, 39426, 344671, 3286054, 33689584]] [[2, 4, 6, 5, 1, 3], [719, 5003, 39426, 344672, 3286086, 33689894]] [[2, 4, 3, 6, 1, 5], [719, 5003, 39426, 344672, 3286113, 33691627]] [[1, 4, 5, 2, 6, 3], [719, 5003, 39426, 344672, 3286128, 33692550]] [[1, 5, 3, 4, 6, 2], [719, 5003, 39426, 344674, 3286231, 33695759]] [[2, 3, 4, 6, 1, 5], [719, 5003, 39426, 344675, 3286273, 33696773]] [[1, 3, 5, 6, 2, 4], [719, 5003, 39426, 344675, 3286293, 33697998]] [[1, 4, 5, 3, 6, 2], [719, 5003, 39426, 344676, 3286337, 33699112]] [[1, 3, 5, 6, 4, 2], [719, 5003, 39426, 344678, 3286444, 33702519]] [[1, 3, 6, 4, 5, 2], [719, 5003, 39426, 344678, 3286445, 33702593]] [[1, 4, 3, 6, 2, 5], [719, 5003, 39426, 344678, 3286493, 33705839]] [[1, 6, 4, 3, 5, 2], [719, 5003, 39426, 344679, 3286521, 33705830]] [[1, 5, 3, 6, 4, 2], [719, 5003, 39426, 344680, 3286576, 33707621]] [[1, 4, 6, 3, 5, 2], [719, 5003, 39426, 344680, 3286586, 33708305]] [[1, 3, 6, 2, 5, 4], [719, 5003, 39426, 344681, 3286660, 33711372]] [[1, 6, 3, 5, 4, 2], [719, 5003, 39426, 344682, 3286686, 33711239]] [[1, 3, 5, 4, 2, 6], [719, 5003, 39426, 344682, 3286719, 33713527]] [[1, 3, 5, 2, 4, 6], [719, 5003, 39426, 344686, 3286953, 33721710]] [[3, 2, 6, 1, 5, 4], [719, 5003, 39427, 344724, 3287748, 33732379]] [[1, 5, 4, 6, 2, 3], [719, 5003, 39427, 344724, 3287749, 33732314]] [[1, 4, 6, 5, 2, 3], [719, 5003, 39427, 344724, 3287751, 33732441]] [[1, 4, 3, 6, 5, 2], [719, 5003, 39427, 344725, 3287819, 33735112]] [[1, 3, 4, 5, 2, 6], [719, 5003, 39427, 344725, 3287840, 33736582]] [[1, 3, 4, 6, 5, 2], [719, 5003, 39427, 344726, 3287851, 33735408]] [[1, 4, 3, 5, 6, 2], [719, 5003, 39427, 344726, 3287863, 33736197]] [[1, 4, 6, 5, 3, 2], [719, 5003, 39427, 344726, 3287877, 33737112]] [[2, 4, 5, 6, 1, 3], [719, 5003, 39427, 344727, 3287904, 33737204]] [[1, 5, 4, 3, 6, 2], [719, 5003, 39427, 344727, 3287939, 33739461]] [[1, 4, 5, 2, 3, 6], [719, 5003, 39427, 344727, 3287974, 33741840]] [[1, 3, 5, 4, 6, 2], [719, 5003, 39427, 344728, 3287971, 33739711]] [[1, 5, 4, 6, 3, 2], [719, 5003, 39427, 344728, 3287993, 33741162]] [[1, 3, 6, 5, 4, 2], [719, 5003, 39427, 344728, 3287995, 33741282]] [[1, 4, 5, 3, 2, 6], [719, 5003, 39427, 344729, 3288078, 33745053]] [[1, 2, 5, 4, 6, 3], [719, 5003, 39427, 344731, 3288165, 33747089]] [2, 1, 5, 4, 6, 3], ` " ` [[1, 2, 4, 6, 5, 3], [719, 5003, 39427, 344731, 3288170, 33747415]] [2, 1, 4, 6, 5, 3], ` " ` [[1, 5, 3, 4, 2, 6], [719, 5003, 39427, 344732, 3288259, 33751604]] [[1, 2, 4, 6, 3, 5], [719, 5003, 39427, 344733, 3288292, 33751853]] [2, 1, 4, 6, 3, 5], ` " ` [[1, 2, 4, 5, 3, 6], [719, 5003, 39427, 344735, 3288426, 33757116]] [1, 3, 4, 2, 6, 5], ` " ` [[2, 3, 1, 5, 6, 4], [719, 5003, 39428, 344772, 3289163, 33765743]] [2, 3, 1, 6, 4, 5], ` " ` [[1, 5, 6, 4, 2, 3], [719, 5003, 39428, 344776, 3289398, 33773930]] [[1, 6, 3, 4, 5, 2], [719, 5003, 39428, 344777, 3289452, 33775767]] [[1, 2, 4, 5, 6, 3], [719, 5003, 39428, 344777, 3289454, 33775840]] [2, 1, 4, 5, 6, 3], ` " ` [[1, 4, 5, 6, 3, 2], [719, 5003, 39428, 344778, 3289499, 33776998]] [[1, 4, 5, 6, 2, 3], [719, 5003, 39428, 344778, 3289500, 33777051]] [[1, 2, 5, 6, 3, 4], [719, 5003, 39428, 344778, 3289522, 33778520]] [2, 1, 5, 6, 3, 4], ` " ` [[1, 2, 5, 6, 4, 3], [719, 5003, 39428, 344779, 3289579, 33780454]] [2, 1, 5, 6, 4, 3], ` " ` [[1, 3, 4, 5, 6, 2], [719, 5003, 39428, 344781, 3289663, 33782306]] [[1, 5, 6, 3, 4, 2], [719, 5003, 39428, 344781, 3289688, 33784036]] [[1, 2, 6, 4, 5, 3], [719, 5003, 39428, 344781, 3289705, 33785166]] [2, 1, 6, 4, 5, 3], ` " ` [[1, 6, 4, 5, 3, 2], [719, 5003, 39428, 344782, 3289753, 33786492]] [[1, 5, 6, 4, 3, 2], [719, 5003, 39428, 344783, 3289800, 33787790]] [[1, 2, 3, 5, 6, 4], [719, 5003, 39428, 344784, 3289863, 33790151]] [2, 1, 3, 5, 6, 4], ` " ` [2, 3, 1, 6, 5, 4], ` " ` [[1, 3, 2, 5, 6, 4], [719, 5003, 39428, 344784, 3289875, 33790967]] [[1, 2, 3, 4, 5, 6], [719, 5003, 39429, 344837, 3291590, 33835114]] [1, 2, 3, 4, 6, 5], ` " ` [1, 2, 3, 6, 5, 4], ` " ` [1, 2, 6, 5, 4, 3], ` " ` [1, 6, 5, 4, 3, 2], ` " ` [2, 1, 3, 4, 6, 5], ` " ` [2, 1, 3, 6, 5, 4], ` " ` [2, 1, 6, 5, 4, 3], ` " ` [3, 2, 1, 6, 5, 4], ` " ` [[1, 2, 3, 5, 4, 6], [719, 5003, 39429, 344838, 3291652, 33837432]] [1, 3, 2, 4, 6, 5], ` " ` [1, 3, 2, 6, 5, 4], ` " ` [[1, 2, 4, 3, 5, 6], [719, 5003, 39429, 344838, 3291656, 33837679]] [1, 2, 4, 3, 6, 5], ` " ` [2, 1, 4, 3, 6, 5], ` " ` [[1, 5, 4, 3, 2, 6], [719, 5003, 39429, 344838, 3291662, 33838228]] [[1, 2, 5, 4, 3, 6], [719, 5003, 39429, 344838, 3291666, 33838429]] [1, 4, 3, 2, 6, 5], ` " ` [[1, 3, 2, 5, 4, 6], [719, 5003, 39429, 344839, 3291715, 33839811]] This took, 102.254, seconds. The first, 12, 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, 12, terms, there are only, 595, of them. Here there are, arranged in lexicographic order [[3, 6, 1, 4, 7, 2, 5], [5039, 40270, 361296, 3587467, 38938112, 456962852]] [[2, 6, 3, 5, 1, 7, 4], [5039, 40270, 361296, 3587470, 38938235, 456964086]] [[2, 5, 7, 3, 1, 6, 4], [5039, 40270, 361296, 3587471, 38938321, 456968245]] [[2, 6, 4, 1, 7, 3, 5], [5039, 40270, 361296, 3587471, 38938334, 456969266]] [[3, 6, 1, 5, 7, 2, 4], [5039, 40270, 361296, 3587474, 38938533, 456977119]] [[2, 5, 7, 4, 1, 6, 3], [5039, 40270, 361296, 3587474, 38938566, 456979974]] [[2, 4, 7, 1, 5, 3, 6], [5039, 40270, 361296, 3587475, 38938645, 456983757]] [[2, 6, 3, 5, 7, 1, 4], [5039, 40270, 361296, 3587476, 38938684, 456984034]] [[2, 6, 3, 1, 5, 7, 4], [5039, 40270, 361296, 3587476, 38938693, 456984984]] [[2, 6, 4, 7, 3, 1, 5], [5039, 40270, 361296, 3587476, 38938705, 456985725]] [[3, 6, 1, 7, 5, 2, 4], [5039, 40270, 361296, 3587477, 38938725, 456984292]] [[2, 6, 4, 1, 7, 5, 3], [5039, 40270, 361296, 3587477, 38938786, 456989609]] [[2, 5, 7, 4, 1, 3, 6], [5039, 40270, 361296, 3587478, 38938840, 456991120]] [[2, 4, 7, 1, 6, 3, 5], [5039, 40270, 361296, 3587478, 38938860, 456992723]] [[2, 6, 3, 7, 5, 1, 4], [5039, 40270, 361296, 3587478, 38938870, 456993897]] [[2, 5, 7, 1, 3, 6, 4], [5039, 40270, 361296, 3587479, 38938914, 456994486]] [[2, 5, 7, 1, 4, 6, 3], [5039, 40270, 361296, 3587479, 38938934, 456996075]] [[2, 5, 1, 7, 3, 6, 4], [5039, 40270, 361296, 3587479, 38938978, 457000017]] [[2, 4, 7, 5, 1, 3, 6], [5039, 40270, 361296, 3587480, 38938981, 456996960]] [[2, 6, 4, 7, 1, 5, 3], [5039, 40270, 361296, 3587481, 38939090, 457003144]] [[3, 5, 1, 7, 2, 6, 4], [5039, 40270, 361296, 3587481, 38939098, 457003727]] [[2, 4, 6, 1, 5, 7, 3], [5039, 40270, 361296, 3587481, 38939106, 457004614]] [[2, 6, 4, 7, 1, 3, 5], [5039, 40270, 361296, 3587482, 38939148, 457005133]] [[2, 4, 6, 1, 7, 5, 3], [5039, 40270, 361296, 3587482, 38939154, 457005504]] [[2, 4, 7, 5, 3, 1, 6], [5039, 40270, 361296, 3587482, 38939155, 457005673]] [[2, 6, 3, 7, 4, 1, 5], [5039, 40270, 361296, 3587482, 38939168, 457006913]] [[2, 4, 6, 3, 7, 1, 5], [5039, 40270, 361296, 3587482, 38939176, 457007541]] [[2, 4, 7, 5, 1, 6, 3], [5039, 40270, 361296, 3587484, 38939297, 457011595]] [[2, 5, 7, 3, 6, 1, 4], [5039, 40270, 361296, 3587484, 38939333, 457014774]] [[2, 4, 7, 3, 5, 1, 6], [5039, 40270, 361296, 3587484, 38939338, 457015204]] [[2, 5, 3, 7, 4, 1, 6], [5039, 40270, 361296, 3587484, 38939338, 457015318]] [[2, 6, 1, 3, 5, 7, 4], [5039, 40270, 361296, 3587484, 38939350, 457016579]] [[2, 6, 1, 5, 3, 7, 4], [5039, 40270, 361296, 3587484, 38939370, 457018238]] [[3, 5, 2, 7, 1, 6, 4], [5039, 40270, 361296, 3587485, 38939375, 457015266]] [[2, 5, 3, 7, 1, 6, 4], [5039, 40270, 361296, 3587485, 38939399, 457017482]] [[2, 6, 1, 4, 7, 3, 5], [5039, 40270, 361296, 3587485, 38939435, 457020731]] [[2, 4, 6, 3, 1, 7, 5], [5039, 40270, 361296, 3587486, 38939480, 457021352]] [[2, 4, 7, 3, 6, 1, 5], [5039, 40270, 361296, 3587487, 38939560, 457025002]] [[2, 5, 1, 7, 4, 6, 3], [5039, 40270, 361296, 3587487, 38939577, 457026668]] [[1, 4, 6, 2, 7, 5, 3], [5039, 40270, 361296, 3587487, 38939628, 457031128]] [[2, 4, 6, 1, 3, 7, 5], [5039, 40270, 361296, 3587488, 38939649, 457029629]] [[2, 6, 1, 4, 7, 5, 3], [5039, 40270, 361296, 3587488, 38939653, 457030023]] [[2, 4, 1, 7, 5, 3, 6], [5039, 40270, 361296, 3587488, 38939653, 457030080]] [[1, 4, 7, 3, 5, 2, 6], [5039, 40270, 361296, 3587488, 38939710, 457035117]] [[1, 4, 6, 3, 7, 2, 5], [5039, 40270, 361296, 3587489, 38939781, 457038026]] [[1, 5, 3, 6, 2, 7, 4], [5039, 40270, 361296, 3587489, 38939784, 457038354]] [[2, 4, 1, 5, 7, 3, 6], [5039, 40270, 361296, 3587490, 38939868, 457042394]] [[1, 4, 6, 2, 5, 7, 3], [5039, 40270, 361296, 3587490, 38939878, 457043393]] [[1, 6, 3, 5, 7, 2, 4], [5039, 40270, 361296, 3587491, 38939912, 457043041]] [[1, 4, 7, 5, 2, 6, 3], [5039, 40270, 361296, 3587491, 38939918, 457043539]] [[1, 3, 5, 7, 2, 6, 4], [5039, 40270, 361296, 3587491, 38939922, 457043955]] [[1, 3, 5, 7, 4, 2, 6], [5039, 40270, 361296, 3587492, 38939993, 457046917]] [[1, 3, 7, 5, 2, 4, 6], [5039, 40270, 361296, 3587492, 38939995, 457047084]] [[1, 3, 7, 4, 6, 2, 5], [5039, 40270, 361296, 3587492, 38939998, 457047324]] [[1, 5, 3, 7, 4, 2, 6], [5039, 40270, 361296, 3587492, 38940021, 457049468]] [[2, 5, 1, 4, 7, 3, 6], [5039, 40270, 361296, 3587493, 38940085, 457051826]] [[1, 3, 6, 4, 7, 2, 5], [5039, 40270, 361296, 3587494, 38940154, 457054524]] [[1, 3, 7, 5, 2, 6, 4], [5039, 40270, 361296, 3587494, 38940166, 457055671]] [[1, 6, 3, 7, 5, 2, 4], [5039, 40270, 361296, 3587495, 38940242, 457058910]] [[1, 5, 7, 4, 2, 6, 3], [5039, 40270, 361296, 3587495, 38940247, 457059434]] [[1, 3, 6, 4, 2, 7, 5], [5039, 40270, 361296, 3587495, 38940271, 457061736]] [[1, 4, 7, 5, 3, 6, 2], [5039, 40270, 361296, 3587496, 38940296, 457060416]] [[1, 6, 3, 5, 7, 4, 2], [5039, 40270, 361296, 3587496, 38940299, 457060682]] [[1, 3, 6, 2, 5, 7, 4], [5039, 40270, 361296, 3587499, 38940576, 457075466]] [[1, 3, 6, 4, 2, 5, 7], [5039, 40270, 361296, 3587500, 38940673, 457080844]] [[1, 3, 6, 2, 4, 7, 5], [5039, 40270, 361296, 3587503, 38940917, 457092413]] [[2, 6, 3, 4, 7, 1, 5], [5039, 40270, 361297, 3587535, 38940799, 457044262]] [[2, 6, 5, 1, 3, 7, 4], [5039, 40270, 361297, 3587536, 38940838, 457044846]] [[2, 6, 3, 7, 1, 5, 4], [5039, 40270, 361297, 3587537, 38940968, 457052600]] [[2, 4, 7, 1, 5, 6, 3], [5039, 40270, 361297, 3587540, 38941138, 457057760]] [[2, 5, 6, 1, 4, 7, 3], [5039, 40270, 361297, 3587540, 38941155, 457059233]] [[2, 6, 3, 7, 1, 4, 5], [5039, 40270, 361297, 3587540, 38941164, 457060181]] [[2, 6, 5, 1, 4, 7, 3], [5039, 40270, 361297, 3587540, 38941166, 457060300]] [[2, 5, 6, 3, 7, 1, 4], [5039, 40270, 361297, 3587540, 38941209, 457064064]] [[2, 5, 6, 1, 3, 7, 4], [5039, 40270, 361297, 3587541, 38941246, 457064146]] [[2, 4, 7, 6, 3, 1, 5], [5039, 40270, 361297, 3587541, 38941261, 457065204]] [[2, 6, 5, 3, 7, 1, 4], [5039, 40270, 361297, 3587541, 38941275, 457066489]] [[2, 5, 1, 7, 4, 3, 6], [5039, 40270, 361297, 3587541, 38941300, 457068693]] [[3, 4, 7, 1, 6, 2, 5], [5039, 40270, 361297, 3587543, 38941379, 457069233]] [[2, 5, 7, 1, 6, 3, 4], [5039, 40270, 361297, 3587543, 38941380, 457069279]] [[2, 6, 3, 1, 7, 5, 4], [5039, 40270, 361297, 3587543, 38941416, 457072533]] [[2, 5, 7, 1, 6, 4, 3], [5039, 40270, 361297, 3587544, 38941469, 457073807]] [[2, 5, 4, 7, 1, 3, 6], [5039, 40270, 361297, 3587544, 38941479, 457074733]] [[2, 6, 1, 4, 5, 7, 3], [5039, 40270, 361297, 3587544, 38941494, 457076106]] [[1, 6, 3, 4, 7, 2, 5], [5039, 40270, 361297, 3587544, 38941553, 457081335]] [[1, 4, 7, 2, 5, 6, 3], [5039, 40270, 361297, 3587544, 38941572, 457083003]] [[2, 5, 7, 3, 4, 1, 6], [5039, 40270, 361297, 3587545, 38941550, 457077632]] [[2, 3, 7, 5, 1, 4, 6], [5039, 40270, 361297, 3587545, 38941557, 457078320]] [[2, 4, 5, 7, 3, 1, 6], [5039, 40270, 361297, 3587545, 38941563, 457078851]] [[2, 5, 4, 7, 1, 6, 3], [5039, 40270, 361297, 3587546, 38941609, 457079558]] [[2, 6, 3, 1, 7, 4, 5], [5039, 40270, 361297, 3587546, 38941619, 457080570]] [[3, 5, 7, 1, 2, 6, 4], [5039, 40270, 361297, 3587546, 38941632, 457081555]] [[2, 5, 4, 7, 3, 1, 6], [5039, 40270, 361297, 3587546, 38941645, 457082813]] [[3, 5, 1, 7, 6, 2, 4], [5039, 40270, 361297, 3587547, 38941687, 457083028]] [[2, 5, 7, 4, 3, 1, 6], [5039, 40270, 361297, 3587547, 38941701, 457084285]] [[2, 4, 7, 6, 1, 5, 3], [5039, 40270, 361297, 3587547, 38941705, 457084732]] [[2, 4, 7, 3, 1, 6, 5], [5039, 40270, 361297, 3587547, 38941725, 457086611]] [[3, 6, 5, 1, 7, 2, 4], [5039, 40270, 361297, 3587548, 38941754, 457085592]] [[2, 6, 4, 3, 7, 1, 5], [5039, 40270, 361297, 3587548, 38941773, 457087499]] [[2, 4, 5, 7, 1, 6, 3], [5039, 40270, 361297, 3587548, 38941776, 457087510]] [[3, 2, 5, 7, 1, 6, 4], [5039, 40270, 361297, 3587548, 38941783, 457088502]] [[2, 3, 5, 7, 1, 6, 4], [5039, 40270, 361297, 3587548, 38941793, 457089268]] [[2, 3, 7, 5, 1, 6, 4], [5039, 40270, 361297, 3587548, 38941796, 457089677]] [[2, 6, 1, 3, 7, 5, 4], [5039, 40270, 361297, 3587548, 38941808, 457091107]] [[1, 3, 6, 5, 2, 7, 4], [5039, 40270, 361297, 3587548, 38941876, 457096663]] [[2, 4, 5, 7, 1, 3, 6], [5039, 40270, 361297, 3587549, 38941867, 457092379]] [[2, 5, 3, 6, 7, 1, 4], [5039, 40270, 361297, 3587549, 38941876, 457093463]] [[2, 4, 7, 1, 6, 5, 3], [5039, 40270, 361297, 3587549, 38941878, 457093348]] [[2, 6, 1, 3, 7, 4, 5], [5039, 40270, 361297, 3587549, 38941904, 457095924]] [[2, 5, 1, 4, 7, 6, 3], [5039, 40270, 361297, 3587549, 38941938, 457098852]] [[2, 6, 7, 4, 1, 3, 5], [5039, 40270, 361297, 3587550, 38941933, 457095097]] [[2, 4, 6, 7, 1, 5, 3], [5039, 40270, 361297, 3587550, 38941943, 457095786]] [[2, 5, 3, 7, 6, 1, 4], [5039, 40270, 361297, 3587550, 38941962, 457097659]] [[2, 3, 6, 1, 5, 7, 4], [5039, 40270, 361297, 3587550, 38941979, 457099238]] [[2, 6, 1, 3, 4, 7, 5], [5039, 40270, 361297, 3587550, 38941994, 457100844]] [[1, 4, 7, 5, 2, 3, 6], [5039, 40270, 361297, 3587550, 38942012, 457102065]] [[2, 3, 6, 1, 4, 7, 5], [5039, 40270, 361297, 3587550, 38942042, 457104903]] [[2, 4, 6, 1, 7, 3, 5], [5039, 40270, 361297, 3587551, 38941988, 457096457]] [[3, 4, 6, 1, 7, 2, 5], [5039, 40270, 361297, 3587551, 38942001, 457097488]] [[2, 4, 5, 1, 7, 3, 6], [5039, 40270, 361297, 3587551, 38942016, 457099002]] [[3, 2, 7, 5, 1, 6, 4], [5039, 40270, 361297, 3587551, 38942027, 457100269]] [[2, 6, 1, 5, 7, 3, 4], [5039, 40270, 361297, 3587551, 38942028, 457100166]] [[2, 6, 1, 5, 4, 7, 3], [5039, 40270, 361297, 3587551, 38942039, 457101164]] [[2, 3, 5, 7, 1, 4, 6], [5039, 40270, 361297, 3587551, 38942042, 457101314]] [[2, 4, 7, 1, 3, 6, 5], [5039, 40270, 361297, 3587551, 38942043, 457101486]] [[1, 3, 7, 4, 5, 2, 6], [5039, 40270, 361297, 3587551, 38942066, 457103554]] [[1, 3, 7, 5, 4, 2, 6], [5039, 40270, 361297, 3587551, 38942094, 457106021]] [[2, 4, 7, 6, 1, 3, 5], [5039, 40270, 361297, 3587552, 38942074, 457100777]] [[2, 3, 7, 4, 6, 1, 5], [5039, 40270, 361297, 3587552, 38942107, 457103824]] [[2, 6, 7, 4, 1, 5, 3], [5039, 40270, 361297, 3587552, 38942120, 457105013]] [[1, 4, 5, 7, 2, 6, 3], [5039, 40270, 361297, 3587552, 38942149, 457107556]] [[2, 4, 6, 7, 3, 1, 5], [5039, 40270, 361297, 3587553, 38942154, 457104611]] [[2, 6, 7, 3, 5, 1, 4], [5039, 40270, 361297, 3587553, 38942188, 457107636]] [[1, 4, 6, 2, 7, 3, 5], [5039, 40270, 361297, 3587553, 38942223, 457110956]] [[1, 3, 6, 7, 4, 2, 5], [5039, 40270, 361297, 3587553, 38942237, 457112009]] [[1, 4, 3, 7, 5, 2, 6], [5039, 40270, 361297, 3587553, 38942262, 457114335]] [[1, 3, 7, 4, 2, 6, 5], [5039, 40270, 361297, 3587553, 38942278, 457115748]] [[2, 4, 1, 7, 6, 3, 5], [5039, 40270, 361297, 3587554, 38942267, 457111417]] [[2, 3, 6, 4, 1, 7, 5], [5039, 40270, 361297, 3587554, 38942291, 457113572]] [[1, 4, 7, 5, 3, 2, 6], [5039, 40270, 361297, 3587554, 38942309, 457115216]] [[1, 5, 3, 7, 2, 6, 4], [5039, 40270, 361297, 3587554, 38942330, 457117265]] [[1, 5, 3, 6, 7, 2, 4], [5039, 40270, 361297, 3587554, 38942335, 457117430]] [[2, 3, 5, 7, 4, 1, 6], [5039, 40270, 361297, 3587555, 38942342, 457114599]] [[2, 3, 6, 4, 7, 1, 5], [5039, 40270, 361297, 3587555, 38942362, 457116432]] [[1, 5, 4, 7, 2, 6, 3], [5039, 40270, 361297, 3587555, 38942373, 457117605]] [[1, 4, 7, 6, 2, 5, 3], [5039, 40270, 361297, 3587555, 38942379, 457118072]] [[2, 6, 1, 4, 3, 7, 5], [5039, 40270, 361297, 3587556, 38942477, 457123599]] [[1, 4, 5, 2, 7, 3, 6], [5039, 40270, 361297, 3587556, 38942488, 457124510]] [[2, 6, 1, 5, 7, 4, 3], [5039, 40270, 361297, 3587557, 38942502, 457122264]] [[1, 3, 4, 7, 5, 2, 6], [5039, 40270, 361297, 3587557, 38942535, 457125252]] [[1, 5, 3, 7, 6, 2, 4], [5039, 40270, 361297, 3587557, 38942541, 457125829]] [[1, 4, 6, 7, 2, 5, 3], [5039, 40270, 361297, 3587557, 38942547, 457126176]] [[1, 6, 4, 7, 3, 2, 5], [5039, 40270, 361297, 3587557, 38942547, 457126332]] [[1, 3, 7, 6, 4, 2, 5], [5039, 40270, 361297, 3587557, 38942548, 457126427]] [[1, 5, 7, 3, 6, 2, 4], [5039, 40270, 361297, 3587557, 38942549, 457126511]] [[1, 3, 7, 4, 2, 5, 6], [5039, 40270, 361297, 3587557, 38942559, 457127415]] [[1, 4, 6, 3, 2, 7, 5], [5039, 40270, 361297, 3587557, 38942591, 457130348]] [[2, 4, 1, 6, 7, 3, 5], [5039, 40270, 361297, 3587558, 38942554, 457123501]] [[2, 4, 1, 6, 3, 7, 5], [5039, 40270, 361297, 3587558, 38942592, 457126919]] [[1, 5, 6, 3, 7, 2, 4], [5039, 40270, 361297, 3587558, 38942620, 457129347]] [[1, 3, 5, 7, 2, 4, 6], [5039, 40270, 361297, 3587559, 38942699, 457133230]] [[2, 4, 1, 7, 3, 6, 5], [5039, 40270, 361297, 3587559, 38942713, 457134201]] [[1, 3, 4, 6, 2, 7, 5], [5039, 40270, 361297, 3587559, 38942719, 457135026]] [[1, 4, 7, 3, 6, 2, 5], [5039, 40270, 361297, 3587559, 38942719, 457135029]] [[2, 3, 5, 1, 7, 4, 6], [5039, 40270, 361297, 3587560, 38942726, 457132087]] [[1, 4, 6, 3, 7, 5, 2], [5039, 40270, 361297, 3587560, 38942790, 457137812]] [[1, 3, 6, 2, 7, 5, 4], [5039, 40270, 361297, 3587560, 38942820, 457140578]] [[2, 5, 3, 1, 7, 6, 4], [5039, 40270, 361297, 3587561, 38942838, 457138865]] [[1, 5, 3, 7, 4, 6, 2], [5039, 40270, 361297, 3587561, 38942866, 457141244]] [[2, 5, 1, 3, 7, 6, 4], [5039, 40270, 361297, 3587561, 38942887, 457143394]] [[1, 4, 5, 7, 3, 6, 2], [5039, 40270, 361297, 3587562, 38942920, 457142708]] [[1, 6, 3, 7, 5, 4, 2], [5039, 40270, 361297, 3587562, 38942946, 457144949]] [[1, 5, 7, 4, 3, 6, 2], [5039, 40270, 361297, 3587562, 38942946, 457145038]] [[1, 6, 3, 4, 7, 5, 2], [5039, 40270, 361297, 3587563, 38942995, 457145986]] [[1, 4, 7, 3, 5, 6, 2], [5039, 40270, 361297, 3587563, 38943006, 457146954]] [[1, 3, 6, 2, 7, 4, 5], [5039, 40270, 361297, 3587563, 38943026, 457148897]] [[1, 3, 5, 2, 6, 7, 4], [5039, 40270, 361297, 3587563, 38943031, 457149354]] [[1, 3, 5, 2, 7, 4, 6], [5039, 40270, 361297, 3587563, 38943038, 457150029]] [[1, 4, 3, 6, 2, 7, 5], [5039, 40270, 361297, 3587563, 38943067, 457152566]] [[1, 5, 3, 6, 7, 4, 2], [5039, 40270, 361297, 3587564, 38943092, 457151271]] [[1, 6, 4, 7, 3, 5, 2], [5039, 40270, 361297, 3587565, 38943178, 457155712]] [[1, 3, 5, 2, 7, 6, 4], [5039, 40270, 361297, 3587565, 38943219, 457159395]] [[1, 4, 6, 2, 5, 3, 7], [5039, 40270, 361297, 3587565, 38943236, 457161084]] [[1, 4, 7, 6, 3, 5, 2], [5039, 40270, 361297, 3587566, 38943251, 457158814]] [[1, 3, 6, 5, 2, 4, 7], [5039, 40270, 361297, 3587567, 38943377, 457166918]] [[1, 6, 5, 3, 7, 4, 2], [5039, 40270, 361297, 3587568, 38943410, 457166229]] [[1, 5, 7, 3, 6, 4, 2], [5039, 40270, 361297, 3587568, 38943412, 457166461]] [[1, 2, 4, 7, 5, 3, 6], [5039, 40270, 361297, 3587570, 38943578, 457174608]] [2, 1, 4, 7, 5, 3, 6], ` " ` [[1, 3, 4, 6, 2, 5, 7], [5039, 40270, 361297, 3587570, 38943617, 457178227]] [[1, 3, 5, 2, 6, 4, 7], [5039, 40270, 361297, 3587572, 38943767, 457184933]] [[2, 5, 6, 4, 1, 7, 3], [5039, 40270, 361298, 3587605, 38943675, 457135636]] [[2, 6, 4, 5, 1, 7, 3], [5039, 40270, 361298, 3587605, 38943703, 457138045]] [[2, 6, 5, 1, 7, 3, 4], [5039, 40270, 361298, 3587607, 38943827, 457142507]] [[2, 6, 5, 1, 7, 4, 3], [5039, 40270, 361298, 3587608, 38943892, 457145015]] [[3, 4, 1, 7, 6, 2, 5], [5039, 40270, 361298, 3587610, 38944084, 457155451]] [[2, 3, 6, 5, 1, 7, 4], [5039, 40270, 361298, 3587610, 38944086, 457155395]] [[3, 4, 1, 6, 7, 2, 5], [5039, 40270, 361298, 3587611, 38944174, 457159816]] [[2, 7, 3, 5, 4, 1, 6], [5039, 40270, 361298, 3587612, 38944223, 457161032]] [[3, 6, 2, 1, 7, 5, 4], [5039, 40270, 361298, 3587612, 38944250, 457163554]] [[3, 2, 7, 4, 1, 6, 5], [5039, 40270, 361298, 3587612, 38944268, 457165258]] [[1, 4, 7, 6, 3, 2, 5], [5039, 40270, 361298, 3587612, 38944357, 457172908]] [[2, 5, 4, 1, 7, 6, 3], [5039, 40270, 361298, 3587613, 38944324, 457166676]] [[2, 5, 1, 7, 6, 3, 4], [5039, 40270, 361298, 3587613, 38944338, 457167995]] [[1, 4, 5, 7, 3, 2, 6], [5039, 40270, 361298, 3587613, 38944425, 457175637]] [[2, 6, 5, 4, 1, 7, 3], [5039, 40270, 361298, 3587614, 38944348, 457165670]] [[2, 6, 7, 3, 1, 5, 4], [5039, 40270, 361298, 3587614, 38944374, 457167979]] [[2, 3, 6, 7, 4, 1, 5], [5039, 40270, 361298, 3587614, 38944406, 457170669]] [[2, 6, 1, 7, 4, 3, 5], [5039, 40270, 361298, 3587614, 38944422, 457172027]] [[2, 3, 7, 4, 1, 6, 5], [5039, 40270, 361298, 3587614, 38944432, 457172893]] [[2, 6, 1, 7, 3, 5, 4], [5039, 40270, 361298, 3587614, 38944440, 457173516]] [[2, 6, 7, 4, 3, 1, 5], [5039, 40270, 361298, 3587615, 38944450, 457171204]] [[2, 5, 6, 1, 7, 4, 3], [5039, 40270, 361298, 3587615, 38944466, 457172488]] [[2, 3, 7, 5, 4, 1, 6], [5039, 40270, 361298, 3587615, 38944480, 457173759]] [[2, 6, 7, 3, 4, 1, 5], [5039, 40270, 361298, 3587615, 38944482, 457173993]] [[2, 5, 1, 7, 6, 4, 3], [5039, 40270, 361298, 3587615, 38944516, 457177231]] [[1, 3, 4, 7, 2, 5, 6], [5039, 40270, 361298, 3587615, 38944618, 457186239]] [[2, 6, 5, 7, 3, 1, 4], [5039, 40270, 361298, 3587616, 38944537, 457175667]] [[2, 5, 7, 6, 3, 1, 4], [5039, 40270, 361298, 3587616, 38944537, 457175729]] [[2, 5, 1, 6, 7, 4, 3], [5039, 40270, 361298, 3587616, 38944563, 457177991]] [[2, 5, 1, 6, 7, 3, 4], [5039, 40270, 361298, 3587616, 38944599, 457180977]] [[1, 3, 4, 7, 6, 2, 5], [5039, 40270, 361298, 3587616, 38944655, 457186046]] [[1, 3, 7, 6, 2, 4, 5], [5039, 40270, 361298, 3587616, 38944671, 457187449]] [[2, 4, 5, 1, 7, 6, 3], [5039, 40270, 361298, 3587617, 38944639, 457181169]] [[2, 3, 6, 1, 7, 5, 4], [5039, 40270, 361298, 3587617, 38944644, 457181890]] [[2, 3, 6, 1, 7, 4, 5], [5039, 40270, 361298, 3587617, 38944666, 457183605]] [[1, 6, 4, 3, 7, 2, 5], [5039, 40270, 361298, 3587617, 38944708, 457187582]] [[1, 4, 7, 3, 2, 5, 6], [5039, 40270, 361298, 3587617, 38944768, 457192869]] [[2, 5, 6, 1, 7, 3, 4], [5039, 40270, 361298, 3587618, 38944713, 457184333]] [[2, 6, 7, 3, 1, 4, 5], [5039, 40270, 361298, 3587618, 38944716, 457184798]] [[2, 3, 7, 4, 5, 1, 6], [5039, 40270, 361298, 3587618, 38944723, 457185275]] [[2, 3, 7, 6, 4, 1, 5], [5039, 40270, 361298, 3587618, 38944728, 457185761]] [[1, 5, 4, 7, 2, 3, 6], [5039, 40270, 361298, 3587618, 38944769, 457189674]] [[1, 5, 6, 4, 2, 7, 3], [5039, 40270, 361298, 3587618, 38944791, 457191523]] [[1, 4, 5, 2, 7, 6, 3], [5039, 40270, 361298, 3587618, 38944808, 457193102]] [[2, 4, 6, 5, 1, 7, 3], [5039, 40270, 361298, 3587619, 38944763, 457185444]] [[1, 4, 6, 5, 2, 7, 3], [5039, 40270, 361298, 3587619, 38944840, 457192620]] [[2, 3, 5, 1, 7, 6, 4], [5039, 40270, 361298, 3587619, 38944864, 457194606]] [[1, 4, 5, 2, 6, 7, 3], [5039, 40270, 361298, 3587619, 38944880, 457196152]] [[1, 5, 3, 4, 7, 2, 6], [5039, 40270, 361298, 3587619, 38944885, 457196837]] [[2, 6, 1, 7, 5, 3, 4], [5039, 40270, 361298, 3587620, 38944848, 457190125]] [[2, 3, 7, 4, 1, 5, 6], [5039, 40270, 361298, 3587620, 38944868, 457191611]] [[2, 4, 1, 7, 5, 6, 3], [5039, 40270, 361298, 3587620, 38944870, 457192078]] [[2, 4, 1, 6, 7, 5, 3], [5039, 40270, 361298, 3587620, 38944876, 457192549]] [[2, 5, 3, 4, 7, 1, 6], [5039, 40270, 361298, 3587620, 38944878, 457192645]] [[2, 4, 1, 5, 7, 6, 3], [5039, 40270, 361298, 3587620, 38944900, 457194517]] [[2, 4, 1, 6, 5, 7, 3], [5039, 40270, 361298, 3587620, 38944907, 457195123]] [[1, 3, 5, 6, 2, 7, 4], [5039, 40270, 361298, 3587620, 38944924, 457196649]] [[1, 4, 5, 7, 2, 3, 6], [5039, 40270, 361298, 3587620, 38944939, 457198075]] [[3, 2, 5, 1, 7, 6, 4], [5039, 40270, 361298, 3587620, 38944955, 457199645]] [[1, 4, 7, 2, 6, 5, 3], [5039, 40270, 361298, 3587620, 38944968, 457200677]] [[2, 6, 4, 5, 7, 1, 3], [5039, 40270, 361298, 3587621, 38944951, 457195623]] [[3, 2, 6, 1, 7, 4, 5], [5039, 40270, 361298, 3587621, 38944997, 457199870]] [[1, 4, 3, 6, 7, 2, 5], [5039, 40270, 361298, 3587621, 38945021, 457202038]] [[1, 3, 6, 7, 2, 5, 4], [5039, 40270, 361298, 3587621, 38945023, 457202175]] [[1, 5, 4, 7, 3, 2, 6], [5039, 40270, 361298, 3587621, 38945053, 457204994]] [[2, 3, 5, 6, 1, 7, 4], [5039, 40270, 361298, 3587622, 38945014, 457197669]] [[2, 5, 6, 4, 7, 1, 3], [5039, 40270, 361298, 3587622, 38945027, 457199067]] [[2, 6, 1, 7, 4, 5, 3], [5039, 40270, 361298, 3587622, 38945030, 457199573]] [[2, 3, 5, 1, 6, 7, 4], [5039, 40270, 361298, 3587622, 38945037, 457199845]] [[2, 5, 7, 4, 6, 1, 3], [5039, 40270, 361298, 3587622, 38945056, 457201733]] [[2, 4, 5, 3, 7, 1, 6], [5039, 40270, 361298, 3587622, 38945059, 457201931]] [[3, 2, 6, 1, 7, 5, 4], [5039, 40270, 361298, 3587622, 38945060, 457202193]] [[1, 5, 4, 6, 2, 7, 3], [5039, 40270, 361298, 3587622, 38945065, 457202638]] [[1, 4, 7, 6, 2, 3, 5], [5039, 40270, 361298, 3587622, 38945070, 457202960]] [[1, 3, 6, 7, 5, 2, 4], [5039, 40270, 361298, 3587622, 38945089, 457204606]] [[1, 4, 6, 7, 3, 2, 5], [5039, 40270, 361298, 3587622, 38945090, 457204725]] [[1, 3, 4, 6, 7, 2, 5], [5039, 40270, 361298, 3587622, 38945091, 457204830]] [[1, 5, 7, 3, 4, 2, 6], [5039, 40270, 361298, 3587622, 38945095, 457205312]] [[1, 4, 5, 3, 7, 2, 6], [5039, 40270, 361298, 3587622, 38945105, 457206327]] [[1, 6, 4, 3, 7, 5, 2], [5039, 40270, 361298, 3587622, 38945115, 457206868]] [[1, 4, 3, 5, 7, 2, 6], [5039, 40270, 361298, 3587622, 38945116, 457207250]] [[1, 3, 7, 6, 2, 5, 4], [5039, 40270, 361298, 3587622, 38945118, 457207387]] [[1, 4, 7, 3, 6, 5, 2], [5039, 40270, 361298, 3587622, 38945129, 457208123]] [[1, 3, 6, 5, 7, 2, 4], [5039, 40270, 361298, 3587623, 38945147, 457206477]] [[1, 4, 3, 7, 6, 2, 5], [5039, 40270, 361298, 3587623, 38945182, 457209696]] [[1, 3, 6, 7, 2, 4, 5], [5039, 40270, 361298, 3587623, 38945187, 457210053]] [[2, 6, 7, 5, 3, 1, 4], [5039, 40270, 361298, 3587624, 38945165, 457204747]] [[2, 4, 6, 7, 1, 3, 5], [5039, 40270, 361298, 3587624, 38945177, 457205607]] [[2, 4, 3, 7, 5, 1, 6], [5039, 40270, 361298, 3587624, 38945188, 457206781]] [[2, 6, 4, 7, 5, 1, 3], [5039, 40270, 361298, 3587624, 38945217, 457209317]] [[1, 6, 3, 5, 4, 7, 2], [5039, 40270, 361298, 3587624, 38945232, 457210680]] [[1, 4, 7, 3, 2, 6, 5], [5039, 40270, 361298, 3587624, 38945294, 457216362]] [[2, 7, 3, 4, 5, 1, 6], [5039, 40270, 361298, 3587625, 38945226, 457206675]] [[3, 5, 6, 1, 7, 2, 4], [5039, 40270, 361298, 3587625, 38945261, 457209646]] [[1, 3, 4, 7, 2, 6, 5], [5039, 40270, 361298, 3587625, 38945381, 457220842]] [[2, 6, 1, 7, 5, 4, 3], [5039, 40270, 361298, 3587626, 38945352, 457214713]] [[1, 3, 5, 7, 6, 2, 4], [5039, 40270, 361298, 3587626, 38945364, 457215793]] [[1, 6, 4, 3, 5, 7, 2], [5039, 40270, 361298, 3587626, 38945371, 457216385]] [[1, 3, 7, 5, 6, 2, 4], [5039, 40270, 361298, 3587626, 38945402, 457219137]] [[1, 3, 5, 4, 7, 2, 6], [5039, 40270, 361298, 3587626, 38945413, 457220286]] [[1, 3, 7, 2, 4, 6, 5], [5039, 40270, 361298, 3587626, 38945447, 457223197]] [[1, 3, 5, 6, 2, 4, 7], [5039, 40270, 361298, 3587626, 38945458, 457224291]] [[2, 5, 6, 7, 3, 1, 4], [5039, 40270, 361298, 3587627, 38945406, 457216152]] [[2, 6, 1, 7, 3, 4, 5], [5039, 40270, 361298, 3587627, 38945423, 457217519]] [[1, 5, 4, 7, 3, 6, 2], [5039, 40270, 361298, 3587627, 38945494, 457223966]] [[1, 3, 7, 2, 5, 6, 4], [5039, 40270, 361298, 3587627, 38945501, 457224797]] [[1, 4, 3, 7, 2, 5, 6], [5039, 40270, 361298, 3587627, 38945528, 457227228]] [[2, 5, 7, 6, 4, 1, 3], [5039, 40270, 361298, 3587628, 38945464, 457218093]] [[2, 6, 5, 7, 4, 1, 3], [5039, 40270, 361298, 3587628, 38945477, 457219146]] [[1, 3, 7, 5, 4, 6, 2], [5039, 40270, 361298, 3587628, 38945537, 457224346]] [[1, 4, 6, 5, 3, 7, 2], [5039, 40270, 361298, 3587628, 38945537, 457224433]] [[1, 5, 7, 3, 4, 6, 2], [5039, 40270, 361298, 3587628, 38945555, 457226045]] [[1, 6, 3, 7, 4, 5, 2], [5039, 40270, 361298, 3587628, 38945572, 457227454]] [[1, 3, 6, 4, 5, 2, 7], [5039, 40270, 361298, 3587628, 38945588, 457229243]] [[2, 3, 4, 6, 1, 7, 5], [5039, 40270, 361298, 3587629, 38945577, 457224559]] [[1, 3, 4, 5, 7, 2, 6], [5039, 40270, 361298, 3587629, 38945623, 457228908]] [[1, 3, 7, 6, 5, 2, 4], [5039, 40270, 361298, 3587629, 38945640, 457230301]] [[1, 5, 3, 7, 6, 4, 2], [5039, 40270, 361298, 3587629, 38945658, 457231794]] [[2, 4, 6, 7, 5, 1, 3], [5039, 40270, 361298, 3587630, 38945644, 457227175]] [[2, 4, 7, 5, 6, 1, 3], [5039, 40270, 361298, 3587630, 38945649, 457227558]] [[1, 3, 7, 4, 6, 5, 2], [5039, 40270, 361298, 3587630, 38945696, 457231807]] [[1, 5, 4, 6, 3, 7, 2], [5039, 40270, 361298, 3587630, 38945701, 457232323]] [[1, 4, 6, 3, 5, 7, 2], [5039, 40270, 361298, 3587630, 38945716, 457233708]] [[1, 5, 3, 6, 4, 7, 2], [5039, 40270, 361298, 3587630, 38945720, 457233985]] [[1, 5, 7, 4, 3, 2, 6], [5039, 40270, 361298, 3587630, 38945722, 457234399]] [[1, 3, 7, 2, 6, 4, 5], [5039, 40270, 361298, 3587630, 38945724, 457234594]] [[1, 3, 5, 6, 4, 2, 7], [5039, 40270, 361298, 3587630, 38945733, 457235411]] [[1, 3, 7, 2, 5, 4, 6], [5039, 40270, 361298, 3587630, 38945749, 457236711]] [[2, 3, 4, 7, 5, 1, 6], [5039, 40270, 361298, 3587631, 38945735, 457231859]] [[2, 4, 1, 7, 6, 5, 3], [5039, 40270, 361298, 3587631, 38945769, 457235141]] [[1, 5, 6, 3, 7, 4, 2], [5039, 40270, 361298, 3587631, 38945803, 457237979]] [[1, 4, 6, 7, 3, 5, 2], [5039, 40270, 361298, 3587631, 38945812, 457238826]] [[1, 7, 4, 5, 3, 6, 2], [5039, 40270, 361298, 3587632, 38945852, 457239066]] [[1, 3, 6, 5, 7, 4, 2], [5039, 40270, 361298, 3587632, 38945855, 457239271]] [[1, 3, 5, 7, 6, 4, 2], [5039, 40270, 361298, 3587632, 38945856, 457239331]] [[1, 7, 3, 5, 6, 4, 2], [5039, 40270, 361298, 3587632, 38945877, 457241192]] [[1, 3, 6, 4, 5, 7, 2], [5039, 40270, 361298, 3587633, 38945920, 457241680]] [[1, 3, 7, 2, 4, 5, 6], [5039, 40270, 361298, 3587633, 38945969, 457246242]] [[1, 6, 3, 5, 4, 2, 7], [5039, 40270, 361298, 3587633, 38945985, 457247895]] [[1, 3, 5, 7, 4, 6, 2], [5039, 40270, 361298, 3587634, 38946014, 457246771]] [[1, 3, 6, 4, 7, 5, 2], [5039, 40270, 361298, 3587634, 38946022, 457247451]] [[1, 2, 5, 7, 3, 6, 4], [5039, 40270, 361298, 3587634, 38946066, 457251547]] [2, 1, 5, 7, 3, 6, 4], ` " ` [[1, 4, 6, 3, 5, 2, 7], [5039, 40270, 361298, 3587634, 38946081, 457253043]] [[1, 2, 6, 4, 7, 3, 5], [5039, 40270, 361298, 3587635, 38946138, 457254559]] [2, 1, 6, 4, 7, 3, 5], ` " ` [[1, 3, 5, 6, 4, 7, 2], [5039, 40270, 361298, 3587636, 38946152, 457252274]] [[1, 2, 4, 7, 6, 3, 5], [5039, 40270, 361298, 3587636, 38946203, 457256970]] [2, 1, 4, 7, 6, 3, 5], ` " ` [[1, 2, 4, 5, 7, 3, 6], [5039, 40270, 361298, 3587636, 38946218, 457258426]] [2, 1, 4, 5, 7, 3, 6], ` " ` [[1, 2, 5, 7, 4, 3, 6], [5039, 40270, 361298, 3587637, 38946295, 457261856]] [2, 1, 5, 7, 4, 3, 6], ` " ` [[1, 2, 4, 6, 3, 7, 5], [5039, 40270, 361298, 3587638, 38946385, 457266496]] [2, 1, 4, 6, 3, 7, 5], ` " ` [[1, 3, 6, 2, 5, 4, 7], [5039, 40270, 361298, 3587638, 38946422, 457270010]] [[1, 7, 4, 6, 3, 5, 2], [5039, 40270, 361298, 3587640, 38946521, 457271908]] [[1, 2, 4, 7, 3, 5, 6], [5039, 40270, 361298, 3587640, 38946536, 457273169]] [2, 1, 4, 7, 3, 5, 6], ` " ` [[2, 3, 7, 6, 1, 4, 5], [5039, 40270, 361299, 3587681, 38947028, 457249875]] [[2, 3, 6, 7, 1, 5, 4], [5039, 40270, 361299, 3587681, 38947090, 457254979]] [[2, 3, 6, 7, 1, 4, 5], [5039, 40270, 361299, 3587681, 38947099, 457255798]] [[3, 2, 7, 6, 1, 4, 5], [5039, 40270, 361299, 3587681, 38947101, 457255975]] [[2, 3, 6, 7, 5, 1, 4], [5039, 40270, 361299, 3587683, 38947225, 457260501]] [[2, 6, 5, 7, 1, 4, 3], [5039, 40270, 361299, 3587683, 38947227, 457260488]] [[2, 5, 7, 6, 1, 4, 3], [5039, 40270, 361299, 3587683, 38947235, 457261184]] [[2, 6, 5, 7, 1, 3, 4], [5039, 40270, 361299, 3587683, 38947238, 457261446]] [[2, 6, 7, 1, 5, 3, 4], [5039, 40270, 361299, 3587683, 38947247, 457262267]] [[2, 3, 6, 5, 7, 1, 4], [5039, 40270, 361299, 3587683, 38947252, 457262586]] [[2, 6, 7, 1, 3, 5, 4], [5039, 40270, 361299, 3587683, 38947252, 457262737]] [[2, 3, 7, 1, 4, 6, 5], [5039, 40270, 361299, 3587683, 38947253, 457263055]] [[2, 3, 7, 5, 6, 1, 4], [5039, 40270, 361299, 3587683, 38947256, 457263230]] [[3, 2, 6, 7, 1, 4, 5], [5039, 40270, 361299, 3587683, 38947260, 457263418]] [[2, 6, 7, 1, 4, 3, 5], [5039, 40270, 361299, 3587683, 38947260, 457263492]] [[2, 5, 7, 6, 1, 3, 4], [5039, 40270, 361299, 3587683, 38947261, 457263388]] [[2, 3, 7, 6, 1, 5, 4], [5039, 40270, 361299, 3587683, 38947264, 457263797]] [[2, 3, 5, 7, 6, 1, 4], [5039, 40270, 361299, 3587683, 38947270, 457264148]] [[2, 3, 7, 1, 5, 4, 6], [5039, 40270, 361299, 3587683, 38947273, 457264733]] [[3, 2, 6, 7, 1, 5, 4], [5039, 40270, 361299, 3587684, 38947333, 457266480]] [[2, 6, 7, 1, 4, 5, 3], [5039, 40270, 361299, 3587685, 38947409, 457269927]] [[2, 3, 7, 1, 5, 6, 4], [5039, 40270, 361299, 3587686, 38947484, 457273404]] [[2, 4, 3, 6, 7, 1, 5], [5039, 40270, 361299, 3587686, 38947488, 457273741]] [[2, 6, 7, 5, 1, 4, 3], [5039, 40270, 361299, 3587686, 38947494, 457274113]] [[2, 3, 7, 1, 6, 4, 5], [5039, 40270, 361299, 3587686, 38947499, 457274641]] [[2, 6, 7, 5, 1, 3, 4], [5039, 40270, 361299, 3587688, 38947605, 457277706]] [[2, 4, 3, 7, 6, 1, 5], [5039, 40270, 361299, 3587688, 38947650, 457281503]] [[3, 2, 7, 6, 1, 5, 4], [5039, 40270, 361299, 3587688, 38947674, 457283412]] [[2, 3, 4, 7, 1, 5, 6], [5039, 40270, 361299, 3587689, 38947711, 457283577]] [[3, 2, 4, 7, 1, 6, 5], [5039, 40270, 361299, 3587689, 38947760, 457287963]] [[2, 3, 7, 6, 5, 1, 4], [5039, 40270, 361299, 3587690, 38947795, 457287686]] [[2, 6, 5, 4, 7, 1, 3], [5039, 40270, 361299, 3587690, 38947797, 457287791]] [[2, 3, 4, 7, 6, 1, 5], [5039, 40270, 361299, 3587690, 38947804, 457288445]] [[2, 6, 7, 1, 5, 4, 3], [5039, 40270, 361299, 3587691, 38947888, 457292336]] [[2, 6, 7, 1, 3, 4, 5], [5039, 40270, 361299, 3587691, 38947906, 457294042]] [[1, 5, 3, 4, 7, 6, 2], [5039, 40270, 361299, 3587691, 38947933, 457296523]] [[2, 4, 3, 7, 1, 6, 5], [5039, 40270, 361299, 3587691, 38947934, 457296609]] [[1, 4, 5, 3, 7, 6, 2], [5039, 40270, 361299, 3587691, 38947941, 457297197]] [[2, 5, 6, 7, 1, 4, 3], [5039, 40270, 361299, 3587692, 38947974, 457296601]] [[2, 3, 4, 6, 7, 1, 5], [5039, 40270, 361299, 3587692, 38947978, 457297052]] [[1, 4, 6, 7, 2, 3, 5], [5039, 40270, 361299, 3587692, 38948002, 457299352]] [[2, 3, 4, 7, 1, 6, 5], [5039, 40270, 361299, 3587692, 38948006, 457299680]] [[1, 5, 6, 3, 4, 7, 2], [5039, 40270, 361299, 3587692, 38948033, 457302092]] [[1, 4, 6, 5, 2, 3, 7], [5039, 40270, 361299, 3587692, 38948053, 457304079]] [[3, 2, 7, 1, 5, 6, 4], [5039, 40270, 361299, 3587693, 38948064, 457301432]] [[2, 4, 7, 6, 5, 1, 3], [5039, 40270, 361299, 3587693, 38948071, 457301883]] [[1, 5, 6, 4, 3, 7, 2], [5039, 40270, 361299, 3587693, 38948079, 457302793]] [[1, 6, 5, 3, 4, 7, 2], [5039, 40270, 361299, 3587693, 38948084, 457303268]] [[1, 4, 5, 3, 6, 7, 2], [5039, 40270, 361299, 3587693, 38948114, 457305742]] [[1, 7, 5, 4, 3, 6, 2], [5039, 40270, 361299, 3587693, 38948123, 457306718]] [[2, 4, 5, 6, 1, 7, 3], [5039, 40270, 361299, 3587694, 38948111, 457302030]] [[2, 6, 7, 5, 4, 1, 3], [5039, 40270, 361299, 3587694, 38948115, 457302755]] [[2, 5, 4, 7, 6, 1, 3], [5039, 40270, 361299, 3587694, 38948125, 457303486]] [[2, 5, 4, 6, 7, 1, 3], [5039, 40270, 361299, 3587694, 38948132, 457304023]] [[1, 6, 3, 4, 5, 7, 2], [5039, 40270, 361299, 3587694, 38948148, 457305552]] [[1, 7, 4, 3, 6, 5, 2], [5039, 40270, 361299, 3587694, 38948191, 457309424]] [[1, 4, 5, 6, 2, 7, 3], [5039, 40270, 361299, 3587695, 38948208, 457307681]] [[2, 5, 6, 7, 1, 3, 4], [5039, 40270, 361299, 3587695, 38948214, 457308020]] [[2, 4, 3, 5, 7, 1, 6], [5039, 40270, 361299, 3587695, 38948225, 457309111]] [[2, 3, 5, 4, 7, 1, 6], [5039, 40270, 361299, 3587695, 38948235, 457309948]] [[1, 6, 4, 5, 3, 7, 2], [5039, 40270, 361299, 3587695, 38948248, 457311267]] [[1, 4, 3, 7, 5, 6, 2], [5039, 40270, 361299, 3587695, 38948249, 457311112]] [[1, 4, 3, 6, 7, 5, 2], [5039, 40270, 361299, 3587695, 38948251, 457311317]] [[1, 5, 3, 4, 6, 7, 2], [5039, 40270, 361299, 3587695, 38948260, 457312107]] [[2, 3, 5, 6, 7, 1, 4], [5039, 40270, 361299, 3587696, 38948275, 457310033]] [[2, 5, 6, 7, 4, 1, 3], [5039, 40270, 361299, 3587696, 38948282, 457310910]] [[3, 2, 7, 1, 6, 4, 5], [5039, 40270, 361299, 3587696, 38948295, 457311884]] [[2, 6, 7, 4, 5, 1, 3], [5039, 40270, 361299, 3587696, 38948309, 457313258]] [[1, 7, 4, 3, 5, 6, 2], [5039, 40270, 361299, 3587696, 38948318, 457313810]] [[1, 4, 5, 6, 3, 7, 2], [5039, 40270, 361299, 3587696, 38948324, 457314436]] [[1, 7, 3, 4, 6, 5, 2], [5039, 40270, 361299, 3587696, 38948326, 457314484]] [[1, 3, 6, 7, 4, 5, 2], [5039, 40270, 361299, 3587696, 38948346, 457316405]] [[1, 2, 5, 6, 3, 7, 4], [5039, 40270, 361299, 3587696, 38948365, 457318264]] [2, 1, 5, 6, 3, 7, 4], ` " ` [[1, 4, 3, 6, 5, 2, 7], [5039, 40270, 361299, 3587696, 38948381, 457319830]] [[1, 7, 3, 6, 5, 4, 2], [5039, 40270, 361299, 3587696, 38948384, 457319836]] [[2, 4, 5, 7, 6, 1, 3], [5039, 40270, 361299, 3587697, 38948368, 457314839]] [[2, 5, 4, 3, 7, 1, 6], [5039, 40270, 361299, 3587697, 38948372, 457315587]] [[1, 3, 7, 6, 4, 5, 2], [5039, 40270, 361299, 3587697, 38948404, 457318276]] [[1, 3, 6, 7, 5, 4, 2], [5039, 40270, 361299, 3587697, 38948406, 457318440]] [[1, 3, 4, 6, 7, 5, 2], [5039, 40270, 361299, 3587697, 38948415, 457318998]] [[1, 3, 4, 6, 5, 2, 7], [5039, 40270, 361299, 3587697, 38948420, 457319972]] [[1, 6, 4, 5, 7, 2, 3], [5039, 40270, 361299, 3587698, 38948458, 457319829]] [[1, 3, 5, 6, 7, 2, 4], [5039, 40270, 361299, 3587698, 38948462, 457320171]] [[1, 5, 6, 4, 7, 2, 3], [5039, 40270, 361299, 3587698, 38948465, 457320394]] [[1, 6, 4, 5, 7, 3, 2], [5039, 40270, 361299, 3587698, 38948472, 457321095]] [[1, 3, 7, 4, 5, 6, 2], [5039, 40270, 361299, 3587698, 38948485, 457321989]] [[1, 2, 6, 4, 5, 7, 3], [5039, 40270, 361299, 3587698, 38948502, 457323830]] [2, 1, 6, 4, 5, 7, 3], ` " ` [[1, 4, 6, 5, 3, 2, 7], [5039, 40270, 361299, 3587698, 38948540, 457327334]] [[1, 4, 3, 7, 2, 6, 5], [5039, 40270, 361299, 3587698, 38948541, 457327552]] [[2, 4, 6, 5, 7, 1, 3], [5039, 40270, 361299, 3587699, 38948531, 457322751]] [[2, 3, 7, 1, 6, 5, 4], [5039, 40270, 361299, 3587699, 38948538, 457323544]] [[1, 4, 6, 7, 5, 2, 3], [5039, 40270, 361299, 3587699, 38948545, 457324095]] [[1, 7, 3, 5, 4, 6, 2], [5039, 40270, 361299, 3587699, 38948559, 457325276]] [[1, 4, 7, 5, 6, 2, 3], [5039, 40270, 361299, 3587699, 38948561, 457325486]] [[1, 4, 7, 5, 6, 3, 2], [5039, 40270, 361299, 3587699, 38948561, 457325551]] [[1, 4, 6, 7, 5, 3, 2], [5039, 40270, 361299, 3587699, 38948567, 457326083]] [[1, 3, 5, 6, 7, 4, 2], [5039, 40270, 361299, 3587699, 38948568, 457326088]] [[1, 3, 7, 5, 6, 4, 2], [5039, 40270, 361299, 3587699, 38948568, 457326250]] [[1, 3, 4, 7, 5, 6, 2], [5039, 40270, 361299, 3587699, 38948571, 457326220]] [[1, 3, 5, 4, 6, 2, 7], [5039, 40270, 361299, 3587699, 38948571, 457326719]] [[1, 2, 4, 6, 7, 3, 5], [5039, 40270, 361299, 3587699, 38948603, 457329347]] [2, 1, 4, 6, 7, 3, 5], ` " ` [[1, 5, 7, 4, 6, 2, 3], [5039, 40270, 361299, 3587700, 38948652, 457330398]] [[1, 6, 4, 7, 5, 2, 3], [5039, 40270, 361299, 3587700, 38948652, 457330402]] [[1, 5, 6, 4, 7, 3, 2], [5039, 40270, 361299, 3587700, 38948653, 457330407]] [[1, 2, 5, 6, 4, 7, 3], [5039, 40270, 361299, 3587700, 38948656, 457330763]] [2, 1, 5, 6, 4, 7, 3], ` " ` [[1, 5, 4, 3, 7, 2, 6], [5039, 40270, 361299, 3587701, 38948736, 457334935]] [[1, 6, 7, 4, 3, 5, 2], [5039, 40270, 361299, 3587702, 38948797, 457336574]] [[1, 2, 4, 6, 7, 5, 3], [5039, 40270, 361299, 3587702, 38948811, 457337823]] [2, 1, 4, 6, 7, 5, 3], ` " ` [[1, 2, 4, 7, 5, 6, 3], [5039, 40270, 361299, 3587702, 38948812, 457337931]] [2, 1, 4, 7, 5, 6, 3], ` " ` [[1, 6, 7, 3, 5, 4, 2], [5039, 40270, 361299, 3587702, 38948815, 457338128]] [[1, 6, 4, 7, 5, 3, 2], [5039, 40270, 361299, 3587702, 38948816, 457338297]] [[1, 3, 6, 5, 4, 2, 7], [5039, 40270, 361299, 3587702, 38948856, 457342121]] [[1, 2, 5, 4, 7, 3, 6], [5039, 40270, 361299, 3587702, 38948872, 457343416]] [2, 1, 5, 4, 7, 3, 6], ` " ` [[2, 3, 4, 5, 7, 1, 6], [5039, 40270, 361299, 3587703, 38948863, 457338906]] [[1, 2, 7, 5, 4, 6, 3], [5039, 40270, 361299, 3587703, 38948891, 457341745]] [2, 1, 7, 5, 4, 6, 3], ` " ` [[1, 7, 5, 4, 6, 3, 2], [5039, 40270, 361299, 3587703, 38948909, 457343238]] [[1, 5, 7, 4, 6, 3, 2], [5039, 40270, 361299, 3587704, 38948978, 457346098]] [[1, 2, 6, 4, 7, 5, 3], [5039, 40270, 361299, 3587704, 38948981, 457346346]] [2, 1, 6, 4, 7, 5, 3], ` " ` [[1, 3, 7, 2, 6, 5, 4], [5039, 40270, 361299, 3587704, 38948985, 457346938]] [[1, 7, 4, 6, 5, 3, 2], [5039, 40270, 361299, 3587704, 38948991, 457347109]] [[1, 2, 5, 7, 4, 6, 3], [5039, 40270, 361299, 3587704, 38948991, 457347302]] [2, 1, 5, 7, 4, 6, 3], ` " ` [[1, 2, 4, 7, 3, 6, 5], [5039, 40270, 361299, 3587705, 38949114, 457354821]] [2, 1, 4, 7, 3, 6, 5], ` " ` [[1, 2, 7, 4, 6, 5, 3], [5039, 40270, 361299, 3587706, 38949134, 457353265]] [2, 1, 7, 4, 6, 5, 3], ` " ` [[1, 2, 5, 4, 6, 3, 7], [5039, 40270, 361299, 3587706, 38949180, 457357562]] [1, 3, 5, 4, 2, 7, 6], ` " ` [[1, 2, 4, 6, 5, 3, 7], [5039, 40270, 361299, 3587706, 38949187, 457358177]] [1, 4, 3, 5, 2, 7, 6], ` " ` [[1, 2, 4, 6, 3, 5, 7], [5039, 40270, 361299, 3587710, 38949502, 457372820]] [1, 3, 5, 2, 4, 7, 6], ` " ` [[1, 5, 7, 6, 3, 2, 4], [5039, 40270, 361300, 3587756, 38950469, 457374452]] [[1, 5, 7, 6, 2, 4, 3], [5039, 40270, 361300, 3587756, 38950474, 457374866]] [[1, 6, 5, 7, 3, 2, 4], [5039, 40270, 361300, 3587756, 38950486, 457375962]] [[1, 5, 6, 4, 2, 3, 7], [5039, 40270, 361300, 3587760, 38950841, 457394357]] [[1, 6, 3, 4, 5, 2, 7], [5039, 40270, 361300, 3587761, 38950896, 457396090]] [[1, 4, 7, 6, 5, 2, 3], [5039, 40270, 361300, 3587762, 38950956, 457397600]] [[1, 6, 5, 4, 7, 2, 3], [5039, 40270, 361300, 3587762, 38950957, 457397701]] [[1, 5, 4, 7, 6, 2, 3], [5039, 40270, 361300, 3587763, 38951023, 457400161]] [[1, 5, 4, 7, 6, 3, 2], [5039, 40270, 361300, 3587763, 38951043, 457402065]] [[1, 4, 5, 7, 6, 2, 3], [5039, 40270, 361300, 3587764, 38951097, 457403282]] [[1, 5, 4, 6, 7, 2, 3], [5039, 40270, 361300, 3587764, 38951100, 457403617]] [[1, 4, 5, 7, 6, 3, 2], [5039, 40270, 361300, 3587764, 38951102, 457403770]] [[1, 4, 3, 5, 7, 6, 2], [5039, 40270, 361300, 3587764, 38951112, 457404681]] [[1, 5, 4, 6, 7, 3, 2], [5039, 40270, 361300, 3587764, 38951114, 457404926]] [[1, 4, 5, 6, 3, 2, 7], [5039, 40270, 361300, 3587764, 38951119, 457405687]] [[1, 4, 5, 6, 2, 3, 7], [5039, 40270, 361300, 3587764, 38951121, 457405958]] [[1, 4, 7, 6, 5, 3, 2], [5039, 40270, 361300, 3587764, 38951132, 457406632]] [[1, 3, 6, 5, 4, 7, 2], [5039, 40270, 361300, 3587765, 38951193, 457408705]] [[1, 2, 6, 5, 7, 3, 4], [5039, 40270, 361300, 3587765, 38951198, 457409112]] [2, 1, 6, 5, 7, 3, 4], ` " ` [[1, 2, 5, 7, 6, 3, 4], [5039, 40270, 361300, 3587765, 38951200, 457409343]] [2, 1, 5, 7, 6, 3, 4], ` " ` [[1, 6, 5, 4, 7, 3, 2], [5039, 40270, 361300, 3587765, 38951216, 457410781]] [[1, 4, 6, 5, 7, 2, 3], [5039, 40270, 361300, 3587766, 38951263, 457411385]] [[1, 3, 4, 7, 6, 5, 2], [5039, 40270, 361300, 3587766, 38951264, 457411603]] [[1, 5, 4, 3, 6, 7, 2], [5039, 40270, 361300, 3587766, 38951267, 457412012]] [[1, 4, 6, 5, 7, 3, 2], [5039, 40270, 361300, 3587766, 38951272, 457412290]] [[1, 5, 4, 3, 7, 6, 2], [5039, 40270, 361300, 3587766, 38951273, 457412556]] [[1, 4, 3, 7, 6, 5, 2], [5039, 40270, 361300, 3587766, 38951276, 457412753]] [[1, 2, 5, 4, 7, 6, 3], [5039, 40270, 361300, 3587766, 38951303, 457415141]] [2, 1, 5, 4, 7, 6, 3], ` " ` [[1, 2, 4, 5, 6, 3, 7], [5039, 40270, 361300, 3587766, 38951328, 457417592]] [1, 3, 4, 5, 2, 7, 6], ` " ` [[1, 2, 4, 5, 7, 6, 3], [5039, 40270, 361300, 3587767, 38951354, 457416262]] [2, 1, 4, 5, 7, 6, 3], ` " ` [[1, 2, 5, 4, 6, 7, 3], [5039, 40270, 361300, 3587767, 38951366, 457417322]] [2, 1, 5, 4, 6, 7, 3], ` " ` [[1, 2, 5, 7, 6, 4, 3], [5039, 40270, 361300, 3587767, 38951374, 457418153]] [2, 1, 5, 7, 6, 4, 3], ` " ` [[2, 3, 1, 6, 5, 7, 4], [5039, 40270, 361300, 3587768, 38951398, 457416920]] [2, 3, 1, 7, 5, 4, 6], ` " ` [[1, 5, 7, 6, 4, 2, 3], [5039, 40270, 361300, 3587768, 38951398, 457416994]] [[2, 3, 1, 5, 7, 6, 4], [5039, 40270, 361300, 3587768, 38951411, 457418106]] [2, 3, 1, 7, 4, 6, 5], ` " ` [[1, 6, 5, 7, 4, 2, 3], [5039, 40270, 361300, 3587768, 38951412, 457418184]] [[1, 6, 5, 7, 3, 4, 2], [5039, 40270, 361300, 3587768, 38951422, 457419062]] [[1, 5, 7, 6, 3, 4, 2], [5039, 40270, 361300, 3587768, 38951422, 457419063]] [[3, 2, 7, 1, 6, 5, 4], [5039, 40270, 361300, 3587768, 38951425, 457419248]] [[2, 3, 1, 5, 7, 4, 6], [5039, 40270, 361300, 3587768, 38951430, 457419793]] [2, 3, 1, 6, 4, 7, 5], ` " ` [[1, 3, 4, 2, 6, 7, 5], [5039, 40270, 361300, 3587768, 38951467, 457423216]] [1, 3, 4, 2, 7, 5, 6], ` " ` [[1, 2, 6, 5, 4, 7, 3], [5039, 40270, 361300, 3587768, 38951473, 457423622]] [2, 1, 6, 5, 4, 7, 3], ` " ` [[1, 2, 5, 6, 3, 4, 7], [5039, 40270, 361300, 3587768, 38951509, 457427108]] [1, 4, 5, 2, 3, 7, 6], ` " ` [[1, 5, 6, 7, 2, 4, 3], [5039, 40270, 361300, 3587769, 38951471, 457420006]] [[1, 5, 6, 7, 3, 2, 4], [5039, 40270, 361300, 3587769, 38951472, 457420053]] [[1, 3, 5, 4, 7, 6, 2], [5039, 40270, 361300, 3587769, 38951497, 457422214]] [[1, 4, 3, 6, 5, 7, 2], [5039, 40270, 361300, 3587769, 38951501, 457422601]] [[1, 2, 4, 6, 5, 7, 3], [5039, 40270, 361300, 3587769, 38951512, 457423653]] [2, 1, 4, 6, 5, 7, 3], ` " ` [[1, 2, 6, 5, 7, 4, 3], [5039, 40270, 361300, 3587769, 38951536, 457425861]] [2, 1, 6, 5, 7, 4, 3], ` " ` [[1, 5, 6, 3, 4, 2, 7], [5039, 40270, 361300, 3587769, 38951542, 457426708]] [[1, 2, 4, 7, 6, 5, 3], [5039, 40270, 361300, 3587769, 38951561, 457428086]] [2, 1, 4, 7, 6, 5, 3], ` " ` [[1, 3, 4, 5, 6, 2, 7], [5039, 40270, 361300, 3587770, 38951561, 457424814]] [[1, 3, 4, 6, 5, 7, 2], [5039, 40270, 361300, 3587770, 38951582, 457426333]] [[1, 3, 5, 4, 6, 7, 2], [5039, 40270, 361300, 3587770, 38951582, 457426381]] [[1, 2, 5, 6, 4, 3, 7], [5039, 40270, 361300, 3587770, 38951652, 457433071]] [1, 4, 5, 3, 2, 7, 6], ` " ` [[1, 3, 4, 5, 7, 6, 2], [5039, 40270, 361300, 3587771, 38951650, 457429019]] [[1, 4, 3, 5, 6, 7, 2], [5039, 40270, 361300, 3587771, 38951663, 457430277]] [[1, 5, 7, 6, 4, 3, 2], [5039, 40270, 361300, 3587771, 38951666, 457430759]] [[1, 6, 4, 5, 3, 2, 7], [5039, 40270, 361300, 3587771, 38951705, 457434470]] [[2, 4, 5, 6, 7, 1, 3], [5039, 40270, 361300, 3587772, 38951741, 457433784]] [[1, 6, 5, 4, 3, 7, 2], [5039, 40270, 361300, 3587772, 38951742, 457434217]] [[1, 3, 7, 6, 5, 4, 2], [5039, 40270, 361300, 3587773, 38951825, 457438221]] [[1, 6, 5, 7, 4, 3, 2], [5039, 40270, 361300, 3587773, 38951833, 457438930]] [[1, 2, 6, 4, 5, 3, 7], [5039, 40270, 361300, 3587773, 38951901, 457445262]] [1, 5, 3, 4, 2, 7, 6], ` " ` [[1, 5, 6, 4, 3, 2, 7], [5039, 40270, 361300, 3587774, 38951919, 457443501]] [[1, 2, 3, 6, 5, 7, 4], [5039, 40270, 361300, 3587776, 38952079, 457450770]] [2, 1, 3, 6, 5, 7, 4], ` " ` [2, 4, 3, 1, 7, 6, 5], ` " ` [[1, 2, 3, 5, 7, 6, 4], [5039, 40270, 361300, 3587776, 38952084, 457451277]] [2, 1, 3, 5, 7, 6, 4], ` " ` [3, 2, 1, 5, 7, 6, 4], ` " ` [[1, 3, 2, 6, 5, 7, 4], [5039, 40270, 361300, 3587776, 38952087, 457451549]] [[1, 3, 2, 5, 7, 6, 4], [5039, 40270, 361300, 3587776, 38952092, 457452042]] [[1, 2, 4, 5, 3, 6, 7], [5039, 40270, 361300, 3587776, 38952145, 457456802]] [1, 2, 4, 5, 3, 7, 6], ` " ` [2, 1, 4, 5, 3, 7, 6], ` " ` [[1, 2, 3, 5, 7, 4, 6], [5039, 40270, 361300, 3587778, 38952244, 457458849]] [2, 1, 3, 5, 7, 4, 6], ` " ` [2, 4, 1, 3, 7, 6, 5], ` " ` [[1, 3, 2, 5, 7, 4, 6], [5039, 40270, 361300, 3587778, 38952254, 457459783]] [[2, 3, 1, 4, 6, 7, 5], [5039, 40270, 361300, 3587780, 38952330, 457459680]] [2, 3, 1, 4, 7, 5, 6], ` " ` [[1, 2, 3, 5, 6, 4, 7], [5039, 40270, 361300, 3587780, 38952416, 457467610]] [1, 3, 4, 2, 5, 7, 6], ` " ` [1, 3, 4, 2, 7, 6, 5], ` " ` [[1, 3, 2, 5, 6, 4, 7], [5039, 40270, 361300, 3587780, 38952428, 457468699]] [[2, 3, 1, 5, 6, 7, 4], [5039, 40270, 361301, 3587834, 38953996, 457496956]] [2, 3, 1, 7, 4, 5, 6], ` " ` [[2, 3, 1, 6, 7, 4, 5], [5039, 40270, 361301, 3587834, 38954017, 457498886]] [[2, 3, 1, 6, 7, 5, 4], [5039, 40270, 361301, 3587834, 38954024, 457499462]] [2, 3, 1, 7, 6, 4, 5], ` " ` [[1, 2, 6, 7, 5, 3, 4], [5039, 40270, 361301, 3587834, 38954055, 457502254]] [2, 1, 6, 7, 5, 3, 4], ` " ` [[2, 3, 1, 7, 5, 6, 4], [5039, 40270, 361301, 3587835, 38954126, 457505270]] [[1, 2, 7, 4, 5, 6, 3], [5039, 40270, 361301, 3587835, 38954128, 457505450]] [2, 1, 7, 4, 5, 6, 3], ` " ` [[1, 2, 5, 6, 7, 4, 3], [5039, 40270, 361301, 3587836, 38954202, 457508569]] [2, 1, 5, 6, 7, 4, 3], ` " ` [[1, 2, 5, 6, 7, 3, 4], [5039, 40270, 361301, 3587836, 38954203, 457508708]] [2, 1, 5, 6, 7, 3, 4], ` " ` [[1, 5, 6, 7, 4, 2, 3], [5039, 40270, 361301, 3587838, 38954345, 457514609]] [[1, 6, 7, 5, 4, 2, 3], [5039, 40270, 361301, 3587838, 38954363, 457516196]] [[1, 7, 3, 4, 5, 6, 2], [5039, 40270, 361301, 3587839, 38954434, 457519004]] [[1, 2, 4, 5, 6, 7, 3], [5039, 40270, 361301, 3587839, 38954439, 457519519]] [2, 1, 4, 5, 6, 7, 3], ` " ` [[1, 7, 4, 5, 6, 3, 2], [5039, 40270, 361301, 3587839, 38954448, 457520440]] [[1, 6, 7, 3, 4, 5, 2], [5039, 40270, 361301, 3587839, 38954452, 457520759]] [[1, 5, 6, 7, 3, 4, 2], [5039, 40270, 361301, 3587839, 38954452, 457520763]] [[1, 2, 6, 7, 4, 5, 3], [5039, 40270, 361301, 3587839, 38954465, 457522043]] [2, 1, 6, 7, 4, 5, 3], ` " ` [[1, 2, 3, 5, 6, 7, 4], [5039, 40270, 361301, 3587839, 38954466, 457522012]] [2, 1, 3, 5, 6, 7, 4], ` " ` [2, 3, 4, 1, 7, 6, 5], ` " ` [[1, 6, 7, 5, 3, 4, 2], [5039, 40270, 361301, 3587839, 38954469, 457522279]] [[1, 3, 2, 5, 6, 7, 4], [5039, 40270, 361301, 3587839, 38954471, 457522543]] [[1, 5, 6, 7, 2, 3, 4], [5039, 40270, 361301, 3587840, 38954517, 457523128]] [[1, 4, 5, 6, 7, 3, 2], [5039, 40270, 361301, 3587840, 38954525, 457523716]] [[1, 4, 5, 6, 7, 2, 3], [5039, 40270, 361301, 3587840, 38954525, 457523750]] [[1, 5, 6, 7, 4, 3, 2], [5039, 40270, 361301, 3587840, 38954538, 457525005]] [[1, 2, 7, 5, 6, 4, 3], [5039, 40270, 361301, 3587840, 38954548, 457526091]] [2, 1, 7, 5, 6, 4, 3], ` " ` [[1, 2, 3, 6, 7, 4, 5], [5039, 40270, 361301, 3587840, 38954553, 457526480]] [2, 1, 3, 6, 7, 4, 5], ` " ` [3, 2, 1, 6, 7, 4, 5], ` " ` [[1, 3, 2, 6, 7, 4, 5], [5039, 40270, 361301, 3587840, 38954559, 457527086]] [[1, 2, 6, 7, 5, 4, 3], [5039, 40270, 361301, 3587841, 38954624, 457529449]] [2, 1, 6, 7, 5, 4, 3], ` " ` [[1, 6, 7, 4, 5, 3, 2], [5039, 40270, 361301, 3587841, 38954625, 457529480]] [[1, 2, 3, 6, 7, 5, 4], [5039, 40270, 361301, 3587841, 38954629, 457529879]] [2, 1, 3, 6, 7, 5, 4], ` " ` [3, 2, 1, 6, 7, 5, 4], ` " ` [[1, 3, 2, 6, 7, 5, 4], [5039, 40270, 361301, 3587841, 38954636, 457530569]] [[1, 7, 6, 4, 5, 3, 2], [5039, 40270, 361301, 3587842, 38954710, 457533726]] [[1, 3, 4, 5, 6, 7, 2], [5039, 40270, 361301, 3587843, 38954776, 457535995]] [[1, 6, 7, 4, 5, 2, 3], [5039, 40270, 361301, 3587843, 38954777, 457536297]] [[1, 2, 3, 7, 5, 6, 4], [5039, 40270, 361301, 3587843, 38954793, 457537896]] [2, 1, 3, 7, 5, 6, 4], ` " ` [3, 2, 1, 7, 5, 6, 4], ` " ` [[1, 3, 2, 7, 5, 6, 4], [5039, 40270, 361301, 3587843, 38954801, 457538655]] [[1, 7, 5, 6, 3, 4, 2], [5039, 40270, 361301, 3587844, 38954858, 457540236]] [[1, 7, 5, 6, 4, 3, 2], [5039, 40270, 361301, 3587844, 38954867, 457541034]] [[1, 6, 7, 5, 4, 3, 2], [5039, 40270, 361301, 3587845, 38954951, 457545084]] [[1, 2, 3, 4, 6, 7, 5], [5039, 40270, 361301, 3587846, 38955033, 457549070]] [2, 1, 3, 4, 6, 7, 5], ` " ` [2, 3, 1, 4, 7, 6, 5], ` " ` [2, 3, 1, 7, 6, 5, 4], ` " ` [[1, 2, 4, 3, 6, 7, 5], [5039, 40270, 361301, 3587846, 38955045, 457550186]] [2, 1, 4, 3, 6, 7, 5], ` " ` [[1, 4, 3, 2, 6, 7, 5], [5039, 40270, 361301, 3587846, 38955045, 457550366]] [[1, 3, 2, 4, 6, 7, 5], [5039, 40270, 361301, 3587847, 38955110, 457552670]] [[1, 2, 3, 4, 5, 6, 7], [5039, 40270, 361302, 3587916, 38957991, 457647966]] [1, 2, 3, 4, 5, 7, 6], ` " ` [1, 2, 3, 4, 7, 6, 5], ` " ` [1, 2, 3, 7, 6, 5, 4], ` " ` [1, 2, 7, 6, 5, 4, 3], ` " ` [1, 7, 6, 5, 4, 3, 2], ` " ` [2, 1, 3, 4, 5, 7, 6], ` " ` [2, 1, 3, 4, 7, 6, 5], ` " ` [2, 1, 3, 7, 6, 5, 4], ` " ` [2, 1, 7, 6, 5, 4, 3], ` " ` [3, 2, 1, 4, 7, 6, 5], ` " ` [3, 2, 1, 7, 6, 5, 4], ` " ` [[1, 2, 3, 4, 6, 5, 7], [5039, 40270, 361302, 3587917, 38958072, 457651865]] [1, 3, 2, 4, 5, 7, 6], ` " ` [1, 3, 2, 4, 7, 6, 5], ` " ` [1, 3, 2, 7, 6, 5, 4], ` " ` [[1, 2, 3, 5, 4, 6, 7], [5039, 40270, 361302, 3587917, 38958076, 457652221]] [1, 2, 3, 5, 4, 7, 6], ` " ` [1, 2, 4, 3, 5, 7, 6], ` " ` [1, 2, 4, 3, 7, 6, 5], ` " ` [2, 1, 3, 5, 4, 7, 6], ` " ` [2, 1, 4, 3, 7, 6, 5], ` " ` [[1, 6, 5, 4, 3, 2, 7], [5039, 40270, 361302, 3587917, 38958082, 457652871]] [[1, 2, 3, 6, 5, 4, 7], [5039, 40270, 361302, 3587917, 38958086, 457653181]] [1, 4, 3, 2, 5, 7, 6], ` " ` [1, 4, 3, 2, 7, 6, 5], ` " ` [[1, 2, 6, 5, 4, 3, 7], [5039, 40270, 361302, 3587917, 38958086, 457653299]] [1, 5, 4, 3, 2, 7, 6], ` " ` [[1, 2, 5, 4, 3, 6, 7], [5039, 40270, 361302, 3587917, 38958090, 457653600]] [1, 2, 5, 4, 3, 7, 6], ` " ` [2, 1, 5, 4, 3, 7, 6], ` " ` [[1, 3, 2, 4, 6, 5, 7], [5039, 40270, 361302, 3587918, 38958153, 457655768]] [[1, 2, 4, 3, 6, 5, 7], [5039, 40270, 361302, 3587918, 38958158, 457656206]] [1, 3, 2, 5, 4, 7, 6], ` " ` [[1, 3, 2, 6, 5, 4, 7], [5039, 40270, 361302, 3587918, 38958168, 457657176]] This took, 2397.649, seconds.