#The first, 69, terms of the sequence enumerating permutations of length n suc\ # h that pi[i+2]-pi[i] is never 2 are, let's call it L22 are: L22:= [1, 2, 5, 18, 75, 410, 2729, 20906, 181499, 1763490, 18943701, 222822578, 2847624899, 39282739034, 581701775369, 9202313110506, 154873904848803, 2762800622799362, 52071171437696453, 1033855049655584786, 21567640717569135515, 471630531427793184474, 10787660036599729160073, 257590656485400508526570, 6409633590481106885238443, 165928838963556686281573922, 4462073606461933066205164757, 124470791290376112779747519538, 3597058248632667485834774744787, 107559658152025736992729145688602, 3324154021716716493547315823808809, 106067493846954075776733869818571690, 3490771207487802026912252686947947027, 118383998479651470880820236769742970626, 4133478159186775319059453592629838113797, 148466883284989878437512550822854230352658, 5481445352420515241156476193244518840746091, 207869484082519643584315638277953840446577434, 8091183220183213363917372778202719985232289001, 323050241764467120657010255773065347194505456938, 13221792999576068893608581609111277819003990469083, 554385370502986503794555168916266730610467196696226, 23800472503925739016685725335017718230553739515026261, 1045621814306239157531002998400105114134277844808385202, 46984273203395373976792685973065952164512160007637624931, 2158255393499313903212082927942202089782466963438169674714, 101302136630144243673379759349962180810448939966301926767305, 4856256467469643118806194316437348317327977665078624121875050, 237663171083338468176574492075827020760055609684313221330990595, 11869083400376949860542615099405823676382105038378011862000897794, 604633939869611565405341657317429021725251188176329557645177520837, 31406516918059965680865664736257325402250876581953037087247238136082, 1662789419855435280756739052454658397497445151265931825280570003097275, 89699361348979440574892446493817889192025521039159505681046335507230298, 4928629924280904107832080994922335566057426522666912778759544242870854345, 275742303873016162993334148890481948831824673788763584293147151219193674090, 15702963986779303421654568828418126279784537624068264714490996152144655541899, 909968791161811244928813722709397567222660200173629169943011525490672471460386, 53642399027881086676214279725435003843648941147467793817606390288082793832170069, 3215890901233479183315421557340710488502421034040088080589515856994766501114885170, 196012873715193401175240598556750196624241592424093151520640089591385750433927027571, 12143413267488017813760385767737834313002989870524617531538918895465445391667840175258, 764462755852518273705174701626956709565516299147218335923868723239500029911506139278569, 48890146963903521270336767162233378251577881271616324752399689709527573463189634940751914, 3175625708973013671736896904065221445090318436737641594508087377289295110807842538184903539, 209448376023526763496484652612966049608988254627878473189023412444956918612108285373570230786, 14023754193945744496817687746820540182703112604505467423344067298229020632764747600273561082373, 953002525698749337404025000629367675993275320481700532707616230573962958507041523192093123367442, 65716131253084771073442211640667257800445512280804520237430972959880155760676268720832291072566923]: # # # 7 # This took, 0.1241939707 10 seconds