combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs05/ecs_0511.json

@@ -0,0 +1,38 @@
+{
+    "id": 511,
+    "name": "a(n) = n! * Fibonacci(n)",
+    "description": "a(n) = n! * Fibonacci(n)",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Prod(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        12,
+        72,
+        600,
+        5760,
+        65520,
+        846720,
+        12337920,
+        199584000,
+        3552595200,
+        68976230400,
+        1450895846400,
+        32866215782400,
+        797681364480000,
+        20650793619456000,
+        568032822669312000,
+        16543733655601152000,
+        508598164809326592000,
+        16458582085314969600000
+    ],
+    "references": [
+        "EIS A005443"
+    ],
+    "gf": "(_x^2-1)/(_x^2+_x-1)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+(-_n-2)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 1, _f(2) = 2}",
+    "closedform": "(Sum(-1/5*(_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z-1))+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "((1/2*5^(1/2)-1/2)^2-1)/(-2*(1/2*5^(1/2)-1/2)^2-1/2*5^(1/2)+1/2)*exp(-_n)^(-ln(2)+ln(5^(1/2)-1))"
+}

combstruct/data/ecs05/ecs_0512.json

@@ -0,0 +1,38 @@
+{
+    "id": 512,
+    "name": "E.g.f. 1/((1-x)(1-x^3))",
+    "description": "E.g.f. 1/((1-x)(1-x^3))",
+    "specification": "{S = Prod(Sequence(Prod(Z,Z,Z)),Sequence(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        12,
+        48,
+        240,
+        2160,
+        15120,
+        120960,
+        1451520,
+        14515200,
+        159667200,
+        2395008000,
+        31135104000,
+        435891456000,
+        7846046208000,
+        125536739328000,
+        2134124568576000,
+        44816615940096000,
+        851515702861824000,
+        17030314057236480000
+    ],
+    "references": [
+        "EIS A052569"
+    ],
+    "gf": "1/(_x^3-1)/(-1+_x)",
+    "rec": "{(-_n^3-7*_n^2-14*_n-8)*_f(_n)+(-_n-2)*_f(_n+1)-_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2)= 2}",
+    "closedform": "(2/3+1/3*_n+Sum(1/9*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1)))*_n!",
+    "equiv": "(-1/3*exp(Complex(1)*(-arctan(RootOf(4*_Z^2-3,-.866025403784439)/(-1-RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)))+Pi)*_n)/RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^3/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439)))-1/3*exp(Complex(-1)*(-arctan(RootOf(4*_Z^2-3,-.866025403784439)/(-1-RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)))+Pi)*conjugate(_n))/RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^3/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))))*(RootOf(4*_Z^2-3,-.866025403784439)^2+RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)^2+2*RootOf(2*_Z^3+3*_Z^2+3*_Z+1,-.5)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0513.json

@@ -0,0 +1,38 @@
+{
+    "id": 513,
+    "name": "a(n) is the n-th quartic factorial number divided by 4",
+    "description": "a(n) is the n-th quartic factorial number divided by 4",
+    "specification": "{S = Prod(Z,Sequence(Union(Z,Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        8,
+        96,
+        1536,
+        30720,
+        737280,
+        20643840,
+        660602880,
+        23781703680,
+        951268147200,
+        41855798476800,
+        2009078326886400,
+        104472072998092800,
+        5850436087893196800,
+        351026165273591808000,
+        22465674577509875712000,
+        1527665871270671548416000,
+        109991942731488351485952000,
+        8359387647593114712932352000,
+        668751011807449177034588160000
+    ],
+    "references": [
+        "EIS A034177"
+    ],
+    "gf": "-_x/(-1+4*_x)",
+    "rec": "{(-4*_n-4)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 1}",
+    "closedform": "(2^(2*_n-2)+piecewise(_n = 0,-1/4,0))*_n!",
+    "equiv": "1/4*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs05/ecs_0514.json

@@ -0,0 +1,38 @@
+{
+    "id": 514,
+    "name": "E.g.f. x^3/(1-x)^2",
+    "description": "E.g.f. x^3/(1-x)^2",
+    "specification": "{S = Prod(Z,Z,Z,Sequence(Z),Sequence(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        48,
+        360,
+        2880,
+        25200,
+        241920,
+        2540160,
+        29030400,
+        359251200,
+        4790016000,
+        68497228800,
+        1046139494400,
+        16999766784000,
+        292919058432000,
+        5335311421440000,
+        102437979291648000,
+        2067966706950144000,
+        43792236147179520000
+    ],
+    "references": [
+        "EIS A052571"
+    ],
+    "gf": "_x^3/(-1+_x)^2",
+    "rec": "{(-_n^2+1)*_f(_n)+(_n-2)*_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3) = 6, _f(4) = 48}",
+    "closedform": "(_n-2+piecewise(_n = 0,2,_n = 1,1,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs05/ecs_0515.json

@@ -0,0 +1,38 @@
+{
+    "id": 515,
+    "name": "Expansion of e.g.f.: (1+2*x-2*x^2)/(1-x)^2",
+    "description": "Expansion of e.g.f.: (1+2*x-2*x^2)/(1-x)^2",
+    "specification": "{S = Prod(Union(Z,Z,Sequence(Z)),Sequence(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        10,
+        36,
+        168,
+        960,
+        6480,
+        50400,
+        443520,
+        4354560,
+        47174400,
+        558835200,
+        7185024000,
+        99632332800,
+        1482030950400,
+        23538138624000,
+        397533007872000,
+        7113748561920000,
+        134449847820288000,
+        2676192208994304000,
+        55956746188062720000
+    ],
+    "references": [
+        "EIS A052572"
+    ],
+    "gf": "-(2*_x^2-2*_x-1)/(-1+_x)^2",
+    "rec": "{(-_n^2-5*_n-4)*_f(_n)+(_n+3)*_f(_n+1), _f(0) = 1, _f(1) = 4, _f(2) = 10, _f(3) = 36}",
+    "closedform": "(_n+3+piecewise(_n = 0,-2,0))*_n!",
+    "equiv": "_n"
+}

combstruct/data/ecs05/ecs_0516.json

@@ -0,0 +1,38 @@
+{
+    "id": 516,
+    "name": "(1+3^n)*n!",
+    "description": "(1+3^n)*n!",
+    "specification": "{S = Union(Sequence(Z),Sequence(Union(Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        4,
+        20,
+        168,
+        1968,
+        29280,
+        525600,
+        11027520,
+        264579840,
+        7142929920,
+        214280640000,
+        7071181286400,
+        254561568307200,
+        9927888709939200,
+        416971151460864000,
+        18763699200390144000,
+        900657519773147136000,
+        45933532797055647744000,
+        2480410758236257566720000,
+        141383412976176480485376000,
+        8483004773704784812769280000
+    ],
+    "references": [
+        "EIS A052573"
+    ],
+    "gf": "-2*(-1+2*_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) = 2, _f(1) = 4, _f(2) = 20}",
+    "closedform": "(1+3^_n)*_n!",
+    "equiv": "exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs05/ecs_0517.json

@@ -0,0 +1,38 @@
+{
+    "id": 517,
+    "name": "Expansion of e.g.f. (1-2x)/(1-3x+x^2)",
+    "description": "Expansion of e.g.f. (1-2x)/(1-3x+x^2)",
+    "specification": "{S = Sequence(Prod(Z,Sequence(Prod(Z,Sequence(Z)))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        4,
+        30,
+        312,
+        4080,
+        64080,
+        1174320,
+        24595200,
+        579519360,
+        15172012800,
+        436929292800,
+        13726748851200,
+        467182235520000,
+        17123385600921600,
+        672444082582272000,
+        28167703419727872000,
+        1253648083943743488000,
+        59077679286525419520000,
+        2938680074623188639744000,
+        153871286348511658967040000
+    ],
+    "references": [
+        "EIS A052574"
+    ],
+    "gf": "-(-1+2*_x)/(_x^2-3*_x+1)",
+    "rec": "{(_n^2+3*_n+2)*_f(_n)+(-3*_n-6)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 1}",
+    "closedform": "Sum(1/5*(-1+4*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-3*_Z+1))*_n!",
+    "equiv": "-(2-5^(1/2))/(-2*(3/2-1/2*5^(1/2))^2+9/2-3/2*5^(1/2))*exp(-_n)^(-ln(2)+ln(3-5^(1/2)))"
+}

combstruct/data/ecs05/ecs_0518.json

@@ -0,0 +1,38 @@
+{
+    "id": 518,
+    "name": "Expansion of e.g.f. (1-x)/(1-2*x-2*x^2+2*x^3)",
+    "description": "Expansion of e.g.f. (1-x)/(1-2*x-2*x^2+2*x^3)",
+    "specification": "{S = Sequence(Prod(Z,Union(Z,Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        8,
+        48,
+        528,
+        6240,
+        95040,
+        1632960,
+        32578560,
+        725760000,
+        18027878400,
+        491774976000,
+        14645952921600,
+        472356889804800,
+        16409046682828800,
+        610694391250944000,
+        24244324628299776000,
+        1022626965270822912000,
+        45672177943139844096000,
+        2153106599306687152128000,
+        106845582324148910161920000
+    ],
+    "references": [
+        "EIS A052575"
+    ],
+    "gf": "-(-1+_x)/(2*_x^3-2*_x^2-2*_x+1)",
+    "rec": "{(2*_n^3+12*_n^2+22*_n+12)*_f(_n)+(-2*_n^2-10*_n-12)*_f(_n+1)+(-2*_n-6)*_f(_n+2)+_f(_n+3), _f(0) = 1, _f(1) = 1, _f(2) = 8}",
+    "closedform": "Sum(-1/37*(9*_alpha^2-12*_alpha-5)*_alpha^(-1-_n),_alpha = RootOf(2*_Z^3-2*_Z^2-2*_Z+1))*_n!",
+    "equiv": "-(-1+RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685))/(-6*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^3+4*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^2+2*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685))*(-2*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)^2+2*RootOf(2*_Z^3-2*_Z^2-2*_Z+1,.403031716762685)+2)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0519.json

@@ -0,0 +1,38 @@
+{
+    "id": 519,
+    "name": "E.g.f. (1+x^2-2x^3)/(1-2x)",
+    "description": "E.g.f. (1+x^2-2x^3)/(1-2x)",
+    "specification": "{S = Union(Prod(Z,Z),Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        10,
+        48,
+        384,
+        3840,
+        46080,
+        645120,
+        10321920,
+        185794560,
+        3715891200,
+        81749606400,
+        1961990553600,
+        51011754393600,
+        1428329123020800,
+        42849873690624000,
+        1371195958099968000,
+        46620662575398912000,
+        1678343852714360832000,
+        63777066403145711616000,
+        2551082656125828464640000
+    ],
+    "references": [
+        "EIS A052576"
+    ],
+    "gf": "(2*_x^3-_x^2-1)/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 1, _f(1) = 2, _f(2) = 10, _f(3) = 48}",
+    "closedform": "(2^_n+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0520.json

@@ -0,0 +1,38 @@
+{
+    "id": 520,
+    "name": "a(n) = (3^(n+1)-1)*n!/2",
+    "description": "a(n) = (3^(n+1)-1)*n!/2",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Union(Z,Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        4,
+        26,
+        240,
+        2904,
+        43680,
+        786960,
+        16531200,
+        396789120,
+        10713669120,
+        321413702400,
+        10606692096000,
+        381841394457600,
+        14891820610867200,
+        625456552834713600,
+        28145546185236480000,
+        1350986237814140928000,
+        68900298484208615424000,
+        3720616124549638938624000,
+        212075119220974519910400000,
+        12724507155691373202800640000
+    ],
+    "references": [
+        "EIS A052577"
+    ],
+    "gf": "1/(-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) = 1, _f(1) = 4}",
+    "closedform": "(-1/2+1/2*3^(_n+1))*_n!",
+    "equiv": "3/2*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs05/ecs_0521.json

@@ -0,0 +1,38 @@
+{
+    "id": 521,
+    "name": "a(n) = (2*n+4)!!/4!!, related to A000165 (even double factorials)",
+    "description": "a(n) = (2*n+4)!!/4!!, related to A000165 (even double factorials)",
+    "specification": "{S = Prod(Z,Z,Z,Sequence(Union(Z,Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        0,
+        0,
+        6,
+        48,
+        480,
+        5760,
+        80640,
+        1290240,
+        23224320,
+        464486400,
+        10218700800,
+        245248819200,
+        6376469299200,
+        178541140377600,
+        5356234211328000,
+        171399494762496000,
+        5827582821924864000,
+        209792981589295104000,
+        7972133300393213952000,
+        318885332015728558080000
+    ],
+    "references": [
+        "EIS A051578"
+    ],
+    "gf": "-_x^3/(-1+2*_x)",
+    "rec": "{(-2*_n-2)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 0, _f(2) = 0, _f(3)= 6}",
+    "closedform": "(1/8*2^_n+piecewise(_n = 0,-1/8,_n = 1,-1/4,_n = 2,-1/2,0))*_n!",
+    "equiv": "1/8*exp(-_n)^(-ln(2))"
+}

combstruct/data/ecs05/ecs_0522.json

@@ -0,0 +1,38 @@
+{
+    "id": 522,
+    "name": "a(0) = 0, a(n) = 4*n! for n > 0",
+    "description": "a(0) = 0, a(n) = 4*n! for n > 0",
+    "specification": "{S = Prod(Union(Z,Z,Z,Z),Sequence(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        4,
+        8,
+        24,
+        96,
+        480,
+        2880,
+        20160,
+        161280,
+        1451520,
+        14515200,
+        159667200,
+        1916006400,
+        24908083200,
+        348713164800,
+        5230697472000,
+        83691159552000,
+        1422749712384000,
+        25609494822912000,
+        486580401635328000,
+        9731608032706560000
+    ],
+    "references": [
+        "EIS A052578"
+    ],
+    "gf": "-4*_x/(-1+_x)",
+    "rec": "{(-1-_n)*_f(_n)+_f(_n+1), _f(0) = 0, _f(1) = 4, _f(2) = 8}",
+    "closedform": "(4+piecewise(_n = 0,-4,0))*_n!",
+    "equiv": "4"
+}

combstruct/data/ecs05/ecs_0523.json

@@ -0,0 +1,38 @@
+{
+    "id": 523,
+    "name": "E.g.f. (2+x+x^2)/((1-x)(1+x+x^2))",
+    "description": "E.g.f. (2+x+x^2)/((1-x)(1+x+x^2))",
+    "specification": "{S = Union(Sequence(Prod(Z,Z,Z)),Sequence(Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        2,
+        1,
+        2,
+        12,
+        24,
+        120,
+        1440,
+        5040,
+        40320,
+        725760,
+        3628800,
+        39916800,
+        958003200,
+        6227020800,
+        87178291200,
+        2615348736000,
+        20922789888000,
+        355687428096000,
+        12804747411456000,
+        121645100408832000,
+        2432902008176640000
+    ],
+    "references": [
+        "EIS A052579"
+    ],
+    "gf": "-(_x^2+_x+2)/(_x^3-1)",
+    "rec": "{(-_n^3-6*_n^2-11*_n-6)*_f(_n)+_f(_n+3), _f(0) = 2, _f(1) = 1, _f(2) = 2, _f(3) = 12}",
+    "closedform": "Sum(1/3*(1+_alpha)^2*_alpha^(-1-_n),_alpha = RootOf(_Z^3-1))*_n!",
+    "equiv": "4/3+exp(Complex(2/3)*Pi*_n)/(-3/2+Complex(3/2)*3^(1/2))+exp(Complex(-2/3)*Pi*_n)/(-3/2+Complex(-3/2)*3^(1/2))"
+}

combstruct/data/ecs05/ecs_0524.json

@@ -0,0 +1,38 @@
+{
+    "id": 524,
+    "name": "E.g.f. (1-2x)/(1-2x-x^2)",
+    "description": "E.g.f. (1-2x)/(1-2x-x^2)",
+    "specification": "{S = Sequence(Prod(Z,Z,Sequence(Union(Z,Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        2,
+        12,
+        120,
+        1440,
+        20880,
+        352800,
+        6814080,
+        148055040,
+        3574368000,
+        94922150400,
+        2749948185600,
+        86306508288000,
+        2917072801843200,
+        105636550795776000,
+        4080467097907200000,
+        167469023145295872000,
+        7277507765190254592000,
+        333819700992920862720000,
+        16118240990489131253760000
+    ],
+    "references": [
+        "EIS A052580"
+    ],
+    "gf": "(-1+2*_x)/(_x^2+2*_x-1)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+(-2*_n-4)*_f(_n+1)+_f(_n+2), _f(0) = 1, _f(1) = 0}",
+    "closedform": "Sum(1/4*(-1+3*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+2*_Z-1))*_n!",
+    "equiv": "(-3+2*2^(1/2))/(-2*(2^(1/2)-1)^2-2*2^(1/2)+2)*exp(-_n)^ln(2^(1/2)-1)"
+}

combstruct/data/ecs05/ecs_0525.json

@@ -0,0 +1,38 @@
+{
+    "id": 525,
+    "name": "E.g.f. (1-x)/(1-x-x^4)",
+    "description": "E.g.f. (1-x)/(1-x-x^4)",
+    "specification": "{S = Sequence(Prod(Z,Z,Z,Z,Sequence(Z)))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        1,
+        0,
+        0,
+        0,
+        24,
+        120,
+        720,
+        5040,
+        80640,
+        1088640,
+        14515200,
+        199584000,
+        3353011200,
+        62270208000,
+        1220496076800,
+        24845812992000,
+        543992537088000,
+        12804747411456000,
+        320118685286400000,
+        8393511928209408000,
+        231125690776780800000
+    ],
+    "references": [
+        "EIS A052581"
+    ],
+    "gf": "(-1+_x)/(_x^4+_x-1)",
+    "rec": "{(-_n^4-10*_n^3-35*_n^2-50*_n-24)*_f(_n)+(-_n-4)*_f(_n+3)+_f(_n+4), _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 0}",
+    "closedform": "Sum(-1/283*(12*_alpha^3+16*_alpha^2-73*_alpha+9)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z-1))*_n!",
+    "equiv": "(-1+RootOf(_Z^4+_Z-1,.724491959000516))/(-4*RootOf(_Z^4+_Z-1,.724491959000516)^4-RootOf(_Z^4+_Z-1,.724491959000516))*(RootOf(_Z^4+_Z-1,.724491959000516)^3+1)^(-ln(exp(-_n)))"
+}

combstruct/data/ecs05/ecs_0526.json

@@ -0,0 +1,38 @@
+{
+    "id": 526,
+    "name": "a(n) = 2*n*n!",
+    "description": "a(n) = 2*n*n!",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Z),Union(Z,Z))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        2,
+        8,
+        36,
+        192,
+        1200,
+        8640,
+        70560,
+        645120,
+        6531840,
+        72576000,
+        878169600,
+        11496038400,
+        161902540800,
+        2440992153600,
+        39230231040000,
+        669529276416000,
+        12093372555264000,
+        230485453406208000,
+        4622513815535616000,
+        97316080327065600000
+    ],
+    "references": [
+        "EIS A052582"
+    ],
+    "gf": "2*_x/(-1+_x)^2",
+    "rec": "{(-_n^2-2*_n-1)*_f(_n)+_f(_n+1)*_n, _f(0) = 0, _f(1) = 2, _f(2) = 8}",
+    "closedform": "2*_n*_n!",
+    "equiv": "2*_n"
+}

combstruct/data/ecs05/ecs_0527.json

@@ -0,0 +1,38 @@
+{
+    "id": 527,
+    "name": "E.g.f. x(1-x)/(1-x-x^2)",
+    "description": "E.g.f. x(1-x)/(1-x-x^2)",
+    "specification": "{S = Prod(Z,Sequence(Prod(Z,Z,Sequence(Z))))}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        0,
+        6,
+        24,
+        240,
+        2160,
+        25200,
+        322560,
+        4717440,
+        76204800,
+        1357171200,
+        26345088000,
+        554204851200,
+        12553673932800,
+        304688127744000,
+        7887891787776000,
+        216969331138560000,
+        6319142847553536000,
+        194267225352904704000,
+        6286618789128437760000
+    ],
+    "references": [
+        "EIS A052583"
+    ],
+    "gf": "_x*(-1+_x)/(_x^2+_x-1)",
+    "rec": "{(-_n^2-3*_n-2)*_f(_n)+(-_n-2)*_f(_n+1)+_f(_n+2), _f(0) = 0, _f(1) = 1, _f(2) = 0}",
+    "closedform": "(Sum(-1/5*(4*_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z-1))+piecewise(_n = 0,1,0))*_n!",
+    "equiv": "(1/2*5^(1/2)-1/2)*(-3/2+1/2*5^(1/2))/(-2*(1/2*5^(1/2)-1/2)^2-1/2*5^(1/2)+1/2)*exp(-_n)^(-ln(2)+ln(5^(1/2)-1))"
+}