Av(1234, 2341, 3412)
View Raw Data
Generating Function
18x10134x9+446x8918x7+1253x61161x5+736x4315x3+87x214x+1(x23x+1)(2x1)3(1+x)6
Counting Sequence
1, 1, 2, 6, 21, 75, 259, 849, 2638, 7817, 22275, 61539, 166007, 439844, 1150070, ...
Implicit Equation for the Generating Function
(x23x+1)(2x1)3(1+x)6F(x)+18x10134x9+446x8918x7+1253x61161x5+736x4315x3+87x214x+1=0
Recurrence
a(0)=1
a(1)=1
a(2)=2
a(3)=6
a(4)=21
a(5)=75
a(6)=259
a(7)=849
a(8)=2638
a(9)=7817
a(10)=22275
a(n+5)=8a(n)36a(n+1)+50a(n+2)31a(n+3)+9a(n+4)n(n420n3+55n2+260n176)120,n11
Explicit Closed Form
(365+60)(3252)n120+(365+60)(32+52)n120+2n+1+(30n2270n)2n120n5120+n412n38+11n21213n152

This specification was found using the strategy pack "Insertion Point Placements" and has 198 rules.

Found on January 17, 2022.

Finding the specification took 53 seconds.

This tree is too big to show here. Click to view tree on new page.

Copy 198 equations to clipboard:
F0(x)=F1(x)+F2(x)F1(x)=1F2(x)=F3(x)F3(x)=F4(x)F5(x)F4(x)=xF5(x)=F29(x)+F6(x)F6(x)=F1(x)+F7(x)F7(x)=F4(x)F8(x)F8(x)=F6(x)+F9(x)F9(x)=F10(x)F4(x)F10(x)=F11(x)+F14(x)+F9(x)F11(x)=F1(x)+F12(x)F12(x)=F13(x)F13(x)=F11(x)F4(x)F14(x)=F15(x)F15(x)=F11(x)F16(x)F4(x)F16(x)=F17(x)+F24(x)F17(x)=F11(x)+F18(x)F18(x)=F12(x)+F19(x)F19(x)=F20(x)+F21(x)+F23(x)F20(x)=0F21(x)=F22(x)F4(x)F22(x)=F12(x)+F19(x)F23(x)=F18(x)F4(x)F24(x)=F12(x)+F25(x)F25(x)=F20(x)+F26(x)+F28(x)F26(x)=F27(x)F4(x)F27(x)=F12(x)+F25(x)F28(x)=F24(x)F4(x)F29(x)=F2(x)+F30(x)F30(x)=F31(x)F31(x)=F32(x)F4(x)F32(x)=F33(x)+F34(x)F33(x)=F12(x)F17(x)F34(x)=F112(x)+F35(x)F35(x)=F36(x)+F39(x)F36(x)=F37(x)+F38(x)F37(x)=F7(x)F38(x)=F12(x)2F39(x)=F111(x)+F40(x)F40(x)=F41(x)F41(x)=F4(x)F42(x)F42(x)=F43(x)+F50(x)F43(x)=F44(x)+F46(x)F44(x)=F12(x)+F45(x)F45(x)=F11(x)F12(x)F46(x)=F47(x)+F48(x)F47(x)=F12(x)2F48(x)=F40(x)+F49(x)F49(x)=F12(x)F19(x)F50(x)=F51(x)+F52(x)F51(x)=F12(x)F44(x)F52(x)=F53(x)+F54(x)F53(x)=F12(x)F25(x)F54(x)=F110(x)+F55(x)F55(x)=F56(x)F56(x)=F4(x)F57(x)F57(x)=F58(x)+F78(x)F58(x)=F12(x)F59(x)F59(x)=F60(x)+F62(x)F60(x)=F22(x)+F61(x)F61(x)=F11(x)F12(x)F62(x)=F63(x)+F65(x)F63(x)=F47(x)+F64(x)F64(x)=F11(x)F19(x)F65(x)=F20(x)+F66(x)+F68(x)+F70(x)F66(x)=F4(x)F67(x)F67(x)=F19(x)+F65(x)F68(x)=F4(x)F69(x)F69(x)=F19(x)+F65(x)F70(x)=F4(x)F71(x)F71(x)=F72(x)+F75(x)F72(x)=F73(x)F73(x)=F4(x)F74(x)F74(x)=F12(x)+F72(x)F75(x)=2F20(x)+F70(x)+F76(x)F76(x)=F4(x)F77(x)F77(x)=F19(x)+F75(x)F78(x)=F79(x)+F80(x)F79(x)=F11(x)F12(x)F44(x)F80(x)=F52(x)+F81(x)F81(x)=F12(x)F82(x)F82(x)=F109(x)+F83(x)F83(x)=F105(x)+F20(x)+F84(x)F84(x)=F85(x)F85(x)=F4(x)F86(x)F86(x)=F104(x)+F87(x)F87(x)=F20(x)+F88(x)+F97(x)F88(x)=F4(x)F89(x)F89(x)=F20(x)+F90(x)+F92(x)F90(x)=F91(x)F91(x)=F11(x)F4(x)F89(x)F92(x)=F4(x)F93(x)F93(x)=F11(x)+F94(x)+F95(x)F94(x)=F4(x)F93(x)F95(x)=F96(x)F96(x)=F11(x)F4(x)F93(x)F97(x)=F98(x)F98(x)=F4(x)F99(x)F99(x)=F100(x)+F87(x)F100(x)=F101(x)F11(x)F4(x)F101(x)=F102(x)+F20(x)+F94(x)F102(x)=F103(x)F103(x)=F101(x)F11(x)F4(x)F104(x)=F11(x)F4(x)F89(x)F105(x)=F106(x)F4(x)F106(x)=F102(x)+F107(x)+F20(x)F107(x)=F108(x)F4(x)F108(x)=F107(x)+F20(x)+F95(x)F109(x)=F106(x)F12(x)F110(x)=F12(x)F83(x)F111(x)=F12(x)F19(x)F112(x)=F113(x)+F181(x)F113(x)=F114(x)+F164(x)F114(x)=F115(x)F115(x)=F116(x)F4(x)F116(x)=F117(x)+F33(x)F117(x)=F118(x)+F133(x)F118(x)=F119(x)+F36(x)F119(x)=F111(x)+F120(x)F120(x)=F121(x)F121(x)=F122(x)F4(x)F122(x)=F123(x)+F126(x)F123(x)=F124(x)+F44(x)F124(x)=F120(x)+F125(x)F125(x)=F12(x)F18(x)F126(x)=F127(x)+F130(x)F127(x)=F128(x)F128(x)=F129(x)F4(x)F129(x)=F12(x)+F127(x)F130(x)=F131(x)F131(x)=F11(x)F12(x)F132(x)F4(x)F132(x)=F12(x)+F24(x)F133(x)=F113(x)+F134(x)F134(x)=F135(x)+F158(x)F135(x)=F136(x)F136(x)=F137(x)F4(x)F137(x)=F138(x)+F155(x)F138(x)=F139(x)+F142(x)F139(x)=F140(x)+F47(x)F140(x)=F12(x)F141(x)F141(x)=F25(x)+F45(x)F142(x)=F143(x)+F146(x)F143(x)=F135(x)+F144(x)F144(x)=F145(x)F145(x)=F12(x)2F18(x)F146(x)=F12(x)F147(x)F147(x)=2F20(x)+F148(x)+F150(x)F148(x)=F149(x)F4(x)F149(x)=F147(x)+F25(x)F150(x)=F151(x)F4(x)F151(x)=F147(x)+F152(x)F152(x)=F153(x)F153(x)=F154(x)F4(x)F154(x)=F12(x)+F152(x)F155(x)=F156(x)F156(x)=F12(x)2F157(x)F157(x)=F11(x)+F24(x)F158(x)=F159(x)F159(x)=F160(x)F4(x)F160(x)=F161(x)+F162(x)F161(x)=F11(x)F83(x)F162(x)=F163(x)F163(x)=F11(x)F18(x)F19(x)F164(x)=F165(x)F165(x)=F166(x)F4(x)F166(x)=F167(x)+F170(x)F167(x)=F12(x)F168(x)F168(x)=F169(x)+F61(x)F169(x)=F11(x)F22(x)F170(x)=F171(x)+F175(x)F171(x)=F172(x)+F79(x)F172(x)=F173(x)+F81(x)F173(x)=F174(x)+F53(x)F174(x)=F110(x)+F164(x)F175(x)=F12(x)F176(x)F176(x)=F177(x)+F25(x)F177(x)=F150(x)+F178(x)+F180(x)+F20(x)F178(x)=F179(x)F4(x)F179(x)=F177(x)+F25(x)F180(x)=F176(x)F4(x)F181(x)=F158(x)+F182(x)F182(x)=F183(x)F183(x)=F184(x)F4(x)F184(x)=F185(x)+F192(x)F185(x)=F186(x)+F189(x)F186(x)=F187(x)+F188(x)F187(x)=F12(x)F44(x)F188(x)=F12(x)2F11(x)F189(x)=F190(x)+F191(x)F190(x)=F12(x)F46(x)F191(x)=F11(x)F12(x)F25(x)F192(x)=F193(x)+F195(x)F193(x)=F194(x)F194(x)=F12(x)F186(x)F195(x)=F196(x)+F197(x)F196(x)=F12(x)F52(x)F197(x)=F11(x)F12(x)F147(x)