combstruct 0.1.0a0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- combstruct/__init__.py +60 -0
- combstruct/__main__.py +5 -0
- combstruct/catalog.py +293 -0
- combstruct/data/ecs00/ecs_0001.json +35 -0
- combstruct/data/ecs00/ecs_0002.json +37 -0
- combstruct/data/ecs00/ecs_0003.json +35 -0
- combstruct/data/ecs00/ecs_0004.json +35 -0
- combstruct/data/ecs00/ecs_0005.json +35 -0
- combstruct/data/ecs00/ecs_0006.json +39 -0
- combstruct/data/ecs00/ecs_0007.json +39 -0
- combstruct/data/ecs00/ecs_0008.json +39 -0
- combstruct/data/ecs00/ecs_0009.json +40 -0
- combstruct/data/ecs00/ecs_0010.json +38 -0
- combstruct/data/ecs00/ecs_0011.json +38 -0
- combstruct/data/ecs00/ecs_0012.json +38 -0
- combstruct/data/ecs00/ecs_0013.json +38 -0
- combstruct/data/ecs00/ecs_0014.json +38 -0
- combstruct/data/ecs00/ecs_0015.json +37 -0
- combstruct/data/ecs00/ecs_0016.json +35 -0
- combstruct/data/ecs00/ecs_0017.json +38 -0
- combstruct/data/ecs00/ecs_0018.json +37 -0
- combstruct/data/ecs00/ecs_0019.json +37 -0
- combstruct/data/ecs00/ecs_0020.json +40 -0
- combstruct/data/ecs00/ecs_0021.json +38 -0
- combstruct/data/ecs00/ecs_0022.json +38 -0
- combstruct/data/ecs00/ecs_0023.json +39 -0
- combstruct/data/ecs00/ecs_0024.json +37 -0
- combstruct/data/ecs00/ecs_0025.json +37 -0
- combstruct/data/ecs00/ecs_0026.json +37 -0
- combstruct/data/ecs00/ecs_0027.json +38 -0
- combstruct/data/ecs00/ecs_0028.json +37 -0
- combstruct/data/ecs00/ecs_0029.json +38 -0
- combstruct/data/ecs00/ecs_0030.json +38 -0
- combstruct/data/ecs00/ecs_0031.json +38 -0
- combstruct/data/ecs00/ecs_0032.json +38 -0
- combstruct/data/ecs00/ecs_0033.json +37 -0
- combstruct/data/ecs00/ecs_0034.json +37 -0
- combstruct/data/ecs00/ecs_0035.json +38 -0
- combstruct/data/ecs00/ecs_0036.json +36 -0
- combstruct/data/ecs00/ecs_0037.json +36 -0
- combstruct/data/ecs00/ecs_0038.json +38 -0
- combstruct/data/ecs00/ecs_0039.json +35 -0
- combstruct/data/ecs00/ecs_0040.json +37 -0
- combstruct/data/ecs00/ecs_0041.json +36 -0
- combstruct/data/ecs00/ecs_0042.json +37 -0
- combstruct/data/ecs00/ecs_0043.json +35 -0
- combstruct/data/ecs00/ecs_0044.json +35 -0
- combstruct/data/ecs00/ecs_0045.json +35 -0
- combstruct/data/ecs00/ecs_0046.json +38 -0
- combstruct/data/ecs00/ecs_0047.json +38 -0
- combstruct/data/ecs00/ecs_0048.json +41 -0
- combstruct/data/ecs00/ecs_0049.json +39 -0
- combstruct/data/ecs00/ecs_0050.json +38 -0
- combstruct/data/ecs00/ecs_0051.json +39 -0
- combstruct/data/ecs00/ecs_0052.json +42 -0
- combstruct/data/ecs00/ecs_0053.json +39 -0
- combstruct/data/ecs00/ecs_0054.json +38 -0
- combstruct/data/ecs00/ecs_0055.json +39 -0
- combstruct/data/ecs00/ecs_0056.json +35 -0
- combstruct/data/ecs00/ecs_0057.json +35 -0
- combstruct/data/ecs00/ecs_0058.json +35 -0
- combstruct/data/ecs00/ecs_0059.json +35 -0
- combstruct/data/ecs00/ecs_0060.json +35 -0
- combstruct/data/ecs00/ecs_0061.json +35 -0
- combstruct/data/ecs00/ecs_0062.json +35 -0
- combstruct/data/ecs00/ecs_0063.json +35 -0
- combstruct/data/ecs00/ecs_0064.json +37 -0
- combstruct/data/ecs00/ecs_0065.json +37 -0
- combstruct/data/ecs00/ecs_0066.json +35 -0
- combstruct/data/ecs00/ecs_0067.json +36 -0
- combstruct/data/ecs00/ecs_0068.json +39 -0
- combstruct/data/ecs00/ecs_0069.json +36 -0
- combstruct/data/ecs00/ecs_0070.json +35 -0
- combstruct/data/ecs00/ecs_0071.json +39 -0
- combstruct/data/ecs00/ecs_0072.json +39 -0
- combstruct/data/ecs00/ecs_0073.json +37 -0
- combstruct/data/ecs00/ecs_0074.json +35 -0
- combstruct/data/ecs00/ecs_0075.json +37 -0
- combstruct/data/ecs00/ecs_0076.json +40 -0
- combstruct/data/ecs00/ecs_0077.json +38 -0
- combstruct/data/ecs00/ecs_0078.json +36 -0
- combstruct/data/ecs00/ecs_0079.json +35 -0
- combstruct/data/ecs00/ecs_0080.json +38 -0
- combstruct/data/ecs00/ecs_0081.json +38 -0
- combstruct/data/ecs00/ecs_0082.json +38 -0
- combstruct/data/ecs00/ecs_0083.json +38 -0
- combstruct/data/ecs00/ecs_0084.json +38 -0
- combstruct/data/ecs00/ecs_0085.json +38 -0
- combstruct/data/ecs00/ecs_0086.json +38 -0
- combstruct/data/ecs00/ecs_0087.json +38 -0
- combstruct/data/ecs00/ecs_0088.json +38 -0
- combstruct/data/ecs00/ecs_0089.json +35 -0
- combstruct/data/ecs00/ecs_0090.json +35 -0
- combstruct/data/ecs00/ecs_0091.json +35 -0
- combstruct/data/ecs00/ecs_0092.json +37 -0
- combstruct/data/ecs00/ecs_0093.json +37 -0
- combstruct/data/ecs00/ecs_0094.json +37 -0
- combstruct/data/ecs00/ecs_0095.json +35 -0
- combstruct/data/ecs00/ecs_0096.json +35 -0
- combstruct/data/ecs00/ecs_0097.json +38 -0
- combstruct/data/ecs00/ecs_0098.json +38 -0
- combstruct/data/ecs00/ecs_0099.json +36 -0
- combstruct/data/ecs01/ecs_0100.json +35 -0
- combstruct/data/ecs01/ecs_0101.json +38 -0
- combstruct/data/ecs01/ecs_0102.json +35 -0
- combstruct/data/ecs01/ecs_0103.json +38 -0
- combstruct/data/ecs01/ecs_0104.json +38 -0
- combstruct/data/ecs01/ecs_0105.json +38 -0
- combstruct/data/ecs01/ecs_0106.json +38 -0
- combstruct/data/ecs01/ecs_0107.json +35 -0
- combstruct/data/ecs01/ecs_0108.json +35 -0
- combstruct/data/ecs01/ecs_0109.json +38 -0
- combstruct/data/ecs01/ecs_0110.json +36 -0
- combstruct/data/ecs01/ecs_0111.json +36 -0
- combstruct/data/ecs01/ecs_0112.json +38 -0
- combstruct/data/ecs01/ecs_0113.json +35 -0
- combstruct/data/ecs01/ecs_0114.json +38 -0
- combstruct/data/ecs01/ecs_0115.json +39 -0
- combstruct/data/ecs01/ecs_0116.json +38 -0
- combstruct/data/ecs01/ecs_0117.json +35 -0
- combstruct/data/ecs01/ecs_0118.json +35 -0
- combstruct/data/ecs01/ecs_0119.json +35 -0
- combstruct/data/ecs01/ecs_0120.json +36 -0
- combstruct/data/ecs01/ecs_0121.json +38 -0
- combstruct/data/ecs01/ecs_0122.json +36 -0
- combstruct/data/ecs01/ecs_0123.json +34 -0
- combstruct/data/ecs01/ecs_0124.json +37 -0
- combstruct/data/ecs01/ecs_0125.json +36 -0
- combstruct/data/ecs01/ecs_0126.json +35 -0
- combstruct/data/ecs01/ecs_0127.json +38 -0
- combstruct/data/ecs01/ecs_0128.json +35 -0
- combstruct/data/ecs01/ecs_0129.json +35 -0
- combstruct/data/ecs01/ecs_0130.json +36 -0
- combstruct/data/ecs01/ecs_0131.json +37 -0
- combstruct/data/ecs01/ecs_0132.json +38 -0
- combstruct/data/ecs01/ecs_0133.json +38 -0
- combstruct/data/ecs01/ecs_0134.json +38 -0
- combstruct/data/ecs01/ecs_0135.json +38 -0
- combstruct/data/ecs01/ecs_0136.json +38 -0
- combstruct/data/ecs01/ecs_0137.json +35 -0
- combstruct/data/ecs01/ecs_0138.json +39 -0
- combstruct/data/ecs01/ecs_0139.json +38 -0
- combstruct/data/ecs01/ecs_0140.json +38 -0
- combstruct/data/ecs01/ecs_0141.json +35 -0
- combstruct/data/ecs01/ecs_0142.json +38 -0
- combstruct/data/ecs01/ecs_0143.json +38 -0
- combstruct/data/ecs01/ecs_0144.json +34 -0
- combstruct/data/ecs01/ecs_0145.json +38 -0
- combstruct/data/ecs01/ecs_0146.json +38 -0
- combstruct/data/ecs01/ecs_0147.json +38 -0
- combstruct/data/ecs01/ecs_0148.json +35 -0
- combstruct/data/ecs01/ecs_0149.json +36 -0
- combstruct/data/ecs01/ecs_0150.json +38 -0
- combstruct/data/ecs01/ecs_0151.json +39 -0
- combstruct/data/ecs01/ecs_0152.json +35 -0
- combstruct/data/ecs01/ecs_0153.json +37 -0
- combstruct/data/ecs01/ecs_0154.json +36 -0
- combstruct/data/ecs01/ecs_0155.json +38 -0
- combstruct/data/ecs01/ecs_0156.json +37 -0
- combstruct/data/ecs01/ecs_0157.json +36 -0
- combstruct/data/ecs01/ecs_0158.json +38 -0
- combstruct/data/ecs01/ecs_0159.json +37 -0
- combstruct/data/ecs01/ecs_0160.json +36 -0
- combstruct/data/ecs01/ecs_0161.json +35 -0
- combstruct/data/ecs01/ecs_0162.json +35 -0
- combstruct/data/ecs01/ecs_0163.json +38 -0
- combstruct/data/ecs01/ecs_0164.json +38 -0
- combstruct/data/ecs01/ecs_0165.json +38 -0
- combstruct/data/ecs01/ecs_0166.json +35 -0
- combstruct/data/ecs01/ecs_0167.json +34 -0
- combstruct/data/ecs01/ecs_0168.json +38 -0
- combstruct/data/ecs01/ecs_0169.json +38 -0
- combstruct/data/ecs01/ecs_0170.json +38 -0
- combstruct/data/ecs01/ecs_0171.json +38 -0
- combstruct/data/ecs01/ecs_0172.json +36 -0
- combstruct/data/ecs01/ecs_0173.json +36 -0
- combstruct/data/ecs01/ecs_0174.json +38 -0
- combstruct/data/ecs01/ecs_0175.json +38 -0
- combstruct/data/ecs01/ecs_0176.json +38 -0
- combstruct/data/ecs01/ecs_0177.json +38 -0
- combstruct/data/ecs01/ecs_0178.json +38 -0
- combstruct/data/ecs01/ecs_0179.json +38 -0
- combstruct/data/ecs01/ecs_0180.json +38 -0
- combstruct/data/ecs01/ecs_0181.json +38 -0
- combstruct/data/ecs01/ecs_0182.json +38 -0
- combstruct/data/ecs01/ecs_0183.json +38 -0
- combstruct/data/ecs01/ecs_0184.json +38 -0
- combstruct/data/ecs01/ecs_0185.json +38 -0
- combstruct/data/ecs01/ecs_0186.json +38 -0
- combstruct/data/ecs01/ecs_0187.json +38 -0
- combstruct/data/ecs01/ecs_0188.json +38 -0
- combstruct/data/ecs01/ecs_0189.json +38 -0
- combstruct/data/ecs01/ecs_0190.json +38 -0
- combstruct/data/ecs01/ecs_0191.json +38 -0
- combstruct/data/ecs01/ecs_0192.json +38 -0
- combstruct/data/ecs01/ecs_0193.json +38 -0
- combstruct/data/ecs01/ecs_0194.json +38 -0
- combstruct/data/ecs01/ecs_0195.json +38 -0
- combstruct/data/ecs01/ecs_0196.json +38 -0
- combstruct/data/ecs01/ecs_0197.json +38 -0
- combstruct/data/ecs01/ecs_0198.json +38 -0
- combstruct/data/ecs01/ecs_0199.json +38 -0
- combstruct/data/ecs02/ecs_0200.json +38 -0
- combstruct/data/ecs02/ecs_0201.json +38 -0
- combstruct/data/ecs02/ecs_0202.json +39 -0
- combstruct/data/ecs02/ecs_0203.json +39 -0
- combstruct/data/ecs02/ecs_0204.json +38 -0
- combstruct/data/ecs02/ecs_0205.json +38 -0
- combstruct/data/ecs02/ecs_0206.json +38 -0
- combstruct/data/ecs02/ecs_0207.json +38 -0
- combstruct/data/ecs02/ecs_0208.json +38 -0
- combstruct/data/ecs02/ecs_0209.json +39 -0
- combstruct/data/ecs02/ecs_0210.json +38 -0
- combstruct/data/ecs02/ecs_0211.json +38 -0
- combstruct/data/ecs02/ecs_0212.json +39 -0
- combstruct/data/ecs02/ecs_0213.json +38 -0
- combstruct/data/ecs02/ecs_0214.json +38 -0
- combstruct/data/ecs02/ecs_0215.json +38 -0
- combstruct/data/ecs02/ecs_0216.json +38 -0
- combstruct/data/ecs02/ecs_0217.json +38 -0
- combstruct/data/ecs02/ecs_0218.json +38 -0
- combstruct/data/ecs02/ecs_0219.json +38 -0
- combstruct/data/ecs02/ecs_0220.json +38 -0
- combstruct/data/ecs02/ecs_0221.json +38 -0
- combstruct/data/ecs02/ecs_0222.json +38 -0
- combstruct/data/ecs02/ecs_0223.json +38 -0
- combstruct/data/ecs02/ecs_0224.json +38 -0
- combstruct/data/ecs02/ecs_0225.json +38 -0
- combstruct/data/ecs02/ecs_0226.json +38 -0
- combstruct/data/ecs02/ecs_0227.json +38 -0
- combstruct/data/ecs02/ecs_0228.json +38 -0
- combstruct/data/ecs02/ecs_0229.json +38 -0
- combstruct/data/ecs02/ecs_0230.json +38 -0
- combstruct/data/ecs02/ecs_0231.json +37 -0
- combstruct/data/ecs02/ecs_0232.json +39 -0
- combstruct/data/ecs02/ecs_0233.json +38 -0
- combstruct/data/ecs02/ecs_0234.json +38 -0
- combstruct/data/ecs02/ecs_0235.json +38 -0
- combstruct/data/ecs02/ecs_0236.json +38 -0
- combstruct/data/ecs02/ecs_0237.json +38 -0
- combstruct/data/ecs02/ecs_0238.json +38 -0
- combstruct/data/ecs02/ecs_0239.json +38 -0
- combstruct/data/ecs02/ecs_0240.json +38 -0
- combstruct/data/ecs02/ecs_0241.json +38 -0
- combstruct/data/ecs02/ecs_0242.json +38 -0
- combstruct/data/ecs02/ecs_0243.json +38 -0
- combstruct/data/ecs02/ecs_0244.json +38 -0
- combstruct/data/ecs02/ecs_0245.json +38 -0
- combstruct/data/ecs02/ecs_0246.json +38 -0
- combstruct/data/ecs02/ecs_0247.json +36 -0
- combstruct/data/ecs02/ecs_0248.json +38 -0
- combstruct/data/ecs02/ecs_0249.json +38 -0
- combstruct/data/ecs02/ecs_0250.json +38 -0
- combstruct/data/ecs02/ecs_0251.json +38 -0
- combstruct/data/ecs02/ecs_0252.json +38 -0
- combstruct/data/ecs02/ecs_0253.json +38 -0
- combstruct/data/ecs02/ecs_0254.json +39 -0
- combstruct/data/ecs02/ecs_0255.json +38 -0
- combstruct/data/ecs02/ecs_0256.json +38 -0
- combstruct/data/ecs02/ecs_0257.json +38 -0
- combstruct/data/ecs02/ecs_0258.json +38 -0
- combstruct/data/ecs02/ecs_0259.json +38 -0
- combstruct/data/ecs02/ecs_0260.json +38 -0
- combstruct/data/ecs02/ecs_0261.json +38 -0
- combstruct/data/ecs02/ecs_0262.json +38 -0
- combstruct/data/ecs02/ecs_0263.json +38 -0
- combstruct/data/ecs02/ecs_0264.json +37 -0
- combstruct/data/ecs02/ecs_0265.json +34 -0
- combstruct/data/ecs02/ecs_0266.json +37 -0
- combstruct/data/ecs02/ecs_0267.json +39 -0
- combstruct/data/ecs02/ecs_0268.json +39 -0
- combstruct/data/ecs02/ecs_0269.json +39 -0
- combstruct/data/ecs02/ecs_0270.json +38 -0
- combstruct/data/ecs02/ecs_0271.json +38 -0
- combstruct/data/ecs02/ecs_0272.json +38 -0
- combstruct/data/ecs02/ecs_0273.json +38 -0
- combstruct/data/ecs02/ecs_0274.json +38 -0
- combstruct/data/ecs02/ecs_0275.json +38 -0
- combstruct/data/ecs02/ecs_0276.json +38 -0
- combstruct/data/ecs02/ecs_0277.json +38 -0
- combstruct/data/ecs02/ecs_0278.json +38 -0
- combstruct/data/ecs02/ecs_0279.json +38 -0
- combstruct/data/ecs02/ecs_0280.json +38 -0
- combstruct/data/ecs02/ecs_0281.json +38 -0
- combstruct/data/ecs02/ecs_0282.json +38 -0
- combstruct/data/ecs02/ecs_0283.json +38 -0
- combstruct/data/ecs02/ecs_0284.json +38 -0
- combstruct/data/ecs02/ecs_0285.json +38 -0
- combstruct/data/ecs02/ecs_0286.json +38 -0
- combstruct/data/ecs02/ecs_0287.json +38 -0
- combstruct/data/ecs02/ecs_0288.json +38 -0
- combstruct/data/ecs02/ecs_0289.json +38 -0
- combstruct/data/ecs02/ecs_0290.json +38 -0
- combstruct/data/ecs02/ecs_0291.json +35 -0
- combstruct/data/ecs02/ecs_0292.json +35 -0
- combstruct/data/ecs02/ecs_0293.json +35 -0
- combstruct/data/ecs02/ecs_0294.json +35 -0
- combstruct/data/ecs02/ecs_0295.json +35 -0
- combstruct/data/ecs02/ecs_0296.json +35 -0
- combstruct/data/ecs02/ecs_0297.json +38 -0
- combstruct/data/ecs02/ecs_0298.json +37 -0
- combstruct/data/ecs02/ecs_0299.json +36 -0
- combstruct/data/ecs03/ecs_0300.json +36 -0
- combstruct/data/ecs03/ecs_0301.json +36 -0
- combstruct/data/ecs03/ecs_0302.json +36 -0
- combstruct/data/ecs03/ecs_0303.json +36 -0
- combstruct/data/ecs03/ecs_0304.json +38 -0
- combstruct/data/ecs03/ecs_0305.json +38 -0
- combstruct/data/ecs03/ecs_0306.json +38 -0
- combstruct/data/ecs03/ecs_0307.json +38 -0
- combstruct/data/ecs03/ecs_0308.json +38 -0
- combstruct/data/ecs03/ecs_0309.json +38 -0
- combstruct/data/ecs03/ecs_0310.json +38 -0
- combstruct/data/ecs03/ecs_0311.json +38 -0
- combstruct/data/ecs03/ecs_0312.json +38 -0
- combstruct/data/ecs03/ecs_0313.json +38 -0
- combstruct/data/ecs03/ecs_0314.json +38 -0
- combstruct/data/ecs03/ecs_0315.json +38 -0
- combstruct/data/ecs03/ecs_0316.json +38 -0
- combstruct/data/ecs03/ecs_0317.json +38 -0
- combstruct/data/ecs03/ecs_0318.json +38 -0
- combstruct/data/ecs03/ecs_0319.json +38 -0
- combstruct/data/ecs03/ecs_0320.json +38 -0
- combstruct/data/ecs03/ecs_0321.json +38 -0
- combstruct/data/ecs03/ecs_0322.json +38 -0
- combstruct/data/ecs03/ecs_0323.json +38 -0
- combstruct/data/ecs03/ecs_0324.json +38 -0
- combstruct/data/ecs03/ecs_0325.json +38 -0
- combstruct/data/ecs03/ecs_0326.json +38 -0
- combstruct/data/ecs03/ecs_0327.json +38 -0
- combstruct/data/ecs03/ecs_0328.json +38 -0
- combstruct/data/ecs03/ecs_0329.json +38 -0
- combstruct/data/ecs03/ecs_0330.json +38 -0
- combstruct/data/ecs03/ecs_0331.json +38 -0
- combstruct/data/ecs03/ecs_0332.json +38 -0
- combstruct/data/ecs03/ecs_0333.json +38 -0
- combstruct/data/ecs03/ecs_0334.json +38 -0
- combstruct/data/ecs03/ecs_0335.json +38 -0
- combstruct/data/ecs03/ecs_0336.json +38 -0
- combstruct/data/ecs03/ecs_0337.json +38 -0
- combstruct/data/ecs03/ecs_0338.json +38 -0
- combstruct/data/ecs03/ecs_0339.json +38 -0
- combstruct/data/ecs03/ecs_0340.json +38 -0
- combstruct/data/ecs03/ecs_0341.json +38 -0
- combstruct/data/ecs03/ecs_0342.json +38 -0
- combstruct/data/ecs03/ecs_0343.json +38 -0
- combstruct/data/ecs03/ecs_0344.json +38 -0
- combstruct/data/ecs03/ecs_0345.json +39 -0
- combstruct/data/ecs03/ecs_0346.json +38 -0
- combstruct/data/ecs03/ecs_0347.json +38 -0
- combstruct/data/ecs03/ecs_0348.json +38 -0
- combstruct/data/ecs03/ecs_0349.json +38 -0
- combstruct/data/ecs03/ecs_0350.json +38 -0
- combstruct/data/ecs03/ecs_0351.json +39 -0
- combstruct/data/ecs03/ecs_0352.json +38 -0
- combstruct/data/ecs03/ecs_0353.json +38 -0
- combstruct/data/ecs03/ecs_0354.json +38 -0
- combstruct/data/ecs03/ecs_0355.json +38 -0
- combstruct/data/ecs03/ecs_0356.json +38 -0
- combstruct/data/ecs03/ecs_0357.json +38 -0
- combstruct/data/ecs03/ecs_0358.json +38 -0
- combstruct/data/ecs03/ecs_0359.json +38 -0
- combstruct/data/ecs03/ecs_0360.json +38 -0
- combstruct/data/ecs03/ecs_0361.json +38 -0
- combstruct/data/ecs03/ecs_0362.json +38 -0
- combstruct/data/ecs03/ecs_0363.json +38 -0
- combstruct/data/ecs03/ecs_0364.json +38 -0
- combstruct/data/ecs03/ecs_0365.json +38 -0
- combstruct/data/ecs03/ecs_0366.json +38 -0
- combstruct/data/ecs03/ecs_0367.json +38 -0
- combstruct/data/ecs03/ecs_0368.json +38 -0
- combstruct/data/ecs03/ecs_0369.json +38 -0
- combstruct/data/ecs03/ecs_0370.json +38 -0
- combstruct/data/ecs03/ecs_0371.json +39 -0
- combstruct/data/ecs03/ecs_0372.json +38 -0
- combstruct/data/ecs03/ecs_0373.json +38 -0
- combstruct/data/ecs03/ecs_0374.json +38 -0
- combstruct/data/ecs03/ecs_0375.json +38 -0
- combstruct/data/ecs03/ecs_0376.json +38 -0
- combstruct/data/ecs03/ecs_0377.json +38 -0
- combstruct/data/ecs03/ecs_0378.json +38 -0
- combstruct/data/ecs03/ecs_0379.json +38 -0
- combstruct/data/ecs03/ecs_0380.json +38 -0
- combstruct/data/ecs03/ecs_0381.json +38 -0
- combstruct/data/ecs03/ecs_0382.json +38 -0
- combstruct/data/ecs03/ecs_0383.json +38 -0
- combstruct/data/ecs03/ecs_0384.json +38 -0
- combstruct/data/ecs03/ecs_0385.json +34 -0
- combstruct/data/ecs03/ecs_0386.json +38 -0
- combstruct/data/ecs03/ecs_0387.json +34 -0
- combstruct/data/ecs03/ecs_0388.json +38 -0
- combstruct/data/ecs03/ecs_0389.json +38 -0
- combstruct/data/ecs03/ecs_0390.json +35 -0
- combstruct/data/ecs03/ecs_0391.json +35 -0
- combstruct/data/ecs03/ecs_0392.json +38 -0
- combstruct/data/ecs03/ecs_0393.json +38 -0
- combstruct/data/ecs03/ecs_0394.json +38 -0
- combstruct/data/ecs03/ecs_0395.json +37 -0
- combstruct/data/ecs03/ecs_0396.json +37 -0
- combstruct/data/ecs03/ecs_0397.json +38 -0
- combstruct/data/ecs03/ecs_0398.json +38 -0
- combstruct/data/ecs03/ecs_0399.json +38 -0
- combstruct/data/ecs04/ecs_0400.json +37 -0
- combstruct/data/ecs04/ecs_0401.json +38 -0
- combstruct/data/ecs04/ecs_0402.json +38 -0
- combstruct/data/ecs04/ecs_0403.json +38 -0
- combstruct/data/ecs04/ecs_0404.json +34 -0
- combstruct/data/ecs04/ecs_0405.json +38 -0
- combstruct/data/ecs04/ecs_0406.json +38 -0
- combstruct/data/ecs04/ecs_0407.json +38 -0
- combstruct/data/ecs04/ecs_0408.json +38 -0
- combstruct/data/ecs04/ecs_0409.json +38 -0
- combstruct/data/ecs04/ecs_0410.json +38 -0
- combstruct/data/ecs04/ecs_0411.json +38 -0
- combstruct/data/ecs04/ecs_0412.json +38 -0
- combstruct/data/ecs04/ecs_0413.json +39 -0
- combstruct/data/ecs04/ecs_0414.json +38 -0
- combstruct/data/ecs04/ecs_0415.json +37 -0
- combstruct/data/ecs04/ecs_0416.json +37 -0
- combstruct/data/ecs04/ecs_0417.json +38 -0
- combstruct/data/ecs04/ecs_0418.json +38 -0
- combstruct/data/ecs04/ecs_0419.json +38 -0
- combstruct/data/ecs04/ecs_0420.json +38 -0
- combstruct/data/ecs04/ecs_0421.json +37 -0
- combstruct/data/ecs04/ecs_0422.json +38 -0
- combstruct/data/ecs04/ecs_0423.json +37 -0
- combstruct/data/ecs04/ecs_0424.json +38 -0
- combstruct/data/ecs04/ecs_0425.json +38 -0
- combstruct/data/ecs04/ecs_0426.json +38 -0
- combstruct/data/ecs04/ecs_0427.json +38 -0
- combstruct/data/ecs04/ecs_0428.json +34 -0
- combstruct/data/ecs04/ecs_0429.json +34 -0
- combstruct/data/ecs04/ecs_0430.json +34 -0
- combstruct/data/ecs04/ecs_0431.json +38 -0
- combstruct/data/ecs04/ecs_0432.json +38 -0
- combstruct/data/ecs04/ecs_0433.json +38 -0
- combstruct/data/ecs04/ecs_0434.json +38 -0
- combstruct/data/ecs04/ecs_0435.json +38 -0
- combstruct/data/ecs04/ecs_0436.json +38 -0
- combstruct/data/ecs04/ecs_0437.json +38 -0
- combstruct/data/ecs04/ecs_0438.json +38 -0
- combstruct/data/ecs04/ecs_0439.json +34 -0
- combstruct/data/ecs04/ecs_0440.json +38 -0
- combstruct/data/ecs04/ecs_0441.json +37 -0
- combstruct/data/ecs04/ecs_0442.json +38 -0
- combstruct/data/ecs04/ecs_0443.json +37 -0
- combstruct/data/ecs04/ecs_0444.json +38 -0
- combstruct/data/ecs04/ecs_0445.json +38 -0
- combstruct/data/ecs04/ecs_0446.json +35 -0
- combstruct/data/ecs04/ecs_0447.json +38 -0
- combstruct/data/ecs04/ecs_0448.json +36 -0
- combstruct/data/ecs04/ecs_0449.json +38 -0
- combstruct/data/ecs04/ecs_0450.json +36 -0
- combstruct/data/ecs04/ecs_0451.json +38 -0
- combstruct/data/ecs04/ecs_0452.json +38 -0
- combstruct/data/ecs04/ecs_0453.json +38 -0
- combstruct/data/ecs04/ecs_0454.json +38 -0
- combstruct/data/ecs04/ecs_0455.json +38 -0
- combstruct/data/ecs04/ecs_0456.json +38 -0
- combstruct/data/ecs04/ecs_0457.json +38 -0
- combstruct/data/ecs04/ecs_0458.json +38 -0
- combstruct/data/ecs04/ecs_0459.json +38 -0
- combstruct/data/ecs04/ecs_0460.json +38 -0
- combstruct/data/ecs04/ecs_0461.json +38 -0
- combstruct/data/ecs04/ecs_0462.json +38 -0
- combstruct/data/ecs04/ecs_0463.json +38 -0
- combstruct/data/ecs04/ecs_0464.json +38 -0
- combstruct/data/ecs04/ecs_0465.json +38 -0
- combstruct/data/ecs04/ecs_0466.json +38 -0
- combstruct/data/ecs04/ecs_0467.json +38 -0
- combstruct/data/ecs04/ecs_0468.json +38 -0
- combstruct/data/ecs04/ecs_0469.json +38 -0
- combstruct/data/ecs04/ecs_0470.json +38 -0
- combstruct/data/ecs04/ecs_0471.json +38 -0
- combstruct/data/ecs04/ecs_0472.json +38 -0
- combstruct/data/ecs04/ecs_0473.json +38 -0
- combstruct/data/ecs04/ecs_0474.json +38 -0
- combstruct/data/ecs04/ecs_0475.json +38 -0
- combstruct/data/ecs04/ecs_0476.json +38 -0
- combstruct/data/ecs04/ecs_0477.json +38 -0
- combstruct/data/ecs04/ecs_0478.json +38 -0
- combstruct/data/ecs04/ecs_0479.json +38 -0
- combstruct/data/ecs04/ecs_0480.json +38 -0
- combstruct/data/ecs04/ecs_0481.json +38 -0
- combstruct/data/ecs04/ecs_0482.json +38 -0
- combstruct/data/ecs04/ecs_0483.json +38 -0
- combstruct/data/ecs04/ecs_0484.json +38 -0
- combstruct/data/ecs04/ecs_0485.json +38 -0
- combstruct/data/ecs04/ecs_0486.json +38 -0
- combstruct/data/ecs04/ecs_0487.json +38 -0
- combstruct/data/ecs04/ecs_0488.json +38 -0
- combstruct/data/ecs04/ecs_0489.json +38 -0
- combstruct/data/ecs04/ecs_0490.json +38 -0
- combstruct/data/ecs04/ecs_0491.json +38 -0
- combstruct/data/ecs04/ecs_0492.json +38 -0
- combstruct/data/ecs04/ecs_0493.json +38 -0
- combstruct/data/ecs04/ecs_0494.json +38 -0
- combstruct/data/ecs04/ecs_0495.json +38 -0
- combstruct/data/ecs04/ecs_0496.json +38 -0
- combstruct/data/ecs04/ecs_0497.json +38 -0
- combstruct/data/ecs04/ecs_0498.json +38 -0
- combstruct/data/ecs04/ecs_0499.json +38 -0
- combstruct/data/ecs05/ecs_0500.json +38 -0
- combstruct/data/ecs05/ecs_0501.json +38 -0
- combstruct/data/ecs05/ecs_0502.json +38 -0
- combstruct/data/ecs05/ecs_0503.json +38 -0
- combstruct/data/ecs05/ecs_0504.json +38 -0
- combstruct/data/ecs05/ecs_0505.json +38 -0
- combstruct/data/ecs05/ecs_0506.json +38 -0
- combstruct/data/ecs05/ecs_0507.json +38 -0
- combstruct/data/ecs05/ecs_0508.json +38 -0
- combstruct/data/ecs05/ecs_0509.json +38 -0
- combstruct/data/ecs05/ecs_0510.json +38 -0
- combstruct/data/ecs05/ecs_0511.json +38 -0
- combstruct/data/ecs05/ecs_0512.json +38 -0
- combstruct/data/ecs05/ecs_0513.json +38 -0
- combstruct/data/ecs05/ecs_0514.json +38 -0
- combstruct/data/ecs05/ecs_0515.json +38 -0
- combstruct/data/ecs05/ecs_0516.json +38 -0
- combstruct/data/ecs05/ecs_0517.json +38 -0
- combstruct/data/ecs05/ecs_0518.json +38 -0
- combstruct/data/ecs05/ecs_0519.json +38 -0
- combstruct/data/ecs05/ecs_0520.json +38 -0
- combstruct/data/ecs05/ecs_0521.json +38 -0
- combstruct/data/ecs05/ecs_0522.json +38 -0
- combstruct/data/ecs05/ecs_0523.json +38 -0
- combstruct/data/ecs05/ecs_0524.json +38 -0
- combstruct/data/ecs05/ecs_0525.json +38 -0
- combstruct/data/ecs05/ecs_0526.json +38 -0
- combstruct/data/ecs05/ecs_0527.json +38 -0
- combstruct/data/ecs05/ecs_0528.json +38 -0
- combstruct/data/ecs05/ecs_0529.json +38 -0
- combstruct/data/ecs05/ecs_0530.json +38 -0
- combstruct/data/ecs05/ecs_0531.json +38 -0
- combstruct/data/ecs05/ecs_0532.json +38 -0
- combstruct/data/ecs05/ecs_0533.json +38 -0
- combstruct/data/ecs05/ecs_0534.json +38 -0
- combstruct/data/ecs05/ecs_0535.json +38 -0
- combstruct/data/ecs05/ecs_0536.json +38 -0
- combstruct/data/ecs05/ecs_0537.json +38 -0
- combstruct/data/ecs05/ecs_0538.json +38 -0
- combstruct/data/ecs05/ecs_0539.json +38 -0
- combstruct/data/ecs05/ecs_0540.json +38 -0
- combstruct/data/ecs05/ecs_0541.json +38 -0
- combstruct/data/ecs05/ecs_0542.json +38 -0
- combstruct/data/ecs05/ecs_0543.json +38 -0
- combstruct/data/ecs05/ecs_0544.json +38 -0
- combstruct/data/ecs05/ecs_0545.json +38 -0
- combstruct/data/ecs05/ecs_0546.json +38 -0
- combstruct/data/ecs05/ecs_0547.json +38 -0
- combstruct/data/ecs05/ecs_0548.json +38 -0
- combstruct/data/ecs05/ecs_0549.json +38 -0
- combstruct/data/ecs05/ecs_0550.json +38 -0
- combstruct/data/ecs05/ecs_0551.json +38 -0
- combstruct/data/ecs05/ecs_0552.json +38 -0
- combstruct/data/ecs05/ecs_0553.json +38 -0
- combstruct/data/ecs05/ecs_0554.json +38 -0
- combstruct/data/ecs05/ecs_0555.json +38 -0
- combstruct/data/ecs05/ecs_0556.json +38 -0
- combstruct/data/ecs05/ecs_0557.json +38 -0
- combstruct/data/ecs05/ecs_0558.json +38 -0
- combstruct/data/ecs05/ecs_0559.json +38 -0
- combstruct/data/ecs05/ecs_0560.json +38 -0
- combstruct/data/ecs05/ecs_0561.json +38 -0
- combstruct/data/ecs05/ecs_0562.json +38 -0
- combstruct/data/ecs05/ecs_0563.json +38 -0
- combstruct/data/ecs05/ecs_0564.json +38 -0
- combstruct/data/ecs05/ecs_0565.json +38 -0
- combstruct/data/ecs05/ecs_0566.json +38 -0
- combstruct/data/ecs05/ecs_0567.json +38 -0
- combstruct/data/ecs05/ecs_0568.json +38 -0
- combstruct/data/ecs05/ecs_0569.json +38 -0
- combstruct/data/ecs05/ecs_0570.json +38 -0
- combstruct/data/ecs05/ecs_0571.json +38 -0
- combstruct/data/ecs05/ecs_0572.json +38 -0
- combstruct/data/ecs05/ecs_0573.json +38 -0
- combstruct/data/ecs05/ecs_0574.json +38 -0
- combstruct/data/ecs05/ecs_0575.json +38 -0
- combstruct/data/ecs05/ecs_0576.json +38 -0
- combstruct/data/ecs05/ecs_0577.json +38 -0
- combstruct/data/ecs05/ecs_0578.json +38 -0
- combstruct/data/ecs05/ecs_0579.json +38 -0
- combstruct/data/ecs05/ecs_0580.json +38 -0
- combstruct/data/ecs05/ecs_0581.json +38 -0
- combstruct/data/ecs05/ecs_0582.json +38 -0
- combstruct/data/ecs05/ecs_0583.json +38 -0
- combstruct/data/ecs05/ecs_0584.json +38 -0
- combstruct/data/ecs05/ecs_0585.json +38 -0
- combstruct/data/ecs05/ecs_0586.json +38 -0
- combstruct/data/ecs05/ecs_0587.json +38 -0
- combstruct/data/ecs05/ecs_0588.json +38 -0
- combstruct/data/ecs05/ecs_0589.json +38 -0
- combstruct/data/ecs05/ecs_0590.json +38 -0
- combstruct/data/ecs05/ecs_0591.json +38 -0
- combstruct/data/ecs05/ecs_0592.json +38 -0
- combstruct/data/ecs05/ecs_0593.json +38 -0
- combstruct/data/ecs05/ecs_0594.json +38 -0
- combstruct/data/ecs05/ecs_0595.json +38 -0
- combstruct/data/ecs05/ecs_0596.json +38 -0
- combstruct/data/ecs05/ecs_0597.json +38 -0
- combstruct/data/ecs05/ecs_0598.json +38 -0
- combstruct/data/ecs05/ecs_0599.json +38 -0
- combstruct/data/ecs06/ecs_0600.json +38 -0
- combstruct/data/ecs06/ecs_0601.json +38 -0
- combstruct/data/ecs06/ecs_0602.json +38 -0
- combstruct/data/ecs06/ecs_0603.json +38 -0
- combstruct/data/ecs06/ecs_0604.json +38 -0
- combstruct/data/ecs06/ecs_0605.json +38 -0
- combstruct/data/ecs06/ecs_0606.json +38 -0
- combstruct/data/ecs06/ecs_0607.json +38 -0
- combstruct/data/ecs06/ecs_0608.json +38 -0
- combstruct/data/ecs06/ecs_0609.json +38 -0
- combstruct/data/ecs06/ecs_0610.json +38 -0
- combstruct/data/ecs06/ecs_0611.json +38 -0
- combstruct/data/ecs06/ecs_0612.json +38 -0
- combstruct/data/ecs06/ecs_0613.json +38 -0
- combstruct/data/ecs06/ecs_0614.json +38 -0
- combstruct/data/ecs06/ecs_0615.json +38 -0
- combstruct/data/ecs06/ecs_0616.json +38 -0
- combstruct/data/ecs06/ecs_0617.json +38 -0
- combstruct/data/ecs06/ecs_0618.json +38 -0
- combstruct/data/ecs06/ecs_0619.json +38 -0
- combstruct/data/ecs06/ecs_0620.json +38 -0
- combstruct/data/ecs06/ecs_0621.json +38 -0
- combstruct/data/ecs06/ecs_0622.json +38 -0
- combstruct/data/ecs06/ecs_0623.json +38 -0
- combstruct/data/ecs06/ecs_0624.json +38 -0
- combstruct/data/ecs06/ecs_0625.json +38 -0
- combstruct/data/ecs06/ecs_0626.json +38 -0
- combstruct/data/ecs06/ecs_0627.json +38 -0
- combstruct/data/ecs06/ecs_0628.json +38 -0
- combstruct/data/ecs06/ecs_0629.json +38 -0
- combstruct/data/ecs06/ecs_0630.json +38 -0
- combstruct/data/ecs06/ecs_0631.json +38 -0
- combstruct/data/ecs06/ecs_0632.json +38 -0
- combstruct/data/ecs06/ecs_0633.json +38 -0
- combstruct/data/ecs06/ecs_0634.json +38 -0
- combstruct/data/ecs06/ecs_0635.json +38 -0
- combstruct/data/ecs06/ecs_0636.json +38 -0
- combstruct/data/ecs06/ecs_0637.json +38 -0
- combstruct/data/ecs06/ecs_0638.json +38 -0
- combstruct/data/ecs06/ecs_0639.json +38 -0
- combstruct/data/ecs06/ecs_0640.json +38 -0
- combstruct/data/ecs06/ecs_0641.json +38 -0
- combstruct/data/ecs06/ecs_0642.json +38 -0
- combstruct/data/ecs06/ecs_0643.json +38 -0
- combstruct/data/ecs06/ecs_0644.json +38 -0
- combstruct/data/ecs06/ecs_0645.json +38 -0
- combstruct/data/ecs06/ecs_0646.json +38 -0
- combstruct/data/ecs06/ecs_0647.json +38 -0
- combstruct/data/ecs06/ecs_0648.json +38 -0
- combstruct/data/ecs06/ecs_0649.json +38 -0
- combstruct/data/ecs06/ecs_0650.json +38 -0
- combstruct/data/ecs06/ecs_0651.json +38 -0
- combstruct/data/ecs06/ecs_0652.json +38 -0
- combstruct/data/ecs06/ecs_0653.json +38 -0
- combstruct/data/ecs06/ecs_0654.json +37 -0
- combstruct/data/ecs06/ecs_0655.json +37 -0
- combstruct/data/ecs06/ecs_0656.json +37 -0
- combstruct/data/ecs06/ecs_0657.json +37 -0
- combstruct/data/ecs06/ecs_0658.json +38 -0
- combstruct/data/ecs06/ecs_0659.json +37 -0
- combstruct/data/ecs06/ecs_0660.json +37 -0
- combstruct/data/ecs06/ecs_0661.json +37 -0
- combstruct/data/ecs06/ecs_0662.json +38 -0
- combstruct/data/ecs06/ecs_0663.json +37 -0
- combstruct/data/ecs06/ecs_0664.json +37 -0
- combstruct/data/ecs06/ecs_0665.json +37 -0
- combstruct/data/ecs06/ecs_0666.json +37 -0
- combstruct/data/ecs06/ecs_0667.json +38 -0
- combstruct/data/ecs06/ecs_0668.json +38 -0
- combstruct/data/ecs06/ecs_0669.json +38 -0
- combstruct/data/ecs06/ecs_0670.json +38 -0
- combstruct/data/ecs06/ecs_0671.json +38 -0
- combstruct/data/ecs06/ecs_0672.json +37 -0
- combstruct/data/ecs06/ecs_0673.json +38 -0
- combstruct/data/ecs06/ecs_0674.json +38 -0
- combstruct/data/ecs06/ecs_0675.json +38 -0
- combstruct/data/ecs06/ecs_0676.json +38 -0
- combstruct/data/ecs06/ecs_0677.json +38 -0
- combstruct/data/ecs06/ecs_0678.json +38 -0
- combstruct/data/ecs06/ecs_0679.json +37 -0
- combstruct/data/ecs06/ecs_0680.json +37 -0
- combstruct/data/ecs06/ecs_0681.json +37 -0
- combstruct/data/ecs06/ecs_0682.json +37 -0
- combstruct/data/ecs06/ecs_0683.json +37 -0
- combstruct/data/ecs06/ecs_0684.json +37 -0
- combstruct/data/ecs06/ecs_0685.json +37 -0
- combstruct/data/ecs06/ecs_0686.json +37 -0
- combstruct/data/ecs06/ecs_0687.json +37 -0
- combstruct/data/ecs06/ecs_0688.json +38 -0
- combstruct/data/ecs06/ecs_0689.json +38 -0
- combstruct/data/ecs06/ecs_0690.json +38 -0
- combstruct/data/ecs06/ecs_0691.json +37 -0
- combstruct/data/ecs06/ecs_0692.json +37 -0
- combstruct/data/ecs06/ecs_0693.json +38 -0
- combstruct/data/ecs06/ecs_0694.json +37 -0
- combstruct/data/ecs06/ecs_0695.json +37 -0
- combstruct/data/ecs06/ecs_0696.json +37 -0
- combstruct/data/ecs06/ecs_0697.json +38 -0
- combstruct/data/ecs06/ecs_0698.json +37 -0
- combstruct/data/ecs06/ecs_0699.json +37 -0
- combstruct/data/ecs07/ecs_0700.json +37 -0
- combstruct/data/ecs07/ecs_0701.json +38 -0
- combstruct/data/ecs07/ecs_0702.json +36 -0
- combstruct/data/ecs07/ecs_0703.json +38 -0
- combstruct/data/ecs07/ecs_0704.json +38 -0
- combstruct/data/ecs07/ecs_0705.json +38 -0
- combstruct/data/ecs07/ecs_0706.json +36 -0
- combstruct/data/ecs07/ecs_0707.json +34 -0
- combstruct/data/ecs07/ecs_0708.json +36 -0
- combstruct/data/ecs07/ecs_0709.json +37 -0
- combstruct/data/ecs07/ecs_0710.json +38 -0
- combstruct/data/ecs07/ecs_0711.json +34 -0
- combstruct/data/ecs07/ecs_0712.json +36 -0
- combstruct/data/ecs07/ecs_0713.json +34 -0
- combstruct/data/ecs07/ecs_0714.json +38 -0
- combstruct/data/ecs07/ecs_0715.json +38 -0
- combstruct/data/ecs07/ecs_0716.json +38 -0
- combstruct/data/ecs07/ecs_0717.json +38 -0
- combstruct/data/ecs07/ecs_0718.json +38 -0
- combstruct/data/ecs07/ecs_0719.json +38 -0
- combstruct/data/ecs07/ecs_0720.json +34 -0
- combstruct/data/ecs07/ecs_0721.json +36 -0
- combstruct/data/ecs07/ecs_0722.json +38 -0
- combstruct/data/ecs07/ecs_0723.json +38 -0
- combstruct/data/ecs07/ecs_0724.json +37 -0
- combstruct/data/ecs07/ecs_0725.json +38 -0
- combstruct/data/ecs07/ecs_0726.json +38 -0
- combstruct/data/ecs07/ecs_0727.json +37 -0
- combstruct/data/ecs07/ecs_0728.json +38 -0
- combstruct/data/ecs07/ecs_0729.json +34 -0
- combstruct/data/ecs07/ecs_0730.json +34 -0
- combstruct/data/ecs07/ecs_0731.json +36 -0
- combstruct/data/ecs07/ecs_0732.json +34 -0
- combstruct/data/ecs07/ecs_0733.json +38 -0
- combstruct/data/ecs07/ecs_0734.json +38 -0
- combstruct/data/ecs07/ecs_0735.json +38 -0
- combstruct/data/ecs07/ecs_0736.json +37 -0
- combstruct/data/ecs07/ecs_0737.json +38 -0
- combstruct/data/ecs07/ecs_0738.json +34 -0
- combstruct/data/ecs07/ecs_0739.json +36 -0
- combstruct/data/ecs07/ecs_0740.json +37 -0
- combstruct/data/ecs07/ecs_0741.json +38 -0
- combstruct/data/ecs07/ecs_0742.json +38 -0
- combstruct/data/ecs07/ecs_0743.json +38 -0
- combstruct/data/ecs07/ecs_0744.json +38 -0
- combstruct/data/ecs07/ecs_0745.json +34 -0
- combstruct/data/ecs07/ecs_0746.json +36 -0
- combstruct/data/ecs07/ecs_0747.json +37 -0
- combstruct/data/ecs07/ecs_0748.json +38 -0
- combstruct/data/ecs07/ecs_0749.json +38 -0
- combstruct/data/ecs07/ecs_0750.json +38 -0
- combstruct/data/ecs07/ecs_0751.json +38 -0
- combstruct/data/ecs07/ecs_0752.json +38 -0
- combstruct/data/ecs07/ecs_0753.json +38 -0
- combstruct/data/ecs07/ecs_0754.json +34 -0
- combstruct/data/ecs07/ecs_0755.json +34 -0
- combstruct/data/ecs07/ecs_0756.json +38 -0
- combstruct/data/ecs07/ecs_0757.json +38 -0
- combstruct/data/ecs07/ecs_0758.json +38 -0
- combstruct/data/ecs07/ecs_0759.json +36 -0
- combstruct/data/ecs07/ecs_0760.json +34 -0
- combstruct/data/ecs07/ecs_0761.json +35 -0
- combstruct/data/ecs07/ecs_0762.json +36 -0
- combstruct/data/ecs07/ecs_0763.json +38 -0
- combstruct/data/ecs07/ecs_0764.json +35 -0
- combstruct/data/ecs07/ecs_0765.json +35 -0
- combstruct/data/ecs07/ecs_0766.json +35 -0
- combstruct/data/ecs07/ecs_0767.json +34 -0
- combstruct/data/ecs07/ecs_0768.json +34 -0
- combstruct/data/ecs07/ecs_0769.json +36 -0
- combstruct/data/ecs07/ecs_0770.json +36 -0
- combstruct/data/ecs07/ecs_0771.json +36 -0
- combstruct/data/ecs07/ecs_0772.json +35 -0
- combstruct/data/ecs07/ecs_0773.json +34 -0
- combstruct/data/ecs07/ecs_0774.json +35 -0
- combstruct/data/ecs07/ecs_0775.json +36 -0
- combstruct/data/ecs07/ecs_0776.json +35 -0
- combstruct/data/ecs07/ecs_0777.json +38 -0
- combstruct/data/ecs07/ecs_0778.json +36 -0
- combstruct/data/ecs07/ecs_0779.json +34 -0
- combstruct/data/ecs07/ecs_0780.json +34 -0
- combstruct/data/ecs07/ecs_0781.json +35 -0
- combstruct/data/ecs07/ecs_0782.json +34 -0
- combstruct/data/ecs07/ecs_0783.json +34 -0
- combstruct/data/ecs07/ecs_0784.json +34 -0
- combstruct/data/ecs07/ecs_0785.json +36 -0
- combstruct/data/ecs07/ecs_0786.json +35 -0
- combstruct/data/ecs07/ecs_0787.json +36 -0
- combstruct/data/ecs07/ecs_0788.json +35 -0
- combstruct/data/ecs07/ecs_0789.json +36 -0
- combstruct/data/ecs07/ecs_0790.json +35 -0
- combstruct/data/ecs07/ecs_0791.json +36 -0
- combstruct/data/ecs07/ecs_0792.json +34 -0
- combstruct/data/ecs07/ecs_0793.json +36 -0
- combstruct/data/ecs07/ecs_0794.json +34 -0
- combstruct/data/ecs07/ecs_0795.json +36 -0
- combstruct/data/ecs07/ecs_0796.json +34 -0
- combstruct/data/ecs07/ecs_0797.json +38 -0
- combstruct/data/ecs07/ecs_0798.json +35 -0
- combstruct/data/ecs07/ecs_0799.json +36 -0
- combstruct/data/ecs08/ecs_0800.json +35 -0
- combstruct/data/ecs08/ecs_0801.json +35 -0
- combstruct/data/ecs08/ecs_0802.json +36 -0
- combstruct/data/ecs08/ecs_0803.json +34 -0
- combstruct/data/ecs08/ecs_0804.json +35 -0
- combstruct/data/ecs08/ecs_0805.json +36 -0
- combstruct/data/ecs08/ecs_0806.json +35 -0
- combstruct/data/ecs08/ecs_0807.json +38 -0
- combstruct/data/ecs08/ecs_0808.json +36 -0
- combstruct/data/ecs08/ecs_0809.json +34 -0
- combstruct/data/ecs08/ecs_0810.json +36 -0
- combstruct/data/ecs08/ecs_0811.json +34 -0
- combstruct/data/ecs08/ecs_0812.json +37 -0
- combstruct/data/ecs08/ecs_0813.json +37 -0
- combstruct/data/ecs08/ecs_0814.json +36 -0
- combstruct/data/ecs08/ecs_0815.json +35 -0
- combstruct/data/ecs08/ecs_0816.json +36 -0
- combstruct/data/ecs08/ecs_0817.json +38 -0
- combstruct/data/ecs08/ecs_0818.json +38 -0
- combstruct/data/ecs08/ecs_0819.json +36 -0
- combstruct/data/ecs08/ecs_0820.json +37 -0
- combstruct/data/ecs08/ecs_0821.json +34 -0
- combstruct/data/ecs08/ecs_0822.json +35 -0
- combstruct/data/ecs08/ecs_0823.json +34 -0
- combstruct/data/ecs08/ecs_0824.json +36 -0
- combstruct/data/ecs08/ecs_0825.json +35 -0
- combstruct/data/ecs08/ecs_0826.json +36 -0
- combstruct/data/ecs08/ecs_0827.json +35 -0
- combstruct/data/ecs08/ecs_0828.json +36 -0
- combstruct/data/ecs08/ecs_0829.json +38 -0
- combstruct/data/ecs08/ecs_0830.json +36 -0
- combstruct/data/ecs08/ecs_0831.json +37 -0
- combstruct/data/ecs08/ecs_0832.json +36 -0
- combstruct/data/ecs08/ecs_0833.json +36 -0
- combstruct/data/ecs08/ecs_0834.json +38 -0
- combstruct/data/ecs08/ecs_0835.json +36 -0
- combstruct/data/ecs08/ecs_0836.json +38 -0
- combstruct/data/ecs08/ecs_0837.json +36 -0
- combstruct/data/ecs08/ecs_0838.json +38 -0
- combstruct/data/ecs08/ecs_0839.json +36 -0
- combstruct/data/ecs08/ecs_0840.json +34 -0
- combstruct/data/ecs08/ecs_0841.json +34 -0
- combstruct/data/ecs08/ecs_0842.json +36 -0
- combstruct/data/ecs08/ecs_0843.json +34 -0
- combstruct/data/ecs08/ecs_0844.json +35 -0
- combstruct/data/ecs08/ecs_0845.json +37 -0
- combstruct/data/ecs08/ecs_0846.json +36 -0
- combstruct/data/ecs08/ecs_0847.json +36 -0
- combstruct/data/ecs08/ecs_0848.json +36 -0
- combstruct/data/ecs08/ecs_0849.json +38 -0
- combstruct/data/ecs08/ecs_0850.json +34 -0
- combstruct/data/ecs08/ecs_0851.json +36 -0
- combstruct/data/ecs08/ecs_0852.json +35 -0
- combstruct/data/ecs08/ecs_0853.json +38 -0
- combstruct/data/ecs08/ecs_0854.json +36 -0
- combstruct/data/ecs08/ecs_0855.json +36 -0
- combstruct/data/ecs08/ecs_0856.json +37 -0
- combstruct/data/ecs08/ecs_0857.json +34 -0
- combstruct/data/ecs08/ecs_0858.json +35 -0
- combstruct/data/ecs08/ecs_0859.json +36 -0
- combstruct/data/ecs08/ecs_0860.json +37 -0
- combstruct/data/ecs08/ecs_0861.json +36 -0
- combstruct/data/ecs08/ecs_0862.json +34 -0
- combstruct/data/ecs08/ecs_0863.json +36 -0
- combstruct/data/ecs08/ecs_0864.json +36 -0
- combstruct/data/ecs08/ecs_0865.json +35 -0
- combstruct/data/ecs08/ecs_0866.json +34 -0
- combstruct/data/ecs08/ecs_0867.json +34 -0
- combstruct/data/ecs08/ecs_0868.json +36 -0
- combstruct/data/ecs08/ecs_0869.json +34 -0
- combstruct/data/ecs08/ecs_0870.json +36 -0
- combstruct/data/ecs08/ecs_0871.json +36 -0
- combstruct/data/ecs08/ecs_0872.json +35 -0
- combstruct/data/ecs08/ecs_0873.json +37 -0
- combstruct/data/ecs08/ecs_0874.json +38 -0
- combstruct/data/ecs08/ecs_0875.json +38 -0
- combstruct/data/ecs08/ecs_0876.json +38 -0
- combstruct/data/ecs08/ecs_0877.json +38 -0
- combstruct/data/ecs08/ecs_0878.json +38 -0
- combstruct/data/ecs08/ecs_0879.json +38 -0
- combstruct/data/ecs08/ecs_0880.json +38 -0
- combstruct/data/ecs08/ecs_0881.json +38 -0
- combstruct/data/ecs08/ecs_0882.json +38 -0
- combstruct/data/ecs08/ecs_0883.json +38 -0
- combstruct/data/ecs08/ecs_0884.json +38 -0
- combstruct/data/ecs08/ecs_0885.json +38 -0
- combstruct/data/ecs08/ecs_0886.json +38 -0
- combstruct/data/ecs08/ecs_0887.json +38 -0
- combstruct/data/ecs08/ecs_0888.json +38 -0
- combstruct/data/ecs08/ecs_0889.json +38 -0
- combstruct/data/ecs08/ecs_0890.json +38 -0
- combstruct/data/ecs08/ecs_0891.json +38 -0
- combstruct/data/ecs08/ecs_0892.json +38 -0
- combstruct/data/ecs08/ecs_0893.json +38 -0
- combstruct/data/ecs08/ecs_0894.json +38 -0
- combstruct/data/ecs08/ecs_0895.json +38 -0
- combstruct/data/ecs08/ecs_0896.json +38 -0
- combstruct/data/ecs08/ecs_0897.json +38 -0
- combstruct/data/ecs08/ecs_0898.json +38 -0
- combstruct/data/ecs08/ecs_0899.json +38 -0
- combstruct/data/ecs09/ecs_0900.json +38 -0
- combstruct/data/ecs09/ecs_0901.json +38 -0
- combstruct/data/ecs09/ecs_0902.json +38 -0
- combstruct/data/ecs09/ecs_0903.json +38 -0
- combstruct/data/ecs09/ecs_0904.json +38 -0
- combstruct/data/ecs09/ecs_0905.json +38 -0
- combstruct/data/ecs09/ecs_0906.json +38 -0
- combstruct/data/ecs09/ecs_0907.json +38 -0
- combstruct/data/ecs09/ecs_0908.json +38 -0
- combstruct/data/ecs09/ecs_0909.json +38 -0
- combstruct/data/ecs09/ecs_0910.json +38 -0
- combstruct/data/ecs09/ecs_0911.json +38 -0
- combstruct/data/ecs09/ecs_0912.json +38 -0
- combstruct/data/ecs09/ecs_0913.json +38 -0
- combstruct/data/ecs09/ecs_0914.json +38 -0
- combstruct/data/ecs09/ecs_0915.json +38 -0
- combstruct/data/ecs09/ecs_0916.json +38 -0
- combstruct/data/ecs09/ecs_0917.json +38 -0
- combstruct/data/ecs09/ecs_0918.json +38 -0
- combstruct/data/ecs09/ecs_0919.json +38 -0
- combstruct/data/ecs09/ecs_0920.json +38 -0
- combstruct/data/ecs09/ecs_0921.json +38 -0
- combstruct/data/ecs09/ecs_0922.json +38 -0
- combstruct/data/ecs09/ecs_0923.json +38 -0
- combstruct/data/ecs09/ecs_0924.json +38 -0
- combstruct/data/ecs09/ecs_0925.json +38 -0
- combstruct/data/ecs09/ecs_0926.json +38 -0
- combstruct/data/ecs09/ecs_0927.json +38 -0
- combstruct/data/ecs09/ecs_0928.json +38 -0
- combstruct/data/ecs09/ecs_0929.json +38 -0
- combstruct/data/ecs09/ecs_0930.json +38 -0
- combstruct/data/ecs09/ecs_0931.json +38 -0
- combstruct/data/ecs09/ecs_0932.json +38 -0
- combstruct/data/ecs09/ecs_0933.json +38 -0
- combstruct/data/ecs09/ecs_0934.json +38 -0
- combstruct/data/ecs09/ecs_0935.json +38 -0
- combstruct/data/ecs09/ecs_0936.json +38 -0
- combstruct/data/ecs09/ecs_0937.json +38 -0
- combstruct/data/ecs09/ecs_0938.json +38 -0
- combstruct/data/ecs09/ecs_0939.json +38 -0
- combstruct/data/ecs09/ecs_0940.json +38 -0
- combstruct/data/ecs09/ecs_0941.json +38 -0
- combstruct/data/ecs09/ecs_0942.json +38 -0
- combstruct/data/ecs09/ecs_0943.json +38 -0
- combstruct/data/ecs09/ecs_0944.json +38 -0
- combstruct/data/ecs09/ecs_0945.json +38 -0
- combstruct/data/ecs09/ecs_0946.json +38 -0
- combstruct/data/ecs09/ecs_0947.json +38 -0
- combstruct/data/ecs09/ecs_0948.json +38 -0
- combstruct/data/ecs09/ecs_0949.json +38 -0
- combstruct/data/ecs09/ecs_0950.json +38 -0
- combstruct/data/ecs09/ecs_0951.json +38 -0
- combstruct/data/ecs09/ecs_0952.json +38 -0
- combstruct/data/ecs09/ecs_0953.json +38 -0
- combstruct/data/ecs09/ecs_0954.json +38 -0
- combstruct/data/ecs09/ecs_0955.json +38 -0
- combstruct/data/ecs09/ecs_0956.json +38 -0
- combstruct/data/ecs09/ecs_0957.json +38 -0
- combstruct/data/ecs09/ecs_0958.json +38 -0
- combstruct/data/ecs09/ecs_0959.json +38 -0
- combstruct/data/ecs09/ecs_0960.json +38 -0
- combstruct/data/ecs09/ecs_0961.json +38 -0
- combstruct/data/ecs09/ecs_0962.json +38 -0
- combstruct/data/ecs09/ecs_0963.json +38 -0
- combstruct/data/ecs09/ecs_0964.json +38 -0
- combstruct/data/ecs09/ecs_0965.json +38 -0
- combstruct/data/ecs09/ecs_0966.json +38 -0
- combstruct/data/ecs09/ecs_0967.json +38 -0
- combstruct/data/ecs09/ecs_0968.json +38 -0
- combstruct/data/ecs09/ecs_0969.json +38 -0
- combstruct/data/ecs09/ecs_0970.json +38 -0
- combstruct/data/ecs09/ecs_0971.json +38 -0
- combstruct/data/ecs09/ecs_0972.json +38 -0
- combstruct/data/ecs09/ecs_0973.json +38 -0
- combstruct/data/ecs09/ecs_0974.json +38 -0
- combstruct/data/ecs09/ecs_0975.json +38 -0
- combstruct/data/ecs09/ecs_0976.json +38 -0
- combstruct/data/ecs09/ecs_0977.json +38 -0
- combstruct/data/ecs09/ecs_0978.json +38 -0
- combstruct/data/ecs09/ecs_0979.json +38 -0
- combstruct/data/ecs09/ecs_0980.json +38 -0
- combstruct/data/ecs09/ecs_0981.json +38 -0
- combstruct/data/ecs09/ecs_0982.json +38 -0
- combstruct/data/ecs09/ecs_0983.json +38 -0
- combstruct/data/ecs09/ecs_0984.json +38 -0
- combstruct/data/ecs09/ecs_0985.json +38 -0
- combstruct/data/ecs09/ecs_0986.json +38 -0
- combstruct/data/ecs09/ecs_0987.json +38 -0
- combstruct/data/ecs09/ecs_0988.json +38 -0
- combstruct/data/ecs09/ecs_0989.json +38 -0
- combstruct/data/ecs09/ecs_0990.json +38 -0
- combstruct/data/ecs09/ecs_0991.json +38 -0
- combstruct/data/ecs09/ecs_0992.json +38 -0
- combstruct/data/ecs09/ecs_0993.json +38 -0
- combstruct/data/ecs09/ecs_0994.json +38 -0
- combstruct/data/ecs09/ecs_0995.json +38 -0
- combstruct/data/ecs09/ecs_0996.json +38 -0
- combstruct/data/ecs09/ecs_0997.json +38 -0
- combstruct/data/ecs09/ecs_0998.json +38 -0
- combstruct/data/ecs09/ecs_0999.json +38 -0
- combstruct/data/ecs10/ecs_1000.json +38 -0
- combstruct/data/ecs10/ecs_1001.json +38 -0
- combstruct/data/ecs10/ecs_1002.json +38 -0
- combstruct/data/ecs10/ecs_1003.json +38 -0
- combstruct/data/ecs10/ecs_1004.json +38 -0
- combstruct/data/ecs10/ecs_1005.json +38 -0
- combstruct/data/ecs10/ecs_1006.json +38 -0
- combstruct/data/ecs10/ecs_1007.json +38 -0
- combstruct/data/ecs10/ecs_1008.json +38 -0
- combstruct/data/ecs10/ecs_1009.json +38 -0
- combstruct/data/ecs10/ecs_1010.json +38 -0
- combstruct/data/ecs10/ecs_1011.json +38 -0
- combstruct/data/ecs10/ecs_1012.json +38 -0
- combstruct/data/ecs10/ecs_1013.json +38 -0
- combstruct/data/ecs10/ecs_1014.json +38 -0
- combstruct/data/ecs10/ecs_1015.json +38 -0
- combstruct/data/ecs10/ecs_1016.json +38 -0
- combstruct/data/ecs10/ecs_1017.json +38 -0
- combstruct/data/ecs10/ecs_1018.json +38 -0
- combstruct/data/ecs10/ecs_1019.json +38 -0
- combstruct/data/ecs10/ecs_1020.json +38 -0
- combstruct/data/ecs10/ecs_1021.json +38 -0
- combstruct/data/ecs10/ecs_1022.json +38 -0
- combstruct/data/ecs10/ecs_1023.json +38 -0
- combstruct/data/ecs10/ecs_1024.json +38 -0
- combstruct/data/ecs10/ecs_1025.json +38 -0
- combstruct/data/ecs10/ecs_1026.json +38 -0
- combstruct/data/ecs10/ecs_1027.json +38 -0
- combstruct/data/ecs10/ecs_1028.json +38 -0
- combstruct/data/ecs10/ecs_1029.json +38 -0
- combstruct/data/ecs10/ecs_1030.json +38 -0
- combstruct/data/ecs10/ecs_1031.json +38 -0
- combstruct/data/ecs10/ecs_1032.json +38 -0
- combstruct/data/ecs10/ecs_1033.json +38 -0
- combstruct/data/ecs10/ecs_1034.json +38 -0
- combstruct/data/ecs10/ecs_1035.json +38 -0
- combstruct/data/ecs10/ecs_1036.json +38 -0
- combstruct/data/ecs10/ecs_1037.json +38 -0
- combstruct/data/ecs10/ecs_1038.json +38 -0
- combstruct/data/ecs10/ecs_1039.json +38 -0
- combstruct/data/ecs10/ecs_1040.json +38 -0
- combstruct/data/ecs10/ecs_1041.json +38 -0
- combstruct/data/ecs10/ecs_1042.json +38 -0
- combstruct/data/ecs10/ecs_1043.json +38 -0
- combstruct/data/ecs10/ecs_1044.json +38 -0
- combstruct/data/ecs10/ecs_1045.json +38 -0
- combstruct/data/ecs10/ecs_1046.json +38 -0
- combstruct/data/ecs10/ecs_1047.json +38 -0
- combstruct/data/ecs10/ecs_1048.json +38 -0
- combstruct/data/ecs10/ecs_1049.json +38 -0
- combstruct/data/ecs10/ecs_1050.json +38 -0
- combstruct/data/ecs10/ecs_1051.json +38 -0
- combstruct/data/ecs10/ecs_1052.json +38 -0
- combstruct/data/ecs10/ecs_1053.json +38 -0
- combstruct/data/ecs10/ecs_1054.json +38 -0
- combstruct/data/ecs10/ecs_1055.json +38 -0
- combstruct/data/ecs10/ecs_1056.json +38 -0
- combstruct/data/ecs10/ecs_1057.json +38 -0
- combstruct/data/ecs10/ecs_1058.json +38 -0
- combstruct/data/ecs10/ecs_1059.json +38 -0
- combstruct/data/ecs10/ecs_1060.json +38 -0
- combstruct/data/ecs10/ecs_1061.json +38 -0
- combstruct/data/ecs10/ecs_1062.json +38 -0
- combstruct/data/ecs10/ecs_1063.json +38 -0
- combstruct/data/ecs10/ecs_1064.json +38 -0
- combstruct/data/ecs10/ecs_1065.json +38 -0
- combstruct/data/ecs10/ecs_1066.json +38 -0
- combstruct/data/ecs10/ecs_1067.json +38 -0
- combstruct/data/ecs10/ecs_1068.json +38 -0
- combstruct/data/ecs10/ecs_1069.json +38 -0
- combstruct/data/ecs10/ecs_1070.json +38 -0
- combstruct/data/ecs10/ecs_1071.json +38 -0
- combstruct/data/ecs10/ecs_1072.json +38 -0
- combstruct/data/ecs10/ecs_1073.json +38 -0
- combstruct/data/ecs10/ecs_1074.json +38 -0
- combstruct/data/ecs10/ecs_1075.json +38 -0
- combstruct/py.typed +1 -0
- combstruct/specification.py +180 -0
- combstruct/terms.py +1034 -0
- combstruct-0.1.0a0.dist-info/METADATA +230 -0
- combstruct-0.1.0a0.dist-info/RECORD +1089 -0
- combstruct-0.1.0a0.dist-info/WHEEL +5 -0
- combstruct-0.1.0a0.dist-info/entry_points.txt +2 -0
- combstruct-0.1.0a0.dist-info/licenses/LICENSE.md +494 -0
- combstruct-0.1.0a0.dist-info/licenses/LICENSES/CC-BY-SA-4.0.txt +427 -0
- combstruct-0.1.0a0.dist-info/licenses/NOTICE.md +55 -0
- combstruct-0.1.0a0.dist-info/top_level.txt +1 -0
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 227,
|
|
3
|
+
"name": "Denumerant for coin values 2, 3, 7",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 2 3 7 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
1,
|
|
12
|
+
1,
|
|
13
|
+
1,
|
|
14
|
+
1,
|
|
15
|
+
2,
|
|
16
|
+
2,
|
|
17
|
+
2,
|
|
18
|
+
3,
|
|
19
|
+
3,
|
|
20
|
+
3,
|
|
21
|
+
4,
|
|
22
|
+
4,
|
|
23
|
+
5,
|
|
24
|
+
5,
|
|
25
|
+
6,
|
|
26
|
+
6,
|
|
27
|
+
7,
|
|
28
|
+
7,
|
|
29
|
+
8
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008671"
|
|
33
|
+
],
|
|
34
|
+
"gf": "-1/(_x^2-1)/(_x^3-1)/(_x^7-1)",
|
|
35
|
+
"rec": "{-2*_f(_n)-6*_f(_n+1)-10*_f(_n+2)-12*_f(_n+3)-12*_f(_n+4)-12*_f(_n+5)-12*_f(_n+6)-10*_f(_n+7)-6*_f(_n+8)-2*_f(_n+9)+_n^2+21*_n+110, _f(0) = 1, _f(1) = 0, _f(2) = 1, _f(3) = 1, _f(4) = 1, _f(5) = 1, _f(6) = 2, _f(7) = 2, _f(8) = 2}",
|
|
36
|
+
"closedform": "185/504+1/84*_n^2+1/7*_n+Sum(1/9*_alpha^(-_n),_alpha = RootOf(_Z^2+_Z+1))+1/8*(-1)^(-_n)+Sum(1/49*(_alpha^4+3*_alpha^3-_alpha^2+3*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))",
|
|
37
|
+
"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))^2-1)/RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^3/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^7-1)+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))^2-1)/RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^3/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^7-1))*(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)))"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 228,
|
|
3
|
+
"name": "Denumerant for coin values 3, 4, 5",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 3 4 5 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
0,
|
|
12
|
+
1,
|
|
13
|
+
1,
|
|
14
|
+
1,
|
|
15
|
+
1,
|
|
16
|
+
1,
|
|
17
|
+
2,
|
|
18
|
+
2,
|
|
19
|
+
2,
|
|
20
|
+
2,
|
|
21
|
+
3,
|
|
22
|
+
3,
|
|
23
|
+
3,
|
|
24
|
+
4,
|
|
25
|
+
4,
|
|
26
|
+
4,
|
|
27
|
+
5,
|
|
28
|
+
5,
|
|
29
|
+
6
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008680"
|
|
33
|
+
],
|
|
34
|
+
"gf": "-1/(_x^3-1)/(_x^4-1)/(_x^5-1)",
|
|
35
|
+
"rec": "{-2*_f(_n)-6*_f(_n+1)-12*_f(_n+2)-18*_f(_n+3)-22*_f(_n+4)-22*_f(_n+5)-18*_f(_n+6)-12*_f(_n+7)-6*_f(_n+8)-2*_f(_n+9)+_n^2+21*_n+110, _f(0) = 1, _f(1) =0, _f(2) = 0, _f(3) = 1, _f(4) = 1, _f(5) = 1, _f(6) = 1, _f(7) = 1, _f(8) = 2}",
|
|
36
|
+
"closedform": "191/720+1/120*_n^2+1/10*_n+Sum(1/9*_alpha^(-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/32*(_alpha^2+4*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+_Z^2+_Z+1))+Sum(-1/25*(2*_alpha^3+2*_alpha^2+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))",
|
|
37
|
+
"equiv": "(1/5*exp(Complex(1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^3-1)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^4-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^5+1/5*exp(Complex(1)*(arctan((RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^3-3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473))/(3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))-Pi)*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^3-1)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^4-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^5)*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)+1)^(-1/2*ln(exp(-_n)))"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 229,
|
|
3
|
+
"name": "Denumerant for coin values 4, 5, 6",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 4 5 6 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
0,
|
|
12
|
+
0,
|
|
13
|
+
1,
|
|
14
|
+
1,
|
|
15
|
+
1,
|
|
16
|
+
0,
|
|
17
|
+
1,
|
|
18
|
+
1,
|
|
19
|
+
2,
|
|
20
|
+
1,
|
|
21
|
+
2,
|
|
22
|
+
1,
|
|
23
|
+
2,
|
|
24
|
+
2,
|
|
25
|
+
3,
|
|
26
|
+
2,
|
|
27
|
+
3,
|
|
28
|
+
2,
|
|
29
|
+
4
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008682"
|
|
33
|
+
],
|
|
34
|
+
"gf": "-1/(_x^4-1)/(_x^5-1)/(_x^6-1)",
|
|
35
|
+
"rec": "{-2*_f(_n)-6*_f(_n+1)-12*_f(_n+2)-20*_f(_n+3)-28*_f(_n+4)-34*_f(_n+5)-36*_f(_n+6)-34*_f(_n+7)-28*_f(_n+8)-20*_f(_n+9)-12*_f(_n+10)-6*_f(_n+11)-2*_f(_n+12)+_n^2+27*_n+182, _f(0) = 1, _f(1) =0, _f(2) = 0, _f(3) = 0, _f(4) = 1, _f(5) = 1, _f(6) = 1, _f(7) = 0, _f(8) = 1, _f(9) = 1, _f(10) = 2, _f(11) = 1}",
|
|
36
|
+
"closedform": "299/1440+1/240*_n^2+1/16*_n+Sum(1/25*(_alpha^2+3*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/16*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+1/48*(-1)^(-_n)*_n+5/32*(-1)^(-_n)+Sum(-1/18*_alpha^2*(1+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^2+1))",
|
|
37
|
+
"equiv": "(1/5*exp(Complex(1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^4-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^5/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^6-1)+1/5*exp(Complex(-1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*conjugate(_n))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^4-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^5/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^6-1))*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)+1)^(-1/2*ln(exp(-_n)))"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 230,
|
|
3
|
+
"name": "Denumerant for coin values 3, 5, 7",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 3 5 7 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
0,
|
|
12
|
+
1,
|
|
13
|
+
0,
|
|
14
|
+
1,
|
|
15
|
+
1,
|
|
16
|
+
1,
|
|
17
|
+
1,
|
|
18
|
+
1,
|
|
19
|
+
2,
|
|
20
|
+
1,
|
|
21
|
+
2,
|
|
22
|
+
2,
|
|
23
|
+
2,
|
|
24
|
+
3,
|
|
25
|
+
2,
|
|
26
|
+
3,
|
|
27
|
+
3,
|
|
28
|
+
3,
|
|
29
|
+
4
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008677"
|
|
33
|
+
],
|
|
34
|
+
"gf": "-1/(_x^3-1)/(_x^5-1)/(_x^7-1)",
|
|
35
|
+
"rec": "{-2*_f(_n)-6*_f(_n+1)-12*_f(_n+2)-18*_f(_n+3)-24*_f(_n+4)-28*_f(_n+5)-30*_f(_n+6)-28*_f(_n+7)-24*_f(_n+8)-18*_f(_n+9)-12*_f(_n+10)-6*_f(_n+11)-2*_f(_n+12)+_n^2+27*_n+182, _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 1, _f(4) = 0, _f(5) = 1, _f(6) = 1, _f(7) = 1, _f(8) = 1, _f(9) = 1, _f(10) = 2, _f(11) = 1}",
|
|
36
|
+
"closedform": "74/315+1/210*_n^2+1/14*_n+Sum(1/9*_alpha^(-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(-1/25*(_alpha-1)^2*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/49*(-2*_alpha^5+2*_alpha^4-2*_alpha^3+_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))",
|
|
37
|
+
"equiv": "(1/5*exp(Complex(1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^3-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^5/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^7-1)+1/5*exp(Complex(1)*(arctan((RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^3-3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473))/(3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))-Pi)*_n)/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^3-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^5/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^7-1))*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)+1)^(-1/2*ln(exp(-_n)))"
|
|
38
|
+
}
|
|
@@ -0,0 +1,37 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 231,
|
|
3
|
+
"name": "Denumerant for coin values 4, 6, 7",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 4 6 7 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
0,
|
|
12
|
+
0,
|
|
13
|
+
1,
|
|
14
|
+
0,
|
|
15
|
+
1,
|
|
16
|
+
1,
|
|
17
|
+
1,
|
|
18
|
+
0,
|
|
19
|
+
1,
|
|
20
|
+
1,
|
|
21
|
+
2,
|
|
22
|
+
1,
|
|
23
|
+
2,
|
|
24
|
+
1,
|
|
25
|
+
2,
|
|
26
|
+
1,
|
|
27
|
+
3,
|
|
28
|
+
2,
|
|
29
|
+
3
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008622"
|
|
33
|
+
],
|
|
34
|
+
"gf": "-1/(_x^4-1)/(_x^6-1)/(_x^7-1)",
|
|
35
|
+
"rec": "{-2*_f(_n)-6*_f(_n+1)-12*_f(_n+2)-20*_f(_n+3)-28*_f(_n+4)-36*_f(_n+5)-42*_f(_n+6)-44*_f(_n+7)-42*_f(_n+8)-36*_f(_n+9)-28*_f(_n+10)-20*_f(_n+11)-12*_f(_n+12)-6*_f(_n+13)-2*_f(_n+14)+_n^2+31*_n+240, _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 1, _f(5) = 0, _f(6) = 1, _f(7) = 1, _f(8) = 1, _f(9) = 0, _f(10) = 1, _f(11) = 1, _f(12) = 2, _f(13) = 1}",
|
|
36
|
+
"closedform": "383/2016+1/336*_n^2+17/336*_n+Sum(1/16*(1+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+1/48*(-1)^(-_n)*_n+17/96*(-1)^(-_n)+Sum(1/49*_alpha*(2*_alpha^2+3*_alpha+2)*(_alpha-1)^2*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/18*_alpha*(1+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^2+1))"
|
|
37
|
+
}
|
|
@@ -0,0 +1,39 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 232,
|
|
3
|
+
"name": "Denumerant for coin values 1, 2, 2, 3",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 1 2 2 3 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
1,
|
|
11
|
+
3,
|
|
12
|
+
4,
|
|
13
|
+
7,
|
|
14
|
+
9,
|
|
15
|
+
14,
|
|
16
|
+
17,
|
|
17
|
+
24,
|
|
18
|
+
29,
|
|
19
|
+
38,
|
|
20
|
+
45,
|
|
21
|
+
57,
|
|
22
|
+
66,
|
|
23
|
+
81,
|
|
24
|
+
93,
|
|
25
|
+
111,
|
|
26
|
+
126,
|
|
27
|
+
148,
|
|
28
|
+
166,
|
|
29
|
+
192
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008763",
|
|
33
|
+
"Same terms as ECS 450"
|
|
34
|
+
],
|
|
35
|
+
"gf": "1/(-1+_x)/(_x^2-1)^2/(_x^3-1)",
|
|
36
|
+
"rec": "{6*_f(_n)+18*_f(_n+1)+24*_f(_n+2)+18*_f(_n+3)+6*_f(_n+4)-_n^3-18*_n^2-107*_n-210, _f(0) = 1, _f(1) = 1, _f(2) = 3, _f(3) = 4}",
|
|
37
|
+
"closedform": "23/36+1/6*_n^2+29/48*_n+1/72*_n^3+Sum(1/27*(1+2*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+1/16*(-1)^(-_n)*_n+1/4*(-1)^(-_n)",
|
|
38
|
+
"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)/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439)))/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^2-1)^2/RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^3-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))/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439)))/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^2-1)^2/RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^3)*(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)))"
|
|
39
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 233,
|
|
3
|
+
"name": "Denumerant for coin values 1, 2, 4, 8",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 1 2 4 8 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
1,
|
|
11
|
+
2,
|
|
12
|
+
2,
|
|
13
|
+
4,
|
|
14
|
+
4,
|
|
15
|
+
6,
|
|
16
|
+
6,
|
|
17
|
+
10,
|
|
18
|
+
10,
|
|
19
|
+
14,
|
|
20
|
+
14,
|
|
21
|
+
20,
|
|
22
|
+
20,
|
|
23
|
+
26,
|
|
24
|
+
26,
|
|
25
|
+
35,
|
|
26
|
+
35,
|
|
27
|
+
44,
|
|
28
|
+
44,
|
|
29
|
+
56
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008643"
|
|
33
|
+
],
|
|
34
|
+
"gf": "1/(-1+_x)/(_x^2-1)/(_x^4-1)/(_x^8-1)",
|
|
35
|
+
"rec": "{6*_f(_n)+18*_f(_n+1)+30*_f(_n+2)+42*_f(_n+3)+48*_f(_n+4)+48*_f(_n+5)+48*_f(_n+6)+48*_f(_n+7)+42*_f(_n+8)+30*_f(_n+9)+18*_f(_n+10)+6*_f(_n+11)-_n^3-39*_n^2-506*_n-2184, _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 2, _f(4) = 4, _f(5) = 4, _f(6) = 6, _f(7) = 6, _f(8)= 10, _f(9) = 10, _f(10) = 14}",
|
|
36
|
+
"closedform": "Sum(1/32*(_alpha^3-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+1))+Sum(-1/128*(1+_alpha)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+1))+Sum(1/128*(7*_alpha-6)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+1))+1/768*(3*_n^2+45*_n+147)*(-1)^(-_n)+1/384*_n^3+15/256*_n^2+295/768*_n+175/256",
|
|
37
|
+
"equiv": "1/384*_n^3"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 234,
|
|
3
|
+
"name": "Denumerant for coin values 1, 3, 5, 7",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 1 3 5 7 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
1,
|
|
11
|
+
1,
|
|
12
|
+
2,
|
|
13
|
+
2,
|
|
14
|
+
3,
|
|
15
|
+
4,
|
|
16
|
+
5,
|
|
17
|
+
6,
|
|
18
|
+
7,
|
|
19
|
+
9,
|
|
20
|
+
10,
|
|
21
|
+
12,
|
|
22
|
+
14,
|
|
23
|
+
16,
|
|
24
|
+
19,
|
|
25
|
+
21,
|
|
26
|
+
24,
|
|
27
|
+
27,
|
|
28
|
+
30,
|
|
29
|
+
34
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008673"
|
|
33
|
+
],
|
|
34
|
+
"gf": "1/(-1+_x)/(_x^3-1)/(_x^5-1)/(_x^7-1)",
|
|
35
|
+
"rec": "{6*_f(_n)+18*_f(_n+1)+36*_f(_n+2)+54*_f(_n+3)+72*_f(_n+4)+84*_f(_n+5)+90*_f(_n+6)+84*_f(_n+7)+72*_f(_n+8)+54*_f(_n+9)+36*_f(_n+10)+18*_f(_n+11)+6*_f(_n+12)-_n^3-42*_n^2-587*_n-2730, _f(0) = 1, _f(1) = 1, _f(2) = 1, _f(3) = 2, _f(4) =2, _f(5) = 3, _f(6) = 4, _f(7) = 5, _f(8) = 6, _f(9) = 7, _f(10) = 9, _f(11) =10}",
|
|
36
|
+
"closedform": "172/315+4/105*_n^2+19/70*_n+1/630*_n^3+Sum(1/27*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/25*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/49*(2*_alpha^4+2*_alpha^2+2*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))",
|
|
37
|
+
"equiv": "-1/5*exp(Complex(1)*(arctan((RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^3-3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473))/(3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))-Pi)*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^3-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^5/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^7-1)*(RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^6+3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2+3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4+RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^6+2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)+4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^5-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^4+2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4-4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)+1)^(-1/2*ln(exp(-_n)))"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 235,
|
|
3
|
+
"name": "Denumerant for coin values 1, 3, 9, 27",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 1 3 9 27 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
1,
|
|
11
|
+
1,
|
|
12
|
+
2,
|
|
13
|
+
2,
|
|
14
|
+
2,
|
|
15
|
+
3,
|
|
16
|
+
3,
|
|
17
|
+
3,
|
|
18
|
+
5,
|
|
19
|
+
5,
|
|
20
|
+
5,
|
|
21
|
+
7,
|
|
22
|
+
7,
|
|
23
|
+
7,
|
|
24
|
+
9,
|
|
25
|
+
9,
|
|
26
|
+
9,
|
|
27
|
+
12,
|
|
28
|
+
12,
|
|
29
|
+
12
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008650"
|
|
33
|
+
],
|
|
34
|
+
"gf": "1/(-1+_x)/(_x^3-1)/(_x^9-1)/(_x^27-1)",
|
|
35
|
+
"rec": "{-54834-4331*_n+6*_f(_n)+36*_f(_n+2)+18*_f(_n+1)-114*_n^2+108*_f(_n+6)+90*_f(_n+5)+72*_f(_n+4)+54*_f(_n+3)-_n^3+126*_f(_n+7)+144*_f(_n+8)+156*_f(_n+9)+162*_f(_n+10)+162*_f(_n+11)+162*_f(_n+12)+162*_f(_n+13)+162*_f(_n+14)+162*_f(_n+15)+162*_f(_n+16)+162*_f(_n+17)+162*_f(_n+18)+162*_f(_n+19)+162*_f(_n+20)+162*_f(_n+21)+162*_f(_n+22)+162*_f(_n+23)+162*_f(_n+24)+162*_f(_n+25)+162*_f(_n+26)+156*_f(_n+27)+144*_f(_n+28)+126*_f(_n+29)+108*_f(_n+30)+90*_f(_n+31)+72*_f(_n+32)+54*_f(_n+33)+36*_f(_n+34)+18*_f(_n+35)+6*_f(_n+36), _f(0) =1, _f(1) = 1, _f(2) = 1, _f(3) = 2, _f(4) = 2, _f(5) = 2, _f(6) = 3, _f(7) = 3, _f(8) = 3, _f(9) = 5, _f(10) = 5, _f(11) = 5, _f(12) = 7, _f(13) = 7, _f(14)= 7, _f(15) = 9, _f(16) = 9, _f(17) = 9, _f(18) = 12, _f(19) = 12, _f(20) = 12, _f(21) = 15, _f(22) = 15, _f(23) = 15, _f(24) = 18, _f(25) = 18, _f(26) = 18, _f(27) = 23, _f(28) = 23, _f(29) = 23, _f(30) = 28, _f(31) = 28, _f(32) = 28, _f(33) = 33, _f(34) = 33, _f(35) = 33}",
|
|
36
|
+
"closedform": "650/729+10/729*_n^2+995/4374*_n+1/4374*_n^3+Sum(1/4374*(_alpha+2)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(-1/2187*(37*_alpha+19)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/6561*(467*_alpha-410)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(1/81*(2*_alpha^17+2*_alpha^16+_alpha^15+_alpha^14+_alpha^13-_alpha^9+_alpha^8+_alpha^7-_alpha^3-_alpha^2-_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^18+_Z^9+1))+Sum(1/729*(_alpha^5+_alpha^2-_alpha-1)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^6+_Z^3+1))+Sum(1/729*(18*_alpha^5+19*_alpha^4+2*_alpha^3+20*_alpha^2+21*_alpha-17)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^3+1))",
|
|
37
|
+
"equiv": "(-1/1458*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))^39/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439)))-1/1458*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))^39/(-1+RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))))*_n^2*(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)))"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 236,
|
|
3
|
+
"name": "Denumerant for coin values 2, 6, 8, 12",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 2 6 8 12 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
1,
|
|
12
|
+
0,
|
|
13
|
+
1,
|
|
14
|
+
0,
|
|
15
|
+
2,
|
|
16
|
+
0,
|
|
17
|
+
3,
|
|
18
|
+
0,
|
|
19
|
+
3,
|
|
20
|
+
0,
|
|
21
|
+
5,
|
|
22
|
+
0,
|
|
23
|
+
6,
|
|
24
|
+
0,
|
|
25
|
+
7,
|
|
26
|
+
0,
|
|
27
|
+
9,
|
|
28
|
+
0,
|
|
29
|
+
11
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008670"
|
|
33
|
+
],
|
|
34
|
+
"gf": "1/(_x^2-1)/(_x^6-1)/(_x^8-1)/(_x^12-1)",
|
|
35
|
+
"rec": "{-17550-2027*_n+6*_f(_n)+54*_f(_n+2)+24*_f(_n+1)-78*_n^2+288*_f(_n+6)+216*_f(_n+5)+150*_f(_n+4)+96*_f(_n+3)-_n^3+360*_f(_n+7)+426*_f(_n+8)+480*_f(_n+9)+522*_f(_n+10)+552*_f(_n+11)+564*_f(_n+12)+552*_f(_n+13)+522*_f(_n+14)+480*_f(_n+15)+426*_f(_n+16)+360*_f(_n+17)+288*_f(_n+18)+216*_f(_n+19)+150*_f(_n+20)+96*_f(_n+21)+54*_f(_n+22)+24*_f(_n+23)+6*_f(_n+24), _f(0) = 1, _f(1) = 0, _f(2) = 1, _f(3) = 0, _f(4) = 1,_f(5) = 0, _f(6) = 2, _f(7) = 0, _f(8) = 3, _f(9) = 0, _f(10) = 3, _f(11) = 0,_f(12) = 5, _f(13) = 0, _f(14) = 6, _f(15) = 0, _f(16) = 7, _f(17) = 0, _f(18)= 9, _f(19) = 0, _f(20) = 11, _f(21) = 0, _f(22) = 12, _f(23) = 0}",
|
|
36
|
+
"closedform": "Sum(1/6912*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^2-1))+Sum(1/192*_alpha^(-_n-2)*(_n+2)*(_n+1),_alpha = RootOf(_Z^2-1))+Sum(407/6912*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2-1))+Sum(1391/6912*_alpha^(-_n),_alpha = RootOf(_Z^2-1))+Sum(1/72*_alpha*(_alpha^2+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^2+1))+Sum(1/3456*(7*_alpha^4+7*_alpha^2-9)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^6+2*_Z^4+2*_Z^2+1))+Sum(1/10368*(191*_alpha^5+735*_alpha^3+895*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+2*_Z^4+2*_Z^2+1))+Sum(1/32*_alpha^(-_n),_alpha =RootOf(_Z^4+1))",
|
|
37
|
+
"equiv": "0"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 237,
|
|
3
|
+
"name": "Denumerant for coin values 3, 4, 5, 6",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 3 4 5 6 cents",
|
|
5
|
+
"specification": "{S= Prod(Sequence(Prod(Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
0,
|
|
12
|
+
1,
|
|
13
|
+
1,
|
|
14
|
+
1,
|
|
15
|
+
2,
|
|
16
|
+
1,
|
|
17
|
+
2,
|
|
18
|
+
3,
|
|
19
|
+
3,
|
|
20
|
+
3,
|
|
21
|
+
5,
|
|
22
|
+
4,
|
|
23
|
+
5,
|
|
24
|
+
7,
|
|
25
|
+
7,
|
|
26
|
+
7,
|
|
27
|
+
10,
|
|
28
|
+
9,
|
|
29
|
+
11
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008681"
|
|
33
|
+
],
|
|
34
|
+
"gf": "1/(_x^3-1)/(_x^4-1)/(_x^5-1)/(_x^6-1)",
|
|
35
|
+
"rec": "{6*_f(_n)+24*_f(_n+1)+60*_f(_n+2)+114*_f(_n+3)+180*_f(_n+4)+246*_f(_n+5)+294*_f(_n+6)+312*_f(_n+7)+294*_f(_n+8)+246*_f(_n+9)+180*_f(_n+10)+114*_f(_n+11)+60*_f(_n+12)+24*_f(_n+13)+6*_f(_n+14)-_n^3-48*_n^2-767*_n-4080, _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 1, _f(4) = 1, _f(5) = 1, _f(6) = 2, _f(7) = 1, _f(8) = 2, _f(9) = 3, _f(10) = 3, _f(11) = 3, _f(12) = 5, _f(13) = 4}",
|
|
36
|
+
"closedform": "119/480+1/80*_n^2+443/4320*_n+1/2160*_n^3+Sum(1/864*(9*_alpha^2-7*_alpha-7)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^3+2*_Z^2+2*_Z+1))+Sum(1/324*(22*_alpha^2+69*_alpha+20)*_alpha^(-1-_n),_alpha = RootOf(_Z^3+2*_Z^2+2*_Z+1))+Sum(1/25*(-_alpha^3+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/16*_alpha^(-_n),_alpha = RootOf(_Z^2+1))+Sum(-1/36*(_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^2-_Z+1))",
|
|
37
|
+
"equiv": "(1/18*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))^9/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^4-1)/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^5-1)+1/18*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))^9/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^4-1)/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^5-1))*_n*(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)))"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 238,
|
|
3
|
+
"name": "Denumerant for coin values 3, 5, 7, 9",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 3 5 7 9 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
0,
|
|
12
|
+
1,
|
|
13
|
+
0,
|
|
14
|
+
1,
|
|
15
|
+
1,
|
|
16
|
+
1,
|
|
17
|
+
1,
|
|
18
|
+
2,
|
|
19
|
+
2,
|
|
20
|
+
1,
|
|
21
|
+
3,
|
|
22
|
+
2,
|
|
23
|
+
3,
|
|
24
|
+
4,
|
|
25
|
+
3,
|
|
26
|
+
4,
|
|
27
|
+
5,
|
|
28
|
+
5,
|
|
29
|
+
5
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008678"
|
|
33
|
+
],
|
|
34
|
+
"gf": "1/(_x^3-1)/(_x^5-1)/(_x^7-1)/(_x^9-1)",
|
|
35
|
+
"rec": "{-10626-1451*_n+6*_f(_n)+60*_f(_n+2)+24*_f(_n+1)-66*_n^2+360*_f(_n+6)+270*_f(_n+5)+186*_f(_n+4)+114*_f(_n+3)-_n^3+444*_f(_n+7)+516*_f(_n+8)+564*_f(_n+9)+582*_f(_n+10)+564*_f(_n+11)+516*_f(_n+12)+444*_f(_n+13)+360*_f(_n+14)+270*_f(_n+15)+186*_f(_n+16)+114*_f(_n+17)+60*_f(_n+18)+24*_f(_n+19)+6*_f(_n+20), _f(0) = 1, _f(1) = 0, _f(2) = 0, _f(3) = 1, _f(4) = 0, _f(5) = 1, _f(6) = 1, _f(7) = 1,_f(8) = 1, _f(9) = 2, _f(10) = 2, _f(11) = 1, _f(12) = 3, _f(13) = 2, _f(14) =3, _f(15) = 4, _f(16) = 3, _f(17) = 4, _f(18) = 5, _f(19) = 5}",
|
|
36
|
+
"closedform": "206/945+2/315*_n^2+391/5670*_n+1/5670*_n^3+Sum(-1/81*(1+_alpha)*_alpha^(-_n-2)*(_n+1),_alpha= RootOf(_Z^2+_Z+1))+Sum(2/243*(17*_alpha+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^2+_Z+1))+Sum(-1/25*_alpha*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(-1/49*(3*_alpha^5+_alpha^3+2*_alpha^2-_alpha+2)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^5+_Z^4+_Z^3+_Z^2+_Z+1))+Sum(-1/27*_alpha^2*(_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^6+_Z^3+1))",
|
|
37
|
+
"equiv": "(1/27*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))^12/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^5-1)/(RootOf(_Z^2+_Z+1,Complex(-.5,-.866025403784439))^7-1)+1/27*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))^12/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^5-1)/(RootOf(_Z^2+_Z+1,Complex(-.5,.866025403784439))^7-1))*_n*(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)))"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 239,
|
|
3
|
+
"name": "Denumerant for coin values 4, 8, 12, 20",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 4 8 12 20 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
0,
|
|
12
|
+
0,
|
|
13
|
+
1,
|
|
14
|
+
0,
|
|
15
|
+
0,
|
|
16
|
+
0,
|
|
17
|
+
2,
|
|
18
|
+
0,
|
|
19
|
+
0,
|
|
20
|
+
0,
|
|
21
|
+
3,
|
|
22
|
+
0,
|
|
23
|
+
0,
|
|
24
|
+
0,
|
|
25
|
+
4,
|
|
26
|
+
0,
|
|
27
|
+
0,
|
|
28
|
+
0,
|
|
29
|
+
6
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008669"
|
|
33
|
+
],
|
|
34
|
+
"gf": "1/(_x^4-1)/(_x^8-1)/(_x^12-1)/(_x^20-1)",
|
|
35
|
+
"rec": "{-74046-5291*_n+6*_f(_n)+60*_f(_n+2)+24*_f(_n+1)-126*_n^2+444*_f(_n+6)+60*_f(_n+38)+24*_f(_n+39)+6*_f(_n+40)+312*_f(_n+5)+204*_f(_n+4)+120*_f(_n+3)-_n^3+600*_f(_n+7)+774*_f(_n+8)+960*_f(_n+9)+1152*_f(_n+10)+1344*_f(_n+11)+1530*_f(_n+12)+1704*_f(_n+13)+1860*_f(_n+14)+1992*_f(_n+15)+2100*_f(_n+16)+2184*_f(_n+17)+2244*_f(_n+18)+2280*_f(_n+19)+2292*_f(_n+20)+2280*_f(_n+21)+2244*_f(_n+22)+2184*_f(_n+23)+2100*_f(_n+24)+1992*_f(_n+25)+1860*_f(_n+26)+1704*_f(_n+27)+1530*_f(_n+28)+1344*_f(_n+29)+1152*_f(_n+30)+960*_f(_n+31)+774*_f(_n+32)+600*_f(_n+33)+444*_f(_n+34)+312*_f(_n+35)+204*_f(_n+36)+120*_f(_n+37), _f(0) = 1,_f(1) = 0, _f(2) = 0, _f(3) = 0, _f(4) = 1, _f(5) = 0, _f(6) = 0, _f(7) = 0, _f(8) = 2, _f(9) = 0, _f(10) = 0, _f(11) = 0, _f(12) = 3, _f(13) = 0, _f(14) =0, _f(15) = 0, _f(16) = 4, _f(17) = 0, _f(18) = 0, _f(19) = 0, _f(20) = 6, _f(21) = 0, _f(22) = 0, _f(23) = 0, _f(24) = 8, _f(25) = 0, _f(26) = 0, _f(27) =0, _f(28) = 10, _f(29) = 0, _f(30) = 0, _f(31) = 0, _f(32) = 13, _f(33) = 0, _f(34) = 0, _f(35) = 0, _f(36) = 16, _f(37) = 0, _f(38) = 0, _f(39) = 0}",
|
|
36
|
+
"closedform": "Sum(1/108*(-_alpha^5+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^8+_Z^4+1))+Sum(1/46080*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^4-1))+Sum(1/768*_alpha^(-_n)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4-1))+Sum(221/9216*_alpha^(-_n)*(_n+1),_alpha = RootOf(_Z^4-1))+Sum(133/1024*_alpha^(-_n),_alpha = RootOf(_Z^4-1))+Sum(1/100*_alpha*(_alpha^12+_alpha^8+_alpha^4+2)*_alpha^(-1-_n),_alpha =RootOf(_Z^16+_Z^12+_Z^8+_Z^4+1))+Sum(1/64*_alpha^(-_n),_alpha = RootOf(_Z^4+1))",
|
|
37
|
+
"equiv": "0"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 240,
|
|
3
|
+
"name": "Denumerant for coin values 2, 12, 20, 30",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 2 12 20 30 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
1,
|
|
12
|
+
0,
|
|
13
|
+
1,
|
|
14
|
+
0,
|
|
15
|
+
1,
|
|
16
|
+
0,
|
|
17
|
+
1,
|
|
18
|
+
0,
|
|
19
|
+
1,
|
|
20
|
+
0,
|
|
21
|
+
2,
|
|
22
|
+
0,
|
|
23
|
+
2,
|
|
24
|
+
0,
|
|
25
|
+
2,
|
|
26
|
+
0,
|
|
27
|
+
2,
|
|
28
|
+
0,
|
|
29
|
+
3
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008668"
|
|
33
|
+
],
|
|
34
|
+
"gf": "1/(_x^2-1)/(_x^12-1)/(_x^20-1)/(_x^30-1)",
|
|
35
|
+
"rec": "{-238266-11531*_n+6*_f(_n)+54*_f(_n+2)+24*_f(_n+1)-186*_n^2+294*_f(_n+6)+2394*_f(_n+38)+2280*_f(_n+39)+2154*_f(_n+40)+2016*_f(_n+41)+1872*_f(_n+42)+1728*_f(_n+43)+1584*_f(_n+44)+1440*_f(_n+45)+1296*_f(_n+46)+1152*_f(_n+47)+1008*_f(_n+48)+864*_f(_n+49)+726*_f(_n+50)+600*_f(_n+51)+486*_f(_n+52)+384*_f(_n+53)+294*_f(_n+54)+216*_f(_n+55)+150*_f(_n+56)+96*_f(_n+57)+54*_f(_n+58)+24*_f(_n+59)+6*_f(_n+60)+216*_f(_n+5)+150*_f(_n+4)+96*_f(_n+3)-_n^3+384*_f(_n+7)+486*_f(_n+8)+600*_f(_n+9)+726*_f(_n+10)+864*_f(_n+11)+1008*_f(_n+12)+1152*_f(_n+13)+1296*_f(_n+14)+1440*_f(_n+15)+1584*_f(_n+16)+1728*_f(_n+17)+1872*_f(_n+18)+2016*_f(_n+19)+2154*_f(_n+20)+2280*_f(_n+21)+2394*_f(_n+22)+2496*_f(_n+23)+2586*_f(_n+24)+2664*_f(_n+25)+2730*_f(_n+26)+2784*_f(_n+27)+2826*_f(_n+28)+2856*_f(_n+29)+2868*_f(_n+30)+2856*_f(_n+31)+2826*_f(_n+32)+2784*_f(_n+33)+2730*_f(_n+34)+2664*_f(_n+35)+2586*_f(_n+36)+2496*_f(_n+37), _f(0) = 1, _f(1) = 0, _f(2) = 1,_f(3) = 0, _f(4) = 1, _f(5) = 0, _f(6) = 1, _f(7) = 0, _f(8) = 1, _f(9) = 0, _f(10) = 1, _f(11) = 0, _f(12) = 2, _f(13) = 0, _f(14) = 2, _f(15) = 0, _f(16)= 2, _f(17) = 0, _f(18) = 2, _f(19) = 0, _f(20) = 3, _f(21) = 0, _f(22) = 3, _f(23) = 0, _f(24) = 4, _f(25) = 0, _f(26) = 4, _f(27) = 0, _f(28) = 4, _f(29)= 0, _f(30) = 5, _f(31) = 0, _f(32) = 6, _f(33) = 0, _f(34) = 6, _f(35) = 0, _f(36) = 7, _f(37) = 0, _f(38) = 7, _f(39) = 0, _f(40) = 8, _f(41) = 0, _f(42)= 9, _f(43) = 0, _f(44) = 10, _f(45) = 0, _f(46) = 10, _f(47) = 0, _f(48) = 11, _f(49) = 0, _f(50) = 12, _f(51) = 0, _f(52) = 13, _f(53) = 0, _f(54) = 14, _f(55) = 0, _f(56) = 15, _f(57) = 0, _f(58) = 15, _f(59) = 0}",
|
|
36
|
+
"closedform": "Sum(1/200*(2*_alpha^7+_alpha^5+_alpha^3+2*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^8-_Z^6+_Z^4-_Z^2+1))+Sum(1/86400*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^2-1))+Sum(1/960*_alpha^(-_n-2)*(_n+2)*(_n+1),_alpha = RootOf(_Z^2-1))+Sum(2429/86400*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2-1))+Sum(18569/86400*_alpha^(-_n),_alpha = RootOf(_Z^2-1))+Sum(1/72*_alpha*(_alpha^2+1)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^2+1))+Sum(-1/960*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^2+1))+Sum(31/960*_alpha^(-_n),_alpha = RootOf(_Z^2+1))+Sum(1/27000*(16*_alpha^10+25*_alpha^8+34*_alpha^6+34*_alpha^4+25*_alpha^2-9)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^12+2*_Z^10+3*_Z^8+3*_Z^6+3*_Z^4+2*_Z^2+1))+Sum(1/40500*(49*_alpha^11+885*_alpha^9+1533*_alpha^7+2046*_alpha^5+2235*_alpha^3+1862*_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^12+2*_Z^10+3*_Z^8+3*_Z^6+3*_Z^4+2*_Z^2+1))+Sum(1/450*(4*_alpha^15+3*_alpha^13-3*_alpha^11+4*_alpha^9+_alpha^7+3*_alpha^5+7*_alpha^3+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^16-_Z^14+_Z^10-_Z^8+_Z^6-_Z^2+1))",
|
|
37
|
+
"equiv": "0"
|
|
38
|
+
}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
{
|
|
2
|
+
"id": 241,
|
|
3
|
+
"name": "Denumerant for coin values 12, 18, 24, 30",
|
|
4
|
+
"description": "number of ways to make n cents with coins of 12 18 24 30 cents",
|
|
5
|
+
"specification": "{S = Prod(Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
|
|
6
|
+
"labeled": false,
|
|
7
|
+
"symbol": "S",
|
|
8
|
+
"terms": [
|
|
9
|
+
1,
|
|
10
|
+
0,
|
|
11
|
+
0,
|
|
12
|
+
0,
|
|
13
|
+
0,
|
|
14
|
+
0,
|
|
15
|
+
0,
|
|
16
|
+
0,
|
|
17
|
+
0,
|
|
18
|
+
0,
|
|
19
|
+
0,
|
|
20
|
+
0,
|
|
21
|
+
1,
|
|
22
|
+
0,
|
|
23
|
+
0,
|
|
24
|
+
0,
|
|
25
|
+
0,
|
|
26
|
+
0,
|
|
27
|
+
1,
|
|
28
|
+
0,
|
|
29
|
+
0
|
|
30
|
+
],
|
|
31
|
+
"references": [
|
|
32
|
+
"EIS A008667"
|
|
33
|
+
],
|
|
34
|
+
"gf": "1/(_x^12-1)/(_x^18-1)/(_x^24-1)/(_x^30-1)",
|
|
35
|
+
"rec": "{-551286-20171*_n+6*_f(_n)+60*_f(_n+2)+24*_f(_n+1)-246*_n^2+504*_f(_n+6)+27390*_f(_n+38)+27600*_f(_n+39)+27672*_f(_n+40)+27600*_f(_n+41)+27390*_f(_n+42)+27048*_f(_n+43)+26580*_f(_n+44)+25992*_f(_n+45)+25290*_f(_n+46)+24480*_f(_n+47)+23574*_f(_n+48)+22584*_f(_n+49)+21522*_f(_n+50)+20400*_f(_n+51)+19230*_f(_n+52)+18024*_f(_n+53)+16794*_f(_n+54)+15552*_f(_n+55)+14310*_f(_n+56)+13080*_f(_n+57)+11874*_f(_n+58)+10704*_f(_n+59)+9576*_f(_n+60)+8496*_f(_n+61)+7470*_f(_n+62)+6504*_f(_n+63)+5604*_f(_n+64)+4776*_f(_n+65)+4020*_f(_n+66)+3336*_f(_n+67)+2724*_f(_n+68)+2184*_f(_n+69)+1716*_f(_n+70)+1320*_f(_n+71)+990*_f(_n+72)+720*_f(_n+73)+504*_f(_n+74)+336*_f(_n+75)+210*_f(_n+76)+120*_f(_n+77)+60*_f(_n+78)+24*_f(_n+79)+6*_f(_n+80)+336*_f(_n+5)+210*_f(_n+4)+120*_f(_n+3)-_n^3+720*_f(_n+7)+990*_f(_n+8)+1320*_f(_n+9)+1716*_f(_n+10)+2184*_f(_n+11)+2724*_f(_n+12)+3336*_f(_n+13)+4020*_f(_n+14)+4776*_f(_n+15)+5604*_f(_n+16)+6504*_f(_n+17)+7470*_f(_n+18)+8496*_f(_n+19)+9576*_f(_n+20)+10704*_f(_n+21)+11874*_f(_n+22)+13080*_f(_n+23)+14310*_f(_n+24)+15552*_f(_n+25)+16794*_f(_n+26)+18024*_f(_n+27)+19230*_f(_n+28)+20400*_f(_n+29)+21522*_f(_n+30)+22584*_f(_n+31)+23574*_f(_n+32)+24480*_f(_n+33)+25290*_f(_n+34)+25992*_f(_n+35)+26580*_f(_n+36)+27048*_f(_n+37), _f(0) = 1, _f(1) = 0,_f(2) = 0, _f(3) = 0, _f(4) = 0, _f(5) = 0, _f(6) = 0, _f(7) = 0, _f(8) = 0, _f(9) = 0, _f(10) = 0, _f(11) = 0, _f(12) = 1, _f(13) = 0, _f(14) = 0, _f(15)= 0, _f(16) = 0, _f(17) = 0, _f(18) = 1, _f(19) = 0, _f(20) = 0, _f(21) = 0, _f(22) = 0, _f(23) = 0, _f(24) = 2, _f(25) = 0, _f(26) = 0, _f(27) = 0, _f(28)= 0, _f(29) = 0, _f(30) = 2, _f(31) = 0, _f(32) = 0, _f(33) = 0, _f(34) = 0, _f(35) = 0, _f(36) = 3, _f(37) = 0, _f(38) = 0, _f(39) = 0, _f(40) = 0, _f(41)= 0, _f(42) = 3, _f(43) = 0, _f(44) = 0, _f(45) = 0, _f(46) = 0, _f(47) = 0, _f(48) = 5, _f(49) = 0, _f(50) = 0, _f(51) = 0, _f(52) = 0, _f(53) = 0, _f(54)= 5, _f(55) = 0, _f(56) = 0, _f(57) = 0, _f(58) = 0, _f(59) = 0, _f(60) = 7, _f(61) = 0, _f(62) = 0, _f(63) = 0, _f(64) = 0, _f(65) = 0, _f(66) = 7, _f(67)= 0, _f(68) = 0, _f(69) = 0, _f(70) = 0, _f(71) = 0, _f(72) = 10, _f(73) = 0,_f(74) = 0, _f(75) = 0, _f(76) = 0, _f(77) = 0, _f(78) = 10, _f(79) = 0}",
|
|
36
|
+
"closedform": "Sum(1/1152*_alpha^(-_n)*(_n+1),_alpha = RootOf(_Z^6+1))+Sum(41/1152*_alpha^(-_n),_alpha = RootOf(_Z^6+1))+Sum(1/96*_alpha^(-_n),_alpha = RootOf(_Z^12+1))+Sum(1/150*(-_alpha^7+_alpha)*_alpha^(-1-_n),_alpha = RootOf(_Z^24+_Z^18+_Z^12+_Z^6+1))+Sum(1/933120*_alpha^(-_n)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^6-1))+Sum(1/7776*_alpha^(-_n)*(_n+2)*(_n+1),_alpha = RootOf(_Z^6-1))+Sum(887/186624*_alpha^(-_n)*(_n+1),_alpha = RootOf(_Z^6-1))+Sum(9799/186624*_alpha^(-_n),_alpha = RootOf(_Z^6-1))+Sum(1/162*(-_alpha^7+_alpha)*_alpha^(-1-_n),_alpha =RootOf(_Z^12+_Z^6+1))",
|
|
37
|
+
"equiv": "0"
|
|
38
|
+
}
|