diff options
Diffstat (limited to 'src/share/algebra/operation.daase')
| -rw-r--r-- | src/share/algebra/operation.daase | 912 |
1 files changed, 453 insertions, 459 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase index 8c2b2a82..ef2fbe81 100644 --- a/src/share/algebra/operation.daase +++ b/src/share/algebra/operation.daase @@ -1,5 +1,5 @@ -(733892 . 3480995947) +(733637 . 3481068681) (((*1 *2 *3) (|partial| -12 (-5 *3 (-1277 *4)) (-4 *4 (-645 (-570))) (-5 *2 (-1277 (-570))) (-5 *1 (-1305 *4))))) @@ -7782,13 +7782,7 @@ "Both top and bottom points are infinite") (|:| |notEvaluated| "Range not yet evaluated"))))) (-5 *2 (-1044)) (-5 *1 (-309))))) -(((*1 *2 *3 *3 *3) - (-12 (-5 *3 (-777)) (-5 *2 (-1166 (-650 (-928)))) (-5 *1 (-890)))) - ((*1 *2 *3) - (-12 (-5 *3 (-777)) (-5 *2 (-1166 (-650 (-928)))) (-5 *1 (-890)))) - ((*1 *2 *3 *3) - (-12 (-5 *3 (-777)) (-5 *2 (-1166 (-650 (-928)))) (-5 *1 (-890)))) - ((*1 *2 *3) +(((*1 *2 *3) (-12 (-5 *3 (-777)) (-5 *2 (-1166 (-980))) (-5 *1 (-980))))) (((*1 *2 *2 *3) (-12 (-4 *3 (-368)) (-5 *1 (-289 *3 *2)) (-4 *2 (-1268 *3))))) @@ -17566,457 +17560,457 @@ ((*1 *1 *2) (-12 (-5 *1 (-724 *2)) (-4 *2 (-368)))) ((*1 *2 *1 *3 *4 *4) (-12 (-5 *3 (-928)) (-5 *4 (-384)) (-5 *2 (-1282)) (-5 *1 (-1278))))) -((-1311 . 733613) (-1312 . 733512) (-1313 . 733484) (-1314 . 733341) - (-1315 . 733088) (-1316 . 733015) (-1317 . 732959) (-1318 . 732667) - (-1319 . 732548) (-1320 . 732418) (-1321 . 732317) (-1322 . 732174) - (-1323 . 732121) (-1324 . 731704) (-1325 . 731536) (-1326 . 731429) - (-1327 . 731376) (-1328 . 731213) (-1329 . 731049) (-1330 . 730869) - (-1331 . 730835) (-1332 . 730678) (-1333 . 730629) (-1334 . 728661) - (-1335 . 728524) (-1336 . 728325) (-1337 . 728212) (-1338 . 727555) - (-1339 . 727505) (-1340 . 727278) (-1341 . 727068) (-1342 . 727039) - (-1343 . 726972) (-1344 . 726857) (-1345 . 726799) (-1346 . 726728) - (-1347 . 726662) (-1348 . 726503) (-1349 . 726188) (-1350 . 725742) - (-1351 . 725545) (-1352 . 725421) (-1353 . 725261) (-1354 . 724734) - (-1355 . 724633) (-1356 . 723957) (-1357 . 709727) (-1358 . 709671) - (-1359 . 709508) (-1360 . 709023) (-1361 . 708957) (-1362 . 708842) - (-1363 . 708771) (-1364 . 708549) (-1365 . 708302) (-1366 . 707993) - (-1367 . 707965) (-1368 . 707888) (-1369 . 707836) (-1370 . 707569) - (-1371 . 707406) (-1372 . 706378) (-1373 . 706174) (-1374 . 706086) - (-1375 . 706007) (-1376 . 705920) (-1377 . 705774) (-1378 . 705593) - (-1379 . 705494) (-1380 . 705442) (-1381 . 705220) (-1382 . 701157) - (-1383 . 701067) (-1384 . 701010) (-1385 . 700902) (-1386 . 700675) - (-1387 . 698419) (-1388 . 697643) (-1389 . 697525) (-1390 . 697439) - (-1391 . 697361) (-1392 . 697293) (-1393 . 696326) (-1394 . 696147) - (-1395 . 695914) (-1396 . 695622) (-1397 . 695433) (-1398 . 695259) - (-1399 . 695162) (-1400 . 694915) (-1401 . 694887) (-1402 . 694828) - (-1403 . 694731) (-1404 . 694569) (-1405 . 694408) (-1406 . 694241) - (-1407 . 694125) (-1408 . 694026) (-1409 . 693878) (-1410 . 693400) - (-1411 . 693347) (-1412 . 693288) (-1413 . 693115) (-1414 . 693045) - (-1415 . 692780) (-1416 . 691962) (-1417 . 691861) (-1418 . 691694) - (-1419 . 691556) (-1420 . 691145) (-1421 . 691043) (-1422 . 690991) - (-1423 . 690918) (-1424 . 690573) (-1425 . 690454) (-1426 . 686787) - (-1427 . 686704) (-1428 . 686402) (-1429 . 686346) (-1430 . 686186) - (-1431 . 685890) (-1432 . 685810) (-1433 . 684732) (-1434 . 684245) - (-1435 . 683934) (-1436 . 683804) (-1437 . 681459) (-1438 . 681220) - (-1439 . 681132) (-1440 . 681104) (-1441 . 680596) (-1442 . 680524) - (-1443 . 680451) (-1444 . 680278) (-1445 . 679850) (-1446 . 679707) - (-1447 . 679606) (-1448 . 679046) (-1449 . 678945) (-1450 . 678735) - (-1451 . 678601) (-1452 . 678573) (-1453 . 678215) (-1454 . 678025) - (-1455 . 677930) (-1456 . 677836) (-1457 . 677542) (-1458 . 677483) - (-1459 . 677151) (-1460 . 677095) (-1461 . 676972) (-1462 . 676889) - (-1463 . 676322) (-1464 . 676227) (-1465 . 676154) (-1466 . 676074) - (-1467 . 675973) (-1468 . 675907) (-1469 . 675680) (-1470 . 675517) - (-1471 . 675419) (-1472 . 675252) (-1473 . 675156) (-1474 . 675057) - (-1475 . 675006) (-1476 . 674925) (-1477 . 674786) (-1478 . 674668) - (-1479 . 674337) (-1480 . 674278) (-1481 . 673864) (** . 670870) - (-1483 . 670769) (-1484 . 670737) (-1485 . 670651) (-1486 . 670548) - (-1487 . 670341) (-1488 . 670114) (-1489 . 669929) (-1490 . 669869) - (-1491 . 669442) (-1492 . 669339) (-1493 . 669243) (-1494 . 669129) - (-1495 . 668732) (-1496 . 668090) (-1497 . 667599) (-1498 . 667504) - (-1499 . 667449) (-1500 . 667239) (-1501 . 665977) (-1502 . 665911) - (-1503 . 665684) (-1504 . 665141) (-1505 . 664979) (-1506 . 664885) - (-1507 . 664762) (-1508 . 664711) (-1509 . 664181) (-1510 . 664015) - (-1511 . 663649) (-1512 . 663543) (-1513 . 663413) (-1514 . 663356) - (-1515 . 663279) (-1516 . 662744) (-1517 . 662684) (-1518 . 662452) - (-1519 . 662355) (-1520 . 662286) (-1521 . 662064) (-1522 . 661980) - (-1523 . 661877) (-1524 . 661727) (-1525 . 661557) (-1526 . 661379) - (-1527 . 661322) (-1528 . 661250) (-1529 . 660954) (-1530 . 660873) - (-1531 . 660778) (-1532 . 660741) (-1533 . 660707) (-1534 . 660621) - (-1535 . 660394) (-1536 . 660291) (-1537 . 659705) (-1538 . 659587) - (-1539 . 659481) (-1540 . 658264) (-1541 . 658162) (-1542 . 657973) - (-1543 . 657914) (-1544 . 657859) (-1545 . 657680) (-1546 . 657485) - (-1547 . 657414) (-1548 . 657105) (-1549 . 657034) (-1550 . 656965) - (-1551 . 656519) (-1552 . 656380) (-1553 . 656283) (-1554 . 655967) - (-1555 . 655915) (-1556 . 655812) (-1557 . 655590) (-1558 . 655493) - (-1559 . 655425) (-1560 . 655227) (-1561 . 655160) (-1562 . 655094) - (-1563 . 654852) (-1564 . 654604) (-1565 . 654545) (-1566 . 654493) - (-1567 . 654359) (-1568 . 654130) (-1569 . 649970) (-1570 . 649866) - (-1571 . 649718) (-1572 . 649449) (-1573 . 649380) (-1574 . 649249) - (-1575 . 649108) (-1576 . 648989) (-1577 . 648897) (-1578 . 648335) - (-1579 . 648219) (-1580 . 648170) (-1581 . 647952) (-1582 . 647875) - (-1583 . 647787) (-1584 . 647689) (-1585 . 647414) (-1586 . 647150) - (-1587 . 647020) (-1588 . 646808) (-1589 . 646073) (-1590 . 645930) - (-1591 . 645858) (-1592 . 645765) (-1593 . 645655) (-1594 . 645585) - (-1595 . 645367) (-1596 . 645183) (-1597 . 645000) (-1598 . 644931) - (-1599 . 644595) (-1600 . 644515) (-1601 . 644273) (-1602 . 644066) - (-1603 . 643846) (-1604 . 643596) (-1605 . 643464) (-1606 . 643212) - (-1607 . 643126) (-1608 . 642855) (-1609 . 642736) (-1610 . 642533) - (-1611 . 642378) (-1612 . 642314) (-1613 . 642162) (-1614 . 641322) - (-1615 . 641266) (-1616 . 641081) (-1617 . 640978) (-1618 . 640892) - (-1619 . 640826) (-1620 . 640675) (-1621 . 640622) (-1622 . 640507) - (-1623 . 640470) (-1624 . 640411) (-1625 . 639932) (-1626 . 639860) - (-1627 . 639681) (-1628 . 639537) (-1629 . 639314) (-1630 . 638957) - (-1631 . 638731) (-1632 . 638677) (-1633 . 638532) (-1634 . 638432) - (-1635 . 638379) (-1636 . 638311) (-1637 . 638215) (-1638 . 637701) - (-1639 . 637310) (-1640 . 637229) (-1641 . 637177) (-1642 . 637079) - (-1643 . 636969) (-1644 . 636804) (-1645 . 635734) (-1646 . 635632) - (-1647 . 635277) (-1648 . 635153) (-1649 . 634777) (-1650 . 634356) - (-1651 . 634255) (-1652 . 634173) (-1653 . 633828) (-1654 . 633729) - (-1655 . 633646) (-1656 . 632780) (-1657 . 631484) (-1658 . 631355) - (-1659 . 631109) (-1660 . 631057) (-1661 . 630343) (-1662 . 630227) - (-1663 . 630199) (-1664 . 630074) (-1665 . 629878) (-1666 . 629797) - (-1667 . 629703) (-1668 . 629540) (-1669 . 629329) (-1670 . 629258) - (-1671 . 629154) (-1672 . 629084) (-1673 . 628489) (-1674 . 628423) - (-1675 . 628313) (-1676 . 628142) (-1677 . 628003) (-1678 . 627948) - (-1679 . 627862) (-1680 . 627744) (-1681 . 627649) (-1682 . 627575) - (-1683 . 627432) (-1684 . 627365) (-1685 . 627333) (-1686 . 627265) - (-1687 . 627155) (-1688 . 627056) (-1689 . 626885) (-1690 . 626432) - (-1691 . 626289) (-1692 . 626218) (-1693 . 626147) (-1694 . 625831) - (-1695 . 625446) (-1696 . 625272) (-1697 . 625119) (-1698 . 625013) - (-1699 . 624935) (-1700 . 624574) (-1701 . 624500) (-1702 . 624430) - (-1703 . 624288) (-1704 . 624173) (-1705 . 624066) (-1706 . 623945) - (-1707 . 623800) (-1708 . 623507) (-1709 . 623429) (-1710 . 623314) - (-1711 . 623143) (-1712 . 622956) (-1713 . 622798) (-1714 . 622607) - (-1715 . 622533) (-1716 . 622385) (-1717 . 622249) (-1718 . 622126) - (-1719 . 622074) (-1720 . 621991) (-1721 . 621868) (-1722 . 621770) - (-1723 . 621685) (-1724 . 621597) (-1725 . 621569) (-1726 . 621389) - (-1727 . 621159) (-1728 . 621107) (-1729 . 620644) (-1730 . 620479) - (-1731 . 620383) (-1732 . 620227) (-1733 . 620175) (-1734 . 619829) - (-1735 . 619524) (-1736 . 619429) (-1737 . 619307) (-1738 . 618861) - (-1739 . 618580) (-1740 . 618425) (-1741 . 617826) (-1742 . 616967) - (-1743 . 616759) (-1744 . 616707) (-1745 . 616678) (-1746 . 616599) - (-1747 . 616396) (-1748 . 616368) (-1749 . 616261) (-1750 . 615863) - (-1751 . 615743) (-1752 . 615648) (-1753 . 615102) (-1754 . 614903) - (-1755 . 613607) (-1756 . 613554) (-1757 . 613396) (-1758 . 613203) - (-1759 . 612919) (-1760 . 612808) (-1761 . 612686) (-1762 . 612413) - (-1763 . 612325) (-1764 . 612151) (-1765 . 611979) (-1766 . 611855) - (-1767 . 611710) (-1768 . 610518) (-1769 . 610144) (-1770 . 610089) - (-1771 . 606082) (-1772 . 605976) (-1773 . 605908) (-1774 . 605810) - (-1775 . 605758) (-1776 . 605662) (-1777 . 605591) (-1778 . 605453) - (-1779 . 605336) (-1780 . 605049) (-1781 . 604928) (-1782 . 604857) - (-1783 . 604786) (-1784 . 604735) (-1785 . 604652) (-1786 . 604561) - (-1787 . 604343) (-1788 . 604143) (-1789 . 603503) (-1790 . 603407) - (-1791 . 603379) (-1792 . 603306) (-1793 . 603180) (-1794 . 603005) - (-1795 . 602946) (-1796 . 602674) (-1797 . 602543) (-1798 . 602444) - (-1799 . 602050) (-1800 . 601997) (-1801 . 600817) (-1802 . 600599) - (-1803 . 600142) (-1804 . 600069) (-1805 . 599559) (-1806 . 599507) - (-1807 . 599379) (-1808 . 599232) (-1809 . 599167) (-1810 . 599115) - (-1811 . 598978) (-1812 . 598950) (-1813 . 598464) (-1814 . 598279) - (-1815 . 597909) (-1816 . 597486) (-1817 . 597427) (-1818 . 597283) - (-1819 . 597230) (-1820 . 597096) (-1821 . 596980) (-1822 . 596876) - (-1823 . 596811) (-1824 . 596387) (-1825 . 596334) (-1826 . 594568) - (-1827 . 594413) (-1828 . 594303) (-1829 . 594125) (-1830 . 594062) - (-1831 . 593993) (-1832 . 593325) (-1833 . 592743) (-1834 . 592083) - (-1835 . 592009) (-1836 . 591874) (-1837 . 591776) (-1838 . 591497) - (-1839 . 590042) (-1840 . 589816) (-1841 . 589731) (-1842 . 589645) - (-1843 . 589395) (-1844 . 589301) (-1845 . 589158) (-1846 . 589019) - (-1847 . 588915) (-1848 . 588862) (-1849 . 588809) (-1850 . 585146) - (-1851 . 585090) (-1852 . 583600) (-1853 . 583540) (-1854 . 583470) - (-1855 . 583382) (-1856 . 583274) (-1857 . 583019) (-1858 . 582962) - (-1859 . 582819) (-1860 . 582682) (-1861 . 582525) (-1862 . 582437) - (-1863 . 582163) (-1864 . 582110) (-1865 . 581965) (-1866 . 581832) - (-1867 . 581714) (-1868 . 581051) (-1869 . 580967) (-1870 . 580910) - (-1871 . 580703) (-1872 . 580559) (-1873 . 580531) (-1874 . 580343) - (-1875 . 580096) (-1876 . 579648) (-1877 . 578912) (-1878 . 578862) - (-1879 . 578761) (-1880 . 578417) (-1881 . 578335) (-1882 . 578233) - (-1883 . 578120) (-1884 . 578010) (-1885 . 577127) (-1886 . 577032) - (-1887 . 576799) (-1888 . 576703) (-1889 . 576540) (-1890 . 575917) - (-1891 . 575788) (-1892 . 575655) (-1893 . 575173) (-1894 . 575100) - (-1895 . 574942) (-1896 . 574858) (-1897 . 574558) (-1898 . 574424) - (-1899 . 574296) (-1900 . 574065) (-1901 . 573873) (-1902 . 573786) - (-1903 . 573715) (-1904 . 573500) (-1905 . 573332) (-1906 . 573295) - (-1907 . 573239) (-1908 . 573183) (-1909 . 573028) (-1910 . 572932) - (-1911 . 572543) (-1912 . 572477) (-1913 . 572297) (-1914 . 572245) - (-1915 . 571601) (-1916 . 571291) (-1917 . 571202) (-1918 . 571044) - (-1919 . 570782) (-1920 . 570315) (-1921 . 570264) (-1922 . 570071) - (-1923 . 569985) (-1924 . 569926) (-1925 . 568754) (-1926 . 568591) - (-1927 . 568524) (-1928 . 568439) (-1929 . 568367) (-1930 . 567728) - (-1931 . 567627) (-1932 . 567449) (-1933 . 566147) (-1934 . 565934) - (-1935 . 565716) (-1936 . 565558) (-1937 . 565404) (-1938 . 565289) - (-1939 . 564187) (-1940 . 564039) (-1941 . 558870) (-1942 . 558512) - (-1943 . 555213) (-1944 . 555114) (-1945 . 554918) (-1946 . 554834) - (-1947 . 554767) (-1948 . 554649) (-1949 . 554597) (-1950 . 554497) - (-1951 . 554354) (-1952 . 554136) (-1953 . 554013) (-1954 . 553985) - (-1955 . 553932) (-1956 . 552795) (-1957 . 552741) (-1958 . 552689) - (-1959 . 552563) (-1960 . 552418) (-1961 . 552389) (-1962 . 552180) - (-1963 . 552042) (-1964 . 551815) (-1965 . 551607) (-1966 . 551043) - (-1967 . 550973) (-1968 . 550890) (-1969 . 550640) (-1970 . 550568) - (-1971 . 550452) (-1972 . 550297) (-1973 . 550184) (-1974 . 550014) - (-1975 . 549942) (-1976 . 549875) (-1977 . 549699) (-1978 . 549601) - (-1979 . 549539) (-1980 . 549280) (-1981 . 549196) (-1982 . 549165) - (-1983 . 548907) (-1984 . 548703) (-1985 . 548565) (-1986 . 548510) - (-1987 . 548457) (-1988 . 548391) (-1989 . 548199) (-1990 . 548118) - (-1991 . 548023) (-1992 . 547696) (-1993 . 547416) (-1994 . 547267) - (-1995 . 547179) (-1996 . 547077) (-1997 . 547009) (-1998 . 546838) - (-1999 . 546695) (-2000 . 546111) (-2001 . 546034) (-2002 . 545907) - (-2003 . 545655) (-2004 . 545574) (-2005 . 545525) (-2006 . 545363) - (-2007 . 544895) (-2008 . 544511) (-2009 . 544483) (-2010 . 544181) - (-2011 . 544125) (-2012 . 543866) (-2013 . 543419) (-2014 . 543357) - (-2015 . 543199) (-2016 . 543062) (-2017 . 542996) (-2018 . 542940) - (-2019 . 542816) (-2020 . 542473) (-2021 . 542288) (-2022 . 541761) - (-2023 . 541666) (-2024 . 541587) (-2025 . 541479) (-2026 . 541072) - (-2027 . 540947) (-2028 . 540875) (-2029 . 540694) (-2030 . 540641) - (-2031 . 540564) (-2032 . 540420) (-2033 . 540287) (-2034 . 540159) - (-2035 . 539767) (-2036 . 539561) (-2037 . 539339) (-2038 . 539115) - (-2039 . 538882) (-2040 . 538679) (-2041 . 538618) (-2042 . 538522) - (-2043 . 538439) (-2044 . 538365) (-2045 . 538113) (-2046 . 537149) - (-2047 . 537096) (-2048 . 536494) (-2049 . 536417) (-2050 . 536122) - (-2051 . 535155) (-2052 . 534862) (-2053 . 534656) (-2054 . 534579) - (-2055 . 534478) (-2056 . 534176) (-2057 . 534018) (-2058 . 533748) - (-2059 . 533695) (-2060 . 533477) (-2061 . 533389) (-2062 . 533210) - (-2063 . 533112) (-2064 . 532587) (-2065 . 532474) (-2066 . 532373) - (-2067 . 532266) (-2068 . 532125) (-2069 . 532001) (-2070 . 531944) - (-2071 . 531858) (-2072 . 531527) (-2073 . 531249) (-2074 . 530953) - (-2075 . 530760) (-2076 . 529030) (-2077 . 528740) (-2078 . 528600) - (-2079 . 528493) (-2080 . 528380) (-2081 . 528271) (-2082 . 528177) - (-2083 . 527902) (-2084 . 527770) (-2085 . 527615) (-2086 . 527444) - (-2087 . 527219) (-2088 . 526890) (-2089 . 526833) (-2090 . 526747) - (-2091 . 526695) (-2092 . 526576) (-2093 . 526418) (-2094 . 526241) - (-2095 . 526023) (-2096 . 525898) (-2097 . 525833) (-2098 . 525720) - (-2099 . 525613) (-2100 . 525438) (-2101 . 525319) (-2102 . 525240) - (-2103 . 525142) (-2104 . 524878) (-2105 . 524734) (-2106 . 524580) - (-2107 . 524525) (-2108 . 524409) (-2109 . 524312) (-2110 . 524211) - (-2111 . 524067) (-2112 . 523521) (-2113 . 523288) (-2114 . 523200) - (-2115 . 523134) (-2116 . 523018) (-2117 . 522961) (-2118 . 522853) - (-2119 . 522711) (-2120 . 522627) (-2121 . 522543) (-2122 . 522493) - (-2123 . 522270) (-2124 . 522014) (-2125 . 521920) (-2126 . 521867) - (-2127 . 521808) (-2128 . 520991) (-2129 . 520713) (-2130 . 520449) - (-2131 . 519876) (-2132 . 519817) (-2133 . 519578) (-2134 . 519494) - (-2135 . 519441) (-2136 . 519375) (-2137 . 519302) (-2138 . 518903) - (-2139 . 518751) (-2140 . 518636) (-2141 . 518584) (-2142 . 518463) - (-2143 . 518375) (-2144 . 518316) (-2145 . 517928) (-2146 . 517772) - (-2147 . 517671) (-2148 . 517618) (-2149 . 517399) (-2150 . 517320) - (-2151 . 517208) (-2152 . 517135) (-2153 . 517056) (-2154 . 516744) - (-2155 . 516170) (-2156 . 515943) (-2157 . 515846) (-2158 . 515673) - (-2159 . 515548) (-2160 . 515492) (-2161 . 514604) (-2162 . 514314) - (-2163 . 514252) (-2164 . 513919) (-2165 . 513848) (-2166 . 513764) - (-2167 . 513682) (-2168 . 513544) (-2169 . 513329) (-2170 . 513274) - (-2171 . 513055) (-2172 . 512971) (-2173 . 512842) (-2174 . 512697) - (-2175 . 512597) (-2176 . 512487) (-2177 . 512320) (-2178 . 512247) - (-2179 . 512173) (-2180 . 512015) (-2181 . 511964) (-2182 . 511714) - (-2183 . 511598) (-2184 . 511409) (-2185 . 511187) (-2186 . 511097) - (-2187 . 511048) (-2188 . 511020) (-2189 . 510884) (-2190 . 510832) - (-2191 . 510501) (-2192 . 510015) (-2193 . 509833) (-2194 . 509721) - (-2195 . 509643) (-2196 . 509459) (-2197 . 509149) (-2198 . 508977) - (-2199 . 508539) (-2200 . 508455) (-2201 . 508343) (-2202 . 508174) - (-2203 . 508044) (-2204 . 507799) (-2205 . 507747) (-2206 . 507652) - (-2207 . 507556) (-2208 . 507473) (-2209 . 507348) (-2210 . 507245) - (-2211 . 507161) (-2212 . 507039) (-2213 . 506967) (-2214 . 506408) - (-2215 . 506374) (-2216 . 506023) (-2217 . 505777) (-2218 . 504188) - (-2219 . 504054) (-2220 . 503940) (-2221 . 503659) (-2222 . 503546) - (-2223 . 503493) (-2224 . 502934) (-2225 . 502826) (-2226 . 502726) - (-2227 . 502346) (-2228 . 502151) (-2229 . 501974) (-2230 . 501835) - (-2231 . 501302) (-2232 . 501270) (-2233 . 500862) (-2234 . 500615) - (-2235 . 500381) (-2236 . 500143) (-2237 . 500063) (-2238 . 499925) - (-2239 . 499809) (-2240 . 499750) (-2241 . 499646) (-2242 . 499372) - (-2243 . 499239) (-2244 . 499081) (-2245 . 499029) (-2246 . 497248) - (-2247 . 497053) (-2248 . 496702) (-2249 . 496529) (-2250 . 496316) - (-2251 . 496217) (-2252 . 495125) (-2253 . 493548) (-2254 . 493173) - (-2255 . 493030) (-2256 . 492743) (-2257 . 492678) (-2258 . 492514) - (-2259 . 492462) (-2260 . 492319) (-2261 . 491932) (-2262 . 491824) - (-2263 . 491697) (-2264 . 491545) (-2265 . 491449) (-2266 . 491122) - (-2267 . 491050) (-2268 . 490872) (-2269 . 490791) (-2270 . 490506) - (-2271 . 490164) (-2272 . 489988) (-2273 . 489907) (-2274 . 489837) - (-2275 . 489346) (-2276 . 489205) (-2277 . 489148) (-2278 . 488876) - (-2279 . 488751) (-2280 . 488014) (-2281 . 487832) (-2282 . 487766) - (-2283 . 487613) (-2284 . 487560) (-2285 . 487049) (-2286 . 486795) - (-2287 . 486699) (-2288 . 486368) (-2289 . 486294) (-2290 . 486044) - (-2291 . 485884) (-2292 . 485801) (-2293 . 485260) (-2294 . 485177) - (-2295 . 485125) (-2296 . 484774) (-2297 . 484664) (-2298 . 484453) - (-2299 . 484246) (-2300 . 484196) (-2301 . 484116) (-2302 . 484063) - (-2303 . 483721) (-2304 . 483619) (-2305 . 483442) (-2306 . 483349) - (-2307 . 483158) (-2308 . 482846) (-2309 . 482779) (-2310 . 482420) - (-2311 . 482215) (-2312 . 482143) (-2313 . 482060) (-2314 . 481909) - (-2315 . 481778) (-2316 . 481654) (-2317 . 481580) (-2318 . 481460) - (-2319 . 481094) (-2320 . 481035) (-2321 . 480952) (-2322 . 480864) - (-2323 . 480808) (-2324 . 480695) (-2325 . 480585) (-2326 . 480489) - (-2327 . 480351) (-2328 . 480020) (-2329 . 479988) (-2330 . 477760) - (-2331 . 477542) (-2332 . 477457) (-2333 . 477145) (-2334 . 477057) - (-2335 . 476380) (-2336 . 476227) (-2337 . 475989) (-2338 . 475893) - (-2339 . 475843) (-2340 . 474641) (-2341 . 474423) (-2342 . 474035) - (-2343 . 473969) (-2344 . 473913) (-2345 . 473786) (-2346 . 473450) - (-2347 . 473377) (-2348 . 473082) (-2349 . 473003) (-2350 . 472411) - (-2351 . 472379) (-2352 . 472258) (-2353 . 472144) (-2354 . 471991) - (-2355 . 471898) (-2356 . 471807) (-2357 . 471466) (-2358 . 471296) - (-2359 . 471131) (-2360 . 470967) (-2361 . 470860) (-2362 . 470643) - (-2363 . 470491) (-2364 . 470396) (-2365 . 470177) (-2366 . 470124) - (-2367 . 469978) (-2368 . 469892) (-2369 . 469704) (-2370 . 469594) - (-2371 . 469466) (-2372 . 469256) (-2373 . 469031) (-2374 . 468997) - (-2375 . 468909) (-2376 . 468854) (-2377 . 468629) (-2378 . 468558) - (-2379 . 468264) (-2380 . 468141) (-2381 . 468010) (-2382 . 467915) - (-2383 . 467658) (-2384 . 467415) (-2385 . 467176) (-2386 . 466928) - (-2387 . 466772) (-2388 . 466593) (-2389 . 466105) (-2390 . 465938) - (-2391 . 465747) (-2392 . 465628) (-2393 . 465573) (-2394 . 465520) - (-2395 . 465362) (-2396 . 465147) (-2397 . 465003) (-2398 . 464822) - (-2399 . 464743) (-2400 . 464675) (-2401 . 464282) (-2402 . 463938) - (-2403 . 463861) (-2404 . 463589) (-2405 . 463371) (-2406 . 463292) - (-2407 . 463147) (-2408 . 463070) (-2409 . 462678) (-2410 . 462578) - (-2411 . 462481) (-2412 . 462196) (-2413 . 461918) (-2414 . 461863) - (-2415 . 461381) (-2416 . 461226) (-2417 . 461140) (-2418 . 460995) - (-2419 . 460913) (-2420 . 460858) (-2421 . 460759) (-2422 . 460599) - (-2423 . 460507) (-2424 . 460433) (-2425 . 460342) (-2426 . 460229) - (-2427 . 460162) (-2428 . 460061) (-2429 . 459945) (-2430 . 459830) - (-2431 . 459768) (-2432 . 459664) (-2433 . 459568) (-2434 . 459444) - (-2435 . 458978) (-2436 . 458918) (-2437 . 458760) (-2438 . 458635) - (-2439 . 458482) (-2440 . 458301) (-2441 . 458107) (-2442 . 458073) - (-2443 . 457690) (-2444 . 457589) (-2445 . 457449) (-2446 . 457058) - (-2447 . 456958) (-2448 . 456873) (-2449 . 456816) (-2450 . 456750) - (-2451 . 456578) (-2452 . 456516) (-2453 . 456442) (-2454 . 456325) - (-2455 . 456172) (-2456 . 455976) (-2457 . 455881) (-2458 . 455728) - (-2459 . 455642) (-2460 . 455515) (-2461 . 455441) (-2462 . 455317) - (-2463 . 455280) (-2464 . 455065) (-2465 . 455013) (-2466 . 454402) - (-2467 . 454351) (-2468 . 454267) (-2469 . 453886) (-2470 . 453790) - (-2471 . 453697) (-2472 . 453532) (-2473 . 453480) (-2474 . 453421) - (-2475 . 453353) (-2476 . 453210) (-2477 . 453155) (-2478 . 453046) - (-2479 . 452462) (-2480 . 452182) (-2481 . 452024) (-2482 . 451972) - (-2483 . 451920) (-2484 . 451621) (-2485 . 451390) (-2486 . 451015) - (-2487 . 450885) (-2488 . 450790) (-2489 . 450644) (-2490 . 450441) - (-2491 . 450343) (-2492 . 450090) (-2493 . 450017) (-2494 . 449927) - (-2495 . 449803) (-2496 . 449682) (-2497 . 449563) (-2498 . 449393) - (-2499 . 449265) (-2500 . 449213) (-2501 . 449097) (-2502 . 449020) - (-2503 . 448893) (-2504 . 448736) (-2505 . 448665) (-2506 . 448570) - (-2507 . 448473) (-2508 . 448410) (-2509 . 447603) (-2510 . 447524) - (-2511 . 447430) (-2512 . 447375) (-2513 . 447230) (-2514 . 447146) - (-2515 . 446859) (-2516 . 446158) (-2517 . 446090) (-2518 . 445993) - (-2519 . 445833) (-2520 . 445782) (-2521 . 445392) (-2522 . 445131) - (-2523 . 444958) (-2524 . 444859) (-2525 . 444651) (-2526 . 444410) - (-2527 . 444333) (-2528 . 444214) (-2529 . 444070) (-2530 . 444018) - (-2531 . 443969) (-2532 . 443917) (-2533 . 443708) (-2534 . 443516) - (-2535 . 443463) (-2536 . 443369) (-2537 . 443206) (-2538 . 443062) - (-2539 . 442989) (-2540 . 442829) (-2541 . 442442) (-2542 . 442227) - (-2543 . 442199) (-2544 . 442074) (-2545 . 442001) (-2546 . 441878) - (-2547 . 441826) (-2548 . 440965) (-2549 . 440913) (-2550 . 440633) - (-2551 . 440066) (-2552 . 439779) (-2553 . 439682) (-2554 . 439580) - (-2555 . 439546) (-2556 . 439472) (-2557 . 439335) (-2558 . 439248) - (-2559 . 439078) (-2560 . 438920) (-2561 . 438740) (-2562 . 438378) - (-2563 . 438265) (-2564 . 438213) (-2565 . 438092) (-2566 . 437176) - (-2567 . 436794) (-2568 . 436708) (-2569 . 436291) (-2570 . 436072) - (-2571 . 435638) (-2572 . 435542) (-2573 . 435344) (-2574 . 435313) - (-2575 . 435104) (-2576 . 435051) (-2577 . 435020) (-2578 . 434798) - (-2579 . 434747) (-2580 . 434605) (-2581 . 434571) (-2582 . 434469) - (-2583 . 434395) (-2584 . 433765) (-2585 . 433662) (-2586 . 433584) - (-2587 . 433532) (-2588 . 433479) (-2589 . 433337) (-2590 . 433263) - (-2591 . 433138) (-2592 . 432840) (-2593 . 432694) (-2594 . 432551) - (-2595 . 432164) (-2596 . 432098) (-2597 . 431279) (-2598 . 431130) - (-2599 . 430951) (-2600 . 430447) (-2601 . 430007) (-2602 . 429919) - (-2603 . 428063) (-2604 . 427992) (-2605 . 427923) (-2606 . 427835) - (-2607 . 427557) (-2608 . 427411) (-2609 . 427382) (-2610 . 427312) - (-2611 . 427154) (-2612 . 426839) (-2613 . 426744) (-2614 . 426660) - (-2615 . 426239) (-2616 . 426180) (-2617 . 426152) (-2618 . 426067) - (-2619 . 425752) (-2620 . 425671) (-2621 . 424448) (-2622 . 424367) - (-2623 . 424187) (-2624 . 424062) (-2625 . 423976) (-2626 . 423850) - (-2627 . 423776) (-2628 . 423610) (-2629 . 423451) (-2630 . 423317) - (-2631 . 423221) (-2632 . 423118) (-2633 . 422910) (-2634 . 422664) - (-2635 . 422496) (-2636 . 422341) (-2637 . 422279) (-2638 . 422192) - (-2639 . 422108) (-2640 . 421680) (-2641 . 421286) (-2642 . 421113) - (-2643 . 420984) (-2644 . 420836) (-2645 . 420736) (-2646 . 420680) - (-2647 . 420630) (-2648 . 420603) (-2649 . 420499) (-2650 . 420387) - (-2651 . 420335) (-2652 . 420307) (-2653 . 419699) (-2654 . 419604) - (-2655 . 419425) (-2656 . 419053) (-2657 . 418994) (-2658 . 418744) - (-2659 . 418601) (-2660 . 418501) (-2661 . 418427) (-2662 . 418347) - (-2663 . 418164) (-2664 . 417801) (-2665 . 417423) (-2666 . 417367) - (-2667 . 417092) (-2668 . 416979) (-2669 . 416770) (-2670 . 416584) - (-2671 . 415386) (-2672 . 415326) (-2673 . 415231) (-2674 . 415157) - (-2675 . 415059) (-2676 . 414947) (-2677 . 414828) (-2678 . 414775) - (-2679 . 414705) (-2680 . 414552) (-2681 . 414439) (-2682 . 414411) - (-2683 . 414358) (-2684 . 414284) (-2685 . 414176) (-2686 . 414044) - (-2687 . 413441) (-2688 . 413288) (-2689 . 413236) (-2690 . 413014) - (-2691 . 412838) (-2692 . 412706) (-2693 . 412444) (-2694 . 412392) - (-2695 . 412364) (-2696 . 412123) (-2697 . 411743) (-2698 . 411686) - (-2699 . 411582) (-2700 . 411483) (-2701 . 411428) (-2702 . 411342) - (-2703 . 411208) (-2704 . 411017) (-2705 . 410259) (-2706 . 410230) - (-2707 . 410062) (-2708 . 409946) (-2709 . 409816) (-2710 . 409509) - (-2711 . 409353) (-2712 . 409300) (-2713 . 409271) (-2714 . 409193) - (-2715 . 409115) (-2716 . 409032) (-2717 . 408916) (-2718 . 408838) - (-2719 . 408750) (-2720 . 408653) (-2721 . 408521) (-2722 . 408417) - (-2723 . 408279) (-2724 . 408089) (-2725 . 407346) (-2726 . 407288) - (-2727 . 407236) (-2728 . 407116) (-2729 . 407046) (-2730 . 406972) - (-2731 . 406922) (-2732 . 406600) (-2733 . 405871) (-2734 . 405533) - (-2735 . 405502) (-2736 . 405381) (-2737 . 405228) (-2738 . 405010) - (-2739 . 404812) (-2740 . 404687) (-2741 . 404659) (-2742 . 403930) - (-2743 . 402812) (-2744 . 402721) (-2745 . 402647) (-2746 . 402576) - (-2747 . 402433) (-2748 . 402370) (-2749 . 402105) (-2750 . 401429) - (-2751 . 401357) (-2752 . 401235) (-2753 . 401110) (-2754 . 400972) - (-2755 . 400551) (-2756 . 400240) (-2757 . 400162) (-2758 . 399780) - (-2759 . 399651) (-2760 . 399565) (-2761 . 399399) (-2762 . 399267) - (-2763 . 399214) (-2764 . 398943) (-2765 . 398379) (-2766 . 398251) - (-2767 . 398199) (-2768 . 398133) (-2769 . 398033) (-2770 . 398004) - (-2771 . 397888) (-2772 . 397324) (-2773 . 396937) (-2774 . 396513) - (-2775 . 396447) (-2776 . 396361) (-2777 . 396189) (-2778 . 396094) - (-2779 . 395999) (-2780 . 395884) (-2781 . 395637) (-2782 . 395609) - (-2783 . 395521) (-2784 . 395436) (-2785 . 395364) (-2786 . 394997) - (-2787 . 394717) (-2788 . 394153) (-2789 . 392927) (-2790 . 392755) - (-2791 . 392703) (-2792 . 392629) (-2793 . 392102) (-2794 . 392048) - (-2795 . 391953) (-2796 . 391921) (-2797 . 391403) (-2798 . 391353) - (-2799 . 390936) (-2800 . 390822) (-2801 . 390148) (-2802 . 389976) - (-2803 . 389880) (-2804 . 389546) (-2805 . 389469) (-2806 . 389222) - (-2807 . 389136) (-2808 . 389063) (-2809 . 389006) (-2810 . 388887) - (-2811 . 388810) (-2812 . 388732) (-2813 . 388661) (-2814 . 387987) - (-2815 . 387815) (-2816 . 387705) (-2817 . 387600) (-2818 . 387522) - (-2819 . 387461) (-2820 . 387326) (-2821 . 387183) (-2822 . 386429) - (-2823 . 386308) (-2824 . 386253) (-2825 . 385516) (-2826 . 385339) - (-2827 . 385175) (-2828 . 385094) (-2829 . 385023) (-2830 . 384865) - (-2831 . 384807) (-2832 . 383939) (-2833 . 383859) (-2834 . 383565) - (-2835 . 383003) (-2836 . 382662) (-2837 . 382541) (-2838 . 382447) - (-2839 . 382388) (-2840 . 382293) (-2841 . 382198) (-2842 . 382142) - (-2843 . 382024) (-2844 . 381946) (-2845 . 381384) (-2846 . 381332) - (-2847 . 381047) (-2848 . 380951) (-2849 . 380798) (-2850 . 380739) - (-2851 . 380687) (-2852 . 380447) (-2853 . 380394) (-2854 . 380320) - (-2855 . 379758) (-2856 . 379706) (-2857 . 379575) (-2858 . 379030) - (-2859 . 378544) (-2860 . 378471) (-2861 . 378394) (-2862 . 378327) - (-2863 . 378184) (-2864 . 378113) (-2865 . 377960) (-2866 . 377285) - (-2867 . 376970) (-2868 . 376918) (-2869 . 376736) (-2870 . 376608) - (-2871 . 376529) (-2872 . 376451) (-2873 . 376347) (-2874 . 376061) - (-2875 . 375987) (-2876 . 375312) (-2877 . 375229) (-2878 . 375085) - (-2879 . 374886) (-2880 . 372471) (-2881 . 372184) (-2882 . 372111) - (-2883 . 372062) (-2884 . 371983) (-2885 . 371780) (-2886 . 371192) - (-2887 . 370517) (-2888 . 370407) (-2889 . 370354) (-2890 . 370232) - (-2891 . 370052) (-2892 . 369880) (-2893 . 369765) (-2894 . 369699) - (-2895 . 369575) (-2896 . 369520) (-2897 . 369426) (-2898 . 369344) - (-2899 . 368781) (-2900 . 368590) (-2901 . 368310) (-2902 . 368258) - (-12 . 368086) (-2904 . 367957) (-2905 . 367777) (-2906 . 367693) - (-2907 . 367585) (-2908 . 367422) (-2909 . 367339) (-2910 . 367268) - (-2911 . 367153) (-2912 . 366749) (-2913 . 366154) (-2914 . 365980) - (-2915 . 365928) (-2916 . 365876) (-2917 . 365823) (-2918 . 365682) - (-2919 . 365613) (-2920 . 365454) (-2921 . 365181) (-2922 . 365086) - (-2923 . 365037) (-2924 . 364977) (-2925 . 364725) (-2926 . 364514) - (-2927 . 364345) (-2928 . 364279) (-2929 . 364171) (-2930 . 364067) - (-2931 . 363921) (-2932 . 363869) (-2933 . 363771) (-2934 . 363501) - (-2935 . 363304) (-2936 . 363233) (-2937 . 362904) (-2938 . 362844) - (-2939 . 362673) (-2940 . 362563) (-2941 . 362505) (-2942 . 361673) - (-2943 . 361577) (-2944 . 361467) (-2945 . 361320) (-2946 . 361216) - (-2947 . 361167) (-2948 . 360629) (-2949 . 360551) (-2950 . 360488) - (-2951 . 360385) (-2952 . 360191) (-2953 . 360054) (-2954 . 359960) - (-2955 . 359741) (-2956 . 359303) (-2957 . 359115) (-2958 . 358947) - (-2959 . 358879) (-2960 . 358807) (-2961 . 357659) (-2962 . 357588) - (-2963 . 357492) (-2964 . 357318) (-2965 . 357223) (-2966 . 357137) - (-2967 . 356996) (-2968 . 356868) (-2969 . 356703) (-2970 . 356600) - (-2971 . 356452) (-2972 . 356242) (-2973 . 356081) (-2974 . 356003) - (-2975 . 355926) (-2976 . 355623) (-2977 . 355535) (-2978 . 355321) - (-2979 . 355116) (-2980 . 354927) (-2981 . 354732) (-2982 . 354522) - (-2983 . 354467) (-2984 . 354116) (-2985 . 354050) (-2986 . 353835) - (-2987 . 353740) (-2988 . 353656) (-2989 . 353594) (* . 349327) - (-2991 . 349247) (-2992 . 349165) (-2993 . 349050) (-2994 . 348831) - (-2995 . 348541) (-2996 . 348475) (-2997 . 348402) (-2998 . 348257) - (-2999 . 348124) (-3000 . 348052) (-3001 . 347993) (-3002 . 347898) - (-3003 . 347845) (-3004 . 347762) (-3005 . 347288) (-3006 . 347165) - (-3007 . 346486) (-3008 . 346356) (-3009 . 346328) (-3010 . 346275) - (-3011 . 346223) (-3012 . 346057) (-3013 . 345944) (-3014 . 345311) - (-3015 . 345216) (-3016 . 345063) (-3017 . 344818) (-3018 . 344232) - (-3019 . 344085) (-3020 . 343921) (-3021 . 343848) (-3022 . 343576) - (-3023 . 343448) (-3024 . 343314) (-3025 . 342229) (-3026 . 342174) - (-3027 . 341951) (-3028 . 341801) (-3029 . 341682) (-3030 . 341629) - (-3031 . 341178) (-3032 . 341065) (-3033 . 340975) (-3034 . 340862) - (-3035 . 340627) (-3036 . 340532) (-3037 . 340425) (-3038 . 340351) - (-3039 . 340284) (-3040 . 340225) (-3041 . 340172) (-3042 . 339626) - (-3043 . 339395) (-3044 . 339232) (-3045 . 338830) (-3046 . 338749) - (-3047 . 338669) (-3048 . 338601) (-3049 . 338488) (-3050 . 338373) - (-3051 . 338288) (-3052 . 338201) (-3053 . 338062) (-3054 . 337988) - (-3055 . 337629) (-3056 . 337095) (-3057 . 336965) (-3058 . 336893) - (-3059 . 336551) (-3060 . 336438) (-3061 . 336382) (-3062 . 336329) - (-3063 . 336170) (-3064 . 336017) (-3065 . 335877) (-3066 . 335750) - (-3067 . 335628) (-3068 . 335109) (-3069 . 334908) (-3070 . 334737) - (-3071 . 334709) (-3072 . 334622) (-3073 . 334466) (-3074 . 334360) - (-3075 . 334244) (-3076 . 333850) (-3077 . 333767) (-3078 . 333237) - (-3079 . 333054) (-3080 . 332873) (-3081 . 332744) (-3082 . 332229) - (-3083 . 331943) (-3084 . 331782) (-3085 . 331710) (-3086 . 331545) - (-3087 . 331489) (-3088 . 331401) (-3089 . 331076) (-3090 . 330969) - (-3091 . 330868) (-3092 . 330794) (-3093 . 329952) (-3094 . 329856) - (-3095 . 329644) (-3096 . 329524) (-3097 . 329469) (-3098 . 329066) - (-3099 . 329000) (-3100 . 328899) (-3101 . 327713) (-3102 . 327557) - (-3103 . 327284) (-3104 . 327250) (-3105 . 326883) (-3106 . 326855) - (-3107 . 326721) (-3108 . 326662) (-3109 . 326610) (-3110 . 326524) - (-3111 . 325342) (-3112 . 325260) (-3113 . 324928) (-3114 . 323863) +((-1311 . 733358) (-1312 . 733257) (-1313 . 733229) (-1314 . 733086) + (-1315 . 732833) (-1316 . 732760) (-1317 . 732704) (-1318 . 732412) + (-1319 . 732293) (-1320 . 732163) (-1321 . 732062) (-1322 . 731919) + (-1323 . 731866) (-1324 . 731449) (-1325 . 731281) (-1326 . 731174) + (-1327 . 731121) (-1328 . 730958) (-1329 . 730794) (-1330 . 730614) + (-1331 . 730580) (-1332 . 730423) (-1333 . 730374) (-1334 . 728406) + (-1335 . 728269) (-1336 . 728070) (-1337 . 727957) (-1338 . 727300) + (-1339 . 727250) (-1340 . 727023) (-1341 . 726813) (-1342 . 726784) + (-1343 . 726717) (-1344 . 726602) (-1345 . 726544) (-1346 . 726473) + (-1347 . 726407) (-1348 . 726248) (-1349 . 725933) (-1350 . 725487) + (-1351 . 725290) (-1352 . 725166) (-1353 . 725006) (-1354 . 724479) + (-1355 . 724378) (-1356 . 723702) (-1357 . 709472) (-1358 . 709416) + (-1359 . 709253) (-1360 . 708768) (-1361 . 708702) (-1362 . 708587) + (-1363 . 708516) (-1364 . 708294) (-1365 . 708047) (-1366 . 707738) + (-1367 . 707710) (-1368 . 707633) (-1369 . 707581) (-1370 . 707314) + (-1371 . 707151) (-1372 . 706123) (-1373 . 705919) (-1374 . 705831) + (-1375 . 705752) (-1376 . 705665) (-1377 . 705519) (-1378 . 705338) + (-1379 . 705239) (-1380 . 705187) (-1381 . 704965) (-1382 . 700902) + (-1383 . 700812) (-1384 . 700755) (-1385 . 700647) (-1386 . 700420) + (-1387 . 698164) (-1388 . 697388) (-1389 . 697270) (-1390 . 697184) + (-1391 . 697106) (-1392 . 697038) (-1393 . 696071) (-1394 . 695892) + (-1395 . 695659) (-1396 . 695367) (-1397 . 695178) (-1398 . 695004) + (-1399 . 694907) (-1400 . 694660) (-1401 . 694632) (-1402 . 694573) + (-1403 . 694476) (-1404 . 694314) (-1405 . 694153) (-1406 . 693986) + (-1407 . 693870) (-1408 . 693771) (-1409 . 693623) (-1410 . 693145) + (-1411 . 693092) (-1412 . 693033) (-1413 . 692860) (-1414 . 692790) + (-1415 . 692525) (-1416 . 691707) (-1417 . 691606) (-1418 . 691439) + (-1419 . 691301) (-1420 . 690890) (-1421 . 690788) (-1422 . 690736) + (-1423 . 690663) (-1424 . 690318) (-1425 . 690199) (-1426 . 686532) + (-1427 . 686449) (-1428 . 686147) (-1429 . 686091) (-1430 . 685931) + (-1431 . 685635) (-1432 . 685555) (-1433 . 684477) (-1434 . 683990) + (-1435 . 683679) (-1436 . 683549) (-1437 . 681204) (-1438 . 680965) + (-1439 . 680877) (-1440 . 680849) (-1441 . 680341) (-1442 . 680269) + (-1443 . 680196) (-1444 . 680023) (-1445 . 679595) (-1446 . 679452) + (-1447 . 679351) (-1448 . 678791) (-1449 . 678690) (-1450 . 678480) + (-1451 . 678346) (-1452 . 678318) (-1453 . 677960) (-1454 . 677770) + (-1455 . 677675) (-1456 . 677581) (-1457 . 677287) (-1458 . 677228) + (-1459 . 676896) (-1460 . 676840) (-1461 . 676717) (-1462 . 676634) + (-1463 . 676067) (-1464 . 675972) (-1465 . 675899) (-1466 . 675819) + (-1467 . 675718) (-1468 . 675652) (-1469 . 675425) (-1470 . 675262) + (-1471 . 675164) (-1472 . 674997) (-1473 . 674901) (-1474 . 674802) + (-1475 . 674751) (-1476 . 674670) (-1477 . 674531) (-1478 . 674413) + (-1479 . 674082) (-1480 . 674023) (-1481 . 673609) (** . 670615) + (-1483 . 670514) (-1484 . 670482) (-1485 . 670396) (-1486 . 670293) + (-1487 . 670086) (-1488 . 669859) (-1489 . 669674) (-1490 . 669614) + (-1491 . 669187) (-1492 . 669084) (-1493 . 668988) (-1494 . 668874) + (-1495 . 668477) (-1496 . 667835) (-1497 . 667344) (-1498 . 667249) + (-1499 . 667194) (-1500 . 666984) (-1501 . 665722) (-1502 . 665656) + (-1503 . 665429) (-1504 . 664886) (-1505 . 664724) (-1506 . 664630) + (-1507 . 664507) (-1508 . 664456) (-1509 . 663926) (-1510 . 663760) + (-1511 . 663394) (-1512 . 663288) (-1513 . 663158) (-1514 . 663101) + (-1515 . 663024) (-1516 . 662489) (-1517 . 662429) (-1518 . 662197) + (-1519 . 662100) (-1520 . 662031) (-1521 . 661809) (-1522 . 661725) + (-1523 . 661622) (-1524 . 661472) (-1525 . 661302) (-1526 . 661124) + (-1527 . 661067) (-1528 . 660995) (-1529 . 660699) (-1530 . 660618) + (-1531 . 660523) (-1532 . 660486) (-1533 . 660452) (-1534 . 660366) + (-1535 . 660139) (-1536 . 660036) (-1537 . 659450) (-1538 . 659332) + (-1539 . 659226) (-1540 . 658009) (-1541 . 657907) (-1542 . 657718) + (-1543 . 657659) (-1544 . 657604) (-1545 . 657425) (-1546 . 657230) + (-1547 . 657159) (-1548 . 656850) (-1549 . 656779) (-1550 . 656710) + (-1551 . 656264) (-1552 . 656125) (-1553 . 656028) (-1554 . 655712) + (-1555 . 655660) (-1556 . 655557) (-1557 . 655335) (-1558 . 655238) + (-1559 . 655170) (-1560 . 654972) (-1561 . 654905) (-1562 . 654839) + (-1563 . 654597) (-1564 . 654349) (-1565 . 654290) (-1566 . 654238) + (-1567 . 654104) (-1568 . 653875) (-1569 . 649715) (-1570 . 649611) + (-1571 . 649463) (-1572 . 649194) (-1573 . 649125) (-1574 . 648994) + (-1575 . 648853) (-1576 . 648734) (-1577 . 648642) (-1578 . 648080) + (-1579 . 647964) (-1580 . 647915) (-1581 . 647697) (-1582 . 647620) + (-1583 . 647532) (-1584 . 647434) (-1585 . 647159) (-1586 . 646895) + (-1587 . 646765) (-1588 . 646553) (-1589 . 645818) (-1590 . 645675) + (-1591 . 645603) (-1592 . 645510) (-1593 . 645400) (-1594 . 645330) + (-1595 . 645112) (-1596 . 644928) (-1597 . 644745) (-1598 . 644676) + (-1599 . 644340) (-1600 . 644260) (-1601 . 644018) (-1602 . 643811) + (-1603 . 643591) (-1604 . 643341) (-1605 . 643209) (-1606 . 642957) + (-1607 . 642871) (-1608 . 642600) (-1609 . 642481) (-1610 . 642278) + (-1611 . 642123) (-1612 . 642059) (-1613 . 641907) (-1614 . 641067) + (-1615 . 641011) (-1616 . 640826) (-1617 . 640723) (-1618 . 640637) + (-1619 . 640571) (-1620 . 640420) (-1621 . 640367) (-1622 . 640252) + (-1623 . 640215) (-1624 . 640156) (-1625 . 639677) (-1626 . 639605) + (-1627 . 639426) (-1628 . 639282) (-1629 . 639059) (-1630 . 638702) + (-1631 . 638476) (-1632 . 638422) (-1633 . 638277) (-1634 . 638177) + (-1635 . 638124) (-1636 . 638056) (-1637 . 637960) (-1638 . 637446) + (-1639 . 637055) (-1640 . 636974) (-1641 . 636922) (-1642 . 636824) + (-1643 . 636714) (-1644 . 636549) (-1645 . 635479) (-1646 . 635377) + (-1647 . 635022) (-1648 . 634898) (-1649 . 634522) (-1650 . 634101) + (-1651 . 634000) (-1652 . 633918) (-1653 . 633573) (-1654 . 633474) + (-1655 . 633391) (-1656 . 632525) (-1657 . 631229) (-1658 . 631100) + (-1659 . 630854) (-1660 . 630802) (-1661 . 630088) (-1662 . 629972) + (-1663 . 629944) (-1664 . 629819) (-1665 . 629623) (-1666 . 629542) + (-1667 . 629448) (-1668 . 629285) (-1669 . 629074) (-1670 . 629003) + (-1671 . 628899) (-1672 . 628829) (-1673 . 628234) (-1674 . 628168) + (-1675 . 628058) (-1676 . 627887) (-1677 . 627748) (-1678 . 627693) + (-1679 . 627607) (-1680 . 627489) (-1681 . 627394) (-1682 . 627320) + (-1683 . 627177) (-1684 . 627110) (-1685 . 627078) (-1686 . 627010) + (-1687 . 626900) (-1688 . 626801) (-1689 . 626630) (-1690 . 626177) + (-1691 . 626034) (-1692 . 625963) (-1693 . 625892) (-1694 . 625576) + (-1695 . 625191) (-1696 . 625017) (-1697 . 624864) (-1698 . 624758) + (-1699 . 624680) (-1700 . 624319) (-1701 . 624245) (-1702 . 624175) + (-1703 . 624033) (-1704 . 623918) (-1705 . 623811) (-1706 . 623690) + (-1707 . 623545) (-1708 . 623252) (-1709 . 623174) (-1710 . 623059) + (-1711 . 622888) (-1712 . 622701) (-1713 . 622543) (-1714 . 622352) + (-1715 . 622278) (-1716 . 622130) (-1717 . 621994) (-1718 . 621871) + (-1719 . 621819) (-1720 . 621736) (-1721 . 621613) (-1722 . 621515) + (-1723 . 621430) (-1724 . 621342) (-1725 . 621314) (-1726 . 621134) + (-1727 . 620904) (-1728 . 620852) (-1729 . 620389) (-1730 . 620224) + (-1731 . 620128) (-1732 . 619972) (-1733 . 619920) (-1734 . 619574) + (-1735 . 619269) (-1736 . 619174) (-1737 . 619052) (-1738 . 618606) + (-1739 . 618325) (-1740 . 618170) (-1741 . 617571) (-1742 . 616712) + (-1743 . 616504) (-1744 . 616452) (-1745 . 616423) (-1746 . 616344) + (-1747 . 616141) (-1748 . 616113) (-1749 . 616006) (-1750 . 615608) + (-1751 . 615488) (-1752 . 615393) (-1753 . 614847) (-1754 . 614648) + (-1755 . 613352) (-1756 . 613299) (-1757 . 613141) (-1758 . 612948) + (-1759 . 612664) (-1760 . 612553) (-1761 . 612431) (-1762 . 612158) + (-1763 . 612070) (-1764 . 611896) (-1765 . 611724) (-1766 . 611600) + (-1767 . 611455) (-1768 . 610263) (-1769 . 609889) (-1770 . 609834) + (-1771 . 605827) (-1772 . 605721) (-1773 . 605653) (-1774 . 605555) + (-1775 . 605503) (-1776 . 605407) (-1777 . 605336) (-1778 . 605198) + (-1779 . 605081) (-1780 . 604794) (-1781 . 604673) (-1782 . 604602) + (-1783 . 604531) (-1784 . 604480) (-1785 . 604397) (-1786 . 604306) + (-1787 . 604088) (-1788 . 603888) (-1789 . 603248) (-1790 . 603152) + (-1791 . 603124) (-1792 . 603051) (-1793 . 602925) (-1794 . 602750) + (-1795 . 602691) (-1796 . 602419) (-1797 . 602288) (-1798 . 602189) + (-1799 . 601795) (-1800 . 601742) (-1801 . 600562) (-1802 . 600344) + (-1803 . 599887) (-1804 . 599814) (-1805 . 599304) (-1806 . 599252) + (-1807 . 599124) (-1808 . 598977) (-1809 . 598912) (-1810 . 598860) + (-1811 . 598723) (-1812 . 598695) (-1813 . 598209) (-1814 . 598024) + (-1815 . 597654) (-1816 . 597231) (-1817 . 597172) (-1818 . 597028) + (-1819 . 596975) (-1820 . 596841) (-1821 . 596725) (-1822 . 596621) + (-1823 . 596556) (-1824 . 596132) (-1825 . 596079) (-1826 . 594313) + (-1827 . 594158) (-1828 . 594048) (-1829 . 593870) (-1830 . 593807) + (-1831 . 593738) (-1832 . 593070) (-1833 . 592488) (-1834 . 591828) + (-1835 . 591754) (-1836 . 591619) (-1837 . 591521) (-1838 . 591242) + (-1839 . 589787) (-1840 . 589561) (-1841 . 589476) (-1842 . 589390) + (-1843 . 589140) (-1844 . 589046) (-1845 . 588903) (-1846 . 588764) + (-1847 . 588660) (-1848 . 588607) (-1849 . 588554) (-1850 . 584891) + (-1851 . 584835) (-1852 . 583345) (-1853 . 583285) (-1854 . 583215) + (-1855 . 583127) (-1856 . 583019) (-1857 . 582764) (-1858 . 582707) + (-1859 . 582564) (-1860 . 582427) (-1861 . 582270) (-1862 . 582182) + (-1863 . 581908) (-1864 . 581855) (-1865 . 581710) (-1866 . 581577) + (-1867 . 581459) (-1868 . 580796) (-1869 . 580712) (-1870 . 580655) + (-1871 . 580448) (-1872 . 580304) (-1873 . 580276) (-1874 . 580088) + (-1875 . 579841) (-1876 . 579393) (-1877 . 578657) (-1878 . 578607) + (-1879 . 578506) (-1880 . 578162) (-1881 . 578080) (-1882 . 577978) + (-1883 . 577865) (-1884 . 577755) (-1885 . 576872) (-1886 . 576777) + (-1887 . 576544) (-1888 . 576448) (-1889 . 576285) (-1890 . 575662) + (-1891 . 575533) (-1892 . 575400) (-1893 . 574918) (-1894 . 574845) + (-1895 . 574687) (-1896 . 574603) (-1897 . 574303) (-1898 . 574169) + (-1899 . 574041) (-1900 . 573810) (-1901 . 573618) (-1902 . 573531) + (-1903 . 573460) (-1904 . 573245) (-1905 . 573077) (-1906 . 573040) + (-1907 . 572984) (-1908 . 572928) (-1909 . 572773) (-1910 . 572677) + (-1911 . 572288) (-1912 . 572222) (-1913 . 572042) (-1914 . 571990) + (-1915 . 571346) (-1916 . 571036) (-1917 . 570947) (-1918 . 570789) + (-1919 . 570527) (-1920 . 570060) (-1921 . 570009) (-1922 . 569816) + (-1923 . 569730) (-1924 . 569671) (-1925 . 568499) (-1926 . 568336) + (-1927 . 568269) (-1928 . 568184) (-1929 . 568112) (-1930 . 567473) + (-1931 . 567372) (-1932 . 567194) (-1933 . 565892) (-1934 . 565679) + (-1935 . 565461) (-1936 . 565303) (-1937 . 565149) (-1938 . 565034) + (-1939 . 563932) (-1940 . 563784) (-1941 . 558615) (-1942 . 558257) + (-1943 . 554958) (-1944 . 554859) (-1945 . 554663) (-1946 . 554579) + (-1947 . 554512) (-1948 . 554394) (-1949 . 554342) (-1950 . 554242) + (-1951 . 554099) (-1952 . 553881) (-1953 . 553758) (-1954 . 553730) + (-1955 . 553677) (-1956 . 552540) (-1957 . 552486) (-1958 . 552434) + (-1959 . 552308) (-1960 . 552163) (-1961 . 552134) (-1962 . 551925) + (-1963 . 551787) (-1964 . 551560) (-1965 . 551352) (-1966 . 550788) + (-1967 . 550718) (-1968 . 550635) (-1969 . 550385) (-1970 . 550313) + (-1971 . 550197) (-1972 . 550042) (-1973 . 549929) (-1974 . 549759) + (-1975 . 549687) (-1976 . 549620) (-1977 . 549444) (-1978 . 549346) + (-1979 . 549284) (-1980 . 549025) (-1981 . 548941) (-1982 . 548910) + (-1983 . 548652) (-1984 . 548448) (-1985 . 548310) (-1986 . 548255) + (-1987 . 548202) (-1988 . 548136) (-1989 . 547944) (-1990 . 547863) + (-1991 . 547768) (-1992 . 547441) (-1993 . 547161) (-1994 . 547012) + (-1995 . 546924) (-1996 . 546822) (-1997 . 546754) (-1998 . 546583) + (-1999 . 546440) (-2000 . 545856) (-2001 . 545779) (-2002 . 545652) + (-2003 . 545400) (-2004 . 545319) (-2005 . 545270) (-2006 . 545108) + (-2007 . 544640) (-2008 . 544256) (-2009 . 544228) (-2010 . 543926) + (-2011 . 543870) (-2012 . 543611) (-2013 . 543164) (-2014 . 543102) + (-2015 . 542944) (-2016 . 542807) (-2017 . 542741) (-2018 . 542685) + (-2019 . 542561) (-2020 . 542218) (-2021 . 542033) (-2022 . 541506) + (-2023 . 541411) (-2024 . 541332) (-2025 . 541224) (-2026 . 540817) + (-2027 . 540692) (-2028 . 540620) (-2029 . 540439) (-2030 . 540386) + (-2031 . 540309) (-2032 . 540165) (-2033 . 540032) (-2034 . 539904) + (-2035 . 539512) (-2036 . 539306) (-2037 . 539084) (-2038 . 538860) + (-2039 . 538627) (-2040 . 538424) (-2041 . 538363) (-2042 . 538267) + (-2043 . 538184) (-2044 . 538110) (-2045 . 537858) (-2046 . 536894) + (-2047 . 536841) (-2048 . 536239) (-2049 . 536162) (-2050 . 535867) + (-2051 . 534900) (-2052 . 534607) (-2053 . 534401) (-2054 . 534324) + (-2055 . 534223) (-2056 . 533921) (-2057 . 533763) (-2058 . 533493) + (-2059 . 533440) (-2060 . 533222) (-2061 . 533134) (-2062 . 532955) + (-2063 . 532857) (-2064 . 532332) (-2065 . 532219) (-2066 . 532118) + (-2067 . 532011) (-2068 . 531870) (-2069 . 531746) (-2070 . 531689) + (-2071 . 531603) (-2072 . 531272) (-2073 . 530994) (-2074 . 530698) + (-2075 . 530505) (-2076 . 528775) (-2077 . 528485) (-2078 . 528345) + (-2079 . 528238) (-2080 . 528125) (-2081 . 528016) (-2082 . 527922) + (-2083 . 527647) (-2084 . 527515) (-2085 . 527360) (-2086 . 527189) + (-2087 . 526964) (-2088 . 526635) (-2089 . 526578) (-2090 . 526492) + (-2091 . 526440) (-2092 . 526321) (-2093 . 526163) (-2094 . 525986) + (-2095 . 525768) (-2096 . 525643) (-2097 . 525578) (-2098 . 525465) + (-2099 . 525358) (-2100 . 525183) (-2101 . 525064) (-2102 . 524985) + (-2103 . 524887) (-2104 . 524623) (-2105 . 524479) (-2106 . 524325) + (-2107 . 524270) (-2108 . 524154) (-2109 . 524057) (-2110 . 523956) + (-2111 . 523812) (-2112 . 523266) (-2113 . 523033) (-2114 . 522945) + (-2115 . 522879) (-2116 . 522763) (-2117 . 522706) (-2118 . 522598) + (-2119 . 522456) (-2120 . 522372) (-2121 . 522288) (-2122 . 522238) + (-2123 . 522015) (-2124 . 521759) (-2125 . 521665) (-2126 . 521612) + (-2127 . 521553) (-2128 . 520736) (-2129 . 520458) (-2130 . 520194) + (-2131 . 519621) (-2132 . 519562) (-2133 . 519323) (-2134 . 519239) + (-2135 . 519186) (-2136 . 519120) (-2137 . 519047) (-2138 . 518648) + (-2139 . 518496) (-2140 . 518381) (-2141 . 518329) (-2142 . 518208) + (-2143 . 518120) (-2144 . 518061) (-2145 . 517673) (-2146 . 517517) + (-2147 . 517416) (-2148 . 517363) (-2149 . 517144) (-2150 . 517065) + (-2151 . 516953) (-2152 . 516880) (-2153 . 516801) (-2154 . 516489) + (-2155 . 515915) (-2156 . 515688) (-2157 . 515591) (-2158 . 515418) + (-2159 . 515293) (-2160 . 515237) (-2161 . 514349) (-2162 . 514059) + (-2163 . 513997) (-2164 . 513664) (-2165 . 513593) (-2166 . 513509) + (-2167 . 513427) (-2168 . 513289) (-2169 . 513074) (-2170 . 513019) + (-2171 . 512800) (-2172 . 512716) (-2173 . 512587) (-2174 . 512442) + (-2175 . 512342) (-2176 . 512232) (-2177 . 512065) (-2178 . 511992) + (-2179 . 511918) (-2180 . 511760) (-2181 . 511709) (-2182 . 511459) + (-2183 . 511343) (-2184 . 511154) (-2185 . 510932) (-2186 . 510842) + (-2187 . 510793) (-2188 . 510765) (-2189 . 510629) (-2190 . 510577) + (-2191 . 510246) (-2192 . 509760) (-2193 . 509578) (-2194 . 509466) + (-2195 . 509388) (-2196 . 509204) (-2197 . 508894) (-2198 . 508722) + (-2199 . 508284) (-2200 . 508200) (-2201 . 508088) (-2202 . 507919) + (-2203 . 507789) (-2204 . 507544) (-2205 . 507492) (-2206 . 507397) + (-2207 . 507301) (-2208 . 507218) (-2209 . 507093) (-2210 . 506990) + (-2211 . 506906) (-2212 . 506784) (-2213 . 506712) (-2214 . 506153) + (-2215 . 506119) (-2216 . 505768) (-2217 . 505522) (-2218 . 503933) + (-2219 . 503799) (-2220 . 503685) (-2221 . 503404) (-2222 . 503291) + (-2223 . 503238) (-2224 . 502679) (-2225 . 502571) (-2226 . 502471) + (-2227 . 502091) (-2228 . 501896) (-2229 . 501719) (-2230 . 501580) + (-2231 . 501047) (-2232 . 501015) (-2233 . 500607) (-2234 . 500360) + (-2235 . 500126) (-2236 . 499888) (-2237 . 499808) (-2238 . 499670) + (-2239 . 499554) (-2240 . 499495) (-2241 . 499391) (-2242 . 499117) + (-2243 . 498984) (-2244 . 498826) (-2245 . 498774) (-2246 . 496993) + (-2247 . 496798) (-2248 . 496447) (-2249 . 496274) (-2250 . 496061) + (-2251 . 495962) (-2252 . 494870) (-2253 . 493293) (-2254 . 492918) + (-2255 . 492775) (-2256 . 492488) (-2257 . 492423) (-2258 . 492259) + (-2259 . 492207) (-2260 . 492064) (-2261 . 491677) (-2262 . 491569) + (-2263 . 491442) (-2264 . 491290) (-2265 . 491194) (-2266 . 490867) + (-2267 . 490795) (-2268 . 490617) (-2269 . 490536) (-2270 . 490251) + (-2271 . 489909) (-2272 . 489733) (-2273 . 489652) (-2274 . 489582) + (-2275 . 489091) (-2276 . 488950) (-2277 . 488893) (-2278 . 488621) + (-2279 . 488496) (-2280 . 487759) (-2281 . 487577) (-2282 . 487511) + (-2283 . 487358) (-2284 . 487305) (-2285 . 486794) (-2286 . 486540) + (-2287 . 486444) (-2288 . 486113) (-2289 . 486039) (-2290 . 485789) + (-2291 . 485629) (-2292 . 485546) (-2293 . 485005) (-2294 . 484922) + (-2295 . 484870) (-2296 . 484519) (-2297 . 484409) (-2298 . 484198) + (-2299 . 483991) (-2300 . 483941) (-2301 . 483861) (-2302 . 483808) + (-2303 . 483466) (-2304 . 483364) (-2305 . 483187) (-2306 . 483094) + (-2307 . 482903) (-2308 . 482591) (-2309 . 482524) (-2310 . 482165) + (-2311 . 481960) (-2312 . 481888) (-2313 . 481805) (-2314 . 481654) + (-2315 . 481523) (-2316 . 481399) (-2317 . 481325) (-2318 . 481205) + (-2319 . 480839) (-2320 . 480780) (-2321 . 480697) (-2322 . 480609) + (-2323 . 480553) (-2324 . 480440) (-2325 . 480330) (-2326 . 480234) + (-2327 . 480096) (-2328 . 479765) (-2329 . 479733) (-2330 . 477505) + (-2331 . 477287) (-2332 . 477202) (-2333 . 476890) (-2334 . 476802) + (-2335 . 476125) (-2336 . 475972) (-2337 . 475734) (-2338 . 475638) + (-2339 . 475588) (-2340 . 474386) (-2341 . 474168) (-2342 . 473780) + (-2343 . 473714) (-2344 . 473658) (-2345 . 473531) (-2346 . 473195) + (-2347 . 473122) (-2348 . 472827) (-2349 . 472748) (-2350 . 472156) + (-2351 . 472124) (-2352 . 472003) (-2353 . 471889) (-2354 . 471736) + (-2355 . 471643) (-2356 . 471552) (-2357 . 471211) (-2358 . 471041) + (-2359 . 470876) (-2360 . 470712) (-2361 . 470605) (-2362 . 470388) + (-2363 . 470236) (-2364 . 470141) (-2365 . 469922) (-2366 . 469869) + (-2367 . 469723) (-2368 . 469637) (-2369 . 469449) (-2370 . 469339) + (-2371 . 469211) (-2372 . 469001) (-2373 . 468776) (-2374 . 468742) + (-2375 . 468654) (-2376 . 468599) (-2377 . 468374) (-2378 . 468303) + (-2379 . 468009) (-2380 . 467886) (-2381 . 467755) (-2382 . 467660) + (-2383 . 467403) (-2384 . 467160) (-2385 . 466921) (-2386 . 466673) + (-2387 . 466517) (-2388 . 466338) (-2389 . 465850) (-2390 . 465683) + (-2391 . 465492) (-2392 . 465373) (-2393 . 465318) (-2394 . 465265) + (-2395 . 465107) (-2396 . 464892) (-2397 . 464748) (-2398 . 464567) + (-2399 . 464488) (-2400 . 464420) (-2401 . 464027) (-2402 . 463683) + (-2403 . 463606) (-2404 . 463334) (-2405 . 463116) (-2406 . 463037) + (-2407 . 462892) (-2408 . 462815) (-2409 . 462423) (-2410 . 462323) + (-2411 . 462226) (-2412 . 461941) (-2413 . 461663) (-2414 . 461608) + (-2415 . 461126) (-2416 . 460971) (-2417 . 460885) (-2418 . 460740) + (-2419 . 460658) (-2420 . 460603) (-2421 . 460504) (-2422 . 460344) + (-2423 . 460252) (-2424 . 460178) (-2425 . 460087) (-2426 . 459974) + (-2427 . 459907) (-2428 . 459806) (-2429 . 459690) (-2430 . 459575) + (-2431 . 459513) (-2432 . 459409) (-2433 . 459313) (-2434 . 459189) + (-2435 . 458723) (-2436 . 458663) (-2437 . 458505) (-2438 . 458380) + (-2439 . 458227) (-2440 . 458046) (-2441 . 457852) (-2442 . 457818) + (-2443 . 457435) (-2444 . 457334) (-2445 . 457194) (-2446 . 456803) + (-2447 . 456703) (-2448 . 456618) (-2449 . 456561) (-2450 . 456495) + (-2451 . 456323) (-2452 . 456261) (-2453 . 456187) (-2454 . 456070) + (-2455 . 455917) (-2456 . 455721) (-2457 . 455626) (-2458 . 455473) + (-2459 . 455387) (-2460 . 455260) (-2461 . 455186) (-2462 . 455062) + (-2463 . 455025) (-2464 . 454810) (-2465 . 454758) (-2466 . 454147) + (-2467 . 454096) (-2468 . 454012) (-2469 . 453631) (-2470 . 453535) + (-2471 . 453442) (-2472 . 453277) (-2473 . 453225) (-2474 . 453166) + (-2475 . 453098) (-2476 . 452955) (-2477 . 452900) (-2478 . 452791) + (-2479 . 452207) (-2480 . 451927) (-2481 . 451769) (-2482 . 451717) + (-2483 . 451665) (-2484 . 451366) (-2485 . 451135) (-2486 . 450760) + (-2487 . 450630) (-2488 . 450535) (-2489 . 450389) (-2490 . 450186) + (-2491 . 450088) (-2492 . 449835) (-2493 . 449762) (-2494 . 449672) + (-2495 . 449548) (-2496 . 449427) (-2497 . 449308) (-2498 . 449138) + (-2499 . 449010) (-2500 . 448958) (-2501 . 448842) (-2502 . 448765) + (-2503 . 448638) (-2504 . 448481) (-2505 . 448410) (-2506 . 448315) + (-2507 . 448218) (-2508 . 448155) (-2509 . 447348) (-2510 . 447269) + (-2511 . 447175) (-2512 . 447120) (-2513 . 446975) (-2514 . 446891) + (-2515 . 446604) (-2516 . 445903) (-2517 . 445835) (-2518 . 445738) + (-2519 . 445578) (-2520 . 445527) (-2521 . 445137) (-2522 . 444876) + (-2523 . 444703) (-2524 . 444604) (-2525 . 444396) (-2526 . 444155) + (-2527 . 444078) (-2528 . 443959) (-2529 . 443815) (-2530 . 443763) + (-2531 . 443714) (-2532 . 443662) (-2533 . 443453) (-2534 . 443261) + (-2535 . 443208) (-2536 . 443114) (-2537 . 442951) (-2538 . 442807) + (-2539 . 442734) (-2540 . 442574) (-2541 . 442187) (-2542 . 441972) + (-2543 . 441944) (-2544 . 441819) (-2545 . 441746) (-2546 . 441623) + (-2547 . 441571) (-2548 . 440710) (-2549 . 440658) (-2550 . 440378) + (-2551 . 439811) (-2552 . 439524) (-2553 . 439427) (-2554 . 439325) + (-2555 . 439291) (-2556 . 439217) (-2557 . 439080) (-2558 . 438993) + (-2559 . 438823) (-2560 . 438665) (-2561 . 438485) (-2562 . 438123) + (-2563 . 438010) (-2564 . 437958) (-2565 . 437837) (-2566 . 436921) + (-2567 . 436539) (-2568 . 436453) (-2569 . 436036) (-2570 . 435817) + (-2571 . 435383) (-2572 . 435287) (-2573 . 435089) (-2574 . 435058) + (-2575 . 434849) (-2576 . 434796) (-2577 . 434765) (-2578 . 434543) + (-2579 . 434492) (-2580 . 434350) (-2581 . 434316) (-2582 . 434214) + (-2583 . 434140) (-2584 . 433510) (-2585 . 433407) (-2586 . 433329) + (-2587 . 433277) (-2588 . 433224) (-2589 . 433082) (-2590 . 433008) + (-2591 . 432883) (-2592 . 432585) (-2593 . 432439) (-2594 . 432296) + (-2595 . 431909) (-2596 . 431843) (-2597 . 431024) (-2598 . 430875) + (-2599 . 430696) (-2600 . 430192) (-2601 . 429752) (-2602 . 429664) + (-2603 . 427808) (-2604 . 427737) (-2605 . 427668) (-2606 . 427580) + (-2607 . 427302) (-2608 . 427156) (-2609 . 427127) (-2610 . 427057) + (-2611 . 426899) (-2612 . 426584) (-2613 . 426489) (-2614 . 426405) + (-2615 . 425984) (-2616 . 425925) (-2617 . 425897) (-2618 . 425812) + (-2619 . 425497) (-2620 . 425416) (-2621 . 424193) (-2622 . 424112) + (-2623 . 423932) (-2624 . 423807) (-2625 . 423721) (-2626 . 423595) + (-2627 . 423521) (-2628 . 423355) (-2629 . 423196) (-2630 . 423062) + (-2631 . 422966) (-2632 . 422863) (-2633 . 422655) (-2634 . 422409) + (-2635 . 422241) (-2636 . 422086) (-2637 . 422024) (-2638 . 421937) + (-2639 . 421853) (-2640 . 421425) (-2641 . 421031) (-2642 . 420858) + (-2643 . 420729) (-2644 . 420581) (-2645 . 420481) (-2646 . 420425) + (-2647 . 420375) (-2648 . 420348) (-2649 . 420244) (-2650 . 420132) + (-2651 . 420080) (-2652 . 420052) (-2653 . 419444) (-2654 . 419349) + (-2655 . 419170) (-2656 . 418798) (-2657 . 418739) (-2658 . 418489) + (-2659 . 418346) (-2660 . 418246) (-2661 . 418172) (-2662 . 418092) + (-2663 . 417909) (-2664 . 417546) (-2665 . 417168) (-2666 . 417112) + (-2667 . 416837) (-2668 . 416724) (-2669 . 416515) (-2670 . 416329) + (-2671 . 415131) (-2672 . 415071) (-2673 . 414976) (-2674 . 414902) + (-2675 . 414804) (-2676 . 414692) (-2677 . 414573) (-2678 . 414520) + (-2679 . 414450) (-2680 . 414297) (-2681 . 414184) (-2682 . 414156) + (-2683 . 414103) (-2684 . 414029) (-2685 . 413921) (-2686 . 413789) + (-2687 . 413186) (-2688 . 413033) (-2689 . 412981) (-2690 . 412759) + (-2691 . 412583) (-2692 . 412451) (-2693 . 412189) (-2694 . 412137) + (-2695 . 412109) (-2696 . 411868) (-2697 . 411488) (-2698 . 411431) + (-2699 . 411327) (-2700 . 411228) (-2701 . 411173) (-2702 . 411087) + (-2703 . 410953) (-2704 . 410762) (-2705 . 410004) (-2706 . 409975) + (-2707 . 409807) (-2708 . 409691) (-2709 . 409561) (-2710 . 409254) + (-2711 . 409098) (-2712 . 409045) (-2713 . 409016) (-2714 . 408938) + (-2715 . 408860) (-2716 . 408777) (-2717 . 408661) (-2718 . 408583) + (-2719 . 408495) (-2720 . 408398) (-2721 . 408266) (-2722 . 408162) + (-2723 . 408024) (-2724 . 407834) (-2725 . 407091) (-2726 . 407033) + (-2727 . 406981) (-2728 . 406861) (-2729 . 406791) (-2730 . 406717) + (-2731 . 406667) (-2732 . 406345) (-2733 . 405616) (-2734 . 405278) + (-2735 . 405247) (-2736 . 405126) (-2737 . 404973) (-2738 . 404755) + (-2739 . 404557) (-2740 . 404432) (-2741 . 404404) (-2742 . 403675) + (-2743 . 402557) (-2744 . 402466) (-2745 . 402392) (-2746 . 402321) + (-2747 . 402178) (-2748 . 402115) (-2749 . 401850) (-2750 . 401174) + (-2751 . 401102) (-2752 . 400980) (-2753 . 400855) (-2754 . 400717) + (-2755 . 400296) (-2756 . 399985) (-2757 . 399907) (-2758 . 399525) + (-2759 . 399396) (-2760 . 399310) (-2761 . 399144) (-2762 . 399012) + (-2763 . 398959) (-2764 . 398688) (-2765 . 398124) (-2766 . 397996) + (-2767 . 397944) (-2768 . 397878) (-2769 . 397778) (-2770 . 397749) + (-2771 . 397633) (-2772 . 397069) (-2773 . 396682) (-2774 . 396258) + (-2775 . 396192) (-2776 . 396106) (-2777 . 395934) (-2778 . 395839) + (-2779 . 395744) (-2780 . 395629) (-2781 . 395382) (-2782 . 395354) + (-2783 . 395266) (-2784 . 395181) (-2785 . 395109) (-2786 . 394742) + (-2787 . 394462) (-2788 . 393898) (-2789 . 392672) (-2790 . 392500) + (-2791 . 392448) (-2792 . 392374) (-2793 . 391847) (-2794 . 391793) + (-2795 . 391698) (-2796 . 391666) (-2797 . 391148) (-2798 . 391098) + (-2799 . 390681) (-2800 . 390567) (-2801 . 389893) (-2802 . 389721) + (-2803 . 389625) (-2804 . 389291) (-2805 . 389214) (-2806 . 388967) + (-2807 . 388881) (-2808 . 388808) (-2809 . 388751) (-2810 . 388632) + (-2811 . 388555) (-2812 . 388477) (-2813 . 388406) (-2814 . 387732) + (-2815 . 387560) (-2816 . 387450) (-2817 . 387345) (-2818 . 387267) + (-2819 . 387206) (-2820 . 387071) (-2821 . 386928) (-2822 . 386174) + (-2823 . 386053) (-2824 . 385998) (-2825 . 385261) (-2826 . 385084) + (-2827 . 384920) (-2828 . 384839) (-2829 . 384768) (-2830 . 384610) + (-2831 . 384552) (-2832 . 383684) (-2833 . 383604) (-2834 . 383310) + (-2835 . 382748) (-2836 . 382407) (-2837 . 382286) (-2838 . 382192) + (-2839 . 382133) (-2840 . 382038) (-2841 . 381943) (-2842 . 381887) + (-2843 . 381769) (-2844 . 381691) (-2845 . 381129) (-2846 . 381077) + (-2847 . 380792) (-2848 . 380696) (-2849 . 380543) (-2850 . 380484) + (-2851 . 380432) (-2852 . 380192) (-2853 . 380139) (-2854 . 380065) + (-2855 . 379503) (-2856 . 379451) (-2857 . 379320) (-2858 . 378775) + (-2859 . 378289) (-2860 . 378216) (-2861 . 378139) (-2862 . 378072) + (-2863 . 377929) (-2864 . 377858) (-2865 . 377705) (-2866 . 377030) + (-2867 . 376715) (-2868 . 376663) (-2869 . 376481) (-2870 . 376353) + (-2871 . 376274) (-2872 . 376196) (-2873 . 376092) (-2874 . 375806) + (-2875 . 375732) (-2876 . 375057) (-2877 . 374974) (-2878 . 374830) + (-2879 . 374631) (-2880 . 372216) (-2881 . 371929) (-2882 . 371856) + (-2883 . 371807) (-2884 . 371728) (-2885 . 371525) (-2886 . 370937) + (-2887 . 370262) (-2888 . 370152) (-2889 . 370099) (-2890 . 369977) + (-2891 . 369797) (-2892 . 369625) (-2893 . 369510) (-2894 . 369444) + (-2895 . 369320) (-2896 . 369265) (-2897 . 369171) (-2898 . 369089) + (-2899 . 368526) (-2900 . 368335) (-2901 . 368055) (-2902 . 368003) + (-12 . 367831) (-2904 . 367702) (-2905 . 367522) (-2906 . 367438) + (-2907 . 367330) (-2908 . 367167) (-2909 . 367084) (-2910 . 367013) + (-2911 . 366898) (-2912 . 366494) (-2913 . 365899) (-2914 . 365725) + (-2915 . 365673) (-2916 . 365621) (-2917 . 365568) (-2918 . 365427) + (-2919 . 365358) (-2920 . 365199) (-2921 . 364926) (-2922 . 364831) + (-2923 . 364782) (-2924 . 364722) (-2925 . 364470) (-2926 . 364259) + (-2927 . 364090) (-2928 . 364024) (-2929 . 363916) (-2930 . 363812) + (-2931 . 363666) (-2932 . 363614) (-2933 . 363516) (-2934 . 363246) + (-2935 . 363049) (-2936 . 362978) (-2937 . 362649) (-2938 . 362589) + (-2939 . 362418) (-2940 . 362308) (-2941 . 362250) (-2942 . 361418) + (-2943 . 361322) (-2944 . 361212) (-2945 . 361065) (-2946 . 360961) + (-2947 . 360912) (-2948 . 360374) (-2949 . 360296) (-2950 . 360233) + (-2951 . 360130) (-2952 . 359936) (-2953 . 359799) (-2954 . 359705) + (-2955 . 359486) (-2956 . 359048) (-2957 . 358860) (-2958 . 358692) + (-2959 . 358624) (-2960 . 358552) (-2961 . 357404) (-2962 . 357333) + (-2963 . 357237) (-2964 . 357063) (-2965 . 356968) (-2966 . 356882) + (-2967 . 356741) (-2968 . 356613) (-2969 . 356448) (-2970 . 356345) + (-2971 . 356197) (-2972 . 355987) (-2973 . 355826) (-2974 . 355748) + (-2975 . 355671) (-2976 . 355368) (-2977 . 355280) (-2978 . 355066) + (-2979 . 354861) (-2980 . 354672) (-2981 . 354477) (-2982 . 354267) + (-2983 . 354212) (-2984 . 353861) (-2985 . 353795) (-2986 . 353580) + (-2987 . 353485) (-2988 . 353401) (-2989 . 353339) (* . 349072) + (-2991 . 348992) (-2992 . 348910) (-2993 . 348795) (-2994 . 348576) + (-2995 . 348286) (-2996 . 348220) (-2997 . 348147) (-2998 . 348002) + (-2999 . 347869) (-3000 . 347797) (-3001 . 347738) (-3002 . 347643) + (-3003 . 347590) (-3004 . 347507) (-3005 . 347033) (-3006 . 346910) + (-3007 . 346231) (-3008 . 346101) (-3009 . 346073) (-3010 . 346020) + (-3011 . 345968) (-3012 . 345802) (-3013 . 345689) (-3014 . 345056) + (-3015 . 344961) (-3016 . 344808) (-3017 . 344563) (-3018 . 343977) + (-3019 . 343830) (-3020 . 343666) (-3021 . 343593) (-3022 . 343321) + (-3023 . 343193) (-3024 . 343059) (-3025 . 341974) (-3026 . 341919) + (-3027 . 341696) (-3028 . 341546) (-3029 . 341427) (-3030 . 341374) + (-3031 . 340923) (-3032 . 340810) (-3033 . 340720) (-3034 . 340607) + (-3035 . 340372) (-3036 . 340277) (-3037 . 340170) (-3038 . 340096) + (-3039 . 340029) (-3040 . 339970) (-3041 . 339917) (-3042 . 339371) + (-3043 . 339140) (-3044 . 338977) (-3045 . 338575) (-3046 . 338494) + (-3047 . 338414) (-3048 . 338346) (-3049 . 338233) (-3050 . 338118) + (-3051 . 338033) (-3052 . 337946) (-3053 . 337807) (-3054 . 337733) + (-3055 . 337374) (-3056 . 336840) (-3057 . 336710) (-3058 . 336638) + (-3059 . 336296) (-3060 . 336183) (-3061 . 336127) (-3062 . 336074) + (-3063 . 335915) (-3064 . 335762) (-3065 . 335622) (-3066 . 335495) + (-3067 . 335373) (-3068 . 334854) (-3069 . 334653) (-3070 . 334482) + (-3071 . 334454) (-3072 . 334367) (-3073 . 334211) (-3074 . 334105) + (-3075 . 333989) (-3076 . 333595) (-3077 . 333512) (-3078 . 332982) + (-3079 . 332799) (-3080 . 332618) (-3081 . 332489) (-3082 . 331974) + (-3083 . 331688) (-3084 . 331527) (-3085 . 331455) (-3086 . 331290) + (-3087 . 331234) (-3088 . 331146) (-3089 . 330821) (-3090 . 330714) + (-3091 . 330613) (-3092 . 330539) (-3093 . 329697) (-3094 . 329601) + (-3095 . 329389) (-3096 . 329269) (-3097 . 329214) (-3098 . 328811) + (-3099 . 328745) (-3100 . 328644) (-3101 . 327458) (-3102 . 327302) + (-3103 . 327029) (-3104 . 326995) (-3105 . 326628) (-3106 . 326600) + (-3107 . 326466) (-3108 . 326407) (-3109 . 326355) (-3110 . 326269) + (-3111 . 325087) (-3112 . 325005) (-3113 . 324928) (-3114 . 323863) (-3115 . 323789) (-3116 . 323689) (-3117 . 323618) (-3118 . 323562) (-3119 . 323460) (-3120 . 323372) (-3121 . 322570) (-3122 . 320362) (-3123 . 320268) (-3124 . 320068) (-3125 . 319991) (-3126 . 319862) |