#The first 64 terms of the sequence enumerating permutations of {1,...,n}
#such that pi[i+3]-pi[i] is never 3, starting at n=1 are, let's call it L33, are


L33:=
[1, 
2, 
6, 
22, 
98, 
534, 
3414, 
25498, 
217338, 
2080990, 
22076030, 
256888218,
 3252308706, 
44497313158, 
654139144158, 
10281397705242, 
172033123244330,
3052895403376110, 
57266799403366334, 
1132124282036449570,
23524895818926592242, 
512577206181190933062, 
11685351024627411070118,
278171270561272398036690, 
6902101621895493710920746,
178206624272932144933612846, 
4780478044628193147299363958,
133047169003039779980813861410, 
3836660497727132031475893228338,
114493586561621867215142856973830,
3531763383080431181467458796760166,
112491498284225311784780814467838058,
3695981667156473891313839842388552874,
125144823258608365309352221331032465518,
4362989380285735483929261810123770972942,
156487970833305956092960845199659766045002,
5769802163613049737850275370463734032761522,
218524572322177122848453296928446772186565526,
8495567393093969431822719890927991361357233102,
338802346851014410018741309746795785087029980138,
13851158483195274801688897672184903133869009304698,
580161274567572447402036715778435484221932437496926,
24881935316452451525758264475764727839096124510597454,
1092078508531840623779130970226429320189483902757464946,
49026424056485846960925388123533251695061554446262020642,
2250068479583827569831206328825443293345770682936633345366,
105521850498593244914054434795616314482176935719249546247094,
5054416831903003161634276831724003800059906742424924614608642,
247167214128782561276736450965294020952024401596710173605833850, 
12334421308173937210606686435682543537186624264459916529003096766, 
627883525233713332703300534988883541558557834169207644338108277734, 
32591396623305483190472570370941301937839777687496472536192430834034, 
1724360661161011465427450211611223465191761785134743973845401999360770, 
92960467214316742067629398743242474987548706477202443784799773625316086, 
5104616692337905317475784794583342014968113105000730981827729111012592758, 
285415584091313080222878585500641614521897454895758182978600722961476807738,
16244343810857238898206140230298305779395969332162953312911889144355673091930,
940809612547032032019265923064556509050513736361647349769626246061768284789502,
55430167411905602793254118994523130743237608600016969085038406245748899483845790, 
3321312231226021875527956797800501208130232476305709376644720743754688578763960826, 
202334844608819443944033679324371224102872993344957985750420153496240029044719167362, 
12528858116318874218565735658299138955003633992502419534270922089071101544528385973414, 
788348605225057401039135305687714844685031273274439510602651721387280972666496053207742, 
50394239353644446763811355916810951260070565547261700517813891634191202089637605248511162]: