The first, 15, 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, 15, 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, 365554002, 4182234187, 49948486413, 618801990034]] [[2, 4, 6, 3, 1, 5], [719, 5003, 39424, 344572, 3283043, 33616187, 365608597, 4183546547, 49977366470, 619400012456]] [[2, 5, 3, 6, 1, 4], [719, 5003, 39424, 344574, 3283168, 33620827, 365742787, 4186900037, 50053663317, 621028566013]] [[2, 5, 1, 4, 6, 3], [719, 5003, 39424, 344575, 3283227, 33622952, 365803263, 4188396553, 50087442439, 621743728692]] [[2, 5, 1, 3, 6, 4], [719, 5003, 39424, 344579, 3283483, 33632538, 366080358, 4195279276, 50242582244, 625019201041]] [[1, 3, 6, 4, 2, 5], [719, 5003, 39424, 344580, 3283521, 33633237, 366084190, 4195044876, 50231125586, 624666979913]] [[2, 5, 4, 1, 6, 3], [719, 5003, 39425, 344611, 3283955, 33632674, 365858205, 4186742785, 50009402824, 619543868680]] [[2, 6, 3, 4, 1, 5], [719, 5003, 39425, 344614, 3284117, 33637965, 365994541, 4189804829, 50072388278, 620764461363]] [[2, 5, 6, 3, 1, 4], [719, 5003, 39425, 344616, 3284248, 33642961, 366140919, 4193473860, 50155513301, 622522151860]] [[2, 5, 1, 6, 4, 3], [719, 5003, 39425, 344619, 3284418, 33648781, 366298292, 4197192540, 50236257765, 624179633591]] [[3, 5, 1, 6, 2, 4], [719, 5003, 39425, 344620, 3284441, 33648549, 366268369, 4196017046, 50202366376, 623344784460]] [[2, 3, 6, 4, 1, 5], [719, 5003, 39425, 344620, 3284457, 33649576, 366306831, 4197123246, 50229544907, 623947224441]] [[2, 5, 1, 6, 3, 4], [719, 5003, 39425, 344622, 3284567, 33653174, 366399028, 4199181271, 50271764318, 624767901550]] [[2, 3, 5, 1, 6, 4], [719, 5003, 39425, 344622, 3284568, 33653215, 366399589, 4199166986, 50270615325, 624723692854]] [[2, 4, 6, 1, 3, 5], [719, 5003, 39425, 344622, 3284571, 33653457, 366410482, 4199533391, 50280953503, 624983462735]] [[2, 4, 1, 6, 3, 5], [719, 5003, 39425, 344622, 3284575, 33653663, 366416515, 4199662660, 50283109999, 625009673087]] [[2, 4, 1, 6, 5, 3], [719, 5003, 39425, 344624, 3284706, 33658652, 366562502, 4203321016, 50366098662, 626769736521]] [[1, 4, 6, 2, 5, 3], [719, 5003, 39425, 344627, 3284887, 33665219, 366749785, 4207965651, 50471450208, 629019486980]] [[1, 5, 3, 6, 2, 4], [719, 5003, 39425, 344628, 3284941, 33666972, 366794518, 4208958649, 50491619724, 629405296998]] [[1, 3, 6, 5, 2, 4], [719, 5003, 39425, 344629, 3284991, 33668435, 366827019, 4209556420, 50500904328, 629521166568]] [[1, 3, 4, 6, 2, 5], [719, 5003, 39425, 344629, 3285006, 33669458, 366868067, 4210829457, 50534799531, 630338525108]] [[1, 4, 6, 3, 2, 5], [719, 5003, 39425, 344630, 3285060, 33671182, 366910851, 4211746829, 50552743043, 630669171583]] [[1, 3, 5, 2, 6, 4], [719, 5003, 39425, 344631, 3285115, 33673022, 366959646, 4212878644, 50576839672, 631152972465]] [[1, 3, 6, 2, 4, 5], [719, 5003, 39425, 344633, 3285228, 33676816, 367058930, 4215125173, 50623164559, 632050380622]] [[2, 3, 6, 1, 4, 5], [719, 5003, 39426, 344661, 3285505, 33671423, 366717782, 4204451446, 50356774660, 626129958538]] [[2, 3, 6, 5, 1, 4], [719, 5003, 39426, 344662, 3285559, 33673168, 366762330, 4205451702, 50377616934, 626545123622]] [[2, 4, 5, 1, 6, 3], [719, 5003, 39426, 344666, 3285746, 33678199, 366862507, 4207023563, 50395900243, 626626909904]] [[2, 5, 6, 1, 4, 3], [719, 5003, 39426, 344667, 3285813, 33680926, 366948776, 4209355110, 50452514641, 627900904304]] [[2, 3, 5, 6, 1, 4], [719, 5003, 39426, 344668, 3285874, 33683153, 367012525, 4210939717, 50488500587, 628669478346]] [[2, 5, 6, 4, 1, 3], [719, 5003, 39426, 344668, 3285891, 33684210, 367051239, 4212037347, 50515261399, 629261345039]] [[2, 5, 4, 6, 1, 3], [719, 5003, 39426, 344669, 3285926, 33684781, 367052999, 4211830420, 50506837823, 629033624265]] [[2, 5, 6, 1, 3, 4], [719, 5003, 39426, 344669, 3285936, 33685398, 367075385, 4212456675, 50521827795, 629357319155]] [[2, 3, 6, 1, 5, 4], [719, 5003, 39426, 344671, 3286054, 33689584, 367192027, 4215281546, 50584385825, 630661667978]] [[2, 4, 6, 5, 1, 3], [719, 5003, 39426, 344672, 3286086, 33689894, 367181171, 4214621645, 50562399023, 630074133950]] [[2, 4, 3, 6, 1, 5], [719, 5003, 39426, 344672, 3286113, 33691627, 367246800, 4216547637, 50611047097, 631189854963]] [[1, 4, 5, 2, 6, 3], [719, 5003, 39426, 344672, 3286128, 33692550, 367280172, 4217480451, 50633461683, 631678685554]] [[1, 5, 3, 4, 6, 2], [719, 5003, 39426, 344674, 3286231, 33695759, 367359477, 4219203870, 50668132999, 632343415020]] [[2, 3, 4, 6, 1, 5], [719, 5003, 39426, 344675, 3286273, 33696773, 367377226, 4219429467, 50669425756, 632305648860]] [[1, 3, 5, 6, 2, 4], [719, 5003, 39426, 344675, 3286293, 33697998, 367421581, 4220677595, 50699760138, 632977624955]] [[1, 4, 5, 3, 6, 2], [719, 5003, 39426, 344676, 3286337, 33699112, 367442268, 4220969553, 50702325380, 632961514652]] [[1, 3, 5, 6, 4, 2], [719, 5003, 39426, 344678, 3286444, 33702519, 367526877, 4222785946, 50737815556, 633611283723]] [[1, 3, 6, 4, 5, 2], [719, 5003, 39426, 344678, 3286445, 33702593, 367530144, 4222898097, 50741121696, 633699256554]] [[1, 4, 3, 6, 2, 5], [719, 5003, 39426, 344678, 3286493, 33705839, 367659357, 4226876096, 50846339931, 636221923804]] [[1, 6, 4, 3, 5, 2], [719, 5003, 39426, 344679, 3286521, 33705830, 367633865, 4225705196, 50809220811, 635232548514]] [[1, 5, 3, 6, 4, 2], [719, 5003, 39426, 344680, 3286576, 33707621, 367679064, 4226683998, 50828346473, 635579124282]] [[1, 4, 6, 3, 5, 2], [719, 5003, 39426, 344680, 3286586, 33708305, 367706545, 4227536396, 50851029192, 636125619674]] [[1, 3, 6, 2, 5, 4], [719, 5003, 39426, 344681, 3286660, 33711372, 367802282, 4230065514, 50911061369, 637451502079]] [[1, 6, 3, 5, 4, 2], [719, 5003, 39426, 344682, 3286686, 33711239, 367772447, 4228783126, 50871668034, 636425417655]] [[1, 3, 5, 4, 2, 6], [719, 5003, 39426, 344682, 3286719, 33713527, 367865550, 4231706047, 50950351869, 638342403786]] [[1, 3, 5, 2, 4, 6], [719, 5003, 39426, 344686, 3286953, 33721710, 368089648, 4237033335, 51066139823, 640713359510]] [[3, 2, 6, 1, 5, 4], [719, 5003, 39427, 344724, 3287748, 33732379, 368139497, 4234641599, 50960378065, 637727504571]] [[1, 5, 4, 6, 2, 3], [719, 5003, 39427, 344724, 3287749, 33732314, 368131670, 4234247739, 50946234380, 637307586313]] [[1, 4, 6, 5, 2, 3], [719, 5003, 39427, 344724, 3287751, 33732441, 368136462, 4234388512, 50949802135, 637389712848]] [[1, 4, 3, 6, 5, 2], [719, 5003, 39427, 344725, 3287819, 33735112, 368216847, 4236457905, 50998013053, 638440048907]] [[1, 3, 4, 5, 2, 6], [719, 5003, 39427, 344725, 3287840, 33736582, 368277055, 4238356352, 51049259977, 639690513155]] [[1, 3, 4, 6, 5, 2], [719, 5003, 39427, 344726, 3287851, 33735408, 368204877, 4235745683, 50974135368, 637794328791]] [[1, 4, 3, 5, 6, 2], [719, 5003, 39427, 344726, 3287863, 33736197, 368235450, 4236663538, 50997861088, 638351559273]] [[1, 4, 6, 5, 3, 2], [719, 5003, 39427, 344726, 3287877, 33737112, 368270512, 4237699434, 51024091491, 638952411916]] [[2, 4, 5, 6, 1, 3], [719, 5003, 39427, 344727, 3287904, 33737204, 368255863, 4237068330, 51006474439, 638549040177]] [[1, 5, 4, 3, 6, 2], [719, 5003, 39427, 344727, 3287939, 33739461, 368341118, 4239553405, 51068686763, 639962162312]] [[1, 4, 5, 2, 3, 6], [719, 5003, 39427, 344727, 3287974, 33741840, 368436494, 4242515875, 51147866395, 641883087585]] [[1, 3, 5, 4, 6, 2], [719, 5003, 39427, 344728, 3287971, 33739711, 368325636, 4238685864, 51039565008, 639165904781]] [[1, 5, 4, 6, 3, 2], [719, 5003, 39427, 344728, 3287993, 33741162, 368381939, 4240374886, 51083087589, 640182393966]] [[1, 3, 6, 5, 4, 2], [719, 5003, 39427, 344728, 3287995, 33741282, 368386221, 4240494356, 51085984363, 640246811195]] [[1, 4, 5, 3, 2, 6], [719, 5003, 39427, 344729, 3288078, 33745053, 368513627, 4244106715, 51177445309, 642391116783]] [[1, 2, 5, 4, 6, 3], [719, 5003, 39427, 344731, 3288165, 33747089, 368542702, 4244177992, 51165704232, 641879883218]] [2, 1, 5, 4, 6, 3], ` " ` [[1, 2, 4, 6, 5, 3], [719, 5003, 39427, 344731, 3288170, 33747415, 368555239, 4244551397, 51175268495, 642102085230]] [2, 1, 4, 6, 5, 3], ` " ` [[1, 5, 3, 4, 2, 6], [719, 5003, 39427, 344732, 3288259, 33751604, 368699773, 4248706650, 51281528357, 644612678623]] [[1, 2, 4, 6, 3, 5], [719, 5003, 39427, 344733, 3288292, 33751853, 368681504, 4247668287, 51245624568, 643599008244]] [2, 1, 4, 6, 3, 5], ` " ` [[1, 2, 4, 5, 3, 6], [719, 5003, 39427, 344735, 3288426, 33757116, 368841108, 4251825654, 51343844682, 645771691202]] [1, 3, 4, 2, 6, 5], ` " ` [[2, 3, 1, 5, 6, 4], [719, 5003, 39428, 344772, 3289163, 33765743, 368833207, 4247979687, 51203914930, 642019050158]] [2, 3, 1, 6, 4, 5], ` " ` [[1, 5, 6, 4, 2, 3], [719, 5003, 39428, 344776, 3289398, 33773930, 369055435, 4253200195, 51315867278, 644279408420]] [[1, 6, 3, 4, 5, 2], [719, 5003, 39428, 344777, 3289452, 33775767, 369106844, 4254499026, 51346691569, 644979797456]] [[1, 2, 4, 5, 6, 3], [719, 5003, 39428, 344777, 3289454, 33775840, 369107313, 4254440625, 51343289331, 644855418659]] [2, 1, 4, 5, 6, 3], ` " ` [[1, 4, 5, 6, 3, 2], [719, 5003, 39428, 344778, 3289499, 33776998, 369128906, 4254737523, 51345455502, 644818696037]] [[1, 4, 5, 6, 2, 3], [719, 5003, 39428, 344778, 3289500, 33777051, 369130753, 4254793376, 51347038080, 644861344304]] [[1, 2, 5, 6, 3, 4], [719, 5003, 39428, 344778, 3289522, 33778520, 369188359, 4256538668, 51392462629, 645933567464]] [2, 1, 5, 6, 3, 4], ` " ` [[1, 2, 5, 6, 4, 3], [719, 5003, 39428, 344779, 3289579, 33780454, 369239595, 4257714472, 51417096462, 646419203730]] [2, 1, 5, 6, 4, 3], ` " ` [[1, 3, 4, 5, 6, 2], [719, 5003, 39428, 344781, 3289663, 33782306, 369262762, 4257662673, 51403946868, 645923444104]] [[1, 5, 6, 3, 4, 2], [719, 5003, 39428, 344781, 3289688, 33784036, 369332651, 4259833494, 51461643449, 647309732357]] [[1, 2, 6, 4, 5, 3], [719, 5003, 39428, 344781, 3289705, 33785166, 369376920, 4261176879, 51496730927, 648142071139]] [2, 1, 6, 4, 5, 3], ` " ` [[1, 6, 4, 5, 3, 2], [719, 5003, 39428, 344782, 3289753, 33786492, 369403978, 4261608876, 51501695349, 648155892040]] [[1, 5, 6, 4, 3, 2], [719, 5003, 39428, 344783, 3289800, 33787790, 369431273, 4262083904, 51508612188, 648233417276]] [[1, 2, 3, 5, 6, 4], [719, 5003, 39428, 344784, 3289863, 33790151, 369500354, 4263835226, 51549163145, 649117485925]] [2, 1, 3, 5, 6, 4], ` " ` [2, 3, 1, 6, 5, 4], ` " ` [[1, 3, 2, 5, 6, 4], [719, 5003, 39428, 344784, 3289875, 33790967, 369533070, 4264851198, 51576308995, 649775903983]] [[1, 2, 3, 4, 5, 6], [719, 5003, 39429, 344837, 3291590, 33835114, 370531683, 4285711539, 51990339068, 657723056000]] [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, 370599945, 4287463122, 52031534619, 658637388089]] [1, 3, 2, 4, 6, 5], ` " ` [1, 3, 2, 6, 5, 4], ` " ` [[1, 2, 4, 3, 5, 6], [719, 5003, 39429, 344838, 3291656, 33837679, 370608915, 4287714933, 52037607783, 658770217647]] [1, 2, 4, 3, 6, 5], ` " ` [2, 1, 4, 3, 6, 5], ` " ` [[1, 5, 4, 3, 2, 6], [719, 5003, 39429, 344838, 3291662, 33838228, 370636307, 4288724966, 52068674688, 659619106943]] [[1, 2, 5, 4, 3, 6], [719, 5003, 39429, 344838, 3291666, 33838429, 370641623, 4288807961, 52068772495, 659571555656]] [1, 4, 3, 2, 6, 5], ` " ` [[1, 3, 2, 5, 4, 6], [719, 5003, 39429, 344839, 3291715, 33839811, 370670398, 4289275672, 52074192675, 659583698161]] # This took, 435960.866, seconds.