Av(1243, 1324, 2341)
View Raw Data
Generating Function
(x23x+1)(x52x43x3+6x24x+1)14x9x7+19x6+10x559x4+63x333x2+9x12x2(x2+x1)(x23x+1)(x1)2
Counting Sequence
1, 1, 2, 6, 21, 76, 275, 989, 3544, 12696, 45578, 164194, 593966, 2158090, 7875503, ...
Implicit Equation for the Generating Function
x2(x23x+1)2(x2+x1)2(x1)4F(x)2+(x23x+1)(x2+x1)(9x719x610x5+59x463x3+33x29x+1)(x1)2F(x)+x13+10x1250x11+23x10+200x9386x8+119x7+464x6774x5+614x4292x3+85x214x+1=0
Recurrence
a(0)=1
a(1)=1
a(2)=2
a(3)=6
a(4)=21
a(5)=76
a(6)=275
a(7)=989
a(8)=3544
a(9)=12696
a(10)=45578
a(11)=164194
a(12)=593966
a(13)=2158090
a(n+13)=2(1+2n)a(n)15+n+(217+80n)a(2+n)15+n3(18+11n)a(n+1)15+n+(155+34n)a(n+3)15+n(2277+445n)a(n+4)15+n+2(2071+324n)a(n+5)15+n(794+27n)a(n+6)15+n(7053+959n)a(n+7)15+n+(11816+1333n)a(n+8)15+n(9713+955n)a(n+9)15+n+2(2363+207n)a(n+10)15+n(1376+109n)a(n+11)15+n+(221+16n)a(n+12)15+n+415+n,n14

This specification was found using the strategy pack "Row Placements Tracked Fusion" and has 331 rules.

Found on July 23, 2021.

Finding the specification took 5 seconds.

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

Copy 331 equations to clipboard:
F0(x)=F1(x)+F2(x)F1(x)=1F2(x)=F14(x)F3(x)F3(x)=F1(x)+F148(x)+F4(x)F4(x)=F14(x)F5(x)F5(x)=F44(x)+F6(x)F6(x)=F25(x)+F7(x)F7(x)=F1(x)+F8(x)F8(x)=F9(x)F9(x)=F10(x)F14(x)F10(x)=F11(x)+F15(x)F11(x)=F1(x)+F12(x)F12(x)=F13(x)F13(x)=F11(x)F14(x)F14(x)=xF15(x)=F16(x)+F23(x)F16(x)=F17(x)F17(x)=F14(x)F18(x)F18(x)=F19(x)+F20(x)F19(x)=F1(x)+F14(x)F20(x)=F16(x)+F21(x)F21(x)=F22(x)F22(x)=F14(x)F16(x)F23(x)=F24(x)F24(x)=F14(x)F15(x)F25(x)=F12(x)+F26(x)F26(x)=F27(x)F27(x)=F14(x)F28(x)F28(x)=F29(x)+F32(x)F29(x)=F14(x)+F30(x)F30(x)=F31(x)F31(x)=F14(x)F29(x)F32(x)=F33(x)+F42(x)F33(x)=F34(x)F34(x)=F14(x)F35(x)F35(x)=F36(x)+F39(x)F36(x)=F14(x)+F37(x)F37(x)=F38(x)F38(x)=x2F39(x)=F33(x)+F40(x)F40(x)=F41(x)F41(x)=F14(x)F33(x)F42(x)=F43(x)F43(x)=F14(x)F32(x)F44(x)=F127(x)+F45(x)F45(x)=F46(x)+F57(x)F46(x)=F47(x)F47(x)=F14(x)F48(x)F48(x)=F19(x)+F49(x)F49(x)=F46(x)+F50(x)F50(x)=F51(x)+F52(x)+F56(x)F51(x)=0F52(x)=F14(x)F53(x)F53(x)=F54(x)+F55(x)F54(x)=F14(x)F55(x)=F50(x)F56(x)=F14(x)F46(x)F57(x)=F51(x)+F58(x)+F90(x)F58(x)=F14(x)F59(x)F59(x)=F60(x)+F62(x)F60(x)=F61(x)+F8(x)F61(x)=F27(x)F62(x)=F57(x)+F63(x)F63(x)=2F51(x)+F64(x)+F68(x)F64(x)=F14(x)F65(x)F65(x)=F66(x)+F67(x)F66(x)=F61(x)F67(x)=F63(x)F68(x)=F14(x)F69(x)F69(x)=F70(x)+F78(x)F70(x)=F71(x)+F76(x)F71(x)=F72(x)F72(x)=F14(x)F73(x)F73(x)=F74(x)F74(x)=F14(x)F75(x)F75(x)=F1(x)+F73(x)F76(x)=F77(x)F77(x)=F14(x)F70(x)F78(x)=F79(x)+F88(x)F79(x)=F80(x)F80(x)=F14(x)F81(x)F81(x)=F82(x)+F85(x)F82(x)=F71(x)+F83(x)F83(x)=F84(x)F84(x)=F14(x)F71(x)F85(x)=F79(x)+F86(x)F86(x)=F87(x)F87(x)=F14(x)F79(x)F88(x)=F89(x)F89(x)=F14(x)F78(x)F90(x)=F14(x)F91(x)F91(x)=F92(x)+F97(x)F92(x)=F73(x)+F93(x)F93(x)=F51(x)+F94(x)+F96(x)F94(x)=F14(x)F95(x)F95(x)=F12(x)+F93(x)F96(x)=F14(x)F92(x)F97(x)=F117(x)+F98(x)F98(x)=F104(x)+F51(x)+F99(x)F99(x)=F100(x)F14(x)F100(x)=F101(x)+F73(x)F101(x)=F102(x)+F51(x)+F99(x)F102(x)=F103(x)F14(x)F103(x)=F101(x)+F73(x)F104(x)=F105(x)F14(x)F105(x)=F106(x)+F110(x)F106(x)=F107(x)+F73(x)F107(x)=F108(x)+F51(x)+F72(x)F108(x)=F109(x)F14(x)F109(x)=F107(x)+F14(x)F110(x)=F111(x)+F98(x)F111(x)=2F51(x)+F112(x)+F116(x)F112(x)=F113(x)F14(x)F113(x)=F114(x)+F71(x)F114(x)=2F51(x)+F112(x)+F115(x)F115(x)=F101(x)F14(x)F116(x)=F14(x)F98(x)F117(x)=2F51(x)+F118(x)+F126(x)F118(x)=F119(x)F14(x)F119(x)=F120(x)+F123(x)F120(x)=F121(x)F121(x)=F122(x)F14(x)F122(x)=F120(x)+F73(x)F123(x)=2F51(x)+F118(x)+F124(x)F124(x)=F125(x)F14(x)F125(x)=F101(x)+F123(x)F126(x)=F14(x)F97(x)F127(x)=F128(x)+F143(x)F128(x)=F129(x)+F141(x)+F51(x)F129(x)=F130(x)F14(x)F130(x)=F131(x)+F134(x)F131(x)=F12(x)+F132(x)F132(x)=F133(x)F133(x)=F12(x)F14(x)F134(x)=F128(x)+F135(x)F135(x)=2F51(x)+F136(x)+F140(x)F136(x)=F137(x)F14(x)F137(x)=F138(x)+F139(x)F138(x)=F132(x)F139(x)=F135(x)F140(x)=F128(x)F14(x)F141(x)=F14(x)F142(x)F142(x)=F128(x)+F46(x)F143(x)=2F51(x)+F144(x)+F68(x)F144(x)=F14(x)F145(x)F145(x)=F146(x)+F147(x)F146(x)=F26(x)F147(x)=F143(x)F148(x)=F14(x)F149(x)F149(x)=F150(x,1)F150(x,y)=F1(x)+F151(x,y)+F153(x,y)+F155(x,y)F151(x,y)=F150(x,y)F152(x,y)F152(x,y)=yxF153(x,y)=F14(x)F154(x,y)F154(x,y)=yF150(x,y)+F150(x,1)1+yF155(x,y)=F14(x)F156(x,y)F156(x,y)=F157(x,y)+F5(x)F157(x,y)=F158(x,y)+F223(x,y)F158(x,y)=F159(x,y)+F201(x,y)F159(x,y)=F160(x,y)+F163(x,y)F160(x,y)=F161(x,y)F161(x,y)=F152(x,y)F162(x,y)F162(x,y)=F1(x)+F160(x,y)F163(x,y)=F164(x,y)+F166(x,y)+F51(x)F164(x,y)=F152(x,y)F165(x,y)F165(x,y)=F163(x,y)+F8(x)F166(x,y)=F14(x)F167(x,y)F167(x,y)=F168(x,y)+F173(x,y)F168(x,y)=F160(x,y)+F169(x,y)F169(x,y)=F170(x,y)+F172(x,y)+F51(x)F170(x,y)=F152(x,y)F171(x,y)F171(x,y)=F12(x)+F169(x,y)F172(x,y)=F14(x)F168(x,y)F173(x,y)=F174(x,y)+F194(x,y)F174(x,y)=F175(x,y)+F180(x,y)+F51(x)F175(x,y)=F152(x,y)F176(x,y)F176(x,y)=F177(x,y)+F73(x)F177(x,y)=F175(x,y)+F178(x,y)+F51(x)F178(x,y)=F14(x)F179(x,y)F179(x,y)=F160(x,y)+F177(x,y)F180(x,y)=F14(x)F181(x,y)F181(x,y)=F182(x,y)+F187(x,y)F182(x,y)=F160(x,y)+F183(x,y)F183(x,y)=F184(x,y)+F186(x,y)+F51(x)F184(x,y)=F152(x,y)F185(x,y)F185(x,y)=F14(x)+F183(x,y)F186(x,y)=F14(x)F160(x,y)F187(x,y)=F174(x,y)+F188(x,y)F188(x,y)=2F51(x)+F189(x,y)+F193(x,y)F189(x,y)=F152(x,y)F190(x,y)F190(x,y)=F191(x,y)+F71(x)F191(x,y)=2F51(x)+F189(x,y)+F192(x,y)F192(x,y)=F14(x)F177(x,y)F193(x,y)=F14(x)F174(x,y)F194(x,y)=2F51(x)+F195(x,y)+F200(x,y)F195(x,y)=F152(x,y)F196(x,y)F196(x,y)=F120(x)+F197(x,y)F197(x,y)=2F51(x)+F195(x,y)+F198(x,y)F198(x,y)=F14(x)F199(x,y)F199(x,y)=F177(x,y)+F197(x,y)F200(x,y)=F14(x)F173(x,y)F201(x,y)=F169(x,y)+F202(x,y)F202(x,y)=2F51(x)+F203(x,y)+F205(x,y)F203(x,y)=F152(x,y)F204(x,y)F204(x,y)=F202(x,y)+F26(x)F205(x,y)=F14(x)F206(x,y)F206(x,y)=F207(x,y)+F211(x,y)F207(x,y)=F208(x,y)+F209(x,y)F208(x,y)=F186(x,y)F209(x,y)=F210(x,y)F210(x,y)=F14(x)F207(x,y)F211(x,y)=F212(x,y)+F221(x,y)F212(x,y)=F213(x,y)F213(x,y)=F14(x)F214(x,y)F214(x,y)=F215(x,y)+F218(x,y)F215(x,y)=F208(x,y)+F216(x,y)F216(x,y)=F217(x,y)F217(x,y)=F14(x)F208(x,y)F218(x,y)=F212(x,y)+F219(x,y)F219(x,y)=F220(x,y)F220(x,y)=F14(x)F212(x,y)F221(x,y)=F222(x,y)F222(x,y)=F14(x)F211(x,y)F223(x,y)=F224(x,y)+F306(x,y)F224(x,y)=F225(x,y)+F236(x,y)F225(x,y)=F184(x,y)+F226(x,y)+F51(x)F226(x,y)=F14(x)F227(x,y)F227(x,y)=F182(x,y)+F228(x,y)F228(x,y)=F225(x,y)+F229(x,y)F229(x,y)=F230(x,y)+F231(x,y)+F235(x,y)+F51(x)F230(x,y)=0F231(x,y)=F14(x)F232(x,y)F232(x,y)=F233(x,y)+F234(x,y)F233(x,y)=F183(x,y)F234(x,y)=F229(x,y)F235(x,y)=F14(x)F225(x,y)F236(x,y)=F237(x,y)+F240(x,y)+F272(x,y)+F51(x)F237(x,y)=F152(x,y)F238(x,y)F238(x,y)=F239(x,y)+F61(x)F239(x,y)=2F51(x)+F205(x,y)+F237(x,y)F240(x,y)=F14(x)F241(x,y)F241(x,y)=F242(x,y)+F243(x,y)F242(x,y)=F163(x,y)+F239(x,y)F243(x,y)=F236(x,y)+F244(x,y)F244(x,y)=2F51(x)+F245(x,y)+F246(x,y)+F250(x,y)F245(x,y)=0F246(x,y)=F14(x)F247(x,y)F247(x,y)=F248(x,y)+F249(x,y)F248(x,y)=F239(x,y)F249(x,y)=F244(x,y)F250(x,y)=F14(x)F251(x,y)F251(x,y)=F252(x,y)+F260(x,y)F252(x,y)=F253(x,y)+F258(x,y)F253(x,y)=F254(x,y)F254(x,y)=F14(x)F255(x,y)F255(x,y)=F256(x,y)F256(x,y)=F14(x)F257(x,y)F257(x,y)=F160(x,y)+F255(x,y)F258(x,y)=F259(x,y)F259(x,y)=F14(x)F252(x,y)F260(x,y)=F261(x,y)+F270(x,y)F261(x,y)=F262(x,y)F262(x,y)=F14(x)F263(x,y)F263(x,y)=F264(x,y)+F267(x,y)F264(x,y)=F253(x,y)+F265(x,y)F265(x,y)=F266(x,y)F266(x,y)=F14(x)F253(x,y)F267(x,y)=F261(x,y)+F268(x,y)F268(x,y)=F269(x,y)F269(x,y)=F14(x)F261(x,y)F270(x,y)=F271(x,y)F271(x,y)=F14(x)F260(x,y)F272(x,y)=F14(x)F273(x,y)F273(x,y)=F274(x,y)+F279(x,y)F274(x,y)=F255(x,y)+F275(x,y)F275(x,y)=2F51(x)+F276(x,y)+F278(x,y)F276(x,y)=F14(x)F277(x,y)F277(x,y)=F169(x,y)+F275(x,y)F278(x,y)=F14(x)F274(x,y)F279(x,y)=F280(x,y)+F299(x,y)F280(x,y)=2F51(x)+F281(x,y)+F286(x,y)F281(x,y)=F14(x)F282(x,y)F282(x,y)=F177(x,y)+F283(x,y)F283(x,y)=2F51(x)+F281(x,y)+F284(x,y)F284(x,y)=F14(x)F285(x,y)F285(x,y)=F255(x,y)+F283(x,y)F286(x,y)=F14(x)F287(x,y)F287(x,y)=F288(x,y)+F292(x,y)F288(x,y)=F255(x,y)+F289(x,y)F289(x,y)=2F51(x)+F254(x,y)+F290(x,y)F290(x,y)=F14(x)F291(x,y)F291(x,y)=F183(x,y)+F289(x,y)F292(x,y)=F280(x,y)+F293(x,y)F293(x,y)=3F51(x)+F294(x,y)+F298(x,y)F294(x,y)=F14(x)F295(x,y)F295(x,y)=F191(x,y)+F296(x,y)F296(x,y)=3F51(x)+F294(x,y)+F297(x,y)F297(x,y)=F14(x)F283(x,y)F298(x,y)=F14(x)F280(x,y)F299(x,y)=3F51(x)+F300(x,y)+F305(x,y)F300(x,y)=F14(x)F301(x,y)F301(x,y)=F197(x,y)+F302(x,y)F302(x,y)=3F51(x)+F300(x,y)+F303(x,y)F303(x,y)=F14(x)F304(x,y)F304(x,y)=F283(x,y)+F302(x,y)F305(x,y)=F14(x)F279(x,y)F306(x,y)=F307(x,y)+F325(x,y)F307(x,y)=F308(x,y)+F312(x,y)+F323(x,y)+F51(x)F308(x,y)=F152(x,y)F309(x,y)F309(x,y)=F132(x)+F310(x,y)F310(x,y)=2F51(x)+F308(x,y)+F311(x,y)F311(x,y)=F14(x)F169(x,y)F312(x,y)=F14(x)F313(x,y)F313(x,y)=F314(x,y)+F315(x,y)F314(x,y)=F169(x,y)+F310(x,y)F315(x,y)=F307(x,y)+F316(x,y)F316(x,y)=2F51(x)+F317(x,y)+F318(x,y)+F322(x,y)F317(x,y)=0F318(x,y)=F14(x)F319(x,y)F319(x,y)=F320(x,y)+F321(x,y)F320(x,y)=F310(x,y)F321(x,y)=F316(x,y)F322(x,y)=F14(x)F307(x,y)F323(x,y)=F14(x)F324(x,y)F324(x,y)=F225(x,y)+F307(x,y)F325(x,y)=2F51(x)+F250(x,y)+F326(x,y)+F327(x,y)F326(x,y)=0F327(x,y)=F14(x)F328(x,y)F328(x,y)=F329(x,y)+F330(x,y)F329(x,y)=F202(x,y)F330(x,y)=F325(x,y)