combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs06/ecs_0681.json

@@ -0,0 +1,37 @@
+{
+    "id": 681,
+    "name": "A simple context-free grammar in a labeled universe",
+    "description": "A simple context-free grammar in a labeled universe",
+    "specification": "{B = Prod(C,C), C =Union(B,S,Z), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        24,
+        480,
+        10080,
+        262080,
+        8104320,
+        287400960,
+        11496038400,
+        512691379200,
+        25231888281600,
+        1358412133478400,
+        79419074570035200,
+        5011102330730496000,
+        339416862385176576000,
+        24564200609223475200000,
+        1891757696752930406400000,
+        154472649120571154300928000,
+        13330980211657121479065600000
+    ],
+    "references": [
+        "EIS A052725"
+    ],
+    "gf": "RootOf(_Z^4+2*_Z^3+(2*_x+1)*_Z^2+(-1+2*_x)*_Z+_x^2)^2",
+    "rec": "{(-73728*_n^5-184320*_n^4-32256*_n^3+85248*_n^2+2304*_n-4608)*_f(_n)+(9216*_n^4-41472*_n^3-241344*_n^2-289440*_n-92736)*_f(_n+1)+(-34048*_n^3-59520*_n^2+56512*_n+79800)*_f(_n+2)+(-7456*_n^2-46176*_n-61988)*_f(_n+3)+(2228*_n-572)*_f(_n+4)+217*_f(_n+5), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 24, _f(5) = 480, _f(6) = 10080}",
+    "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_0682.json

@@ -0,0 +1,37 @@
+{
+    "id": 682,
+    "name": "E.g.f. (1-sqrt(1-4*x-4*x^2))/ (2*(1+x))",
+    "description": "E.g.f. (1-sqrt(1-4*x-4*x^2))/ (2*(1+x))",
+    "specification": "{B = Prod(Z,C), C =Prod(S,S), S = Union(B,Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        18,
+        216,
+        3720,
+        81360,
+        2172240,
+        68423040,
+        2484639360,
+        102190636800,
+        4695453100800,
+        238382331264000,
+        13251891094041600,
+        800600878273996800,
+        52229642780899584000,
+        3659347096696811520000,
+        274040260725697449984000,
+        21844641766142329085952000,
+        1846726492485351389552640000,
+        165033154382697798806568960000
+    ],
+    "references": [
+        "EIS A052726"
+    ],
+    "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*_n^3-12*_n^2-8*_n)*_f(_n)+(-8*_n^2-22*_n-12)*_f(_n+1)+(-3*_n-3)*_f(_n+2)+_f(_n+3), _f(0) = 0, _f(1) = 1, _f(2) = 2}",
+    "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_0683.json

@@ -0,0 +1,37 @@
+{
+    "id": 683,
+    "name": "Expansion of e.g.f. 1/2-1/2*(1-4*x-4*x^2)^(1/2)",
+    "description": "Expansion of e.g.f. 1/2-1/2*(1-4*x-4*x^2)^(1/2)",
+    "specification": "{B = Prod(S,S), C =Prod(Z,Z), S = Union(B,Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        24,
+        288,
+        4800,
+        103680,
+        2741760,
+        85800960,
+        3100446720,
+        127037030400,
+        5819550105600,
+        294727768473600,
+        16350861400473600,
+        986127353590579200,
+        64238655955009536000,
+        4495021381191204864000,
+        336249161369543245824000,
+        26777366459204883185664000,
+        2261774686042055642185728000,
+        201967684232404826597621760000
+    ],
+    "references": [
+        "EIS A052727"
+    ],
+    "gf": "1/2-1/2*(-4*_x^2-4*_x+1)^(1/2)",
+    "rec": "{(-4*_n^2+4)*_f(_n)+(-4*_n-2)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 4}",
+    "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_0684.json

@@ -0,0 +1,37 @@
+{
+    "id": 684,
+    "name": "A simple context-free grammar in a labeled universe",
+    "description": "A simple context-free grammar in a labeled universe",
+    "specification": "{B= Union(S,Z,C), C = Prod(S,Z), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        12,
+        168,
+        2880,
+        64080,
+        1723680,
+        54633600,
+        1992936960,
+        82261267200,
+        3790579161600,
+        192895381324800,
+        10744251136819200,
+        650181362358528000,
+        42476922345521664000,
+        2979716339168464896000,
+        223385082959833546752000,
+        17823710272865325244416000,
+        1508075997300910209908736000,
+        134871634436679594608394240000
+    ],
+    "references": [
+        "EIS A052728"
+    ],
+    "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^3-16*_n^2-20*_n-8)*_f(_n)+(-8*_n^2-26*_n-20)*_f(_n+1)+(-3*_n-2)*_f(_n+2)+_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 12}",
+    "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_0685.json

@@ -0,0 +1,37 @@
+{
+    "id": 685,
+    "name": "A simple context-free grammar in a labeled universe",
+    "description": "A simple context-free grammar in a labeled universe",
+    "specification": "{B = Prod(S,C), C =Union(B,S,Z), S = Prod(C,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        12,
+        168,
+        3120,
+        75600,
+        2237760,
+        78382080,
+        3169393920,
+        145297152000,
+        7446479040000,
+        421880659200000,
+        26181558769766400,
+        1766275594501017600,
+        128700516232544256000,
+        10073126652104355840000,
+        842819578472164220928000,
+        75071612653464586199040000,
+        7092288604331548207349760000,
+        708343125854067401925427200000
+    ],
+    "references": [
+        "EIS A052729"
+    ],
+    "gf": "RootOf(_Z^3+_Z^2-_Z+_x)^2",
+    "rec": "{(-27*_n^3+21*_n-6)*_f(_n)+(-49*_n^2-65*_n-6)*_f(_n+1)+(-17*_n-33)*_f(_n+2)+5*_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 12}",
+    "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_0686.json

@@ -0,0 +1,37 @@
+{
+    "id": 686,
+    "name": "A simple context-free grammar in a labeled universe",
+    "description": "A simple context-free grammar in a labeled universe",
+    "specification": "{B = Union(S,Z,C),C = Prod(B,B), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        72,
+        1440,
+        35280,
+        1058400,
+        37376640,
+        1520830080,
+        70053984000,
+        3603888288000,
+        204806714112000,
+        12742502111539200,
+        861483843034214400,
+        62887137880799232000,
+        4929809613351727104000,
+        413044721987184967680000,
+        36835192891491380305920000,
+        3483683731346645947760640000,
+        348266025168265587717734400000
+    ],
+    "references": [
+        "EIS A052730"
+    ],
+    "gf": "RootOf(_Z^3+_Z^2-_Z+_x)-RootOf(_Z^3+_Z^2-_Z+_x)^2-_x",
+    "rec": "{(135*_n^3-105*_n+30)*_f(_n)+(29*_n^2-107*_n-130)*_f(_n+1)+(-91*_n-99)*_f(_n+2)+15*_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 6, _f(4) = 72}",
+    "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_0687.json

@@ -0,0 +1,37 @@
+{
+    "id": 687,
+    "name": "E.g.f. [1-x -sqrt(1-2x-3x^2)]/(2x) - [1+x-sqrt(1-2x-3x^2)]/2 ",
+    "description": "E.g.f. [1-x -sqrt(1-2x-3x^2)]/(2x) - [1+x-sqrt(1-2x-3x^2)]/2 ",
+    "specification": "{B = Union(S,Z,C),C = Prod(B,Z), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        48,
+        600,
+        8640,
+        151200,
+        3064320,
+        71124480,
+        1857945600,
+        54007430400,
+        1729195776000,
+        60483053030400,
+        2294881337548800,
+        93889711948032000,
+        4120492394962944000,
+        193100926276177920000,
+        9624765220305371136000,
+        508428226604055453696000,
+        28374697696967351009280000
+    ],
+    "references": [
+        "EIS A052731"
+    ],
+    "gf": "-1/2-1/2*_x+1/2*(-3*_x^2-2*_x+1)^(1/2)-1/2*(-1+_x+(-3*_x^2-2*_x+1)^(1/2))/_x",
+    "rec": "{(3*_n^4+15*_n^3+15*_n^2-15*_n-18)*_f(_n)+(-_n^3-7*_n^2-16*_n-12)*_f(_n+1)+(-3*_n^2-16*_n-21)*_f(_n+2)+(_n+4)*_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 6}",
+    "equiv": "1/6/Pi^(1/2)*4^(1/2)*3^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs06/ecs_0688.json

@@ -0,0 +1,38 @@
+{
+    "id": 688,
+    "name": "E.g.f.: (1-2x-sqrt(1-4*x))*x^2/2",
+    "description": "E.g.f.: (1-2x-sqrt(1-4*x))*x^2/2",
+    "specification": "{B = Union(Z,C), C= Prod(B,B), S = Prod(Z,Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        24,
+        240,
+        3600,
+        70560,
+        1693440,
+        47900160,
+        1556755200,
+        57081024000,
+        2328905779200,
+        104589041356800,
+        5124863026483200,
+        272011960636416000,
+        15543540607795200000,
+        951264685197066240000,
+        62070020709108572160000,
+        4301087317372346941440000,
+        315413069940638775705600000
+    ],
+    "references": [
+        "EIS A052732"
+    ],
+    "gf": "_x^2*(1/2-_x-1/2*(1-4*_x)^(1/2))",
+    "rec": "{(-4*_n^2+6*_n+10)*_f(_n)+_f(_n+1)*(_n-1), _f(0) = 0, _f(1) = 0, _f(2) = _C[0], _f(3) = -6*_C[0], _f(4) = -24*_C[0]+24}",
+    "closedform": "-4*2^(2*_n-8)*GAMMA(_n-5/2)*_n*(_n-1)*(_C[0]-1)/Pi^(1/2)",
+    "equiv": "1/64/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0689.json

@@ -0,0 +1,38 @@
+{
+    "id": 689,
+    "name": "E.g.f.: x^2*(1-sqrt(1-4*x))/2",
+    "description": "E.g.f.: x^2*(1-sqrt(1-4*x))/2",
+    "specification": "{B = Union(Z,C), C= Prod(B,B), S = Prod(B,Z,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        24,
+        240,
+        3600,
+        70560,
+        1693440,
+        47900160,
+        1556755200,
+        57081024000,
+        2328905779200,
+        104589041356800,
+        5124863026483200,
+        272011960636416000,
+        15543540607795200000,
+        951264685197066240000,
+        62070020709108572160000,
+        4301087317372346941440000,
+        315413069940638775705600000
+    ],
+    "references": [
+        "EIS A052733"
+    ],
+    "gf": "_x^2*(1/2-1/2*(1-4*_x)^(1/2))",
+    "rec": "{(-4*_n^2+6*_n+10)*_f(_n)+_f(_n+1)*(_n-1), _f(0) = 0, _f(1) = 0, _f(2) = _C[0], _f(3) = -6*_C[0]+6}",
+    "closedform": "(1-_n)*(_C[0]-1)*2^(2*_n-6)*GAMMA(_n-5/2)*_n/Pi^(1/2)",
+    "equiv": "1/64/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs06/ecs_0690.json

@@ -0,0 +1,38 @@
+{
+    "id": 690,
+    "name": "a(n) = 4^(n-1) * n! * Catalan(n-1) for n > 0, with a(0) = 0",
+    "description": "a(n) = 4^(n-1) * n! * Catalan(n-1) for n > 0, with a(0) = 0",
+    "specification": "{B = Prod(C,C), C =Union(B,S,Z), S = Union(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        8,
+        192,
+        7680,
+        430080,
+        30965760,
+        2724986880,
+        283398635520,
+        34007836262400,
+        4625065731686400,
+        703009991216332800,
+        118105678524343910400,
+        21731444848479279513600,
+        4346288969695855902720000,
+        938798417454304874987520000,
+        217801232849398730997104640000,
+        54014705746650885287281950720000,
+        14259882317115833715842434990080000,
+        3992767048792433440435881797222400000,
+        1181859046442560298369021011977830400000
+    ],
+    "references": [
+        "EIS A052734"
+    ],
+    "gf": "1/8-1/8*(-16*_x+1)^(1/2)",
+    "rec": "{(-16*_n+8)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 1}",
+    "closedform": "1/Pi^(1/2)*2^(4*_n-4)*GAMMA(_n-1/2)",
+    "equiv": "1/16/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-4*ln(2))"
+}

combstruct/data/ecs06/ecs_0691.json

@@ -0,0 +1,37 @@
+{
+    "id": 691,
+    "name": "E.g.f. (1-x -sqrt(1-2*x-3*x^2) )/2",
+    "description": "E.g.f. (1-x -sqrt(1-2*x-3*x^2) )/2",
+    "specification": "{B = Union(S,Z,C),C = Prod(B,S), S = Prod(B,Z)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        6,
+        48,
+        480,
+        6480,
+        105840,
+        2056320,
+        46085760,
+        1172102400,
+        33330528000,
+        1048055500800,
+        36104266598400,
+        1352222474803200,
+        54706557185280000,
+        2377540306132992000,
+        110466555918630912000,
+        5464214679506558976000,
+        286690618096426672128000,
+        15902376894009642516480000
+    ],
+    "references": [
+        "EIS A052735"
+    ],
+    "gf": "1/2-1/2*_x-1/2*(-3*_x^2-2*_x+1)^(1/2)",
+    "rec": "{(-3*_n^2+3)*_f(_n)+(-1-2*_n)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 0, _f(2) = 2}",
+    "equiv": "1/12/Pi^(1/2)*4^(1/2)*3^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs06/ecs_0692.json

@@ -0,0 +1,37 @@
+{
+    "id": 692,
+    "name": "E.g.f. [1 -3x -sqrt(1-6x+x^2) -x*(1-x-sqrt(1-6x+x^2)) ]/2",
+    "description": "E.g.f. [1 -3x -sqrt(1-6x+x^2) -x*(1-x-sqrt(1-6x+x^2)) ]/2",
+    "specification": "{B = Prod(Z,C), C =Union(B,S,Z), S = Prod(C,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        24,
+        384,
+        8160,
+        218880,
+        7116480,
+        272240640,
+        11985200640,
+        596981145600,
+        33195609216000,
+        2038500521164800,
+        137021183973273600,
+        10006412139653529600,
+        788930789450259456000,
+        66790064645111808000000,
+        6042970648669883056128000,
+        581917311773908793819136000,
+        59423732260666221275283456000,
+        6414116145903924063012126720000
+    ],
+    "references": [
+        "EIS A052736"
+    ],
+    "gf": "-(1/2-1/2*_x-1/2*(_x^2-6*_x+1)^(1/2))*_x+1/2-3/2*_x-1/2*(_x^2-6*_x+1)^(1/2)",
+    "rec": "{(-_n^3-_n^2+4*_n+4)*_f(_n)+(7*_n^2+11*_n-6)*_f(_n+1)+(-7*_n-10)*_f(_n+2)+_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) =24}",
+    "equiv": "-1/2/Pi^(1/2)*(1/2*(3-2*2^(1/2))*(-2*(3-2*2^(1/2))^2+18-12*2^(1/2))^(1/2)-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_0693.json

@@ -0,0 +1,38 @@
+{
+    "id": 693,
+    "name": "a(n) = ((2*n)!/n!)*2^(2*n+1)",
+    "description": "a(n) = ((2*n)!/n!)*2^(2*n+1)",
+    "specification": "{B = Union(Z,C), C= Prod(S,S), S = Union(B,Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        16,
+        384,
+        15360,
+        860160,
+        61931520,
+        5449973760,
+        566797271040,
+        68015672524800,
+        9250131463372800,
+        1406019982432665600,
+        236211357048687820800,
+        43462889696958559027200,
+        8692577939391711805440000,
+        1877596834908609749975040000,
+        435602465698797461994209280000,
+        108029411493301770574563901440000,
+        28519764634231667431684869980160000,
+        7985534097584866880871763594444800000,
+        2363718092885120596738042023955660800000
+    ],
+    "references": [
+        "EIS A052737"
+    ],
+    "gf": "1/4-1/4*(-16*_x+1)^(1/2)",
+    "rec": "{(-16*_n+8)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 2}",
+    "closedform": "2^(-3+4*_n)/Pi^(1/2)*GAMMA(_n-1/2)",
+    "equiv": "1/8/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-4*ln(2))"
+}

combstruct/data/ecs06/ecs_0694.json

@@ -0,0 +1,37 @@
+{
+    "id": 694,
+    "name": "A simple context-free grammar in a labeled universe",
+    "description": "A simple context-free grammar in a labeled universe",
+    "specification": "{B = Union(S,Z,C),C = Prod(S,S), S = Prod(B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        12,
+        120,
+        1920,
+        40320,
+        1028160,
+        30965760,
+        1077753600,
+        42551308800,
+        1878484608000,
+        91686654259200,
+        4902558383923200,
+        284994551761920000,
+        17895345882365952000,
+        1207064057173438464000,
+        87041570211234422784000,
+        6682058059023653289984000,
+        544097659829475380428800000,
+        46838339233955282209996800000
+    ],
+    "references": [
+        "EIS A052738"
+    ],
+    "gf": "RootOf(_Z^4+2*_Z^3+(2*_x+1)*_Z^2+(-1+2*_x)*_Z+_x^2)",
+    "rec": "{(6144*_n^4+9216*_n^3+1152*_n^2-2496*_n-576)*_f(_n)+(-7936*_n^3-28032*_n^2-30320*_n-9096)*_f(_n+1)+(6272*_n^2+15488*_n+10404)*_f(_n+2)+(-3784*_n-7600)*_f(_n+3)+589*_f(_n+4), _f(0) = 0, _f(1) = 0, _f(2) = 2, _f(3) = 12, _f(4) = 120}",
+    "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)))"
+}

combstruct/data/ecs06/ecs_0695.json

@@ -0,0 +1,37 @@
+{
+    "id": 695,
+    "name": "E.g.f. (1-sqrt(1-4x-4x^2))/2 -x*(1+x)",
+    "description": "E.g.f. (1-sqrt(1-4x-4x^2))/2 -x*(1+x)",
+    "specification": "{B = Prod(Z,Z), C =Union(B,S,Z), S = Prod(C,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        24,
+        288,
+        4800,
+        103680,
+        2741760,
+        85800960,
+        3100446720,
+        127037030400,
+        5819550105600,
+        294727768473600,
+        16350861400473600,
+        986127353590579200,
+        64238655955009536000,
+        4495021381191204864000,
+        336249161369543245824000,
+        26777366459204883185664000,
+        2261774686042055642185728000,
+        201967684232404826597621760000
+    ],
+    "references": [
+        "EIS A052739"
+    ],
+    "gf": "-_x^2+1/2-1/2*(-4*_x^2-4*_x+1)^(1/2)-_x",
+    "rec": "{(-4*_n^2+4)*_f(_n)+(-4*_n-2)*_f(_n+1)+_f(_n+2), _f(0)= 0, _f(1) = 0, _f(2) = 2, _f(3) = 24, _f(4) = 288}",
+    "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_0696.json

@@ -0,0 +1,37 @@
+{
+    "id": 696,
+    "name": "A simple context-free grammar in a labeled universe",
+    "description": "A simple context-free grammar in a labeled universe",
+    "specification": "{B = Prod(S,S), C =Prod(B,B), S = Union(B,Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        2,
+        12,
+        144,
+        2400,
+        50400,
+        1290240,
+        39070080,
+        1365154560,
+        54047347200,
+        2391175987200,
+        116918542540800,
+        6260970517401600,
+        364413626331955200,
+        22906448213096448000,
+        1546480919558615040000,
+        111605770820457897984000,
+        8573815755776583696384000,
+        698570308950046534729728000,
+        60169319445612403689062400000
+    ],
+    "references": [
+        "EIS A052740"
+    ],
+    "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^4-9216*_n^3-2688*_n^2+576*_n+192)*_f(_n)+(-6400*_n^3-36480*_n^2-54608*_n-23112)*_f(_n+1)+(896*_n^2+13184*_n+17772)*_f(_n+2)+(-5176*_n-14800)*_f(_n+3)+1147*_f(_n+4), _f(0) = 0, _f(1) = 1, _f(2) = 2, _f(3) = 12}",
+    "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_0697.json

@@ -0,0 +1,38 @@
+{
+    "id": 697,
+    "name": "A simple context-free grammar in a labeled universe",
+    "description": "A simple context-free grammar in a labeled universe",
+    "specification": "{B =Union(Z,C), C = Prod(B,B), S = Prod(B,Z,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        24,
+        360,
+        6480,
+        141120,
+        3628800,
+        107775360,
+        3632428800,
+        136994457600,
+        5716405094400,
+        261472603392000,
+        13009267682611200,
+        699459327350784000,
+        40413205580267520000,
+        2497069798642298880000,
+        164302995994699161600000,
+        11469566179659591843840000,
+        846635082472240924262400000
+    ],
+    "references": [
+        "EIS A052741"
+    ],
+    "gf": "-_x^3-_x^2*(1/2-_x-1/2*(1-4*_x)^(1/2))+(1/2-_x-1/2*(1-4*_x)^(1/2))*_x",
+    "rec": "{(4*_n^3+2*_n^2-22*_n-20)*_f(_n)+(-5*_n^2-7*_n+6)*_f(_n+1)+(_n+1)*_f(_n+2), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 24}",
+    "closedform": "3/Pi^(1/2)*2^(2*_n-6)*GAMMA(_n-5/2)*_n*(_n-3)",
+    "equiv": "3/64/Pi^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-2*ln(2))"
+}