combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs06/ecs_0664.json

@@ -0,0 +1,37 @@
+{
+    "id": 664,
+    "name": "Expansion of g.f. (1-sqrt(1-4*x-4*x^2))/(2*(1+x))",
+    "description": "Expansion of g.f. (1-sqrt(1-4*x-4*x^2))/(2*(1+x))",
+    "specification": "{B = Prod(S,S), C = Prod(B,Z), S = Union(B,C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        3,
+        9,
+        31,
+        113,
+        431,
+        1697,
+        6847,
+        28161,
+        117631,
+        497665,
+        2128127,
+        9183489,
+        39940863,
+        174897665,
+        770452479,
+        3411959809,
+        15181264895,
+        67833868289
+    ],
+    "references": [
+        "EIS A052709"
+    ],
+    "gf": "-1/2*(2*_x^2+(-4*_x^2-4*_x+1)^(1/2)+2*_x-1)/(_x^2+2*_x+1)*_x-1/2*(2*_x^2+(-4*_x^2-4*_x+1)^(1/2)+2*_x-1)/(_x^2+2*_x+1)+_x",
+    "rec": "{4*_f(_n)*_n+(6+8*_n)*_f(_n+1)+(3*_n+3)*_f(_n+2)+(-_n-3)*_f(_n+3), _f(0) = 0, _f(1) = 1, _f(2) = 1}",
+    "equiv": "-1/2/Pi^(1/2)*(-1/2*(1/2*2^(1/2)-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/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_0665.json

@@ -0,0 +1,37 @@
+{
+    "id": 665,
+    "name": "A simple context-free grammar: difference between A049140 and its convolution square",
+    "description": "A simple context-free grammar: difference between A049140 and its convolution square",
+    "specification": "{B = Union(S,C,Z), C = Prod(B,B), S = Prod(C,C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        1,
+        4,
+        14,
+        52,
+        201,
+        792,
+        3168,
+        12844,
+        52676,
+        218148,
+        910996,
+        3832072,
+        16222352,
+        69061200,
+        295477550,
+        1269863304,
+        5479456290
+    ],
+    "references": [
+        "EIS A052710"
+    ],
+    "gf": "RootOf(_Z^4+2*_Z^3+(2*_x+1)*_Z^2+(-1+2*_x)*_Z+_x^2)^2",
+    "rec": "{(73728*_n^3-36864*_n^2-4608*_n+2304)*_f(_n)+(-9216*_n^3+59904*_n^2+121536*_n+46368)*_f(_n+1)+(34048*_n^3+59520*_n^2-56512*_n-79800)*_f(_n+2)+(7456*_n^3+68544*_n^2+200516*_n+185964)*_f(_n+3)+(-2228*_n^3-15024*_n^2-22732*_n+6864)*_f(_n+4)+(-217*_n^3-2604*_n^2-10199*_n-13020)*_f(_n+5), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 1, _f(5) = 4, _f(6) = 14}",
+    "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)*(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_0666.json

@@ -0,0 +1,37 @@
+{
+    "id": 666,
+    "name": "Generalized Catalan Numbers x^3*A(x)^2 + (x-1)*A(x) + 1 =0",
+    "description": "Generalized Catalan Numbers x^3*A(x)^2 + (x-1)*A(x) + 1 =0",
+    "specification": "{B = Prod(C,C), C = Prod(S,Z), S =Union(B,C,Z)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        1,
+        1,
+        2,
+        4,
+        7,
+        13,
+        26,
+        52,
+        104,
+        212,
+        438,
+        910,
+        1903,
+        4009,
+        8494,
+        18080,
+        38656,
+        82988,
+        178802
+    ],
+    "references": [
+        "EIS A023431"
+    ],
+    "gf": "-1/2*(-1+_x+(-4*_x^3+_x^2-2*_x+1)^(1/2))/_x^2",
+    "rec": "{(2+4*_n)*_f(_n)+(-_n-2)*_f(_n+1)+(2*_n+7)*_f(_n+2)+(-_n-5)*_f(_n+3), _f(0) = 0, _f(1) = 1, _f(2) = 1}",
+    "equiv": "1/4/Pi^(1/2)/RootOf(4*_Z^3-_Z^2+2*_Z-1,.432040800333096)^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/_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_0667.json

@@ -0,0 +1,38 @@
+{
+    "id": 667,
+    "name": "Expansion of e.g.f. x*(1 - 2*x - sqrt(1-4*x))/2",
+    "description": "Expansion of e.g.f. x*(1 - 2*x - sqrt(1-4*x))/2",
+    "specification": "{B = Prod(C,C), C =Union(B,Z), S = Prod(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        48,
+        600,
+        10080,
+        211680,
+        5322240,
+        155675520,
+        5189184000,
+        194075481600,
+        8045310873600,
+        366061644748800,
+        18134130709094400,
+        971471287987200000,
+        55956746188062720000,
+        3448334483839365120000,
+        226373016703807733760000,
+        15770653497031938785280000,
+        1162048152412879699968000000
+    ],
+    "references": [
+        "EIS A052711"
+    ],
+    "gf": "(1/2-_x-1/2*(1-4*_x)^(1/2))*_x",
+    "rec": "{(-4*_n^2+2*_n+6)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 6}",
+    "closedform": "4/Pi^(1/2)*2^(2*_n-6)*GAMMA(_n-3/2)*_n",
+    "equiv": "1/16/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0668.json

@@ -0,0 +1,38 @@
+{
+    "id": 668,
+    "name": "Expansion of e.g.f. (1 + 4*x - sqrt(1-8*x))/8",
+    "description": "Expansion of e.g.f. (1 + 4*x - sqrt(1-8*x))/8",
+    "specification": "{B = Prod(C,C), C =Union(B,S), S = Union(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        24,
+        480,
+        13440,
+        483840,
+        21288960,
+        1107025920,
+        66421555200,
+        4516665753600,
+        343266597273600,
+        28834394170982400,
+        2652764263730380800,
+        265276426373038080000,
+        28649854048288112640000,
+        3323383069601421066240000,
+        412099500630576212213760000,
+        54397134083236060012216320000,
+        7615598771653048401710284800000,
+        1127108618204651163453122150400000
+    ],
+    "references": [
+        "EIS A052712"
+    ],
+    "gf": "1/2*_x+1/8-1/8*(1-8*_x)^(1/2)",
+    "rec": "{(-8*_n+4)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 1, _f(2) =2}",
+    "closedform": "4/Pi^(1/2)*2^(3*_n-6)*GAMMA(_n-1/2)",
+    "equiv": "1/16/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(2))"
+}

combstruct/data/ecs06/ecs_0669.json

@@ -0,0 +1,38 @@
+{
+    "id": 669,
+    "name": "Factorial-weighted powers of 2 times Catalan numbers",
+    "description": "square root singularity",
+    "specification": "{B = Prod(S,S), C =Union(B,Z), S = Union(Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        8,
+        96,
+        1920,
+        53760,
+        1935360,
+        85155840,
+        4428103680,
+        265686220800,
+        18066663014400,
+        1373066389094400,
+        115337576683929600,
+        10611057054921523200,
+        1061105705492152320000,
+        114599416193152450560000,
+        13293532278405684264960000,
+        1648398002522304848855040000,
+        217588536332944240048865280000,
+        30462395086612193606841139200000,
+        4508434472818604653812488601600000
+    ],
+    "references": [
+        "EIS A052713"
+    ],
+    "gf": "1/2-1/2*(1-8*_x)^(1/2)",
+    "rec": "{(-8*_n+4)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 2}",
+    "closedform": "2^(-2+3*_n)/Pi^(1/2)*GAMMA(_n-1/2)",
+    "equiv": "1/4/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(2))"
+}

combstruct/data/ecs06/ecs_0670.json

@@ -0,0 +1,38 @@
+{
+    "id": 670,
+    "name": "a(n) = 2^(n-1) * n! * Catalan(n-1) for n > 0 with a(0) = 0",
+    "description": "a(n) = 2^(n-1) * n! * Catalan(n-1) for n > 0 with a(0) = 0",
+    "specification": "{B = Union(Z,C), C= Prod(S,S), S = Union(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        48,
+        960,
+        26880,
+        967680,
+        42577920,
+        2214051840,
+        132843110400,
+        9033331507200,
+        686533194547200,
+        57668788341964800,
+        5305528527460761600,
+        530552852746076160000,
+        57299708096576225280000,
+        6646766139202842132480000,
+        824199001261152424427520000,
+        108794268166472120024432640000,
+        15231197543306096803420569600000,
+        2254217236409302326906244300800000
+    ],
+    "references": [
+        "EIS A052714"
+    ],
+    "gf": "1/4-1/4*(1-8*_x)^(1/2)",
+    "rec": "{(-8*_n+4)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 1}",
+    "closedform": "1/Pi^(1/2)*2^(3*_n-3)*GAMMA(_n-1/2)",
+    "equiv": "1/8/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-3*ln(2))"
+}

combstruct/data/ecs06/ecs_0671.json

@@ -0,0 +1,38 @@
+{
+    "id": 671,
+    "name": "Expansion of e.g.f. (1-2*x-sqrt(1-4*x))/2 - x*(1-2*x-sqrt(1-4*x)) - x^2",
+    "description": "Expansion of e.g.f. (1-2*x-sqrt(1-4*x))/2 - x*(1-2*x-sqrt(1-4*x)) - x^2",
+    "specification": "{B = Union(Z,C), C = Prod(B,B), S = Prod(C,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        24,
+        480,
+        10080,
+        241920,
+        6652800,
+        207567360,
+        7264857600,
+        282291609600,
+        12067966310400,
+        563171761152000,
+        28496491114291200,
+        1554354060779520000,
+        90929712555601920000,
+        5679609738088366080000,
+        377288361173012889600000,
+        26561100626580107427840000,
+        1975481859101895489945600000
+    ],
+    "references": [
+        "EIS A052715"
+    ],
+    "gf": "-_x^2-2*(1/2-_x-1/2*(1-4*_x)^(1/2))*_x+1/2-_x-1/2*(1-4*_x)^(1/2)",
+    "rec": "{(8*_n^2-4*_n-12)*_f(_n)+(-2-6*_n)*_f(_n+1)+_f(_n+2), _f(0) =0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 24}",
+    "closedform": "8/Pi^(1/2)*2^(2*_n-6)*GAMMA(_n-3/2)*(_n-3)",
+    "equiv": "1/8/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0672.json

@@ -0,0 +1,37 @@
+{
+    "id": 672,
+    "name": "Expansion of e.g.f. (x + 1 - sqrt(1-6*x+x^2))/2",
+    "description": "Expansion of e.g.f. (x + 1 - sqrt(1-6*x+x^2))/2",
+    "specification": "{B = Prod(S,C), C =Union(B,Z), S = Union(Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        4,
+        36,
+        528,
+        10800,
+        283680,
+        9102240,
+        345058560,
+        15090727680,
+        747888422400,
+        41422381862400,
+        2535569103513600,
+        169983582318950400,
+        12386182292118835200,
+        974723523832041984000,
+        82385641026424479744000,
+        7443526546119099211776000,
+        715900789604052579631104000,
+        73025847263143220288274432000,
+        7874633091166788468777615360000
+    ],
+    "references": [
+        "EIS A052716"
+    ],
+    "gf": "1/2*_x+1/2-1/2*(_x^2-6*_x+1)^(1/2)",
+    "rec": "{(_n^2-1)*_f(_n)+(-3-6*_n)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 2, _f(2) = 4}",
+    "equiv": "1/4/Pi^(1/2)*(-2*(3-2*2^(1/2))^2+18-12*2^(1/2))^(1/2)*(1/_n)^(3/2)*exp(-_n)^ln(3-2*2^(1/2))"
+}

combstruct/data/ecs06/ecs_0673.json

@@ -0,0 +1,38 @@
+{
+    "id": 673,
+    "name": "Expansion of e.g.f. x*(1 - sqrt(1 - 4*x))/2",
+    "description": "Expansion of e.g.f. x*(1 - sqrt(1 - 4*x))/2",
+    "specification": "{B = Prod(C,C), C =Union(B,Z), S = Prod(Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        6,
+        48,
+        600,
+        10080,
+        211680,
+        5322240,
+        155675520,
+        5189184000,
+        194075481600,
+        8045310873600,
+        366061644748800,
+        18134130709094400,
+        971471287987200000,
+        55956746188062720000,
+        3448334483839365120000,
+        226373016703807733760000,
+        15770653497031938785280000,
+        1162048152412879699968000000
+    ],
+    "references": [
+        "EIS A052717"
+    ],
+    "gf": "(1/2-1/2*(1-4*_x)^(1/2))*_x",
+    "rec": "{(-4*_n^2+2*_n+6)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 0, _f(2) = 2}",
+    "closedform": "1/Pi^(1/2)*2^(2*_n-4)*GAMMA(_n-3/2)*_n",
+    "equiv": "1/16/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0674.json

@@ -0,0 +1,38 @@
+{
+    "id": 674,
+    "name": "E.g.f. 1 - x - sqrt(1-4*x)",
+    "description": "E.g.f. 1 - x - sqrt(1-4*x)",
+    "specification": "{B = Union(Z,C), C= Prod(B,B), S = Union(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        24,
+        240,
+        3360,
+        60480,
+        1330560,
+        34594560,
+        1037836800,
+        35286451200,
+        1340885145600,
+        56317176115200,
+        2590590101299200,
+        129529505064960000,
+        6994593273507840000,
+        405686409863454720000,
+        25152557411534192640000,
+        1660068789161256714240000,
+        116204815241287969996800000,
+        8599156327855309779763200000
+    ],
+    "references": [
+        "EIS A052718"
+    ],
+    "gf": "-_x+1-(1-4*_x)^(1/2)",
+    "rec": "{(-4*_n+2)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 1, _f(2) = 4}",
+    "closedform": "8/Pi^(1/2)*2^(2*_n-4)*GAMMA(_n-1/2)",
+    "equiv": "1/2/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0675.json

@@ -0,0 +1,38 @@
+{
+    "id": 675,
+    "name": "Expansion of e.g.f. (1 - 2*x*sqrt(1-4*x))*(1 - sqrt(1-4*x))/4",
+    "description": "Expansion of e.g.f. (1 - 2*x*sqrt(1-4*x))*(1 - sqrt(1-4*x))/4",
+    "specification": "{B = Union(Z,C), C = Prod(B,B), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        72,
+        1080,
+        20160,
+        453600,
+        11975040,
+        363242880,
+        12454041600,
+        476367091200,
+        20113277184000,
+        929233405900800,
+        46630621823385600,
+        2525825348766720000,
+        146886458743664640000,
+        9127944221927731200000,
+        603661377876820623360000,
+        42331754123612046213120000,
+        3137530011514775189913600000
+    ],
+    "references": [
+        "EIS A052719"
+    ],
+    "gf": "-_x^2-(1/2-_x-1/2*(1-4*_x)^(1/2))*_x+1/2-_x-1/2*(1-4*_x)^(1/2)",
+    "rec": "{(4*_n^2-2*_n-6)*_f(_n)+(-2-5*_n)*_f(_n+1)+_f(_n+2), _f(0) =0, _f(1) = 0, _f(2) = 0, _f(3) = 6}",
+    "closedform": "3/Pi^(1/2)*2^(2*_n-4)*GAMMA(_n-3/2)*(_n-2)",
+    "equiv": "3/16/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0676.json

@@ -0,0 +1,38 @@
+{
+    "id": 676,
+    "name": "Expansion of e.g.f.: (1 - 4*x + 3*x^2)*(1 - 2*x - sqrt(1-4*x))/2 - x^2 + 2*x^3",
+    "description": "Expansion of e.g.f.: (1 - 4*x + 3*x^2)*(1 - 2*x - sqrt(1-4*x))/2 - x^2 + 2*x^3",
+    "specification": "{B = Union(Z,C), C= Prod(B,B), S = Prod(C,C,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        30240,
+        1088640,
+        39916800,
+        1556755200,
+        65383718400,
+        2964061900800,
+        144815595724800,
+        7602818775552000,
+        427447366714368000,
+        25646842002862080000,
+        1636734826000834560000,
+        110752389892723138560000,
+        7923055584633270681600000,
+        597624764098052417126400000
+    ],
+    "references": [
+        "EIS A052720"
+    ],
+    "gf": "2*_x^3+3*_x^2*(1/2-_x-1/2*(1-4*_x)^(1/2))-_x^2-4*(1/2-_x-1/2*(1-4*_x)^(1/2))*_x+1/2-_x-1/2*(1-4*_x)^(1/2)",
+    "rec": "{(-12*_n^3-6*_n^2+66*_n+60)*_f(_n)+(19*_n^2+27*_n-22)*_f(_n+1)+(-8*_n-10)*_f(_n+2)+_f(_n+3), _f(0)= 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 720}",
+    "closedform": "12*2^(2*_n-8)*(_n-5)*(_n-4)/Pi^(1/2)*GAMMA(_n-5/2)",
+    "equiv": "3/64/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0677.json

@@ -0,0 +1,38 @@
+{
+    "id": 677,
+    "name": "Expansion of e.g.f. x*(1-2*x)*(1 - 2*x - sqrt(1-4*x))/2 - x^3",
+    "description": "Expansion of e.g.f. x*(1-2*x)*(1 - 2*x - sqrt(1-4*x))/2 - x^3",
+    "specification": "{B = Prod(C,C), C = Union(B,Z), S = Prod(B,B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        120,
+        2880,
+        70560,
+        1935360,
+        59875200,
+        2075673600,
+        79913433600,
+        3387499315200,
+        156883562035200,
+        7884404656128000,
+        427447366714368000,
+        24869664972472320000,
+        1545805113445232640000,
+        102232975285590589440000,
+        7168478862287244902400000,
+        531222012531602148556800000
+    ],
+    "references": [
+        "EIS A052721"
+    ],
+    "gf": "-_x*(2*(1/2-_x-1/2*(1-4*_x)^(1/2))*_x+_x^2-1/2+_x+1/2*(1-4*_x)^(1/2))",
+    "rec": "{(8*_n^3+4*_n^2-44*_n-40)*_f(_n)+(-6*_n^2-8*_n+8)*_f(_n+1)+(_n+1)*_f(_n+2), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 120}",
+    "closedform": "8/Pi^(1/2)*2^(2*_n-8)*GAMMA(_n-5/2)*_n*(_n-4)",
+    "equiv": "1/32/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0678.json

@@ -0,0 +1,38 @@
+{
+    "id": 678,
+    "name": "Expansion of e.g.f. (1 - 2*x - sqrt(1-4*x))^2 * (1 - sqrt(1-4*x))/8",
+    "description": "Expansion of e.g.f. (1 - 2*x - sqrt(1-4*x))^2 * (1 - sqrt(1-4*x))/8",
+    "specification": "{B = Prod(C,C), C =Union(B,Z), S = Prod(B,B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        120,
+        3600,
+        100800,
+        3024000,
+        99792000,
+        3632428800,
+        145297152000,
+        6351561216000,
+        301699157760000,
+        15487223431680000,
+        854894733428736000,
+        50516506975334400000,
+        3182539939446067200000,
+        212985365178313728000000,
+        15091534446920515584000000,
+        1128846776629654565683200000
+    ],
+    "references": [
+        "EIS A052722"
+    ],
+    "gf": "_x^2*(1/2-1/2*(1-4*_x)^(1/2))+2*_x^2-3*(1/2-1/2*(1-4*_x)^(1/2))*_x-_x+1/2-1/2*(1-4*_x)^(1/2)",
+    "rec": "{(-4*_n^3-2*_n^2+22*_n+20)*_f(_n)+(13*_n^2+19*_n-14)*_f(_n+1)+(-7*_n-9)*_f(_n+2)+_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 120}",
+    "closedform": "5*2^(2*_n-6)*(_n-4)*(_n-3)/Pi^(1/2)*GAMMA(_n-5/2)",
+    "equiv": "5/64/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0679.json

@@ -0,0 +1,37 @@
+{
+    "id": 679,
+    "name": "Expansion of e.g.f. (1 - x - sqrt(1-2*x+x^2-4*x^3))/(2*x)",
+    "description": "Expansion of e.g.f. (1 - x - sqrt(1-2*x+x^2-4*x^3))/(2*x)",
+    "specification": "{B = Prod(S,S), C =Union(B,S,Z), S = Prod(Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        6,
+        24,
+        240,
+        2880,
+        35280,
+        524160,
+        9434880,
+        188697600,
+        4151347200,
+        101548339200,
+        2727435110400,
+        79332244992000,
+        2488504322304000,
+        83879464660992000,
+        3021209014247424000,
+        115754916599562240000,
+        4702313001403809792000,
+        201901671854563000320000
+    ],
+    "references": [
+        "EIS A052723"
+    ],
+    "gf": "-1/2*(-1+_x+(-4*_x^3+_x^2-2*_x+1)^(1/2))/_x",
+    "rec": "{(-4*_n^4-22*_n^3-32*_n^2-2*_n+12)*_f(_n)+(_n^3+6*_n^2+11*_n+6)*_f(_n+1)+(-2*_n^2-11*_n-15)*_f(_n+2)+(_n+4)*_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 6}",
+    "equiv": "1/4/Pi^(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_0680.json

@@ -0,0 +1,37 @@
+{
+    "id": 680,
+    "name": "A simple context-free grammar in a labeled universe: a(n) = A052743(n)-A052723(n), n>1",
+    "description": "A simple context-free grammar in a labeled universe: a(n) = A052743(n)-A052723(n), n>1",
+    "specification": "{B = Prod(Z,C), C =Union(B,S,Z), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        24,
+        240,
+        2160,
+        30240,
+        524160,
+        9434880,
+        188697600,
+        4311014400,
+        108254361600,
+        2939153817600,
+        86568043161600,
+        2753962219008000,
+        93838712647680000,
+        3409619685728256000,
+        131735241369059328000,
+        5392770591324340224000,
+        233106073011436584960000
+    ],
+    "references": [
+        "EIS A052724"
+    ],
+    "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": "{(4*_n^5+38*_n^4+120*_n^3+130*_n^2-4*_n-48)*_f(_n)+(-5*_n^4-52*_n^3-193*_n^2-302*_n-168)*_f(_n+1)+(3*_n^3+29*_n^2+92*_n+96)*_f(_n+2)+(-3*_n^2-25*_n-52)*_f(_n+3)+(_n+6)*_f(_n+4), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) =0, _f(4) = 24, _f(5) = 240}",
+    "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)))"
+}