combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs06/ecs_0647.json

@@ -0,0 +1,38 @@
+{
+    "id": 647,
+    "name": "a(0) = 1; for n > 0, a(n) = n!*4^n/2",
+    "description": "a(0) = 1; for n > 0, a(n) = n!*4^n/2",
+    "specification": "{S = Sequence(Prod(Union(Z,Z),Sequence(Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        16,
+        192,
+        3072,
+        61440,
+        1474560,
+        41287680,
+        1321205760,
+        47563407360,
+        1902536294400,
+        83711596953600,
+        4018156653772800,
+        208944145996185600,
+        11700872175786393600,
+        702052330547183616000,
+        44931349155019751424000,
+        3055331742541343096832000,
+        219983885462976702971904000,
+        16718775295186229425864704000,
+        1337502023614898354069176320000
+    ],
+    "references": [
+        "EIS A051711"
+    ],
+    "gf": "(-1+2*_x)/(-1+4*_x)",
+    "rec": "{(-4*_n-4)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 2}",
+    "closedform": "(1/2*4^_n+piecewise(_n = 0,1/2,0))*_n!",
+    "equiv": "1/2*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0648.json

@@ -0,0 +1,38 @@
+{
+    "id": 648,
+    "name": "Expansion of e.g.f. x/((1-x)*(1-3*x))",
+    "description": "Expansion of e.g.f. x/((1-x)*(1-3*x))",
+    "specification": "{S = Prod(Z,Sequence(Z),Sequence(Union(Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        8,
+        78,
+        960,
+        14520,
+        262080,
+        5508720,
+        132249600,
+        3571102080,
+        107136691200,
+        3535550726400,
+        127280305152000,
+        4963938127948800,
+        208485488552140800,
+        9381848292520704000,
+        450328738963783680000,
+        22966766042840395776000,
+        1240205372715755077632000,
+        70691706366443139833856000,
+        4241502384419490398208000000
+    ],
+    "references": [
+        "EIS A052698"
+    ],
+    "gf": "_x/(-1+_x)/(-1+3*_x)",
+    "rec": "{(3*_n^2+9*_n+6)*_f(_n)+(-4*_n-8)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 8}",
+    "closedform": "(-1/2+1/2*3^_n)*_n!",
+    "equiv": "1/2*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs06/ecs_0649.json

@@ -0,0 +1,38 @@
+{
+    "id": 649,
+    "name": "Expansion of e.g.f. (1+x^5-x^6)/(1-x)",
+    "description": "Expansion of e.g.f. (1+x^5-x^6)/(1-x)",
+    "specification": "{S = Union(Sequence(Z),Prod(Z,Z,Z,Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        6,
+        24,
+        240,
+        720,
+        5040,
+        40320,
+        362880,
+        3628800,
+        39916800,
+        479001600,
+        6227020800,
+        87178291200,
+        1307674368000,
+        20922789888000,
+        355687428096000,
+        6402373705728000,
+        121645100408832000,
+        2432902008176640000
+    ],
+    "references": [
+        "EIS A052699"
+    ],
+    "gf": "(_x^6-_x^5-1)/(-1+_x)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 6, _f(4) = 24, _f(5) = 240, _f(6) = 720, _f(7) = 5040}",
+    "closedform": "(1+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "1"
+}

combstruct/data/ecs06/ecs_0650.json

@@ -0,0 +1,38 @@
+{
+    "id": 650,
+    "name": "Expansion of e.g.f. x*(1-x)/(1-3*x)",
+    "description": "Expansion of e.g.f. x*(1-x)/(1-3*x)",
+    "specification": "{S = Prod(Z,Sequence(Prod(Sequence(Z),Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        36,
+        432,
+        6480,
+        116640,
+        2449440,
+        58786560,
+        1587237120,
+        47617113600,
+        1571364748800,
+        56569130956800,
+        2206196107315200,
+        92660236507238400,
+        4169710642825728000,
+        200146110855634944000,
+        10207451653637382144000,
+        551202389296418635776000,
+        31418536189895862239232000,
+        1885112171393751734353920000
+    ],
+    "references": [
+        "EIS A052700"
+    ],
+    "gf": "_x*(-1+_x)/(-1+3*_x)",
+    "rec": "{(-3*_n-3)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 1, _f(2) = 4}",
+    "closedform": "(2/9*3^_n+piecewise(_n = 0,-2/9,_n = 1,1/3,0))*_n!",
+    "equiv": "2/9*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs06/ecs_0651.json

@@ -0,0 +1,38 @@
+{
+    "id": 651,
+    "name": "a(0) = 0; for n >= 1, a(n) = 2^(n-1)*C(n-1), where C(n) = A000108(n) Catalan numbers, n>0",
+    "description": "a(0) = 0; for n >= 1, a(n) = 2^(n-1)*C(n-1), where C(n) = A000108(n) Catalan numbers, n>0",
+    "specification": "{B = Union(C,Z), C = Prod(S,S), S = Union(B,C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        8,
+        40,
+        224,
+        1344,
+        8448,
+        54912,
+        366080,
+        2489344,
+        17199104,
+        120393728,
+        852017152,
+        6085836800,
+        43818024960,
+        317680680960,
+        2317200261120,
+        16992801914880,
+        125210119372800,
+        926554883358720
+    ],
+    "references": [
+        "EIS A052701"
+    ],
+    "gf": "1/4-1/4*(1-8*_x)^(1/2)",
+    "rec": "{(-4+8*_n)*_f(_n)+(-1-_n)*_f(_n+1), _f(0) = 0, _f(1) = 1}",
+    "closedform": "1/Pi^(1/2)*2^(3*_n-3)*GAMMA(_n-1/2)/GAMMA(_n+1)",
+    "equiv": "1/8/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(2))"
+}

combstruct/data/ecs06/ecs_0652.json

@@ -0,0 +1,38 @@
+{
+    "id": 652,
+    "name": "a(n) = 2^n * C(n+1), where C(n) = A000108(n) Catalan numbers",
+    "description": "a(n) = 2^n * C(n+1), where C(n) = A000108(n) Catalan numbers",
+    "specification": "{B = Union(S,C), C = Union(S,Z), S = Prod(B,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        4,
+        20,
+        112,
+        672,
+        4224,
+        27456,
+        183040,
+        1244672,
+        8599552,
+        60196864,
+        426008576,
+        3042918400,
+        21909012480,
+        158840340480,
+        1158600130560,
+        8496400957440,
+        62605059686400,
+        463277441679360
+    ],
+    "references": [
+        "EIS A003645"
+    ],
+    "gf": "1/8-1/2*_x-1/8*(1-8*_x)^(1/2)",
+    "rec": "{(-4+8*_n)*_f(_n)+(-1-_n)*_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2)= 1}",
+    "closedform": "4/Pi^(1/2)*2^(3*_n-6)*GAMMA(_n-1/2)/GAMMA(_n+1)",
+    "equiv": "1/16/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(2))"
+}

combstruct/data/ecs06/ecs_0653.json

@@ -0,0 +1,38 @@
+{
+    "id": 653,
+    "name": "Powers of 2 times Catalan numbers: a(n) = 2^n C(n-1)",
+    "description": "square root singularity",
+    "specification": "{B = Union(C,Z), C = Prod(S,S), S = Union(B,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        4,
+        16,
+        80,
+        448,
+        2688,
+        16896,
+        109824,
+        732160,
+        4978688,
+        34398208,
+        240787456,
+        1704034304,
+        12171673600,
+        87636049920,
+        635361361920,
+        4634400522240,
+        33985603829760,
+        250420238745600,
+        1853109766717440
+    ],
+    "references": [
+        "EIS A025225"
+    ],
+    "gf": "1/2-1/2*(1-8*_x)^(1/2)",
+    "rec": "{(-4+8*_n)*_f(_n)+(-1-_n)*_f(_n+1), _f(0) = 0, _f(1) = 2}",
+    "closedform": "2^(-2+3*_n)/Pi^(1/2)*GAMMA(_n-1/2)/GAMMA(_n+1)",
+    "equiv": "1/4/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(2))"
+}

combstruct/data/ecs06/ecs_0654.json

@@ -0,0 +1,37 @@
+{
+    "id": 654,
+    "name": "Expansion of  (1/2)*(1/x^2 - 1/x)*(1-x-sqrt(1-2*x+x^2-4*x^3)) - x",
+    "description": "Expansion of  (1/2)*(1/x^2 - 1/x)*(1-x-sqrt(1-2*x+x^2-4*x^3)) - x",
+    "specification": "{B = Prod(C,Z), C = Union(S,B,Z), S = Prod(B,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        1,
+        2,
+        3,
+        6,
+        13,
+        26,
+        52,
+        108,
+        226,
+        472,
+        993,
+        2106,
+        4485,
+        9586,
+        20576,
+        44332,
+        95814
+    ],
+    "references": [
+        "EIS A052702"
+    ],
+    "gf": "-(_x^2+1/2-1/2*_x-1/2*(-4*_x^3+_x^2-2*_x+1)^(1/2)+1/2*(-1+_x+(-4*_x^3+_x^2-2*_x+1)^(1/2))/_x)/_x",
+    "rec": "{(-2+4*_n)*_f(_n)+(-7-5*_n)*_f(_n+1)+(8+3*_n)*_f(_n+2)+(-13-3*_n)*_f(_n+3)+(_n+6)*_f(_n+4), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) =1, _f(5) = 2}",
+    "equiv": "-1/2/Pi^(1/2)/RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096)*(1/2*(12*RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096)^3-2*RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096)^2+2*RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096))^(1/2)-1/2/RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096)*(12*RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096)^3-2*RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096)^2+2*RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096))^(1/2))*(1/_n)^(3/2)*(4*RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096)^2-RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0655.json

@@ -0,0 +1,37 @@
+{
+    "id": 655,
+    "name": "a(n) = a(1)*a(n-1) + a(2)*a(n-2) + ... + a(n-1)*a(1) for n >= 3",
+    "description": "a(n) = a(1)*a(n-1) + a(2)*a(n-2) + ... + a(n-1)*a(1) for n >= 3",
+    "specification": "{B = Prod(Z,Z), C = Prod(S,S), S= Union(B,C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        4,
+        12,
+        40,
+        144,
+        544,
+        2128,
+        8544,
+        35008,
+        145792,
+        615296,
+        2625792,
+        11311616,
+        49124352,
+        214838528,
+        945350144,
+        4182412288,
+        18593224704,
+        83015133184
+    ],
+    "references": [
+        "EIS A025227"
+    ],
+    "gf": "1/2-1/2*(-4*_x^2-4*_x+1)^(1/2)",
+    "rec": "{(4*_n-4)*_f(_n)+(2+4*_n)*_f(_n+1)+(-_n-2)*_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 2}",
+    "equiv": "1/4/Pi^(1/2)*(8*(1/2*2^(1/2)-1/2)^2+2*2^(1/2)-2)^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-ln(2)+ln(2^(1/2)-1))"
+}

combstruct/data/ecs06/ecs_0656.json

@@ -0,0 +1,37 @@
+{
+    "id": 656,
+    "name": "A simple context-free grammar: convolution cube of A001002",
+    "description": "A simple context-free grammar: convolution cube of A001002",
+    "specification": "{B = Union(S,C,Z), C = Prod(B,B), S = Prod(B,C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        1,
+        3,
+        12,
+        49,
+        210,
+        927,
+        4191,
+        19305,
+        90285,
+        427570,
+        2046324,
+        9881862,
+        48090824,
+        235619133,
+        1161257580,
+        5753365015,
+        28638093270,
+        143148398085
+    ],
+    "references": [
+        "EIS A052703"
+    ],
+    "gf": "RootOf(_Z^3+_Z^2-_Z+_x)-RootOf(_Z^3+_Z^2-_Z+_x)^2-_x",
+    "rec": "{(135*_n^2-135*_n+30)*_f(_n)+(29*_n^2-107*_n-130)*_f(_n+1)+(-91*_n^2-281*_n-198)*_f(_n+2)+(15*_n^2+75*_n+90)*_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 1, _f(4) = 3}",
+    "equiv": "-1/6/Pi^(1/2)*RootOf(54*_Z^2-5)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(3)+ln(5))"
+}

combstruct/data/ecs06/ecs_0657.json

@@ -0,0 +1,37 @@
+{
+    "id": 657,
+    "name": "a(n) = a(1)*a(n-1) + a(2)*a(n-2) + ... + a(n-1)*a(1) for n >= 3",
+    "description": "a(n) = a(1)*a(n-1) + a(2)*a(n-2) + ... + a(n-1)*a(1) for n >= 3",
+    "specification": "{B = Union(S,C,Z), C =Prod(Z,Z), S = Prod(B,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        4,
+        12,
+        40,
+        144,
+        544,
+        2128,
+        8544,
+        35008,
+        145792,
+        615296,
+        2625792,
+        11311616,
+        49124352,
+        214838528,
+        945350144,
+        4182412288,
+        18593224704,
+        83015133184
+    ],
+    "references": [
+        "EIS A025227"
+    ],
+    "gf": "-_x^2+1/2-1/2*(-4*_x^2-4*_x+1)^(1/2)-_x",
+    "rec": "{(4*_n-4)*_f(_n)+(2+4*_n)*_f(_n+1)+(-_n-2)*_f(_n+2), _f(0) = 0, _f(1) = 0,_f(2) = 1, _f(3) = 4, _f(4) = 12}",
+    "equiv": "1/4/Pi^(1/2)*(8*(1/2*2^(1/2)-1/2)^2+2*2^(1/2)-2)^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-ln(2)+ln(2^(1/2)-1))"
+}

combstruct/data/ecs06/ecs_0658.json

@@ -0,0 +1,38 @@
+{
+    "id": 658,
+    "name": "Apart from the leading term, a(n) = Catalan(n-1)*4^(n-1)",
+    "description": "Apart from the leading term, a(n) = Catalan(n-1)*4^(n-1)",
+    "specification": "{B = Prod(C,C), C = Union(S,B,Z), S = Union(B,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        32,
+        320,
+        3584,
+        43008,
+        540672,
+        7028736,
+        93716480,
+        1274544128,
+        17611882496,
+        246566354944,
+        3489862254592,
+        49855175065600,
+        717914520944640,
+        10409760553697280,
+        151860036312760320,
+        2227280532587151360,
+        32823081532863283200,
+        485781606686376591360
+    ],
+    "references": [
+        "EIS A052704"
+    ],
+    "gf": "1/8-1/8*(-16*_x+1)^(1/2)",
+    "rec": "{(-8+16*_n)*_f(_n)+(-1-_n)*_f(_n+1), _f(0) = 0, _f(1) = 1}",
+    "closedform": "1/Pi^(1/2)*2^(4*_n-4)*GAMMA(_n-1/2)/GAMMA(_n+1)",
+    "equiv": "1/16/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-4*ln(2))"
+}

combstruct/data/ecs06/ecs_0659.json

@@ -0,0 +1,37 @@
+{
+    "id": 659,
+    "name": "Revert transform of 1 - x - x^3",
+    "description": "Revert transform of 1 - x - x^3",
+    "specification": "{B = Prod(C,C), C = Prod(S,S), S = Union(B,C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        2,
+        6,
+        20,
+        70,
+        256,
+        969,
+        3762,
+        14894,
+        59904,
+        244088,
+        1005452,
+        4180096,
+        17516936,
+        73913705,
+        313774854,
+        1339162028,
+        5742691704,
+        24731501410
+    ],
+    "references": [
+        "EIS A049140"
+    ],
+    "gf": "RootOf(_Z^4+2*_Z^3+(2*_x+1)*_Z^2+(-1+2*_x)*_Z+_x^2)^2+RootOf(_Z^4+2*_Z^3+(2*_x+1)*_Z^2+(-1+2*_x)*_Z+_x^2)+_x",
+    "rec": "{(6144*_n^3+3072*_n^2-384*_n-192)*_f(_n)+(6400*_n^3+36480*_n^2+54608*_n+23112)*_f(_n+1)+(-896*_n^3-14976*_n^2-44140*_n-35544)*_f(_n+2)+(5176*_n^3+40680*_n^2+105056*_n+88800)*_f(_n+3)+(-1147*_n^3-10323*_n^2-29822*_n-27528)*_f(_n+4), _f(0) = 0, _f(1) = 1, _f(2) = 1, _f(3) = 2}",
+    "equiv": "-1/2/Pi^(1/2)*(RootOf(-37*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)^2+70*_Z^2-15*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)+3)*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)+RootOf(-37*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)^2+70*_Z^2-15*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)+3))*(1/_n)^(3/2)*(16/31*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)^2+104/31*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)+112/31)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs06/ecs_0660.json

@@ -0,0 +1,37 @@
+{
+    "id": 660,
+    "name": "Expansion of 2*x^2/(1 - 2*x - 2*x^2 + sqrt(1 - 4*x - 4*x^2))",
+    "description": "Expansion of 2*x^2/(1 - 2*x - 2*x^2 + sqrt(1 - 4*x - 4*x^2))",
+    "specification": "{B = Union(S,C,Z), C = Prod(S,Z), S = Prod(B,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        2,
+        7,
+        24,
+        89,
+        342,
+        1355,
+        5492,
+        22669,
+        94962,
+        402703,
+        1725424,
+        7458065,
+        32482798,
+        142414867,
+        628037612,
+        2783922197,
+        12397342698,
+        55436525591
+    ],
+    "references": [
+        "EIS A052705"
+    ],
+    "gf": "-1/2*(2*_x^2+(-4*_x^2-4*_x+1)^(1/2)+2*_x-1)/(_x^2+2*_x+1)",
+    "rec": "{(4*_n+4)*_f(_n)+(10+8*_n)*_f(_n+1)+(3*_n+2)*_f(_n+2)+(-_n-3)*_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 1, _f(3) = 2}",
+    "equiv": "1/4/Pi^(1/2)*(8*(1/2*2^(1/2)-1/2)^2+2*2^(1/2)-2)^(1/2)/((1/2*2^(1/2)-1/2)^2+2^(1/2))*(1/_n)^(3/2)*exp(-_n)^(-ln(2)+ln(2^(1/2)-1))"
+}

combstruct/data/ecs06/ecs_0661.json

@@ -0,0 +1,37 @@
+{
+    "id": 661,
+    "name": "A simple context-free grammar: convolution square of A001002",
+    "description": "A simple context-free grammar: convolution square of A001002",
+    "specification": "{B = Prod(S,C), C = Union(S,B,Z), S = Prod(C,C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        2,
+        7,
+        26,
+        105,
+        444,
+        1944,
+        8734,
+        40040,
+        186550,
+        880750,
+        4204508,
+        20260498,
+        98419392,
+        481442805,
+        2369551218,
+        11725590555,
+        58303117680,
+        291151523355
+    ],
+    "references": [
+        "EIS A052706"
+    ],
+    "gf": "RootOf(_Z^3+_Z^2-_Z+_x)^2",
+    "rec": "{(27*_n^2-27*_n+6)*_f(_n)+(49*_n^2+65*_n+6)*_f(_n+1)+(17*_n^2+67*_n+66)*_f(_n+2)+(-5*_n^2-25*_n-30)*_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 1, _f(3) = 2}",
+    "equiv": "-1/3/Pi^(1/2)*RootOf(54*_Z^2-5)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(3)+ln(5))"
+}

combstruct/data/ecs06/ecs_0662.json

@@ -0,0 +1,38 @@
+{
+    "id": 662,
+    "name": "Odd powers of 2 multiplied by Catalan numbers",
+    "description": "Odd powers of 2 multiplied by Catalan numbers",
+    "specification": "{B = Prod(S,S), C = Union(B,Z), S = Union(B,C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        8,
+        64,
+        640,
+        7168,
+        86016,
+        1081344,
+        14057472,
+        187432960,
+        2549088256,
+        35223764992,
+        493132709888,
+        6979724509184,
+        99710350131200,
+        1435829041889280,
+        20819521107394560,
+        303720072625520640,
+        4454561065174302720,
+        65646163065726566400,
+        971563213372753182720
+    ],
+    "references": [
+        "EIS A052707"
+    ],
+    "gf": "1/4-1/4*(-16*_x+1)^(1/2)",
+    "rec": "{(-8+16*_n)*_f(_n)+(-1-_n)*_f(_n+1), _f(0) = 0, _f(1) = 2}",
+    "closedform": "2^(-3+4*_n)/Pi^(1/2)*GAMMA(_n-1/2)/GAMMA(_n+1)",
+    "equiv": "1/8/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-4*ln(2))"
+}

combstruct/data/ecs06/ecs_0663.json

@@ -0,0 +1,37 @@
+{
+    "id": 663,
+    "name": "A simple context-free grammar: convolution square of A049140",
+    "description": "A simple context-free grammar: convolution square of A049140",
+    "specification": "{B = Union(S,C,Z), C = Prod(S,S), S = Prod(B,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        1,
+        2,
+        5,
+        16,
+        56,
+        204,
+        768,
+        2970,
+        11726,
+        47060,
+        191412,
+        787304,
+        3269100,
+        13684864,
+        57691353,
+        244713654,
+        1043684478,
+        4472828400,
+        19252045120
+    ],
+    "references": [
+        "EIS A052708"
+    ],
+    "gf": "RootOf(_Z^4+2*_Z^3+(2*_x+1)*_Z^2+(-1+2*_x)*_Z+_x^2)",
+    "rec": "{(6144*_n^3+3072*_n^2-1920*_n-576)*_f(_n)+(-7936*_n^3-28032*_n^2-30320*_n-9096)*_f(_n+1)+(6272*_n^3+28032*_n^2+41380*_n+20808)*_f(_n+2)+(-3784*_n^3-26520*_n^2-60704*_n-45600)*_f(_n+3)+(589*_n^3+5301*_n^2+15314*_n+14136)*_f(_n+4), _f(0) = 0, _f(1) = 0, _f(2) = 1, _f(3) = 2, _f(4) = 5}",
+    "equiv": "-1/2/Pi^(1/2)*RootOf(-37*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)^2+70*_Z^2-15*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)+3)*(1/_n)^(3/2)*(16/31*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)^2+104/31*RootOf(2*_Z^3+4*_Z^2+2*_Z-1,.297156508177424)+112/31)^(-ln(exp(-_n)))"
+}