Av(1243, 1324, 2413, 4312)
View Raw Data
Generating Function
x86x7+39x680x5+97x475x3+35x29x+1(2x1)2(x1)6
Counting Sequence
1, 1, 2, 6, 20, 61, 164, 396, 883, 1865, 3811, 7662, 15346, 30869, 62622, ...
Implicit Equation for the Generating Function
(2x1)2(x1)6F(x)x8+6x739x6+80x597x4+75x335x2+9x1=0
Recurrence
a(0)=1
a(1)=1
a(2)=2
a(3)=6
a(4)=20
a(5)=61
a(6)=164
a(7)=396
a(8)=883
a(n+2)=4a(n)+4a(n+1)+(n4)(3n433n3+23n243n30)120,n9
Explicit Closed Form
{1n=0n540n48+7n3243n28+11n60+1+2nn42n4otherwise

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

Found on January 18, 2022.

Finding the specification took 2 seconds.

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

Copy 126 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)=F25(x)+F6(x)F6(x)=F1(x)+F7(x)F7(x)=F8(x)F8(x)=F4(x)F9(x)F9(x)=F10(x)+F13(x)F10(x)=F1(x)+F11(x)F11(x)=F12(x)F12(x)=F10(x)F4(x)F13(x)=F14(x)+F23(x)F14(x)=F15(x)F15(x)=F16(x)F4(x)F16(x)=F10(x)+F17(x)F17(x)=F18(x)+F21(x)F18(x)=F19(x)F19(x)=F20(x)F4(x)F20(x)=F1(x)+F18(x)F21(x)=F22(x)F22(x)=F17(x)F4(x)F23(x)=F24(x)F24(x)=F13(x)F4(x)F25(x)=F26(x)+F48(x)F26(x)=F27(x)F27(x)=F28(x)F4(x)F28(x)=F29(x)+F30(x)F29(x)=F1(x)+F14(x)F30(x)=F18(x)+F31(x)F31(x)=F32(x)+F33(x)+F35(x)F32(x)=0F33(x)=F34(x)F4(x)F34(x)=F14(x)+F31(x)F35(x)=F36(x)F4(x)F36(x)=F37(x)+F42(x)F37(x)=F18(x)+F38(x)F38(x)=F32(x)+F39(x)+F41(x)F39(x)=F4(x)F40(x)F40(x)=F11(x)+F38(x)F41(x)=F37(x)F4(x)F42(x)=F43(x)+F46(x)F43(x)=F44(x)F44(x)=F4(x)F45(x)F45(x)=F18(x)+F43(x)F46(x)=F47(x)F47(x)=F4(x)F42(x)F48(x)=F109(x)+F32(x)+F49(x)F49(x)=F4(x)F50(x)F50(x)=F51(x)+F72(x)F51(x)=F52(x)+F7(x)F52(x)=F32(x)+F53(x)+F61(x)F53(x)=F4(x)F54(x)F54(x)=F55(x)+F58(x)F55(x)=F11(x)+F56(x)F56(x)=F57(x)F57(x)=F4(x)F55(x)F58(x)=F21(x)+F59(x)F59(x)=F60(x)F60(x)=F4(x)F58(x)F61(x)=F4(x)F62(x)F62(x)=F13(x)+F63(x)F63(x)=F64(x)+F70(x)F64(x)=F65(x)F65(x)=F4(x)F66(x)F66(x)=F17(x)+F67(x)F67(x)=F43(x)+F68(x)F68(x)=F69(x)F69(x)=F4(x)F67(x)F70(x)=F71(x)F71(x)=F4(x)F63(x)F72(x)=F73(x)+F82(x)F73(x)=F32(x)+F74(x)+F76(x)F74(x)=F4(x)F75(x)F75(x)=F7(x)+F73(x)F76(x)=F4(x)F77(x)F77(x)=F37(x)+F78(x)F78(x)=F79(x)+F80(x)F79(x)=F65(x)F80(x)=F81(x)F81(x)=F4(x)F78(x)F82(x)=F32(x)+F83(x)+F85(x)+F95(x)F83(x)=F4(x)F84(x)F84(x)=F52(x)+F82(x)F85(x)=F4(x)F86(x)F86(x)=F87(x)+F92(x)F87(x)=F38(x)+F88(x)F88(x)=2F32(x)+F89(x)+F91(x)F89(x)=F4(x)F90(x)F90(x)=F56(x)+F88(x)F91(x)=F4(x)F87(x)F92(x)=F46(x)+F93(x)F93(x)=F94(x)F94(x)=F4(x)F92(x)F95(x)=F4(x)F96(x)F96(x)=F78(x)+F97(x)F97(x)=F107(x)+F98(x)F98(x)=F99(x)F99(x)=F100(x)F4(x)F100(x)=F101(x)+F67(x)F101(x)=F102(x)+F105(x)F102(x)=F103(x)F103(x)=F104(x)F4(x)F104(x)=F102(x)+F43(x)F105(x)=F106(x)F106(x)=F101(x)F4(x)F107(x)=F108(x)F108(x)=F4(x)F97(x)F109(x)=F110(x)F4(x)F110(x)=F111(x)+F122(x)F111(x)=F112(x)+F26(x)F112(x)=F113(x)+F121(x)+F32(x)F113(x)=F114(x)F4(x)F114(x)=F115(x)+F117(x)F115(x)=F11(x)+F116(x)F116(x)=F24(x)+F32(x)+F53(x)F117(x)=F118(x)+F38(x)F118(x)=F119(x)+F32(x)+F81(x)+F85(x)F119(x)=F120(x)F4(x)F120(x)=F116(x)+F118(x)F121(x)=F111(x)F4(x)F122(x)=F123(x)+F124(x)F123(x)=F65(x)F124(x)=F125(x)F125(x)=F122(x)F4(x)