V500InW9V001star = P -> {
P_1994,
P_1979+P_1990+P_1993,
-2*P_1874-2*P_1930+2*P_1975+2*P_1978+2*P_1989,
P_1748-P_1986+P_1992,
-6*P_1870-6*P_1873-6*P_1910-6*P_1929+6*P_1974,
P_1734+P_1961-P_1991,
P_1538+P_1744+P_1747+2*P_1926-P_1971+P_1977+P_1988,
2*P_1534+2*P_1537+2*P_1679+2*P_1743+2*P_1866-2*P_1872+4*P_1906+2*P_1920-2*P_1928+2*P_1973,
P_1730-P_1960+P_1984,
2*P_1208-2*P_1740+2*P_1746+2*P_1925+2*P_1983,
-24*P_1805-24*P_1869-24*P_1909,
P_1524+P_1714+P_1733-2*P_1856+P_1955-P_1976-P_1987,
-120*P_1804,
2*P_1504+2*P_1523-2*P_1623+2*P_1713-2*P_1836-4*P_1850+2*P_1871+2*P_1890+2*P_1927-2*P_1972,
6*P_1469+6*P_1533+6*P_1678+12*P_1801-6*P_1868+6*P_1900-6*P_1908,
-P_713-P_1194-P_1520-P_1855+P_1924,
P_1520+P_1710+P_1724+2*P_1855-2*P_1924-P_1954-P_1958+P_1969+P_1982,
2*P_1194+P_1520-P_1710+P_1724+P_1732-P_1745-2*P_1924-P_1958-P_1982,
2*P_1204+2*P_1207-2*P_1530+2*P_1536-4*P_1675+2*P_1742+2*P_1905+2*P_1919-2*P_1923+2*P_1968,
-6*P_1413+6*P_1503-6*P_1622+12*P_1785-6*P_1830+6*P_1867+6*P_1907,
-2*P_699-2*P_1694-2*P_1731+2*P_1854+2*P_1957,
24*P_1468+24*P_1795-24*P_1803,
-P_709-P_712-P_1174-P_1193-P_1500-P_1514-P_1835-P_1849-P_1853+P_1904+P_1918+P_1922,
2*P_1500+2*P_1514-2*P_1619-2*P_1659+2*P_1704+2*P_1835+4*P_1849+4*P_1853-2*P_1864-2*P_1889-4*P_1904-2*P_1918-4*P_1922-2*P_1952+2*P_1967,
2*P_1174+2*P_1193+2*P_1514+P_1522-P_1535+2*P_1619-2*P_1659+P_1712-P_1741+2*P_1853-2*P_1904-2*P_1918-P_1952-P_1967,
4*P_1139+4*P_1203-8*P_1465+4*P_1532-4*P_1669+4*P_1677+4*P_1800-4*P_1863+4*P_1899-4*P_1903,
2*P_1190-P_1519+P_1709-P_1727+P_1738+P_1949+P_1981,
-6*P_1200+6*P_1206-6*P_1674+6*P_1737-6*P_1914,
-24*P_1412+24*P_1770+24*P_1802,
-2*P_679-2*P_698-2*P_1484-2*P_1521+4*P_1603-2*P_1711+2*P_1834+2*P_1848-2*P_1852+2*P_1951,
-2*P_644-2*P_708+2*P_1083-2*P_1173+2*P_1409+2*P_1449-2*P_1494+2*P_1784+2*P_1799-2*P_1829-2*P_1833-2*P_1847+2*P_1898+2*P_1902+2*P_1916,
-6*P_1409-6*P_1449+6*P_1494-6*P_1613-6*P_1644-12*P_1784-12*P_1799+6*P_1829+6*P_1833+12*P_1847-6*P_1862-6*P_1887-6*P_1898-12*P_1902-6*P_1916,
-4*P_1083+4*P_1173+2*P_1409-6*P_1449+2*P_1494+2*P_1502-2*P_1531+2*P_1613-2*P_1621-2*P_1644-2*P_1676-4*P_1799+2*P_1833+4*P_1847+2*P_1862-2*P_1887-4*P_1898-2*P_1916,
-2*P_695+P_1518+P_1693-P_1722+P_1726-P_1948-P_1956,
12*P_1138-12*P_1459+12*P_1467+12*P_1794-12*P_1798,
P_705-P_711-P_999-P_1184-P_1192-P_1325+P_1517+P_1618-P_1673+P_1844-P_1913+P_1921,
2*P_1170+2*P_1184-P_1513-2*P_1517+P_1528-2*P_1618+2*P_1673+P_1703-P_1721+P_1736-2*P_1844+2*P_1884-2*P_1921+P_1966,
2*P_999-2*P_1170+4*P_1184+4*P_1192-2*P_1205+2*P_1325-2*P_1517-2*P_1658+4*P_1673+2*P_1707-2*P_1721-2*P_1736+2*P_1884+4*P_1913-2*P_1921,
-12*P_1135+6*P_1202-6*P_1464+6*P_1527-6*P_1668+6*P_1672-6*P_1894,
4*P_588-4*P_678+8*P_1393-4*P_1501+4*P_1588+4*P_1620-4*P_1783+4*P_1828-4*P_1846+4*P_1886,
-6*P_643+6*P_1082+6*P_1403+6*P_1434+6*P_1769+6*P_1782+6*P_1793+6*P_1797-6*P_1827+6*P_1896,
-24*P_1403-24*P_1434-24*P_1567-24*P_1769-48*P_1782-24*P_1793-48*P_1797+24*P_1827-24*P_1896,
-12*P_1082-6*P_1411-12*P_1434-6*P_1466-12*P_1782-12*P_1793+6*P_1827-6*P_1896,
P_504+P_675+P_710+P_1154+P_1191-P_1309-P_1516+P_1602-P_1657-P_1814-P_1851+P_1883,
-2*P_675-2*P_689+P_1483+P_1498+2*P_1516-2*P_1602+2*P_1657+P_1691-P_1702+P_1706+2*P_1843+2*P_1851-2*P_1883-P_1950,
-2*P_504-2*P_689-2*P_697-4*P_1154-4*P_1191+2*P_1309+2*P_1516-2*P_1617+4*P_1657+2*P_1691-2*P_1706+2*P_1720-2*P_1843+2*P_1851-4*P_1883,
2*P_640-P_707-P_879-P_998+2*P_1119-P_1164-P_1172-P_1319+P_1408-P_1463+P_1497+P_1511+P_1612+P_1616-P_1667-P_1671-2*P_1779+P_1824-P_1893+P_1901+P_1915,
-4*P_1079-4*P_1119+4*P_1164-2*P_1408+2*P_1448+4*P_1463-2*P_1497-4*P_1511+2*P_1526-4*P_1612-2*P_1616-2*P_1643+2*P_1656+2*P_1667+4*P_1671+8*P_1779-2*P_1824-2*P_1861+2*P_1880-4*P_1901-2*P_1915,
2*P_879+2*P_998+4*P_1079-8*P_1119+2*P_1164+4*P_1172-2*P_1201+2*P_1319-2*P_1448+4*P_1463-4*P_1511-2*P_1526-4*P_1616-2*P_1643+2*P_1656+4*P_1667+4*P_1779+2*P_1880+4*P_1893-2*P_1901-2*P_1915,
2*P_694-2*P_1188+2*P_1688-2*P_1717+2*P_1947,
-12*P_1129+12*P_1137-12*P_1458+12*P_1462-12*P_1789,
2*P_995+2*P_1169-4*P_1187+2*P_1198-2*P_1324+2*P_1508-2*P_1653-2*P_1698+2*P_1735-2*P_1912,
-24*P_1134+24*P_1197+24*P_1663,
-24*P_1128+24*P_1132+24*P_1453,
12*P_587+12*P_1378+12*P_1410-12*P_1768+12*P_1781,
6*P_659+6*P_696-6*P_1601-6*P_1690+6*P_1813,
24*P_1357+24*P_1767+24*P_1791,
P_384+P_503-2*P_584+P_669+P_706-2*P_1063+P_1171-P_1294+P_1392-P_1447-P_1496-P_1510+P_1587+P_1600-P_1642-P_1655+2*P_1778-P_1810-P_1831-P_1845+P_1879,
4*P_584+4*P_624-4*P_669-4*P_1392-2*P_1407+2*P_1447+2*P_1481+4*P_1496+2*P_1510-2*P_1587-4*P_1600+2*P_1611-2*P_1615+4*P_1642+2*P_1655-8*P_1778+2*P_1823+2*P_1831+4*P_1845-2*P_1879-2*P_1885,
-2*P_384-2*P_503+4*P_624-2*P_669-2*P_677+8*P_1063-4*P_1171+2*P_1294-2*P_1407+4*P_1447+2*P_1481+4*P_1510-4*P_1600-2*P_1611+2*P_1615+4*P_1642-4*P_1778-2*P_1823+2*P_1831+2*P_1845-4*P_1879,
2*P_634-2*P_642-2*P_878+2*P_1073+2*P_1081+4*P_1104-2*P_1273+2*P_1402-2*P_1446-2*P_1457-2*P_1461+2*P_1491+2*P_1566+2*P_1610-2*P_1665-4*P_1764-2*P_1775-2*P_1788+2*P_1796+2*P_1895,
-12*P_1073-12*P_1104-6*P_1402+12*P_1446+6*P_1457+12*P_1461-6*P_1491-12*P_1566-6*P_1610+6*P_1665+12*P_1764+12*P_1775-12*P_1796-6*P_1895,
4*P_878-8*P_1081-12*P_1104-4*P_1136+4*P_1273-4*P_1406-4*P_1433+8*P_1446+8*P_1457-4*P_1491-4*P_1566-4*P_1610+4*P_1665+4*P_1764+8*P_1775+8*P_1788-4*P_1796-4*P_1895,
P_500-P_674-P_703+P_979-P_1153+P_1182-P_1478+P_1507+P_1597-P_1652+P_1842-P_1882,
2*P_674+2*P_688+2*P_692-2*P_1168-2*P_1182-2*P_1186+2*P_1478-2*P_1507-4*P_1597+4*P_1652+2*P_1684-2*P_1697-4*P_1842+4*P_1882+2*P_1946,
-2*P_500+2*P_692+2*P_1153-2*P_1182+2*P_1186-P_1308+P_1323-2*P_1507+2*P_1652+P_1684+P_1697+P_1705-P_1719+2*P_1882,
2*P_639-2*P_702+2*P_875-2*P_989-2*P_997+2*P_1078+2*P_1118-2*P_1133+2*P_1181+2*P_1322+2*P_1443-2*P_1607+2*P_1662-2*P_1670+2*P_1911,
2*P_875+2*P_989-4*P_1078+4*P_1133+2*P_1163-2*P_1167-4*P_1181+2*P_1196-2*P_1318-2*P_1322-6*P_1443+2*P_1525+4*P_1607+2*P_1638-2*P_1649+4*P_1670-2*P_1892-2*P_1911,
-6*P_875+6*P_989+6*P_997-12*P_1118+12*P_1133+6*P_1167-12*P_1181-6*P_1196-6*P_1322-6*P_1443+6*P_1638-6*P_1649-12*P_1662+6*P_1670-6*P_1911,
6*P_874-6*P_992-12*P_1113-6*P_1158+6*P_1195+6*P_1313+6*P_1661,
120*P_1123,
-12*P_568+6*P_676-6*P_1391-6*P_1480-6*P_1586+6*P_1599+6*P_1809,
2*P_383-4*P_578-2*P_609+2*P_641-2*P_1048-2*P_1080+2*P_1245+2*P_1377+2*P_1390+2*P_1405-2*P_1432-2*P_1490-2*P_1565+2*P_1585-2*P_1640-2*P_1755+2*P_1763+4*P_1774+2*P_1780-2*P_1825,
12*P_578+12*P_609-6*P_1377-12*P_1390-12*P_1405+6*P_1432+6*P_1490+12*P_1565-6*P_1585+6*P_1640-12*P_1763-12*P_1774-12*P_1780+6*P_1825,
-4*P_383+4*P_578+4*P_586+8*P_609+8*P_1048+8*P_1080-4*P_1245-8*P_1390-4*P_1401+8*P_1432-4*P_1445+4*P_1490+4*P_1565-4*P_1585+4*P_1640-12*P_1774-4*P_1780+4*P_1825,
-2*P_484-2*P_658+2*P_687-4*P_691+2*P_1307+2*P_1477-2*P_1596-2*P_1683+2*P_1689-2*P_1812,
12*P_1027+6*P_1356-6*P_1431-6*P_1455+6*P_1564-6*P_1760+6*P_1790,
-2*P_219-2*P_380-2*P_583+2*P_638-2*P_859-2*P_1062+2*P_1117-2*P_1387+2*P_1442+2*P_1777,
P_380+P_494+2*P_583-2*P_638-P_668-P_672-P_701+P_859+P_964+2*P_1062-2*P_1117-P_1151+P_1162+P_1180+3*P_1387-3*P_1442-P_1474+P_1487+P_1582+P_1593-P_1637-P_1648-4*P_1777+P_1822+P_1841-P_1878-P_1881,
2*P_219+P_380+P_494+P_502-2*P_638-P_672+P_701+3*P_859-P_964+P_996+2*P_1062-4*P_1117-P_1151-P_1180+P_1306-P_1321+P_1387-3*P_1442-P_1582+P_1593+P_1614+P_1637-P_1648-P_1654-2*P_1777-P_1841-P_1881,
-4*P_583-4*P_623+4*P_668+4*P_672+4*P_686+4*P_1077+4*P_1117-4*P_1162-4*P_1166-4*P_1180-8*P_1387+8*P_1442+4*P_1474-4*P_1487-4*P_1582-8*P_1593+4*P_1606+4*P_1629+8*P_1637+4*P_1648+16*P_1777-4*P_1822-8*P_1841+4*P_1878+8*P_1881,
-2*P_380-2*P_494+2*P_672+2*P_686-4*P_1062+4*P_1117+2*P_1151-2*P_1162+2*P_1166-P_1293-P_1306+P_1317+P_1321+6*P_1442+P_1474-P_1487+P_1495-P_1509-2*P_1593-2*P_1606-2*P_1614+2*P_1629+2*P_1648+2*P_1654+4*P_1777+2*P_1878+2*P_1881,
-4*P_219-4*P_494-4*P_502+4*P_623+4*P_686-8*P_859+4*P_964-4*P_996-4*P_1077+16*P_1117+8*P_1151-4*P_1166+8*P_1180-4*P_1306+4*P_1321+8*P_1442+4*P_1606-4*P_1614+4*P_1629-8*P_1637+8*P_1648+4*P_1654+4*P_1777+4*P_1841+4*P_1881,
2*P_633-2*P_637-2*P_877-4*P_943+2*P_1072+2*P_1076+2*P_1103-2*P_1116-2*P_1127-2*P_1131+2*P_1161+2*P_1316-2*P_1397+2*P_1428+2*P_1439+2*P_1452-2*P_1460-4*P_1561-2*P_1664+2*P_1891,
4*P_869+4*P_943-8*P_1072-4*P_1103+8*P_1116+4*P_1127+8*P_1131-4*P_1161-4*P_1272-4*P_1316+4*P_1397-4*P_1428-8*P_1439+8*P_1460+12*P_1561+4*P_1664-4*P_1787-4*P_1891,
6*P_877+12*P_943-12*P_1076-12*P_1103+12*P_1116+12*P_1127-6*P_1161-6*P_1316-12*P_1439-12*P_1452+6*P_1460+12*P_1561+6*P_1664-6*P_1891,
2*P_499-2*P_683-2*P_993+4*P_1148-2*P_1177-2*P_1185-2*P_1303+2*P_1506-2*P_1696+2*P_1715,
-4*P_823+8*P_1026-4*P_1101-4*P_1125+4*P_1270-4*P_1351+4*P_1424-4*P_1454-4*P_1557+4*P_1786,
2*P_215-P_379-P_497+P_663-P_700-P_858+P_963-P_976+P_987+2*P_1057-2*P_1112-P_1144+P_1179+P_1288+P_1312+P_1441-P_1505-P_1605-P_1636+P_1650+P_1876,
2*P_379+2*P_493+2*P_497+4*P_618-2*P_663-2*P_873-2*P_987-2*P_991-8*P_1057+4*P_1112+4*P_1144-2*P_1157-2*P_1165-2*P_1179-2*P_1288-2*P_1299-4*P_1441+4*P_1505+4*P_1605+4*P_1636-4*P_1650,
-4*P_215+4*P_497+4*P_618+4*P_858-2*P_873-2*P_963-2*P_987+2*P_991+8*P_1112+4*P_1144+2*P_1157+2*P_1165-4*P_1179-2*P_1299-4*P_1312-2*P_1441+2*P_1505+4*P_1636-2*P_1647-2*P_1650-2*P_1876,
-6*P_628-6*P_872-6*P_942+6*P_986-6*P_1067+6*P_1109+6*P_1122-6*P_1130-6*P_1267-6*P_1660,
6*P_868-6*P_986+12*P_1067-12*P_1109+12*P_1130+12*P_1267+6*P_1451+6*P_1660,
24*P_872+24*P_942-24*P_986+24*P_1098-48*P_1109-48*P_1122+24*P_1130+24*P_1267+24*P_1660,
-12*P_553-12*P_585-12*P_1376+12*P_1389+12*P_1754,
-12*P_532-6*P_1355+6*P_1375+6*P_1399-6*P_1563+6*P_1759+6*P_1765,
-2*P_364+2*P_469-2*P_501-2*P_567+2*P_582+2*P_622+2*P_671+2*P_1061+2*P_1150-2*P_1305+2*P_1386-2*P_1573+2*P_1598+2*P_1628+2*P_1811,
-2*P_364-2*P_469+4*P_567-4*P_622-2*P_656+2*P_667-4*P_671-2*P_685+2*P_1292+2*P_1305-6*P_1386+2*P_1479-2*P_1581+2*P_1592-4*P_1598-4*P_1628-2*P_1808-2*P_1811,
6*P_364-6*P_469+6*P_501-12*P_622-6*P_656-6*P_685-12*P_1061-12*P_1150+6*P_1305-6*P_1386+6*P_1581-6*P_1592-6*P_1598-12*P_1628-6*P_1811,
-2*P_218-2*P_374-2*P_577-2*P_581+2*P_632+2*P_636-2*P_844-2*P_1047-2*P_1060+2*P_1102+2*P_1115-2*P_1372-2*P_1383+2*P_1427+2*P_1438+2*P_1762+2*P_1773+2*P_1776,
2*P_374+2*P_448+4*P_577+4*P_581+2*P_608-2*P_632-4*P_636-2*P_666+2*P_844-2*P_915+2*P_1047+4*P_1060-2*P_1071-4*P_1102-4*P_1115+2*P_1160+4*P_1372+6*P_1383-2*P_1396-2*P_1419-6*P_1427-4*P_1438-2*P_1552-2*P_1560+2*P_1578-2*P_1633-6*P_1762-6*P_1773-8*P_1776+2*P_1821-2*P_1877,
2*P_218+2*P_374+P_382+2*P_448+2*P_581-2*P_632-P_666+2*P_844+P_876+2*P_915+2*P_1047+4*P_1060-4*P_1102-2*P_1115-P_1160+P_1291-P_1315+2*P_1383+P_1404-2*P_1427-4*P_1438-P_1444-2*P_1552+2*P_1560+P_1608-P_1639-2*P_1762-2*P_1773-2*P_1776-P_1821-P_1877,
-12*P_577-12*P_581-12*P_608-12*P_621+12*P_666+12*P_1071+12*P_1075+12*P_1102+12*P_1115-12*P_1160-12*P_1372-24*P_1383+12*P_1396+12*P_1419+24*P_1427+12*P_1438+24*P_1552+24*P_1560-12*P_1578+12*P_1633+24*P_1762+24*P_1773+48*P_1776-12*P_1821+12*P_1877,
-4*P_374-4*P_448-4*P_581-4*P_621+4*P_666-4*P_1047-8*P_1060+4*P_1071-4*P_1075+8*P_1102+4*P_1115+2*P_1244+2*P_1271-2*P_1291+2*P_1315-4*P_1383-4*P_1404+4*P_1419+8*P_1427+8*P_1438+4*P_1444+8*P_1552-4*P_1560-2*P_1578-2*P_1608+2*P_1633+2*P_1639+4*P_1762+8*P_1773+8*P_1776+4*P_1877,
-4*P_218-4*P_374-4*P_382-8*P_448+4*P_608-4*P_621+4*P_666-4*P_844-4*P_876-8*P_915-16*P_1060-4*P_1071+4*P_1075+16*P_1102+4*P_1160-4*P_1291+4*P_1315+4*P_1396-4*P_1404+4*P_1419+16*P_1438+4*P_1444+8*P_1552-8*P_1560-4*P_1608+4*P_1639+4*P_1762+4*P_1773+4*P_1776+4*P_1821+4*P_1877,
2*P_483-2*P_653+4*P_682+2*P_690-2*P_977-2*P_1147+2*P_1302-2*P_1476+2*P_1682-2*P_1685,
-2*P_209-2*P_217+2*P_377+2*P_572-2*P_627+2*P_635-2*P_759+2*P_856+2*P_914-2*P_941-2*P_1053+2*P_1108+2*P_1114+2*P_1239-2*P_1266-2*P_1440+2*P_1559-2*P_1771,
2*P_209-P_373-2*P_377-P_491-2*P_572-2*P_603-2*P_635-2*P_856+P_867-2*P_914+2*P_941+P_985+2*P_1042+4*P_1053-2*P_1089-2*P_1097-2*P_1108-2*P_1114+P_1159-2*P_1239+2*P_1266+P_1284-P_1395+P_1437+4*P_1440-P_1485-4*P_1559-P_1604-P_1632+P_1646+2*P_1771,
4*P_209+4*P_217-2*P_377+2*P_447-2*P_491-2*P_603+4*P_627-2*P_635+4*P_759-6*P_856+2*P_871-2*P_914+6*P_941+2*P_961-2*P_985-2*P_1042+4*P_1053+2*P_1074-2*P_1089+2*P_1097-8*P_1108-6*P_1114-2*P_1239-2*P_1258+6*P_1266+4*P_1440-4*P_1559+2*P_1604-2*P_1635+2*P_1646+4*P_1771,
4*P_373+4*P_377+4*P_447+4*P_491+4*P_572+8*P_603+4*P_614-4*P_867-4*P_871-4*P_941-4*P_985-8*P_1042-16*P_1053+4*P_1066+4*P_1074+8*P_1089+8*P_1097+4*P_1108+4*P_1114-4*P_1159+4*P_1239+4*P_1258-4*P_1284+4*P_1395-4*P_1437-16*P_1440+4*P_1485+16*P_1559+4*P_1604+4*P_1632-4*P_1646,
-4*P_209+4*P_377+4*P_491+4*P_603+4*P_614+2*P_843+4*P_856-4*P_867+4*P_914-4*P_941-2*P_961-8*P_1053-4*P_1066-4*P_1074+8*P_1089+4*P_1097+8*P_1108+8*P_1114-2*P_1159+4*P_1258-8*P_1266-2*P_1284+2*P_1426-4*P_1437-8*P_1440+2*P_1485+8*P_1559+2*P_1632+2*P_1635-4*P_1646-4*P_1771,
-12*P_209-12*P_217-12*P_447+12*P_491+12*P_614-12*P_759+24*P_856-12*P_871-24*P_941-12*P_961+12*P_985+12*P_1066-12*P_1074+24*P_1089-24*P_1097+48*P_1108+24*P_1114+12*P_1258-24*P_1266-12*P_1440+12*P_1559-12*P_1604+12*P_1635-12*P_1646-12*P_1771,
6*P_478-6*P_681-6*P_972+6*P_1146+6*P_1680,
-6*P_822+6*P_940-12*P_1021+6*P_1094-6*P_1124-6*P_1263-6*P_1450,
4*P_214-4*P_488+8*P_853-4*P_958-4*P_990-4*P_1111-4*P_1156+4*P_1175+4*P_1311-4*P_1645,
-24*P_863+24*P_937+24*P_1121,
24*P_566+24*P_655+24*P_1572,
-2*P_381-4*P_420-2*P_552-2*P_565+2*P_576-2*P_580+2*P_607+2*P_620+2*P_665+2*P_1046-2*P_1059-2*P_1290-2*P_1363+2*P_1371+2*P_1382+2*P_1388+2*P_1418+4*P_1551+2*P_1583+2*P_1807,
-4*P_349+4*P_420+4*P_552+8*P_565-4*P_576+8*P_580-8*P_607-4*P_665-4*P_1243+4*P_1290-8*P_1371-4*P_1382-8*P_1388-4*P_1418-12*P_1551-4*P_1583-4*P_1753-4*P_1807,
6*P_381+12*P_420+12*P_565-12*P_607-6*P_665-12*P_1046+12*P_1059+6*P_1290-12*P_1382-6*P_1388-12*P_1418-12*P_1551-6*P_1583-6*P_1807,
-4*P_328-4*P_531-4*P_575+4*P_630+4*P_795+4*P_1025-4*P_1045+4*P_1100+4*P_1342+4*P_1350-4*P_1368+4*P_1423+4*P_1758+4*P_1761+4*P_1772,
6*P_328+12*P_531+12*P_575+6*P_606-6*P_630-6*P_795-12*P_1025+6*P_1045-6*P_1069-12*P_1100-18*P_1342-18*P_1350+12*P_1368-12*P_1423-6*P_1546-6*P_1556-12*P_1758-18*P_1761-18*P_1772,
6*P_328+4*P_575+2*P_606-2*P_630-2*P_795-8*P_1025+6*P_1045+2*P_1069-4*P_1100-2*P_1242-2*P_1269-6*P_1342-2*P_1350+2*P_1368+2*P_1398-6*P_1423-2*P_1429-2*P_1546+2*P_1556-4*P_1758-2*P_1761-6*P_1772,
2*P_199+P_378-P_468-P_492+P_496-2*P_562+2*P_617-P_662-P_670+P_857+P_975+P_1143-P_1149+P_1279-P_1298-P_1385+P_1475+P_1591-P_1594-P_1627-P_1806,
2*P_363+2*P_468+2*P_481+4*P_562-8*P_617-2*P_649+4*P_662+2*P_670+2*P_684-2*P_857-2*P_962-2*P_975+4*P_1056-2*P_1143+2*P_1287+2*P_1298+4*P_1385-4*P_1475-4*P_1591+4*P_1594+4*P_1627,
-4*P_199-2*P_363+2*P_468+2*P_481+2*P_492-4*P_496-8*P_617-2*P_649+2*P_684-4*P_857-4*P_1056-4*P_1143+4*P_1149-2*P_1287+4*P_1298+2*P_1385-2*P_1475-2*P_1580+2*P_1594+4*P_1627+2*P_1806,
-12*P_529+12*P_1023+12*P_1336+12*P_1346+12*P_1757,
-2*P_184+2*P_216+2*P_264-2*P_376-2*P_419+2*P_446+2*P_547-2*P_579-2*P_602-2*P_855+2*P_1033-2*P_1058-2*P_1088+2*P_1230-2*P_1257+2*P_1384+2*P_1550+2*P_1751,
2*P_184-P_348+2*P_376+2*P_419-2*P_446-P_466-2*P_547-2*P_558+2*P_571+2*P_579+4*P_602+2*P_613-P_664+P_842+2*P_855+P_960-2*P_1052+2*P_1058+2*P_1088-2*P_1230+2*P_1257-P_1283-P_1370-4*P_1384-P_1417+P_1471-4*P_1550+P_1576-P_1579-P_1626-2*P_1751,
4*P_184-4*P_216-4*P_264+2*P_361+2*P_376+2*P_419-6*P_446-2*P_466+2*P_490-2*P_558-2*P_571+2*P_579+4*P_602+2*P_613+2*P_619+6*P_855-2*P_913-2*P_960-4*P_1033+2*P_1052+6*P_1058+8*P_1088-2*P_1230-2*P_1238+6*P_1257-4*P_1384-4*P_1550+2*P_1579-2*P_1590-2*P_1626-4*P_1751,
4*P_348+4*P_361-4*P_419+4*P_466+4*P_547+8*P_558-8*P_571-4*P_579-4*P_594-16*P_602-8*P_613-4*P_619+4*P_664-4*P_842-4*P_855+4*P_913-4*P_960+4*P_1041+8*P_1052-4*P_1088-4*P_1238-4*P_1257+4*P_1283+4*P_1370+16*P_1384+4*P_1417-4*P_1471+16*P_1550-4*P_1576+4*P_1579+4*P_1626,
-4*P_184+2*P_372-4*P_376-4*P_419+4*P_446+4*P_466-2*P_490+4*P_558-4*P_594-8*P_602-8*P_613-4*P_619+2*P_664-4*P_842-4*P_855-4*P_1041+4*P_1052-8*P_1058-8*P_1088+4*P_1238-8*P_1257+2*P_1283+2*P_1381+8*P_1384+4*P_1417-2*P_1471+8*P_1550-2*P_1576+2*P_1590+4*P_1626+4*P_1751,
-12*P_184+12*P_216+12*P_264-12*P_361+24*P_446+12*P_466-12*P_490-12*P_594-24*P_613-12*P_619-24*P_855+12*P_913+12*P_960+12*P_1041-24*P_1052-24*P_1058-48*P_1088+12*P_1238-24*P_1257+12*P_1384+12*P_1550-12*P_1579+12*P_1590+12*P_1626+12*P_1751,
-4*P_163+2*P_371+4*P_526+2*P_629+2*P_794-2*P_821+2*P_841+2*P_912-2*P_939+4*P_1012-2*P_1038+2*P_1093+2*P_1099+2*P_1235-2*P_1262+2*P_1349-2*P_1425-2*P_1436+2*P_1555+2*P_1558-2*P_1756,
4*P_163-2*P_327-4*P_371-2*P_445-8*P_526-2*P_599-2*P_629-2*P_794+4*P_821-2*P_841+2*P_865-2*P_912+4*P_939-12*P_1012-4*P_1020+6*P_1038-2*P_1068-4*P_1093-4*P_1099-4*P_1235-2*P_1252+2*P_1262-6*P_1349+6*P_1425+6*P_1436-6*P_1555-6*P_1558+2*P_1756,
8*P_163+2*P_327-4*P_371-2*P_445-4*P_526-2*P_599-2*P_629-2*P_794+6*P_821-4*P_841-6*P_912+2*P_939-12*P_1012+4*P_1020+2*P_1038+2*P_1068-6*P_1093-6*P_1099-2*P_1235-2*P_1252+6*P_1262-4*P_1349+2*P_1394+2*P_1425+6*P_1436-4*P_1555-4*P_1558+4*P_1756,
-2*P_198-2*P_213-2*P_358-2*P_463-2*P_487-2*P_616+2*P_661+2*P_852-2*P_949+2*P_968+2*P_1055-2*P_1142-2*P_1470+2*P_1589-2*P_1625,
6*P_358+6*P_463+6*P_474+12*P_616-6*P_661-6*P_680-6*P_852-6*P_957-6*P_968-12*P_1055+6*P_1142+6*P_1145+6*P_1470-12*P_1589+12*P_1625,
4*P_198-2*P_358+2*P_463+2*P_474+4*P_487+2*P_495+4*P_616-2*P_680-6*P_852+2*P_957-2*P_968-2*P_974+4*P_1142-2*P_1145+2*P_1286-2*P_1297+2*P_1470+4*P_1625,
-4*P_212+2*P_368+2*P_442-2*P_626-2*P_758-2*P_838-2*P_849-2*P_862-2*P_909+2*P_928+2*P_936+2*P_954+2*P_984-2*P_1065-2*P_1096+2*P_1107+4*P_1110-2*P_1265-2*P_1310+2*P_1630,
4*P_208+4*P_212-4*P_368-8*P_442+4*P_838+8*P_849-4*P_870+8*P_909-4*P_954-4*P_984+8*P_1065+4*P_1096-4*P_1107-12*P_1110+8*P_1265+4*P_1310-4*P_1435-4*P_1630,
12*P_212-12*P_442+6*P_758+12*P_849+12*P_862-12*P_936-6*P_954-6*P_984+12*P_1096-12*P_1107-12*P_1110+6*P_1265+6*P_1310-6*P_1630,
24*P_817-24*P_933-24*P_1120,
24*P_551-24*P_564+24*P_1362,
-4*P_300+8*P_530-4*P_550-4*P_574+4*P_1241+4*P_1341+4*P_1367+4*P_1373+4*P_1545+4*P_1752,
6*P_362-6*P_480+12*P_561+6*P_648-6*P_654-6*P_1278-6*P_1571,
-6*P_360+6*P_418+6*P_465+6*P_538-6*P_546-6*P_563-6*P_593-6*P_1032-6*P_1229+6*P_1570,
6*P_347-6*P_465+12*P_546+12*P_563+12*P_593+12*P_1229-6*P_1361-6*P_1570,
24*P_360-24*P_418-24*P_465+24*P_557+24*P_563+48*P_593+48*P_1032+24*P_1229-24*P_1570,
4*P_135-2*P_299+2*P_326-2*P_370-2*P_417+2*P_444-4*P_525+2*P_543-2*P_573-2*P_598-2*P_840-4*P_1011-2*P_1043+2*P_1224-2*P_1251+2*P_1340+2*P_1369+2*P_1380+2*P_1544+2*P_1549+2*P_1750,
-4*P_135+4*P_299-2*P_326-2*P_346+2*P_370+4*P_417-2*P_444+4*P_517+12*P_525-4*P_543+4*P_573+6*P_598+2*P_604-2*P_793+4*P_840-2*P_911+8*P_1011-2*P_1037+2*P_1043-2*P_1224+2*P_1234+4*P_1251-6*P_1340-6*P_1369-6*P_1380-6*P_1544-6*P_1549-2*P_1750,
-8*P_135+2*P_299-6*P_326+4*P_370+6*P_417-2*P_444+4*P_517+4*P_525-2*P_543+2*P_573+6*P_598+2*P_604-2*P_793+4*P_840+2*P_911+12*P_1011+2*P_1037+6*P_1043-2*P_1224-2*P_1234+6*P_1251-4*P_1340-2*P_1369-6*P_1380-2*P_1416-4*P_1544-4*P_1549-4*P_1750,
-4*P_197+8*P_357-4*P_473+4*P_479-4*P_560-4*P_647+4*P_650+4*P_948+4*P_1277-4*P_1569,
4*P_325+4*P_522-4*P_819+8*P_1006+4*P_1016+4*P_1022+4*P_1217+4*P_1345-4*P_1421+4*P_1554,
-2*P_99+2*P_183+2*P_207+2*P_343+2*P_367-2*P_414+2*P_441+2*P_570+2*P_601+2*P_829-2*P_848-2*P_900+2*P_927-2*P_1051+2*P_1087-2*P_1379+2*P_1415+2*P_1548,
-2*P_183-2*P_196-2*P_207-2*P_211-4*P_343-2*P_354-2*P_367+4*P_414-4*P_441-2*P_459-4*P_570-6*P_601-2*P_612-2*P_615+2*P_660-2*P_829+2*P_837+4*P_848+4*P_900-4*P_927+2*P_953+2*P_1040+6*P_1051+2*P_1054-4*P_1087-2*P_1141+6*P_1379-6*P_1415-8*P_1548+2*P_1574-2*P_1624,
2*P_99-2*P_183-2*P_196-2*P_207+2*P_211+P_263-2*P_367+2*P_414-4*P_441-P_459-P_489-2*P_601-2*P_615+P_757-2*P_829+4*P_848-2*P_927-P_953+P_959+2*P_1051-2*P_1054-4*P_1087+P_1237-P_1256-P_1285+P_1296+2*P_1379-2*P_1415-2*P_1548-P_1574-P_1624,
12*P_343+12*P_354-12*P_414-12*P_433+12*P_459+12*P_570+24*P_601+12*P_612+24*P_615-12*P_660-12*P_837-12*P_848+12*P_908+12*P_927-12*P_953-12*P_1040-24*P_1051-24*P_1054+12*P_1087+12*P_1141-24*P_1379+24*P_1415+48*P_1548-12*P_1574+12*P_1624,
4*P_183+4*P_196+4*P_367+2*P_375-4*P_414-4*P_433+8*P_441+4*P_459+2*P_489+4*P_601+4*P_612+8*P_615-2*P_660-4*P_837-8*P_848-2*P_854-4*P_908+4*P_927-2*P_959-8*P_1051+4*P_1054+8*P_1087+2*P_1141-4*P_1237+4*P_1256+2*P_1285-2*P_1296-4*P_1379+8*P_1415+8*P_1548+4*P_1624,
-4*P_99+4*P_183+8*P_196+4*P_207-8*P_211-4*P_263-4*P_354-4*P_433+16*P_441+4*P_459+4*P_489+4*P_612+8*P_615-4*P_757+4*P_837-16*P_848+4*P_908+4*P_953-4*P_959-4*P_1040+8*P_1054+16*P_1087-4*P_1237+4*P_1256+4*P_1285-4*P_1296-4*P_1379+4*P_1415+4*P_1548+4*P_1574+4*P_1624,
-4*P_162+4*P_206-4*P_322+4*P_625+4*P_756-4*P_789-4*P_808+4*P_816+4*P_905-4*P_932-4*P_938+4*P_1019-4*P_1106+4*P_1264-4*P_1553,
-4*P_206+6*P_322+2*P_438-2*P_625-2*P_756+2*P_789+6*P_808-2*P_816-2*P_834+2*P_864-6*P_905-2*P_922+2*P_932+4*P_938-8*P_1019-2*P_1064+2*P_1095+6*P_1106-2*P_1261-6*P_1264+2*P_1420+4*P_1553,
12*P_162-12*P_206+6*P_322+6*P_438-6*P_625-12*P_756+6*P_789+18*P_808-18*P_816-6*P_905-6*P_922+18*P_932+12*P_938-12*P_1019+6*P_1064-6*P_1095+18*P_1106-12*P_1264+12*P_1553,
12*P_193-6*P_486+6*P_851-6*P_956+6*P_970+6*P_1140-6*P_1295,
-12*P_203+12*P_753-12*P_861+12*P_935-12*P_1105,
6*P_298-6*P_416-12*P_516-6*P_542-6*P_548-6*P_1223+6*P_1360,
-4*P_297-4*P_511-8*P_521-4*P_527+4*P_791-4*P_1005-4*P_1216+4*P_1334+4*P_1365+4*P_1543,
4*P_195-2*P_262+2*P_334-2*P_342-2*P_353+2*P_405+2*P_413-2*P_432+2*P_458-2*P_464+2*P_545-2*P_556+4*P_559+2*P_592-2*P_828+2*P_899+2*P_1031+2*P_1228-2*P_1276+2*P_1568,
-4*P_182-4*P_195+8*P_342+4*P_353+4*P_359+8*P_432-4*P_458+4*P_464-4*P_545+4*P_556-12*P_559-8*P_592+4*P_828-8*P_899-8*P_1228+4*P_1276-4*P_1359-4*P_1568,
-12*P_195+6*P_262+12*P_353-12*P_413+12*P_432-6*P_458+6*P_464-12*P_559-12*P_592+12*P_828-12*P_1031-6*P_1228+6*P_1276-6*P_1568,
6*P_54+6*P_134-6*P_161+6*P_294-6*P_321-6*P_524+6*P_780-6*P_807-6*P_1010-6*P_1338,
-2*P_54-4*P_134+4*P_161+2*P_181+2*P_205-6*P_294+6*P_321+2*P_339-2*P_410+2*P_437+8*P_524+2*P_569+2*P_597+2*P_600-6*P_780+6*P_807-2*P_833-2*P_894+2*P_921+8*P_1010-2*P_1036-2*P_1050+2*P_1086+10*P_1338-2*P_1364+2*P_1414+2*P_1542+2*P_1547,
-6*P_54-4*P_134+8*P_161+2*P_181-2*P_205-2*P_261-2*P_294+6*P_321-2*P_410+2*P_437+2*P_443+4*P_524-2*P_569+2*P_600-2*P_755-6*P_780+10*P_807+2*P_894+2*P_910-2*P_921+8*P_1010+2*P_1050+2*P_1086-2*P_1236+2*P_1255+6*P_1338-2*P_1542+2*P_1547,
4*P_134-4*P_161-4*P_181-4*P_205+12*P_294+4*P_313-8*P_321-8*P_339+8*P_410+4*P_427-4*P_437-20*P_524-8*P_569-8*P_597-12*P_600-4*P_611+8*P_780-4*P_788-12*P_807+8*P_833+4*P_894-4*P_904-8*P_921-20*P_1010+8*P_1036+4*P_1039+12*P_1050-8*P_1086-32*P_1338+8*P_1364-8*P_1414-12*P_1542-12*P_1547,
2*P_54+4*P_134-4*P_161-4*P_181+P_261+2*P_294-8*P_321-P_339-P_369+4*P_410+2*P_427-4*P_437-2*P_443-4*P_524-2*P_597-4*P_600-2*P_611+P_755+4*P_780-10*P_807+3*P_833+P_839+2*P_904-2*P_910-12*P_1010+2*P_1036-2*P_1039-4*P_1086+P_1233+3*P_1236-P_1250-3*P_1255-10*P_1338+P_1364-3*P_1414-4*P_1547,
12*P_54+4*P_134-20*P_161-8*P_181+8*P_205+8*P_261-4*P_313-8*P_321+4*P_410+4*P_427-12*P_437-8*P_443-4*P_524+4*P_569-4*P_600-4*P_611+8*P_755+8*P_780+4*P_788-32*P_807-4*P_894-4*P_904-8*P_910+12*P_921-20*P_1010+4*P_1039-12*P_1050-12*P_1086+8*P_1236-8*P_1255-12*P_1338+8*P_1542-8*P_1547,
-12*P_192-6*P_356+6*P_472-6*P_475-6*P_645-6*P_947+6*P_1275,
4*P_160-4*P_318-4*P_802-4*P_818+8*P_887+4*P_1015+4*P_1018-4*P_1091+4*P_1260-4*P_1343,
-2*P_98-4*P_178-2*P_189-2*P_202-2*P_210+2*P_366+2*P_440+2*P_485+2*P_610+2*P_744+2*P_752-2*P_847-2*P_850-2*P_907+2*P_952-2*P_966+2*P_1049-4*P_1085-2*P_1254+2*P_1280,
12*P_178+12*P_189-6*P_366-12*P_440-6*P_485+6*P_847+12*P_850+12*P_907-6*P_952+6*P_966-12*P_1049+12*P_1085+12*P_1254-6*P_1280,
4*P_98+4*P_178+8*P_189+8*P_202+4*P_210-4*P_258-8*P_440-4*P_485-8*P_752-4*P_836+8*P_847+4*P_850+4*P_926-4*P_952+4*P_966+12*P_1085+4*P_1254-4*P_1280,
12*P_157-6*P_749+6*P_815+6*P_860-6*P_931-6*P_934+6*P_1090,
-120*P_537,
-24*P_333-24*P_404+24*P_536,
-4*P_133-4*P_180+4*P_260+4*P_285-4*P_293-4*P_312-4*P_399-4*P_415+4*P_426-4*P_515-4*P_544-4*P_779-4*P_1030-4*P_1227-4*P_1540,
4*P_180-2*P_260-2*P_285+6*P_293+2*P_312-2*P_338-2*P_344+2*P_399-2*P_409+4*P_415-6*P_426+8*P_515+6*P_544+2*P_555+2*P_591+6*P_779+2*P_893+2*P_1030+2*P_1222+6*P_1227+2*P_1358+4*P_1540,
12*P_133+12*P_180-12*P_260-6*P_285+6*P_293+18*P_312+6*P_399+6*P_409+12*P_415-18*P_426+12*P_515+6*P_544+6*P_555+6*P_591+18*P_779-6*P_893+18*P_1030+12*P_1227+12*P_1540,
6*P_132-6*P_159+6*P_290-6*P_317-6*P_520-6*P_523+6*P_774-6*P_801-6*P_1004-6*P_1009-6*P_1332-6*P_1337,
-8*P_132+8*P_159-12*P_290-4*P_307+8*P_317-4*P_392+12*P_520+16*P_523+4*P_596-8*P_774+4*P_784+12*P_801+4*P_886+12*P_1004+16*P_1009-4*P_1035+16*P_1332+16*P_1337+4*P_1541,
-8*P_132+4*P_159-4*P_290+8*P_317+2*P_323-4*P_392+4*P_520+4*P_523+2*P_596-4*P_774+2*P_790+8*P_801-4*P_886+8*P_1004+8*P_1009+2*P_1035-2*P_1232+2*P_1249+4*P_1332+8*P_1337,
2*P_97-2*P_169+2*P_177+4*P_188-2*P_194-2*P_249-2*P_257+2*P_341+2*P_355+2*P_431-2*P_457+2*P_460-4*P_554+2*P_590+2*P_827-2*P_898+2*P_946+2*P_1029+2*P_1226-2*P_1274,
-12*P_177-12*P_188-6*P_341-12*P_355-12*P_431+6*P_457-6*P_460+12*P_554-12*P_590-6*P_827+12*P_898-6*P_946-12*P_1226+6*P_1274,
-4*P_97-12*P_188+4*P_194+8*P_257-4*P_352-4*P_355+4*P_412-8*P_431+4*P_457-4*P_460+4*P_554-8*P_590-4*P_743-8*P_827-4*P_946-8*P_1029-4*P_1226+4*P_1274,
2*P_53+2*P_96-4*P_129+4*P_156+2*P_174+2*P_204-2*P_320-2*P_365-2*P_439-2*P_595-2*P_738-2*P_748-2*P_806+2*P_846+2*P_903+2*P_920-2*P_925+4*P_1008+2*P_1084+2*P_1231+2*P_1248,
-2*P_53-2*P_96+8*P_129+4*P_148-4*P_156-6*P_174-2*P_204+6*P_320+4*P_365+2*P_436+6*P_439+2*P_595+2*P_738+2*P_748-2*P_787+4*P_806-2*P_835-6*P_846-6*P_903-2*P_906-4*P_920+4*P_925-12*P_1008+2*P_1034-4*P_1084-4*P_1231-6*P_1248-2*P_1253,
-4*P_53-4*P_96+4*P_129+4*P_148-12*P_156-4*P_174-4*P_204+2*P_254+2*P_320+2*P_365+2*P_436+6*P_439+2*P_595+2*P_738+6*P_748-2*P_787+6*P_806+2*P_835-6*P_846-2*P_903+2*P_906-6*P_920+2*P_925-8*P_1008-2*P_1034-6*P_1084-4*P_1231-4*P_1248,
24*P_191+24*P_470-24*P_945,
-12*P_153+12*P_731-12*P_814+12*P_930-12*P_1013,
12*P_93-12*P_201+12*P_751+12*P_845+12*P_924,
-24*P_284+24*P_398-24*P_535,
4*P_131-4*P_289-4*P_295+8*P_391-4*P_509-4*P_514-4*P_540-4*P_773-4*P_1221-4*P_1330,
12*P_168+12*P_248+12*P_332+12*P_403+12*P_534,
12*P_272-12*P_519-12*P_766-12*P_1003-12*P_1331,
-2*P_52-2*P_95-4*P_120+4*P_147-2*P_173+2*P_179+2*P_243+2*P_253+2*P_292-2*P_340-2*P_408+2*P_411-2*P_425-4*P_513+2*P_539+2*P_778-2*P_826+2*P_897-2*P_1028-2*P_1225+2*P_1246,
2*P_52+2*P_95+4*P_120-4*P_128-8*P_147+6*P_173-2*P_179-2*P_243-2*P_253-4*P_292+2*P_311+6*P_340+2*P_351+4*P_408-4*P_411+6*P_425+2*P_430+12*P_513-4*P_539+2*P_589-6*P_778+4*P_826-2*P_892-6*P_897+2*P_1028+2*P_1220+6*P_1225-4*P_1246,
4*P_52+4*P_95+4*P_120+4*P_128-12*P_147+4*P_173-4*P_179-2*P_243-6*P_253-2*P_292-2*P_311+2*P_340+2*P_351+2*P_408-6*P_411+6*P_425+2*P_430+8*P_513-2*P_539+2*P_589+2*P_737-6*P_778+6*P_826+2*P_892-2*P_897+6*P_1028+4*P_1225-4*P_1246,
-6*P_51+6*P_125-6*P_152-6*P_158+6*P_319+6*P_518-6*P_723+6*P_730+6*P_805-6*P_885-6*P_1007-6*P_1213,
4*P_51-8*P_125-4*P_142+4*P_152+4*P_158-2*P_316-8*P_319-2*P_435-4*P_518+4*P_723-4*P_730+2*P_783-8*P_805+2*P_831+8*P_885+2*P_902+4*P_1002+8*P_1007+8*P_1213+2*P_1247,
12*P_51-8*P_125-4*P_142+16*P_152+12*P_158-4*P_236-8*P_319-4*P_435-8*P_518+8*P_723-16*P_730+4*P_786-16*P_805+12*P_885-4*P_902+4*P_919-4*P_1002+16*P_1007+12*P_1213,
6*P_84+6*P_92-6*P_176-6*P_187-6*P_350+6*P_429-6*P_455+6*P_825-6*P_896+6*P_944,
24*P_176+24*P_187+24*P_190+24*P_350-48*P_429+24*P_455-24*P_825+48*P_896-24*P_944,
-12*P_92+12*P_187-6*P_256-12*P_429+6*P_455+6*P_742-12*P_825-6*P_944,
-4*P_48-4*P_89+8*P_155+4*P_200-4*P_747-4*P_750+4*P_804-4*P_830-4*P_918-4*P_923,
24*P_91+24*P_185+24*P_740,
12*P_119-6*P_242+6*P_283-6*P_331-6*P_397-6*P_402-6*P_533,
6*P_50+6*P_114+6*P_130-6*P_141+6*P_228-6*P_235-6*P_291+6*P_390+6*P_507-6*P_777+6*P_1000-6*P_1211,
-4*P_50-4*P_114+4*P_124-4*P_130+8*P_141-4*P_228+4*P_235+8*P_291-2*P_305-2*P_336-8*P_390-2*P_424-8*P_507-4*P_512+2*P_772+8*P_777+2*P_891-4*P_1000+8*P_1211-2*P_1219,
-12*P_50-8*P_114-4*P_124-12*P_130+16*P_141-8*P_228+16*P_235+8*P_291+4*P_310-12*P_390+4*P_407-4*P_424-8*P_507-4*P_512+4*P_722+16*P_777-4*P_891-16*P_1000+12*P_1211,
-12*P_83-12*P_167-12*P_247+12*P_330+12*P_401,
12*P_107+6*P_315-6*P_765+6*P_799-6*P_884-6*P_1001-6*P_1212,
-4*P_39-4*P_47-4*P_78-4*P_88-4*P_127-4*P_146+4*P_172-4*P_309+4*P_335-4*P_406-4*P_423+4*P_776-4*P_824+4*P_895-4*P_916,
6*P_39+6*P_47+6*P_78+6*P_88+12*P_127+12*P_146-12*P_172-6*P_175-6*P_186+18*P_309-12*P_335+12*P_406+18*P_423+6*P_428-18*P_776+12*P_824-6*P_890-18*P_895+12*P_916,
2*P_39+6*P_47+2*P_78+6*P_88+8*P_146-4*P_172+2*P_175-2*P_186+2*P_252+2*P_255+2*P_309-2*P_335+4*P_406+6*P_423+2*P_428-2*P_736-2*P_741-6*P_776+6*P_824+2*P_890-2*P_895+4*P_916,
4*P_44+4*P_71-4*P_151-8*P_154+4*P_729+4*P_746-4*P_781-4*P_798+4*P_883+4*P_917,
-12*P_26+12*P_150-12*P_728+12*P_763-12*P_882,
-6*P_46-6*P_87-6*P_90+12*P_144-6*P_170-6*P_734-6*P_739,
-12*P_113-12*P_227-12*P_282+12*P_396+12*P_505,
-12*P_106+6*P_270-6*P_287+6*P_389+6*P_506-6*P_771-6*P_1210,
4*P_38+4*P_77-8*P_118+4*P_166+4*P_241+4*P_246+4*P_281-4*P_329-4*P_395-4*P_400,
6*P_33+6*P_43-6*P_63+6*P_70+6*P_123+6*P_140+6*P_286+6*P_303+6*P_388-6*P_775+6*P_796+6*P_881,
-8*P_33-8*P_43+8*P_63-8*P_70-12*P_123-4*P_126-12*P_140-4*P_145+4*P_171-12*P_286-16*P_303-4*P_308-16*P_388-4*P_422+4*P_770+16*P_775-12*P_796-16*P_881+4*P_889,
-4*P_33-8*P_43+4*P_63-8*P_70-4*P_123+4*P_126-8*P_140-4*P_145-2*P_234-2*P_251-4*P_286-4*P_303-8*P_388-2*P_422-2*P_721+2*P_735+8*P_775-8*P_796-4*P_881-2*P_889,
24*P_82-24*P_165-24*P_245,
24*P_18-24*P_25-24*P_105-24*P_268-24*P_761,
-18*P_18+18*P_25+24*P_105+6*P_122+6*P_139+30*P_268+6*P_302+6*P_387+30*P_761-6*P_769+6*P_880,
-18*P_18+30*P_25+24*P_105-6*P_122+6*P_139+6*P_233+18*P_268+6*P_387+6*P_720+30*P_761-6*P_880,
-6*P_37-6*P_76-6*P_81-12*P_116+6*P_164+6*P_239+6*P_244,
4*P_42+4*P_45+4*P_69+4*P_86-4*P_121-8*P_138-4*P_143-4*P_719-4*P_725+4*P_733,
120*P_80,
-4*P_32+4*P_62+4*P_112+8*P_117+4*P_226-4*P_240-4*P_280+4*P_301-4*P_386+4*P_394,
-24*P_104-24*P_267-24*P_760,
4*P_31+4*P_36-4*P_61+4*P_75+4*P_110+8*P_115-4*P_136+4*P_224+4*P_230-4*P_238,
-6*P_24-6*P_41-6*P_68+12*P_103+6*P_137+6*P_718+6*P_724,
-24*P_35-24*P_74-24*P_79,
-12*P_17-12*P_111-12*P_225-12*P_266+12*P_385,
6*P_16-6*P_30+6*P_60+12*P_101-6*P_109-6*P_223-6*P_229,
24*P_23-24*P_102-24*P_715,
12*P_29+12*P_34-12*P_59-12*P_65+12*P_73,
-24*P_15-24*P_100+24*P_220,
12*P_14+12*P_20-12*P_28+12*P_58+12*P_64,
-24*P_13-24*P_19-24*P_55,
120*P_10
};