combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs07/ecs_0734.json

@@ -0,0 +1,38 @@
+{
+    "id": 734,
+    "name": "E.g.f.: x^2*(exp(x)-1)^3",
+    "description": "E.g.f.: x^2*(exp(x)-1)^3",
+    "specification": "{B = Set(Z,1 <= card), S = Prod(Z,Z,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        120,
+        1080,
+        6300,
+        30240,
+        130032,
+        521640,
+        1996500,
+        7389360,
+        26676936,
+        94486392,
+        329647500,
+        1136116800,
+        3876164832,
+        13112135496,
+        44031456900,
+        146920942800
+    ],
+    "references": [
+        "EIS A052777"
+    ],
+    "gf": "exp(_x)^3*_x^2-3*_x^2*exp(_x)^2+3*exp(_x)*_x^2-_x^2",
+    "rec": "{(-6*_n^3-36*_n^2-66*_n-36)*_f(_n)+(11*_n^3+44*_n^2+11*_n-66)*_f(_n+1)+(-6*_n^3-12*_n^2+18*_n)*_f(_n+2)+(_n^3-_n)*_f(_n+3), _f(0) = 0, _f(1) =0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 120}",
+    "closedform": "-3*_n*(_n-1)*(2^(_n-2)-3^(_n-3)-1)",
+    "equiv": "1/18/Pi^(1/2)*2^(1/2)*exp(-2/3)^3*exp(2)/(1/_n)^(3/2)*exp(-_n)^(-1-ln(3))*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0735.json

@@ -0,0 +1,38 @@
+{
+    "id": 735,
+    "name": "E.g.f.: x^4*log(-1/(-1+x))",
+    "description": "E.g.f.: x^4*log(-1/(-1+x))",
+    "specification": "{B =Cycle(Z), S = Prod(Z,Z,Z,Z,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        120,
+        360,
+        1680,
+        10080,
+        72576,
+        604800,
+        5702400,
+        59875200,
+        691891200,
+        8717829120,
+        118879488000,
+        1743565824000,
+        27360571392000,
+        457312407552000,
+        8109673360588800,
+        152056375511040000
+    ],
+    "references": [
+        "EIS A052778"
+    ],
+    "gf": "_x^4*ln(-1/(-1+_x))",
+    "rec": "{(-_n^2+3*_n+4)*_f(_n)+(_n-3)*_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 120, _f(6) =360}",
+    "closedform": "GAMMA(_n+1)/(_n-4)",
+    "equiv": "1/_n"
+}

combstruct/data/ecs07/ecs_0736.json

@@ -0,0 +1,37 @@
+{
+    "id": 736,
+    "name": "Expansion of e.g.f.: (log(1-x))^6",
+    "description": "Expansion of e.g.f.: (log(1-x))^6",
+    "specification": "{B = Cycle(Z), S = Prod(B,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        15120,
+        231840,
+        3265920,
+        45556560,
+        649479600,
+        9604465200,
+        148370508000,
+        2402005525920,
+        40797624067200,
+        726963917097600,
+        13580328282393600,
+        265689107448756480,
+        5437099866285377280,
+        116229410301685651200
+    ],
+    "references": [
+        "EIS A052779"
+    ],
+    "gf": "ln(-1/(-1+_x))^6",
+    "rec": "{(_n^6+6*_n^5+15*_n^4+20*_n^3+15*_n^2+6*_n+1)*_f(_n+1)+(-6*_n^5-45*_n^4-140*_n^3-225*_n^2-186*_n-63)*_f(_n+2)+(15*_n^4+120*_n^3+375*_n^2+540*_n+301)*_f(_n+3)+(-20*_n^3-150*_n^2-390*_n-350)*_f(_n+4)+(15*_n^2+90*_n+140)*_f(_n+5)+(-6*_n-21)*_f(_n+6)+_f(_n+7), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 720, _f(7) = 15120}",
+    "equiv": "6*ln(_n)^5/_n"
+}

combstruct/data/ecs07/ecs_0737.json

@@ -0,0 +1,38 @@
+{
+    "id": 737,
+    "name": "Expansion of e.g.f. x^2*exp(4*x)",
+    "description": "Expansion of e.g.f. x^2*exp(4*x)",
+    "specification": "{B = Set(Z),S = Prod(Z,Z,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        2,
+        24,
+        192,
+        1280,
+        7680,
+        43008,
+        229376,
+        1179648,
+        5898240,
+        28835840,
+        138412032,
+        654311424,
+        3053453312,
+        14092861440,
+        64424509440,
+        292057776128,
+        1314259992576,
+        5875515260928,
+        26113401159680
+    ],
+    "references": [
+        "EIS A052780"
+    ],
+    "gf": "_x^2*exp(_x)^4",
+    "rec": "{(-4*_n-4)*_f(_n)+_f(_n+1)*(_n-1), _f(0) = 0, _f(1) = 0, _f(2) = 2}",
+    "closedform": "2^(2*_n-4)*_n*(_n-1)",
+    "equiv": "1/32/Pi^(1/2)*2^(1/2)*exp(-1/2)^4*exp(2)/(1/_n)^(3/2)*exp(-_n)^(-1-2*ln(2))*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0738.json

@@ -0,0 +1,34 @@
+{
+    "id": 738,
+    "name": "G.f. A(x) satisfies: A(x) = exp( Sum_{k>=1} A(x^k)^5 * x^k / k )",
+    "description": "G.f. A(x) satisfies: A(x) = exp( Sum_{k>=1} A(x^k)^5 * x^k / k )",
+    "specification": "{B = Prod(Z,S,S,S,S,S), S = Set(B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        6,
+        46,
+        421,
+        4191,
+        44322,
+        487662,
+        5527722,
+        64091887,
+        756590138,
+        9062397539,
+        109866112785,
+        1345528776005,
+        16622049264020,
+        206882949204038,
+        2591780764974800,
+        32656149762325321,
+        413563728245999232,
+        5261307475883227222,
+        67207527369932430625
+    ],
+    "references": [
+        "EIS A052781"
+    ]
+}

combstruct/data/ecs07/ecs_0739.json

@@ -0,0 +1,36 @@
+{
+    "id": 739,
+    "name": "a(n) = (5*n+1)^(n-1)",
+    "description": "a(n) = (5*n+1)^(n-1)",
+    "specification": "{B = Prod(Z,S,S,S,S,S), S = Set(B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        11,
+        256,
+        9261,
+        456976,
+        28629151,
+        2176782336,
+        194754273881,
+        20047612231936,
+        2334165173090451,
+        303305489096114176,
+        43513917611435838661,
+        6831675453247426400256,
+        1165087474585497590531111,
+        214481724045177216015794176,
+        42391158275216203514294433201,
+        8953136790196197357146289012736,
+        2012350701528798434504842105823131,
+        479603335372621236652373132533825536,
+        120810895044353150938886048668570711901
+    ],
+    "references": [
+        "EIS A052782"
+    ],
+    "gf": "exp(-1/5*LambertW(-5*_x))",
+    "equiv": "1/10/Pi^(1/2)*exp(1/5)*2^(1/2)*exp(1)^(1/2)*exp(-1)^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-1-ln(5))"
+}

combstruct/data/ecs07/ecs_0740.json

@@ -0,0 +1,37 @@
+{
+    "id": 740,
+    "name": "Expansion of e.g.f. x*log(-1/(-1+x))^5",
+    "description": "Expansion of e.g.f. x*log(-1/(-1+x))^5",
+    "specification": "{B = Cycle(Z), S = Prod(Z,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        12600,
+        168000,
+        2116800,
+        26938800,
+        355509000,
+        4920379200,
+        71753338800,
+        1104107484480,
+        17923866760800,
+        306665482905600,
+        5521899225024000,
+        104470579944195840,
+        2073203785324575360,
+        43081709474211609600
+    ],
+    "references": [
+        "EIS A052783"
+    ],
+    "gf": "_x*ln(-1/(-1+_x))^5",
+    "rec": "{(-_n^10-10*_n^9-20*_n^8+60*_n^7+146*_n^6-224*_n^5-300*_n^4+500*_n^3+55*_n^2-326*_n+120)*_f(_n)+(5*_n^9+60*_n^8+225*_n^7+195*_n^6-299*_n^5-_n^4+501*_n^3-446*_n^2+120*_n)*_f(_n+1)+(-10*_n^8-130*_n^7-595*_n^6-1135*_n^5-895*_n^4-535*_n^3-300*_n^2)*_f(_n+2)+(10*_n^7+130*_n^6+615*_n^5+1330*_n^4+1425*_n^3+790*_n^2+200*_n)*_f(_n+3)+(-5*_n^6-60*_n^5-260*_n^4-510*_n^3-455*_n^2-150*_n)*_f(_n+4)+(_n^5+10*_n^4+35*_n^3+50*_n^2+24*_n)*_f(_n+5), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 720, _f(7) = 12600}",
+    "equiv": "5*ln(_n)^4/_n"
+}

combstruct/data/ecs07/ecs_0741.json

@@ -0,0 +1,38 @@
+{
+    "id": 741,
+    "name": "E.g.f.: x^3*(exp(x)-1)^3",
+    "description": "E.g.f.: x^3*(exp(x)-1)^3",
+    "specification": "{B = Set(Z,1 <= card),S = Prod(Z,Z,Z,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        7560,
+        50400,
+        272160,
+        1300320,
+        5738040,
+        23958000,
+        96061680,
+        373477104,
+        1417295880,
+        5274360000,
+        19313985600,
+        69770966976,
+        249130574424,
+        880629138000
+    ],
+    "references": [
+        "EIS A052784"
+    ],
+    "gf": "exp(_x)^3*_x^3-3*exp(_x)^2*_x^3+3*exp(_x)*_x^3-_x^3",
+    "rec": "{(-6*_n^3-36*_n^2-66*_n-36)*_f(_n)+(11*_n^3+33*_n^2-44*_n-132)*_f(_n+1)+(-6*_n^3+42*_n-36)*_f(_n+2)+(_n^3-3*_n^2+2*_n)*_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": "-3*_n*(_n-1)*(_n-2)*(2^(_n-3)-3^(_n-4)-1)",
+    "equiv": "1/54/Pi^(1/2)*2^(1/2)*exp(-1)^3*exp(3)/(1/_n)^(5/2)*exp(-_n)^(-1-ln(3))*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0742.json

@@ -0,0 +1,38 @@
+{
+    "id": 742,
+    "name": "a(n) = 5!*n*Stirling2(n-1, 5)",
+    "description": "a(n) = 5!*n*Stirling2(n-1, 5)",
+    "specification": "{B = Set(Z,1 <= card), S = Prod(Z,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        12600,
+        134400,
+        1134000,
+        8341200,
+        56133000,
+        355291200,
+        2151864000,
+        12614281680,
+        72135063000,
+        404672486400,
+        2236228722000,
+        12209943566160,
+        66024457842600,
+        354214283304000
+    ],
+    "references": [
+        "EIS A052785"
+    ],
+    "gf": "exp(_x)^5*_x-5*_x*exp(_x)^4+10*exp(_x)^3*_x-10*exp(_x)^2*_x+5*_x*exp(_x)-_x",
+    "rec": "{(-120*_n^5-1800*_n^4-10200*_n^3-27000*_n^2-32880*_n-14400)*_f(_n)+(274*_n^5+3836*_n^4+19454*_n^3+42196*_n^2+32880*_n)*_f(_n+1)+(-225*_n^5-2925*_n^4-13275*_n^3-24075*_n^2-13500*_n)*_f(_n+2)+(85*_n^5+1020*_n^4+4165*_n^3+6630*_n^2+3400*_n)*_f(_n+3)+(-15*_n^5-165*_n^4-615*_n^3-915*_n^2-450*_n)*_f(_n+4)+(_n^5+10*_n^4+35*_n^3+50*_n^2+24*_n)*_f(_n+5), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6)= 720}",
+    "closedform": "-5*_n*(4*2^(_n-2)-6*3^(_n-2)+2^(2*_n-2)-5^(_n-2)-1)",
+    "equiv": "1/10/Pi^(1/2)*2^(1/2)*exp(-1/5)^5*exp(1)/(1/_n)^(1/2)*exp(-_n)^(-1-ln(5))*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0743.json

@@ -0,0 +1,38 @@
+{
+    "id": 743,
+    "name": "Expansion of e.g.f.: -x^3*(log(1-x))^3",
+    "description": "Expansion of e.g.f.: -x^3*(log(1-x))^3",
+    "specification": "{B = Cycle(Z), S = Prod(Z,Z,Z,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        7560,
+        70560,
+        680400,
+        7015680,
+        78004080,
+        935542080,
+        12074119200,
+        167122859904,
+        2472036446880,
+        38940240568320,
+        651087633530880,
+        11519998092877824,
+        215088381671892480,
+        4226801728115404800
+    ],
+    "references": [
+        "EIS A052786"
+    ],
+    "gf": "_x^3*ln(-1/(-1+_x))^3",
+    "rec": "{(-_n^6+3*_n^5+16*_n^4-42*_n^3-81*_n^2+135*_n+162)*_f(_n)+(3*_n^5-6*_n^4-38*_n^3+81*_n^2+104*_n-228)*_f(_n+1)+(-3*_n^4+6*_n^3+21*_n^2-60*_n+36)*_f(_n+2)+(_n^3-3*_n^2+2*_n)*_f(_n+3), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 720, _f(7) = 7560}",
+    "closedform": "6*_n*(1/6*sum(6/(_n0+2)*Psi(_n0+2),_n0 = 0 .. _n-6)+gamma*(gamma+Psi(_n-3)-1))*GAMMA(_n-3)*(_n-1)*(_n-2)",
+    "equiv": "3*ln(_n)^2/_n"
+}

combstruct/data/ecs07/ecs_0744.json

@@ -0,0 +1,38 @@
+{
+    "id": 744,
+    "name": "Product of 5 consecutive integers",
+    "description": "Product of 5 consecutive integers",
+    "specification": "{B = Set(Z), S = Prod(Z,Z,Z,Z,Z,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        120,
+        720,
+        2520,
+        6720,
+        15120,
+        30240,
+        55440,
+        95040,
+        154440,
+        240240,
+        360360,
+        524160,
+        742560,
+        1028160,
+        1395360,
+        1860480
+    ],
+    "references": [
+        "EIS A052787"
+    ],
+    "gf": "_x^5*exp(_x)",
+    "rec": "{(-1-_n)*_f(_n)+(_n-4)*_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0,_f(4) = 0, _f(5) = 120}",
+    "closedform": "GAMMA(_n+1)/GAMMA(_n-4)",
+    "equiv": "1/2/Pi^(1/2)*2^(1/2)*exp(-5)*exp(5)/(1/_n)^(9/2)*exp(_n)*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0745.json

@@ -0,0 +1,34 @@
+{
+    "id": 745,
+    "name": "Number of rooted trees with n nodes and 5-colored non-root nodes",
+    "description": "Number of rooted trees with n nodes and 5-colored non-root nodes",
+    "specification": "{B = Set(S), S = Prod(Z,B,B,B,B,B)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        5,
+        40,
+        360,
+        3570,
+        37476,
+        410490,
+        4635330,
+        53589045,
+        631115140,
+        7544876956,
+        91321148575,
+        1116879203135,
+        13781214640630,
+        171350293212360,
+        2144719821588471,
+        27001925967762160,
+        341717698703959875,
+        4344560595456218450,
+        55465682553792704230
+    ],
+    "references": [
+        "EIS A052788"
+    ]
+}

combstruct/data/ecs07/ecs_0746.json

@@ -0,0 +1,36 @@
+{
+    "id": 746,
+    "name": "Expansion of e.g.f. -(1/5)*LambertW(-5*x)",
+    "description": "Expansion of e.g.f. -(1/5)*LambertW(-5*x)",
+    "specification": "{B = Set(S), S = Prod(Z,B,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        10,
+        225,
+        8000,
+        390625,
+        24300000,
+        1838265625,
+        163840000000,
+        16815125390625,
+        1953125000000000,
+        253295162119140625,
+        36279705600000000000,
+        5688009063105712890625,
+        968890104070000000000000,
+        178179480135440826416015625,
+        35184372088832000000000000000,
+        7425108623606394726715087890625,
+        1667718169966656900000000000000000,
+        397214318458218542224277496337890625,
+        100000000000000000000000000000000000000
+    ],
+    "references": [
+        "EIS A052789"
+    ],
+    "gf": "_x*exp(-1/5*LambertW(-5*_x))^5",
+    "equiv": "1/10/Pi^(1/2)*exp(-1)^(3/2)*exp(1/5)^5*2^(1/2)*exp(1)^(1/2)*(1/_n)^(3/2)*exp(-_n)^(-1-ln(5))"
+}

combstruct/data/ecs07/ecs_0747.json

@@ -0,0 +1,37 @@
+{
+    "id": 747,
+    "name": "Expansion of e.g.f.: x^2*log(1-x)^4",
+    "description": "Expansion of e.g.f.: x^2*log(1-x)^4",
+    "specification": "{B = Cycle(Z), S = Prod(Z,Z,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        10080,
+        114240,
+        1270080,
+        14621040,
+        177629760,
+        2292618240,
+        31485168000,
+        459767275968,
+        7126635035520,
+        117007217832960,
+        2030137891891200,
+        37138576448883456,
+        714734162773420032,
+        14439823458634690560
+    ],
+    "references": [
+        "EIS A052790"
+    ],
+    "gf": "_x^2*ln(-1/(-1+_x))^4",
+    "rec": "{(_n^8+2*_n^7-21*_n^6-22*_n^5+160*_n^4+48*_n^3-464*_n^2+32*_n+384)*_f(_n)+(-4*_n^7-14*_n^6+48*_n^5+105*_n^4-296*_n^3-121*_n^2+642*_n-360)*_f(_n+1)+(6*_n^6+24*_n^5-35*_n^4-90*_n^3+179*_n^2-84*_n)*_f(_n+2)+(-4*_n^5-14*_n^4+12*_n^3+14*_n^2-8*_n)*_f(_n+3)+(_n^4+2*_n^3-_n^2-2*_n)*_f(_n+4), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5)= 0, _f(6) = 720, _f(7) = 10080}",
+    "equiv": "4*ln(_n)^3/_n"
+}

combstruct/data/ecs07/ecs_0748.json

@@ -0,0 +1,38 @@
+{
+    "id": 748,
+    "name": "3^(n-3)*n*(n-1)*(n-2)",
+    "description": "3^(n-3)*n*(n-1)*(n-2)",
+    "specification": "{B = Set(Z), S= Prod(Z,Z,Z,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        72,
+        540,
+        3240,
+        17010,
+        81648,
+        367416,
+        1574640,
+        6495390,
+        25981560,
+        101328084,
+        386889048,
+        1450833930,
+        5356925280,
+        19514513520,
+        70252248672,
+        250273635894,
+        883318714920
+    ],
+    "references": [
+        "EIS A052791"
+    ],
+    "gf": "exp(_x)^3*_x^3",
+    "rec": "{(-3*_n-3)*_f(_n)+(_n-2)*_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) =6}",
+    "closedform": "3^(_n-3)*(_n-2)*(_n-1)*_n",
+    "equiv": "1/54/Pi^(1/2)*2^(1/2)*exp(-1)^3*exp(3)/(1/_n)^(5/2)*exp(-_n)^(-1-ln(3))*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0749.json

@@ -0,0 +1,38 @@
+{
+    "id": 749,
+    "name": "Expansion of e.g.f.: x^2*(exp(x)-1)^4",
+    "description": "Expansion of e.g.f.: x^2*(exp(x)-1)^4",
+    "specification": "{B = Set(Z,1 <= card),S = Prod(Z,Z,B,B,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        10080,
+        87360,
+        604800,
+        3674160,
+        20512800,
+        108044640,
+        545688000,
+        2671036368,
+        12763951200,
+        59856451200,
+        276499641600,
+        1261691128944,
+        5699120476320,
+        25525119703200
+    ],
+    "references": [
+        "EIS A052792"
+    ],
+    "gf": "_x^2*exp(_x)^4-4*exp(_x)^3*_x^2+6*_x^2*exp(_x)^2-4*exp(_x)*_x^2+_x^2",
+    "rec": "{(24*_n^4+240*_n^3+840*_n^2+1200*_n+576)*_f(_n)+(-50*_n^4-400*_n^3-850*_n^2+100*_n+1200)*_f(_n+1)+(35*_n^4+210*_n^3+175*_n^2-420*_n)*_f(_n+2)+(-10*_n^4-40*_n^3+10*_n^2+40*_n)*_f(_n+3)+(_n^4+2*_n^3-_n^2-2*_n)*_f(_n+4), _f(0) = 0, _f(1) = 0, _f(2) =0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 720}",
+    "closedform": "4*_n*(_n-1)*(3*2^(_n-3)+2^(2*_n-6)-3^(_n-2)-1)",
+    "equiv": "1/32/Pi^(1/2)*2^(1/2)*exp(-1/2)^4*exp(2)/(1/_n)^(3/2)*exp(-_n)^(-1-2*ln(2))*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0750.json

@@ -0,0 +1,38 @@
+{
+    "id": 750,
+    "name": "Expansion of e.g.f. x^4*exp(x)^2-2*x^4*exp(x)+x^4",
+    "description": "Expansion of e.g.f. x^4*exp(x)^2-2*x^4*exp(x)+x^4",
+    "specification": "{B = Set(Z,1 <= card), S = Prod(Z,Z,Z,Z,B,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        5040,
+        23520,
+        90720,
+        312480,
+        997920,
+        3017520,
+        8751600,
+        24552528,
+        67026960,
+        178825920,
+        467812800,
+        1203094080,
+        3048024384,
+        7620293520
+    ],
+    "references": [
+        "EIS A052793"
+    ],
+    "gf": "exp(_x)^2*_x^4-2*_x^4*exp(_x)+_x^4",
+    "rec": "{(2*_n^2+6*_n+4)*_f(_n)+(-3*_n^2+3*_n+18)*_f(_n+1)+(_n^2-5*_n+6)*_f(_n+2), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0,_f(6) = 720}",
+    "closedform": "2*_n*(_n-1)*(_n-2)*(_n-3)*(-1+2^(_n-5))",
+    "equiv": "1/32/Pi^(1/2)*2^(1/2)*exp(-2)^2*exp(4)/(1/_n)^(7/2)*exp(-_n)^(-1-ln(2))*_n^(-_n)"
+}

combstruct/data/ecs07/ecs_0751.json

@@ -0,0 +1,38 @@
+{
+    "id": 751,
+    "name": "E.g.f.: -x^5*log(1-x)",
+    "description": "E.g.f.: -x^5*log(1-x)",
+    "specification": "{B = Cycle(Z), S = Prod(Z,Z,Z,Z,Z,B)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        0,
+        0,
+        0,
+        720,
+        2520,
+        13440,
+        90720,
+        725760,
+        6652800,
+        68428800,
+        778377600,
+        9686476800,
+        130767436800,
+        1902071808000,
+        29640619008000,
+        492490285056000,
+        8688935743488000,
+        162193467211776000
+    ],
+    "references": [
+        "EIS A052794"
+    ],
+    "gf": "_x^5*ln(-1/(-1+_x))",
+    "rec": "{(-_n^2+4*_n+5)*_f(_n)+(_n-4)*_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 720, _f(7) = 2520}",
+    "closedform": "GAMMA(_n+1)/(_n-5)",
+    "equiv": "1/_n"
+}